##article.return## Rigorous methods for computational number theory Download Download PDF