2 citations · 2 across the 1 of their papers we have counts for
1 paper
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev +2
The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for i…