Software for Doubled-Precision Floating-Point Computations

Authors:
Seppo Linnainmaa
Affiliations:
Lappeenranta University of Technology, Box 20, SF-53851 Lappeenranta 85, Finland
Venue:
ACM Transactions on Mathematical Software (TOMS)
Year:
1981

Citing 2
Cited 3

The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms

The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Pracniques: further remarks on reducing truncation errors

Communications of the ACM

The Tera computer system

ICS '90 Proceedings of the 4th international conference on Supercomputing
Floating-Point computation with just enough accuracy

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Pitfalls of a full floating-point proof: example on the formal proof of the veltkamp/dekker algorithms

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract