Abstract
Mathematical knowledge is largely communicated by way of a specialized set of documents (e.g. e-mails, letters, pre-prints, journal articles, and textbooks). These employ special notational conventions and visual representations to convey the mathematical knowledge reliably and efficiently.
When marking up mathematical knowledge, one always has the choice whether to mark up the structure of the document itself, or the structure of the mathematical knowledge that is conveyed in the document. Even though in most documents, the document structure is designed to help convey the structure of the knowledge, the two structures need not be the same. To frame the discussion we will distinguish two aspects of mathematical documents. In the knowledge-centered view we organize the mathematical knowledge by its function, and do not care about a way to present it to human recipients. In the narrative-centered view we are interested in the structure of the argument that is used to convey the mathematical knowledge to a human user.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kohlhase, M. (2006). Document Infrastructure (Module DOC). In: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. Lecture Notes in Computer Science(), vol 4180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11826095_14
Download citation
DOI: https://doi.org/10.1007/11826095_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37897-6
Online ISBN: 978-3-540-37898-3
eBook Packages: Computer ScienceComputer Science (R0)