Liesbeth De Mol. The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics. In Maria Carla Galavotti, Dennis Dieks, Wenceslao J. Gonzalez, Stephan Hartmann, Thomas Uebel, Marcel Weber, editors, New Directions in the Philosophy of Science. pages 15-33, Springer, 2014. [doi]