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
2024, 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, Antonelli,M;Dal Lago,U;Davoli,D;Oitavem,I;Pistone,P
2024, COMMUNICATIONS OF THE KOREAN MATHEMATICAL SOCIETY, Fernandes,VH
2024, ELECTRONIC JOURNAL OF COMBINATORICS, Larsson,U;Nowakowski,RJ;Santos,CP
2024, INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, Skapinakis,E;Costa,JF
2024, Frontiers in Artificial Intelligence and Applications - ECAI 2024, Chow,C;Janota,M;Araújo,J
2024, QUAESTIONES MATHEMATICAE, Dimitrova,I;Fernandes,VH;Koppitz,J
2024, THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, Janota,M;Chow,C;Araujo,J;Codish,M;Vojtechovsky,P
2024, MATHEMATICA SLOVACA, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM
2024, ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, Fernandes,VH
2024, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Li,DB;Fernandes,VH
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