The Mathematical Reasoning Group is a distributed research group based in the Centre for Intelligent Systems and their Applications, a research institute within the School of Informatics at the University of Edinburgh. We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence. There is a more detailed overview of the MRG and a list of people. You can also find out how to join the MRG.
|
|
We have switched authentication for internal links to cosign. If you have a DICE account use that and if you do not, you can setup a friend-of-DICE account.
Mathematical Reasoning Group
School of Informatics
University of Edinburgh
Informatics Forum
10 Crichton Street
Edinburgh EH8 9AB
Scotland
Tel : +44 (0)131 650 2708
Fax : +44 (0)131 650 6899