**This is an old revision of the document!**

##### This page has some links to programs useful for manipulating mathematical structures

- LatDraw: A lattice drawing Java applet by Ralph Freese
- MACE: a program that searches for small models by William McCune
- Prover9: An Automated Deduction System by William McCune
- Sage Mathematical Software The Sage Group, lead by William Stein
- UACalc: The universal algebra calculator by Ralph Freese and Emil Kiss

Trace: » tools