Etiqueta pruebas con ayuda de ordenador

Empaquetando esferas

En su ensayo Strena seu de nive sexángula (El copo de nieve de seis ángulos), Johannes Kepler planteó su famosa conjetura de empaquetamiento, resuelta 300 años después por Thomas Hales. Años antes, Kepler había compartido correspondencia con el astrónomo y…