Title: Automated Deduction in Geometry
First published: March 19, 2004
Subjects: Geometry, Congresses, Symbolic and mathematical Logic, Data processing, Automatic theorem proving