A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms

DOI10.1007/978-3-662-43799-5_20zbMath1352.68294arXiv1207.7255OpenAlexW2964140804MaRDI QIDQ2799565

Jing Jun Han

Publication date: 12 April 2016

Published in: Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.7255

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Forms of degree higher than two (11E76)

Uses Software

• Maple
• QEPCAD
• RealTriangularize

Cites Work

• Unnamed Item
• Unnamed Item
• Fast simplifications for Tarski formulas based on monomial inequalities
• A complete discrimination system for polynomials
• On mechanical quantifier elimination for elementary algebra and geometry
• Quantifier elimination: Optimal solution for two classical examples
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
• Even symmetric sextics
• Partial cylindrical algebraic decomposition for quantifier elimination
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• On the positivity of symmetric polynomial functions. I: General results
• On the positivity of symmetric polynomial functions. II: Lattice general results and positivity criteria for degrees 4 and 5
• Recent advances on determining the number of real roots of parametric polynomials
• Real even symmetric ternary forms
• Simple CAD construction and its applications
• Improved projection for cylindrical algebraic decomposition

This page was built for publication: A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms