Cover Image

Mechanizing Olver's Error Arithmetic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fan, Max, Kellison, Ariel E., Pollard, Samuel D.
Format:	Preprint
Published:	2025
Subjects:	Numerical Analysis D.2.4; G.1.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
by: van Emden, M. H.
Published: (2002)

The pitfalls of verifying floating-point computations
by: Monniaux, David
Published: (2007)

Reliability Conditions in Quadrature Algorithms
by: Adam, Gh., et al.
Published: (2003)

An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores
by: Valpey, Benjamin, et al.
Published: (2025)

Spectral Methods via FFTs in Emerging Machine Number Formats: OFP8, Bfloat16, Posit, and Takum Arithmetics
by: Hunhold, Laslo, et al.
Published: (2025)

Analysis of and workarounds for element reversal for a finite element-based algorithm for warping triangular and tetrahedral meshes
by: Shontz, Suzanne M., et al.
Published: (2004)

On the Significance of Digits in Interval Notation
by: van Emden, M. H.
Published: (2002)

Factored Notation for Interval I/O
by: van Emden, M. H.
Published: (2001)

Scalable s-step Preconditioned Conjugate Gradient with Chebyshev Basis and Gauss-Seidel Gram Solve
by: D'Ambra, Pasqua, et al.
Published: (2026)

Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
by: Daněk, Josef, et al.
Published: (2024)

Good modelling software practices
by: Lemmen, Carsten, et al.
Published: (2024)

Interval Constraint Solving for Camera Control and Motion Planning
by: Benhamou, Frederic, et al.
Published: (2000)

Computing sharp and scalable bounds on errors in approximate zeros of univariate polynomials
by: Ramakrishna, P. H. D., et al.
Published: (2003)

The Fundamental Theorems of Interval Analysis
by: van Emden, M. H., et al.
Published: (2007)

Functions to Support Input and Output of Intervals
by: van Emden, M. H., et al.
Published: (2007)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
by: Ratschan, Stefan
Published: (2002)

Using matrices in post-processing phase of CFD simulations
by: Argentini, Gianluca
Published: (2004)

Using sparse matrices and splines-based interpolation in computational fluid dynamics simulations
by: Argentini, Gianluca
Published: (2004)

An Adaptive Difference Method for Variable-Order Diffusion Equations
by: Quintana-Murillo, Joaquín, et al.
Published: (2024)

Weighted average finite difference methods for fractional diffusion equations
by: Yuste, Santos B.
Published: (2004)

POLYDIM: A C++ library for POLYtopal DIscretization Methods
by: Berrone, Stefano, et al.
Published: (2025)

Fast Linear Solvers via AI-Tuned Markov Chain Monte Carlo-based Matrix Inversion
by: Lebedev, Anton, et al.
Published: (2025)

Direction-Preserving Number Representations
by: Zadeh, Bardia, et al.
Published: (2026)

Evaluation of Bfloat16, Posit, and Takum Arithmetics in Sparse Linear Solvers
by: Hunhold, Laslo, et al.
Published: (2024)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
by: van Emden, M. H., et al.
Published: (2004)

Numerical Performance of the Implicitly Restarted Arnoldi Method in OFP8, Bfloat16, Posit, and Takum Arithmetics
by: Hunhold, Laslo, et al.
Published: (2025)

A randomised lattice rule algorithm with pre-determined generating vector and random number of points for Korobov spaces with $0 < α\le 1/2$
by: Nuyens, Dirk, et al.
Published: (2023)

Multivariate Integral Perturbation Techniques - I (Theory)
by: Dash, Jan W.
Published: (2006)

Beating Posits at Their Own Game: Takum Arithmetic
by: Hunhold, Laslo
Published: (2024)

Classifying extrema using intervals
by: Gutowski, Marek W.
Published: (2006)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

Precision Arithmetic: A New Floating-Point Arithmetic
by: Wang, Chengpu
Published: (2006)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
by: McCann, Alan L.
Published: (2026)

On an explicit finite difference method for fractional diffusion equations
by: Yuste, S. B., et al.
Published: (2003)

A Robust Solution Procedure for Hyperelastic Solids with Large Boundary Deformation
by: Shontz, Suzanne M., et al.
Published: (2006)

Perturbation Function Iteration Method: A New Framework for Solving Periodic Solutions of Non-linear and Non-smooth Systems
by: Cao, Limin, et al.
Published: (2025)

A Unifying Family of Data-Adaptive Partitioning Algorithms
by: Oldaker IV, Guy B., et al.
Published: (2024)

Two intriguing variants of the AAA algorithm for rational approximation
by: Mitchell, William
Published: (2025)

Braced Fourier Continuation and Regression for Anomaly Detection
by: Sabuda, Josef
Published: (2024)