We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show that this condition is also sufficient when the module is a ring with some additional properties. To prove this result we show an effective Weierstrass Division Theorem and an effective solution to the Ideal Membership P...

As noted by Green et al. several provenance analyses can be considered a special case of the general problem of computing formal polynomials resp. power-series as solutions of an algebraic system. Specific provenance is then obtained by means of evaluating the formal polynomial under a suitable homomorphism. Recently, we presented the idea of approximating the least solution of such algebraic s...

We construct an explicit filtration of the ring algebraic power series by constructible sets, measuring complexity these series. As example use this, we give a bound on dimension set bounded lying variety defined over field

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

If f = EW:-, a,,t” is a formal Laurent series with certain restrictions on the a,, then f = f-fof+ , where fcontains only negative powers of t, f+ contains only positive powers of t, and f. is independent of t. Applications include Lagrange’s formula for series reversion, the problem of counting lattice paths below a diagonal, and a theorem of Furstenberg that the diagonal of a rational power s...

Let G be a compact connected and simply connected Lie group, and Σ be a compact topological Riemann surface with a point p marked on it. One can associate to this data the moduli space of flat G connections on the punctured Riemann surface Σ denoted by MG = M[Σp]. This space decomposes into a union MG = ∪σM G(σ) of moduli spaces of flat connections with the holonomy around the point p fixed in ...

The problem of the commutative equivalence context-free and regular languages is studied. Conditions ensuring that a language exponential growth commutatively equivalent with are investigated.