# Differences

This shows you the differences between two versions of the page.

tools [2010/06/29 13:24] jipsen |
tools [2012/01/03 10:47] (current) jipsen |
||
---|---|---|---|

Line 1: | Line 1: | ||

== This page has some links to programs useful for manipulating mathematical structures == | == 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-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.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://www.cs.unm.edu/~mccune/prover9/| MACE: a program that searches for small models]] by William McCune |

- | **[[http://cs.anu.edu.au/~bdm/nauty/| Nauty: a program for computing automorphism groups of graphs and digraphs]] by Brendan McKay | + | *[[http://maude.cs.uiuc.edu/|Maude: A term-rewriting system]] |

- | **[[http://www.cs.unm.edu/~mccune/prover9/| Prover9: An Automated Deduction System]] by William McCune | + | *[[http://minion.sourceforge.net/|Minion: A constraint satisfier]] |

- | **[[http://www.sagemath.org| Sage Mathematical Software]] The Sage Group, lead by William Stein | + | *[[http://www.satlive.org/|Minisat: A boolean satisfaction solver]] |

- | **[[http://www.math.hawaii.edu/~ralph/software/uaprog/| UACalc: The universal algebra calculator]] by Ralph Freese and Emil Kiss | + | *[[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 | ||

- | 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]] | ||

Trace: