Obua, Steven

1. A formal proof of the Kepler conjecture
   2015/01/09 by Hales, Thomas, Adams, Mark, Bauer, Gertrud +19 · 18 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG)
2. A revision of the proof of the Kepler conjecture
   2009/02/02 by Thomas Hales, Hales, Thomas C., John Harrison +9 · 1 citation
   Physics and Astronomy · #Advanced Mathematical Theories and Applications #FOS: Mathematics #History and Developments in Astronomy #Metric Geometry (math.MG) #Relativity and Gravitational Theory
3. Purely Functional Structured Programming
   2010/07/18 by Steven Obua, Obua, Steven · 1 voice
   #cs.PL