As you may know, Prof. Terence Tao will be launching and moderating a Polymath project to upper bound the de Bruijn-Newman constant (dBN constant for brevity). This will involve both 1) an Analytic or theory part (hard math) to derive/refine several formulas and estimates, and 2) a computational part to check whether the de Bruijn family of functions H_t are zero free in the regions marked for numerical verification.

This repo is meant to facilitate the computational aspect.

For general direction, theory, blogposts, discussions on latest results, etc. please head to Prof. Tao's blog

For the Polymath proposal, please check this link

For the wiki, comprehensive list of papers, permanent record of results, please head to the Polymath webpage

1. Python 3.6
2. Packages in python_requirements.txt

For other languages, please update accordingly

The algorithms can likely run on any machine, but better configs will certainly help

1. Install the virtual environment

python3.6 -m venv venv

2. Activate the virtual environment

source venv/bin/activate

3. Make sure you have the required packages inside the virtual environment.

pip install -r python_requirements.txt

Please express your results here. A sample format can be your name or handle, t checked, T and epsilon verified, etc. Once there are multiple results, we can arrange it as a table. Also, once you are sure about your results, please update them or ask them to be updated on the Polymath page as well.

Do double check your results, and triple check especially if you find a non real zero for any t>0, since the implications are huge!