vix.ing · top · new · best · stats · spec

Solovyev, Alexey

  1. A formal proof of the Kepler conjecture
    2015/01/09 by Thomas Hales, Mark Adams, Hales, Thomas +41 · 19 citations
    Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG) #cs.LO #math.MG