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


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:18 - 5 self

Active Bibliography

unknown title – Benjamin Grégoire, Laurent Théry
175 Elliptic Curves And Primality Proving – A. O. L. Atkin, F. Morain - 1993
AUTOMATIC PROOF OF GRAPH NONISOMORPHISM – Arjeh M. Cohen, Jan Willem Knopper, Scott, H. Murray
The Calculemus – Christoph Benzmüller, Corinna Hahn
6 Proof Synthesis and Reflection for Linear Arithmetic – Amine Chaieb, Tobias Nipkow
2 Mechanized quantifier elimination for linear real-arithmetic in Isabelle/HOL – Amine Chaieb
57 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
58 PERSISTENCE BARCODES FOR SHAPES – Gunnar Carlsson , Afra Zomorodian, Anne Collins, Leonidas Gubias - 2008
45 Asymptotic Behaviour of the Degree of Regularity of SemiRegular Polynomial Systems – M. Bardet, J. -c. Faugère, B. Salvy, B-y. Yang