Using Gröbner bases to reason about geometry problems

Cites Work

An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
On the application of Buchberger's algorithm to automated geometry theorem proving
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)

Cited In (37)

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
A refutational approach to geometry theorem proving
Geometry machines: from AI to SMC
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
The dimension method in elementary and differential geometry
Automated detection of interesting properties in regular polygons
Modeling three-dimensional surface-to-surface rigid contact and impact
A parametric approach to 3D dynamic geometry
New dynamics in dynamic geometry: dragging constructed points
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
The Relation Tool in GeoGebra 5
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
On the synthetic factorization of projectively invariant polynomials
Automated theorem proving in GeoGebra: current achievements
Learning to solve geometric construction problems from images
The area method. A recapitulation
Challenging theorem provers with Mathematical Olympiad problems in solid geometry
Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases
Automated deduction and knowledge management in geometry
\textit{Theorema}: Towards computer-aided mathematical theory exploration
On the application of Buchberger's algorithm to automated geometry theorem proving
Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
Application of Gröbner bases to problems of movement of a particle
Automated discovery of geometric theorems based on vector equations
Geometric theorem proving by integrated logical and algebraic reasoning
Elimination procedures for mechanical theorem proving in geometry
Decomposing algebraic sets using Gröbner bases
A procedure to prove statements in differential geometry
An extension of a procedure to prove statements in differential geometry
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker
Discovering Geometry Theorems in Regular Polygons
Towards an intelligent and dynamic geometry book
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
The Area Method and Proving Plane Geometry Theorems
Rewriting input expressions in complex algebraic geometry provers
Automatic deduction in (dynamic) geometry: Loci computation

This page was built for publication: Using Gröbner bases to reason about geometry problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1094150)