A formal proof of the Kepler conjecture. - Thomas C. Hales; Mark Adams; Gertrud Bauer; Dat Tat Dang; John Harrison 001; Truong Le Hoang; Cezary Kaliszyk; Victor Magron; Sean McLaughlin; Thang Tat Nguyen; Truong Quang Nguyen; Tobias Nipkow; et al. (CoRR, 2015)

Using the Johnson-Lindenstrauss lemma in linear and integer programming. - Ky Khac Vu; Pierre-Louis Poirion; Leo Liberti (CoRR, 2015)

Solving LP using random projections. - Leo Liberti; Pierre-Louis Poirion; Ky Khac Vu (Electron. Notes Discret. Math., 2016)

Random projection for high-dimensional optimization. (Projection aléatoire pour l'optimisation de grande dimension). - Ky Khac Vu (2016)

Random projections for high-dimensional optimization problems. - Ky Khac Vu (4OR, 2017)

New Error Measures and Methods for Realizing Protein Graphs from Distance Data. - Claudia D'Ambrosio; Ky Khac Vu; Carlile Lavor; Leo Liberti; Nelson Maculan (Discret. Comput. Geom., 2017)

Surrogate-based methods for black-box optimization. - Ky Khac Vu; Claudia D'Ambrosio; Youssef Hamadi; Leo Liberti (Int. Trans. Oper. Res., 2017)

Random Projections for Linear Programming. - Ky Khac Vu; Pierre-Louis Poirion; Leo Liberti (Math. Oper. Res., 2018)

Barvinok's naive algorithm in Distance Geometry. - Leo Liberti; Ky Khac Vu (Oper. Res. Lett., 2018)

Random Projections for Quadratic Programs over a Euclidean Ball. - Ky Khac Vu; Pierre-Louis Poirion; Claudia D'Ambrosio; Leo Liberti (IPCO, 2019)

Gaussian random projections for Euclidean membership problems. - Ky Khac Vu; Pierre-Louis Poirion; Leo Liberti (Discret. Appl. Math., 2019)

Random projections for quadratic programs. - Claudia D'Ambrosio; Leo Liberti; Pierre-Louis Poirion; Ky Khac Vu (Math. Program., 2020)

Random projections for conic programs. - Leo Liberti; Pierre-Louis Poirion; Ky Khac Vu (CoRR, 2021)