Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
12 videos
2025 IHES Summer School – Statistical Aspects of Nonlinear Physics
6 videos
Mathematics for an by Large Language Models – 2025 Edition
19 videos
Fuzzy Sphere Meets Conformal Bootstrap 2025
14 videos
Physics and Mathematics of hydrodynamic and wave turbulence / Physique et Mathématiques de la turbulence hydrodynamique et de la turbulence d'ondes
All the collections
All the institutions
Keywords
> proof engineering
Videos linked to proof engineering
48:34
published on
June 20, 2022
Functional Encodings of Mathematics
By Georges Gonthier
More +
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
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
