Yang, Andrew

1. Explicit zero-free regions for the Riemann zeta-function
   2022/12/13 by Mossinghoff, Michael J., Trudgian, Timothy S., Yang, Andrew · 4 citations
   #11M26 #11Y35 #42A05 #FOS: Mathematics #Number Theory (math.NT)
2. Some explicit estimates for the error term in the prime number theorem
   2022/04/05 by Daniel R. Johnston, Andrew Yang, Johnston, Daniel R. +1 · 3 citations
   Mathematics · #11N05 #11Y70 (Primary) 11M26 (Secondary) #Analytic Number Theory Research #FOS: Mathematics #Number Theory (math.NT)
3. A complete formalization of Fermat's Last Theorem for regular primes in Lean
   2024/10/02 by Best, Alex, Birkbeck, Christopher, Brasca, Riccardo +3 · 1 voice
   #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Number Theory (math.NT)
4. Toward optimal exponent pairs
   2023/06/09 by Trudgian, Timothy S., Yang, Andrew · 1 citation
   #11L07 #11M06 #11T23 (Primary) #FOS: Mathematics #Number Theory (math.NT)
5. On the generalised Dirichlet divisor problem
   2023/03/09 by Chiara Bellotti, Andrew Yang, Bellotti, Chiara +1 · 1 citation
   Mathematics · #11N37 (Primary) 11M06 (Secondary) #11N56 #Advanced Harmonic Analysis Research #Analytic Number Theory Research #FOS: Mathematics #Number Theory (math.NT)