Automated theorem proving in elementary geometry
A survey of the main procedures for automatic theorem proving in geometry is presented.
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Università degli Studi di Catania
1988-11-01
|
| Series: | Le Matematiche |
| Online Access: | http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/713 |