The DPRM theorem in Isabelle (short paper) J Bayer, M David, A Pal, B Stock, D Schleicher 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 14* | 2019 |
Diophantine Equations and the DPRM Theorem J Bayer, M David, B Stock, A Pal, Y Matiyasevich, D Schleicher Archive of Formal Proofs, 2022 | 6 | 2022 |
Beginners’ quest to formalize mathematics: A feasibility study in Isabelle J Bayer, M David, A Pal, B Stock Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019 | 5 | 2019 |
Beeindruckende Mathematik-Erfolge im 53. Bundeswettbewerb, Jugend forscht ‘ J Bayer, M David, S Dubischar, M Haßler, A Pal, M Schmalian, B Stock, ... Mitteilungen der Deutschen Mathematiker-Vereinigung 26 (2-3), 55-61, 2018 | 1 | 2018 |
Digit Expansions J Bayer, M David, A Pal, B Stock Archive of Formal Proofs, 2022 | | 2022 |