mathml

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
$89.95
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.

Mathematical Knowledge Management: 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
$67.00
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, ... / Lecture Notes in Artificial Intelligence)
$99.00
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

The MathML Handbook (Internet Series)
$41.95
The MathML Handbook by technical writer and expert Pavi Sandhu is a straightforward, "user friendly" guide to MathML, -- an XML-based markup language especially designed for mathematicians who publish on the World Wide Web. Individual chapters teach the basics of MathML, how to display MathML in web browsers, how to convert between TeX and MathML, how to utilize MathML for computations, and much, much more. With an accompanying CD featuring demo software for viewing and creating works with MathML, The MathML Handbook is highly recommended as being a genuinely first-rate resource.