Elimination procedures for mechanical theorem proving in geometry

DOI10.1007/BF01531321zbMath0855.68090OpenAlexW2029256996MaRDI QIDQ1924738

Dongming Wang

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

zbMATH Keywords

mechanical theorem proving

Mathematics Subject Classification ID

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

• Maple

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