- 1
David Delahaye
1
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant2005
Pré-publication, Document de travail
hal-00009425v1
|