Computation is revolutionizing our world, even the inner world of the “pure” mathematician. Mathematical methods – especially the notion of proof – that have their ...
