Experiments and expectations in computational algebra

Abstract: Experimental results have long played a key role in number theory, suggesting conjectures, testing heuristics, and guiding the development of algorithms. At the same time, the scale and complexity of modern computations raise new horizons for these experiments and new questions for how we use computational algebra software. In this talk, I will discuss several recent examples. The first is joint work with Blair Butler and Edgar Costa on a statistical approach to understanding ranks of elliptic curves. The second is joint work with Andreas-Stephan Elsenhans on computing class groups of number fields. I will conclude with some general questions about our expectations for computer algebra systems and how these expectations may evolve as formalization and AI/machine learning tools become increasingly integrated into mathematical practice.

number theory

Audience: researchers in the topic

UNSW Number Theory Seminar

Series comments: The UNSW Number Theory Seminar has been running in the School of Mathematics and Statistics, UNSW Sydney, since 2015. The seminar usually takes place every two weeks on Wednesdays, 2 - 4 pm, with two talks scheduled each seminar, followed by refreshments and discussions.