Quantifier Elimination for Quartics
From MaRDI portal
Publication:5302907
DOI10.1007/11856290_13zbMath1156.68640OpenAlexW1480232720MaRDI QIDQ5302907
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
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)