Cover Image

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ergür, Alperen A., Tonelli-Cueto, Josué, Tsigaridas, Elias
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation Computational Complexity Algebraic Geometry Probability 65H04, 14Q20, 68W30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the complexity of Chow and Hurwitz forms
by: Doğan, Mahmut Levent, et al.
Published: (2022)

Integer multiplication is at least as hard as matrix transposition
by: Harvey, David, et al.
Published: (2025)

Certified Real Eigenvalue Location
by: Solmaz, Baran, et al.
Published: (2026)

Some Lower Bounds on the Reach of an Algebraic Variety
by: La Valle, Chris, et al.
Published: (2024)

Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025)

Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups
by: Anokhin, Mikhail
Published: (2025)

Recent Advances in Debordering Methods
by: Dutta, Pranjal, et al.
Published: (2025)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)

Plantinga-Vegter algorithm takes average polynomial time
by: Cucker, Felipe, et al.
Published: (2019)

Numerically Computing Galois Groups of Minimal Problems
by: Duff, Timothy
Published: (2025)

Exact Constructive Digit-by-Digit Algorithms for Integer $e$-th Root Extraction
by: Pareth, Suresan
Published: (2026)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
by: Huang, Bo, et al.
Published: (2024)

Optimal Preconditioning is a Geodesically Convex Optimization Problem
by: Doğan, M. Levent, et al.
Published: (2025)

D-Algebraic Functions
by: Manssour, Rida Ait El, et al.
Published: (2023)

Reinforcement Learning for Power-Flow Network Analysis
by: Ergur, Alperen, et al.
Published: (2026)

A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
by: Vu, Thi Xuan
Published: (2025)

On the gradient of the coefficient of the characteristic polynomial
by: Ikenmeyer, Christian
Published: (2025)

First steps towards Computational Polynomials in Lean
by: Davenport, James Harold
Published: (2024)

A Geometric Approach to Cylindrical Algebraic Decomposition
by: Chen, Rizeng
Published: (2023)

Computing moment polytopes -- with a focus on tensors, entanglement and matrix multiplication
by: Berg, Maxim van den, et al.
Published: (2025)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)

Certified simultaneous isotopic approximation of curves via subdivision
by: Burr, Michael, et al.
Published: (2023)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

Certifying solutions of degenerate semidefinite programs
by: Kolmogorov, Vladimir, et al.
Published: (2024)

Probabilistic Computers (So Quantum Computers) Are More Rigorously Powerful Than Traditional Computers, and Derandomization
by: Lin, Tianrong
Published: (2023)

A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations
by: Duff, Timothy
Published: (2025)

P not equal to NP
by: Delgado, Daniel Cardona
Published: (2023)

An Exact Algorithm for Computing the Structure of Jordan Blocks
by: Tajima, Shinichi, et al.
Published: (2025)

Computing bases in Hermite normal form of lattices of integer relations
by: Labahn, George, et al.
Published: (2026)

Complexity of learning matchings and half graphs via edge queries
by: Mande, Nikhil S., et al.
Published: (2025)

Brackets and Projective Geometry in Macaulay2
by: Bidleman, Dalton, et al.
Published: (2025)

Computing with D-Algebraic Sequences
by: Tabuguia, Bertrand Teguia
Published: (2024)

Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Generating uniform linear extensions using few random bits
by: Huber, Mark
Published: (2025)

Convergence in total variation for the kinetic Langevin algorithm
by: Lehec, Joseph
Published: (2024)