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

ver descrição completa

Detalhes bibliográficos
Autor principal: Pereira, Manuel Jorge Raminhos (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2021
Assuntos:
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
Texto completo:http://hdl.handle.net/10400.2/10426
País:Portugal
Oai:oai:repositorioaberto.uab.pt:10400.2/10426

Texto Completo

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

Registros relacionados