See also OMDoc QED manifesto Areas of mathematics MathML Big Proof Conference Big Proof Two External links The MKM Interest Group 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2010), Part of the 10th International Conference on Artificial Intelligence and Symbolic Computation AISC 2010 Paris, France, 5-6 July 2010 
See also OMDoc QED manifesto Areas of mathematics MathML External links The MKM Interest Group 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2010), 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
D
Big Proof Conference Big Proof Two
A
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