Nombre de documents

8

CV de Simone Naldi


Communication dans un congrès2 documents

  • Simone Naldi. Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic. International Symposium on Symbolic and Algebraic Computation (2016), Jul 2016, Waterloo, Canada. Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation 2016, <10.1145/2930889.2930925>. <hal-01363339>
  • Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for rank defects in linear Hankel matrices. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2015, Bath, United Kingdom. ACM, pp.221-228, 2015, <10.1145/2755996.2756667>. <hal-01114378>

Article dans une revue3 documents

  • Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for determinants of linear matrices. Journal of Symbolic Computation, Elsevier, 2016, 74, pp.205-238. <10.1016/j.jsc.2015.06.010>. <hal-01077888v3>
  • Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for linear matrix inequalities. SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2016, 26 (4), pp.2512-2539. <10.1137/15M1036543>. <hal-01184320v2>
  • Simone Naldi. Nonnegative polynomials and their Carathéodory number. Discrete and Computational Geometry, Springer Verlag, 2014, 51, pp.559-568. <10.1007/s00454-014-9588-3>. <hal-00911569>

Pré-publication, Document de travail2 documents

  • Didier Henrion, Simone Naldi, Mohab Safey El Din. SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic. Rapport LAAS n° 16375. Significantly extended version. 2016. <hal-01393022v2>
  • Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for low rank linear matrices. Rapport LAAS n° 15731. 2015. <hal-01159210>

Thèse1 document

  • Simone Naldi. Exact algorithms for determinantal varieties and semidefinite programming. Automatic Control Engineering. INSA de Toulouse, 2015. English. <NNT : 2015ISAT0021>. <tel-01212502v2>