Kevin Buzzard

Intelligent Computer Mathematics
L-Functions and Galois Representations
Mathematical Software - ICMS 2024