Uso euristico degli elaboratori in ricerca matematica.