Complete verification of strong BSD for many modular abelian surfaces over $\mathbf{Q}$

Timo Keller, Michael Stoll

We develop the theory and algorithms necessary to be able to verify the strong Birch--Swinnerton-Dyer Conjecture for absolutely simple modular abelian varieties over $\mathbf{Q}$.…