Elliptic Curve Primality Proving 
    Francois Morain, France.

    Large package to prove the primality of any prime.
    Includes Inria's BIGNUM package.