The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics
| Title | The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics |
| Publication Type | Book Chapter (with title) |
| Authors | De Mol, L |
| Secondary Authors | Galavotti, MCarla, Dieks, D, Gonzalez, WJ, Hartmann, S, Uebel, T, Weber, M |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):