Displaying similar documents to “A real nullstellensatz and positivstellensatz for the semipolynomials over an ordered field.”

On a decomposition of polynomials in several variables

Andrzej Schinzel (2002)

Journal de théorie des nombres de Bordeaux

Similarity:

One considers representation of a polynomial in several variables as the sum of values of univariate polynomials taken at linear combinations of the variables.

Polynomials over the reals in proofs of termination : from theory to practice

Salvador Lucas (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

This paper provides a framework to address termination problems in term rewriting by using orderings induced by algebras over the reals. The generation of such orderings is parameterized by concrete monotonicity requirements which are connected with different classes of termination problems: termination of rewriting, termination of rewriting by using dependency pairs, termination of innermost rewriting, top-termination of infinitary rewriting, termination of context-sensitive rewriting,...

Reciprocal Stern Polynomials

A. Schinzel (2015)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

A partial answer is given to a problem of Ulas (2011), asking when the nth Stern polynomial is reciprocal.

Some Algebraic Properties of Polynomial Rings

Christoph Schwarzweller, Artur Korniłowicz (2016)

Formalized Mathematics

Similarity:

In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic polynomials we present the canonical embedding of R into R[X] and deal with both unit and irreducible elements. We also define polynomial GCDs and show that for fields F and irreducible polynomials p the field F[X]/ is isomorphic to the field of polynomials with degree smaller than the one of p.

Subresultant Polynomial Remainder Sequences Obtained by Polynomial Divisions in Q[x] or in Z[x]

Akritas, Alkiviadis G., Malaschonok, Gennadi I., Vigklas, Panagiotis S. (2016)

Serdica Journal of Computing

Similarity:

In this paper we present two new methods for computing the subresultant polynomial remainder sequence (prs) of two polynomials f, g ∈ Z[x]. We are now able to also correctly compute the Euclidean and modified Euclidean prs of f, g by using either of the functions employed by our methods to compute the remainder polynomials. Another innovation is that we are able to obtain subresultant prs’s in Z[x] by employing the function rem(f, g, x) to compute the remainder polynomials in [x]. This...

A new rational and continuous solution for Hilbert's 17th problem.

Charles N. Delzell, Laureano González-Vega, Henri Lombardi (1992)

Extracta Mathematicae

Similarity:

In this note it is presented a new rational and continuous solution for Hilbert's 17th problem, which asks if an everywhere positive polynomial can be expressed as a sum of squares of rational functions. This solution (Theorem 1) improves the results in [2] in the sense that our parametrized solution is continuous and depends in a rational way on the coefficients of the problem (what is not the case in the solution presented in [2]). Moreover our method simplifies the proof and it is...