The integration and interaction of multiple mathematical reasoning processes

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

Project Details

StatusFinished
Effective start/end date1/10/0230/09/06

Funding

  • EPSRC: £426,265.00