An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

Lorenzo Baldi, Teresa Krick, Bernard Mourrain

We study the problem of representing multivariate polynomials with rational coefficients, which are nonnegative and strictly positive on finite semialgebraic sets, using rational s…