On the public citation graph
Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
0 signed · 27 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.1007/978-3-319-42432-3_29openalex-snapshot
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
inferredcites →https://doi.org/10.1007/bf01397083openalex-snapshot
A floating-point technique for extending the available precision
inferredcites →https://doi.org/10.1007/bf01975722openalex-snapshot
Quasi double-precision in floating point addition
inferredcites →https://doi.org/10.1007/pl00009321openalex-snapshot
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
inferredcites →https://doi.org/10.1007/s10817-014-9317-xopenalex-snapshot
Verified Compilation of Floating-Point Computations
inferredcites →https://doi.org/10.1016/j.dib.2020.105506openalex-snapshot
Performance data of multiple-precision scalar and vector BLAS operations on CPU and GPU
inferredcites →https://doi.org/10.1017/s0960129514000437openalex-snapshot
Formalization of real analysis: a survey of proof assistants and libraries
inferredcites →https://doi.org/10.1090/mcom/3234openalex-snapshot
On relative errors of floating-point operations: Optimal bounds and applications
inferredcites →https://doi.org/10.1109/12.713311openalex-snapshot
A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
inferredcites →https://doi.org/10.1109/arith.2011.40openalex-snapshot
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq
inferredcites →https://doi.org/10.1109/arith.2018.8464813openalex-snapshot
Augmented Arithmetic Operations Proposed for IEEE-754 2018
inferredcites →https://doi.org/10.1109/ieeestd.2019.8766229openalex-snapshot
IEEE Standard for Floating-Point Arithmetic
inferredcites →https://doi.org/10.1145/3121432openalex-snapshot
Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
inferredcites →https://doi.org/10.1145/567806.567808openalex-snapshot
Design, implementation and testing of extended and mixed precision BLAS
inferredcites →https://doi.org/10.1145/641876.641878openalex-snapshot
Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
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-032-34586-8_21openalex-snapshot
A Compensated Estrin Scheme for Accurate Polynomial Evaluation
inferred← citeshttps://doi.org/10.1109/arith61463.2024.00015openalex-snapshot
Useful applications of correctly-rounded operators of the form ab + cd + e
inferred← citeshttps://doi.org/10.1142/s0218194023500675openalex-snapshot
SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision
inferred← citeshttps://doi.org/10.1145/3568672openalex-snapshot
Accurate Calculation of Euclidean Norms Using Double-word Arithmetic
inferred← citeshttps://doi.org/10.1145/3636501.3636953openalex-snapshot
VCFloat2: Floating-Point Error Analysis in Coq
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/3747840openalex-snapshot
Correctly Rounded Evaluation of a Function: Why, How, and at What Cost?
inferred← citeshttps://doi.org/10.3390/math13020270openalex-snapshot
Accurate Sum and Dot Product with New Instruction for High-Precision Computing on ARMv8 Processor
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.