TY - GEN
T1 - Preserving syntactic correctness while editing mathematical formulas
AU - van der Hoeven, Joris
AU - Lecerf, Grégoire
AU - Raux, Denis
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017/1/1
Y1 - 2017/1/1
N2 - GNU TEXMACS is a free software for editing scientific documents with mathematical formulas, which can also be used as an interface for many computer algebra systems. We present the design of a new experimental mathematical editing mode which preserves the syntactic correctness of formulas during the editing process (i.e. all formulas can be parsed using a suitable, sufficiently rich grammar). The main constraint is to remain as closely as possible to the existing presentation-oriented formula editor, which has the advantage of being very user friendly.
AB - GNU TEXMACS is a free software for editing scientific documents with mathematical formulas, which can also be used as an interface for many computer algebra systems. We present the design of a new experimental mathematical editing mode which preserves the syntactic correctness of formulas during the editing process (i.e. all formulas can be parsed using a suitable, sufficiently rich grammar). The main constraint is to remain as closely as possible to the existing presentation-oriented formula editor, which has the advantage of being very user friendly.
KW - Mathematical editing
KW - Packrat parsing
KW - Syntactic correctness
KW - TX
U2 - 10.1007/978-3-319-56932-1_29
DO - 10.1007/978-3-319-56932-1_29
M3 - Conference contribution
AN - SCOPUS:85028324158
SN - 9783319569307
T3 - Springer Proceedings in Mathematics and Statistics
SP - 459
EP - 471
BT - Applications of Computer Algebra
A2 - Kotsireas, Ilias S.
A2 - Martinez-Moro, Edgar
PB - Springer New York LLC
T2 - 21st International Conference on Applications of Computer Algebra, ACA 2015
Y2 - 20 July 2015 through 23 July 2015
ER -