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

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

File

2001_Edix_ATCM.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00962022⟩

Share

Metrics

Record views

239

Files downloads

118