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
2023, JOURNAL OF ALGEBRAIC COMBINATORICS, Cain,AJ;Malheiro,A;Ribeiro,D
2022, COMMUNICATIONS IN ALGEBRA, Cain,AJ;Malheiro,A;Ribeiro,D
2022, EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, Fernandes,R;Furtado,S
2022, Outstanding Contributions to Logic, Blyth,TS;Silva,HJ
2022, THEORETICAL COMPUTER SCIENCE, Oitavem,I
2022, JOURNAL OF COMBINATORIAL THEORY SERIES A, Cain,AJ;Lehtonen,E
2022, LINEAR ALGEBRA AND ITS APPLICATIONS, Araujo,J;Bentz,W;Cameron,PJ;Kinyon,M;Konieczny,J
2022, PERIODICA MATHEMATICA HUNGARICA, Caneco,R;Fernandes,VH;Quinteiro,TM
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