Certification of bounds on expressions involving rounded operators (Q2989081)
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: Certification of bounds on expressions involving rounded operators |
scientific article; zbMATH DE number 6721758
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Certification of bounds on expressions involving rounded operators |
scientific article; zbMATH DE number 6721758 |
Statements
Certification of bounds on expressions involving rounded operators (English)
0 references
19 May 2017
0 references
Coq
0 references
forward error analysis
0 references
HOL Light
0 references
PVS
0 references
dyadic fraction
0 references
floating point
0 references
interval arithmetic
0 references
proof obligation
0 references
proof system
0 references
0.85230905
0 references
0.84493035
0 references
0.8404693
0 references
0.8352983
0 references
0.8268473
0 references
0.82165176
0 references
0.8196154
0 references
0.81860816
0 references