Positive solutions of systems of signed parametric polynomial inequalities

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

Hoon Hong, Thomas Sturm

Publication date: 23 October 2018

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

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

26D05: Inequalities for trigonometric functions and polynomials

Uses Software

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