Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Not Only Scalar Curvature Seminar
58 videos

Not Only Scalar Curvature Seminar

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday
8 videos

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models
2 videos

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens
4 videos

Lean for the curious mathematician / Lean pour mathématiciens

All the collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
All the institutions
formal proof

Keywords > formal proof

Copyright Carmin.tv 2024
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback