| Exact algorithms for linear matrix inequalities D Henrion, S Naldi, M Safey El Din SIAM J. Optim. 26 (4), 2512--2539, 2015 | 62 | 2015 |
| SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic D Henrion, S Naldi, M Safey El Din Optimization Methods and Software, 1-17, 2017 | 22 | 2017 |
| Solving rank-constrained semidefinite programs in exact arithmetic S Naldi International Symposium on Symbolic and Algebraic Computation ISSAC 2016., 2016 | 18 | 2016 |
| Exact algorithms for semidefinite programs with degenerate feasible set D Henrion, S Naldi, M Safey El Din Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018 | 17 | 2018 |
| Real root finding for determinants of linear matrices D Henrion, S Naldi, MSE Din Journal of Symbolic Computation 74, 205–238, 2014 | 14 | 2014 |
| Real root finding for rank defects in linear Hankel matrices D Henrion, S Naldi, MSE Din International Symposium on Symbolic and Algebrai Computation ISSAC 2015, 2015 | 11 | 2015 |
| Conic programming: Infeasibility certificates and projective geometry S Naldi, R Sinn Journal of Pure and Applied Algebra 225 (7), 106605, 2021 | 8 | 2021 |
| Symbolic computation in hyperbolic programming S Naldi, D Plaumann Journal of Algebra and Its Applications 17 (10), 1850192, 2018 | 8 | 2018 |
| Real root finding for low rank linear matrices D Henrion, S Naldi, MSE Din Applicable Algebra in Engineering, Communication and Computing 31 (2), 101-133, 2019 | 7 | 2019 |
| A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension S Naldi, V Neiger Proceedings of the 45th International Symposium on Symbolic and Algebraic …, 2020 | 6 | 2020 |
| Exact algorithms for determinantal varieties and semidefinite programming S Naldi Toulouse, INSA, 2015 | 6 | 2015 |
| Nonnegative polynomials and their Carathéodory number S Naldi Discrete & Computational Geometry 51 (3), 559-568, 2014 | 6 | 2014 |
| Spectrahedral representations of plane hyperbolic curves M Kummer, S Naldi, D Plaumann Pacific Journal of Mathematics 303 (1), 243-263, 2019 | 5 | 2019 |
| Quantum random number generator based on violations of the free chsh-3 inequality DJB Anoman, F Arnault, S Naldi arXiv preprint arXiv:2003.00124, 2020 | 1 | 2020 |
Didier HenrionLAASVerified email at laas.fr
