scientific article; zbMATH DE number 3926285
From MaRDI portal
Publication:3700871
zbMATH Open0578.68079MaRDI QIDQ3700871FDOQ3700871
Authors: Shang-Ching Chou
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
Foundations of classical theories (including reverse mathematics) (03B30) Software, source code, etc. for problems pertaining to geometry (51-04) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)
Cited In (22)
- Title not available (Why is that?)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- A refutational approach to geometry theorem proving
- Geometry machines: from AI to SMC
- A bibliography of quantifier elimination for real closed fields
- Title not available (Why is that?)
- Wu's method and its application to perspective viewing
- Detecting truth, just on parts
- A method for the mechanical derivation of formulas in elementary geometry
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- Title not available (Why is that?)
- A software tool for the investigation of plane loci
- Title not available (Why is that?)
- Algebraic factoring and geometry theorem proving
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Using Gröbner bases to reason about geometry problems
- An identity method for proving geometry theorems based on Wu's method
- The computer searches for Pascal conics
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
- Ritt-Wu's decomposition algorithm and geometry theorem proving
- Automatic deduction in (dynamic) geometry: Loci computation
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3700871)