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

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

Funding

  • EPSRC: £156,889.00