Edinburgh Research Explorer

Computational Modelling of Mathematical Reasoning

Project: Other ProjectOther (Non-Funded/Miscellaneous)

Description

SERC rolling funding grant GR/C/20826, (Two research associates, £93,749).