Warren E. Ferguson

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 3

Top Topics

Formal Verification

Interval Arithmetic

Fast Fourier Transform

Top Venues

IEEE Trans. Computers

Publications

Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu
Formal Verification of Floating-Point Division. ARITH (2023)
Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root. IEEE Trans. Computers 67 (3) (2018)
Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs). CoRR (2017)
Guy Even, Peter-Michael Seidel, Warren E. Ferguson
A parametric error analysis of Goldschmidt's division algorithm. J. Comput. Syst. Sci. 70 (1) (2005)
Guy Even, Peter-Michael Seidel, Warren E. Ferguson
A Parametric Error Analysis of Goldschmidt?s Division Algorithm. IEEE Symposium on Computer Arithmetic (2003)
Warren E. Ferguson
Exact Computation of a Sum or Difference with Applications to Argument Reduction. IEEE Symposium on Computer Arithmetic (1995)
Warren E. Ferguson, Tom Brightman
Accurate and monotone approximations of some transcendental functions. IEEE Symposium on Computer Arithmetic (1991)
Warren E. Ferguson, David W. Matuja
Rationally biased arithmetic. IEEE Symposium on Computer Arithmetic (1985)