Monday, December 08, 2003

Digital Libraries

Mathematical Knowledge is Mathematics' Treasure, NA-MKM 2004, the Second North American Workshop on Mathematical Knowledge Management will be held in Phoenix, Arizona, January 6, 2004.
Mathematical Knowledge Management (MKM) is an exciting new field in the intersection of mathematics and computer science. The need for good MKM is great: mathematical knowledge is mathematics' treasure; it is vital to engineering, science, and mathematics itself, and it is used by millions of people. The challenge of MKM is also great: mathematical knowledge is unsurpassed in its extent, richness, and interconnectedness. Current technology is not capable of fulfilling this need and meeting this challenge. New and more sophisticated theory and technology is required.
Some of the papers accepted include:
  • MKM and the NIST Digital Library of Mathematical Functions
  • Services of the Formal Digital Library and Proof Sharing
  • The Open Archives Initiative and Payment Models -- A Learned Society Publisher's Perspective
  • MoWGLI -- Mathematics in the Semantic Web

No comments: