La théorie algorithmique des nombres permet d’aborder avec un ordinateur l’étude des équations diophantiennes, c’est-à-dire la résolution en nombres entiers d’équations algébriques.