Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
MALINCA Kick-off meeting
13 videos

MALINCA Kick-off meeting

Bourbaki - Novembre 2025
4 videos

Bourbaki - Novembre 2025

Not Only Scalar Curvature Seminar
80 videos

Not Only Scalar Curvature Seminar

Summer School 2022 - Cohomology, Geometry and Explicit number theory (COGENT)
55 videos

Summer School 2022 - Cohomology, Geometry and Explicit number theory (COGENT)

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
theorem proving

Keywords > theorem proving

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