Edix: A Software for Editing Algebraic Expressions.
Bouhineau , Denis
Nicaud , Jean-François
Pavard , X.
- Publisher: HAL CCSD
[ INFO.EIAH ] Computer Science [cs]/Technology for Human Learning | [ SHS.EDU ] Humanities and Social Sciences/Education
International audience; 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.