# 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.
Showing 1-2 of 2 extracted citations
Highly Influenced
2 Excerpts

#### References

##### Publications referenced by this paper.
Showing 1-10 of 22 references
Highly Influential
18 Excerpts

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