| Symplectic learning for Hamiltonian neural networks M David, F Méhats Journal of Computational Physics 494, 112495, 2023 | 20 | 2023 |
| The DPRM theorem in Isabelle (short paper) J Bayer, M David, A Pal, B Stock, D Schleicher 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 9 | 2019 |
| Hilbert meets Isabelle: Formalisation of the DPRM theorem in Isabelle B Stock, A Pal, MA Oprea, Y Liu, MS Hassler, S Dubischar, P Devkota, ... EasyChair Preprint, 2018 | 6* | 2018 |
| Diophantine equations and the DPRM theorem J Bayer, M David, B Stock, A Pal, Y Matiyasevich, D Schleicher Archive of Formal Proofs, 2022 | 5 | 2022 |
| Beginners’ quest to formalize mathematics: A feasibility study in Isabelle J Bayer, M David, A Pal, B Stock Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019 | 5 | 2019 |
| Mathematical proof between generations J Bayer, C Benzmüller, K Buzzard, M David, L Lamport, Y Matiyasevich, ... Notices of the American Mathematical Society (Jan. 2024 Issue) 71, pp. 79-92, 2024 | 4 | 2024 |
| Generalized fast quasiadiabatic population transfer for improved qubit readout, shuttling, and noise mitigation F Fehse, M David, M Pioro-Ladriere, WA Coish Physical Review B 107 (24), 245303, 2023 | 2 | 2023 |
| Beeindruckende Mathematik-Erfolge im 53. Bundeswettbewerb, Jugend forscht ‘ J Bayer, M David, S Dubischar, M Haßler, A Pal, M Schmalian, B Stock, ... Mitteilungen der Deutschen Mathematiker-Vereinigung 26 (2-3), 55-61, 2018 | 1 | 2018 |
| Making Math More Rigorous J Bayer, C Benzmller, K Buzzard, M David, L Lamport, Y Matiyasevich, ... | | 2022 |
| Digit Expansions J Bayer, M David, A Pal, B Stock Arch. Formal Proofs 2022, 2022 | | 2022 |
Benedikt StockUniversity of OxfordAdresse e-mail validée de maths.ox.ac.uk
