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

Project Details

StatusFinished
Effective start/end date1/08/1131/07/15

Funding

  • EPSRC: £561,610.00