scientific article
From MaRDI portal
Publication:3700869
zbMath0578.68077MaRDI QIDQ3700869
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)
Related Items (15)
On the application of Buchberger's algorithm to automated geometry theorem proving ⋮ Using Gröbner bases to reason about geometry problems ⋮ Wu's method and its application to perspective viewing ⋮ Conditions for the origin to be a center and the bifurcation of limit cycles in a class of cubic systems ⋮ A bridge between dynamic geometry and computer algebra ⋮ A refutational approach to geometry theorem proving ⋮ Mechanical theorem proving in projective geometry ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ The parallel numerical method of mechanical theorem proving ⋮ A parametric approach to 3D dynamic geometry ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry ⋮ Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences
This page was built for publication:
