Il martedì dalle 14:30 alle 16:30 durante lo svolgimento dei corsi oppure su appuntamento.
È gradito un messaggio email di preavviso.
In caso di necessità, inviare una email per concordare un appuntamento fuori dall'orario di ricevimento.
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.