Credits

Localization

Forbidden Theorems

Michael Kinyon (Denver University)

João Araújo (Universidade Nova and CEMAT-CiÊNCIAS)

Isoterms

Edmond Lee (Nova Southeastern University Florida)

João Araújo (Universidade Nova and CEMAT-CiÊNCIAS)

João Pedro Araújo (Universidade de Lisboa - Instituto Superior Técnico)

I. N. F. B.

Edmond Lee (Nova Southeastern University Florida)

João Araújo (Universidade Nova and CEMAT-CiÊNCIAS)

João Pedro Araújo (Universidade de Lisboa - Instituto Superior Técnico)

Presentations

Edmond Lee (Nova Southeastern University Florida)

João Araújo (Universidade Nova and CEMAT-CiÊNCIAS)

João Pedro Araújo (Universidade de Lisboa - Instituto Superior Técnico)

Other automated reasoning packages

Semigroup Varieties

http://sgv.pythonanywhere.com/

Bibliography Finder

http://joaojorgeramires.pythonanywhere.com/

Translators

http://cfmsousa.pythonanywhere.com/

This project has been partially supported by the Fundação para a Ciência e a Tecnologia through the project CEMAT-CIÊNCIAS UID/Multi/04621/2013, and through project “Hilbert’s 24th problem” PTDC/MHC-FIL/2583/2014.

Localization

Please copy and paste the axioms in the box below (use only x1, x2, x3, ...).


Please copy and paste the axioms you want to localize:





Forbidden theorems

Please copy and paste the axioms in the box below.


Please copy and paste the pivot axiom:


Start n

End n





Isoterms

Please copy and paste the multiplication table of the semigroup.


Length of the alphabet:





I. N. F. B.

Please copy and paste the multiplication table of the semigroup (make sure the values are in the range 1 to n).





Presentations

Please copy and paste the multiplication table of the semigroup (make sure the values are in the range 1 to n).






Group Varieties

Order

Sequence





Semilattices

Please copy and paste the multiplication table of the semigroup you want to study in the box below (or select one if you know its order and index). Separate the different values by single spaces and use numbers from either 0 to n-1 or 1 to n. The algorithm used in this website is based on this paper: https://link.springer.com/article/10.1007%2FBF02572900


Order:



Index:


For Order 2 there are 4 semigroups.
For Order 3 there are 18 semigroups.
For Order 4 there are 126 semigroups.
For Order 5 there are 1160 semigroups.
For Order 6 there are 15973 semigroups.






N12

Please copy and paste the multiplication table of the semigroup you want to study in the box below (elements from 1 to n).




Epigroups

Please copy and paste the multiplication table of the semigroup you want to study in the box below (elements from 1 to n).