Birch-swinnerton-dyer conjecture