arXiv:1004.4521 [math.AG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords real function algebras, quadratic module, programming relaxation methods, positivstellensätze, example jacobis representation theorem Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset