Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
2 videos
Yin-Chen He : Fuzzy Sphere Meets CFT : 3D Ising, Fermions and Gauge Theories
89 videos
Not Only Scalar Curvature Seminar
5 videos
COSA : Interactions in applied mathematics for economics, finance and Insurance / Interactions en mathématiques appliquées à l'économie, la finance et l'assurance
9 videos
The Pentagram Map and Ramifications
All the collections
All the institutions
Thomas C. Hales
zbMATH link
2 videos
01:10:24
published on
June 21, 2014
[1086] Developments in formal proofs
By Thomas C. Hales
43:18
published on
April 22, 2014
Formalizing the proof of the Kepler Conjecture
By Thomas C. Hales
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
