Optimal inverse projection of floating-point addition (Q2299211)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Optimal inverse projection of floating-point addition |
scientific article; zbMATH DE number 7171729
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Optimal inverse projection of floating-point addition |
scientific article; zbMATH DE number 7171729 |
Statements
Optimal inverse projection of floating-point addition (English)
0 references
20 February 2020
0 references
floating-point
0 references
inverse projection
0 references
abstract interpretation
0 references
0 references
0.8536378
0 references
0.8503274
0 references
0.8502908
0 references
0.8500585
0 references
0.84889996
0 references
0.84772134
0 references
0.8463838
0 references
0.8462426
0 references
