Jonas Bayer

According to our database, Jonas Bayer authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation.

Jonas Bayer, Aleksey Gonus, Christoph Benzmüller, Dana S. Scott

CoRR, 2023

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation.

Jonas Bayer, Alexey Gonus, Christoph Benzmüller, Dana S. Scott

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022

Mathematical Proof Between Generations.

Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov

CoRR, 2022

Diophantine Equations and the DPRM Theorem.

Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher

Arch. Formal Proofs, 2022

Digit Expansions.

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock

Arch. Formal Proofs, 2022

2019

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

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

The DPRM Theorem in Isabelle (Short Paper).

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019