Date: 2008-08-12 14:42:17

Primality tests

Finite fields

Integer sequences

Modular arithmetic

AKS primality test

Prime number

XTR

Coprime

Primality certificate

Mathematics

Abstract algebra

Number theory

The Correctness of the AKS Primality Test in Coq∗ Fl´avio L. C. de Moura1 , Ricardo Tadeu1 1 Departamento de Ciˆencia da Computac¸a˜ o – Universidade de Bras´ılia (UnB) Caixa Postal 4466 – CEP[removed] – B

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 157,55 KB