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⟩
201 Consultations
160 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More