Edix: A Software for Editing Algebraic Expressions.

Abstract : The paper presents a computer software, called Edix, devoted to the edition of algebraic expressions in their usual 2D representation. At present, many systems display fine algebraic expressions, but the edition of such expressions is weak. Systems like Word and FrameMaker place sub-expressions in too many boxes so that many editing actions are not simple, while usual CAS (computer algebra systems) just use a 1D representation for the edition. Furthermore, Edix allows the user to represent a reasoning as a sequence or a tree, and evaluates the equivalence indicating at each input whether the current step is equivalent to the previous one.
Type de document :
Communication dans un congrès
Proceedings of ACTMT2001, the Sixth Asian Technology Conference in Mathematics. The University of Melbourne, 2001, Australia. 3 p., 2001
Liste complète des métadonnées

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

Fichier

2001_Edix_ATCM.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00962022, version 1

Collections

Citation

Denis Bouhineau, Jean-François Nicaud, X. Pavard. Edix: A Software for Editing Algebraic Expressions.. Proceedings of ACTMT2001, the Sixth Asian Technology Conference in Mathematics. The University of Melbourne, 2001, Australia. 3 p., 2001. 〈hal-00962022〉

Partager

Métriques

Consultations de la notice

231

Téléchargements de fichiers

103