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.
Type de document :
Communication dans un congrès
Proceedings du worshop "Learning algebra with the computer" de ITS'2000 Université Québec, Montréal., 2000, Canada. 11 p., 2000
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00962025
Contributeur : Denis Bouhineau <>
Soumis le : mardi 25 mars 2014 - 15:03:40
Dernière modification le : jeudi 5 avril 2018 - 10:37:00
Document(s) archivé(s) le : mercredi 25 juin 2014 - 10:47:35

Fichier

2000_Its_BouhineauNicaud.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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., 2000. 〈hal-00962025〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

113