Atypical: Integrating computer algebra and reasoning

Simon Thompson, John Shackell, James Beaumont and Leonid Timochouk

This is the home page for the project Integrating Computer Algebra and Reasoning: Incorporating a logic into the Aldor system, funded under EPSRC Grant GR/M37851.

The project

Understanding the Aldor compiler Project publications The Aldor-- system

Last modified 07.01.03