scientific article
From MaRDI portal
Publication:3700871
zbMath0578.68079MaRDI QIDQ3700871
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Software, source code, etc. for problems pertaining to geometry (51-04) Foundations of classical theories (including reverse mathematics) (03B30) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)
Related Items
The computer searches for Pascal conics, On the application of Buchberger's algorithm to automated geometry theorem proving, Using Gröbner bases to reason about geometry problems, A bibliography of quantifier elimination for real closed fields, Wu's method and its application to perspective viewing, Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle, On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving, A refutational approach to geometry theorem proving, Automatic deduction in (dynamic) geometry: Loci computation, Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems, Algebraic factoring and geometry theorem proving, A software tool for the investigation of plane loci
Uses Software
