| A formal proof of the Kepler conjecture T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ... Forum of mathematics, Pi 5, e2, 2017 | 433 | 2017 |
| A formal proof of the Kepler conjecture (2015) T Hales, M Adams, G Bauer, DT Dang, J Harrison, TL Hoang, C Kaliszyk, ... Preprint arXiv 1501, 2015 | 13 | 2015 |
| A formal proof of the Kepler conjecture. Forum of Mathematics, Pi 5 (2017) T Hales, M Adams, G Bauer, TD Dang, J Harrison, LT Hoang, C Kaliszyk, ... URL: https://doi. org/10.1017/fmp, 2017 | 9 | 2017 |
| egut J Hundley, J Pleso https://code.google.com/p/egut/, 2009 | | 2009 |
| Integrals Over an Interesting Unipotent Subgroup JF Pleso Southern Illinois University Carbondale, 2009 | | 2009 |
