Mathematical knowledge management is needed
<|reference_start|>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.<|reference_end|>
@article{hazewinkel2004mathematical,
    title={Mathematical knowledge management is needed},
    author={Michiel Hazewinkel},
    journal={arXiv preprint arXiv:cs/0410055},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0410055},
    primaryClass={cs.IR}
}