Notations for Living Mathematical Documents

DOI10.1007/978-3-540-85110-3_41zbMATH Open1166.00304OpenAlexW1548486755WikidataQ57389420 ScholiaQ57389420MaRDI QIDQ5505528FDOQ5505528

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

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

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)

Cited In (10)

• Math Literate Knowledge Management via Induced Material
• A scalable module system
• 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

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)