scientific article
From MaRDI portal
Publication:3700870
zbMath0578.68078MaRDI QIDQ3700870
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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:
