Tecniche di dimostrazione automatica e interattiva di teoremi al compute per problemi di geometria, algebra, analisi reale e complessa.
Anno accademico: 2023-2024
Semestre / Annualità: Primo Semestre
- Teacher: MAGGESI MARCO