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
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
