Monday, July 10, 2017

GLPK was used in the proof of the 300 year old Kepler conjecture


A lot of authors.

Apparently 43,078 LPs had to be solved.

  1. Thomas Hales e.a., A Formal Proof of the Kepler Conjecture, Forum of mathematics, Pi (2017), vol 5, e2,
  2. Original message appeared in the Help-GLPK mailing list,