Omdoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Paperback, 2006)

Setting the Stage for Open Mathematical Documents.- Setting the Stage for Open Mathematical Documents.- Document Markup for the Web.- Markup for Mathematical Knowledge.- OMDoc: Open Mathematical Documents.- An OMDoc Primer.- An OMDoc Primer.- Mathematical Textbooks and Articles.- OpenMath Content Dictionaries.- Structured and Parametrized Theories.- A Development Graph for Elementary Algebra.- Courseware and the Narrative/Content Distinction.- Communication with and Between Mathematical Software Systems.- The OMDoc Document Format.- The OMDoc Document Format.- OMDoc as a Modular Format.- Document Infrastructure (Module DOC).- Metadata (Modules DC and CC).- Mathematical Objects (Module MOBJ).- Mathematical Text (Modules MTXT and RT).- Mathematical Statements (Module ST).- Abstract Data Types (Module ADT).- Representing Proofs (Module PF).- Complex Theories (Modules CTH and DG).- Notation and Presentation (Module PRES).- Auxiliary Elements (Module EXT).- Exercises (Module QUIZ).- Document Models for OMDoc.- OMDoc Applications, Tools, and Projects.- OMDoc Applications, Tools, and Projects.- OMDoc Resources.- Validating OMDoc Documents.- Transforming OMDoc by XSLT Style Sheets.- OMDoc Applications and Projects.- Changes to the Specification.- Quick-Reference Table to the OMDoc Elements.- Quick-Reference Table to the OMDoc Attributes.- The RelaxNG Schema for OMDoc.- The RelaxNG Schemata for Mathematical Objects.