Simone NALDI

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

Institut XLIM
123 avenue Albert Thomas
87060 Limoges Cedex, France

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


    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)