How We Proved That There Are Exactly 924 Cyclic 7-Roots.

Jrgen Backelin, Ralf Frberg

Browse the full ISSAC paper archive.