Title: Mechanical geometry theorem proving
Subjects: Automatic theorem proving, Geometry, differential