Formalizing the proof of the Kepler Conjecture
Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics
Thomas Hales (University of Pittsburgh): Formalizing the proof of the Kepler Conjecture
Mathematics
and Interactions
00:00:00 / 00:00:00
Information about the video
- Date of publication 22/04/2014
- Institution IHP
- Licence CC BY-NC-ND
- Format MP4
Domain(s)
MSC codes
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk a question on MathOverflow
Register
- Bookmark videos
- Add videos to see later &
keep your browsing history - Comment with the scientific
community - Get notification updates
for your favorite subjects
