[isabelle] New AFP entry: Computing Square Roots using the Babylonian Method



Computing Square Roots using the Babylonian Method
René Thiemann

We implement the Babylonian method to compute square roots of numbers.
We provide precise algorithms for naturals, integers and rationals, and
offer an approximation algorithm for linear ordered fields.

http://afp.sourceforge.net/entries/Sqrt_Babylonian.shtml

Enjoy!





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.