Sciweavers

11 search results - page 3 / 3
» An Independence Result for Intuitionistic Bounded Arithmetic
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 6 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...