El proceso Todd-Coxeter para la enumeración coset es un método principal de álgebra computacional, y data de una colaboración con H.S.M.