Mathematical Structures: History of Tools

[Home]History of Tools

HomePage | RecentChanges | Login

Revision 19 . . August 14, 2007 4:03 am by Jipsen
Revision 18 . . November 3, 2004 8:27 pm by Jipsen
  
Difference (from prior major revision) (no other diffs)

Changed: 5c5
*MACE: a program that searches for small models by William McCune
*MACE: a program that searches for small models by William McCune

Changed: 7c7,8
*Otter: An Automated Deduction System by William McCune
*Prover9: An Automated Deduction System by William McCune
*Sage Mathematical Software The Sage Group, lead by William Stein
HomePage | RecentChanges | Login
Search: