Quantifier Elimination for Quartics

DOI10.1007/11856290_13MaRDI QIDQ5302907zbMATH OpenOpenAlexFDO

Authors 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

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
• Quantifier elimination: Optimal solution for two classical examples
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
• scientific article; zbMATH DE number 1302474

Cited in

(2)

• A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
• Quantifier elimination: Optimal solution for two classical examples

This page was built for publication: Quantifier Elimination for Quartics

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