This book presents the state of the art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions. The 20 chapters are written by leading experts and are structured into three parts.
The book is worth reading for researchers and students working on this interdisciplinary subject but may also serve as a valuable reference for everyone interested in differential equations, symbolic computation, and their interaction.
42%.$3).-!4(%-!4)#3 4RENDSIN-ATHEMATICSISASERIESDEVOTEDTOTHEPUBLICATIONOFVOLUMESARISINGFROMCON FERENCESANDLECTURESERIESFOCUSINGONAPARTICULARTOPICFROMANYAREAOFMATHEMATICS )TS AIMISTOMAKECURRENTDEVELOPMENTSAVAILABLETOTHECOMMUNITYASRAPIDLYASPOSSIBLE WITHOUTCOMPROMISETOQUALITYANDTOARCHIVETHESEFORREFERENCE 0ROPOSALSFORVOLUMESCANBESENTTOTHE-ATHEMATICS%DITORATEITHER "IRKHËUSER6ERLAG 0 / "OX #( "ASEL 3WITZERLAND OR "IRKHËUSER"OSTON)NC -ASSACHUSETTS!VENUE #AMBRIDGE -! 53! Material submitted for publication must be screened and prepared as follows: All contributions should undergo a reviewing process similar to that carried out by journals and be checked for correct use of language which, as a rule, is English. Articles without proofs, or which do not contain any significantly new results, should be rejected. High quality survey papers, however, are welcome. We expect the organizers to deliver manuscripts in a form that is essentially ready for direct reproduction. Any version of TeX is acceptable, but the entire collection of files must be in one particular dialect of TeX and unified according to simple instructions available from Birkhäuser. Furthermore, in order to guarantee the timely appearance of the proceedings it is essential that the final version of the entire material be submitted no later than one year after the conference. The total number of pages should not exceed 350. The first-mentioned author of each article will receive 25 free offprints. To the participants of the congress the book will be offered at a special rate. Differential Equations with Symbolic Computation Dongming Wang Zhiming Zheng Editors "IRKHËUSER6ERLAG "ASEL "OSTON "ERLIN s s Editors: Dongming Wang School of Science Beihang University 37 Xueyuan Road Beijing 100083 China Zhiming Zheng School of Science Beihang University 37 Xueyuan Road Beijing 100083 China and e-mail:
[email protected] Laboratoire d’Informatique de Paris 6 Université Pierre et Marie Curie - CNRS 8, rue due Capitaine Scott 75015 Paris France e-mail:
[email protected] 2000 Mathematical Subject Classification 34-06; 35-06; 68W30 A CIP catalogue record for this book is available from the Library of Congress, Washington D.C., USA Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at http://dnb.ddb.de ISBN 3-7643-7368-7 Birkhäuser Verlag, Basel – Boston – Berlin 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, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks.