The integration and interaction of multiple mathematical Reasoning Processes

  • Bundy, Alan (Principal Investigator)
  • Aspinall, David (Co-Investigator (External))
  • Colton, Simon (Co-Investigator (External))
  • Fleuriot, Jacques (Co-Investigator (External))
  • Gow, Jeremy (Co-Investigator (External))
  • Grov, Gudmund (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Jackson, Paul (Co-Investigator (External))
  • Mcneill, Fiona (Co-Investigator (External))
  • Michaelson, Greg (Co-Investigator (External))
  • Smaill, Alan (Co-Investigator (External))

Project Details

Effective start/end date1/11/1531/10/19


  • EPSRC: £156,889.00


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.