Implantation de la couche algébrique à base de règles
de réécriture dans le nouvel APLUSIX
Denis Bouhineau
IRIN - Université de Nantes
Le projet APLUSIX (*) a entrepris d’effectuer un certain nombre d’évolutions
ces dernières années pour atteindre les caractéristiques
d’un produit visant l’enseignement de l’algèbre utilisable tout
au long du cursus scolaire de l’élève au lycée et
au collège. Cet article porte sur les modifications et les choix
intervenants au niveau symbolique le plus bas concernant les mathématiques
dans le logiciel, i.e. au premier niveau « algébrique »
du système servant à définir les traitements des expressions
manipulées dans le système. A ce niveau, une base de règles
de réécriture est utilisée pour décrire les
manipulations mathématiques possibles, il lui est associé
un mécanisme d’appariement riche et paramétrable intégrant
des connaissances mathématiques.
(*) www.sciences.univ-nantes.fr/info/recherche/ia/projets/aplusix