The integration and interaction of multiple mathematical reasoning processes

Bundy, Alan (Principal Investigator)
Aspinall, David (Co-investigator)
Fleuriot, Jacques (Co-investigator)
Jackson, Paul (Co-investigator)
Smaill, Alan (Co-investigator)
Colton, Simon (Co-Investigator (External))
Ireland, Andrew (Co-Investigator (External))
Michaelson, Greg (Co-Investigator (External))

7 Conference contribution
2 Article
1 Paper

2 results

Filter

2017
MATHsAiD: Automated Mathematical Theory Exploration
Bundy, A., McCasland, R. & Smith, P., Oct 2017, In: Applied Intelligence. 47, 3, p. 585-606 22 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2013
The interaction of representation and reasoning
Bundy, A., 8 Sept 2013, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 469, 2157, 20130194.
Research output: Contribution to journal › Article › peer-review

File