Warren E. Ferguson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
1
Active years
1985–2023
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ARITH | Formal Verification of Floating-Point Division. | Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu |
| 2003 | ARITH | A Parametric Error Analysis of Goldschmidt?s Division Algorithm. | Guy Even, Peter-Michael Seidel, Warren E. Ferguson |
| 1995 | ARITH | Exact Computation of a Sum or Difference with Applications to Argument Reduction. | Warren E. Ferguson |
| 1991 | ARITH | Accurate and monotone approximations of some transcendental functions. | Warren E. Ferguson, Tom Brightman |
| 1985 | ARITH | Rationally biased arithmetic. | Warren E. Ferguson, David W. Matuja |