Displaying similar documents to “Restricted partitions.”

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.

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,...