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.
generated from pitmonticone/LeanProject
-
Notifications
You must be signed in to change notification settings - Fork 1
Exponent pair database
License
teorth/expdb
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Exponent pair database
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published