A FORMAL PROOF OF THE KEPLER CONJECTURE

Thumbnail
Fulltext:
176365.pdf
Size:
272.7Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2017
Author(s)
Hales, T.
Adams, M.
Bauer, G.
Dang, T.D.
Harrison, J.
Hoang, L.T.
Kaliszyk, C.
Magron, V.
McLaughlin, S.
Nguyen, Tat T.
Nguyen, Q.T.
Nipkow, T.
Obua, S.
Pleso, J.
Rute, J.
Solovyev, A.
Ta, T.H.A.
Tran, N.T.
Trieu, T.D.
Urban, Jos.
Vu, K.Y.
Zumkeller, R.
Source
Forum of Mathematics. Pi, 5, (2017), pp. 1-29, article e2
ISSN
DOI
Publication type
Article / Letter to editor
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/176365   https://hdl.handle.net/2066/176365
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.