Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Primality certificate

Known as: Pratt certificate, Atkin-Goldwasser-Kilian-Morain certificate, Pratt certificates 
In mathematics and computer science, a primality certificate or primality proof is a succinct, formal proof that a number is prime. Primality… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
In 1977, Strassen invented a famous baby-step / giant-step algorithm that computes the factorial N! in arithmetic complexity… Expand
2018
2018
Abstract In order to resolve the key escrow in identity-based scheme and the significant cost of using a PKI system in… Expand
Highly Cited
2016
Highly Cited
2016
Very deep convolutional networks with hundreds of layers have led to significant reductions in error on competitive benchmarks… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
2013
2013
In this paper we present several algorithms that can find proofs of primality in deterministic polynomial time for some primes… Expand
2013
2013
Formula simplification is important for the performance of SAT solvers. However, when applied until completion, powerful… Expand
Highly Cited
2007
Highly Cited
2007
Kernel regression is a well-established method for nonlinear regression in which the target value for a test point is estimated… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2001
2001
This paper focuses on how to use Pocklington?s criterion to produce efficient formal proof-objects for showing primality of large… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • table 1
2001
2001
The standard OpenMath is an enabling technology for creating an integrated computer environment in which software packages for… Expand
  • table 1
2001
2001
We describe in this article how we have been able to extend the record for computationsof discrete logarithmsin characteristic 2… Expand
  • figure 1
  • table 1