Skip to Main content Skip to Navigation


...
hal-01422209v1  Journal articles
Elias Tsigaridas. SLV: a software for real root isolation
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (3), pp.117 - 120. ⟨10.1145/3015306.3015317⟩
...
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩
...
hal-00776280v2  Journal articles
Gabriella JeronimoDaniel PerrucciElias Tsigaridas. On the minimum of a polynomial function on a basic closed semialgebraic set and applications
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2013, 23 (1), pp.241--255
...
hal-01456686v1  Journal articles
Aaron HermanHoon HongElias Tsigaridas. Improving Root Separation Bounds
Journal of Symbolic Computation, Elsevier, 2017
...
hal-00776230v1  Journal articles
Elias Tsigaridas. Improved bounds for the CF algorithm
Theoretical Computer Science, Elsevier, 2012, pp.1-12