• Computer Algebra with GAP 

      [OWP-2023-03] Piterman, Kevin I.; Vendramin, Leandro (Mathematisches Forschungsinstitut Oberwolfach, 2023-04-13)
      This monograph includes the following topics: a basic introduction to the language, basic arithmetic, permutations, matrices, polynomial rings, finite fields, finite and finitely presented groups, small groups, group ...
    • On the Enumeration of Finite $L$-Algebras 

      [OWP-2022-11] Dietzel, Carsten; Menchón, Paula; Vendramin, Leandro (Mathematisches Forschungsinstitut Oberwolfach, 2022-06-29)
      We use Constraint Satisfaction Methods to construct and enumerate finite L-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the ...