Avvisi
L. Poggiolini
Metodi Matematici
La lezione di martedì 22 settembre è annullata per missione scientifica.
18.09.2026
M. Maggesi
Novità per Geometria Computazionale Simbolica
Da quest'anno il corso si concentrerà sulla programmazione con il theorem prover Lean. È disponibile una nuova presentazione del corso: https://bit.ly/4yGgOzI Il corso inizia lunedì 21 settembre.
17.09.2026