MATHsAiD: Automated Mathematical Theory Exploration

Alan Bundy, Roy McCasland, Patrick Smith

Research output: Contribution to journal › Article › peer-review

2 results

Finished
The integration and interaction of multiple mathematical reasoning processes
Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.
EPSRC
1/08/11 → 31/07/15
Project: Research
Automated Theorem Discovery
McCasland, R. & Bundy, A.
EPSRC
1/11/07 → 31/12/11
Project: Research