Jonas Bayer

Publications

Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle

J Bayer, M David, A Pal, B Stock

(2019)

11617,

Beeindruckende Mathematik-Erfolge im 53. Bundeswettbewerb ,Jugend forscht‘

J Bayer, M David, S Dubischar, M Haßler, A Pal, M Schmalian, B Stock, S Schiemann

– Mitteilungen der Deutschen Mathematiker-Vereinigung

(2018)

26,

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

B Stock, A Pal, MA Oprea, Y Liu, MS Hassler, S Dubischar, P Devkota, Y Deng, M David, B Ciurezu, J Bayer, D Aryal

(2018)

(doi: 10.29007/3q4s)