Quantifier Elimination for Quartics

DOI10.1007/11856290_13zbMath1156.68640MaRDI QIDQ5302907

Lu Yang, Bican Xia

Publication date: 15 January 2009

Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11856290_13

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

03C10: Quantifier elimination, model completeness, and related topics