scientific article
From MaRDI portal
Publication:3700870
zbMath0578.68078MaRDI QIDQ3700870
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 (15)
Why Horn formulas matter in computer science: initial structures and generic examples ⋮ A bridge between dynamic geometry and computer algebra ⋮ Numerical generation of periodic traveling wave solutions of some nonlinear dispersive wave systems ⋮ Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} ⋮ Towards an intelligent and dynamic geometry book ⋮ The parallel numerical method of mechanical theorem proving ⋮ Finding solutions of fuzzy polynomial equations systems by an Algebraic method ⋮ A parametric approach to 3D dynamic geometry ⋮ Finding Fuzzy Inverse Matrix Using Wu’s Method ⋮ Constructions of Free Commutative Integro-Differential Algebras ⋮ Automated deduction and knowledge management in geometry ⋮ Automated detection of interesting properties in regular polygons ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Free objects and Gröbner-Shirshov bases in operated contexts ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
This page was built for publication:
