Name: OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] By Michael Kohlhase
SKU: 9783540378976
Price: 69.29 EUR
Availability: InStock

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Summary

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy by Michael Kohlhase

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.

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Reviews

From the reviews:

The OMDoc open markup format for mathematical documents is presented in this book. ... The book situates OMDoc relative to other markup systems for mathematics, provides the justification for the approach taken, and documents the system with principles and examples. ... The scope of the work presented here will make it interesting to all those who have an interest in the markup and processing of mathematical documents. (D. T. Barnard, ACM Computing Reviews, Vol. 49 (3), March, 2008)

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.

Additional information

Sku

NPB9783540378976

ISBN 13

9783540378976

ISBN 10

3540378979

Title

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy by Michael Kohlhase

Author

Michael Kohlhase

Series

Lecture Notes in Computer Science

Condition

New

Binding type

Paperback

Publisher

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Year published

2006-08-17

Number of pages

432

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Michael Kohlhase

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] by Michael Kohlhase

Summary

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Summary

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy by Michael Kohlhase

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Reviews

Table of Contents

Additional information

Customer Reviews - OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]