DISCRETA

DISCRETA home


Kramer-Mesner

compute Kramer-Mesner matrix
show Kramer-Mesner matrix
compute strong generating set
use orderly generation
canonical representatives