. . . "16694033"^^ . . . . "Dense sphere packings : a blueprint for formal proofs / Thomas C. Hales, 2012. - . - LC Authorities. - http://authorities.loc.gov. - 2012-06-28"@fr . . . . . . "2013-12-17"^^ . "Thomas Callister" . . "1958"^^ . "Hales" . . . "Thomas Callister Hales"@fr . "2013-12-18" . "male" . "Thomas Callister Hales" . . "ISNI" . . . "En poste : University of Pittsburgh, Pa. (en 2012)"@fr . "0000000382659564" . "En poste : University of Pittsburgh, Pa. (en 2012)" . . . "2013-06-28" . . . . "En poste : University of Pittsburgh, Pa. (en 2012)" . . . . . .