Finite bases for semigroup varieties

O objetivo deste trabalho é fornecer um atlas das bases de identidades para as variedades geradas por semigrupos e grupos de ordem pequena. Com o propósito de auxiliar os matemáticos que trabalham neste campo a encontrar informações com facilidade, foi implementado um website que executa em segundo...

Full description

Bibliographic Details
Main Author: Pereira, Manuel Jorge Raminhos (author)
Format: doctoralThesis
Language:eng
Published: 2021
Subjects:
Variedades de semigrupos
Álgebra computacional
Demonstração automática de teoremas
Enumeração combinatória
Biblioteca de Dados
Grupos
Semigrupos
Interação
Visualização
Gráficos
Prover9
Mace4
Matemática
GAP
Semigroup varieties
Computer algebra
Automatic theorem proving
Enumerative combinatorics
Computer search
Data library
Groups
Semigroups
Interaction
Visualization
Graphics
Mathematics
Prover9/Mace4
ODS::04:Educação de Qualidade
ODS::09:Indústria, Inovação e Infraestruturas
Online Access:http://hdl.handle.net/10400.2/10426
Country:Portugal
Oai:oai:repositorioaberto.uab.pt:10400.2/10426

Internet

http://hdl.handle.net/10400.2/10426

Similar Items