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

Abstract : 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.
Liste complète des métadonnées

Cited literature [5 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00962025
Contributor : Denis Bouhineau <>
Submitted on : Tuesday, March 25, 2014 - 3:03:40 PM
Last modification on : Tuesday, April 16, 2019 - 10:23:56 AM
Document(s) archivé(s) le : Wednesday, June 25, 2014 - 10:47:35 AM

File

2000_Its_BouhineauNicaud.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00962025, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

238

Files downloads

120