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
2024, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G;van den Bergh,M
2024, ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, Fernandes,VH
2024, LINEAR & MULTILINEAR ALGEBRA, Duffner,MA;Fernandes,R
2024, BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM
2024, Outstanding Contributions to Logic, Kahle,R;Santos,PG
2024, ADVANCES IN MATHEMATICS OF COMMUNICATIONS, Carvalho,A;Malheiro,A
2023, JOURNAL OF LOGIC AND COMPUTATION, Santos,PG;Sieg,W;Kahle,R
2023, JOURNAL OF ALGEBRA, Araujo,J;Araujo,JP;Cameron,PJ;Lee,EWH;Raminhos,J
2023, On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit, Kahle,R
2023, THEORETICAL COMPUTER SCIENCE, Silva,A;dos Santos,CP;Neto,JP;Nowakowski,RJ
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