skip to content

Department of Pure Mathematics and Mathematical Statistics

Publications

A Formal Proof of Complexity Bounds on Diophantine Equations
J Bayer, M David
(2025)
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
S Frieder, J Bayer, KM Collins, J Berner, J Loader, A Juhász, F Ruehle, S Welleck, G Poesia, R-R Griffiths, A Weller, A Goyal, T Lukasiewicz, T Gowers
(2024)
Mathematical Proof Between Generations.
J Bayer, C Benzmüller, K Buzzard, M David, L Lamport, Y Matiyasevich, L Paulson, D Schleicher, B Stock, E Zelmanov
– CoRR
(2024)
abs/2207.04779,
1
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
J Bayer, A Gonus, C Benzmüller, DS Scott
(2023)
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
J Bayer, A Gonus, C Benzmüller, DS Scott
(2023)
14101,
69
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
J Bayer, M David, A Pal, B Stock
(2021)
Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle
J Bayer, M David, A Pal, B Stock
(2019)
11617,
16
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)

Research Group

Combinatorics

Room

C0.04

Telephone

01223 337975