Mathematical knowledge management is needed
arXiv:cs/0410055
Abstract
In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval.
Keynote speech at the November, 2003 MKM meeting ar Herriott-Watt, Edinburg, UK. Nine pages, one figure