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
- Enseignant: MAGGESI MARCO