Abhik Pal

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Top Venues

Arch. Formal Proofs

Publications

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
Digit Expansions. Arch. Formal Proofs 2022 (2022)
Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher
Diophantine Equations and the DPRM Theorem. Arch. Formal Proofs 2022 (2022)
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. CoRR (2021)
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. CICM (2019)
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher
The DPRM Theorem in Isabelle (Short Paper). ITP (2019)