The AKS algorithm in ACL2, C. Campos, F. Modave, S. Roach, submitted to 5th International Workshop on the ACL2 theorem prover and its applications, Austin, Texas,

Francois Modave, University of Texas at El Paso

Document Type Article

Abstract

The AKS algorithm in ACL2, C. Campos, F. Modave, S. Roach, submitted to 5th International Workshop on the ACL2 theorem prover and its applications, Austin, Texas, 24

This paper has been withdrawn.