Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 12 of 12 for “"Álgebra computacional"”.
-
Métodos computacionales en los sistemas de ecuaciones en derivadas parciales
… derivadas parciales) y los métodos modernos del álgebra computacional. Los resultados de Janet tienen la siguiente interpretación homológica: Los sistemas de Janet (y Riquier y otros) tienen grupos Ext(de orden superior a 1, a valores en el anillo de gérmenes de funciones holomorfas) nulos. En la …
-
Effective computation of invariants of finite topological spaces
… los algoritmos mencionados en el sistema de álgebra computacional Kenzo. Hasta donde sabemos, nuestro programa es el único software capaz de calcular grupos de homología de espacios topológicos finitos trabajando directamente sobre los posets sin tener que acudir, necesariamente, al mundo …
-
ProverX: rewriting and extending prover9
… Outro módulo permite interagir com o sistema de álgebra GAP. Sobre esta biblioteca, muitas outras funcionalidades podem ser facilmente acrescentadas pois o objectivo principal é dar aos utilizadores a capacidade de acrescentar novas funcionalidades ao Prover9. Resumindo, o objectivo deste …
-
Conjugation in abstract semigroups
On a semigroup S with a xed element c, we can de ne a new binary operation x c y := xcy for all x; y 2 S. Then (S; c) is a semigroup called the variant of S at c. Elements a; b 2 S are said to be primarily conjugate or just p-conjugate, if there exist x; y 2 S1 such that a = xy; b = yx. In groups …
-
Francy an interactive discrete mathematics framework for GAP
… apresentada no Workshop International em Algebra Computacional em Lisboa. Até ali, a utilizacão do GAP na Web era uma tarefa difícil, e esta apresentação trouxe algumas ideias novas na tentativa de resolver este problema. Foi então que surgiu um pequeno projeto chamado WebGAP. Em 2015, surge o …
-
Finite bases for semigroup varieties
… apresentação em C, onde C ´e qualquer classe de álgebras definida por um conjunto de fórmulas em predicados de primeira ordem. A operação no sentido inverso também está acessível. O site disponibiliza um conjunto de informações e funcionalidades sobre variedades e as suas bases de identidades, …
-
Rewriting Prover9
Prover9/Mace4 were the most popular automated theorem provers (ATP) among mathematicians. They had a number of peculiarities that made them especially helpful for research and for teaching. When their author, Bill McCune, died the programs’ destiny was sealed and that was a great loss for many …
-
Bibliotecas de axiomáticas: conceitos e resultados para sistemas algébricos
Em 1996, EQP, um programa de computador, resolveu o Problema de Robbins, um problema colocado nos anos 30 e que tinha derrotado alguns dos maiores algebristas do século XX. Em julho de 2022, Enigma, uma ferramenta de inteligência arti cial aplicada à demonstração automática de teoremas produzida …
-
Computing the intersection of two quadrics through projection and lifting
… que combina funcionalidades de Geometria 2D, 3D, álgebra, cálculo algébrico simbólico (CAS), representação gráfica, cálculo e estatística. A este software está associada uma larga comunidade de utilizadores espalhada pelo mundo, fazendo com que este seja considerado um dos softwares mais …
-
Finite model enumeration
To study and get intuition on different types of relational algebras (groups, semigroups, and their ordered versions, quasigroups, fields, rings, MV-algebras, lattices, etc.), mathematicians resort to libraries of all models, up to isomorphism, of order n (for small values of n) of the classes of …
-
Computing congruences and endomorphisms for algebras of type (2m, 1n)
… é um sistema e linguagem de programação para álgebra discreta computacional. Embora estas packages ofereçam muitas opções de cálculo e forneçam uma biblioteca de todos os semigrupos até o tamanho 8, várias operações de semigrupos importantes não estão disponíveis. Em parte, isto deve-se ao …