| Document Date: 2008-08-12 14:42:17
Open Document File Size: 157,55 KBShare Result on Facebook
City Washington / DC / Springer / / Company SIAM Journal / Zpower / MIT Press / / Country France / United States / Brazil / Greece / / / Facility Ohio State University / / IndustryTerm dependent type systems / software/hardware / probabilistic algorithms / polinomial algorithm / / Organization MIT / Ohio State University / Royal Society / IEEE Computer Society / / Person Rabin / Laurent Th´erry / Sophia Antipolis / H. W. Lenstra Jr. / / Position Coq proof assistant / human mathematician / Assistant / / Product Pentax K-x Digital Camera / / ProgrammingLanguage DC / / ProvinceOrState Ohio / New York / / PublishedMedium SIAM Journal on Computing / Journal of the ACM / Annals of Mathematics / the Theory of Computing / Theoretical Computer Science / / Technology cryptography / prime then Algorithm / AKS algorithm / FAP-DF algorithm / 1 AKS algorithm / / URL http /
SocialTag |
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