Mathematical knowledge management

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/OMDoc/bbweTqmU">OMDoc</a></li>
<li><a href="/facts/QED_manifesto/jhWAuaGJ">QED manifesto</a></li>
<li><a href="/facts/Areas_of_mathematics/5db06g8z">Areas of mathematics</a></li>
<li><a href="/facts/MathML/uKRIc3Fy">MathML</a></li></ul>
<h2 id="external-links">External links</h2>
<ul><li>Hazewinkel, Michiel (November 2003). "Mathematical knowledge management is needed". <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/cs/0410055">cs/0410055</a>. We don't even know how much we know that we don't know we know</li>
<li><a href="https://www.nist.gov/mathematical-knowledge-management">www.nist.gov/mathematical-knowledge-management</a>, <a href="/facts/NIST/gr9Fnh85">NIST</a>'s MKM page</li>
<li><a href="https://web.archive.org/web/20110709115552/http://www.mkm-ig.org/">The MKM Interest Group</a> (archived)</li>
<li><a href="http://cicm2010.cnam.fr/mkm/index.html">9th International Conference on MKM, Paris, France, 2010</a></li>
<li><a href="https://www.newton.ac.uk/event/bpr">Big Proof Conference </a>, a programme at the <a href="/facts/Isaac_Newton_Institute/sTX0BFb7">Isaac Newton Institute</a> directed at the challenges of bringing proof technology into mainstream mathematical practice.
<ul><li><a href="https://www.icms.org.uk/bigproof.php">Big Proof Two</a></li></ul></li></ul>

Mathematical knowledge management open-in-new

Mathematical knowledge management