Speaker: Tim Trudgian
Affiliation: UNSW Canberra at ADFA
Abstract
I would have spelled out the acronym, the Analytic Number Theory Exponent Database, but that wouldn’t fit on our fetching red caps! I will talk about some recent work with Terry Tao and Andrew Yang that combines number theory with formal proofs in Lean and such like. The goal is to build a grassroots movement of contributors to the noble cause,
http://github.com/teorth/expdb
so that, together, we can Make Analytic Number Theory Great Again!
About Pure mathematics seminars
We present regular seminars on a range of pure mathematics interests. Students, staff and visitors to UQ are welcome to attend, and to suggest speakers and topics.
Seminars are usually held on Tuesdays from 2 to 3pm.
Talks comprise 45 minutes of speaking time plus five minutes for questions and discussion.
Information for speakers
Researchers in all pure mathematics fields attend our seminars, so please aim your presentation at a general mathematical audience.
Contact us
To volunteer to talk or to suggest a speaker, email Ole Warnaar or Yang Zhang.
Venue
Room: 442