Mathematical Knowledge Management: Second International Conference, Mkm 2003 Bertinoro, Italy, February 16-18, 2003

by Andrea Asperti

This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16-18 February 2003 in Bertinoro, Italy. Mathematical Knowledge Management is an exciting new eld at the int- section between mathematics and computer science. We need e'cient, new te- niques, based on sophisticated formal mathematics and software technology, to exploit the enormous knowledge available in current mathematical...

• Format: Paperback
• Language: English
• ISBN: 3540005684
• ISBN13: 9783540005681
• Release Date: February 2003
• Publisher: Springer
• Length: 230 Pages
• Weight: 0.72 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"