Um potencial de dois corpos do tipo delta-Dirac foi utilizado para descrever sistemas fracamente ligados de três corpos. A trajetória completa dos estados Efimov em função da energia ligação de dois corpos foi calculada para o caso de três bosons idênticos: se o subsistema de dois corpos é ligado, conforme a razão entre a energia de ligação de dois e três corpos aumenta, o estado excitado desaparece e um estado virtual correspondente aparece quando a energia do estado fundamental atinge o limiar dado por 6.9hbar^2/(ma^2) (a - comprimento de espalhamento, m - massa do bóson). Quando o subsistema de dois corpos é virtual, o aumento da razão entre as energias faz com que o estado excitado se transforme em uma ressonância quando a energia do estado fundamental é 1.1hbar^2/(ma^2). Neste último caso as condições para a formação de moléculas triatômicas no interior de condensados é favorecida, pois a competição com dímeros fracamente ligados está ausente. A energia de ligação de trímeros com momento angular total nulo em condensados atômicos foi estimada através da correlação desta com o coeficiente de recombinação e com a energia do dímero, ambos conhecidos experimentalmente em alguns casos. Os tamanhos de moléculas fracamente ligadas (^4He_2$-X; Xequiv^4He, ^6Li, ^7Li e ^{23}Na) e de núcleos exóticos leves (^6He, ^{11}Li, ^{14}Be e ^{20}C) também foram calculados juntamente com um estudo sistemático do comportamento dos raios quadráticos médios conforme a interação dos subsistemas de dois corpos é variada. Neste último caso a classificação de um sistema de três corpos (tipo AAB) foi completada denominando de Samba a configuração formada por dois subsistemas de dois corpos ligados e um virtual. As equações subtraídas para os estados ligados de quatro bosons também foram deduzidas.

Os métodos de controle de movimento em animação baseados em Física, e utilizados em Computação Gráfica, tem como objetivo simular o comportamento de objetos de acordo com as leis físicas que governam o mundo virtual adotado. Este trabalho utiliza a dinâmica de corpos rígidos como método de controle de movimento em animação por computador aplicada a movimentos e colisões de corpos rígidos não-articulados. O trabalho também apresenta uma metodologia para projeto e implementação de simulações gráficas com o objetivo de estabelecer relações entre modos de interação e os mecanismos de abstração necessários em ambientes de simulação. A principal vantagem da utilização da Mecânica newtoniana esta no fato de que ela garante o realismo dos movimentos e colisões. Associados a cada objeto devem estar os seguintes atributos físicos: centro de massa, massa total, momento de inércia e, eventualmente, a elasticidade do material. A partir de um estado inicial (velocidade linear, posição, velocidade angular e orientação) e de estímulos iniciais sobre os objetos (forças e torques), o sistema determina a evolução do estado dinâmico inicial ao longo de um dado intervalo de tempo. Para produzir o movimento dos corpos, são resolvidos sistemas de equações diferenciais de primeira ordem utilizando métodos numéricos. O tratamento de colisões de corpos rígidos envolve a detecção da colisão e contato entre objetos e a determinação das forças de contato entre os mesmos. A estratégia utilizada para a colisão considera que num determinado instante de tempo existe apenas um ponto de contato entre dois objetos. As superfícies dos objetos são representadas por uma grade de pontos conectados para formar polígonos. Existem dois tipos de estratégias para se detectar o ponto de contato entre dois objetos: o ponto de contato resultante da intersecção do vértice das arestas de um objeto com a face poligonal de outro objeto e o resultante da intersecção da aresta de um objeto com a face poligonal de um outro objeto. A análise de impacto, para resolver a dinâmica, utiliza um método analítico que preserva os momentos linear e angular durante a colisão e resulta em novas velocidades linear e angular para cada corpo rígido. Este tratamento de colisões permite ao sistema de animação realizar, em tempo de simulação, um controle automático da restrição de que dois corpos rígidos, ao colidirem, não podem se interpenetrar. Tal tratamento automático, em geral, não realizado pelos sistemas de animação por computador atualmente existentes. O trabalho apresenta o protótipo desenvolvido para validar as soluções dadas aos problemas de determinação do movimento e detecção de colisões, assim como sua aplicação na produção de suas seqüência animadas. São comentadas, também, as extensões do presente trabalho, decorrentes da abordagem dada ao problema da simulação do comportamento fundamental de corpos rígidos num dado mundo virtual a qual permite a incorporação de outras características aos objetos: elasticidade, para modelagem de deformações, e articulações, para produção de movimentos articulados com diferentes graus de liberdade. / The goal of the motion control methods used in Computer Graphics for physically based animation is to simulate the behavior of objects according to physical laws that govern a certain virtual world. This work uses rigid body dynamics as a motion control method for animation applied to motions and collisions of non-articulated rigid bodies. In addition, the work presents a methodology for the design and implementation of graphical simulation systems with the aim of providing relationships among interaction modes and abstraction mechanisms for a variety of applications. The principal advantage in using Newtonian Mechanics is that it keeps the realism of motions and collisions. Physical attributes must be associated with objects: center of mass, mass, moment of inertia, and sometimes, elasticity of the materials. Given an initial state (linear velocity, position, angular velocity, and orientation) and initial stimuli applied to the objects (forces and torques), the system determines the evolution of the dynamic state along a determinate time interval. The motion description is obtained using numerical solutions of sets of first order differential equations. The treatment of collisions of rigid bodies involves detecting collision and contact between objects and determining the contact forces present between contacting objects. The strategy used to treat collisions takes into account that there is just one contact point between two objects. The surfaces of objects are represented by a grid of connecting points forming polygons. There are two kinds of strategies to detect the contact point between two objects: the contact point resulting of intersecting the vertices of the edges of an object with the polygonal face of another one and that resulting of intersecting the edges of an object with the polygonal face of another one. The analysis of impact, to resolve the dynamic, uses an analytical method that preserves the linear and angular moments during the collision, finding a new linear and angular velocity for each rigid body. This treatment of collision allows the animation system to provide, at simulation time, an automatic control of the restriction that there is no interpenetration between two rigid bodies when they colide. This automatic treatment in general is not provided by existing computer animation systems. The work presents the prototype developed for validating the solutions given to the problems of motion control and collisions treatment, as well as its application in the production of animated sequences. The text ends with comments on extension of the present work from the approach given to the problem of simulating the behavior of objects in a certain virtual world allowing the incorporation of other characteristics to the objects: elasticity, to model deformations, and articulations, for the production of articulated movements with different degrees of freedom.

Os métodos de controle de movimento em animação baseados em Física, e utilizados em Computação Gráfica, tem como objetivo simular o comportamento de objetos de acordo com as leis físicas que governam o mundo virtual adotado. Este trabalho utiliza a dinâmica de corpos rígidos como método de controle de movimento em animação por computador aplicada a movimentos e colisões de corpos rígidos não-articulados. O trabalho também apresenta uma metodologia para projeto e implementação de simulações gráficas com o objetivo de estabelecer relações entre modos de interação e os mecanismos de abstração necessários em ambientes de simulação. A principal vantagem da utilização da Mecânica newtoniana esta no fato de que ela garante o realismo dos movimentos e colisões. Associados a cada objeto devem estar os seguintes atributos físicos: centro de massa, massa total, momento de inércia e, eventualmente, a elasticidade do material. A partir de um estado inicial (velocidade linear, posição, velocidade angular e orientação) e de estímulos iniciais sobre os objetos (forças e torques), o sistema determina a evolução do estado dinâmico inicial ao longo de um dado intervalo de tempo. Para produzir o movimento dos corpos, são resolvidos sistemas de equações diferenciais de primeira ordem utilizando métodos numéricos. O tratamento de colisões de corpos rígidos envolve a detecção da colisão e contato entre objetos e a determinação das forças de contato entre os mesmos. A estratégia utilizada para a colisão considera que num determinado instante de tempo existe apenas um ponto de contato entre dois objetos. As superfícies dos objetos são representadas por uma grade de pontos conectados para formar polígonos. Existem dois tipos de estratégias para se detectar o ponto de contato entre dois objetos: o ponto de contato resultante da intersecção do vértice das arestas de um objeto com a face poligonal de outro objeto e o resultante da intersecção da aresta de um objeto com a face poligonal de um outro objeto. A análise de impacto, para resolver a dinâmica, utiliza um método analítico que preserva os momentos linear e angular durante a colisão e resulta em novas velocidades linear e angular para cada corpo rígido. Este tratamento de colisões permite ao sistema de animação realizar, em tempo de simulação, um controle automático da restrição de que dois corpos rígidos, ao colidirem, não podem se interpenetrar. Tal tratamento automático, em geral, não realizado pelos sistemas de animação por computador atualmente existentes. O trabalho apresenta o protótipo desenvolvido para validar as soluções dadas aos problemas de determinação do movimento e detecção de colisões, assim como sua aplicação na produção de suas seqüência animadas. São comentadas, também, as extensões do presente trabalho, decorrentes da abordagem dada ao problema da simulação do comportamento fundamental de corpos rígidos num dado mundo virtual a qual permite a incorporação de outras características aos objetos: elasticidade, para modelagem de deformações, e articulações, para produção de movimentos articulados com diferentes graus de liberdade. / The goal of the motion control methods used in Computer Graphics for physically based animation is to simulate the behavior of objects according to physical laws that govern a certain virtual world. This work uses rigid body dynamics as a motion control method for animation applied to motions and collisions of non-articulated rigid bodies. In addition, the work presents a methodology for the design and implementation of graphical simulation systems with the aim of providing relationships among interaction modes and abstraction mechanisms for a variety of applications. The principal advantage in using Newtonian Mechanics is that it keeps the realism of motions and collisions. Physical attributes must be associated with objects: center of mass, mass, moment of inertia, and sometimes, elasticity of the materials. Given an initial state (linear velocity, position, angular velocity, and orientation) and initial stimuli applied to the objects (forces and torques), the system determines the evolution of the dynamic state along a determinate time interval. The motion description is obtained using numerical solutions of sets of first order differential equations. The treatment of collisions of rigid bodies involves detecting collision and contact between objects and determining the contact forces present between contacting objects. The strategy used to treat collisions takes into account that there is just one contact point between two objects. The surfaces of objects are represented by a grid of connecting points forming polygons. There are two kinds of strategies to detect the contact point between two objects: the contact point resulting of intersecting the vertices of the edges of an object with the polygonal face of another one and that resulting of intersecting the edges of an object with the polygonal face of another one. The analysis of impact, to resolve the dynamic, uses an analytical method that preserves the linear and angular moments during the collision, finding a new linear and angular velocity for each rigid body. This treatment of collision allows the animation system to provide, at simulation time, an automatic control of the restriction that there is no interpenetration between two rigid bodies when they colide. This automatic treatment in general is not provided by existing computer animation systems. The work presents the prototype developed for validating the solutions given to the problems of motion control and collisions treatment, as well as its application in the production of animated sequences. The text ends with comments on extension of the present work from the approach given to the problem of simulating the behavior of objects in a certain virtual world allowing the incorporation of other characteristics to the objects: elasticity, to model deformations, and articulations, for the production of articulated movements with different degrees of freedom.

Os métodos de controle de movimento em animação baseados em Física, e utilizados em Computação Gráfica, tem como objetivo simular o comportamento de objetos de acordo com as leis físicas que governam o mundo virtual adotado. Este trabalho utiliza a dinâmica de corpos rígidos como método de controle de movimento em animação por computador aplicada a movimentos e colisões de corpos rígidos não-articulados. O trabalho também apresenta uma metodologia para projeto e implementação de simulações gráficas com o objetivo de estabelecer relações entre modos de interação e os mecanismos de abstração necessários em ambientes de simulação. A principal vantagem da utilização da Mecânica newtoniana esta no fato de que ela garante o realismo dos movimentos e colisões. Associados a cada objeto devem estar os seguintes atributos físicos: centro de massa, massa total, momento de inércia e, eventualmente, a elasticidade do material. A partir de um estado inicial (velocidade linear, posição, velocidade angular e orientação) e de estímulos iniciais sobre os objetos (forças e torques), o sistema determina a evolução do estado dinâmico inicial ao longo de um dado intervalo de tempo. Para produzir o movimento dos corpos, são resolvidos sistemas de equações diferenciais de primeira ordem utilizando métodos numéricos. O tratamento de colisões de corpos rígidos envolve a detecção da colisão e contato entre objetos e a determinação das forças de contato entre os mesmos. A estratégia utilizada para a colisão considera que num determinado instante de tempo existe apenas um ponto de contato entre dois objetos. As superfícies dos objetos são representadas por uma grade de pontos conectados para formar polígonos. Existem dois tipos de estratégias para se detectar o ponto de contato entre dois objetos: o ponto de contato resultante da intersecção do vértice das arestas de um objeto com a face poligonal de outro objeto e o resultante da intersecção da aresta de um objeto com a face poligonal de um outro objeto. A análise de impacto, para resolver a dinâmica, utiliza um método analítico que preserva os momentos linear e angular durante a colisão e resulta em novas velocidades linear e angular para cada corpo rígido. Este tratamento de colisões permite ao sistema de animação realizar, em tempo de simulação, um controle automático da restrição de que dois corpos rígidos, ao colidirem, não podem se interpenetrar. Tal tratamento automático, em geral, não realizado pelos sistemas de animação por computador atualmente existentes. O trabalho apresenta o protótipo desenvolvido para validar as soluções dadas aos problemas de determinação do movimento e detecção de colisões, assim como sua aplicação na produção de suas seqüência animadas. São comentadas, também, as extensões do presente trabalho, decorrentes da abordagem dada ao problema da simulação do comportamento fundamental de corpos rígidos num dado mundo virtual a qual permite a incorporação de outras características aos objetos: elasticidade, para modelagem de deformações, e articulações, para produção de movimentos articulados com diferentes graus de liberdade. / The goal of the motion control methods used in Computer Graphics for physically based animation is to simulate the behavior of objects according to physical laws that govern a certain virtual world. This work uses rigid body dynamics as a motion control method for animation applied to motions and collisions of non-articulated rigid bodies. In addition, the work presents a methodology for the design and implementation of graphical simulation systems with the aim of providing relationships among interaction modes and abstraction mechanisms for a variety of applications. The principal advantage in using Newtonian Mechanics is that it keeps the realism of motions and collisions. Physical attributes must be associated with objects: center of mass, mass, moment of inertia, and sometimes, elasticity of the materials. Given an initial state (linear velocity, position, angular velocity, and orientation) and initial stimuli applied to the objects (forces and torques), the system determines the evolution of the dynamic state along a determinate time interval. The motion description is obtained using numerical solutions of sets of first order differential equations. The treatment of collisions of rigid bodies involves detecting collision and contact between objects and determining the contact forces present between contacting objects. The strategy used to treat collisions takes into account that there is just one contact point between two objects. The surfaces of objects are represented by a grid of connecting points forming polygons. There are two kinds of strategies to detect the contact point between two objects: the contact point resulting of intersecting the vertices of the edges of an object with the polygonal face of another one and that resulting of intersecting the edges of an object with the polygonal face of another one. The analysis of impact, to resolve the dynamic, uses an analytical method that preserves the linear and angular moments during the collision, finding a new linear and angular velocity for each rigid body. This treatment of collision allows the animation system to provide, at simulation time, an automatic control of the restriction that there is no interpenetration between two rigid bodies when they colide. This automatic treatment in general is not provided by existing computer animation systems. The work presents the prototype developed for validating the solutions given to the problems of motion control and collisions treatment, as well as its application in the production of animated sequences. The text ends with comments on extension of the present work from the approach given to the problem of simulating the behavior of objects in a certain virtual world allowing the incorporation of other characteristics to the objects: elasticity, to model deformations, and articulations, for the production of articulated movements with different degrees of freedom.

Um potencial de dois corpos do tipo delta-Dirac foi utilizado para descrever sistemas fracamente ligados de três corpos. A trajetória completa dos estados Efimov em função da energia ligação de dois corpos foi calculada para o caso de três bosons idênticos: se o subsistema de dois corpos é ligado, conforme a razão entre a energia de ligação de dois e três corpos aumenta, o estado excitado desaparece e um estado virtual correspondente aparece quando a energia do estado fundamental atinge o limiar dado por 6.9hbar^2/(ma^2) (a - comprimento de espalhamento, m - massa do bóson). Quando o subsistema de dois corpos é virtual, o aumento da razão entre as energias faz com que o estado excitado se transforme em uma ressonância quando a energia do estado fundamental é 1.1hbar^2/(ma^2). Neste último caso as condições para a formação de moléculas triatômicas no interior de condensados é favorecida, pois a competição com dímeros fracamente ligados está ausente. A energia de ligação de trímeros com momento angular total nulo em condensados atômicos foi estimada através da correlação desta com o coeficiente de recombinação e com a energia do dímero, ambos conhecidos experimentalmente em alguns casos. Os tamanhos de moléculas fracamente ligadas (^4He_2$-X; Xequiv^4He, ^6Li, ^7Li e ^{23}Na) e de núcleos exóticos leves (^6He, ^{11}Li, ^{14}Be e ^{20}C) também foram calculados juntamente com um estudo sistemático do comportamento dos raios quadráticos médios conforme a interação dos subsistemas de dois corpos é variada. Neste último caso a classificação de um sistema de três corpos (tipo AAB) foi completada denominando de Samba a configuração formada por dois subsistemas de dois corpos ligados e um virtual. As equações subtraídas para os estados ligados de quatro bosons também foram deduzidas.

Orientador: Sueli Irene Rodrigues Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-23T07:10:07Z (GMT). No. of bitstreams: 1 Ferreira_Jamil_D.pdf: 1528200 bytes, checksum: a1ca349425c4bcf544a36d17d3157b3c (MD5) Previous issue date: 2013 / Resumo: O número de classes de divisores de grau zero, h, de corpos de funções algébricas elípticos e hiperelípticos desempenha papel importante nos esquemas criptográficos baseados em curvas elípticas e hiperelípticas. Nesse contexto, h é um número grande e é usualmente procurado por meio de algoritmos (baby step - giant step, por exemplo) em um intervalo de números reais obtido após um truncamento no produto infinito de Euler da função zeta do corpo de funções. Tendo a desigualdade de Hasse-Weil como motivação, encontramos identidades finitas para h que são também explícitas no sentido de que seus custos computacionais são diretamente deduzíveis dessas identidades. Como consequência, obtivemos também identidades finitas e explícitas para os coeficientes ai do L-polinômio da função zeta. Ferramentas fundamentais nesta pesquisa foram as L-séries de Artin e outros resultados envolvendo os símbolos polinomiais de Legendre / Abstract: The divisor class number of degree zero, h, of elliptic and hyperelliptic function fields plays an important role in cryptographic schemes based on elliptic and hyperelliptic curves. In this context, h is a large number and it is usually searched by means of algorithms (baby step - giant step, for example) in an interval of real numbers obtained after truncating the infinit Euler product coming from the zeta function of the function field. Taking the Hasse-Weil inequality as motivation, we derived finite identities for h which are also explicit in the sense that their computational costs are straightforwardly derivable from these identities. We also obtained finite and explicit identities for the coefficients ai of the L-polynomialof the zeta function. Fundamental tools for this research were the Artin L-series and other results involving the Legendre polynomial symbols / Doutorado / Matematica / Doutor em Matemática

Made available in DSpace on 2014-06-12T18:28:23Z (GMT). No. of bitstreams: 2 arquivo4246_1.pdf: 1330348 bytes, checksum: 1a7b0bc74eca2991f866660cf076d055 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Universidade Estadual de Feira de Santana / Neste trabalho de pesquisa encontram-se demonstrados de forma analítica os resultados numéricos, obtidos na década de 40, e confirmados, também, numericamente, por Simó, na década de 70. Até nosso trabalho, o melhor que se tinha, neste sentido, era a tese de doutorado de J. R. Gannaway, na Vanderbilt University, Nashville, Tennessee, U.S.A., 1981, intitulada ``Determination of all central configurations in the planar four-body problem with one inferior mass' , orientada por Arenstorf, na qual, usando métodos analíticos, demonstrou casos particulares de alguns resultados do Pedersen. Porém, a parte substancial do trabalho do Pedersen ainda estava sem demonstração analítica, principalmente, a parte referente à curva de degenerescência. A intenção de Pedersen era contar o número de configurações centrais no Problema Restrito dos 4 Corpos no Plano (PR4CP). Para isso, Pedersen procurou saber, inicialmente, aonde o problema degenerava-se. E então, concluiu que as configurações centrais na condição de degenerescência formam uma curva fechada e simples no interior do triângulo equilátero, cujos vértices definem a solução Lagrangeana do problema. No Capítulo 2, ocupamo-nos por descrever analiticamente esta curva. E como uma consequência, obtivemos a caracterização algébrica da condição de degenerescência, a qual torna nosso método eficaz. O nosso método é inspirado no trabalho de Vincent, cujo método diz respeito à separação de raízes de um polinômio. Conjuntamente ao método de Vincent, utilizamos: o Resultante de Polinômios, a Regra de Sinais de Descartes, o Teorema Fundamental sobre Polinômios Simétricos, as Fórmulas de Cardano e a Natureza das Raízes da Equação Cúbica. Para realizarmos os cálculos utilizamos o software MAPLE. No Capítulo 3, demonstramos, por métodos analíticos, que as configurações centrais convexas (ver Teorema 18) e não-convexas exteriores ao triângulo (ver Teorema 19) são não-degeneradas. Estes teoremas são nossas primeiras contribuições ao PR4CP. No Capítulo 4, mostramos, por métodos analíticos, que a curva de degenerescência é fechada e simples, em conformidade com os resultados numéricos de Pedersen. Além disso, obtivemos algo inédito: a curva de degenerescência é analítica (ver Capítulo 4, Seções 4.3 e 4.4). Estes resultados são mais uma das nossas contribuições ao PR4CP. No capítulo 5, passamos a realizar a contagem do número de configurações no PR4CP. Inicialmente, mapeamos a curva de degenerescência no espaço dos parâmetros, mais precisamente, no interior do 2-simplexo. E verificamos que a curva mapeada é fechada e simples (ver Capítulo 5, Seção 5.1). Desta forma, utilizando o Teorema da Curva de Jordan e o Teorema da Aplicação Inversa, realizamos a contagem do número de configurações centrais no PR4CP (ver Capítulo 5, Seção 5.2)

Este trabalho descreve algoritmos algébricos para computação em corpos de Galois GF(q), com q = pn onde pé a característica do corpo, que pode ser arbitrariamente grande. Para fundamentar esse estudo é condensada e apresentada Lo ela. a fena.menta algébrica necessári a. Os corpos ·finitos são caracterizados, é mostrado como construí-los e sua aritmética é analisada. Algoritmos determinísticos e probabilísticos são desenvolvidos para. o cálculo de raízes polinomiais e a. fatoração de polinômios sobre esses corpos. Este trabalho é materializado pela implementação de dois algoritmos, o de Cantor-Zassenhaus e o de Rabin, ambos implementados no Sistema de Computação Algébrica MAPLE V Release 3. / This work elescribes algebraic algorithms for computing in Galois Fielels GF(q), with q = pn, where p is the characteristic of the fielel anel may be arbitrar.ialy large. By justifying this work we give a colection of results about topics of Algebra. Dctcnninistics anel probabilistics a.lgorithms are clevelopeel to compute polynomials roots anel for polynornia.l factorization in OF(q).This work is materializccl by the implementation oi' t.wo algorithms, Cantor-Zasscnhaus's algorithm anel Rabin's algoril. hm, both implemented in MAPLE V Rclease 3 Computer Algebra System.

Este trabalho descreve algoritmos algébricos para computação em corpos de Galois GF(q), com q = pn onde pé a característica do corpo, que pode ser arbitrariamente grande. Para fundamentar esse estudo é condensada e apresentada Lo ela. a fena.menta algébrica necessári a. Os corpos ·finitos são caracterizados, é mostrado como construí-los e sua aritmética é analisada. Algoritmos determinísticos e probabilísticos são desenvolvidos para. o cálculo de raízes polinomiais e a. fatoração de polinômios sobre esses corpos. Este trabalho é materializado pela implementação de dois algoritmos, o de Cantor-Zassenhaus e o de Rabin, ambos implementados no Sistema de Computação Algébrica MAPLE V Release 3. / This work elescribes algebraic algorithms for computing in Galois Fielels GF(q), with q = pn, where p is the characteristic of the fielel anel may be arbitrar.ialy large. By justifying this work we give a colection of results about topics of Algebra. Dctcnninistics anel probabilistics a.lgorithms are clevelopeel to compute polynomials roots anel for polynornia.l factorization in OF(q).This work is materializccl by the implementation oi' t.wo algorithms, Cantor-Zasscnhaus's algorithm anel Rabin's algoril. hm, both implemented in MAPLE V Rclease 3 Computer Algebra System.

Este trabalho descreve algoritmos algébricos para computação em corpos de Galois GF(q), com q = pn onde pé a característica do corpo, que pode ser arbitrariamente grande. Para fundamentar esse estudo é condensada e apresentada Lo ela. a fena.menta algébrica necessári a. Os corpos ·finitos são caracterizados, é mostrado como construí-los e sua aritmética é analisada. Algoritmos determinísticos e probabilísticos são desenvolvidos para. o cálculo de raízes polinomiais e a. fatoração de polinômios sobre esses corpos. Este trabalho é materializado pela implementação de dois algoritmos, o de Cantor-Zassenhaus e o de Rabin, ambos implementados no Sistema de Computação Algébrica MAPLE V Release 3. / This work elescribes algebraic algorithms for computing in Galois Fielels GF(q), with q = pn, where p is the characteristic of the fielel anel may be arbitrar.ialy large. By justifying this work we give a colection of results about topics of Algebra. Dctcnninistics anel probabilistics a.lgorithms are clevelopeel to compute polynomials roots anel for polynornia.l factorization in OF(q).This work is materializccl by the implementation oi' t.wo algorithms, Cantor-Zasscnhaus's algorithm anel Rabin's algoril. hm, both implemented in MAPLE V Rclease 3 Computer Algebra System.