About me | Papers and Preprints | CV | Contact |
Hello! Thanks for visiting!
I spend much of my time these days thinking about Galois representations associated to modular newforms, and how to compute them in Sage. See my list of publications for more on my mathematical interests.
I've also recently been getting into automated theorem proving using the Lean Theorem Prover. See my Github for my introductory Lean project: formalising the definition of what it means for an integral domain to be integrally closed, and thereafter proving the theorem that an integral domain is integrally closed if and only if it is integrally closed in its field of fractions:
lemma fundamental_theorem_integrally_closedness (R : Type u) (A : Type v)
[integral_domain R] [comm_ring A] [algebra R A] (H : fraction_map R A):
is_integrally_closed R ↔ is_integrally_closed_in R A :=
I can also be found hanging-out on Mathoverflow:
Email address: barinder.s.banwait - the AT symbol - gmail.com
![]() |
Look around the webring!
[prev] [random] [next] |