Scheme-based theorem discovery and concept invention

Omar Montano-Rivas, Roy McCasland, Lucas Dixon, Alan Bundy

School of Informatics

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

2 results

Filter

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