Hoon Hong, Thomas Sturm 0001. Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. Volume 11077 of Lecture Notes in Computer Science, pages 238-253, Springer, 2018. [doi]
Abstract is missing.