Staff directory

NALDI Simone

Associate Professor, Autre
Team : PolSys

Departure date : 08/31/2024

2015-2026 Publications

All Articles Communications Other publications

2026
- M. Longinetti, S. Naldi, A. Venturi : “R-hulloid of the vertices of a tetrahedron”, Advances in Applied Mathematics, vol. 176, pp. 103056, (Elsevier) (2026)
- S. Naldi, M. Safey El Din, A. Taylor, W. Wang : “Solving parametric linear matrix inequalities”, Journal of Symbolic Computation, vol. 138, (Elsevier) (2026)
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 : “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)