1817 search results - page 20 / 364 » Forcing and Type Theory |
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
114
Voted
AC
2000
Springer
15 years 7 months ago
2000
Springer
241
Voted
LCC
1994
15 years 7 months ago
1994
120
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...