Unsolvability of the Quintic Formalized in Dependent Type Theory - Laboratoire d'informatique de l'X (LIX) Accéder directement au contenu
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 : lundi 26 février 2024-11:22:14

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
496 Consultations
668 Téléchargements

Partager

Gmail Facebook X LinkedIn More