Using Gröbner bases to reason about geometry problems
From MaRDI portal
Publication:1094150
DOI10.1016/S0747-7171(86)80007-4zbMath0629.68087MaRDI QIDQ1094150
Publication date: 1986
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
polynomial equationsautomated geometry theorem provingGröbner basis computationreasoning about geometry
Related Items
Learning to solve geometric construction problems from images ⋮ Automated theorem proving in GeoGebra: current achievements ⋮ Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ An extension of a procedure to prove statements in differential geometry ⋮ The Relation Tool in GeoGebra 5 ⋮ On the application of Buchberger's algorithm to automated geometry theorem proving ⋮ Rewriting input expressions in complex algebraic geometry provers ⋮ Computing final polynomials and final syzygies using Buchberger's Gröbner bases method ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases ⋮ A refutational approach to geometry theorem proving ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Elimination procedures for mechanical theorem proving in geometry ⋮ The dimension method in elementary and differential geometry ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ The Area Method and Proving Plane Geometry Theorems ⋮ Discovering Geometry Theorems in Regular Polygons ⋮ Towards an intelligent and dynamic geometry book ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ The area method. A recapitulation ⋮ A procedure to prove statements in differential geometry ⋮ On the synthetic factorization of projectively invariant polynomials ⋮ A parametric approach to 3D dynamic geometry ⋮ Automated deduction and knowledge management in geometry ⋮ Automated detection of interesting properties in regular polygons ⋮ A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs ⋮ Modeling three-dimensional surface-to-surface rigid contact and impact ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems ⋮ Decomposing algebraic sets using Gröbner bases ⋮ Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) ⋮ A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs ⋮ Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method ⋮ New dynamics in dynamic geometry: dragging constructed points ⋮ Geometric theorem proving by integrated logical and algebraic reasoning ⋮ Application of Gröbner bases to problems of movement of a particle
Cites Work
