Buchumschlag

Certified homotopy tracking using the Krawczyk method

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Duff, Timothy, Lee, Kisun
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Numerical Analysis Symbolic Computation Algebraic Geometry 65H14
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Certified surface approximations using the interval Krawczyk test
von: Burr, Michael, et al.
Veröffentlicht: (2026)

A priori bounds for certified Krawczyk homotopy tracking
von: Lee, Kisun
Veröffentlicht: (2025)

Certified algebraic curve projections by path tracking
von: Burr, Michael, et al.
Veröffentlicht: (2025)

Certifying Galois/monodromy Actions via Homotopy Graphs
von: Duff, Timothy, et al.
Veröffentlicht: (2026)

Effective alpha theory certification using interval arithmetic: alpha theory over regions
von: Lee, Kisun
Veröffentlicht: (2024)

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

Implementing real polyhedral homotopy
von: Lee, Kisun, et al.
Veröffentlicht: (2022)

Rigid homotopies for sampling from algebraic varieties: a Waring structure complexity model
von: Jones, Abigail R., et al.
Veröffentlicht: (2026)

Asymptotic rank bounds: a numerical census
von: Lee, Kisun
Veröffentlicht: (2026)

Brackets and Projective Geometry in Macaulay2
von: Bidleman, Dalton, et al.
Veröffentlicht: (2025)

A short proof for the parameter continuation theorem
von: Borovik, Viktoriia, et al.
Veröffentlicht: (2023)

Numerical Nonlinear Algebra
von: Bates, Daniel J., et al.
Veröffentlicht: (2023)

Efficient Tensor Decomposition via Moment Matrix Extension
von: Shi, Bobby, et al.
Veröffentlicht: (2025)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
von: Zeng, Zhenbing, et al.
Veröffentlicht: (2025)

Trinomials and Deterministic Complexity Limits for Real Solving
von: Boniface, Emma, et al.
Veröffentlicht: (2022)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
von: Paouris, Grigoris, et al.
Veröffentlicht: (2019)

Subalgebra and Khovanskii bases equivalence
von: Alstad, Colin, et al.
Veröffentlicht: (2024)

Certified Real Eigenvalue Location
von: Solmaz, Baran, et al.
Veröffentlicht: (2026)

Some Lower Bounds on the Reach of an Algebraic Variety
von: La Valle, Chris, et al.
Veröffentlicht: (2024)

On computing local monodromy and the numerical local irreducible decomposition
von: Edwards, Parker B., et al.
Veröffentlicht: (2024)

Three Paths to Rational Curves with Rational Arc Length
von: Schröcker, Hans-Peter, et al.
Veröffentlicht: (2023)

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

An intrinsic homotopy for intersecting algebraic varieties
von: Sommese, Andrew J., et al.
Veröffentlicht: (2004)

Chebyshev Subdivision and Reduction Methods for Solving Multivariable Systems of Equations
von: Parkinson, Erik, et al.
Veröffentlicht: (2024)

A stratified polyhedral homotopy method for sampling positive-dimensional zero sets of polynomial systems
von: Chen, Tianran
Veröffentlicht: (2023)

A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations
von: Duff, Timothy
Veröffentlicht: (2025)

Complexity of sparse polynomial solving 3: Infinity
von: Malajovich, Gregorio
Veröffentlicht: (2025)

Some real and unreal enumerative geometry for flag manifolds
von: Sottile, Frank
Veröffentlicht: (2000)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
von: Moroz, Guillaume
Veröffentlicht: (2024)

Quadrature rules with few nodes supported on algebraic curves
von: Riener, Cordian, et al.
Veröffentlicht: (2025)

Numerically Computing Galois Groups of Minimal Problems
von: Duff, Timothy
Veröffentlicht: (2025)

A proof of the Brill-Noether method from scratch
von: Berardini, Elena, et al.
Veröffentlicht: (2022)

Projective Variety Recovery from Unknown Linear Projections
von: Kaminski, Yirmeyahy
Veröffentlicht: (2025)

Projecting dynamical systems via a support bound
von: Mukhina, Yulia, et al.
Veröffentlicht: (2025)

Support bound for differential elimination in polynomial dynamical systems
von: Mukhina, Yulia, et al.
Veröffentlicht: (2025)

Numerical Schubert calculus
von: Huber, Birkett, et al.
Veröffentlicht: (1997)

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

Random Sparse Polynomial Systems
von: Malajovich, Gregorio, et al.
Veröffentlicht: (2000)

Validated numerics for algebraic path tracking
von: Guillemot, Alexandre, et al.
Veröffentlicht: (2024)

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