recreational mathematics, math puzzles, combinatorics, number theory
Discover
📐 Mathematics & Statistics
random matrix theory, RMT, eigenvalue distribution, Marchenko-Pastur
randomized testing, Monte Carlo, probabilistic algorithms
Stabilizer Codes, Surface Codes, Logical Qubits, Fault Tolerance
Interactive Theorem Proving, Tactic Languages, Proof Development, Automation
Automated Reasoning, Tactic Languages, Resolution, Unification
homogeneous coordinates, epipolar geometry, projective transform, homography
Foundations, Intuitionism, Constructivism, Mathematical Logic
convex optimization, gradient descent, duality, stochastic optimization, convergence
Information Measures, Statistical Dependencies, Feature Selection, Entropy Estimation
Matter protocol, Matter over Thread, CSA Matter, smart home standard
Stochastic Processes, State Transitions, Probability Models
lattices, partial orders, join semilattice, abstract algebra
Algorithmic Information Theory, Minimum Description Length, Compression Bounds, Information Content
position sizing, bankroll, bet sizing, expected log wealth
State Estimation, Tracking, Noise, Prediction
Metric Spaces, Divergence Measures, Statistical Manifolds, Geometric Statistics
Pre-conditions, Post-conditions, Loop Invariants, Program Correctness