OMDoc - An open markup format for mathematical documents [version 1.2]

Kohlhase M (2006)

Publication Status: Published

Publication Type: Authored book

Publication year: 2006

Journal

Lecture Notes in Computer Science Springer Verlag

Book Volume: 4180

Pages Range: 1-+

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Related research project(s)

An Open Archive of Formalizations (OAF) Jan. 1, 2014 - June 30, 2020 OpenDreamKit (OpenDreamKit) Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019

How to cite

APA:

Kohlhase, M. (2006). OMDoc - An open markup format for mathematical documents [version 1.2].

MLA:

Kohlhase, Michael. OMDoc - An open markup format for mathematical documents [version 1.2]. 2006.

BibTeX: Download