Positive solutions of systems of signed parametric polynomial inequalities. (English) Zbl 1453.26012
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 238-253 (2018).