Copertina

A priori bounds for certified Krawczyk homotopy tracking

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Lee, Kisun
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Algebraic Geometry Symbolic Computation 65H14
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Certified surface approximations using the interval Krawczyk test
di: Burr, Michael, et al.
Pubblicazione: (2026)

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

Effective alpha theory certification using interval arithmetic: alpha theory over regions
di: Lee, Kisun
Pubblicazione: (2024)

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

Asymptotic rank bounds: a numerical census
di: Lee, Kisun
Pubblicazione: (2026)

Two-step Newton's method for deflation-one singular zeros of analytic systems
di: Lee, Kisun, et al.
Pubblicazione: (2023)

Implementing real polyhedral homotopy
di: Lee, Kisun, et al.
Pubblicazione: (2022)

Rigid homotopies for sampling from algebraic varieties: a Waring structure complexity model
di: Jones, Abigail R., et al.
Pubblicazione: (2026)

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

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

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

Belyi map verification using certified path tracking
di: Guillemot, Alexandre, et al.
Pubblicazione: (2026)

A stratified polyhedral homotopy method for sampling positive-dimensional zero sets of polynomial systems
di: Chen, Tianran
Pubblicazione: (2023)

Certified Real Eigenvalue Location
di: Solmaz, Baran, et al.
Pubblicazione: (2026)

Subalgebra and Khovanskii bases equivalence
di: Alstad, Colin, et al.
Pubblicazione: (2024)

Projective Variety Recovery from Unknown Linear Projections
di: Kaminski, Yirmeyahy
Pubblicazione: (2025)

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

A proof of the Brill-Noether method from scratch
di: Berardini, Elena, et al.
Pubblicazione: (2022)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2025)

Solving generic parametric linear matrix inequalities
di: Naldi, Simone, et al.
Pubblicazione: (2025)

Connection Matrices in Macaulay2
di: Görlach, Paul, et al.
Pubblicazione: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
di: Hong, Hoon, et al.
Pubblicazione: (2023)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
di: Oaku, Toshinori
Pubblicazione: (2026)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
di: Bender, Matías, et al.
Pubblicazione: (2023)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
di: Prébet, Rémi, et al.
Pubblicazione: (2024)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
di: Hong, Hoon, et al.
Pubblicazione: (2023)

Solving parameter-dependent semi-algebraic systems
di: Gaillard, Louis, et al.
Pubblicazione: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
di: Pogudin, Gleb
Pubblicazione: (2024)

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
di: Telek, Máté L.
Pubblicazione: (2023)

Computing the connected components of real algebraic curves
di: Rocchi, Elisabetta, et al.
Pubblicazione: (2026)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
di: Berthomieu, Jérémy, et al.
Pubblicazione: (2026)

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

An analog of the Edwards model for Jacobians of genus 2 curves
di: Flynn, E. Victor, et al.
Pubblicazione: (2022)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
di: Riener, Cordian., et al.
Pubblicazione: (2025)

A short proof for the parameter continuation theorem
di: Borovik, Viktoriia, et al.
Pubblicazione: (2023)

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

On Minimum CADs for Algebraic Sets in Dimension Three
di: Michel, Lucas
Pubblicazione: (2026)

Numerical Nonlinear Algebra
di: Bates, Daniel J., et al.
Pubblicazione: (2023)

Projecting dynamical systems via a support bound
di: Mukhina, Yulia, et al.
Pubblicazione: (2025)