ALLTYPES
ALLTYPES abbreviates ALgebraic Language and TYPe System. It is a computer algebra type system with particular emphasis on differential algebra and differential equations.
Becoming Familiar with ALLTYPES
In order to get to know ALLTYPES you may click on the Demos button and go through the demos described there. The next level of familiarity, including some activitiy of your own, is obtained by going through the tutorials. To get a description click on the button Tutorials. Assigning a type to a linear input string transforms it into a mathematical object. A listing of all types available is obtained by clicking on the button Type System.
Go to DocumentationSolving Problems with ALLTYPES
The real power of ALLTYPES is achieved by its user interface functions. For each of them a specification is available. They are organized as follows. Commutative Algebra provides functions for working in rings of polynomials in one or more variables. Differential Algebra deals with objects carrying dependencies with them such that the corresponding derivatives do not vanish. Differential Equations is an extension of the preceding functions. It provides functions for solving differential equations and supports Lie's symmetry analysis.
Go to Specification