00:00:00 / 00:00:00

Formalizing the proof of the Kepler Conjecture

De Thomas C. Hales

Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics

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

Informations sur la vidéo

  • Date de publication 22/04/2014
  • Institut IHP
  • Format MP4

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis