Théorie Algorithmique des Nombres

La branche de la théorie des nombres consacrée à la conception, à l'analyse et à l'implémentation d'algorithmes permettant de calculer des objets et propriétés arithmétiques : arithmétique entière exacte, tests de primalité, factorisation, calculs dans des corps finis et anneaux, et procédures effectives pour des problèmes diophantiens.