Computational Modelling of Mathematical Reasoning

  • Bundy, Alan (Principal Investigator)
  • Ireland, Andrew (Co-investigator)
  • Lowe, Helen (Co-investigator)
  • Smaill, Alan (Co-investigator)

Project Details

Description

EPSRC rolling funding grant GR/L 11724, (Two research associates, one computing officer, £773,396).
StatusFinished
Effective start/end date1/10/9630/09/99