Michael Kohlhase
Springer Berlin Heidelberg
2006e druk, 2006
9783540378976
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Foreword by Alan Bundy
Specificaties
Paperback, 428 blz.
|
Engels
Springer Berlin Heidelberg |
2006e druk, 2006
ISBN13: 9783540378976
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
Open Mathematical Documents (OMDoc) is a content markup scheme for mathematical documents including articles, textbooks, interactive books, and courses. OMDoc also serves as the content language for agent communication of mathematical services and a mathematical software bus. This book documents OMDoc version 1.2, the final and mature release of OMDoc 1. The system has been validated in varied applications, and features modularized language design, OPENMATH and MATHML for the representation of mathematical objects.
Specificaties
ISBN13:9783540378976
Taal:Engels
Bindwijze:paperback
Aantal pagina's:428
Uitgever:Springer Berlin Heidelberg
Druk:2006
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Inhoudsopgave
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.