Carmin.tv

Mathematics
and Interactions

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

Not Only Scalar Curvature Seminar

Geometric structures and discrete group actions / Structures géométriques et actions de groupes discrets
4 videos

Geometric structures and discrete group actions / Structures géométriques et actions de groupes discrets

Misha Gromov : Mathematical Description of Biological Structures
4 videos

Misha Gromov : Mathematical Description of Biological Structures

Applications of NonCommutative Geometry to Gauge Theories, Field Theories, and Quantum Space-Time / Applications de la Géométrie Non Commutative aux Théories de Jauge, à la Théorie des Champs et aux Espaces-Temps Quantiques
5 videos

Applications of NonCommutative Geometry to Gauge Theories, Field Theories, and Quantum Space-Time / Applications de la Géométrie Non Commutative aux Théories de Jauge, à la Théorie des Champs et aux Espaces-Temps Quantiques

All the collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
All the institutions
00:00:00 / 00:00:00

Formalizing the proof of the Kepler Conjecture

By Thomas C. Hales

Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics

Thomas Hales (University of Pittsburgh): Formalizing the proof of the Kepler Conjecture

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 question

Ask 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
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