Implementation of the algebraic layer of the new APLUSIX with rewriting rules

Denis Bouhineau (1) , Jean-François Nicaud (1)

1 IRIN

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.

Domaines: Environnements Informatiques pour l'Apprentissage Humain; Education

Denis Bouhineau, Jean-François Nicaud. Implementation of the algebraic layer of the new APLUSIX with rewriting rules. Proceedings du worshop "Learning algebra with the computer" de ITS'2000 Université Québec, Montréal., 2000, Canada. 11 p. ⟨hal-00962025⟩