Results 131 to 140 of about 322 (162)

Rational Arithmetic in Floating-Point.

1986
Abstract : Calculating M/N := A/B + or - C/D in lowest terms, given the integers A, B, C and D, is a task in Elementary schools; and it is an easy exercise in Computer Programming too provided the given integers must be less than half as wide as the widest integers that can be handled conveniently by the computer's hardware or by its programming ...
openaire   +1 more source

FLOATING-POINT ARITHMETIC

1981
Ulrich W. Kulisch, Willard L. Miranker
openaire   +1 more source

Floating-Point Arithmetic

2017
Sylvie Boldo, Guillaume Melquiond
openaire   +1 more source

Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic

IEEE Transactions on Emerging Topics in Computing, 2021
Massimiliano Fasi, Mantas Mikaitis
exaly  

What every computer scientist should know about floating-point arithmetic

ACM Computing Surveys, 1991
David M Goldberg
exaly  

Radial basis function approximation methods with extended precision floating point arithmetic

Engineering Analysis With Boundary Elements, 2011
Scott A Sarra
exaly  

Verification methods: Rigorous results using floating-point arithmetic

Acta Numerica, 2010
Siegfried M Rump
exaly  

Floating-point arithmetic

2010
openaire   +1 more source

Floating Point Arithmetic

2015
openaire   +1 more source

Floating-point arithmetic in the Coq system

Information and Computation, 2012
Guillaume Melquiond
exaly