30 search results - page 2 / 6 » arith 2005 |
ARITH
2005
IEEE
13 years 11 months ago
2005
IEEE
ARITH
2005
IEEE
13 years 11 months ago
2005
IEEE
ARITH
2005
IEEE
13 years 11 months ago
2005
IEEE
ARITH
2005
IEEE
13 years 11 months ago
2005
IEEE
In a search for an algorithm to compute atan(x) which has both low latency and few floating point instructions, an interesting variant of familiar trigonometry formulas was disco...
ARITH
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...