Warren E. Ferguson

According to our database, Warren E. Ferguson authored at least 7 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Verification of Floating-Point Division.

Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2018

Digit Serial Methods with Applications to Division and Square Root.

Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd

IEEE Trans. Computers, 2018

2017

Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs).

Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd

CoRR, 2017

2005

A parametric error analysis of Goldschmidt's division algorithm.

Guy Even, Peter-Michael Seidel, Warren E. Ferguson

J. Comput. Syst. Sci., 2005

1995

Exact Computation of a Sum or Difference with Applications to Argument Reduction.

Warren E. Ferguson

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

1991

Accurate and monotone approximations of some transcendental functions.

Warren E. Ferguson, Tom Brightman

Proceedings of the 10th IEEE Symposium on Computer Arithmetic, 1991

1985

Rationally biased arithmetic.

Warren E. Ferguson, David W. Matuja

Proceedings of the 7th IEEE Symposium on Computer Arithmetic, 1985