353:
385:
124:
standard only supports formulae and “content dictionaries” containing definitions of the symbols used in formulae, OMDoc covers the whole range of written mathematics.
187:, for example, it is not primarily presentation-oriented. An OMDoc document need not specify what its contents should look like. A conversion to LaTeX and
378:
737:
702:
539:
272:
for technology and science” based on OMDoc. To this end, OMDoc is being extended towards sciences other than mathematics. The first result is
612:
371:
236:
Documents about mathematics can be prepared in OMDoc and later exported to a presentation-oriented format like LaTeX or XHTML+MathML.
713:
589:
569:
331:
319:
300:
579:
288:
747:
554:
732:
617:
219:
692:
672:
607:
519:
410:
157:
Definitions, theorems, proofs, examples and the relations between them (e.g. “this proof proves that theorem”).
66:
642:
223:
167:. Seen as collections of symbol definitions, OMDoc theories are compatible to OpenMath content dictionaries.
164:
92:
742:
442:
284:
163:
A theory is a set of contextually related statements. Theories may import each other, thereby forming a
171:
On each level, formal syntax and informal natural language can be used, depending on the application.
195:
for the formulae) is possible, though. To this end, the presentation of each symbol can be defined.
657:
148:
22:
327:
647:
473:
430:
273:
246:
49:
415:
394:
323:
59:
425:
352:
726:
559:
420:
437:
402:
269:
314:
227:
113:
504:
207:
34:
534:
363:
245:
OMDoc has been developed by the German mathematician and computer scientist
109:
637:
632:
622:
599:
594:
509:
488:
287:
ontology of OMDoc is under development, as well as an export facility to
144:
121:
85:
75:
677:
574:
549:
529:
277:
226:. OMDoc is intended to be used for communication between mathematical
667:
662:
584:
524:
514:
468:
192:
140:
117:
97:
71:
697:
682:
564:
483:
463:
283:
For a better integration with other
Semantic Web applications, an
188:
184:
179:
OMDoc is a semantic markup language that allows writing down the
687:
652:
544:
458:
367:
358:
478:
315:
An Open Markup Format for
Mathematical Documents (Version 1.2)
249:
since 1998. So far, there have been the following releases:
132:
OMDoc allows for mathematical expressions on three levels:
346:
218:
OMDoc import and export modules are available for many
497:
451:
401:
91:
81:
65:
55:
45:
33:
21:
268:It is planned to create the infrastructure for a “
120:only covers mathematical formulae and the related
203:Today, OMDoc is used in the following settings:
379:
8:
16:
183:of texts about mathematics. In contrast to
143:(the non-presentational subset of MathML),
386:
372:
364:
351:
320:Lecture Notes in Artificial Intelligence
15:
7:
276:, an OMDoc variant extended towards
359:Wiki for OMDoc and related projects
108:(Open Mathematical Documents) is a
14:
714:List of document markup languages
301:Mathematical knowledge management
212:Creation of customized textbooks.
1:
738:Mathematical markup languages
139:Formulae, written in Content
17:Open Mathematical Documents
764:
175:Semantics and Presentation
711:
395:Document markup languages
312:Michael Kohlhase (2006):
220:automated theorem provers
411:Compound Document Format
224:computer algebra systems
35:Internet media type
40:application/omdoc+xml
233:Document preparation
748:XML-based standards
264:Future developments
256:1.1 (December 2001)
253:1.0 (November 2000)
191:(with Presentation
18:
149:mathematical logic
112:markup format for
82:Extended from
67:Container for
23:Filename extension
720:
719:
147:or languages for
116:documents. While
103:
102:
46:Developed by
755:
733:Markup languages
648:ReStructuredText
431:WordprocessingML
388:
381:
374:
365:
355:
350:
349:
347:Official website
247:Michael Kohlhase
50:Michael Kohlhase
19:
763:
762:
758:
757:
756:
754:
753:
752:
723:
722:
721:
716:
707:
493:
447:
397:
392:
345:
344:
341:
324:Springer Verlag
309:
297:
266:
259:1.2 (July 2006)
243:
201:
177:
154:Statement level
130:
60:Markup language
41:
29:
12:
11:
5:
761:
759:
751:
750:
745:
740:
735:
725:
724:
718:
717:
712:
709:
708:
706:
705:
700:
695:
690:
685:
680:
675:
670:
665:
660:
655:
650:
645:
640:
635:
630:
625:
620:
615:
610:
605:
602:
597:
592:
587:
582:
577:
572:
567:
562:
557:
552:
547:
542:
537:
532:
527:
522:
517:
512:
507:
501:
499:
495:
494:
492:
491:
486:
481:
476:
471:
466:
461:
455:
453:
449:
448:
446:
445:
440:
435:
434:
433:
428:
426:PresentationML
423:
413:
407:
405:
399:
398:
393:
391:
390:
383:
376:
368:
362:
361:
356:
340:
339:External links
337:
336:
335:
326:, Heidelberg.
308:
305:
304:
303:
296:
293:
265:
262:
261:
260:
257:
254:
242:
239:
238:
237:
234:
231:
216:
213:
210:
200:
197:
176:
173:
169:
168:
161:
158:
155:
152:
137:
129:
126:
101:
100:
95:
89:
88:
83:
79:
78:
69:
63:
62:
57:
56:Type of format
53:
52:
47:
43:
42:
39:
37:
31:
30:
27:
25:
13:
10:
9:
6:
4:
3:
2:
760:
749:
746:
744:
741:
739:
736:
734:
731:
730:
728:
715:
710:
704:
701:
699:
696:
694:
691:
689:
686:
684:
681:
679:
676:
674:
671:
669:
666:
664:
661:
659:
656:
654:
651:
649:
646:
644:
641:
639:
636:
634:
631:
629:
626:
624:
621:
619:
616:
614:
611:
609:
606:
603:
601:
598:
596:
593:
591:
588:
586:
583:
581:
578:
576:
573:
571:
568:
566:
563:
561:
560:Enriched text
558:
556:
553:
551:
548:
546:
543:
541:
538:
536:
533:
531:
528:
526:
523:
521:
518:
516:
513:
511:
508:
506:
503:
502:
500:
496:
490:
487:
485:
482:
480:
477:
475:
472:
470:
467:
465:
462:
460:
457:
456:
454:
450:
444:
441:
439:
436:
432:
429:
427:
424:
422:
421:SpreadsheetML
419:
418:
417:
414:
412:
409:
408:
406:
404:
400:
396:
389:
384:
382:
377:
375:
370:
369:
366:
360:
357:
354:
348:
343:
342:
338:
333:
332:3-540-37897-9
329:
325:
321:
317:
316:
311:
310:
306:
302:
299:
298:
294:
292:
290:
286:
281:
279:
275:
271:
263:
258:
255:
252:
251:
250:
248:
240:
235:
232:
229:
225:
221:
217:
215:Data exchange
214:
211:
209:
206:
205:
204:
198:
196:
194:
190:
186:
182:
174:
172:
166:
162:
159:
156:
153:
150:
146:
142:
138:
135:
134:
133:
127:
125:
123:
119:
115:
111:
107:
99:
96:
94:
90:
87:
84:
80:
77:
73:
70:
68:
64:
61:
58:
54:
51:
48:
44:
38:
36:
32:
26:
24:
20:
743:Semantic Web
627:
498:Lesser-known
403:Office suite
322:, no. 4180.
313:
282:
270:semantic web
267:
244:
228:web services
202:
199:Applications
180:
178:
170:
160:Theory level
136:Object level
131:
114:mathematical
105:
104:
727:Categories
505:AmigaGuide
452:Well-known
307:References
208:E-learning
535:CrossMark
98:OMDoc 1.2
688:Wikitext
638:Org-mode
633:OpenMath
623:MusicXML
600:LinuxDoc
595:LilyPond
510:AsciiDoc
489:Markdown
295:See also
145:OpenMath
128:Coverage
122:OpenMath
110:semantic
93:Standard
86:OpenMath
76:OpenMath
678:Texinfo
575:GuideML
550:DocBook
530:ConTeXt
278:physics
241:History
181:meaning
668:Setext
663:S1000D
585:HyTime
525:C-HTML
515:BBCode
469:MathML
330:
274:PhysML
193:MathML
141:MathML
118:MathML
72:MathML
28:.omdoc
698:WapTV
683:troff
628:OMDoc
565:FHTML
484:LaTeX
464:XHTML
416:OOXML
189:XHTML
185:LaTeX
165:graph
106:OMDoc
703:XAML
653:RTML
613:MAML
604:Lout
580:HDML
545:Djot
540:DITA
459:HTML
328:ISBN
222:and
693:WML
673:TEI
658:RFT
643:POD
618:MEI
608:MIF
590:IPF
570:GML
555:EAD
520:CML
479:TeX
474:RTF
443:UOF
438:ODF
289:RDF
285:OWL
729::
318:.
291:.
280:.
74:,
387:e
380:t
373:v
334:.
230:.
151:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.