OpenAlex
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem
Work