Mathematical knowledge management is needed

2004/10/21 by Michiel Hazewinkel, Hazewinkel, Michiel
Computer Science · #FOS: Computer and information sciences #Information Retrieval (cs.IR) #cs.IR

paper · pdf · doi:10.48550/arxiv.cs/0410055

Keynote speech at the November, 2003 MKM meeting ar Herriott-Watt, Edinburg, UK. Nine pages, one figure

arxiv created 2004/10/21 · arxiv updated 2009/12/01

Abstract

In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval.

Related

• A Scalable Module System
• Mathematical knowledge: internal, social and cultural aspects
• The MMT API: A Generic MKM System
• The Limits of Mathematics
• “Is mathematical knowledge certain? – Are you sure?”