Title: Automated Deduction in Geometry
Subjects: Computational complexity, Computer graphics, Discrete groups, Computer science, Optical pattern recognition, Artificial intelligence, Geometry, data processing, Automatic theorem proving, Logic, symbolic and mathematical, Geometry, Congresses, Data processing, Symbolic and mathematical Logic