Adams, Mark

1. A formal proof of the Kepler conjecture
   2015/01/09 by Hales, Thomas, Adams, Mark, Bauer, Gertrud +19 · 14 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG)
2. The PETSc Community Is the Infrastructure
   2022/01/04 by Mark Raymond Adams, Satish Balay, Adams, Mark +29 · 1 citation
   Decision Sciences · Computer Science · #Scientific Computing and Data Management #Distributed and Parallel Computing Systems #Advanced Data Storage Technologies
3. Inference for max-linear Bayesian networks with noise
   2025/05/01 by Adams, Mark, Ferry, Kamillo, Yoshida, Ruriko · 3 citations
   #14T90 #62A09 #62H30 #90C20 #90C90 #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Optimization and Control (math.OC) #Statistics Theory (math.ST)