Positive solutions of systems of signed parametric polynomial inequalities

DOI10.1007/978-3-319-99639-4_17zbMath1453.26012arXiv1804.09705OpenAlexW2798514675MaRDI QIDQ1798326

Thomas Sturm, Hoon Hong

Publication date: 23 October 2018

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Inequalities for trigonometric functions and polynomials (26D05)

Uses Software

• Mathematica
• QEPCAD
• SYNRAC
• SMT-LIB
• REDLOG
• Yices
• z3
• veriT
• CVC4
• MathSAT5
• SMT-RAT

This page was built for publication: Positive solutions of systems of signed parametric polynomial inequalities