000 01814cam a22002777a 4500
001 vtls000002645
003 VRT
005 20250102222824.0
008 081201s2006 gw a |b 101 0 eng d
020 _a9783540314301 (pbk. : acidfree paper)
020 _a354031430X (pbk. : acid-free paper)
039 9 _a201402040107
_bVLOAD
_c201010091201
_dmalmash
_c200812060926
_dvenkatrajand
_c200812011110
_dNoora
_y200812011108
_zNoora
050 0 0 _aQA76.95
_b.M56 2005
111 2 _cBremen, Germany)
_910632
245 1 0 _aMathematical Knowledge Management :
_b4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers /
_cMichael Kohlhase (ed.).
246 1 0 _aMKM 2005
260 _aBerlin :
_bSpringer,
_cc2006.
300 _axi, 403 p. :
_bill. ;
_c24 cm.
504 _aIncludes bibliographical references and index.
520 _aThis 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.
650 0 _aMathemcatics
_xData processing
_vCongresses.
_910633
650 0 _aInformation storage and retrieval systems
_xMathematics
_vCongresses.
_910634
650 0 _aAutomatic theorem proving
_vCongresses.
_910635
700 1 _aKohlhase, Michael,
_910636
942 _2lcc
_n0
_cBK
999 _c3805
_d3805