Semplice, leggibile e interessante. Riflettendo su alcune linee di ricerca in dimostrazione automatica in geometria, Pierluigi Graziani (Università di Urbino)