External links  The MKM Interest Group  9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM2010), Part of the 10th International Conference on Artificial Intelligence and Symbolic Computation AISC 2010 Paris, France, 5-6 July 2010 Big Proof Conference , a programme at the Isaac Newton Institute directed at the challenges of bringing proof technology into mainstream mathematical practice. Big Proof Two
External links www.nist.gov/mathematical-knowledge-management, NIST's MKM page The MKM Interest Group (archived) 9th International Conference on MKM, Paris, France, 2010 Big Proof Conference , a programme at the Isaac Newton Institute directed at the challenges of bringing proof technology into mainstream mathematical practice. Big Proof Two
A
www.nist.gov/mathematical-knowledge-management, NIST's MKM page
A
(archived)
R
MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM2010), Part of the 10th International Conference on Artificial Intelligence and Symbolic Computation AISC 2010
MKM,
D
5-6 July