scientific article
From MaRDI portal
Publication:3798767
zbMath0653.13012MaRDI QIDQ3798767
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gröbner basesgeometrical theorem provingpolynomial ideal theoryparametric 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
Computing final polynomials and final syzygies using Buchberger's Gröbner bases method, Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases, Moment invariants under similarity transformation, Survey on the theory and applications of \(\mu\)-bases for rational curves and surfaces, Efficient computation of moving planes for rational parametric surfaces with base points using Dixon resultants, Ideal-specific elimination orders form a star-shaped region, Implicitization of differential rational parametric equations., Darboux transformation and some multi-phase solutions of the Dodd-Bullough-Tzitzeica equation: \(U_{xt}=e^ U-e^{-2U}\)., Numerical stability of surface implicitization, Local parametrization of cubic surfaces, Residue calculus and applications, An algorithm for solving parametric linear systems, Algorithms for solving reachability problems in 2-link planar arms using Gröbner bases, Comprehensive Gröbner bases, Solutions of systems of algebraic equations and linear maps on residue class rings, Implicitization of rational parametric equations, An algebraic approach to rule based expert systems, Implicitization of rational surfaces using toric varieties, Geometric theorem proving by integrated logical and algebraic reasoning, Application of Gröbner bases to problems of movement of a particle
