On the public citation graph

An axiomatic approach to rounded computations

0 signed · 61 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf02239180openalex-snapshot

Grundlagen einer Maschinenintervallarithmetik

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/zamm.19730530205openalex-snapshot

On the Concept of a Screen

inferred← citeshttps://doi.org/10.1002/zamm.197305312109openalex-snapshot

Zur Axiomatik des numerischen Rechnens

inferred← citeshttps://doi.org/10.1002/zamm.19740540711openalex-snapshot

Einige Ergänzungen zu dem Begriff des Rasters

inferred← citeshttps://doi.org/10.1002/zamm.19780581107openalex-snapshot

Sereens and Rounding Mappings

inferred← citeshttps://doi.org/10.1007/3-540-07170-9_5openalex-snapshot

Nichtnumerische Aspekte der Intervallmathematik

inferred← citeshttps://doi.org/10.1007/3-540-09519-5_89openalex-snapshot

Approximate rational arithmetic systems: Analysis of recovery of simple fractions during expression evaluation

inferred← citeshttps://doi.org/10.1007/3-540-15983-5_10openalex-snapshot

A new arithmetic for scientific computation with exact evaluation of expressions

inferred← citeshttps://doi.org/10.1007/3-540-16798-6_3openalex-snapshot

A new arithmetic for scientific computation

inferred← citeshttps://doi.org/10.1007/3-540-16798-6_4openalex-snapshot

New results on verified inclusions

inferred← citeshttps://doi.org/10.1007/978-3-030-13795-3_2openalex-snapshot

Interval Calculus

inferred← citeshttps://doi.org/10.1007/978-3-030-13795-3_8openalex-snapshot

Interval Software, Libraries and Standards

inferred← citeshttps://doi.org/10.1007/978-3-319-32152-3_39openalex-snapshot

Up-to-date Interval Arithmetic: From Closed Intervals to Connected Sets of Real Numbers

inferred← citeshttps://doi.org/10.1007/978-3-322-96690-2_4openalex-snapshot

Rechnerarithmetik und die Behandlung Algebraischer Probleme

inferred← citeshttps://doi.org/10.1007/978-3-7091-0525-2_1openalex-snapshot

Fast and Accurate Vector Operations

inferred← citeshttps://doi.org/10.1007/978-3-7091-7023-6_9openalex-snapshot

Solution of Linear and Nonlinear Algebraic Problems with Sharp, Guaranteed Bounds

inferred← citeshttps://doi.org/10.1007/978-3-7091-8471-4_10openalex-snapshot

Über die beim numerischen Rechnen mit Rechenanlagen auftretenden Räume

inferred← citeshttps://doi.org/10.1007/978-3-7091-8471-4_12openalex-snapshot

Zum Begriff des Rasters und der minimalen Rundung

inferred← citeshttps://doi.org/10.1007/978-3-7091-8471-4_13openalex-snapshot

Zur Konstruktion komplexer Kreisarithmetiken

inferred← citeshttps://doi.org/10.1007/978-3-7091-8471-4_3openalex-snapshot

Genaue Summation von Gleitkommazahlen

inferred← citeshttps://doi.org/10.1007/978-3-7091-8577-3_15openalex-snapshot

Portable Software for Interval Arithmetic

inferred← citeshttps://doi.org/10.1007/978-3-7091-8577-3_6openalex-snapshot

Foundations of Finite Precision Rational Arithmetic

inferred← citeshttps://doi.org/10.1007/bf02239171openalex-snapshot

Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme

inferred← citeshttps://doi.org/10.1007/bf02239472openalex-snapshot

Interval bounds for square roots and cube roots

inferred← citeshttps://doi.org/10.1007/bf02242306openalex-snapshot

Über die beim numerischen Rechnen mit komplexen Zahlen und Intervallen vorliegenden mathematischen Strukturen

inferred← citeshttps://doi.org/10.1007/bf02242380openalex-snapshot

Über die Nullstellenbestimmung bei näherungsweise berechneten Funktionen

inferred← citeshttps://doi.org/10.1007/bf02252832openalex-snapshot

Eine Methode zur Nullstellenbestimmung von Funktionen

inferred← citeshttps://doi.org/10.1007/bf02253545openalex-snapshot

Formalization and implementation of floating-point arithmetics

inferred← citeshttps://doi.org/10.1007/bf02280883openalex-snapshot

Formalization and implementation of floating-point matrix operations

inferred← citeshttps://doi.org/10.1007/bf02281716openalex-snapshot

On conversions between screens

inferred← citeshttps://doi.org/10.1007/s10688-012-0010-8openalex-snapshot

Roundings in partially ordered topological spaces

inferred← citeshttps://doi.org/10.1016/0097-3165(73)90013-7openalex-snapshot

Significance arithmetic: The carrying algorithm

inferred← citeshttps://doi.org/10.1016/0898-1221(77)90117-1openalex-snapshot

Significance arithmetic: the probability of carrying

inferred← citeshttps://doi.org/10.1016/b978-0-08-091636-1.50010-1openalex-snapshot

MACHINE INTERVAL ARITHMETIC

inferred← citeshttps://doi.org/10.1016/b978-0-08-091636-1.50032-0openalex-snapshot

BIBLIOGRAPHY

inferred← citeshttps://doi.org/10.1016/b978-0-12-428660-3.50010-0openalex-snapshot

SOLVING ALGEBRAIC PROBLEMS WITH HIGH ACCURACY

inferred← citeshttps://doi.org/10.1016/b978-0-12-518850-0.50023-8openalex-snapshot

SIGLA-PL/1 DEVELOPMENT AND APPLICATIONS

inferred← citeshttps://doi.org/10.1016/s0076-5392(08)62857-xopenalex-snapshot

Bibliography on Enclosure Methods and Related Topics

inferred← citeshttps://doi.org/10.1016/s0165-0114(02)00246-4openalex-snapshot

Interval analysis and fuzzy set theory

inferred← citeshttps://doi.org/10.1016/s1076-5670(07)48002-8openalex-snapshot

Interval and Fuzzy Analysis: A Unified Approach

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80622-xopenalex-snapshot

Advanced Arithmetic for the Digital Computer, Design of Arithmetic Units

inferred← citeshttps://doi.org/10.1017/s0962492922000101openalex-snapshot

Floating-point arithmetic

inferred← citeshttps://doi.org/10.1109/12.589241openalex-snapshot

Validated roundings of dot products by sticky accumulation

inferred← citeshttps://doi.org/10.1109/arith.1975.6156974openalex-snapshot

Floating-point computation of functions with maximum accuracy

inferred← citeshttps://doi.org/10.1109/arith.1975.6156996openalex-snapshot

Mathematical foundation of computer arithmetic

inferred← citeshttps://doi.org/10.1109/arith.1985.6158972openalex-snapshot

Higher Order Computer Arithmetic

inferred← citeshttps://doi.org/10.1109/arith.1993.378108openalex-snapshot

Design of a fast validated dot product operation

inferred← citeshttps://doi.org/10.1109/msp.2020.2988436openalex-snapshot

Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities

inferred← citeshttps://doi.org/10.1109/tc.1973.5009110openalex-snapshot

Roundings in Floating-Point Arithmetic

inferred← citeshttps://doi.org/10.1109/tc.1977.1674893openalex-snapshot

Mathematical Foundation of Computer Arithmetic

inferred← citeshttps://doi.org/10.1109/tc.1977.1674894openalex-snapshot

Floating-Point Computation of Functions with Maximum Accuracy

inferred← citeshttps://doi.org/10.1109/tc.1983.1676239openalex-snapshot

Finite Precision Rational Arithmetic: An Arithmetic Unit

inferred← citeshttps://doi.org/10.1137/1021003openalex-snapshot

Implementing Nonstandard Arithmetics

inferred← citeshttps://doi.org/10.1145/1057931.1057932openalex-snapshot

Interval arithmetic implementations

inferred← citeshttps://doi.org/10.1145/3054947openalex-snapshot

On the Robustness of the 2Sum and Fast2Sum Algorithms

inferred← citeshttps://doi.org/10.1145/3264448openalex-snapshot

Mathematics and Speed for Interval Arithmetic

inferred← citeshttps://doi.org/10.1145/355815.355819openalex-snapshot

Software for Interval Arithmetic: A Reasonably Portable Package

inferred← citeshttps://doi.org/10.1145/390006.802241openalex-snapshot

Computer arithmetic and programming languages

inferred← citeshttps://doi.org/10.18500/1816-9791-2011-11-4-27-33openalex-snapshot

On Idempotent Elements of Semigroup of Increasing Monotonous Mappings

inferred← citeshttps://doi.org/10.4213/faa3063openalex-snapshot

Об округлениях в топологических частично упорядоченных пространствах

inferred← citeshttps://doi.org/10.70675/acaf214bz951ez4360za718z0aba8b1bb53fopenalex-snapshot

Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle

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.