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

DOI10.1007/BF01553889zbMATH Open0674.68025MaRDI QIDQ1121669FDOQ1121669

Authors: Shang-Ching Chou, Jingen Yang 

Publication date: 1989

Published in: Algorithmica (Search for Journal in Brave)

Recommendations

• Algebraic proofs for geometric statements
• scientific article; zbMATH DE number 3926284
• Elimination procedures for mechanical theorem proving in geometry
• scientific article; zbMATH DE number 1159859
• Publication:4946080

zbMATH Keywords

algebraic geometrypolynomial equationsirreducible varietyWu's methodPappus' theoremalgebraically (or real) closed fieldnondegenerate componentnondegenerate conditionsRitt's algorithmsSimson's theoremGröbner basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Algebraization in linear incidence geometry (51A25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the application of Buchberger's algorithm to automated 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?)
• An introduction to Wu's method for mechanical theorem proving in geometry
• Proving geometry theorems with rewrite rules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Die metrische Form in der absoluten und der elliptischen Geometrie
• Title not available (Why is that?)
• Proof, Completeness, Transcendentals, and Sampling
• Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer

Cited In (11)

• Geometry machines: from AI to SMC
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
• Title not available (Why is that?)
• The case for the irreducibility of geometry to algebra
• Algebraic proofs for geometric statements
• Title not available (Why is that?)
• Elimination procedures for mechanical theorem proving in geometry
• What does ``without loss of generality mean, and how do we detect it
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• Rewriting input expressions in complex algebraic geometry provers

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

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