Reasoning with computer-assisted experiments in mathematics
| Title | Reasoning with computer-assisted experiments in mathematics |
| Publication Type | Conference Proceedings |
| Year of Publication | 2012 |
| Authors | De Mol, L |
| Editor | Primiero, G, Allo, P |
| Conference Name | Third Workshop in the Philosophy of Information |
| Pagination | 80-92 |
| Publisher | Koninklijke Vlaamse Academie van België door Wetenschappen en Kunsten |
| Citation Key | dereasoning |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):