Edinburgh Research Explorer

Computational modelling of mathematical reasoning

Project: Research

  • Bundy, Alan (Principal Investigator)
  • Dennis, Louise (Co-Investigator (External))
  • Fleuriot, Jacques (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Jackson, Paul (Co-Investigator (External))
  • Richardson, Julian (Co-Investigator (External))
  • Smaill, Alan (Co-Investigator (External))
StatusFinished
Effective start/end date1/10/9830/09/02
Total award£914,659.00
Funding organisationEPSRC
Funder project referenceGR/M45030
Period1/10/9830/09/02

Research outputs