[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-glpk] [Fwd: GLPK was used in the proof of the 300 year old Kep
|
From: |
Haroldo Gambini Santos |
|
Subject: |
Re: [Help-glpk] [Fwd: GLPK was used in the proof of the 300 year old Kepler conjecture] |
|
Date: |
Mon, 10 Jul 2017 11:30:58 -0300 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 |
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 <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
--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/