Elimination procedures for mechanical theorem proving in geometry
From MaRDI portal
Publication:1924738
DOI10.1007/BF01531321zbMath0855.68090OpenAlexW2029256996MaRDI QIDQ1924738
Publication date: 20 October 1996
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01531321
Related Items
Towards a certified version of the encyclopedia of triangle centers, A review and prospect of readable machine proofs for geometry theorems, Recent advances in automated theorem proving on inequalities, On \(n\)-sectors of the angles of an arbitrary triangle, On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra, Automated generation of geometric theorems from images of diagrams
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some remarks on Hilbert's Nullstellensatz
- Transcendental functions and mechanical theorem proving in elementary geometries
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Using Gröbner bases to reason about geometry problems
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- A refutational approach to geometry theorem proving
- On a projection theorem of quasi-varieties in elimination theory
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- An elimination method for polynomial systems
- A generalized Euclidean algorithm for geometry theorem proving