Mathematical knowledge management is needed

In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval. MSCS: 68P20, 68T30 Key words and key phrases: mathematical knowledge, knowledge management, IRIS, information retrieval, information storage, keyphrase assignment, identification cloud, formal mathematics, classification, metadata, MSCS.

• Type: Journal
• Year: 2004
• Where: CORR
• Authors: Michiel Hazewinkel
• Keywords: CORR 2004, Education, Information Retrieval, Information Storage, Mathematical Knowledge