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

Jingjun Han ()
Additional contact information
Jingjun Han: Peking University, Beijing International Center for Mathematical Research and School of Mathematical Sciences

A chapter in Computer Mathematics, 2014, pp 261-274 from Springer

Abstract: Abstract The problem of quantifier elimination of positive semidefinite cyclic ternary quartic forms is studied in this paper. We solve the problem by function RealTriangularize in Maple15, the theory of complete discrimination systems and the so-called Criterions on Equality of Symmetric Inequalities method. The equivalent simple quantifier-free formula is proposed, which is difficult to obtain automatically by previous methods or quantifier elimination tools.

Keywords: Quantifier-free Formula; Ternary Quartics; Positive Semidefinite; Complete Discrimination System; Quantifier Elimination (QE) (search for similar items in EconPapers)
Date: 2014
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-662-43799-5_20

Ordering information: This item can be ordered from
http://www.springer.com/9783662437995

DOI: 10.1007/978-3-662-43799-5_20

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().