Memoirs of the American Mathematical Society ; Volume 263
Print version: Lombardi, Henri. Elementary recursive bound for effective positivstellensatz and Hilbert’s 17th problem. Providence, Rhode Island : American Mathematical Society, 2020 138 pages Memoirs of the American Mathematical Society ; Volume 263. ISBN 9781470441081
Weak inference and weak existence -- Intermediate value theorem -- Fundamental theorem of algebra -- Hermite’s theory -- Elimination of one variable -- Proof of the main theorems -- Annex.