Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

by Michael Kohlhase
     
 

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, held in Bremen, Germany in July 2005. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers in this volume cover the whole area of

See more details below

Overview

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, held in Bremen, Germany in July 2005. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers in this volume cover the whole area of 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.

Product Details

ISBN-13:
9783540314301
Publisher:
Springer Berlin Heidelberg
Publication date:
03/16/2006
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Series, #3863
Edition description:
2006
Pages:
408
Product dimensions:
9.21(w) x 6.14(h) x 0.86(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >