Dekker's floating point number system and compensated summation algorithms 3GF75S0XJ0

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
29MEE4AGEW	statement	lemma 3.3	arxiv
2M8WVPXBH6	statement	lemma 3.6	arxiv
6JBPVR1BZV	statement	lemma 2.14	arxiv
7F2DW3PEB5	statement	corollary 3.7	arxiv
The {\it as if} rule	statement	statement 2.6	arxiv
8P8HPXKZ33	statement	lemma 3.4	arxiv
8T6DSMBJHB	statement	lemma 2.13	arxiv
9V5M20Y10K	statement	lemma 3.5	arxiv
Optimal	definition	definition 2.5	arxiv
Faithful	definition	definition 2.4	arxiv
Monotonicity	statement	lemma 2.8	arxiv
Normal representation is unique	statement	lemma 2.1	arxiv
E70WC2TTB2	statement	lemma 2.15	arxiv
ESGB18C08D	statement	lemma 2.3	arxiv
EV6NZTCNTD	statement	corollary 3.9	arxiv
F8WPW8NWVC	statement	lemma 2.11	arxiv
Symmetry	statement	lemma 2.7	arxiv
RWV9PAR811	statement	lemma 2.12	arxiv
SN1KKZVAV5	statement	corollary 2.10	arxiv
X316SKQ6C7	statement	lemma 3.8	arxiv
6op EFT over addition in Dekker's system	statement	theorem 3.2	arxiv
Subnormal number	definition	definition 2.2	arxiv
3op EFT over addition in Dekker's system	statement	theorem 3.1	arxiv
ZMSE8CMKYQ	statement	lemma 2.9	arxiv