Prefer a chat interface with context about you and your work?
Extending the Archimedean Positivstellensatz to the Non-Compact Case
Abstract A generalization of Schmüdgen’s Positivstellensatz is given which holds for any basic closed semialgebraic set in (compact or not). The proof is an extension of Wörmann’s proof.