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

Les logiciels de calcul symbolique ont une conception à eux des mathématiques. C'est ainsi que certaines commandes ne font pas toujours ce que l'on attend d'elles. L'article étudie le cas de la commande souvent écrite SUM et qui correspond à la sommation finie (?). On se rend compte que pour une telle commande, la sommation (l'addition) n'est pas commutative et on explique pourquoi.