AurĂ©lien Greuet, Mohab Safey El Din. Deciding reachability of the infimum of a multivariate polynomial. In Éric Schost, Ioannis Z. Emiris, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings. pages 131-138, ACM, 2011. [doi]
Abstract is missing.