Using Gröbner bases to reason about geometry problems
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3649988 (Why is no real title available?)
- scientific article; zbMATH DE number 3926283 (Why is no real title available?)
- scientific article; zbMATH DE number 3926285 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 3770943 (Why is no real title available?)
- scientific article; zbMATH DE number 3586510 (Why is no real title available?)
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
- On the application of Buchberger's algorithm to automated geometry theorem proving
Cited in
(37)- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- A refutational approach to geometry theorem proving
- The dimension method in elementary and differential geometry
- Automated detection of interesting properties in regular polygons
- Geometry machines: from AI to SMC
- Modeling three-dimensional surface-to-surface rigid contact and impact
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- A parametric approach to 3D dynamic geometry
- New dynamics in dynamic geometry: dragging constructed points
- 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
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Automated deduction and knowledge management in geometry
- 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
- Automated generation of readable proofs for constructive geometry statements with the mass point 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
- A procedure to prove statements in differential geometry
- The area method and proving plane geometry theorems
- Decomposing algebraic sets using Gröbner bases
- 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
- Towards an intelligent and dynamic geometry book
- Discovering Geometry Theorems in Regular Polygons
- 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
- 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)
