Abstract:The aim of this paper is to provide an atlas of identity bases for varieties generated by small semigroups and groups. To help the working mathematician easily find information, we provide a companion website that runs in the background automated reasoning tools, finite model builders, and GAP, so that the user has an automatic \textit{intelligent} guide on the literature. This paper is mainly a survey of what is known about identity bases for semigroups or groups of small orders, and we also mend some gaps left unresolved by previous authors. For instance, we provide the first complete and justified list of identity bases for the varieties generated by a semigroup of order up to~$4$, and the website contains the list of varieties generated by a semigroup of order up to~$5$. The website also provides identity bases for several types of semigroups or groups, such as bands, commutative groups, and metabelian groups. On the inherently non-finitely based finite semigroups side, the website can decide if a given finite semigroup possesses this property or not. We provide some other functionalities such as a tool that outputs the multiplication table of a semigroup given by a $C$-presentation, where~$C$ is any class of algebras defined by a set of first order formulas. The companion website can be found here \url{<a class="link-external link-http" href="http://sgv.pythonanywhere.com" rel="external noopener nofollow">this http URL</a>} Please send any comments/suggestions to \url{<a class="link-external link-http" href="http://jj.araujo" rel="external noopener nofollow">this http URL</a>@fct.<a class="link-external link-http" href="http://unl.pt" rel="external noopener nofollow">this http URL</a>}

Creating a dynamic database of finite groups

Positive positive-definite functions and measures on locally compact abelian groups

A Survey on Varieties Generated by Small Semigroups and a Companion Website

On the lattice of closed subgroups of a profinite group

A database for field extensions of the rationals

Generating hypergraphs of finite groups

On the enumeration of finite $L$-algebras

Elementary abelian subgroups: From algebraic groups to finite groups

Languages, groups and equations

A new look at finitely generated metabelian groups

L 9 -free groups

Effective equation solving, constraints and growth in virtually abelian groups

An Electronic Compendium of Extreme Functions for the Gomory--Johnson Infinite Group Problem

Isomorphism Conjecture For Baumslag-Solitar Groups

Recognition and constructive membership for discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$

Applications of computational tools for finitely presented groups

Comments on "Discrete Groups, Expanding Graphs and Invariant Measures", by Alexander Lubotzky

Amenability and profinite completions of finitely generated groups

Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

ON THE LATTICE OF -SUBNORMAL SUBGROUPS OF A FINITE GROUP

L-groups and the Langlands program for covering groups: a historical introduction