Applying AXIOM to Partial Differential Equations
Reference: Internal Report 95-17. Fakultät für Informatik, Universität Karlsruhe, 1995
Description: This technical report is basically made up of a chapter of my Ph.D. thesis. It describes the usage and the implementation of an AXIOM environment for the formal theory of differential equations (which is now obsolete, as we have switched to MuPAD - see [109] ). It outlines the implemented hierarchy of categories and domains for differential equations. Two applications are studied: the implementation of a Lie symmetry package and of a completion package (following the Cartan-Kuranishi algorithm). A number of examples are given.
Compressed Postscript File: Compressed Postscript (134 kB)
Home, Last update: Fri Aug 24 09:21:10 2007