Implantation de la couche algébrique à base de règles de réécriture dans le nouvel APLUSIX
Résumé
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éécritures 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.
Origine : Fichiers produits par l'(les) auteur(s)