Preserving syntactic correctness while editing mathematical formulas

Joris Van Der Hoeven 1 Grégoire Lecerf 2 Denis Raux 3
2 Équipe Max
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
3 MAX
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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.
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01188381
Contributeur : Joris Van Der Hoeven <>
Soumis le : samedi 29 août 2015 - 17:19:44
Dernière modification le : samedi 18 février 2017 - 01:20:07
Document(s) archivé(s) le : lundi 30 novembre 2015 - 10:13:36

Fichier

syncorr2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01188381, version 1

Citation

Joris Van Der Hoeven, Grégoire Lecerf, Denis Raux. Preserving syntactic correctness while editing mathematical formulas. 2015. <hal-01188381>

Partager

Métriques

Consultations de
la notice

140

Téléchargements du document

43