Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1804.09705.pdf (Preprint), 173KB
Hong, H., & Sturm, T. (2018). Positive Solutions of Systems of Signed Parametric Polynomial Inequalities. Retrieved from http://arxiv.org/abs/1804.09705.