The DPRM Theorem in Isabelle (Short Paper). - Jonas Bayer; Marco David; Abhik Pal; Benedikt Stock; Dierk Schleicher (ITP, 2019)

Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. - Jonas Bayer; Marco David; Abhik Pal; Benedikt Stock (CICM, 2019)

Digit Expansions. - Jonas Bayer; Marco David; Abhik Pal; Benedikt Stock (Arch. Formal Proofs, 2022)

Diophantine Equations and the DPRM Theorem. - Jonas Bayer; Marco David; Benedikt Stock; Abhik Pal; Yuri V. Matiyasevich; Dierk Schleicher (Arch. Formal Proofs, 2022)