2015-2024 Publications

• 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)
  • V. Kolmogorov, S. Naldi, J. Zapata : “Verifying feasibility of degenerate semidefinite programs”, (2024)
• 2023
  • D. Henrion, S. Naldi, M. Safey El Din : “Algebraic certificates for the truncated moment problem”, (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)