Tecniche di dimostrazione automatica e interattiva di teoremi al compute per problemi di geometria, algebra, analisi reale e complessa.
Information
- Anno accademico
- 2023-2024
- Semestre / Annualità
- Primo Semestre
- Teacher: MAGGESI MARCO
Course access
To view course materials, participate in activities, or check your registration status. Go to the page.