Skip to content

Latest commit

 

History

History
13 lines (9 loc) · 2.31 KB

README.md

File metadata and controls

13 lines (9 loc) · 2.31 KB

Analytic Number Theory Exponent Database

License: Apache 2.0 Code Style: Black

This is the repository for the Analytic Number Theory Exponent Database (ANTEDB), an ongoing project to systematically record known theorems for various exponents appearing in analytic number theory, as well as the relationships between them. Currently, the database is recording facts and conjectures on exponent pairs, exponential sum bounds, zero-density and moment bounds for the Riemann zeta-function, large value estimates, additive energy bounds and exponents related to prime distributions, amongst other results (the full list of exponents can be found here). The database aims to organise and record theorems and relationships as both human-readable proofs and as executable python code. This builds upon the tables of exponent pairs and other related exponents that were collected in this paper of Trudgian and Yang, and aims to fulfil the vision set out in this blog post of Terence Tao.