BibTeX record journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15

• > Home > journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15

@article{DBLP:journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15,
  author       = {Thomas C. Hales and
                  Mark Adams and
                  Gertrud Bauer and
                  Dat Tat Dang and
                  John Harrison and
                  Truong Le Hoang and
                  Cezary Kaliszyk and
                  Victor Magron and
                  Sean McLaughlin and
                  Thang Tat Nguyen and
                  Truong Quang Nguyen and
                  Tobias Nipkow and
                  Steven Obua and
                  Joseph Pleso and
                  Jason M. Rute and
                  Alexey Solovyev and
                  An Hoai Thi Ta and
                  Trung Nam Tran and
                  Diep Thi Trieu and
                  Josef Urban and
                  Ky Khac Vu and
                  Roland Zumkeller},
  title        = {A formal proof of the Kepler conjecture},
  journal      = {CoRR},
  volume       = {abs/1501.02155},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.02155},
  eprinttype    = {arXiv},
  eprint       = {1501.02155},
  timestamp    = {Thu, 05 Sep 2019 14:51:32 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}