On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving

DOI10.1007/BF01553889zbMath0674.68025MaRDI QIDQ1121669

Jin-Gen Yang, Shang-Ching Chou

Publication date: 1989

Published in: Algorithmica (Search for Journal in Brave)

zbMATH Keywords

Gröbner basispolynomial equationsalgebraic geometryirreducible varietyWu's methodPappus' theoremalgebraically (or real) closed fieldnondegenerate componentnondegenerate conditionsRitt's algorithmsSimson's theorem

Mathematics Subject Classification ID

Related Items (2)

Elimination procedures for mechanical theorem proving in geometry ⋮ Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving

Cites Work

• An introduction to Wu's method for mechanical theorem proving in geometry
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Proving geometry theorems with rewrite rules
• Die metrische Form in der absoluten und der elliptischen Geometrie
• Proof, Completeness, Transcendentals, and Sampling
• Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving