#

2pi

Here are 11 public repositories matching this topic...

stdlib-js / constants-float64-ln-sqrt-two-pi

Natural logarithm of the square root of 2π.

Updated Sep 2, 2026
JavaScript

stdlib-js / constants-float64-two-pi

2π.

nodejs javascript node math stdlib mathematics const pi node-js floating-point constant precision double ieee754 dbl float64 2pi

Updated Sep 1, 2026
JavaScript

AEjonanonymous / Hadwiger-Nelson

Formal Verification of the 7-Color Chromatic Number of the Plane via Toroidal Projection and the Irrationality of 2π.

graph-theory formal-verification interactive-theorem-proving irrationality mathlib zulip-bot chromatic-number de-bruijn lean4 2pi formal-proof k-colorability toroidal-topology hadwiger-nelson-problem moser-spindle unit-distance-graph pigeonhole-principle proof-by-exclusion

Updated Jul 20, 2026
Lean

stdlib-js / constants-float32-two-pi

2π.

nodejs javascript node math stdlib mathematics const pi node-js floating-point constant precision float ieee754 float32 2pi

Updated Jul 29, 2026
JavaScript

stdlib-js / constants-float64-sqrt-two-pi

Square root of 2π.

Updated Sep 1, 2026
JavaScript

stdlib-js / constants-float32-ln-sqrt-two-pi

Natural logarithm of the square root of 2π.

Updated Jul 29, 2026
JavaScript

stdlib-js / constants-float32-sqrt-two-pi

Square root of 2π as a single-precision floating-point number

nodejs javascript node math stdlib mathematics square const pi root node-js floating-point constant float ieee754 single sqrt float32 2pi

Updated Jul 29, 2026
JavaScript

stdlib-js / constants-float16-two-pi

2π.

nodejs javascript node math stdlib mathematics const pi node-js floating-point constant precision float ieee754 float16 2pi

Updated Sep 2, 2026
JavaScript

stdlib-js / constants-float16-sqrt-two-pi

Square root of 2π as a half-precision floating-point number.

nodejs javascript node math stdlib mathematics square const pi root node-js floating-point constant float ieee754 half float16 sqrt 2pi

Updated Sep 2, 2026
JavaScript

stdlib-js / constants-float16-ln-sqrt-two-pi

Natural logarithm of the square root of 2π.

Updated Sep 3, 2026
JavaScript

Keim23 / constants-float16-ln-sqrt-two-pi

🔢 Provide accurate float16 constants for ln(√(2π)), enhancing numerical computations in JavaScript and improving performance in scientific applications.

nodejs javascript log stdlib mathematics square const pi root constant precision natural logarithm ieee754 ln sqrt 2pi

Updated Sep 11, 2026
JavaScript

Add this topic to your repo

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