Marco David

Orcid: 0000-0001-5673-5389

According to our database1, Marco David authored at least 6 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Symplectic learning for Hamiltonian neural networks.
J. Comput. Phys., December, 2023

2022
Mathematical Proof Between Generations.
CoRR, 2022

Diophantine Equations and the DPRM Theorem.
Arch. Formal Proofs, 2022

Digit Expansions.
Arch. Formal Proofs, 2022

2019
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

The DPRM Theorem in Isabelle (Short Paper).
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019


  Loading...