Notations for Living Mathematical Documents

DOI10.1007/978-3-540-85110-3_41zbMath1166.00304OpenAlexW1548486755WikidataQ57389420 ScholiaQ57389420MaRDI QIDQ5505528

Christine Müller, Florian Rabe, Michael Kohlhase

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

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

Related Items (6)

Visual structure in mathematical expressions ⋮ Math Literate Knowledge Management via Induced Material ⋮ A scalable module system ⋮ Combining Source, Content, Presentation, Narration, and Relational Representation ⋮ Integrating Web Services into Active Mathematical Documents ⋮ A Mathematical Approach to Ontology Authoring and Documentation

Uses Software

• OMDoc

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