Title: Automated Deduction in Geometry
Subjects: Geometry, data processing, Automatic theorem proving, Logic, symbolic and mathematical