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. 
Michiel Hazewinkel