
AbstractLeth1,…,hs∈ ℝ[X, Y] and assume that the setW(h) := {(a, b) ∈ ℝ2|hi(a, b) ≥ 0 for all 1 ≤i≤s} is compact and non-empty. We give an effective method to decide from the knowledge ofh1,…,hswhether every polynomialf∈ ℝ[X, Y], strictly positive onW(h), has a representationf=σ0+h1σ1+···+hsσswith eachσibeing a sum of squares in ℝ[X, Y].
Real algebra, algebraic curves, valuation theory, effectivity in semialgebraic geometry, Henselization, archimedian quadratic module, quadratic forms, sums of squares, Real algebraic sets, Schmuedgen's representation theorem, Effectivity, complexity and computational aspects of algebraic geometry, Valued fields, Witt's Local Global Principle
Real algebra, algebraic curves, valuation theory, effectivity in semialgebraic geometry, Henselization, archimedian quadratic module, quadratic forms, sums of squares, Real algebraic sets, Schmuedgen's representation theorem, Effectivity, complexity and computational aspects of algebraic geometry, Valued fields, Witt's Local Global Principle
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
