Rewriting treatment of the verification to the right of the barrier

km-git-acc / dbn_upper_bound

Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project

Other

13 stars 12 forks source link

Closed teorth closed 5 years ago