I investigate the Birch and Swinnerton-Dyer conjecture, which ties together the constellation of invariants attached to an abelian variety. I attempt to verify this conjecture for certain specific modular abelian varieties of dimension greater than one. The key idea is to use Barry Mazur's notion of visibility, coupled with explicit computations, to produce lower bounds on the Shafarevich-Tate ...