Jonas Bayer

Publications

The DPRM Theorem in Isabelle

J Bayer, M David, A Pal, B Stock, D Schleicher

– 10TH INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING, ITP 2019

(2019)

141,

ARTN 33

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)