An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem pokkariEnglanti, 2020