From Notation to Semantics: There and Back Again

DOI10.1007/11812289_16MaRDI QIDQ5756753zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luca Padovani, Stefano Zacchiroli

Publication date 5 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11812289_16

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Knowledge representation (68T30)

Recommendations

• Notations for Living Mathematical Documents
• Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
• Mathematical Knowledge Management
• Using La\TeX\ as a semantic markup format
• A user interface for a mathematical system that allows ambiguous formulae

Cited in

(11)

• Towards semantic mathematical editing
• User interaction with the Matita proof assistant
• Towards a self-reflective, context-aware semantic representation of mathematical specifications
• Notation selection in mathematical computing environments
• Natural Deduction Environment for Matita
• scientific article; zbMATH DE number 1254305 (Why is no real title available?)
• scientific article; zbMATH DE number 1341542 (Why is no real title available?)
• A user interface for a mathematical system that allows ambiguous formulae
• Mathematical Knowledge Management
• Notations for Living Mathematical Documents
• Mathematical Knowledge Management

This page was built for publication: From Notation to Semantics: There and Back Again

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756753)