A computational approach to pocklington certificates in type theory (2006)

Cached

Download Links

by Benjamin Grégoire , Laurent Théry , Benjamin Werner
Venue:In Proc. of the 8th Int. Symp. on Functional and Logic Programming, volume 3945 of LNCS
Citations:10 - 3 self

Documents Related by Co-Citation

635 publications by the team in recent years – Major
340 Interactive theorem proving and program development. Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
38 Using Reflection to Build Efficient and Certified Decision Procedures – Samuel Boutin - 1997
57 A Compiled Implementation of Strong Reduction – Benjamin Grégoire, Inria Rocquencourt, Xavier Leroy
8 A purely functional library for modular arithmetic and its application to certifying large prime numbers – B Grégoire, L Théry - 2006
2 Grégoire and Assia Mahboubi. Proving ring equalities done right in Coq – Benjamin
4 The CAML Numbers Reference Manual – Valérie Ménissier-Morain - 1992
5 Formal global optimisation with taylor models – R Zumkeller - 2006
16 C’est maintenant qu’on calcule: au cœur de la dualité. Habilitation thesis – H Herbelin - 2005
20 Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curves – Alin Bostan, Pierrick Gaudry, Éric Schost - 2004
8 An L(1/3 + ε) algorithm for the discrete logarithm problem in low degree curves – Andreas Enge, Pierrick Gaudry
55 Standard specifications for public key cryptography – IEEE - 2000
12 Proposal for a standardization of mathematical function implementation in floating-point arithmetic – David Defour, Nathalie Revol , Paul Zimmermann , et al. - 2004
35 MPFR: A multiple-precision binary floating-point library with correct rounding – Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann - 2007
33 A double large prime variation for small genus hyperelliptic index calculus – P. Gaudry, E. Thomé, N. Thériault, C. Diem - 2004
6 Computing relations in divisor class groups of algebraic curves over finite fields – Florian Hess - 2004
554 Factoring polynomials with rational coefficients – A K Lenstra, H W Lenstra, L Lovász - 1982
3 Implementing the cylindrical algebraic decomposition within the coq system – Assia Mahboubi - 2007
3 Karatsuba square root – P Zimmermann - 1999