Highly Influenced

@inproceedings{Stifter1993GeometryTP, title={Geometry Theorem Proving in Vector Spaces by Means of Gr{\"o}bner Bases}, author={Sabine Stifter}, booktitle={ISSAC}, year={1993} }

- Published 1993 in ISSAC
DOI:10.1145/164081.164144

Within the last few years several approaches to automated geometry theorem proving have been developed and proposed that are based 1 ) on the formulation of a geometric statement as the implication of a polynomial equation (the “conclusion” ) from a set of polynomial equations (the “hypotheses” ), and 2) the proof of the implication by algebraic methods, namely C,robner bases and Ritt’s bases. All these approaches require the introduction of coordinates for the points involved. Many geometric… CONTINUE READING

### Presentations referencing similar topics