Edinburgh Research Explorer

Computational Modelling of Mathematical Reasoning

Project: Other (Non-Funded/Miscellaneous)

  • Bundy, Alan (Principal Investigator)
  • Ireland, Andrew (Co-investigator)
  • Lowe, Helen (Co-investigator)
  • Smaill, Alan (Co-investigator)
StatusFinished
Effective start/end date1/10/9630/09/99
Period1/10/9630/09/99

Description

EPSRC rolling funding grant GR/L 11724, (Two research associates, one computing officer, £773,396).