4 citations · 7 across the 8 of their papers we have counts for
1 paper · 1 filter
Mark G. Arnold, Thomas A. Bailey, John R. Cowles
Correctness proofs for floating point programs are difficult to verify. To simplify the task, a similar, but less complex system, known as logarithmic arithmetic can be used. The B…