Birch–Swinnerton–Dyer conjecture