sqrt2

There are 0 repository under sqrt2 topic.

stdlib-js / constants-float64-sqrt-two
Square root of 2.
nodejs javascript stdlib node node-js constant const mathematics math sqrt square root two sqrt2 ieee754 double dbl floating-point float64
Language:JavaScript 2
Sharabaddin / square_root_of_2
Square root of 2(10m and 1bilion digits ) [without ceiling last digit]
math sqrt sqrt2 calculations
1
conornewton / lean-sqrt2-irrational
A formal proof of the irrationality of sqrt(2) written in lean
lean proof formal-proofs number maths sqrt2 sqrt irrational-numbers
Language:Lean 0
johnshields / EMT_TASKS
A repo for my lab assessments in Emerging Technologies...
python jupyter-notebook kmeans iris-dataset chi-square-test standard-deviation sqrt2
Language:Jupyter Notebook