Laboratorio: Dimostrazione Automatica in Geometria Elementare (8122S) Anno accademico: 2007/2008 Corso di studi in: Laurea Magistrale in Matematica
	Laboratorio: Dimostrazione Automatica in Geometria Elementare - a.a. 2008/09 (vedi Avvalenza) Anno accademico: 2008/2009 Corso di studi in: Laurea Specialistica in Matematica