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


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

Computer Science