Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

18 résultats
Page :
triés par
Image document

Solving rank-constrained semidefinite programs in exact arithmetic

 Simone Naldi
Journal of Symbolic Computation, 2018, 85, pp.206-223. ⟨10.1016/j.jsc.2017.07.009⟩
Article dans une revue hal-02436198v1
Image document

Real root finding for rank defects in linear Hankel matrices

 Didier Henrion , Simone Naldi , Mohab Safey El Din
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2015, Bath, United Kingdom. pp.221-228, ⟨10.1145/2755996.2756667⟩
Communication dans un congrès hal-01114378v1
Image document

Exact algorithms for linear matrix inequalities

 Didier Henrion , Simone Naldi , Mohab Safey El Din
SIAM Journal on Optimization, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
Article dans une revue hal-01184320v2
Image document

Exact algorithms for determinantal varieties and semidefinite programming

 Simone Naldi
Automatic Control Engineering. INSA de Toulouse, 2015. English. ⟨NNT : 2015ISAT0021⟩
Thèse tel-01212502v2
Image document

Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic

 Simone Naldi
International Symposium on Symbolic and Algebraic Computation (2016), Jul 2016, Waterloo, Canada. ⟨10.1145/2930889.2930925⟩
Communication dans un congrès hal-01363339v1
Image document

Real root finding for determinants of linear matrices

 Didier Henrion , Simone Naldi , Mohab Safey El Din
Journal of Symbolic Computation, 2016, 74, pp.205-238. ⟨10.1016/j.jsc.2015.06.010⟩
Article dans une revue hal-01077888v3
Image document

Conic programming: infeasibility certificates and projective geometry

 Simone Naldi , Rainer Sinn
Journal of Pure and Applied Algebra, 2021, 7 (225), pp.106605
Article dans une revue hal-02436204v1
Image document

SPECTRAHEDRAL REPRESENTATIONS OF PLANE HYPERBOLIC CURVES

 Mario Kummer , Simone Naldi , Daniel Plaumann
Pacific Journal of Mathematics, 2019, 303 (1), pp.243-263. ⟨10.2140/pjm.2019.303.243⟩
Article dans une revue hal-02436202v1
Image document

Exact algorithms for semidefinite programs with degenerate feasible set

 Didier Henrion , Simone Naldi , Mohab Safey El Din
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩
Communication dans un congrès hal-01705590v2
Image document

Exact algorithms for semidefinite programs with degenerate feasible set

 Didier Henrion , Simone Naldi , Mohab Safey El Din
Journal of Symbolic Computation, 2021, 104, pp.942 - 959. ⟨10.1016/j.jsc.2020.11.001⟩
Article dans une revue hal-03121215v1
Image document

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

 Simone Naldi , Vincent Neiger
2020
Pré-publication, Document de travail hal-02480240v2
Image document

Taylor Polynomials of Rational Functions

 Aldo Conca , Simone Naldi , Giorgio Ottaviani , Bernd Sturmfels
Acta Mathematica Vietnamica, 2023, ⟨10.1007/s40306-023-00514-4⟩
Article dans une revue hal-04526513v1
Image document

Algebraic certificates for the truncated moment problem

 Didier Henrion , Simone Naldi , Mohab Safey El Din
2023
Pré-publication, Document de travail hal-03987123v1
Image document

Nonnegative polynomials and their Carathéodory number

 Simone Naldi
Discrete and Computational Geometry, 2014, 51, pp.559-568. ⟨10.1007/s00454-014-9588-3⟩
Article dans une revue hal-00911569v1

Real root finding for low rank linear matrices

 Didier Henrion , Simone Naldi , Mohab Safey El Din
Applicable Algebra in Engineering, Communication and Computing, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩
Article dans une revue hal-01159210v2
Image document

SYMBOLIC COMPUTATION IN HYPERBOLIC PROGRAMMING

 Simone Naldi , Daniel Plaumann
Journal of Algebra and Its Applications, 2018, 17 (10), pp.1850192. ⟨10.1142/S021949881850192X⟩
Article dans une revue hal-02436199v1

Urysohn in action: separating semialgebraic sets by polynomials

 Milan Korda , Jean-Bernard Lasserre , Alexey Lazarev , Victor Magron , Simone Naldi
2022
Pré-publication, Document de travail hal-03712510v1
Image document

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

 Didier Henrion , Simone Naldi , Mohab Safey El Din
Optimization Methods and Software, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩
Article dans une revue hal-01393022v3
Page :