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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Artificial Intelligence, 4180 |
Release date | August 2006 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2006 |
Authors | Michael Kohlhase |
Dimensions | 235 x 155 x 23mm (L x W x T) |
Format | Paperback |
Pages | 432 |
Edition | 2006 ed. |
ISBN-13 | 978-3-540-37897-6 |
Barcode | 9783540378976 |
Categories | |
LSN | 3-540-37897-9 |