#
sqrt2
Here are 5 public repositories matching this topic...
Square root of 2(10m and 1bilion digits ) [without ceiling last digit]
-
Updated
Apr 14, 2023
Calculating Square root with divide and conquer method
-
Updated
Sep 27, 2024 - Java
A formal proof of the irrationality of sqrt(2) written in lean
-
Updated
Dec 4, 2019 - Lean
A repo for my lab assessments in Emerging Technologies...
-
Updated
Dec 15, 2020 - Jupyter Notebook
Improve this page
Add a description, image, and links to the sqrt2 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sqrt2 topic, visit your repo's landing page and select "manage topics."