Pré-Publication, Document De Travail Année : 2015

Preserving syntactic correctness while editing mathematical formulas

Grégoire Lecerf
Denis Raux
  • Fonction : Auteur

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-01188381 , version 1

Citer

Joris van der Hoeven, Grégoire Lecerf, Denis Raux. Preserving syntactic correctness while editing mathematical formulas. 2015. ⟨hal-01188381⟩
307 Consultations
315 Téléchargements

Partager

  • More