Certifying Solutions to Permutation Group Problems.

Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge

Browse the full CADE paper archive.