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:14 - 4 self

Active Bibliography

The Calculemus – Christoph Benzmüller, Corinna Hahn - 2005
6 Proof synthesis and reflection for linear arithmetic. Submitted – Amine Chaieb, Tobias Nipkow, Technische Universität München - 2006
1 Mechanized quantifier elimination for linear real-arithmetic in Isabelle/HOL – Amine Chaieb, Technische Universität München
2 Computer-assisted proofs – Arnold Neumaier - 2006
13 Certifying solutions to permutation group problems – Arjeh Cohen, Scott H. Murray, Martin Pollet, Volker Sorge - 2003
12 Verification of the Miller-Rabin Probabilistic Primality Test – Joe Hurd - 2003
A Problem Concerning a Character Sum (Extended Abstract) – E. Teske, H.C. Williams, Technische Universitat Darmstadt
3 System Description: Interface between Theorema And External Automated Deduction Systems – Temur Kutsia, Koji Nakagawa - 2001
4 Integration of Deduction and Computation – Jacques Calmet, Clemens Ballarin, Peter Kullmann - 2000
Information technology implications . . . – Marco Maggesi, Carlos Simpson
Under consideration for publication in Formal Aspects of Computing The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 1 – Richard Banach, Marco Bozzano
6 New Fibonacci and Lucas primes – Harvey Dubner, Wilfrid Keller - 1999
22 Primality testing using elliptic curves – Shafi Goldwasser, Joe Kilian - 1999
21 Fast Generation of Prime Numbers and Secure Public-Key Cryptographic Parameters – Ueli M. Maurer - 1995
162 Elliptic Curves And Primality Proving – A. O. L. Atkin, F. Morain - 1993
12 Formal proof—theory and practice – John Harrison - 2008
A Fermat-like Sequence . . . – Yannick Saouter - 1995
A Fermat-like sequence and primes of the form 2h.3^n +1 – Yannick Saouter - 1995
2 DISTRIBUTED PRIMALITY PROVING AND THE PRIMALITY OF (2^3539+ 1)/3 – François Morain - 1991