Automated Deduction in Geometry

  title={Automated Deduction in Geometry},
  author={Tetsuo Ida and Jacques D. Fleuriot},
  booktitle={Lecture Notes in Computer Science},
We consider the relationships between algebra, geometry, computation, and proof. Computers have been used to verify geometrical facts by reducing them to algebraic computations. But this does not produce computer-checkable first-order proofs in geometry. We might try to produce such proofs directly, or we might try to develop a “back-translation” from… CONTINUE READING