Grigorov, Jorza, Patrikis, Stein, and CE Tarnita. 2009. “Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves.”. AMS Journal "Mathematics of Computation" 78: 2397-2425.