Edinburgh Research Explorer

Automatic conjecture making in mathematics

Project: Research

StatusFinished
Effective start/end date1/11/9931/10/02
Total award£142,505.00
Funding organisationEPSRC
Funder project referenceGR/M98012
Period1/11/9931/10/02

Research outputs