On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669): Difference between revisions

Some well-known elementary geometry statements are rewritten in a form of formulas with universal quantifiers and appropriate boolean formulas of polynomial equations as quantifier-free parts. This algebraic reformulation is used for mechanical proving of geometrical statements involving Nullstellensatz.