Dick, Stephanie External, Max Planck Institute for the History of Science, Max Planck Society;
Dick, S. (2011). AfterMath: the work of proof in the age of human-machine collaboration. Isis, 102(3), 495-505.