Algorithmic number theory

Algorithmic number theory is a branch of mathematics and computer science dealing with the correctness and efficiency of algorithms used in number theoretic computations.

References

Bach, E. and Shallit, J. Algorithmic Number Theory, Vol. 1: Efficient Algorithms. Cambridge, MA: MIT Press, 1996.