Unsolvability of the Quintic Formalized in Dependent Type Theory
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Cyril Cohen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03136002
Soumis le : mardi 9 février 2021-13:48:52
Dernière modification le : lundi 26 février 2024-11:22:14
Archivage à long terme le : lundi 10 mai 2021-18:44:32