Computational number theory (Boca Raton CRC, 2013)