Cover Image

Certified Real Eigenvalue Location

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Solmaz, Baran, Ayyildiz, Tulay
Format:	Preprint
Published:	2026
Subjects:	Symbolic Computation Algebraic Geometry 68W30, 65F15, 14Q25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

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

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
by: Ergür, Alperen A., et al.
Published: (2025)

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

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

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

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

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

Cylindrical Algebraic Decomposition in Macaulay2
by: Lee, Corin, et al.
Published: (2025)

An algorithm for annihilator and Bernstein-Sato polynomial of a rational function
by: González-Villa, Manuel, et al.
Published: (2026)

A new method for reducing algebraic programs to polynomial programs
by: Maaz, Muhammad, et al.
Published: (2025)

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

Common Real Secants to Pairs of Real Twisted Cubic Curves
by: Aslam, Saima, et al.
Published: (2026)

Computing Complex Dimension Faster and Deterministically
by: Rojas, J. Maurice
Published: (2000)

Sparse systems and algorithmic equidimensional decomposition
by: Herrero, Maria Isabel, et al.
Published: (2025)

Exact Volumes of Semi-Algebraic Convex Bodies
by: Ramesh, Lakshmi, et al.
Published: (2026)

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
by: Xu, Jia, et al.
Published: (2025)

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

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

Effective bounds for polynomial systems defined over the rationals
by: Krick, Teresa
Published: (2025)

An Effective Criterion for Covering Maps Between Real Varieties
by: Chen, Rizeng
Published: (2026)

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

On the configurations of four spheres supporting the vertices of a tetrahedron
by: Longinetti, Marco, et al.
Published: (2024)

Certifying Galois/monodromy Actions via Homotopy Graphs
by: Duff, Timothy, et al.
Published: (2026)

On Projective Delineability
by: Michel, Lucas, et al.
Published: (2024)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
by: Basson, Dirk, et al.
Published: (2024)

Monodromy Coordinates
by: Brysiewicz, Taylor
Published: (2024)

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

Robust Tensor CUR Decompositions: Rapid Low-Tucker-Rank Tensor Recovery with Sparse Corruption
by: Cai, HanQin, et al.
Published: (2023)

Certified homotopy tracking using the Krawczyk method
by: Duff, Timothy, et al.
Published: (2024)

Certified algebraic curve projections by path tracking
by: Burr, Michael, et al.
Published: (2025)

Drawing real plane algebraic curves in OSCAR
by: Frühbis-Krüger, Anne, et al.
Published: (2026)

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

An intrinsic homotopy for intersecting algebraic varieties
by: Sommese, Andrew J., et al.
Published: (2004)

Dupin cyclides passing through a fixed circle
by: Menjanahary, Jean Michel, et al.
Published: (2024)

Dupin Cyclides as a Subspace of Darboux Cyclides
by: Menjanahary, Jean Michel, et al.
Published: (2022)

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

Computing transcendence and linear relations of 1-periods
by: Sertöz, Emre Can, et al.
Published: (2025)