
There are a number of independent projects that use REDUCE in various ways. These include:
 The ALLTYPES algebraic language and type system;
 The MathAction collaborative web interface for Axiom, REDUCE and other computer algebra systems;
 The Mentor Mathematics Advisor for mathematics education;
 MTT, a set of tools for modeling dynamic physical systems using the bondgraph methodology.
