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

  *[[http://www-gap.dcs.st-and.ac.uk/~gap/| GAP: Groups, Algorithms and Programming]]
  *[[http://www.math.hawaii.edu/~ralph/LatDraw/| LatDraw: A lattice drawing Java applet]] by Ralph Freese
  *[[http://www.cs.unm.edu/~mccune/prover9/| MACE: a program that searches for small models]] by William McCune
  *[[http://maude.cs.uiuc.edu/|Maude: A term-rewriting system]]
  *[[http://minion.sourceforge.net/|Minion: A constraint satisfier]]
  *[[http://www.satlive.org/|Minisat: A boolean satisfaction solver]]
  *[[http://cs.anu.edu.au/~bdm/nauty/| Nauty: a program for computing automorphism groups of graphs and digraphs]] by Brendan McKay
  *[[http://www.cs.unm.edu/~mccune/prover9/| Prover9: An Automated Deduction System]] by William McCune
  *[[http://www.sagemath.org| Sage Mathematical Software]] The Sage Group, lead by William Stein
  *[[http://www.math.hawaii.edu/~ralph/software/uaprog/| UACalc: The universal algebra calculator]] by Ralph Freese and Emil Kiss