Abhik Pal: Research

I am interested in representation theory, algebraic geometry, and commutative algebra and am working with Steven Sam.

I wrote my BSc. thesis with Ivan Penkov; it was titled "Loewy Lengths of Indecomposable Injective Objects in Certain Universal Tensor Categories". Previously, I was also interested in interactive theorem proving; however I am no longer working on this.

Articles, software, etc

  1. Diophantine Equations and the DPRM Theorem
    (with Jonas Bayer, Marco David, Benedikt Stock, Yuri Matiyasevich, Dierk Schleicher)
    Arch. Formal Proofs (2022).
  2. Digit Expansions
    (with Jonas Bayer, Marco David, Benedikt Stock)
    Arch. Formal Proofs (2022).
  3. The DPRM Theorem in Isabelle
    (with Jonas Bayer, Marco David, Benedikt Stock, Dierk Schleicher)
    LIPIcs. Leibniz Int. Proc. Inform., 141, (ITP 2019), pp. 33:1-33:7 (2019).