A basis for Numerical Functionals
In this note we investigate a relationship between the boundary behavior of power series and the composition of formal power series. In particular, we prove that the composition domain of a formal power series is convex and balanced which implies that the subset consisting of formal power series which can be composed by a formal power series possesses such properties. We also provide a necessary and sufficient condition for the superposition operator to map into itself or to map into...
On this paper we compute the numerical function of the approximation theorem of M. Artin for the one-dimensional systems of formal equations.