This software package (available here shortly) is a term replacement system. It is interesting in the respect that the syntax is entirely defined by include-files.
Even existis “sets” such as the set of real numbers have to first be defined. A syntax exists to propagate rule sets to different levels. E.g. a Ring can be generically specified as two groups with a one and a zero element.
The include files that come with it are capable of simple operations such as differntiation and alike. It is also efficient in attaching c-programs to numerical operations.

Skip to toolbar

By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close