
References
Liesbeth De Mol
The proof is in the process: a preamble for a philosophy of computer-assisted mathematics
2014
in: New directions in the philosophy of science, Dordrecht : Springer

2014
in: New directions in the philosophy of science, Dordrecht : Springer