On algorithms testing positivity of real symmetric polynomials

DOI10.1186/s13660-021-02672-1zbMath1504.05294OpenAlexW3192117486MaRDI QIDQ2072924

Vlad Timofte, Aida Timofte

Publication date: 26 January 2022

Published in: Journal of Inequalities and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1186/s13660-021-02672-1

zbMATH Keywords

algorithmquantifier eliminationsymmetric polynomial

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symmetric functions and generalizations (05E05) Computational aspects of higher-dimensional varieties (14Q15) Quantifier elimination, model completeness, and related topics (03C10)

Uses Software

• Maple

Cites Work

• On the positivity of symmetric polynomial functions. III: Extremal polynomials of degree 4
• Even symmetric sextics
• 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
• Algorithms in real algebraic geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On algorithms testing positivity of real symmetric polynomials