19 citations · 43 across the 14 of their papers we have counts for
5 papers · 1 filter
Second derivatives of -adic -functions and the Shafarevich--Tate group of rank-two CM elliptic curves
Barinder S. Banwait
For an elliptic curve of rank two with complex multiplication, Coates, Liang and Sujatha gave a criterion for the vanishing of at a goo…
Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves
Barinder S. Banwait, Xiaoyu Huang, Kyu-Hwan Lee +3
We investigate the extent to which the coefficients of the reduced minimal Weierstrass model of an elliptic curve are determined by the Diric…
A formal proof of the Ramanujan--Nagell theorem in Lean 4
Barinder S. Banwait
We present a complete formalization, in the Lean interactive theorem prover with the Mathlib library, of the Ramanujan--Nagell theorem: the only integer solutions to the Diophantin…
On the Visibility category of the Shafarevich--Tate group
Barinder S. Banwait, Jerson Caro, Shiva Chidambaram
Given an elliptic curve over $\Q$ and a nontrivial element of its Shafarevich--Tate group $\Sha(E)$, we introduce the \textbf{Visualization category} $\V(E; σ)$ of abelian…
On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture
Barinder S. Banwait, Xiaoyu Huang
Recent work of Burungale-Skinner-Tian-Wan established the first infinite families of quadratic twists of non-CM elliptic curves over for which the strong Birch-Swinner…