scientific article
From MaRDI portal
Publication:3798768
zbMath0653.13013MaRDI QIDQ3798768
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gröbner basispolynomial ideal theorygeometric theorem provingparametric objectsinverse robot kinematics
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Polynomial rings and ideals; rings of integer-valued polynomials (13F20)
Related Items (21)
Automated theorem proving in GeoGebra: current achievements ⋮ A Groebner bases-based approach to backward reasoning in rule based expert systems ⋮ Classical invariant theory and the equivalence problem for particle Lagrangians. I: Binary forms ⋮ A bridge between dynamic geometry and computer algebra ⋮ Mechanical theorem proving in projective geometry ⋮ A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm ⋮ Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems ⋮ A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra ⋮ A polynomial model for logics with a prime power number of truth values ⋮ Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm ⋮ On the synthetic factorization of projectively invariant polynomials ⋮ Computing combinatorial decompositions of rings ⋮ A parametric approach to 3D dynamic geometry ⋮ Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases ⋮ A new approach to primary decomposition ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Gröbner bases: An introduction ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry ⋮ Nonclassical reductions of a \((3+1)\)-cubic nonlinear Schrödinger system ⋮ On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra ⋮ Nonclassical symmetry reductions of the Boussinesq equation
This page was built for publication:
