Simone Naldi

28 papers B 5Journal 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
On semidefinite-representable sets over valued fields.
CoRR
Corentin Cornou, Simone Naldi, Tristan Vaccon
2026 J jnl
R-hulloid of the vertices of a tetrahedron.
Adv. Appl. Math.
Marco Longinetti, Simone Naldi, Adriana Venturi
2025 J jnl
Certifying Solutions of Degenerate Semidefinite Programs.
SIAM J. Optim.
Vladimir Kolmogorov, Simone Naldi, Jeferson Zapata
2025 B conf
Solving generic parametric linear matrix inequalities.
ISSAC
Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang
2025 J jnl
Solving generic parametric linear matrix inequalities.
CoRR
Simone Naldi, Mohab Safey El Din, Adrien Taylor, Weijia Wang
2024 J jnl
On the configurations of four spheres supporting the vertices of a tetrahedron.
CoRR
Marco Longinetti, Simone Naldi
2024 J jnl
Verifying feasibility of degenerate semidefinite programs.
CoRR
Vladimir Kolmogorov, Simone Naldi, Jeferson Zapata
2023 J jnl
Taylor Polynomials of Rational Functions.
CoRR
Aldo Conca, Simone Naldi, Giorgio Ottaviani, Bernd Sturmfels
2021 J jnl
Exact algorithms for semidefinite programs with degenerate feasible set.
J. Symb. Comput.
Didier Henrion, Simone Naldi, Mohab Safey El Din
2020 J jnl
A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension.
CoRR
Simone Naldi, Vincent Neiger
2020 B conf
A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension.
ISSAC
Simone Naldi, Vincent Neiger
2020 J jnl
Real root finding for low rank linear matrices.
Appl. Algebra Eng. Commun. Comput.
Didier Henrion, Simone Naldi, Mohab Safey El Din
2019 J jnl
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic.
Optim. Methods Softw.
Didier Henrion, Simone Naldi, Mohab Safey El Din
2018 B conf
Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set.
ISSAC
Didier Henrion, Simone Naldi, Mohab Safey El Din
2018 J jnl
Exact algorithms for semidefinite programs with degenerate feasible set.
CoRR
Didier Henrion, Simone Naldi, Mohab Safey El Din
2018 J jnl
Solving rank-constrained semidefinite programs in exact arithmetic.
J. Symb. Comput.
Simone Naldi
2016 J jnl
Exact Algorithms for Linear Matrix Inequalities.
SIAM J. Optim.
Didier Henrion, Simone Naldi, Mohab Safey El Din
2016 J jnl
Real root finding for determinants of linear matrices.
J. Symb. Comput.
Didier Henrion, Simone Naldi, Mohab Safey El Din
2016 J jnl
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic.
CoRR
Didier Henrion, Simone Naldi, Mohab Safey El Din
2016 B conf
Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic.
ISSAC
Simone Naldi
2016 J jnl
Solving rank-constrained semidefinite programs in exact arithmetic.
CoRR
Simone Naldi
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 J jnl
Exact algorithms for linear matrix inequalities.
CoRR
Didier Henrion, Simone Naldi, Mohab Safey El Din
2015 B conf
Real Root Finding for Rank Defects in Linear Hankel Matrices.
ISSAC
Didier Henrion, Simone Naldi, Mohab Safey El Din
2015 J jnl
Real root finding for low rank linear matrices.
CoRR
Didier Henrion, Simone Naldi, Mohab Safey El Din
2015 J jnl
Real root finding for rank defects in linear Hankel matrices.
CoRR
Didier Henrion, Simone Naldi, Mohab Safey El Din
2014 J jnl
Nonnegative Polynomials and Their Carathéodory Number.
Discret. Comput. Geom.
Simone Naldi
2014 J jnl
Real root finding for determinants of linear matrices.
CoRR
Didier Henrion, Simone Naldi, Mohab Safey El Din