scientific article; zbMATH DE number 3926285
From MaRDI portal
Publication:3700871
Recommendations
Cited in
(22)- scientific article; zbMATH DE number 4031634 (Why is no real title available?)
- 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
- Wu's method and its application to perspective viewing
- scientific article; zbMATH DE number 4164190 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 4164173 (Why is no real title available?)
- A software tool for the investigation of plane loci
- scientific article; zbMATH DE number 1189071 (Why is no real title available?)
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Using Gröbner bases to reason about geometry problems
- Algebraic factoring and geometry theorem proving
- 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
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)
