Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles

• Autores: Olga Caprotti, M. Oostdijk
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 32, Nº 1, 2001, págs. 55-70
• Idioma: inglés
• Texto completo no disponible (Saber más ...)