Numerical study of refined conjectures of the BSD type

In 1987, Mazur and Tate stated conjectures which, in some cases, resemble the classical Birch-Swinnerton-Dyer conjecture and its $p$-adic analog. We study experimentally three conjectures stated by Mazur and Tate using SageMath. Our findings indicate discrepancies in some of the original statements of some of the conjectures presented by Mazur and Tate. However, a slight modification on the statement of these conjectures does appear to hold.