Publications 2015-2025

• 2025
  • S. Naldi, M. Safey El Din, A. Taylor, W. Wang : “Solving generic parametric linear matrix inequalities”, ISSAC '25: Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC '25, Guanajuato, Mexico, pp. 267-276, (Association for Computing Machinery), (ISBN: 9798400720758) (2025)
  • V. Kolmogorov, S. Naldi, J. Zapata : “Certifying solutions of degenerate semidefinite programs”, SIAM Journal on Optimization, (Society for Industrial and Applied Mathematics) (2025)
• 2024
  • M. Longinetti, S. Naldi, A. Venturi : “R-hulloid of the vertices of a tetrahedron”, (2024)
  • M. Longinetti, S. Naldi : “On the configurations of four spheres supporting the vertices of a tetrahedron”, (2024)
• 2023
  • D. Henrion, S. Naldi, M. Safey El Din : “Algebraic certificates for the truncated moment problem”, (2023)
  • K. Pallier, O. Prot, S. Naldi, F. Silva, Th. Denis, O. Giry, S. Leobon, E. Deluche, N. Tubiana‑Mathieu : “Patient Identification and Tumor Identification Management: Quality Program in a Cancer Multicentric Clinical Data Warehouse”, Cancer Informatics, vol. 22, pp. 11769351231172609, (Libertas Academica) (2023)
• 2021
  • D. Henrion, S. Naldi, M. Safey El Din : “Exact algorithms for semidefinite programs with degenerate feasible set”, Journal of Symbolic Computation, vol. 104, pp. 942-959, (Elsevier) (2021)
• 2020
  • D. Henrion, S. Naldi, M. Safey El Din : “Real root finding for low rank linear matrices”, Applicable Algebra in Engineering, Communication and Computing, vol. 31, pp. 101-133, (Springer Verlag) (2020)
• 2019
  • D. Henrion, S. Naldi, M. Safey El Din : “SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic”, Optimization Methods and Software, vol. 34 (1), pp. 62-78, (Taylor & Francis) (2019)
• 2018
  • D. Henrion, S. Naldi, M. Safey El Din : “Exact algorithms for semidefinite programs with degenerate feasible set”, ISSAC 2018 - 43^rd International Symposium on Symbolic and Algebraic Computation, New York City, United States, pp. 17p. (2018)
• 2016
  • D. Henrion, S. Naldi, M. Safey El Din : “Exact algorithms for linear matrix inequalities”, SIAM Journal on Optimization, vol. 26 (4), pp. 2512–2539, (Society for Industrial and Applied Mathematics) (2016)
  • D. Henrion, S. Naldi, M. Safey El Din : “Real root finding for determinants of linear matrices”, Journal of Symbolic Computation, vol. 74, pp. 205-238, (Elsevier) (2016)
• 2015
  • D. Henrion, S. Naldi, M. Safey El Din : “Real root finding for rank defects in linear Hankel matrices”, International Symposium on Symbolic and Algebraic Computation (ISSAC), Bath, United Kingdom, pp. 221-228, (ACM) (2015)