Deciding reachability of the infimum of a multivariate polynomial.

Aurlien Greuet, Mohab Safey El Din

Browse the full ISSAC paper archive.