Cover Image

Type-Based Approaches to Rounding Error Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kellison, Ariel Eileen
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Numerical Analysis
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Numerical Fuzz: A Type System for Rounding Error Analysis
by: Kellison, Ariel E., et al.
Published: (2024)

Bean: A Language for Backward Error Analysis
by: Kellison, Ariel E., et al.
Published: (2025)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
by: Tao, Yichen, et al.
Published: (2026)

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

Mechanizing Olver's Error Arithmetic
by: Fan, Max, et al.
Published: (2025)

Step-based checkpointing with high-level algorithmic differentiation
by: Maddison, James R.
Published: (2023)

Active Libraries: Rethinking the roles of compilers and libraries
by: Veldhuizen, Todd L., et al.
Published: (1998)

Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs
by: Zahid, Anwar Hossain, et al.
Published: (2024)

Statistical Rounding Error Analysis for Random Matrix Computations
by: Fang, Yiming, et al.
Published: (2024)

Probabilistic Error Analysis of Limited-Precision Stochastic Rounding: Horner's Algorithm and Pairwise Summation
by: Arar, El-Mehdi El, et al.
Published: (2026)

Accurate Residues for Floating-Point Debugging
by: He, Yumeng, et al.
Published: (2026)

Limited-Precision Stochastic Rounding
by: Arar, El-Mehdi El, et al.
Published: (2026)

Statistical data analysis for Tourism in Poland in R Programming Environment
by: Jamal, Saad Ahmed
Published: (2025)

A New Adaptive Deep Learning based Reduced Order Model for Hybrid-Type Parabolic PDEs: Rigorous Error Analysis and Applications
by: Kotowski, Dawid, et al.
Published: (2026)

Error Analysis of Krylov Subspace approximation Based on IDR($s$) Method for Matrix Function Bilinear Forms
by: Xue, Qianqian, et al.
Published: (2025)

A Bayesian Approach to Modeling Finite Element Discretization Error
by: Poot, Anne, et al.
Published: (2023)

Adaptive Randomized Tensor Train Rounding using Khatri-Rao Products
by: Daas, Hussam Al, et al.
Published: (2025)

Asymptotic Error Analysis of Gauss Quadrature for Nonsmooth Functions
by: Liu, Pei
Published: (2025)

Error Analysis of ZFP Compression for Floating-Point Data
by: Diffenderfer, James, et al.
Published: (2018)

Inaccuracy of Ensemble-Based Covariance Propagation, Beyond Sampling Error
by: Gilpin, Shay
Published: (2025)

Residual-Based a Posteriori Error Estimators for Algebraic Stabilizations
by: Jha, Abhinav
Published: (2024)

Error Analysis of Randomized Symplectic Model Order Reduction for Hamiltonian systems
by: Herkert, Robin, et al.
Published: (2024)

On the Convergence of the Gradient Descent Method with Stochastic Fixed-point Rounding Errors under the Polyak-Lojasiewicz Inequality
by: Xia, Lu, et al.
Published: (2023)

Stochastic Rounding 2.0, with a View towards Complexity Analysis
by: Drineas, Petros, et al.
Published: (2024)

Opening the black box of language acquisition
by: Michaud, Jérôme, et al.
Published: (2024)

KazByte: Adapting Qwen models to Kazakh via Byte-level Adapter
by: Akylzhanov, Rauan
Published: (2026)

Generalization Error Analysis of Deep Backward Dynamic Programming for Solving Nonlinear PDEs
by: Ouyang, Du, et al.
Published: (2024)

Stochastic Rounding Increases Small Singular Values
by: Ma, Linkai, et al.
Published: (2026)

Residual Based Error Estimator for Chemical-Mechanically Coupled Battery Active Particles
by: Schoof, Raphael, et al.
Published: (2024)

Numerical Solution and Errors Analysis of Iterative Method for a Nonlinear Plate Bending Problem
by: Wilfried, Akakpo A., et al.
Published: (2025)

Numerical Error Analysis of the Poisson Equation under RHS Inaccuracies in Particle-in-Cell Simulations
by: Zhang, Kai, et al.
Published: (2025)

Acceptance or Rejection of Lots while Minimizing and Controlling Type I and Type II Errors
by: Ursini, Edson Luiz, et al.
Published: (2025)

Hyb Error: A Hybrid Metric Combining Absolute and Relative Errors
by: Xie, Peichen
Published: (2024)

Detailed Error Analysis of the HHL Algorithm
by: Phillips, Xinbo Li Christopher
Published: (2024)

Error Analysis of a Fully Discrete Scheme for The Cahn--Hilliard Cross-Diffusion Model in Lymphangiogenesis
by: Wang, Boyi, et al.
Published: (2024)

Geometry Error Analysis of a parametric mapping for Higher Order Unfitted Space-Time Methods
by: Heimann, Fabian, et al.
Published: (2023)

Enhancing ZFP: A Statistical Approach to Understanding and Reducing Error Bias in a Lossy Floating-Point Compression Algorithm
by: Fox, Alyson, et al.
Published: (2024)

Discretization Error Analysis of a High Order Unfitted Space-Time Method for moving domain problems
by: Heimann, Fabian, et al.
Published: (2025)

Error Analysis of Parameter Prediction via Gaussian Process Regression and Its Application to Weighted Jacobi Iteration
by: Sun, Tiantian, et al.
Published: (2026)

Analysis of Geometric Selection of the Data-Error Covariance Inflation for ES-MDA
by: Emerick, Alexandre A.
Published: (2018)