Altmanová, Katerina; Knop, Dusan; Koutecký, Martin Evaluating and tuning \(n\)-fold integer programming. (English) Zbl 1496.90036 D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 103, Article 10, 14 p. (2018). MSC: 90C10 68W40 PDFBibTeX XMLCite \textit{K. Altmanová} et al., LIPIcs -- Leibniz Int. Proc. Inform. 103, Article 10, 14 p. (2018; Zbl 1496.90036) Full Text: DOI arXiv
Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland A formal proof of the Kepler conjecture. (English) Zbl 1379.52018 Forum Math. Pi 5, Paper No. e2, 29 p. (2017). Reviewer: Christian Richter (Jena) MSC: 52C17 68T15 PDFBibTeX XMLCite \textit{T. Hales} et al., Forum Math. Pi 5, Paper No. e2, 29 p. (2017; Zbl 1379.52018) Full Text: DOI arXiv
Hales, Thomas C. Linear programs for the Kepler conjecture (extended abstract). (English) Zbl 1294.68122 Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 149-151 (2010). MSC: 68T15 52C17 90C05 PDFBibTeX XMLCite \textit{T. C. Hales}, Lect. Notes Comput. Sci. 6327, 149--151 (2010; Zbl 1294.68122) Full Text: DOI