scientific article; zbMATH DE number 1490034

MaRDI QIDQ4496280zbMATH OpenFDO

Authors Laureano Gonzalez-Vega

Publication date 4 March 2001

zbMATH Keywords

polynomial systemquantifier eliminationcomputational real algebraic geometryPham system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Real algebraic sets (14P05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Recommendations

• On the combinatorial and algebraic complexity of quantifier elimination
• Special issue on Applications of quantifier elimination
• On the Complexity of Quantifier Elimination: the Structural Approach
• scientific article; zbMATH DE number 1262432
• A layered algorithm for quantifier elimination from linear modular constraints
• Variant real quantifier elimination: algorithm and application
• A Quantifier Elimination Algorithm for Linear Real Arithmetic

Cited in

(4)

• Polynomial equation solving by lifting procedures for ramified fibers
• Robust algorithms for generalized Pham systems
• On factoring parametric multivariate polynomials
• Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4496280)