Cover Image

Effective alpha theory certification using interval arithmetic: alpha theory over regions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lee, Kisun
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation Numerical Analysis Algebraic Geometry 65H14
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

A priori bounds for certified Krawczyk homotopy tracking
by: Lee, Kisun
Published: (2025)

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

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

Implementing real polyhedral homotopy
by: Lee, Kisun, et al.
Published: (2022)

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

Asymptotic rank bounds: a numerical census
by: Lee, Kisun
Published: (2026)

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

Numerical Nonlinear Algebra
by: Bates, Daniel J., et al.
Published: (2023)

Efficient Tensor Decomposition via Moment Matrix Extension
by: Shi, Bobby, et al.
Published: (2025)

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

Trinomials and Deterministic Complexity Limits for Real Solving
by: Boniface, Emma, et al.
Published: (2022)

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

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

On computing local monodromy and the numerical local irreducible decomposition
by: Edwards, Parker B., et al.
Published: (2024)

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

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

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

Chebyshev Subdivision and Reduction Methods for Solving Multivariable Systems of Equations
by: Parkinson, Erik, et al.
Published: (2024)

Complexity of sparse polynomial solving 3: Infinity
by: Malajovich, Gregorio
Published: (2025)

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

Some real and unreal enumerative geometry for flag manifolds
by: Sottile, Frank
Published: (2000)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
by: Moroz, Guillaume
Published: (2024)

Quadrature rules with few nodes supported on algebraic curves
by: Riener, Cordian, et al.
Published: (2025)

Some explicit arithmetic on curves of genus three and their applications
by: Moriya, Tomoki, et al.
Published: (2022)

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

Subalgebra and Khovanskii bases equivalence
by: Alstad, Colin, et al.
Published: (2024)

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

Projective Variety Recovery from Unknown Linear Projections
by: Kaminski, Yirmeyahy
Published: (2025)

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

Support bound for differential elimination in polynomial dynamical systems
by: Mukhina, Yulia, et al.
Published: (2025)

Numerical Schubert calculus
by: Huber, Birkett, et al.
Published: (1997)

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

Random Sparse Polynomial Systems
by: Malajovich, Gregorio, et al.
Published: (2000)

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

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
by: Muller, Jean-Michel, et al.
Published: (2024)

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

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