Per appuntamento via email (marco.maggesi@unifi.it) oppure il martedì dalle 14:30 alle 16:30 (è gradito comunque un messaggio email di preavviso). Nel messaggio precisare se si preferisce un ricevimento online o in presenza.
Geometria, calcolo scientifico.
Fondamenti della matematica, dimostrazione formale.
Calcolo simbolico, dimostrazione interattiva.
Legenda
Geometry, scientific calculus.
Foundations of Mathematics, formal proofs.
Symbolic calculus, interactive theorem proving.