1
Progresso recente em algoritmos de grupos de permutação?
Estou interessado em algoritmos para grupos finitos, conforme implementado no pacote GAP. Parece que todos os algoritmos conhecidos neste campo lidam com grupos de permutação / grupos de matrizes; dois fundamentais são Schreier-Sims [1970] e Butler [1979], veja, por exemplo, 'Algoritmos para grupos de permutação' de Alice Niemeyer como uma …