Preserving syntactic correctness while editing mathematical formulas - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2015

Preserving syntactic correctness while editing mathematical formulas

Grégoire Lecerf
Denis Raux
  • Fonction : Auteur
MAX

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)
Loading...

Dates et versions

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

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⟩
191 Consultations
157 Téléchargements

Partager

Gmail Facebook X LinkedIn More