| The ALLTYPES algebraic language and type
system;
|
| The CATHODE 2
system for solutions of differential equations;
|
| The MathAction collaborative web interface for REDUCE and Axiom;
|
| The Mentor Mathematics Advisor
for mathematics education;
|
| MTT, a set of tools for modeling dynamic
physical systems using the bond-graph methodology;
|
| The Passau REDUCE
project, which is developing a number of useful packages for the REDUCE
community. |