Digitizing the Group Theory of the Odd Order Theorem | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Digitizing the Group Theory of the Odd Order Theorem

De Georges Gonthier

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

Georges Gonthier (Microsoft Research, Cambridge, and Microsoft INRIA Joint Center, Palaiseau): Digitizing the Group Theory of the Odd Order Theorem

Informations sur la vidéo

Date de publication 22/04/2014
Institut IHP
Licence CC BY-NC-ND
Format MP4

Domaine(s)

Codes MSC

Dernières questions liées sur MathOverflow

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

Poser une question sur MathOverflow

Copyright Carmin.tv 2025

Donner son avis