Search
Resultats de la cerca
- OMDoc Theory Graphs Revisited
... 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 comentaris - 1 adjunt
- Towards a Distributed Database for OMDoc
... 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 comentaris - 1 adjunt
- Presenting Mathematical Content With Flexible Elisions
... extension of the notation specification infrastructure in OMDoc by functionality for flexible elisions. Author(s): ... 2007/06/25 URL: Paper on omdoc.org Partner_node: Jacobs University ...
Dissemination item - kohlhase - 2008/10/14 - 16:38 - 0 comentaris - %count adjunts
- OMDoc
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 comentaris - %count adjunts
- The JEM Community
... iPhone lectures STIX mathematics OMDoc iPod tutorial content Second Life eLearning ...
Page - Olga.Caprotti - 2008/07/29 - 14:21 - 0 comentaris - %count adjunts
- Jacobs University
... 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 comentaris - 1 adjunt
- SWiM
... 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 comentaris - %count adjunts
- OMDoc - Hybrid Documents
Publication_details: SCOOP Workshop: 2nd Workshop on Scientific Communities of Practice, Jacobs University Bremen, Germany Author(s): Sönke Holsten Tipus: Slide presentation Date: ...
Dissemination item - cmueller - 2008/06/29 - 18:21 - 0 comentaris - %count adjunts
- A JEM Case Study on the Potential of Semantic Markup for the Use of Context in Mathematical eLearning
... 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 comentaris - %count adjunts
- Semantic Physics Markup and its context to mathematical content description
... cooperation with the Jacobs University Bremen Group using OMDOC which allows to encode the PhysML parts which are not mathematics, into ... in a way that ordinary LaTeX-users can make use of PhysML/OMDOC as a usepackage. - Embedding of the new services into existing Physics ...
Dissemination item - hilf - 2008/10/14 - 15:03 - 0 comentaris - %count adjunts
