MATHsAiD: Automated mathematical theory exploration

  title={MATHsAiD: Automated mathematical theory exploration},
  author={Roy L. McCasland and Alan Bundy and Patrick F. Smith},
  journal={Applied Intelligence},
The aim of the MATHsAiD project is to build a tool for automated theorem-discovery; to design and build a tool to automatically conjecture and prove theorems (lemmas, corollaries, etc.) from a set of user-supplied axioms and definitions. No other input is required. This tool would, for instance, allow a mathematician to try several versions of a particular definition, and in a relatively small amount of time, be able to see some of the consequences, in terms of the resulting theorems, of each… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 22 references

An introduction to Zariski Spaces over Zariski Topologies

  • R McCasland, M Moore, P Smith
  • Rocky Mountain J Math 28:1357–1369
  • 1998
Highly Influential
4 Excerpts


  • O Montano-Rivas, R McCasland, L Dixon, In Bundy A Schemebased synthesis of inductive theories.
  • 6437, pp. 348–361
  • 2010
1 Excerpt

Similar Papers

Loading similar papers…