Tecniche di dimostrazione automatica e interattiva di teoremi al compute per problemi di geometria, algebra, analisi reale e complessa.
Informazioni
- Anno accademico
- 2023-2024
- Semestre / Annualità
- Primo Semestre
- Docente: MAGGESI MARCO
Accesso al corso
Per visualizzare il materiale didattico, partecipare alle attività o verificare lo stato della tua iscrizione, accedi alla pagina.