Numerics & scientific computing
Differential equations, linear algebra, FFT, floating point, optimization and randomness.
ODE solvers
Stepping ordinary differential equations forward in time.
Explicit Euler
Step an ODE forward by its current slope, y += h·f(t, y); first-order, one evaluation per step, the baseline every other integrator is measured against.
Runge-Kutta 4
The classic four-stage, fourth-order ODE step; error drops 16× when the step halves, with no derivatives or past steps needed.
Adaptive Runge-Kutta (Dormand-Prince)
An embedded 5(4) Runge-Kutta pair estimates each step's error for free and resizes the step to meet a tolerance; the default non-stiff solver.
Stiff solvers (implicit, BDF)
Implicit steps solve a small nonlinear system so fast decaying modes stay stable at any step size; BDF methods are the stiff-ODE workhorse.
Physics integrators
Long-run stable motion for simulations and games.
Verlet / leapfrog
Half-kick, drift, half-kick: a second-order, time-reversible, symplectic integrator with one force evaluation per step whose energy error stays bounded for millions of steps.
Semi-implicit Euler
Update velocity from forces first, then position with the new velocity: explicit Euler cost, but symplectic and stable; the default game-physics integrator.
PDE methods
Fields over space and time.
Finite differences
Replace derivatives with weighted differences of grid values; simple stencils plus a stability condition (CFL) turn PDEs like heat, advection and waves into array loops.
Finite elements
Writes the PDE in weak form, approximates it with piecewise polynomials on a mesh and assembles a sparse system; handles any geometry.
Spectral methods
Represent the solution by a global Fourier or Chebyshev series; derivatives become multiplications by ik in coefficient space, giving exponential convergence for smooth problems.
finite volume method
Planned.
flux limiters upwinding
Planned.
level set methods
Planned.
unstructured mesh representation
Planned.
spherical grids
Planned.
spherical harmonic transform
Planned.
conservative regridding
Planned.
data assimilation 4dvar
Planned.
ensemble kalman filter
Planned.
Gaussian quadrature
Approximate an integral by a weighted sum of n function values at roots of orthogonal polynomials; exact for polynomials up to degree 2n-1.
Linear algebra
Solving Ax = b, dense and sparse.
LU and Cholesky factorization
Factor A = PLU (any square matrix, partial pivoting) or A = LLᵀ (SPD) once in O(n³), then solve each right-hand side in O(n²).
Sparse matrices (CSR)
Compressed sparse row stores only nonzeros as row pointers, column indices and values; SpMV streams them once, so it is memory-bandwidth bound.
Conjugate gradient
Krylov iteration for symmetric positive definite Ax = b using one matrix-vector product and two dot products per step; converges in about √κ iterations.
Multigrid
Smooths high-frequency error on the fine grid and solves the smooth remainder on coarser grids; O(n) elliptic solves at any resolution.
gmres
Planned.
Sparse direct solver
Solve sparse Ax = b exactly by reordering, symbolic analysis, numeric LLᵀ/LU and triangular solves; fill-in, not flops per entry, decides the cost.
Fill-reducing ordering
Permute a sparse symmetric matrix before Cholesky/LU so the factor has few new nonzeros; minimum degree, nested dissection and RCM trade quality, speed and parallelism.
Incomplete factorization preconditioners
Sparse approximate LU or Cholesky factors (ILU, IC) that precondition Krylov solvers: fewer iterations than Jacobi, less memory than a direct solve.
thomas tridiagonal solver
Planned.
Core numerics
The primitives under everything else.
Fast Fourier transform
Computes the DFT in O(n log n) by recursively splitting into even and odd halves; the basis of fast convolution and spectral methods.
Newton root finding
Linearize at the guess and jump to the tangent root; quadratic convergence near a simple root, made robust by brackets (1D) or line search.
Floating-point error
How IEEE 754 rounding error accumulates and how to contain it: compensated (Kahan/Neumaier) and pairwise summation, error-free transformations with FMA, ULP comparisons.
big integer arithmetic
Planned.
finite field arithmetic
Planned.
number theoretic transform
Planned.
interval arithmetic
Planned.
low precision number formats
Planned.
reproducible reduction
Planned.
discrete cosine transform
Planned.
modified dct
Planned.
fast walsh hadamard transform
Planned.
spline interpolation
Planned.
Optimization & randomness
Minimizing functions and sampling.
L-BFGS
Quasi-Newton minimizer that approximates the inverse Hessian from the last m gradient differences via the two-loop recursion; O(m·n) memory and work per step.
PRNGs (PCG, xoshiro)
Small, fast, statistically strong non-cryptographic generators: PCG32 and xoshiro256**, with seeding, parallel streams and unbiased ranges.
Monte Carlo integration
Estimate an expectation by averaging random samples; error falls as σ/√N in any dimension, and variance reduction (antithetic, control variates, importance sampling) shrinks σ.
levenberg marquardt
Planned.
cma es
Planned.
continuation methods
Planned.
constrained parameter transforms
Planned.
Sampling & Bayesian inference
Drawing samples and approximating posteriors.
markov chain monte carlo
Planned.
hamiltonian monte carlo nuts
Planned.
mcmc convergence diagnostics
Planned.
sequential monte carlo
Planned.
variational inference
Planned.
importance sampling
Planned.
low discrepancy sequences
Planned.
alias method sampling
Planned.
Simulation methods
Discrete-event, agent-based, traffic, circuit and orbital simulation.
discrete event simulation
Planned.
agent based modeling
Planned.
fmi co simulation
Planned.
modified nodal analysis
Planned.
gillespie algorithm
Planned.
orbit propagation
Planned.
car following models
Planned.
lane change models
Planned.
dynamic traffic assignment
Planned.
Symbolic math
Computer algebra on polynomials and expressions.
groebner bases
Planned.
polynomial gcd factorization
Planned.
symbolic integration
Planned.
Quantum computing
Compiling and simulating quantum circuits, and error correction.
quantum circuit optimization
Planned.
quantum gate synthesis
Planned.
qubit routing
Planned.
stabilizer simulation
Planned.
state vector simulation
Planned.
surface code
Planned.
tensor network contraction
Planned.