The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics

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]

Authors

Liesbeth De Mol

This author has not been identified. Look up 'Liesbeth De Mol' in Google