注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术计算机/网络软件与程序设计其他编程语言/工具数学文献用开放标记格式得

数学文献用开放标记格式得

数学文献用开放标记格式得

定 价:¥655.40

作 者: Michael Kohlhase 著
出版社: 崇文书局(原湖北辞书出版社)
丛编项:
标 签: 暂缺

购买这本书可以去


ISBN: 9783540378976 出版时间: 2006-12-01 包装: 平装
开本: 页数: 字数:  

内容简介

  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 Documents
Part Ⅱ 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 Systems
Part Ⅲ 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 OMDoc
Part Ⅳ OMDoc Applications,Tools,and Projects
Part Ⅴ Appendix
Bibliography
Index

本目录推荐