Formal and efficient primality proofs by use of computer algebra oracles (0)

by O Caprotti, M Oostdijk
Venue:Journal of Symbolic Computation