Alessandro Giovini is an author at University of Pisa specializing in automated reasoning.
Top concepts
Publications per year
1991–1992
2
2
“One sugar cube, please” or selection strategies in the Buchberger algorithm
Alessandro Giovini, Teo Mora, Gianfranco Niesi et al. · 1991 · 142 citations · Full text
Rows per page
1–2 of 2