Maths and Computer Proof Workshop 2012 Posted on March 24, 2014 Share This PageMaths and Computer Proof Workshop 2012