estadounidense
Thomas C. Hales es un matemático estadounidense conocido por su trabajo en la teoría de la geometría y la resolución del problema de los 4 colores, así como por su contribución a la verificación formal de la solución de este problema a través de la computadora.
2005·no ficcion
Este libro presenta la demostración completa de la conjetura de Kepler, un problema que estuvo abierto durante siglos sobre el empaquetamiento óptimo de esferas, utilizando una combinación de razonamiento matemático y cálculo computacional extenso.
Aparecen junto a Thomas C. Hales en búsquedas del archivo
