Automated theorem proving in elementary geometry

Alfredo Ferro, Giovanni Gallo

Abstract


A survey of the main procedures for automatic theorem proving in geometry is presented.

Full Text: pdf