libsemigroups2

Library with algorithms for computing finite and finitely presented semigroups

A C++14 library containing implementations of several algorithms for computing finite and finitely presented semigroups, namely: * the Froidure–Pin algorithm for computing finite semigroups * the Todd–Coxeter and Knuth–Bendix algorithms for finitely presented semigroups and monoids; * the Schreier–Sims algorithm for permutation groups

cloud_download Downloads