babuska

Formalizing Babuška theory, inf-sup stability, and finite element analysis foundations in Lean.

Kotlin/JVM compensated summation of Double sequences to calculate sum, mean, standard deviation

Compute the sum of all elements in a one-dimensional single-precision complex floating-point ndarray using an improved Kahan–Babuška algorithm.

Compute the cumulative sum of a one-dimensional double-precision floating-point ndarray using a second-order iterative Kahan–Babuška algorithm.

Compute the sum of a one-dimensional ndarray, ignoring `NaN` values and using a second-order iterative Kahan–Babuška algorithm.

Compute the cumulative sum of a one-dimensional double-precision floating-point ndarray using an improved Kahan–Babuška algorithm.

Compute the cumulative sum of a one-dimensional ndarray using a second-order iterative Kahan–Babuška algorithm.

Compute the cumulative sum of a one-dimensional ndarray using an improved Kahan–Babuška algorithm.

Compute the sum of a one-dimensional ndarray, ignoring `NaN` values and using an improved Kahan–Babuška algorithm.

🔍 Implement efficient cumulative sum calculations for n-dimensional arrays using GPU acceleration in JavaScript and Node.js with this powerful library.