MATHsAiD: Automated mathematical theory exploration

@article{McCasland2017MATHsAiDAM,
  title={MATHsAiD: Automated mathematical theory exploration},
  author={Roy L. McCasland and Alan Bundy and Patrick F. Smith},
  journal={Applied Intelligence},
  year={2017},
  volume={47},
  pages={585-606}
}
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

Citations

Publications citing this paper.

References

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

MICAI, LNCS, vol

  • 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…