scientific article; zbMATH DE number 1490034

zbMATH Open0982.14033MaRDI QIDQ4496280FDOQ4496280

Authors: Laureano Gonzalez-Vega 

Publication date: 4 March 2001

Title of this publication is not available (Why is that?)

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

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)

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)