most citedDiophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant

1 citations

researchers with a paper here
collaborating institutions

4 papers

cs.LO2005★ 1 cited

Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant

David Delahaye, Micaela Mayero

We present the proof of Diophantus' 20th problem (book VI of Diophantus' Arithmetica), which consists in wondering if there exist right triangles whose sides may be measured as int…

math.NT2005

Conjecture de l'inertie modérée de Serre

Xavier Caruso

Let K be a local field of mixte characteristics. We assume that the residue field is perfect. Let X\_K be a proper smooth scheme over K admitting an integer model X which is proper…

math.AC2005

A Computational Solution to a Question by Beauville on the Invariants of the Binary Quintic

Abdelmalek Abdesselam

We obtain an alternate proof of an injectivity result by Beauville for a map from the moduli space of quartic del Pezzo surfaces to the set of conjugacy classes of certain subgroup…

math.NT2005

On the critical pair theory in Z/pZ

Yahya Ould Hamidoune, Oriol Serra, Gilles Zemor

Let A and B be subsets of Z/pZ such that |A+B| < |A|+|B|+2. We prove that, if |A|>3, |B|>4, |A+B|<p-4 and p > 52, then A and B are included in arithmetic progressions with the same…