by International Conference on Mathematical Knowledge Management (2nd 2003 Bertinoro, Italy)
This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16–18 February 2003 in Bertinoro, Italy. Mathematical Knowledge Managemen…