The Theory Behind TheoryMine

Alan Bundy, R. McCasland, F. Cavallo, L. Dixon, M. Johansson

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

2 results

Finished
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
EPSRC
1/11/15 → 31/10/19
Project: Research
Automated Theorem Discovery
McCasland, R. & Bundy, A.
EPSRC
1/11/07 → 31/12/11
Project: Research