文档介绍：Algorithms putation
in Mathematics • Volume 24
Editors
Arjeh M. Cohen Henri Cohen
David Eisenbud Michael F. Singer Bernd Sturmfels
For further volumes:
ies/3339
Werner M. Seiler
Involution
The Formal Theory of Differential
Equations and its Applications in
Computer Algebra
With 18 Figures and 2 Tables
123
Werner M. Seiler
Department of Mathematics
University of Kassel
34132 Kassel
Germany
******@-
ISSN 1431-1550
ISBN 978-3-642-01286-0 e-ISBN 978-3-642-01287-7
DOI -3-642-01287-7
Springer Heidelberg Dordrecht London New York
Library of Congress Control Number: 2009932758
Mathematics Subject Classification (2000): 35-02, 35-04, 35A05, 35A30, 35G20, 35N10, 34A09, 58A20,
13-02, 13-04, 13D02, 13N10, 13P10, 68W30
© Springer-Verlag Berlin Heidelberg 2010
This work is subject to copyright. All rights are reserved, whether the whole or part of the material
is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broad-
casting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of
this publication or parts thereof is permitted only under the provisions of the German Copyright Law
of September 9, 1965, in its current version, and permission for use must always be obtained from
Springer. Violations are liable to prosecution under the German Copyright Law.
The use of general descriptive names, registered names, trademarks, etc. in this publication does not
imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
Cover design: deblik, Berlin
Printed on acid-free paper
Springer is part of Springer Science+Business Media ()
To Marion
VII
involution: anything plex or intricate
Oxford Advanced Learner’s Dictionary of Current English
inuoluere,MLinvolvere, to envelop, roll up, wrap up, whence ‘to involve’; pp i