Computer-verified proofs: 48 hours in Rome

Appearance

Event Team

Department of Mathematics, University of Rome Tor Vergata.

Supported by MIUR Excellence Department Project MatMod@TOV