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