AUTOMATED DISCOVERY OF MATHEMATICS

Bundy, Alan (Principal Investigator)
Colton, Simon (Co-Investigator (External))
Smith, Patrick (Co-Investigator (External))

School of Informatics

2 Article
1 Conference contribution
1 Chapter (peer-reviewed)

2 results

Filter

2007
Automated Discovery of Inductive Theorems
McCasland, R., Bundy, A. & Serge, A., 2007, In: Studies in Logic, Grammar and Rhetoric. 10, 23
Research output: Contribution to journal › Article › peer-review

Open Access
File
2006
Ascertaining Mathematical Theorems
McCasland, R., Bundy, A. & Smith, P., 2006, In: Electronic Notes in Theoretical Computer Science. 151, 1, p. 21-38 18 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File