Le dimostrazioni di teoremi fondate sull’uso di calcolatori Francesco de Giovanni; Tommaso Landolfi — 1999 Bollettino dell'Unione Matematica Italiana