Marco David

12 papers B 2C 1Journal 9
YearRankTypeTitle / Venue / Authors
2025 B conf
A Formal Proof of Complexity Bounds on Diophantine Equations.
ITP
Jonas Bayer, Marco David
2025 J jnl
A Formal Proof of Complexity Bounds on Diophantine Equations.
CoRR
Jonas Bayer, Marco David
2025 J jnl
Diophantine Equations over ℤ: Universal Bounds and Parallel Formalization.
CoRR
Jonas Bayer, Marco David, Malte Hassler, Yuri V. Matiyasevich, Dierk Schleicher
2025 J jnl
Universal Pairs for Diophantine Equations.
Arch. Formal Proofs
Marco David, Théo André, Mathis Bouverot-Dupuis, Eva Brenner, Loïc Chevalier, Anna Danilkin, Charlotte Dorneich, Kevin Lee, Xavier Pigé, Timothé Ringeard, Quentin Vermande, Paul Wang, Annie Yao, Zhengkun Ye, Jonas Bayer
2023 J jnl
Symplectic learning for Hamiltonian neural networks.
J. Comput. Phys.
Marco David, Florian Méhats
2022 J jnl
Digit Expansions.
Arch. Formal Proofs
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
2022 J jnl
Diophantine Equations and the DPRM Theorem.
Arch. Formal Proofs
Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher
2022 J jnl
Mathematical Proof Between Generations.
CoRR
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
2021 J jnl
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle.
CoRR
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
2021 J jnl
Symplectic Learning for Hamiltonian Neural Networks.
CoRR
Marco David, Florian Méhats
2019 C conf
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle.
CICM
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
2019 B conf
The DPRM Theorem in Isabelle (Short Paper).
ITP
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher