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]
@incollection{Mol14-1,
title = {The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics},
author = {Liesbeth De Mol},
year = {2014},
doi = {10.1007/978-3-319-04382-1_2},
url = {http://dx.doi.org/10.1007/978-3-319-04382-1_2},
researchr = {https://researchr.org/publication/Mol14-1},
cites = {0},
citedby = {0},
pages = {15-33},
booktitle = {New Directions in the Philosophy of Science},
editor = {Maria Carla Galavotti and Dennis Dieks and Wenceslao J. Gonzalez and Stephan Hartmann and Thomas Uebel and Marcel Weber},
publisher = {Springer},
isbn = {978-3-319-04382-1},
}