Book Chapter
Changes to the Specification
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 319-331
Book Chapter
Exercises (Module QUIZ)
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 209-211
Book Chapter
Auxiliary Elements (Module EXT)
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 201-208
Book Chapter
Mathematical Text (Modules MTXT and RT)
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 121-131
Book Chapter
Capturing the Content of Physics: Systems, Observables, and Experiments
Eberhard R. Hilf, Michael Kohlhase and Heinrich Stamerjohanns
Lecture Notes in Computer Science, 2006, Volume 4108, Mathematical Knowledge Management, Pages 165-178
Book Chapter
Notation and Presentation (Module PRES)
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 187-200
Book Chapter
The RelaxNG Schema for OMDoc
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 345-359
Book Chapter
Complex Theories (Modules CTH and DG)
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 173-186
Book Chapter
Document Infrastructure (Module DOC)
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 89-96
Book Chapter
Mathematical Statements (Module ST)
Michael Kohlhase
Lecture Notes in Computer Science, 2006, Volume 4180, OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Pages 133-154