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 geometrypolynomial equationsirreducible varietyWu's methodPappus' theoremalgebraically (or real) closed fieldnondegenerate componentnondegenerate conditionsRitt's algorithmsSimson's theoremGröbner basis
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)