Title: Machine Proofs in Geometry
Subjects: Geometry, data processing