Given a formal power series g(x) = b0 +b1x+b2x2 +··· and a nonunit f(x) = a1x+ a2x2+··· , it is well known that the composition of g with f , g(f(x)), is a formal power series. If the formal power series f above is not a nonunit, that is, the constant term of f is not zero, the existence of the composition g(f(x)) has been an open problem for many years. The recent development investigated the ...

Trees are a very basic object in computer science. They intervene in nearly a;ly domain, and they are studied for their own, or used to represent conveniently a given situation. There are at least three directions where investigations on trees themselves are motivated, and this for different reasons. First, the notion of tree is the basis of algebraic semantics (Nivat [19], Rosen [2*2], etc.). ...

Pseudodifferential operators are formal Laurent series in the formal inverse ∂−1 of the derivative operator ∂ whose coefficients are holomorphic functions. Given a pseudodifferential operator, the corresponding formal power series can be obtained by using some constant multiples of its coefficients. The space of pseudodifferential operators is a noncommutative algebra over C and therefore has a...

In a recent paper,f André Gleyzal has constructed ordered fields consisting of certain "transfinite real numbers" and has established the interesting result that any ordered field can be considered as a subfield of one of these transfinite fields. These fields prove to be identical with fields of formal power series in which the exponents are allowed to range over a suitable ordered abelian gro...

Formal Laurent-Puiseux series of the form f(x) = ∑ k k0 akx k/n (1) are important in many branches of mathematics. Whereas Mathematica supports the calculation of truncated series with its Series command, and the Mathematica package SymbolicSum that is shipped with Mathematica version 2 is able to convert formal series of type (1) in some instances to their corresponding generating functions, i...

We investigate the theory of skew (formal) power series introduced by Droste, Kuske [5, 6], if the basic semiring is a Conway semiring. This yields Kleene Theorems for skew power series, whose supports contain finite and infinite words. We then develop a theory of convergence in semirings of skew power series based on the discrete convergence. As an application this yields a Kleene Theorem prov...

We define and study a notion of ring of formal power series with exponents in a cyclically ordered group. Such a ring is a quotient of various subrings of classical formal power series rings. It carries a two variable valuation function. In the particular case where the cyclically ordered group is actually totally ordered, our notion of formal power series is equivalent to the classical one in ...