TY  - BOOK
AU  - Kohlhase,Michael
ED  - 
TI  - Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers 
SN  - 9783540314301 (pbk. : acidfree paper)
AV  - QA76.95 .M56 2005
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Mathemcatics
KW  - Data processing
KW  - Congresses
KW  - Information storage and retrieval systems
KW  - Mathematics
KW  - Automatic theorem proving
N1  - Includes bibliographical references and index
N2  - 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
ER  -