140945

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

Open Access Link

Philosophy & Technology 27/3

Trends in the history and philosophy of computing

2014