第一图书网

数学文献用开放标记格式得/an open markup format for mathematical documents

Kohlhase, Michael; Bundy, Alan; 湖北辞书出版社
出版时间:

2006-12  

出版社:

湖北辞书出版社  

作者:

Kohlhase, Michael; Bundy, Alan;  

页数:

428  

内容概要

The OMDoc (Open Mathematical Documents) format is a content markup scheme for collections of 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 documentation describes version 1.2 of the OMDoc system, the final and mature release of OMDoc 1. The system features modularized language design, OPENMATH and MATHML for the representation of mathematical objects, and has been employed and validated in various applications. Besides a complete and rigorous specification of the OMDoc document format, this book presents an OMDoc primer with paradigmatic examples for many kinds of mathematical documents. Furthermore, various applications, projects, and tool support for OMDoc are discussed. The book will become essential reading for all working mathematicians and mathematics students aspiring to take part in the new worlds of shared mathematical knowledge.

书籍目录

Part Ⅰ Setting the Stage for Open Mathematical Documents 1 Document Markup for the Web 2 Markup for Mathematical Knowledge 3 Open Mathematical DocumentsPart Ⅱ An OMDoc Primer 4 Textbooks and Articles 5 OpenMath Content Dictionaris 6 Structured and Parametrized Theories 7 A Development Graph for Elementary Algebra 8 Courseware and the Narrative/Content Distinction 9 Communication Between SystemsPart Ⅲ The OMDoc Document Format 10 OMDoc as a Modular Format 11 Document Infrastructure 12 Metadata 13 Mathematical Objects 14 Mathematical Text 15 Mathematical Statements 16 Abstract Data Types 17 Representing Proofs 18 Complex Theories 19 Notation and Presentation 20 Auxiliary Elements 21 Exercises 22 Document Models for OMDocPart Ⅳ OMDoc Applications,Tools,and ProjectsPart Ⅴ AppendixBibliographyIndex


图书封面

广告

下载页面


数学文献用开放标记格式得/an open markup format for mathematical documents PDF格式下载



相关图书