Computing Square Roots using the Babylonian Method

René Thiemann
The Archive of Formal Proofs, 2013.

abstract   BibTeX    
AFP entry