Computer Algebra and Differential Equations

The Computer Algebra and Differential Equations meeting held in France in June 1992 (CADE-92) was the third of a series of biennial workshops devoted to recent developments in computer algebra systems. This book contains selected papers from the meeting.

Three main topics are discussed. The first of these is the theory of D-Modules. This offers an excellent way to handle linear systems of partial differential equations effectively. The second topic concerns the theoretical aspects of dynamical systems, with an introduction to Ecalle theory and perturbation analysis applied to differential equations and other nonlinear systems. The final topic is the theory of normal forms. Here recent improvements in the theory and computation of normal forms are discussed.