Barinder S. Banwait

According to our database, Barinder S. Banwait authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2026

A formal proof of the Ramanujan-Nagell theorem in Lean 4.

Barinder S. Banwait

CoRR, April, 2026

2025

Machine learning approaches to the Shafarevich-Tate group of elliptic curves.

Angelica Babei, Barinder S. Banwait, AJ Fong, Xiaoyu Huang, Deependra Singh

Int. J. Data Sci. Math. Sci., December, 2025