![Primality tests / Finite fields / Integer sequences / Modular arithmetic / AKS primality test / Prime number / XTR / Coprime / Primality certificate / Mathematics / Abstract algebra / Number theory Primality tests / Finite fields / Integer sequences / Modular arithmetic / AKS primality test / Prime number / XTR / Coprime / Primality certificate / Mathematics / Abstract algebra / Number theory](https://www.pdfsearch.io/img/58170020bf5d00edeb92e11c4ffec24b.jpg) Date: 2008-08-12 14:42:17Primality 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.Download Document from Web Archive File Size: 157,55 KB
|