Semigroupe 2.01 : a software for computing finite semigroups
Download Version 2.01
READ ME
Licence
Slides (1)
Slides (2)
Jean-Eric.Pin@irif.fr
IRIF, April 2009
See
V. Froidure and J.-E. Pin,
Algorithms for computing finite semigroups
, in
Foundations of Computational Mathematics
, F. Cucker and M. Shub eds., Berlin,
Lecture Notes in Computer Science
, Springer Verlag, (1997), 112--126.
Abstract
.
Source C code
Arithmetique.c
Arithmetique.h
Blocs.c
Blocs.h
Calcul.c
Calcul.h
DclassesIteratif.c
DclassesIteratif.h
Espace.c
Espace.h
Erreurs.c
Erreurs.h
Exemples.c
Exemples.h
FichierUnix.h
FichierUnix.c
Globales.c
Globales.h
Initialisation.c
Initialisation.h
InitiauxFinaux.c
InitiauxFinaux.h
InitLaTeX.c
InitLaTeX.h
Inverses.c
Inverses.h
Main.c
Main.h
Matrices.c
Matrices.h
MatricesBooleennes.c
MatricesBooleennes.h
MatricesMaxPlus.c
MatricesMaxPlus.h
Memoire.c
Memoire.h
Menu.c
Menu.h
Preferences.c
Preferences.h
Reduction.c
Reduction.h
Sortie.c
Sortie.h
SortieLaTeX.c
SortieLaTeX.h
SortieDclasses.c
SortieDclasses.h
SortieLaTeXDclasses.c
SortieLaTeXDclasses.h
SortieVarietes.c
SortieVarietes.h
SortieLaTeXVarietes.c
SortieLaTeXVarietes.h
Syntactique.c
Syntactique.h
TableDeS.c
TableDeS.h
Test.c
Test.h
TriParTas.c
TriParTas.h
Transitions.c
Transitions.h
Utilitaires.c
Utilitaires.h
Varietes.c
Varietes.h
Zero.c
Zero.h
Auxiliary files
READ ME
Documentation (PDF)
makefile
The .tar.gz archive
Download all sources, documentation and install command
Main page of Jean-Éric Pin
Last modified 13 May 2020