Algebra and Logic
About
The group focuses on various interconnected areas within Algebra and Logic. These areas include the investigation of structural and combinatorial properties of transformation semigroups, Young tableaux, crystals, automata algebra, semigroups, combinatorics on words, Ramsey theory, graph decomposition, and Turán functions. We also study linear and multilinear algebra, algebraic, differential, and non-commutative geometry, mathematical logic, ordered algebraic structures, and finite fields. Additionally, the group is interested in utilizing computational tools to develop experimental mathematics, aiming to gain fresh insights into the diverse realms of our research.
João Jorge Ribeiro Soares Gonçalves de Araújo
Algebra and Logic Coordinator
Publications
2017, SEMIGROUP FORUM, Araujo,J;Bentz,W;Konieczny,J
2017, JOURNAL OF ALGEBRAIC COMBINATORICS, Cain,AJ;Malheiro,A
2017, DISCRETE MATHEMATICS, Bernardino,A;Pacheco,R;Silva,M
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Duarte,AL;Saiago,CM
2017, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Dimitrova,I;Fernandes,VH;Koppitz,J
2017, ELECTRONIC JOURNAL OF LINEAR ALGEBRA, Antonia Duffner,MA;Fernandes,R
2017, JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, Cain,AJ;Maltcev,V
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, da Cruz,HF;Fernandes,R;Furtado,S
2017, JOURNAL OF GRAPH THEORY, Liu,H;Sousa,T
2017, ALGEBRA UNIVERSALIS, Blyth,T;Silva,H
No posts found
Projects
No funding, Mykola Khrypchenko
CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brazil), Mykola Khrypchenko
FAPESP - Fundação de Amparo à Pesquisa do Estado de São Paulo (Brazil), Mykola Khrypchenko
CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brazil), Mykola Khrypchenko
FCT - Fundação para a Ciência e a Tecnologia, I.P., João Araújo, Tara Brough, Alan J. Cain, Ana Casimiro,...
No funding, Mykola Khrypchenko
Swiss National Science Foundation (Switzerland), Reinhard Kahle
FCT - Fundação para a Ciência e a Tecnologia, I.P., Reinhard Kahle, Alan James Cain, António José Mesquita...
London Mathematical Society (United Kingdom), Alan J. Cain
No posts found
Software
- the kernel of a Theorem Prover interface: ProverX (under construction)
- a package to find Forbidden Structure Conjectures: Forbidden Theorems
- a package to find a base of identities for the variety of semigroups it generates: Semigroup Varieties
- a package to translate proofs from Prover9 to other Automated Theorem Provers: Translator
- a package to humanize proofs from Prover9: XPlain
- to test if an identity is satisfied, given a set of semistandard tableaux