Elias P. Tsigaridas

J. Symb. Comput., May, 2024

Randomized Control in Performance Analysis and Empirical Asset Pricing.

[BibT_eX]

[DOI]

Cyril Bachelard

CoRR, 2024

2023

On the Complexity of Chow and Hurwitz Forms.

[BibT_eX]

[DOI]

M. Levent Dogan

ACM Commun. Comput. Algebra, December, 2023

Truncated Log-concave Sampling for Convex Bodies with Reflective Hamiltonian Monte Carlo.

[BibT_eX]

[DOI]

Marios Papachristou

ACM Trans. Math. Softw., June, 2023

Trifocal Relative Pose From Lines at Points.

[BibT_eX]

[DOI]

David da Costa de Pinho

Charles W. Wampler

Jonathan D. Hauenstein

IEEE Trans. Pattern Anal. Mach. Intell., June, 2023

Condition numbers for the cube. I: Univariate polynomials and hypersurfaces.

[BibT_eX]

[DOI]

Josué Tonelli-Cueto

J. Symb. Comput., 2023

PTOPO: Computing the geometry and the topology of parametric curves.

[BibT_eX]

[DOI]

J. Symb. Comput., 2023

Semidefinite network games: multiplayer minimax and semidefinite complementarity problems.

[BibT_eX]

[DOI]

Constantin Ickstadt

Thorsten Theobald

Antonios Varvitsiotis

CoRR, 2023

Randomized geometric tools for anomaly detection in stock markets.

[BibT_eX]

[DOI]

Cyril Bachelard

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022

The Multivariate Schwartz-Zippel Lemma.

[BibT_eX]

[DOI]

SIAM J. Discret. Math., 2022

Semidefinite games.

[BibT_eX]

[DOI]

Constantin Ickstadt

Thorsten Theobald

CoRR, 2022

The Boolean complexity of computing Chow forms.

[BibT_eX]

[DOI]

Mahmut Levent Dogan

CoRR, 2022

A Near-Optimal Expected Boolean Complexity Bound for Descartes Solver.

[BibT_eX]

[DOI]

Josué Tonelli-Cueto

CoRR, 2022

Beyond Worst-Case Analysis for Root Isolation Algorithms.

[BibT_eX]

[DOI]

Josué Tonelli-Cueto

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

GPU-Based Homotopy Continuation for Minimal Problems in Computer Vision.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021

Koszul-Type Determinantal Formulas for Families of Mixed Multilinear Systems.

[BibT_eX]

[DOI]

SIAM J. Appl. Algebra Geom., 2021

Multilinear polynomial systems: Root isolation and bit complexity.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

A nearly optimal algorithm to decompose binary forms.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

On the maximal number of real embeddings of minimally rigid graphs in R2, R3 and <i>S</i><sup>2</sup>.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

Truncated Log-concave Sampling with Reflective Hamiltonian Monte Carlo.

[BibT_eX]

[DOI]

Marios Papachristou

CoRR, 2021

PTOPO: Computing the Geometry and the Topology of Parametric Curves.

[BibT_eX]

[DOI]

CoRR, 2021

Geometric Algorithms for Sampling the Flux Space of Metabolic Networks.

[BibT_eX]

[DOI]

Haris Zafeiropoulos

Proceedings of the 37th International Symposium on Computational Geometry, 2021

2020

Separation bounds for polynomial systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials.

[BibT_eX]

[DOI]

Laurent Busé

J. Symb. Comput., 2020

The complexity of subdivision for diameter-distance tests.

[BibT_eX]

[DOI]

Michael A. Burr

Shuhong Gao

J. Symb. Comput., 2020

Lower Bounds on the Number of Realizations of Rigid Graphs.

[BibT_eX]

[DOI]

Georg Grasegger

Christoph Koutschan

Exp. Math., 2020

Efficient Sampling from Feasible Sets of SDPs and Volume Approximation.

[BibT_eX]

[DOI]

Panagiotis Repouskos

CoRR, 2020

PTOPO: a maple package for the topology of parametric curves.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2020

Sampling the feasible sets of SDPs and volume approximation.

[BibT_eX]

[DOI]

Panagiotis Repouskos

ACM Commun. Comput. Algebra, 2020

Computing the topology of a plane or space hyperelliptic curve.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 2020

On the geometry and the topology of parametric curves.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

TRPLP - Trifocal Relative Pose From Lines at Points.

[BibT_eX]

[DOI]

David da Costa de Pinho

Charles W. Wampler

Jonathan D. Hauenstein

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Univariate real root isolation in an extension field and applications.

[BibT_eX]

[DOI]

Adam W. Strzebonski

J. Symb. Comput., 2019

Trifocal Relative Pose from Lines at Points and its Efficient Solution.

[BibT_eX]

[DOI]

David da Costa de Pinho

Charles Wrampler

Jonathan D. Hauenstein

Benjamin B. Kimia

Anton Leykin

Tomás Pajdla

CoRR, 2019

Gr{ö}bner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Improving root separation bounds.

[BibT_eX]

[DOI]

Aaron Herman

Hoon Hong

J. Symb. Comput., 2018

Computing the topology of a planar or space hyperelliptic curve.

[BibT_eX]

[DOI]

CoRR, 2018

Towards Mixed Gr{ö}bner Basis Algorithms: the Multihomogeneous and Sparse Case.

[BibT_eX]

[DOI]

CoRR, 2018

Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

Bilinear Systems with Two Supports: Koszul Resultant Matrices, Eigenvalues, and Eigenvectors.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

On the Maximal Number of Real Embeddings of Spatial Minimally Rigid Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Accelerated approximation of the complex roots and factors of a univariate polynomial.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Nearly optimal computations with structured matrices.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Resultants and Discriminants for Bivariate Tensor-Product Polynomials.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Sparse Rational Univariate Representation.

[BibT_eX]

[DOI]

Éric Schost

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

The Complexity of an Adaptive Subdivision Method for Approximating Real Curves.

[BibT_eX]

[DOI]

Michael A. Burr

Shuhong Gao

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

Nearly optimal refinement of real roots of a univariate polynomial.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

SLV: a software for real root isolation.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

On the Bit Complexity of Solving Bilinear Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

A Superfast Randomized Algorithm to Decompose Binary Forms.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

Bounds for the Condition Number of Polynomials Systems with Integer Coefficients - (Invited Talk).

[BibT_eX]

[DOI]

Aaron Herman

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014

Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Extended Abstract).

[BibT_eX]

[DOI]

CoRR, 2014

Accelerated approximation of the complex roots of a univariate polynomial.

[BibT_eX]

[DOI]

Proceedings of the Symbolic-Numeric Computation 2014, 2014

Algebraic Algorithms.

[BibT_eX]

Proceedings of the Computing Handbook, 2014

2013

Improved bounds for the CF algorithm.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

On the Minimum of a Polynomial Function on a Basic Closed Semialgebraic Set and Applications.

[BibT_eX]

[DOI]

Gabriela Jeronimo

Daniel Perrucci

Kristoffer Arnsfelt Hansen

SIAM J. Optim., 2013

A polynomial approach for extracting the extrema of a spherical function and its application in diffusion MRI.

[BibT_eX]

[DOI]

Medical Image Anal., 2013

Patience of matrix games.

[BibT_eX]

[DOI]

Rasmus Ibsen-Jensen

Vladimir V. Podolskii

Discret. Appl. Math., 2013

A probabilistic algorithm to compute the real dimension of a semi-algebraic set

[BibT_eX]

[DOI]

Mohab Safey El Din

CoRR, 2013

Chapter 10: Algebraic Algorithms.

[BibT_eX]

[DOI]

CoRR, 2013

Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, and implementation for ellipses.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 2013

On the boolean complexity of real root refinement.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs.

[BibT_eX]

[DOI]

Kristoffer Arnsfelt Hansen

Antonios Varvitsiotis

Proceedings of the Distance Geometry: Theory, Methods, and Applications, 2013

2012

Exact Algorithms for Solving Stochastic Games

[BibT_eX]

[DOI]

CoRR, 2012

Univariate real root isolation in multiple extension fields.

[BibT_eX]

[DOI]

Adam W. Strzebonski

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems.

[BibT_eX]

[DOI]

Jia Li

Jin-San Cheng

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

2011

On continued fraction expansion of real roots of polynomial systems, complexity and condition numbers.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

An algorithm for addressing the real interval eigenvalue problem.

[BibT_eX]

[DOI]

J. Comput. Appl. Math., 2011

Characterizing and approximating eigenvalue sets of symmetric interval matrices.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2011

A filtering method for the interval eigenvalue problem.

[BibT_eX]

[DOI]

Kristoffer Arnsfelt Hansen

Appl. Math. Comput., 2011

Exact algorithms for solving stochastic games: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011

Univariate real root isolation in an extension field.

[BibT_eX]

[DOI]

Adam W. Strzebonski

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

Bounds on Real Eigenvalues and Singular Values of Interval Matrices.

[BibT_eX]

[DOI]

SIAM J. Matrix Anal. Appl., 2010

On the Topology of Real Algebraic Plane Curves.

[BibT_eX]

[DOI]

Jin-San Cheng

Sylvain Lazard

Luis Mariano Peñaranda

Marc Pouget

Math. Comput. Sci., 2010

Improved complexity bounds for real root isolation using Continued Fractions

[BibT_eX]

[DOI]

CoRR, 2010

The DMM bound: multivariate (aggregate) separation bounds.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Random polynomials and expected complexity of bisection methods for real solving.

[BibT_eX]

[DOI]

André Galligo

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

Decomposing tensors with structured matrix factors reduces to rank-1 approximations.

[BibT_eX]

[DOI]

Pierre Comon

Mikael Sørensen

Proceedings of the IEEE International Conference on Acoustics, 2010

2009

On the asymptotic and practical complexity of solving bivariate systems over the reals.

[BibT_eX]

[DOI]

Dimitrios I. Diochnos

J. Symb. Comput., 2009

Guarding curvilinear art galleries with vertex or point guards.

[BibT_eX]

[DOI]

Menelaos I. Karavelas

Csaba D. Tóth

Comput. Geom., 2009

Univariate Algebraic Kernel and Application to Arrangements.

[BibT_eX]

[DOI]

Sylvain Lazard

Luis Mariano Peñaranda

Proceedings of the Experimental Algorithms, 8th International Symposium, 2009

Continued fraction expansion of real roots of polynomial systems.

[BibT_eX]

[DOI]

Proceedings of the Symbolic Numeric Computation, 2009

Experimental evaluation and cross-benchmarking of univariate real solvers.

[BibT_eX]

[DOI]

Michael Hemmer

Menelaos I. Karavelas

Proceedings of the Symbolic Numeric Computation, 2009

Exact Delaunay graph of smooth convex pseudo-circles: general predicates, and implementation for ellipses.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, 2009

Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs.

[BibT_eX]

[DOI]

Antonios Varvitsiotis

Proceedings of the Graph Drawing, 17th International Symposium, 2009

Symmetric tensor decomposition.

[BibT_eX]

[DOI]

Proceedings of the 17th European Signal Processing Conference, 2009

On the topology of planar algebraic curves.

[BibT_eX]

[DOI]

Jin-San Cheng

Sylvain Lazard

Luis Mariano Peñaranda

Marc Pouget

Proceedings of the 25th ACM Symposium on Computational Geometry, 2009

2008

On the complexity of real root isolation using continued fractions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Real algebraic numbers and polynomial systems of small degree.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

The Predicates for the Exact Voronoi Diagram of Ellipses under the Euclidiean Metric.

[BibT_eX]

[DOI]

Int. J. Comput. Geom. Appl., 2008

Guarding curvilinear art galleries with vertex or point guards

[BibT_eX]

[DOI]

Menelaos I. Karavelas

CoRR, 2008

Algebraic computations and applications to geometry (abstract only).

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2008

Computing a rational in between.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2008

Real Algebraic Numbers: Complexity Analysis and Experimentation.

[BibT_eX]

[DOI]

Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008

2007

On the complexity of real solving bivariate systems.

[BibT_eX]

[DOI]

Dimitrios I. Diochnos

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

2006

Αλγεβρικοί αλγόριθμοι και εφαρμογές στη γεωμετρία

[BibT_eX]

[DOI]

PhD thesis, 2006

Univariate Polynomial Real Root Isolation: Continued Fractions Revisited.

[BibT_eX]

[DOI]

Proceedings of the Algorithms, 2006

The predicates for the Voronoi diagram of ellipses.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM Symposium on Computational Geometry, 2006

Minkowski decomposition of convex lattice polygons.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Geometry and Geometric Modeling, 2006

2005

Computations with one and two real algebraic numbers

[BibT_eX]

[DOI]

CoRR, 2005

Real Solving of Bivariate Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005

2004

Comparing Real Algebraic Numbers of Small Degree.

[BibT_eX]

[DOI]