Cours de calcul formel. Corps finis, systèmes polynomiaux, applications

Ce livre de Philippe Saux Picart et Eric Rannou, comme le Cours de calcul formel. algorithmes fondamentaux publié en 1999, présente quelques aspects de l'algèbre effective ainsi que des applications. Le lecteur y découvrira la belle théorie des corps finis, ainsi que ses applications aux tests de primalité et à la factorisation des polynômes. Une brève introduction aux codes correcteurs et à la cryptographie le convaincra de l'importance des applications pratiques de ces théories algébriques. Il verra aussi comment les bases de Gröbner, assez récemment introduites en algèbre, permettent la constriction d'algorithmes efficaces pour la division de polynômes à plusieurs variables, et appréciera les importants progrès qui en découlent pour la résolution de systèmes d'équations polynomiales et l'étude des ensembles algébriques. Ce livre intéressera tous les utilisateurs de systèmes de calcul formel et, tout particulièrement, les candidats à l'Agrégation, que les nombreux exercices prépareront aux épreuves dites de modélisation. Pour garder à cet ouvrage un volume acceptable, les solutions de ces exercices ont été placées sur internet à une adresse indiquée par les auteurs, où elles pourront être librement consultées.