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.
顯示實驗性套件 顯示社群維護套件