Efficient Algorithms for MultiPolynomial Resultant

DOI10.1093/comjnl/36.5.485zbMath0780.68076OpenAlexW2167802180MaRDI QIDQ3140559

Dinesh Manocha

Publication date: 5 December 1993

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/36.5.485

zbMATH Keywords

quantifier eliminationmultivariate interpolation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Connections between field theory and logic (12L99) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Obtaining exact interpolation multivariate polynomial by approximation, A systematic framework for solving geometric constraints analytically, Improved algorithms for computing determinants and resultants, Global methods for solving systems of nonlinear algebraic equations, A companion matrix resultant for Bernstein polynomials