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 (12)
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
This page was built for publication:
