Preserving Syntactic Correctness While Editing Mathematical Formulas

DOI10.1007/978-3-319-56932-1_29zbMath1383.68095OpenAlexW2736697292MaRDI QIDQ4610027

Joris van der Hoeven, Denis Raux, Grégoire Lecerf

Publication date: 5 April 2018

Published in: Applications of Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-56932-1_29

zbMATH Keywords

syntactic correctnessmathematical editingpackrat parsing

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies for text processing; mathematical typography (68U15)

Uses Software

• TeXmacs
• CtCoq
• Centaur

Cites Work

• Towards semantic mathematical editing
• Packrat parsing:
• Mathematical Knowledge Management

This page was built for publication: Preserving Syntactic Correctness While Editing Mathematical Formulas