NALDI Simone
Publications 2015-2024
-
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 - 43rd 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)