Elimination procedures for mechanical theorem proving in geometry

DOI10.1007/BF01531321zbMATH Open0855.68090OpenAlexW2029256996MaRDI QIDQ1924738FDOQ1924738

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

Cites Work

• Using Gröbner bases to reason about geometry problems
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• An elimination method for polynomial systems
• A refutational approach to geometry theorem proving
• Some remarks on Hilbert's Nullstellensatz
• On a projection theorem of quasi-varieties in elimination theory
• Transcendental functions and mechanical theorem proving in elementary geometries
• 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 generalized Euclidean algorithm for geometry theorem proving
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Recent advances in automated theorem proving on inequalities
• Geometry machines: from AI to SMC
• A review and prospect of readable machine proofs for geometry theorems
• On \(n\)-sectors of the angles of an arbitrary triangle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards a certified version of the encyclopedia of triangle centers
• Automated generation of geometric theorems from images of diagrams
• Title not available (Why is that?)
• Realization of automatic reasoning system of geometry based on point-eliminating method
• On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra

Uses Software

• Maple

This page was built for publication: Elimination procedures for mechanical theorem proving in geometry

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