Geometria Computazionale Simbolica

La classe Moodle del corso è adesso disponibile per l'iscrizione spontanea: https://e-l.unifi.it/course/view.php?id=37551

Lezione annulata (Geometria Computazionale Simbolica)

La lezione di Geometria Computazionale Simbolica di domani venerdì 22 settembre è annullata.

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.

• Nato a Firenze nel 1971.
• Laureato in Matematica presso l'Università di Firenze nel 1994.
• Dottorato di ricerca in Matematica presso l'Università di Firenze nel 2000 (tesi in Geometria Algebrica).
• Postdoc e alte posizioni di ricerca a tempo determinato (nel periodo dal 2000 al 2005):
  • Università di Milano
  • Università di Firenze,
  • Università di Nizza (Francia),
  • CNRS (Nizza, Francia).
• Ricercatore in Matematica (Geometria) presso il dipartimento di Matematica e Informatica dell'Università di Firenza dal 2005.

Geometria, calcolo scientifico.

Fondamenti della matematica, dimostrazione formale.

Calcolo simbolico, dimostrazione interattiva.

• Born in Florence (Italy) in 1971.
• Graduation in Mathematics from the University of Florence in 1994.
• PhD in Mathematics from the University of Florence in 2000 (dissertation in Algebraic Geometry).
• Post doc positions and other temporary research positions (2000-2005):
  • University of Milan (Italy),
  • University of Florence (Italy),
  • University of Nice (France),
  • CNRS (Nice, France).
• Researcher in Matematics (Geometry) at the Dept. of Mathematics and Computer Science of the University of Florence, since 2005.

Geometry, scientific calculus.

Foundations of Mathematics, formal proofs.

Symbolic calculus, interactive theorem proving.