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

by O Caprotti, M Oostdijk
Venue:2001) 55–70 (Special issue on Computer Algebra and Mechanized Reasoning