Re: [Fwd: GLPK was used in the proof of the 300 year old Kepler conjecture]
Haroldo Gambini Santos <[email protected]>
| Newsgroups | gmane.comp.gnu.glpk |
|---|---|
| Message-ID | <[email protected]> |
Really nice !!! GLPK page should include a section "Successful applications". Cheers Em 10/07/2017 11:14, Andrew Makhorin escreveu: > -------- Forwarded Message -------- > From: Joshua Friedman <[email protected]> > To: Andrew Makhorin <[email protected]> > 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 > > -- ================================================== Haroldo Gambini Santos D.Sc, Computer Science Universidade Federal de Ouro Preto http://www.decom.ufop.br/haroldo/