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 Documentation

Solving 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

Reading and Searching

The database given in the Differential Equations menue lists essentially the ordinary differential equations given in Kamke's collection. In addition a selection of named partial differential equations is listed. The literature listed in the Authors menue has been helpful for designing the algorithms implemented in the current version of ALLTYPES.

Go to Differental Equations