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 [105] ). 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: (134 kB) |
Home, Last update: Fri Aug 24 09:21:10 2007 |