Reasoning with computer-assisted experiments in mathematics - De Mol, Liesbeth (Third Workshop in the Philosophy of Information, 2012)