Formalized Analytic Number Theory
Principal Investigator: Alex Kontorovich
Affiliation: Distinguished Professor and Chair, Department of Mathematics
Amount: $305,000
Sponsor: National Science Foundation
Enter a Search Term
Formalized Analytic Number Theory
Principal Investigator: Alex Kontorovich
Affiliation: Distinguished Professor and Chair, Department of Mathematics
Amount: $305,000
Sponsor: National Science Foundation
