Title: Mechanical theorem proving in geometries
Subjects: Automatic theorem proving, Data processing, Geometry, Symbolic and mathematical Logic, Algebra, Combinatorics, Geometry, algebraic, Algorithms, Computer science, Mathematics, Geometry, data processing