Computational modelling of mathematical reasoning

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

Fingerprint

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.

Engineering & Materials Science