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