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
- Enseignant: MAGGESI MARCO
Accès au cours
Pour consulter le matériel de cours, participer aux activités ou vérifier l'état de votre inscription, veuillez visiter la page.