Preserving syntactic correctness while editing mathematical formulas - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Preserving syntactic correctness while editing mathematical formulas

Grégoire Lecerf
Denis Raux
  • Function : Author
MAX

Abstract

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.
Fichier principal
Vignette du fichier
syncorr2.pdf (242.67 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01188381 , version 1 (29-08-2015)

Identifiers

  • HAL Id : hal-01188381 , version 1

Cite

Joris van Der Hoeven, Grégoire Lecerf, Denis Raux. Preserving syntactic correctness while editing mathematical formulas. 2015. ⟨hal-01188381⟩
175 View
122 Download

Share

Gmail Facebook Twitter LinkedIn More