Highly Influential

@inproceedings{Ida2012AutomatedDI, title={Automated Deduction in Geometry}, author={Tetsuo Ida and Jacques D. Fleuriot}, booktitle={Lecture Notes in Computer Science}, year={2012} }

- Published 2012 in Lecture Notes in Computer Science
DOI:10.1007/978-3-642-40672-0

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

Showing 1-10 of 40 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

### Presentations referencing similar topics