Automated theorem proving in elementary geometry
oleh: Alfredo Ferro, Giovanni Gallo
| Format: | Article |
|---|---|
| Diterbitkan: | Università degli Studi di Catania 1988-11-01 |
Deskripsi
A survey of the main procedures for automatic theorem proving in geometry is presented.