Displaying similar documents to “Polynomials over the reals in proofs of termination : from theory to practice”

Restricted partitions.

Jakimczuk, Rafael (2004)

International Journal of Mathematics and Mathematical Sciences

Similarity:

On stable polynomials

Miloslav Nekvinda (1989)

Aplikace matematiky

Similarity:

The article is a survey on problem of the theorem of Hurwitz. The starting point of explanations is Schur's decomposition theorem for polynomials. It is showed how to obtain the well-known criteria on the distribution of roots of polynomials. The theorem on uniqueness of constants in Schur's decomposition seems to be new.

Real and complex pseudozero sets for polynomials with applications

Stef Graillat, Philippe Langlois (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

Pseudozeros are useful to describe how perturbations of polynomial coefficients affect its zeros. We compare two types of pseudozero sets: the complex and the real pseudozero sets. These sets differ with respect to the type of perturbations. The first set – complex perturbations of a complex polynomial – has been intensively studied while the second one – real perturbations of a real polynomial – seems to have received little attention. We present a computable formula for the real...

On maximum modulus for the derivative of a polynomial

K. Dewan, Sunil Hans (2009)

Annales UMCS, Mathematica

Similarity:

If P(z) is a polynomial of degree n, having all its zeros in the disk [...] then it was shown by Govil [Proc. Amer. Math. Soc. 41, no. 2 (1973), 543-546] that [...] In this paper, we obtain generalization as well as improvement of above inequality for the polynomial of the type [...] Also we generalize a result due to Dewan and Mir [Southeast Asian Bull. Math. 31 (2007), 691-695] in this direction.

Local polynomials are polynomials

C. Fong, G. Lumer, E. Nordgren, H. Radjavi, P. Rosenthal (1995)

Studia Mathematica

Similarity:

We prove that a function f is a polynomial if G◦f is a polynomial for every bounded linear functional G. We also show that an operator-valued function is a polynomial if it is locally a polynomial.