Certifying solutions to permutation group problems (2003)

by Arjeh M Cohen, Scott H Murray, Martin Pollet, Volker Sorge
Venue:of Lecture Notes in Computer Science