Simone NALDI

Maître de conférences — Applied Mathematics
Team Computer Algebra

Institut XLIM
123 avenue Albert Thomas
87060 Limoges Cedex, France

e-mail: simone.naldi@unilim.fr
office: XLIM X-407, 4-th floor
phone: +33 5 87 50 67 78
 


 





RESEARCH    (details here)

   Computer Algebra — Algorithms in real algebraic geometry, systems of polynomial equations and inequalities, algebraic relations; complexity, implementations
   Polynomial Optimization — Algorithms for Semidefinite programming and Hyperbolic programming, feasibility certificates in Conic Programming

SOFTWARE

    SPECTRA — A Maple library for Linear Matrix Inequalities (cf. this paper)
    HYPER — Implementations of algorithms for Hyperbolic Programming (cf. this paper)

TEACHING   (details here)


TALKS   (details here)


VITAE   (details here)