Statistics
Publications
5
Citations
464
H-Index
5
Active since
2006
Affiliations
Radboud University Nijmegen(Current)
Mark Adams is an author at Radboud University Nijmegen specializing in formal methods, physics, and isabelle.
Publications per year
2006–2023
5
5
A FORMAL PROOF OF THE KEPLER CONJECTURE
Thomas Hales, Mark Adams, Gertrud Bauer et al. · Forum of Mathematics Pi · 2017 · 340 citations · Full text
A formal proof of the Kepler conjecture
Thomas Hales, Mark Adams, Gertrud Bauer et al. · arXiv (Cornell University) · 2015 · 53 citations · Full text
Formal Methods in Collaborative Projects
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams et al. · 2016 · 12 citations · Full text
1–5 of 5