Comment corriger des erreurs dans un réseau, en l’absence d’autorité centrale permettant de contrôler l’ensemble du fonctionnement ? Cet article présente des travaux de recherche récents motivés par cette question de nature informatique. Pour y répondre, l’outil et les méthodes mathématiques s’avèrent essentiels, à la fois dans les étapes de modélisation et de résolution. L’informatique mathématique, est ainsi un domaine de l’informatique qui utilise non seulement des mathématiques, mais se révèle aussi créateur de nouvelles mathématiques.

Lire l'article de Jean Mairesse, Irène Marcovici et Marc Monticelli sur Images des mathématiques