@article{BUMI_1999_8_2A_1_a6,
     author = {de Giovanni, Francesco and Landolfi, Tommaso},
     title = {Le dimostrazioni di teoremi fondate sull{\textquoteright}uso di calcolatori},
     journal = {Bollettino della Unione matematica italiana},
     pages = {69--81},
     publisher = {mathdoc},
     volume = {Ser. 8, 2A},
     number = {1},
     year = {1999},
     zbl = {1086.68587},
     mrnumber = {170494},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1_a6/}
}