Nonnegative Polynomials and Their Carathéodory Number. - Simone Naldi (Discret. Comput. Geom., 2014)

Real Root Finding for Rank Defects in Linear Hankel Matrices. - Didier Henrion; Simone Naldi; Mohab Safey El Din (ISSAC, 2015)

Exact algorithms for determinantal varieties and semidefinite programming. (Algorithmes exacts pour les variétés déterminantielles et la programmation semi-définie). - Simone Naldi (2015)

Real root finding for determinants of linear matrices. - Didier Henrion; Simone Naldi; Mohab Safey El Din (J. Symb. Comput., 2016)

Exact Algorithms for Linear Matrix Inequalities. - Didier Henrion; Simone Naldi; Mohab Safey El Din (SIAM J. Optim., 2016)

Solving rank-constrained semidefinite programs in exact arithmetic. - Simone Naldi (J. Symb. Comput., 2018)

SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic. - Didier Henrion; Simone Naldi; Mohab Safey El Din (Optim. Methods Softw., 2019)

A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension. - Simone Naldi; Vincent Neiger (ISSAC, 2020)

Real root finding for low rank linear matrices. - Didier Henrion; Simone Naldi; Mohab Safey El Din (Appl. Algebra Eng. Commun. Comput., 2020)

Exact algorithms for semidefinite programs with degenerate feasible set. - Didier Henrion; Simone Naldi; Mohab Safey El Din (J. Symb. Comput., 2021)

Taylor Polynomials of Rational Functions. - Aldo Conca; Simone Naldi; Giorgio Ottaviani; Bernd Sturmfels (CoRR, 2023)

Verifying feasibility of degenerate semidefinite programs. - Vladimir Kolmogorov; Simone Naldi; Jeferson Zapata (CoRR, 2024)

On the configurations of four spheres supporting the vertices of a tetrahedron. - Marco Longinetti; Simone Naldi (CoRR, 2024)

Certifying Solutions of Degenerate Semidefinite Programs. - Vladimir Kolmogorov; Simone Naldi; Jeferson Zapata (SIAM J. Optim., 2025)

Solving generic parametric linear matrix inequalities. - Simone Naldi; Mohab Safey El Din; Adrien Taylor; Weijia Wang (CoRR, 2025)