Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Computing Square Roots using th...


view this post on Zulip Email Gateway (Aug 19 2022 at 09:39):

From: Tobias Nipkow <nipkow@in.tum.de>
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!


Last updated: Mar 29 2024 at 12:28 UTC