Reasoning with computer-assisted experiments in mathematics
| Title | Reasoning with computer-assisted experiments in mathematics |
| Publication Type | Conference Proceedings |
| Authors | De Mol, L |
| Editor | Primiero, G, Allo, P |
PDF author (public):
| Title | Reasoning with computer-assisted experiments in mathematics |
| Publication Type | Conference Proceedings |
| Authors | De Mol, L |
| Editor | Primiero, G, Allo, P |