Notations for Living Mathematical Documents

DOI10.1007/978-3-540-85110-3_41MaRDI QIDQ5505528zbMATH OpenOpenAlexWikidataFDO

Authors Michael Kohlhase, Christine Müller, Florian Rabe

Publication date 27 January 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_41

Mathematics Subject Classification ID

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

Recommendations

• From Notation to Semantics: There and Back Again
• Notation selection in mathematical computing environments
• Notations Around the World: Census and Exploitation
• Mathematical Knowledge Management
• Math-Literate Computers

Cited in

(10)

• Combining source, content, presentation, narration, and relational representation
• From Notation to Semantics: There and Back Again
• A Mathematical Approach to Ontology Authoring and Documentation
• Visual structure in mathematical expressions
• Notation selection in mathematical computing environments
• Math-Literate Computers
• Integrating Web Services into Active Mathematical Documents
• Math Literate Knowledge Management via Induced Material
• Mathematical Knowledge Management
• A scalable module system

Describes a project that uses

Uses Software

• OMDoc

This page was built for publication: Notations for Living Mathematical Documents

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