Implementation of the algebraic layer of the new APLUSIX with rewriting rules
Résumé
The APLUSIX project undertook to carry out a certain number of evolutions these last years to reach the features of a product aiming at the teaching of formal algebra, usable throughout school course for pupils from secondary school to high school. This article relates to the modification and the choices on the lowest level concerning mathematics in the system, that is the first algebraic layer of the system used to define the processing of general expressions handled in the system. At this level, a set of rewriting rules is used to describe possible mathematical handling, which is associated with a rich mechanism with parameters for matching.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...