Principles and applications of algorithmic problem solving

This thesis rewrite material on elementary number theory and shows how the focus on the algorithmic content of the theory allows the systematisation of existing proofs and, more importantly, the construction of new knowledge in a practical and elegant way.