On the public citation graph
Quasi double-precision in floating point addition
0 signed · 106 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1017/s0305004100026414openalex-snapshot
A process for the step-by-step integration of differential equations in an automatic digital computing machine
inferredcites →https://doi.org/10.1145/512274.512287openalex-snapshot
Reducing truncation errors by programming
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.3953openalex-snapshot
Automatic source‐to‐source error compensation of floating‐point programs: code synthesis to optimize accuracy and time
inferred← citeshttps://doi.org/10.1002/cpe.7763openalex-snapshot
Improving accuracy of summation using parallel vectorized Kahan's and Gill‐Møller algorithms
inferred← citeshttps://doi.org/10.1007/11757283_8openalex-snapshot
Floating-Point Verification Using Theorem Proving
inferred← citeshttps://doi.org/10.1007/3-540-40922-x_14openalex-snapshot
Formal Verification of Floating Point Trigonometric Functions
inferred← citeshttps://doi.org/10.1007/3-540-44755-5_13openalex-snapshot
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing
inferred← citeshttps://doi.org/10.1007/978-3-031-30445-3_6openalex-snapshot
Parallel Vectorized Implementations of Compensated Summation Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-031-98682-6_12openalex-snapshot
Automatic Verification of Floating-Point Accumulation Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-32859-1_2openalex-snapshot
Exploiting Structure in Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-319-76526-6_4openalex-snapshot
Basic Properties and Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-642-19475-7_11openalex-snapshot
Accurate Floating Point Arithmetic through Hardware Error-Free Transformations
inferred← citeshttps://doi.org/10.1007/978-3-7091-6918-6_19openalex-snapshot
FORTRAN-XSC A Portable Fortran 90 Module Library for Accurate and Reliable Scientific Computing
inferred← citeshttps://doi.org/10.1007/bf01397083openalex-snapshot
A floating-point technique for extending the available precision
inferred← citeshttps://doi.org/10.1007/bf01931808openalex-snapshot
Implementation of a low round-off summation method
inferred← citeshttps://doi.org/10.1007/bf01932774openalex-snapshot
An implementation of singly-implicit Runge-Kutta methods
inferred← citeshttps://doi.org/10.1007/bf01932946openalex-snapshot
Analysis of some known methods of improving the accuracy of floating-point sums
inferred← citeshttps://doi.org/10.1007/bf01933660openalex-snapshot
Propagation of initial rounding error in Romberg-like quadrature
inferred← citeshttps://doi.org/10.1007/bf01936142openalex-snapshot
The accurate solution of certain continuous problems using only single precision arithmetic
inferred← citeshttps://doi.org/10.1007/s00211-025-01487-2openalex-snapshot
Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
inferred← citeshttps://doi.org/10.1007/s10543-013-0436-2openalex-snapshot
Some issues related to double rounding
inferred← citeshttps://doi.org/10.1007/s10543-023-00970-2openalex-snapshot
Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-p base $$\beta $$
inferred← citeshttps://doi.org/10.1007/s10543-024-01017-wopenalex-snapshot
Accurate Horner methods in real and complex floating-point arithmetic
inferred← citeshttps://doi.org/10.1007/s13160-023-00593-8openalex-snapshot
Fast and accurate computation of the Euclidean norm of a vector
inferred← citeshttps://doi.org/10.1007/s40324-026-00428-9openalex-snapshot
Reduced- and mixed-precision Runge–Kutta methods in floating-point arithmetic
inferred← citeshttps://doi.org/10.1016/b978-0-12-708245-5.50006-3openalex-snapshot
What Do We Need Beyond IEEE Arithmetic ?
inferred← citeshttps://doi.org/10.1016/j.cam.2023.115332openalex-snapshot
Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters
inferred← citeshttps://doi.org/10.1016/j.jcp.2008.04.013openalex-snapshot
Reducing round-off errors in rigid body dynamics
inferred← citeshttps://doi.org/10.1016/j.ocemod.2025.102617openalex-snapshot
Evaluating effectiveness of round-off error compensation with three methods in shallow-water models
inferred← citeshttps://doi.org/10.1016/s0076-5392(08)62843-xopenalex-snapshot
Proposal for Accurate Floating-Point Vector Arithmetic
inferred← citeshttps://doi.org/10.1016/s0076-5392(08)62857-xopenalex-snapshot
Bibliography on Enclosure Methods and Related Topics
inferred← citeshttps://doi.org/10.1023/b:numa.0000049458.99541.38openalex-snapshot
Fast and Accurate Floating Point Summation with Application to Computational Geometry
inferred← citeshttps://doi.org/10.1029/2021ms002684openalex-snapshot
Fluid Simulations Accelerated With 16 Bits: Approaching 4x Speedup on A64FX by Squeezing ShallowWaters.jl Into Float16
inferred← citeshttps://doi.org/10.1080/10618600.2018.1549052openalex-snapshot
Fast and Stable Multivariate Kernel Density Estimation by Fast Sum Updating
inferred← citeshttps://doi.org/10.1080/17445760601122076openalex-snapshot
Performance and accuracy of hardware-oriented native-, emulated- and mixed-precision solvers in FEM simulations
inferred← citeshttps://doi.org/10.1090/mcom/3123openalex-snapshot
Error bounds on complex floating-point multiplication with an FMA
inferred← citeshttps://doi.org/10.1090/s0025-5718-1975-0369287-1openalex-snapshot
Irregularities in the Distribution of Primes and Twin Primes
inferred← citeshttps://doi.org/10.1093/imanum/24.4.557openalex-snapshot
Comparisons of integrators on a diverse collection of restricted three-body test problems
inferred← citeshttps://doi.org/10.1109/acssc.2001.987700openalex-snapshot
A mechanically-validated technique for extending the available precision
inferred← citeshttps://doi.org/10.1109/acssc.2007.4487226openalex-snapshot
Computing Integer Powers in Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1109/arith.1975.6157002openalex-snapshot
A bibliography on computer arithmetic
inferred← citeshttps://doi.org/10.1109/arith.1991.145529openalex-snapshot
Semantics for exact floating point operations
inferred← citeshttps://doi.org/10.1109/arith.1991.145549openalex-snapshot
Algorithms for arbitrary precision floating point arithmetic
inferred← citeshttps://doi.org/10.1109/arith.2003.1207663openalex-snapshot
Representable correcting terms for possibly underflowing floating point operations
inferred← citeshttps://doi.org/10.1109/arith.2005.39openalex-snapshot
Some Functions Computable with a Fused-Mac
inferred← citeshttps://doi.org/10.1109/arith.2009.16openalex-snapshot
On the Computation of Correctly-Rounded Sums
inferred← citeshttps://doi.org/10.1109/arith.2013.22openalex-snapshot
SIPE: Small Integer Plus Exponent
inferred← citeshttps://doi.org/10.1109/arith.2018.8464784openalex-snapshot
FP-ANR: A representation format to handle floating-point cancellation at run-time
inferred← citeshttps://doi.org/10.1109/arith.2018.8464793openalex-snapshot
On Various Ways to Split a Floating-Point Number
inferred← citeshttps://doi.org/10.1109/arith.2018.8464813openalex-snapshot
Augmented Arithmetic Operations Proposed for IEEE-754 2018
inferred← citeshttps://doi.org/10.1109/arith.2019.00013openalex-snapshot
Accurate Complex Multiplication in Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1109/arith.2019.00032openalex-snapshot
Performance Evaluation of an Efficient Double-Double BLAS1 Function With Error-Free Transformation and its Application to Explicit Extrapolation Methods
inferred← citeshttps://doi.org/10.1109/arith48897.2020.00016openalex-snapshot
Algorithms for Manipulating Quaternions in Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1109/arith51176.2021.00024openalex-snapshot
Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1109/cse.2015.11openalex-snapshot
Automatic Source-to-Source Error Compensation of Floating-Point Programs
inferred← citeshttps://doi.org/10.1109/iccd58817.2023.00090openalex-snapshot
Efficient RISC-V-on-x64 Floating Point Simulation
inferred← citeshttps://doi.org/10.1109/tc.1982.1676002openalex-snapshot
Loss of Significance in Floating Point Subtraction and Addition
inferred← citeshttps://doi.org/10.1109/tc.2010.139openalex-snapshot
Exact and Approximated Error of the FMA
inferred← citeshttps://doi.org/10.1109/tc.2011.27openalex-snapshot
On the Computation of Correctly Rounded Sums
inferred← citeshttps://doi.org/10.1109/tc.2019.2918451openalex-snapshot
Algorithms for Triple-Word Arithmetic
inferred← citeshttps://doi.org/10.1109/tc.2020.3002702openalex-snapshot
Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic
inferred← citeshttps://doi.org/10.1109/tetc.2021.3069165openalex-snapshot
Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1137/050645671openalex-snapshot
Accurate Floating-Point Summation Part I: Faithful Rounding
inferred← citeshttps://doi.org/10.1137/0711064openalex-snapshot
Rounding Error Analysis for the Evaluation of a Polynomial and Some of Its Derivatives
inferred← citeshttps://doi.org/10.1137/19m1257780openalex-snapshot
A Class of Fast and Accurate Summation Algorithms
inferred← citeshttps://doi.org/10.1137/23m1552814openalex-snapshot
Rounding Error Using Low Precision Approximate Random Variables
inferred← citeshttps://doi.org/10.1137/24m165096xopenalex-snapshot
Verified Error Bounds for Matrix Decompositions
inferred← citeshttps://doi.org/10.1137/s1064827502407627openalex-snapshot
Accurate and Efficient Floating Point Summation
inferred← citeshttps://doi.org/10.1145/1275521.1275526openalex-snapshot
Intel® Itanium® floating-point architecture
inferred← citeshttps://doi.org/10.1145/1644001.1644005openalex-snapshot
Computing correctly rounded integer powers in floating-point arithmetic
inferred← citeshttps://doi.org/10.1145/2483760.2483791openalex-snapshot
Finding rare numerical stability errors in concurrent computations
inferred← citeshttps://doi.org/10.1145/3054947openalex-snapshot
On the Robustness of the 2Sum and Fast2Sum Algorithms
inferred← citeshttps://doi.org/10.1145/3121432openalex-snapshot
Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
inferred← citeshttps://doi.org/10.1145/318789.318896openalex-snapshot
Vectorizing a robust inner product algorithm
inferred← citeshttps://doi.org/10.1145/3290955openalex-snapshot
Faithfully Rounded Floating-point Computations
inferred← citeshttps://doi.org/10.1145/3484514openalex-snapshot
Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
inferred← citeshttps://doi.org/10.1145/355958.355960openalex-snapshot
Software for Doubled-Precision Floating-Point Computations
inferred← citeshttps://doi.org/10.1145/3568672openalex-snapshot
Accurate Calculation of Euclidean Norms Using Double-word Arithmetic
inferred← citeshttps://doi.org/10.1145/362854.362889openalex-snapshot
On accurate floating-point summation
inferred← citeshttps://doi.org/10.1145/3712285.3759876openalex-snapshot
High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1145/3729251openalex-snapshot
Random Variate Generation with Formal Guarantees
inferred← citeshttps://doi.org/10.1145/3744642openalex-snapshot
Exact Predicates, Exact Constructions and Combinatorics for Mesh CSG.
inferred← citeshttps://doi.org/10.1145/567806.567808openalex-snapshot
Design, implementation and testing of extended and mixed precision BLAS
inferred← citeshttps://doi.org/10.1190/geo2024-0266.1openalex-snapshot
Half-precision wave simulation
inferred← citeshttps://doi.org/10.1553/etna_vol55s401openalex-snapshot
On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
inferred← citeshttps://doi.org/10.2206/kyushumfs.39.209openalex-snapshot
ROUND-OFF ERRORS IN FLOATING-POINT ADDITIONS
inferred← citeshttps://doi.org/10.22360/springsim.2016.hpc.032openalex-snapshot
Increasing Double Precision Throughput on NVIDIA Maxwell GPUs
inferred← citeshttps://doi.org/10.23919/date64628.2025.10992803openalex-snapshot
FloppyFloat: An Open Source Floating Point Library for Instruction Set Simulators
inferred← citeshttps://doi.org/10.3847/1538-4357/ab1263openalex-snapshot
A Generalized Solution for Parallelized Computation of the Three-dimensional Gravitational Potential on a Multipatch Grid in Spherical Geometry
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0107025openalex-snapshot
Computer validated proofs of a toolset for adaptable arithmetic
inferred← citeshttps://doi.org/10.5194/gmd-18-1089-2025openalex-snapshot
Enhancing single precision with quasi-double precision: achieving double-precision accuracy in the Model for Prediction Across Scales – Atmosphere (MPAS-A) version 8.2.1
inferred← citeshttps://doi.org/10.6100/ir133301openalex-snapshot
Round-off error analysis of descent methods for solving linear equations
inferred← citeshttps://doi.org/10.70675/190913fczdf29z490czbabbz568f84166131openalex-snapshot
Optimisation de la précision numérique des codes parallèles
inferred← citeshttps://doi.org/10.70675/3deecc49zba51z4288z9b40zaec4f9cd7f8eopenalex-snapshot
Towards fast and certified multiple-precision librairies
inferred← citeshttps://doi.org/10.7916/d8kw5q2ropenalex-snapshot
The Accurate Solution of Certain Continuous Problems Using Only Single Precision
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.