[Help-glpk] [Fwd: GLPK was used in the proof of the 300 year old Kepler conjecture]

[Andrew Makhorin]

-------- Forwarded Message --------
From: Joshua Friedman <address@hidden>
To: Andrew Makhorin <address@hidden>
Subject: GLPK was used in the proof of the 300 year old Kepler
conjecture
Date: Mon, 10 Jul 2017 08:55:27 -0400

https://www.cambridge.org/core/services/aop-cambridge-core/content/view/78FBD5E1A3D1BCCB8E0D5B0C463C9FBC/S2050508617000014a.pdf/formal_proof_of_the_kepler_conjecture.pdf


That is quite an accomplishment 


-- 
Joshua Friedman PhD
address@hidden
http://www.math.sunysb.edu/~joshua