Basic concepts in numerical error analysis (suggested by linear algebra problems)
Andrzej Kiełbasiński (1978)
Banach Center Publications
Similarity:
Displaying similar documents to “Extension of the C-XSC Library with Scalar Products with Selectable Accuracy”
Basic concepts in numerical error analysis (suggested by linear algebra problems)
Algorithms for the inclusion of solutions of ordinary initial value problems
Stetter, Hans J.
Similarity:
Error analysis of some approximating algorithms
Codenotti, Bruno (1985-1986)
Portugaliae mathematica
Similarity:
Fast and correctly rounded logarithms in double-precision
Florent de Dinechin, Christoph Lauter, Jean-Michel Muller (2007)
RAIRO - Theoretical Informatics and Applications
Similarity:
This article is a case study in the implementation of a portable, proven and efficient correctly rounded elementary function in double-precision. We describe the methodology used to achieve these goals in the library. There are two novel aspects to this approach. The first is the proof framework, and in general the techniques used to balance performance and provability. The second is the introduction of processor-specific optimization to get performance equivalent to the best...