This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 3863 |
Release date | February 2006 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2006 |
Editors | Michael Kohlhase |
Dimensions | 235 x 155 x 21mm (L x W x T) |
Format | Paperback |
Pages | 408 |
Edition | 2006 ed. |
ISBN-13 | 978-3-540-31430-1 |
Barcode | 9783540314301 |
Categories | |
LSN | 3-540-31430-X |