Differences

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

tools [2010/06/29 13:25]
jipsen
tools [2012/01/03 10:47] (current)
jipsen
Line 4: Line 4:
  *[[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://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://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.cs.unm.edu/~mccune/prover9/| Prover9: An Automated Deduction System]] by William McCune
Line 9: Line 12:
  *[[http://www.math.hawaii.edu/~ralph/software/uaprog/| UACalc: The universal algebra calculator]] by Ralph Freese and Emil Kiss   *[[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]]