Automatic Construction and Verification of Isotopy Invariants

Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton

School of Informatics

Research output: Contribution to journal › Article › peer-review

2 results

Finished
Automated Theorem Discovery
McCasland, R. & Bundy, A.
EPSRC
1/11/07 → 31/12/11
Project: Research
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
EPSRC
1/04/07 → 31/03/11
Project: Research