Publication:4237375
From MaRDI portal
zbMath1019.68822MaRDI QIDQ4237375
Publication date: 14 March 2000
polynomial equationsimplementationmultipolynomial resultant algorithmsnonlinear polynomial equations
68W30: Symbolic computation and algebraic computation
65H10: Numerical computation of solutions to systems of equations
03C60: Model-theoretic algebra
03C10: Quantifier elimination, model completeness, and related topics
Related Items
An opportunistic global path planner, Algorithm for implicitizing rational parametric surfaces, Implicit representation of rational parametric surfaces, Flexibility of Bricard's linkages and other structures via resultants and computer algebra