Simone Naldi

According to our database, Simone Naldi authored at least 17 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

On semidefinite-representable sets over valued fields.

Corentin Cornou, Simone Naldi, Tristan Vaccon

CoRR, February, 2026

R-hulloid of the vertices of a tetrahedron.

Marco Longinetti, Simone Naldi, Adriana Venturi

Adv. Appl. Math., 2026

2025

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

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025

2024

On the configurations of four spheres supporting the vertices of a tetrahedron.

Marco Longinetti, Simone Naldi

CoRR, 2024

Verifying feasibility of degenerate semidefinite programs.

Vladimir Kolmogorov, Simone Naldi, Jeferson Zapata

CoRR, 2024

2023

Taylor Polynomials of Rational Functions.

Aldo Conca, Simone Naldi, Giorgio Ottaviani, Bernd Sturmfels

CoRR, 2023

2020

Real root finding for low rank linear matrices.

Didier Henrion, Simone Naldi, Mohab Safey El Din

Appl. Algebra Eng. Commun. Comput., 2020

A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension.

Simone Naldi, Vincent Neiger

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic.

Didier Henrion, Simone Naldi, Mohab Safey El Din

Optim. Methods Softw., 2019

2018

Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set.

Didier Henrion, Simone Naldi, Mohab Safey El Din

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2016

Exact Algorithms for Linear Matrix Inequalities.

Didier Henrion, Simone Naldi, Mohab Safey El Din

SIAM J. Optim., 2016

Real root finding for determinants of linear matrices.

Didier Henrion, Simone Naldi, Mohab Safey El Din

J. Symb. Comput., 2016

Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic.

Simone Naldi

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

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

PhD thesis, 2015

Real Root Finding for Rank Defects in Linear Hankel Matrices.

Didier Henrion, Simone Naldi, Mohab Safey El Din

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

Nonnegative Polynomials and Their Carathéodory Number.

Simone Naldi

Discret. Comput. Geom., 2014