การจัดการความรู้ทางคณิตศาสตร์ (MKM)คือการศึกษาว่าสังคมจะสามารถใช้ประโยชน์จากวรรณกรรมทางคณิตศาสตร์ ที่มีอยู่มากมายและเพิ่มขึ้นเรื่อยๆ ได้อย่างมีประสิทธิภาพได้อย่างไร โดยศึกษาแนวทางต่างๆ เช่นฐานข้อมูลความรู้ทางคณิตศาสตร์ การประมวลผลสูตรโดยอัตโนมัติ การใช้ข้อมูลเชิงความหมายและปัญญาประดิษฐ์คณิตศาสตร์มีความเหมาะสมเป็นพิเศษสำหรับการศึกษาอย่างเป็นระบบเกี่ยวกับการประมวลผลความรู้โดยอัตโนมัติ เนื่องจากมีความเชื่อมโยงกันอย่างมากระหว่างสาขาต่างๆ ของคณิตศาสตร์

• โอเอ็มดีโอซี
• แถลงการณ์ QED
• สาขาต่างๆ ของคณิตศาสตร์
• แมธเอ็มแอล

• Hazewinkel, Michiel (พฤศจิกายน 2003). "จำเป็นต้องมีการจัดการความรู้ทางคณิตศาสตร์". arXiv : cs/0410055 . เรายังไม่รู้ด้วยซ้ำว่าเรารู้มากแค่ไหนว่าเราไม่รู้ว่าเรารู้
• www.nist.gov/mathematical-knowledge-managementหน้า MKM ของNIST
• กลุ่มผู้สนใจ MKM (เก็บถาวรแล้ว)
• การประชุมวิชาการนานาชาติว่าด้วย MKM ครั้งที่ 9 ณ กรุงปารีส ประเทศฝรั่งเศส ปี 2010
• การประชุม Big Proof Conferenceเป็นโครงการของสถาบัน Isaac Newton Instituteที่มุ่งเน้นการแก้ปัญหาความท้าทายในการนำเทคโนโลยีการพิสูจน์มาใช้ในแนวทางปฏิบัติทางคณิตศาสตร์กระแสหลัก
  • หลักฐานชิ้นใหญ่สอง

บทความเกี่ยวกับคณิตศาสตร์นี้เป็นบทความย่อคุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี