# 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:

# Isoterms

Please copy and paste the multiplication table of the semigroup.

# 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

# 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

# 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).