3 works on record
Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
Thoughts
Davenport St