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)

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

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)