Skip to Main content Skip to Navigation


...
hal-00776230v1  Journal articles
Elias Tsigaridas. Improved bounds for the CF algorithm
Theoretical Computer Science, Elsevier, 2012, pp.1-12
...
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⟩
...
hal-00776074v1  Conference papers
Adam StrzebonskiElias Tsigaridas. Univariate Real Root Isolation in Multiple Extension Fields
ISSAC 2012 - 37th ACM International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.343-350, ⟨10.1145/2442829.2442878⟩
...
inria-00178498v1  Book sections
Bernard MourrainJean-Pascal PavonePhilippe TrebuchetElias TsigaridasJulien Wintz. SYNAPS: A library for dedicated applications in symbolic numeric computing,
M.E. Stillman and N. Takayama and J. Verschelde. Software for algebraic geometry, 148, Springer, pp.81-110, 2007, IMA Volumes in Mathematics and its Applications
...
hal-01525560v1  Conference papers
Angelos MantzaflarisElias Tsigaridas. Resultants and Discriminants for Bivariate Tensor-product Polynomials
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Mohab Safey El Din, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087646⟩
...
hal-01528377v1  Conference papers
Angelos MantzaflarisÉric SchostElias Tsigaridas. Sparse Rational Univariate Representation
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087653⟩
...
hal-00776212v1  Conference papers
Jia LiJinsan ChengElias Tsigaridas. Local Generic Position for Root Isolation of Zero-dimensional Triangular Polynomial Systems
CASC 2012 - 14th International Workshop on Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.186-197, ⟨10.1007/978-3-642-32973-9_16⟩
...
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
...
inria-00425378v1  Conference papers
Hazel EverettChristian GillotDaniel LazardSylvain LazardMarc Pouget. The Voronoi diagram of three arbitrary lines in R3
25th European Workshop on Computational Geometry - EuroCG'09, Mar 2009, Bruxelles, Belgium. pp.297-300
...
hal-00776252v1  Book sections
Ioannis Z. EmirisElias TsigaridasAntonios Varvitsiotis. Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs
C. Lavor and L. Liberti and N. Maculan and A. Mucherino. Distance Geometry: With Applications to Molecular Conformation and Sensor Networks, Springer-Verlag, pp.23-45, 2012, 978-1-4614-5128-0. ⟨10.1007/978-1-4614-5128-0_2⟩
...
hal-01401134v1  Conference papers
Ioannis Z. EmirisAngelos MantzaflarisElias Tsigaridas. On the Bit Complexity of Solving Bilinear Polynomial Systems
ISSAC '16 - 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.215-222, ⟨10.1145/2930889.2930919⟩
...
hal-00776270v1  Book sections
Ioannis Z. EmirisVictor Y. PanElias Tsigaridas. Algebraic Algorithms
Teofilo Gonzalez. Computing Handbook Set - Computer Science, I, CRC Press, 2012
...
inria-00425383v1  Conference papers
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of planar algebraic curves
25th annual symposium on Computational geometry - SCG 2009, Jun 2009, Aarhus, Denmark. pp.361--370, ⟨10.1145/1542362.1542424⟩
...
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⟩
...
inria-00329754v1  Conference papers
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On The Topology of Planar Algebraic Curves
24th European Workshop on Computational Geometry - EuroCG 2008, Mar 2008, Nancy, France. pp.213--216
...
inria-00329762v1  Book sections
Frédéric CazalsJean-Charles FaugèreMarc PougetFabrice Rouillier. Ridges and Umbilics of Polynomial Parametric Surfaces
B. Juttler and R. Piene. Geometric Modeling and Algebraic Geometry, Springer, pp.141--159, 2008, 978-3-540-72184-0. ⟨10.1007/978-3-540-72185-7_8⟩
...
hal-01528392v2  Conference papers
Michael BurrShuhong GaoElias Tsigaridas. The Complexity of an Adaptive Subdivision Method for Approximating Real Curves
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087654⟩
...
inria-00580431v1  Conference papers
Yacine BouzidiSylvain LazardMarc PougetFabrice Rouillier. New bivariate system solver and topology of algebraic curves
27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland
...
hal-01363545v1  Conference papers
Matías BenderJean-Charles FaugèreLudovic PerretElias Tsigaridas. A Superfast Randomized Algorithm to Decompose Binary Forms
ISSAC '16 - 41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.79-86, ⟨10.1145/2930889.2930896⟩