skip to content
Home

Department of Pure Mathematics and Mathematical Statistics

Jonas Bayer

Publications

Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
J Bayer, M David, A Pal, B Stock
(2019)
11617,
16
(doi: 10.1007/978-3-030-23250-4_2)
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,
33
(doi: 10.4230/LIPIcs.ITP.2019.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,
55
(doi: 10.1515/dmvm-2018-0021)
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)
  • <
  • 2 of 2

Research Group

Combinatorics

Room

C0.04

Personal homepage

http://jonasbayer.de

    Study at Cambridge

    About the University

    Research at Cambridge