In [ASTW] it was given a Gröbner reduction based division formula for entire functions by polynomial ideals. Here we give degree bounds where the input function can be truncated in order to compute approximations of the coeffcients of the power series appearing in the division formula within a given precision. In addition, this method can be applied to the approximation of the value of the remainder function at some point.

In [ASTW] it was given a Gröbner reduction based division formula for entire functions by polynomial ideals. Here we give degree bounds where the input function can be truncated in order to compute approximations of the coeffcients of the power series appearing in the division formula within a given precision. In addition, this method can be applied to the approximation of the value of the remainder function at some point.

Since Buchberger intrduced the theory of Gröbner bases in 1965 it has become one of the most important tools in constructive algebra and, nowadays, it is the kernel of many algorithms in the theory of polynomial ideals and algebraic geometry. Motivated by the results in polynomial rings there have been investigeated al lot of possibilities to generalise Buchberger's ideas to other types of rings. The perhaps most general concept, though it does not cover all extensions reported in the literature, is the extension to graded structures due to Robbiano and Mora. But in order to obtain algorithmic solutions for the compution of Gröbner bases it needs additional computability assumptions. The subject of this paper is the presentation of some classes of effective graded structures.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The main purpose of this dissertation is the study of ideals of multilinear mappings and homogeneous polynomials between linear spaces. By an ideal we mean a class that is stable under the composition with linear operators. First we study multilinear mappings and spaces of multilinear mappings. We also show how to obtain, from a given multilinear mapping, other multilinear mappings with degrees of multilinearity greater than, equal to or smaller than the degree of the original multilinear mapping. Next we study homogeneous polynomials and spaces of homogeneous polynomials, and we also show how to obtain, from a given n-homogeneous polynomial, other polynomials with degrees of homogeneity greater than, equal to or smaller than the degree of the original polynomial. Next we study ideals of multilinear mappings, or multi-ideals, and ideals of homogeneous polynomial, or polynomial ideals, giving several examples and presenting methods to generated multi-ideals and polynomial ideals from a given operator ideal. Finally we dene and give several examples of coherent multi-ideals and coherent polynomial ideals. / O principal objetivo desta dissertação e estudar os ideais de aplicações multilineares e polinômios homogêneos entre espaços vetoriais. Por um ideal entendemos uma classe de aplicações que e estavel atraves da composição com operadores lineares. Primeiramente estudamos as aplicações multilineares e os espaços de aplicações multilineares. Mostramos tambem como obter, a partir de uma aplicação multilinear dada, outras aplicações com graus de multilinearidade maiores, iguais ou menores que o da aplicação original. Em seguida estudamos os polinômios homogêneos e os espacos de polinômios homogêneos, e mostramos que, a partir de um polinômio n-homogêneo, tambem podemos construir novos polinômios homogêneos com graus de homogeneidade maiores, iguais ou menores que n. Posteriormente estudamos os ideais de aplicações multilineares, ou multi-ideais, e os ideais de polinômios homogêneos, exibindo varios exemplos e apresentando metodos para se obter um multi-ideais, ou ideais de polinômios, a partir de ideais de operadores lineares dados. Por m, denimos e exibimos varios exemplos de multi-ideais coerentes e de ideais coerentes de polinômios. / Mestre em Matemática