1
Progressi recenti negli algoritmi dei gruppi di permutazione?
Sono interessato agli algoritmi per gruppi finiti come implementato nel pacchetto GAP. Sembra che tutti gli algoritmi noti in questo campo si occupino di gruppi di permutazione / gruppi di matrici; due fondamentali sono Schreier-Sims [1970] e Butler [1979], vedi ad esempio "Algorithms for Permutation groups" di Alice Niemeyer come …