Cover Image

Numerical Fuzz: A Type System for Rounding Error Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kellison, Ariel E., Hsu, Justin
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Numerical Analysis
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Type-Based Approaches to Rounding Error Analysis
by: Kellison, Ariel Eileen
Published: (2025)

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

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

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)

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)

Linear Numerical Schemes for a $\textbf{Q}$-Tensor System for Nematic Liquid Crystals
by: Swain, Justin, et al.
Published: (2024)

Numerical Error Analysis of Large Language Models
by: Budzinskiy, Stanislav, et al.
Published: (2025)

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)

Numerical Methods and Analysis of Computing Quasiperiodic Systems
by: Jiang, Kai, et al.
Published: (2022)

A Diffuse Domain Approximation with Transmission-Type Boundary Conditions I: Asymptotic Analysis and Numerics
by: Luong, Toai, et al.
Published: (2024)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
by: Brand, Sebastiaan, et al.
Published: (2025)

Numerical Analysis of Stabilization for Random Hyperbolic Systems of Conservation Laws
by: Chu, Shaoshuai, et al.
Published: (2025)

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

Numerical Discretization Methods for Seismic Response Analysis of SDOF Systems: A Unified Perspective
by: Ghahari, Farid
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)

A Numerical Truncation Approximation with A Posteriori Error Bounds for the Solution of Poisson's Equation
by: Mahdian, Saied, et al.
Published: (2024)

Synthesizing Backward Error Bounds, Backward
by: Zielinski, Laura, et al.
Published: (2026)

The State-Dependent Riccati Equation in Nonlinear Optimal Control: Analysis, Error Estimation and Numerical Approximation
by: Saluzzi, Luca
Published: (2025)

Numerical Performance of Abs Codes for Nonlinear Systems of Equations
by: Bodon, E., et al.
Published: (2001)

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)

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

Neural Networks in Numerical Analysis and Approximation Theory
by: Romera, Gonzalo
Published: (2024)

Numerical Analysis of Penalty-based Ensemble Methods
by: Fang, Rui
Published: (2024)

Numerical Algorithms for Partially Segregated Elliptic Systems
by: Bozorgnia, Farid, et al.
Published: (2026)

Effective Numerical Simulation of Fault Transient System
by: Wu, Sixu, et al.
Published: (2025)

Data-Efficient Kernel Methods for Learning Differential Equations and Their Solution Operators: Algorithms and Error Analysis
by: Jalalian, Yasamin, et al.
Published: (2025)

Numerical Reconstruction and Analysis of Backward Semilinear Subdiffusion Problems
by: Wu, Xu, et al.
Published: (2025)

Numerical convergence of a Telegraph Predator-Prey System
by: Luiz, Kariston Stevan, et al.
Published: (2022)

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

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

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

Numerical Investigation of a Dipole Type Solution for Unsteady Groundwater Flow with Capillary Retention and Forced Drainage
by: Ingerman, Eugene A., et al.
Published: (2000)

Numerical method for nonlinear Kolmogorov PDEs via sensitivity analysis
by: Bartl, Daniel, et al.
Published: (2024)