This is an old revision of the document!

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

GAP: Groups, Algorithms and Programming LatDraw: A lattice drawing Java applet by Ralph Freese MACE: a program that searches for small models by William McCune Nauty: a program for computing automorphism groups of graphs and digraphs by Brendan McKay 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 The JavaScript programs below can be used to extract various information from lists of finite structures in this database. Feel free to copy and modify algorithms to suit your needs (just add a new link to this page and copy the algorithm to the new page). Local tools (under development): Display a poset or graph using ASCIIsvg Display a list of algebras using HTML tables Search for finite algebras Translate a list of structures to LaTeX code Translate a list of posets, semilattices or lattices to LaTeX code using pstricks Translate a list of structures to GAP format Translate an algebra to the file format used by UACalc Find those structures in a list that satisfy a specific property Calculate congruence lattices of small algebras, and test them for some lattice properties Calculate automorpism groups of structures Invoke Otter or Mace on a first-order conjecture