Title: Automated deduction in geometry
Subjects: Geometry, Congresses, Symbolic and mathematical Logic, Data processing, Automatic theorem proving, Geometry, data processing, Logic, symbolic and mathematical