Lucas Alba, Salvador(Springer Verlag (Germany), 2014-12)
Proving polynomials non-negative when variables range on a
subset of numbers (e.g., [0, +∞)) is often required in many applications
(e.g., in the analysis of program termination). Several representations for
univariate ...