Cover Image

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Muller, Jean-Michel, Salvy, Bruno
Format:	Preprint
Published:	2024
Subjects:	Numerical Analysis Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)

Computing Clipped Products
by: Norman, Arthur C., et al.
Published: (2024)

Strassen's algorithm is not optimally accurate
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
by: Dumas, Jean-Guillaume, et al.
Published: (2025)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

Validated numerics for algebraic path tracking
by: Guillemot, Alexandre, et al.
Published: (2024)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
by: Zhang, Bingwei, et al.
Published: (2025)

Groebner basis structure of ideal interpolation
by: Gong, Yihe, et al.
Published: (2020)

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
by: Treumova, Veronika, et al.
Published: (2024)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
by: Song, Zezheng, et al.
Published: (2024)

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

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
by: Kramer, Boris, et al.
Published: (2025)

Performance Comparison of Function Evaluation Methods
by: Liberti, Leo
Published: (2002)

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

Positivity Proofs for Linear Recurrences through Contracted Cones
by: Ibrahim, Alaa, et al.
Published: (2024)

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

A Finite Expression Method for Solving High-Dimensional Committor Problems
by: Song, Zezheng, et al.
Published: (2023)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

The complexity of class polynomial computation via floating point approximations
by: Enge, Andreas
Published: (2006)

Effective Asymptotics of Combinatorial Systems
by: Pivoteau, Carine, et al.
Published: (2025)

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

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)

Absolute root separation
by: Bugeaud, Yann, et al.
Published: (2019)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Fast Symbolic Integer-Linear Spectra
by: Luntzel, Jonny, et al.
Published: (2024)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
by: Verschelde, Jan, et al.
Published: (2024)

Training Stiff Neural Ordinary Differential Equations with Explicit Exponential Integration Methods
by: Fronk, Colby, et al.
Published: (2024)

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)

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

PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems
by: da Silva, Leon D., et al.
Published: (2025)

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
by: Pagès, Raphaël
Published: (2021)

On deciding transcendence of power series
by: Bostan, Alin, et al.
Published: (2025)

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

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

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)

Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
by: Castellanos-Joo, Jose Abel, et al.
Published: (2026)