Unsolvability of the Quintic Formalized in Dependent Type Theory - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2021

Unsolvability of the Quintic Formalized in Dependent Type Theory

Domaines

Théorie des groupes [math.GR] Anneaux et algèbres [math.RA] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
main.pdf (545.87 Ko) Télécharger le fichier
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 : jeudi 14 novembre 2024-16:42:02

Archivage à long terme le : lundi 10 mai 2021-18:44:32

Télécharger pour visualiser

Dates et versions

hal-03136002 , version 1 (09-02-2021)
hal-03136002 , version 2 (20-04-2021)
hal-03136002 , version 3 (21-04-2021)
hal-03136002 , version 4 (02-05-2021)

Identifiants

  • HAL Id : hal-03136002 , version 1

Citer

Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub. Unsolvability of the Quintic Formalized in Dependent Type Theory. 2021. ⟨hal-03136002v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
611 Consultations
768 Téléchargements

Partager

More