01088nam0-2200361-i-450-99000964204040332120121031154106.0978-0-521-61770-3hardback000964204FED01000964204(Aleph)000964204FED0100096420420121031d2012----km-y0itay50------baengUSa---a---001yyDense sphere packingsa blueprint for formal proofsThomas C. HalesCambridgeCambridge University Press2012XIV, 271 p.23 cmLondon Mathematical Society lecture note series400Insiemi convessi e geometria discretaEsposizione didatticaImpacchettamento e rivestimento516.0821itaHales,Thomas C.518097ITUNINAREICATUNIMARCBK990009642040403321C-9-(40025461MA1MA152-0152C17Dense sphere packings848091UNINA