| 2008 |
|---|
| 5 | EE | Volker Sorge,
Andreas Meier,
Roy L. McCasland,
Simon Colton:
Automatic Construction and Verification of Isotopy Invariants.
J. Autom. Reasoning 40(2-3): 221-243 (2008) |
| 2006 |
|---|
| 4 | EE | Volker Sorge,
Andreas Meier,
Roy L. McCasland,
Simon Colton:
Automatic Construction and Verification of Isotopy Invariants.
IJCAR 2006: 36-51 |
| 3 | EE | Roy L. McCasland,
Alan Bundy:
MATHsAiD: A Mathematical Theorem Discovery Tool.
SYNASC 2006: 17-22 |
| 2 | EE | Roy L. McCasland,
Alan Bundy,
Patrick F. Smith:
Ascertaining Mathematical Theorems.
Electr. Notes Theor. Comput. Sci. 151(1): 21-38 (2006) |
| 2004 |
|---|
| 1 | EE | Simon Colton,
Andreas Meier,
Volker Sorge,
Roy L. McCasland:
Automatic Generation of Classification Theorems for Finite Algebras.
IJCAR 2004: 400-414 |
