Certification of bounds on expressions involving rounded operators (Q2989081)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certification of bounds on expressions involving rounded operators |
scientific article |
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
