#

sqrt2

Here are 4 public repositories matching this topic...

stdlib-js / constants-float64-sqrt-two

Square root of 2.

nodejs javascript node math stdlib mathematics square const root node-js floating-point constant two double ieee754 sqrt dbl sqrt2 float64

Updated May 1, 2024
JavaScript

Sharabaddin / square_root_of_2

Square root of 2(10m and 1bilion digits ) [without ceiling last digit]

math calculations sqrt sqrt2

Updated Apr 14, 2023

johnshields / EMT_TASKS

A repo for my lab assessments in Emerging Technologies...

python jupyter-notebook kmeans iris-dataset standard-deviation chi-square-test sqrt2

Updated Dec 15, 2020
Jupyter Notebook

conornewton / lean-sqrt2-irrational

A formal proof of the irrationality of sqrt(2) written in lean

proof number lean maths irrational-numbers formal-proofs sqrt sqrt2

Updated Dec 4, 2019
Lean

Improve this page

Add a description, image, and links to the sqrt2 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sqrt2 topic, visit your repo's landing page and select "manage topics."