Computation, Proof, Machine. Mathematics Enters a New Age By Adhemar Bultheel 17 / Aug / 2015 Read more about Computation, Proof, Machine. Mathematics Enters a New Age