... extensions and corrections of the syntax and semantics of OMDoc that are necessary to define a formal semantics of OMDoc theory graphs. Since OMDoc theories are also OpenMath content ...

Dissemination item - florian.rabe - 2008/10/14 - 16:36 - 0 kommentarer - 1 bilaga

... vision of implementing a distributed database (OMBase) for OMDoc which is a format for representing the mathematical knowledge. We will ...

Dissemination item - vyacheslav.zholudev - 2008/10/15 - 12:36 - 0 kommentarer - 1 bilaga

... extension of the notation specification infrastructure in OMDoc by functionality for flexible elisions. Author(s):  ... 2007/06/25 Webbadress:  Paper on omdoc.org Partner_node:  Jacobs University ...

Dissemination item - kohlhase - 2008/10/14 - 16:38 - 0 kommentarer - 0 bilagor

OMDoc (Open Mathematical Documents) is a semantic markup format for ... containing definitions of the symbols used in formulae, OMDoc covers the whole range of written mathematics. Coverage OMDoc allows for mathematical expressions on three levels: Object level ...

Book page - Christoph Lange - 2008/04/18 - 15:47 - 0 kommentarer - 0 bilagor

... Content) is the main center and lead implementer of the OMDoc mathematical representation format, an XML-based representation format for Open Mathematical Documents. OMDoc extends the web standards content-MathML and OpenMath by content-oriented ...

Partner institution - kohlhase - 2008/10/17 - 15:18 - 0 kommentarer - 1 bilaga

... theories or content dictionaries, are stored in OMDoc or OpenMath, both being markup format for mathematical knowledge. Our ... Linking is a bit simplified compared to standard OMDoc, as there is a short-hand syntax for link targets in the wiki. An ... is planned. Thanks to the include mechanism of the OMDoc presentation style sheets, complete content dictionaries or theories can ...

Software, tools and services - cmueller - 2008/10/28 - 21:43 - 0 kommentarer - 0 bilagor

... iPhone lectures STIX mathematics OMDoc iPod tutorial content Second Life eLearning ...

Page - Olga.Caprotti - 2008/07/29 - 14:21 - 0 kommentarer - 0 bilagor

... semantically enriched XHTML material generated from the OMDoc source. The system offers service such as the rating and annotation of ... enriched content for a General Computer Science lecture in OMDoc format. Implementation of a web-based system, that displays ...

Case Study - cmueller - 2008/10/17 - 20:58 - 0 kommentarer - 0 bilagor

Publication_details:  SCOOP Workshop: 2nd Workshop on Scientific Communities of Practice, Jacobs University Bremen, Germany Author(s):  Sönke Holsten Typ:  Slide presentation Datum:  ...

Dissemination item - cmueller - 2008/06/29 - 18:21 - 0 kommentarer - 0 bilagor

... Its pages, containing mathematical theories, are stored in OMDoc, a markup format for mathematical knowledge. Our long-term objective is ...

Book page - Christoph Lange - 2008/10/28 - 21:45 - 0 kommentarer - 0 bilagor