files / problems / chowla-cosine / compute

..
aux_rho.py4.1 KB
aux_search.json336 B
certificate.json2.7 KB
CONSTANTS.md2.8 KB
lemma71_bounds.py2.1 KB
lemma72.json191 B
optimize_aux.py4.6 KB
qsqrt2.py6.2 KB
README.md718 B
run_all.sh230 B
track_constants.py8.3 KB
verify_certificate.json254 B
verify_certificate.py4.2 KB
verify_lemma72.py3.7 KB

This folder on GitHub