Experimental methods in proofs
pp. 65-79
in: Rossella Lupacchini, Giovanna Corsi (eds), Deduction, computation, experiment, Berlin, Springer, 2008Abstract
The presence of experimental methods in mathematics has been the leit-motiv of the so called, by Imre Lakatos in [12], renaissance of empiricism in the philosophy of mathematics.
