Software:

P.Mihailescu: CYCLOPROV.
A LiDIA based
C++ package for primality proving using cyclotomy. It was used for
establishing the current record
in
general primality proving. It is currently available only for DEC Alpha.
Download here
together
with the required tables.
Maybe read the current `readme'
first.