IREMInstitut de recherche sur l'enseignement des mathématiques de Grenoble

Dans cet article, les auteurs mettent en évidence le passage non trivial d'un algorithme mathématique à un programme informatique. Les deux exemples exposés permettent de mieux cerner les difficultés et les pièges de la transposition informatique. En particulier, les auteurs soulignent la nécessité de la réécriture d'un algorithme mathématique pour prendre en compte les contraintes de la modélisation induites par l'utilisation d'ensembles numériques finis aux propriétés réduites (entiers à représentation binaire de taille fixe, nombres à virgule flottante).