Automatic geometry theorem proving

T. Recio, H.J.M. Sterk, M. Pilar Vélez

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Fingerprint Dive into the research topics of 'Automatic geometry theorem proving'. Together they form a unique fingerprint.

Physics & Astronomy