We gratefully acknowledge support from
the Simons Foundation and member institutions.

Trackbacks for 1501.02155

On proof-verification using Coq [MathOverflow@ mathoverflow.net/questions/315064] [trackback posted Sun, 11 Nov 2018 11:01:10 UTC]

Experimental Mathematics [MathOverflow@ mathoverflow.net/questions/216078] [trackback posted Sun, 1 May 2016 17:00:56 UTC]

Title:A formal proof of the Kepler conjecture

Authors:Thomas Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen et al. (12 additional authors not shown)
(Submitted on 9 Jan 2015)
Abstract:
Comments: 21 pages
Subjects: Metric Geometry (math.MG); Logic in Computer Science (cs.LO)
Cite as: arXiv:1501.02155 [math.MG]
  (or arXiv:1501.02155v1 [math.MG] for this version)

About trackbacks

By sending a trackback, you can notify arXiv.org that you have created a web page that references a paper. Popular blogging software supports trackback: you can send us a trackback about this paper by giving your software the following trackback URL:

https://arxiv.org/trackback/{arXiv_id}

Some blogging software supports trackback autodiscovery -- in this case, your software will automatically send a trackback as soon as your create a link to our abstract page. See our trackback help page for more information.