Publication:3798767
From MaRDI portal
zbMath0653.13012MaRDI QIDQ3798767
Publication date: 1988
Gröbner bases; geometrical theorem proving; polynomial ideal theory; parametric objects; inverse robot kinematics
68W30: Symbolic computation and algebraic computation
13-04: Software, source code, etc. for problems pertaining to commutative algebra
13F20: Polynomial rings and ideals; rings of integer-valued polynomials
Related Items
An algebraic approach to rule based expert systems, An algorithm for solving parametric linear systems, Comprehensive Gröbner bases, Solutions of systems of algebraic equations and linear maps on residue class rings, Implicitization of rational parametric equations, Application of Gröbner bases to problems of movement of a particle, Implicitization of differential rational parametric equations., Geometric theorem proving by integrated logical and algebraic reasoning, Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases, 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, Implicitization of rational surfaces using toric varieties, Computing final polynomials and final syzygies using Buchberger's Gröbner bases method