> the live galaxy
Inside theIntelligence galaxy.
10 constellations, 2,143 charted planets, 290 on the required route, one continuous path: from the linear algebra and calculus every model assumes, through optimization and the deep-learning stack, to the transformer and the language models and agents it runs. This is the route to modern AI, built from the floor up.
Each constellation below is a region of this galaxy. Every planet is mapped and prerequisite-gated. Lessons are being authored along the required route and open as they pass review. Underneath, an engineering track turns the theory into code you actually ship.
> 10 constellations · 2,143 planets · 290 required · 2,196 lessons
The map,end to end.
Each card is a constellation: a self-contained body of theory and practice with a fixed lesson count, sequenced so nothing arrives before its prerequisites. Tap any card to expand its systems and lessons. Start at 01 and walk the cards, or enter the map and let the diagnostic place you.
1.1 · arithmetic, algebra, symbolic comfort
- 01integer arithmeticcore
- 02fractionscore
- 03signed numberscore
- 04decimals percentscore
- 05variables and expressionscore
- 06ratios and ratescore
- 07exponents rootscore
- 08solving linear equationscore
- 09summation notationcore
- 10scientific notationcore
- 11function notationcore
- 12exponentials & logarithmscore
2.1 · programming substrate
- 13propositional logiccore
- 14values and typescore
- 15evaluating expressionscore
- 16setscore
- 17assignment mutabilitycore
- 18conditionalscore
- 19functions: parameters and local scopecore
- 20loopscore
- 21return valuescore
- 22iterators generatorscore
- 23listscore
- 24comprehensionsterritory
- 25indexing slicingcore
- 26dictionaries (key-value maps)core
- 27stringscore
- 28tuples and recordsterritory
- 29classes and objectscore
2.2 · tooling substrate
- 30binary numbersterritory
- 31assertionsterritory
- 32pseudo-random numbers and seedscore
- 33unit teststerritory
- 34files and pathscore
- 35git basicsterritory
- 36modules and importsterritory
- 37plottingcore
- 38reading and writing text filescore
- 39packages and virtual environmentsterritory
- 40command-line scriptsterritory
- 41debugging techniques (print-trace + bisection)territory
- 42JSON: reading and writing structured dataterritory
- 43structured logging (levels + context)core
- 44Unicode and UTF-8territory
- 45configuration objectsterritory
- 46reproducible experimentsterritory
2.3 · algorithms & data movement
- 47problem decompositioncore
- 48shuffling datacore
- 49time complexityterritory
- 50linear search: scan termination / not-foundterritory
- 51basic sorting: compare/swap correctnessterritory
- 52big-O notationterritory
- 53memory footprint: bytes per item times countterritory
- 54streaming data lazilycore
- 55batching data into fixed-size chunkscore
2.4 · computational thinking. Galaxy-NEUTRAL spine
- 56modular arithmeticterritory
- 57comparing keys: a total orderterritory
- 58hash function (non-crypto)territory
- 59execution traceterritory
- 60recursioncore
- 61loop invariantsterritory
- 62operation countingterritory
- 63array traversalterritory
- 64union-find / disjoint setterritory
- 65greedy algorithmsterritory
- 66input/output specificationcore
- 67optimal substructureterritory
- 68base case and recursive casecore
- 69overlapping subproblemsterritory
- 70array indexingterritory
- 71graph (adj list/matrix)core
- 72memoizationterritory
- 73exchange argumentterritory
- 74abstract data typecore
- 75edge casesterritory
- 76preconditions postconditionsterritory
- 77reference implementationterritory
- 78backtrackingterritory
- 79divide and conquerterritory
- 80termination argumentterritory
- 81best, worst and average caseterritory
- 82binary searchterritory
- 83bucket index from a hash: h(k) mod mterritory
- 84prefix sumsterritory
- 85two pointer patternterritory
- 86sort stabilityterritory
- 87linked listterritory
- 88tree nodeterritory
- 89weighted graphterritory
- 90serialization of structuresterritory
- 91map ADTterritory
- 92queue (FIFO)core
- 93set ADTterritory
- 94stack (LIFO)core
- 95test case designterritory
- 96partial correctnessterritory
- 97representation invariantsterritory
- 98graph coloringterritory
- 99dp state transitionterritory
- 100amortized analysisterritory
- 101recurrences / master theoremterritory
- 102bloom filterterritory
- 103collision resolutionterritory
- 104count min sketchterritory
- 105fenwick treeterritory
- 106Parallel prefix scan over an associative operatorterritory
- 107merging two sorted arraysterritory
- 108partitioning an array around a pivotterritory
- 109Derive selection-sort invariantsterritory
- 110Derive insertion-sort invariantsterritory
- 111doubly linked listterritory
- 112skip listterritory
- 113binary treeterritory
- 114trieterritory
- 115flow networks and the residual graphterritory
- 116minimum spanning tree (MST)territory
- 117relaxationterritory
- 118cache lines: why sequential access is fastterritory
- 119disk page modelterritory
- 120space complexityterritory
- 121ordered map vs hash mapterritory
- 122Maintain the breadth-first frontier invariantterritory
- 123Recover unweighted shortest pathsterritory
- 124circular bufferterritory
- 125sliding window patternterritory
- 126dequeterritory
- 127depth-first searchcore
- 128total correctnessterritory
- 129Define states and transitionsterritory
- 130Contrast memoization with tabulationterritory
- 131Prove evaluation order and complexityterritory
- 132dynamic arrayterritory
- 133load factorterritory
- 134open addressingterritory
- 135separate chainingterritory
- 136merge sortterritory
- 137quicksortterritory
- 138BFS tree traversal (level-order)territory
- 139binary search tree (BST)territory
- 140DFS tree traversal (pre/in/post-order)territory
- 141segment treeterritory
- 142radix treeterritory
- 143Kruskal's MST algorithmterritory
- 144spatial and temporal localityterritory
- 145external memory modelterritory
- 146time/space tradeoffsterritory
- 147reservoir samplingterritory
- 148max flow by augmenting paths (Edmonds–Karp)territory
- 149connected componentsterritory
- 150cycle detectionterritory
- 151strongly connected componentsterritory
- 152topological sortcore
- 153hash table resizingterritory
- 154Implement stable counting passesterritory
- 155Compose passes into radix sortterritory
- 156external sortterritory
- 157LSM treeterritory
- 158quickselectterritory
- 159BST search & insertterritory
- 160tree rotationterritory
- 161persistent data structureterritory
- 162contiguous vs pointer chasingterritory
- 163page access costterritory
- 164bipartite matchingterritory
- 165DP over a DAG in topological orderterritory
- 166Choose and test collision resolutionterritory
- 167Track load factor and resize thresholdsterritory
- 168Rehash without losing mappingsterritory
- 169Validate expected operations adversariallyterritory
- 170BST deletion (two-child successor)territory
- 171copy on writeterritory
- 172Partial Ordersterritory
- 173buffer poolterritory
- 174inverted indexterritory
- 175LRU cacheterritory
- 176heapifyterritory
- 177Map an array onto a binary treeterritory
- 178Restore order with sift-upterritory
- 179Restore order with sift-downterritory
- 180balanced trees (AVL/RB)territory
- 181Extremal Elements in Posetsterritory
- 182heap sortterritory
- 183priority queueterritory
- 184B-treeterritory
- 185Maintain tentative and settled distancesterritory
- 186Prove correctness under nonnegative weightsterritory
- 187Reconstruct paths and analyze priority-queue costterritory
- 188Prim's MST algorithmterritory
- 189B+ treeterritory
2.5 · Core mechanics
- 190Bottom-up dynamic-programming tabulationterritory
- 191Insertion sortterritory
- 192Selection sortterritory
- 193Graph indegree accountingcore
- 194topological order of a DAG (definition and validity check)core
- 195Counting sortterritory
- 196Kahn's topological-sort algorithmcore
- 197Radix sortterritory
- 198Array representation of a complete binary treeterritory
- 199Binary heap order propertyterritory
- 200Heap sift-downterritory
- 201Heap sift-upterritory
3.1 · functions, linear algebra
- 202function compositioncore
- 203linear functions in one variablecore
- 204coordinate geometrycore
- 205trigonometric functions (sin/cos)core
- 206vectors in Rⁿcore
- 207matrices as rectangular arrayscore
- 208vector addition & scalar multiplicationcore
- 209dot productcore
- 210norms distancescore
- 211matrix–vector multiplicationcore
- 212the Jacobian matrixcore
- 213affine mapscore
- 214matrix multiplicationcore
- 215Functions as Relationsterritory
- 216linear projectionscore
- 217transposecore
- 218Composition and Inverse of Relationsterritory
- 219numerator/denominator layout conventionterritory
- 220outer product u vᵀcore
- 221gradients with respect to a matrixcore
- 222useful matrix-calculus identitiesterritory
3.2 · calculus for learning systems
- 223Absolute Value and the Triangle Inequalityterritory
- 224Nested Quantifiers and Quantifier Orderterritory
- 225limitscore
- 226continuitycore
- 227derivativescore
- 228Epsilon-Delta Proof Techniqueterritory
- 229differentiabilitycore
- 230derivatives of e^x and ln xcore
- 231Fermat's Interior Extremum Theoremterritory
- 232L'Hôpital's ruleterritory
- 233the power rule & linearitycore
- 234Limit Laws with Proofsterritory
- 235the Mean Value Theoremcore
- 236product & quotient rulescore
- 237derivative sign and monotonicitycore
- 238chain rulecore
- 239higher-order derivatives (1-D)core
- 240partial derivativescore
- 241extrema on intervalscore
- 242implicit differentiationterritory
- 243concavity & inflectionterritory
- 244second-order Taylor (1-D)core
- 245gradient vectorscore
- 246multivariable chain rulecore
- 247first-order Taylor approximation in several variablescore
- 248directional derivativescore
- 249Algebra and Composition of Functionsterritory
- 250Extreme Value Theoremterritory
- 251Rolle's Theoremterritory
3.3 · linear algebra
- 252matrix addition & scalar multiplicationcore
- 253cross product (3D)territory
- 254span of a set of vectorscore
- 255inner product spacesterritory
- 256subspacesterritory
- 257angle between vectorscore
- 258Cauchy-Schwarz inequalityterritory
- 259unit vectorscore
- 260systems of linear equations as Ax = bcore
- 261orthogonalitycore
- 262invariant subspacesterritory
- 263linear independencecore
- 264elementary row operations (swap, scale, add a multiple)core
- 265projection onto a subspaceterritory
- 266row echelon formcore
- 267the 2×2 determinantcore
- 268identity & zero matricescore
- 269Gaussian eliminationcore
- 270reduced row echelon formterritory
- 271the 3×3 determinantterritory
- 272eigenvalues & eigenvectorscore
- 273inverse of a 2×2 matrixterritory
- 274LU decompositionterritory
- 275matrix inverse (n×n) & propertiescore
- 276rankterritory
- 277cofactor (Laplace) expansionterritory
- 278solving Ax = b with A⁻¹territory
- 279eigendecomposition A = XΛX⁻¹core
- 280determinant propertiesterritory
- 281diagonalizability: when an eigenbasis existsterritory
- 282characteristic polynomialterritory
- 283The Cauchy-Schwarz Inequalityterritory
3.4 · linear algebra: vector spaces, orthogonality & spectral
- 284vector spaces & axiomsterritory
- 285linear maps & matrix representationterritory
- 286column space (range)territory
- 287null space (kernel)territory
- 288orthogonal complementterritory
- 289complete solution of Ax=b (particular + null space)territory
- 290dimensionterritory
- 291orthonormal basiscore
- 292four fundamental subspacesterritory
- 293normal equationsterritory
- 294symmetric matricescore
- 295Transpose of a Productterritory
- 296Gram–Schmidt orthogonalizationterritory
- 297quadratic formscore
- 298QR decompositionterritory
- 299change of basisterritory
- 300orthogonal matricescore
- 301orthogonal projection (matrix form)territory
- 302rank–nullity theoremterritory
- 303Bilinear Forms and Congruenceterritory
- 304spectral theorem (symmetric matrices)core
- 305principal component analysisterritory
- 306Moore-Penrose pseudoinverseterritory
- 307Orthogonal Diagonalization A = QΛQᵀterritory
- 308positive (semi)definite matricescore
- 309Self-Adjoint Operatorsterritory
- 310Cholesky decompositionterritory
- 311Self-Adjoint Operators Have Real Eigenvaluesterritory
- 312The Complex Spectral Theoremterritory
3.5 · multivariable calculus
- 313functions of several variablescore
- 314level curves & surfacescore
- 315limits in several variablescore
- 316higher-order partial derivativescore
- 317Lines and Planes in R^nterritory
- 318critical pointscore
- 319tangent planescore
- 320total derivative & differentiabilitycore
- 321the Hessian matrixcore
- 322equality of mixed partials (Clairaut/Schwarz)territory
- 323iterated integralsterritory
- 324lagrange multipliersterritory
- 325linearizationcore
- 326Differentiability (Frechet Definition)territory
- 327Fubini's theoremterritory
- 328Open Balls and Open Setsterritory
- 329gradient descent geometrycore
- 330Gradient as Direction of Steepest Ascentterritory
- 331Jacobian change of variablesterritory
- 332change of variables for densitiesterritory
- 333second-order multivariable Taylorcore
- 334Hessian second-derivative testcore
- 335Quadratic Forms and Definitenessterritory
- 336Taylor's Theorem with Lagrange Remainderterritory
3.6 · convex analysis & optimization theory
- 337Optimization Problems in Standard Formterritory
- 338convex setscore
- 339convex functions on R^ncore
- 340Definition of a Convex Optimization Problemterritory
- 341Jensen's inequalityterritory
- 342Lipschitz continuitycore
- 343Affine Sets and Affine Hullsterritory
- 344convexity first-order conditioncore
- 345L-smoothness (Lipschitz gradient)core
- 346convexity second-order conditioncore
- 347unconstrained optimality conditionscore
- 348for convex f, a stationary point is a global minimizercore
3.7 · numerical computing & SHAPE REASONING
- 349floating pointcore
- 350floating-point rounding errorcore
- 351overflow & underflowcore
- 352the max-shift (log-sum-exp) trickcore
- 353numerical stability: cancellation & error growthcore
- 354vectorized (elementwise) array operationscore
- 355array shapescore
- 356tensor axes & number of dimensionscore
- 357operations over a batch axiscore
- 358broadcastingcore
- 359concatenate vs stackcore
- 360reductions along an axis (sum, mean, max)core
- 361reshape & viewscore
- 362tensor indexing & slicingcore
- 363batched matrix multiplicationcore
- 364checking shapes for matmul compatibilitycore
- 365transposing & permuting tensor axescore
- 366shape reasoning for MLcore
3.8 · probability & information
- 367sample spacescore
- 368probability distributioncore
- 369conditional probabilitycore
- 370random variablescore
- 371uniform distributionterritory
- 372The Kolmogorov Axiomsterritory
- 373entropyterritory
- 374likelihood ratioterritory
- 375expectationcore
- 376joint distributionscore
- 377Basic Properties from the Axiomsterritory
- 378cross-entropy between distributionsterritory
- 379Linearity of Expectationterritory
- 380variance & standard deviationcore
- 381LOTUS: The Law of the Unconscious Statisticianterritory
- 382Bayes' ruleterritory
- 383independent eventscore
- 384marginal distributionsterritory
- 385KL divergenceterritory
- 386the sample meancore
- 387Independence of Random Variablesterritory
- 388Monte Carlo estimationterritory
- 389estimator bias and varianceterritory
- 390the covariance matrixterritory
- 391double integralsterritory
- 392continuous random variables & PDFsterritory
3.9 · single-variable calculus: integration techniques & series
- 393sequences & their limitscore
- 394Limit Laws for Sequencesterritory
- 395infinite series & convergencecore
- 396asymptotic growth ratesterritory
- 397geometric seriescore
- 398antiderivativesterritory
- 399definite integralterritory
- 400Taylor's theorem & Taylor seriesterritory
- 401fundamental theorem of calculusterritory
- 402improper integralsterritory
- 403integration by partsterritory
- 404integration by substitutionterritory
- 405the Gaussian integralterritory
4.1 · ML core
- 406parameterscore
- 407bernoulliterritory
- 408categorical variablescore
- 409prediction functionscore
- 410multiclass labelscore
- 411feature vectors and labelscore
- 412one-hot encodingterritory
- 413dataset notationcore
- 414Random Samples and Statisticsterritory
- 415design matricesterritory
- 416i.i.d. training datacore
- 417observed values vs random variablescore
- 418train / validation / test splitscore
- 419a model as a conditional distribution p(y | x; θ)core
- 420expected loss over the data distributioncore
- 421model outputscore
- 422The Natural Logarithm as an Integralterritory
- 423likelihood vs probabilitycore
- 424classification metricsterritory
- 425per-example (pointwise) losscore
- 426likelihood functionscore
- 427empirical riskcore
- 428mse lossterritory
- 429log-likelihoodcore
- 430training vs validation errorterritory
- 431logitscore
- 432negative log-likelihoodcore
- 433bias-variance tradeoffterritory
- 434overfittingterritory
- 435softmaxcore
- 436binary cross-entropyterritory
- 437maximum likelihood estimation (MLE)territory
- 438probability calibrationterritory
- 439categorical likelihoodcore
- 440log-softmax and log-sum-expcore
- 441logistic regressionterritory
- 442MAP estimationterritory
- 443cross-entropy losscore
- 444least squaresterritory
- 445decision boundariesterritory
- 446generative vs discriminative modelsterritory
- 447linear regressionterritory
4.2 · optimization
- 448exponential moving averagecore
- 449matrix traceterritory
- 450bias correction of moving averagescore
- 451mini-batchescore
- 452epochs and iterationscore
- 453equality-constrained optimizationterritory
- 454gradient of a scalar losscore
- 455regularized objectivescore
- 456finite differencesterritory
- 457gradient descentcore
- 458gradient normscore
- 459gradient checksterritory
- 460learning ratecore
- 461momentumcore
- 462RMSPropcore
- 463stochastic gradientscore
- 464weight decaycore
- 465condition numberterritory
- 466Adamcore
- 467stochastic gradient descent (SGD)core
- 468Descent Directions and the Generic Descent Methodterritory
- 469loss landscapescore
- 470effect of the learning rate's sizecore
- 471learning-rate schedulesterritory
- 472optimization diagnosticscore
- 473gradient clippingcore
- 474learning-rate warmupterritory
4.3 · computational graphs & autodiff
- 475computational graphscore
- 476forward passcore
- 477local derivativescore
- 478parameter objectscore
- 479chain rule on a computational graphcore
- 480reverse-mode automatic differentiationcore
- 481autograd tapecore
- 482vector-Jacobian products (VJPs)core
- 483no-grad modecore
- 484backward passcore
- 485shared parameterscore
- 486gradient accumulationcore
- 487optimizer stepcore
- 488zeroing gradients between stepscore
4.4 · neural networks
- 489activation functionscore
- 490GELU activation and derivativecore
- 491ReLU activation and derivativecore
- 492backprop through activation functionscore
- 493batch dimensioncore
- 494neuronscore
- 495dense layerscore
- 496matrix norms (spectral, Frobenius)territory
- 497train vs eval modeterritory
- 498dropoutterritory
- 499normal distributionterritory
- 500backprop through an affine layercore
- 501layer notationterritory
- 502singular value decompositionterritory
- 503backprop through MSE lossterritory
- 504mlpcore
- 505low-rank approximation (Eckart–Young)territory
- 506backprop through softmax + cross-entropyterritory
- 507initializationcore
- 508residual connectionscore
- 509vanishing and exploding gradientsterritory
- 510variance-preserving initializationcore
- 511feedforward blockcore
- 512gradient propagation through depthterritory
- 513why normalize activationscore
- 514layer normalizationcore
5.1 · language data
- 515text as datacore
- 516corpuscore
- 517sequence datacore
- 518characters vs bytesterritory
- 519pair frequenciesterritory
- 520train/validation split of a text corpuscore
- 521vocabularycore
- 522context windowcore
- 523byte tokenizationterritory
- 524token idscore
- 525unknown tokenterritory
- 526positional indicescore
- 527sliding windowscore
- 528batch token sequencescore
- 529char tokenizationterritory
- 530input target pairscore
- 531subword motivationterritory
- 532target shiftingcore
- 533bpe algorithmterritory
- 534bpe mergesterritory
- 535BPE decoding: ids back to textterritory
- 536bpe encodingterritory
- 537tokenizer serializationterritory
5.2 · autoregressive language modeling
- 538autoregressive factorizationcore
- 539lm objectiveterritory
- 540the vocabulary axis (V)core
- 541context length limitsterritory
- 542next token predictioncore
- 543teacher forcingcore
- 544hidden statescore
- 545per-token cross-entropycore
- 546lm losscore
- 547perplexityterritory
5.3 · embeddings
- 548embedding lookupcore
- 549learned positionalcore
- 550token embeddingscore
- 551embedding dimensioncore
- 552adding position to token embeddingscore
- 553embedding shapescore
- 554embedding gradientscore
6.1 · attention
- 555content-based lookupterritory
- 556autoregressive constraintcore
- 557future leakagecore
- 558online softmax (running max and rescaled sum)territory
- 559head size (C / n_head)core
- 560splitting and merging attention headscore
- 561query, key and value projectionscore
- 562why tokens must exchange informationterritory
- 563query, key and value shapescore
- 564queries, keys and values: the lookup intuitionterritory
- 565attention scorescore
- 566attention visibility maskcore
- 567scaled dot productcore
- 568causal maskcore
- 569softmax key axiscore
- 570triangular maskcore
- 571attention weightscore
- 572mask before softmaxcore
- 573weighted sum valuescore
- 574single head attentioncore
- 575causal self attentioncore
- 576Use multi-head attention on a token sequencecore
- 577Derive query, key, value, and head shapescore
- 578Implement masking, softmax, and head aggregationcore
- 579Diagnose numerical and masking failurescore
- 580bidirectional self-attentionterritory
- 581output projectioncore
6.2 · transformer
- 582language-model headcore
- 583compute costterritory
- 584memory costterritory
- 585pre-norm vs post-normterritory
- 586transformer block patterncore
- 587decoder only blockcore
- 588transformer stackcore
- 589final normcore
- 590GPT forward passcore
- 591parameter countterritory
7.1 · training system
- 592checkpointingterritory
- 593dataset classterritory
- 594dataloaderterritory
- 595validation loopcore
- 596batch shapesterritory
- 597training stepcore
- 598optimizer configcore
- 599training loopcore
- 600resume trainingterritory
- 601loss curvesterritory
- 602experiment trackingterritory
- 603early stoppingterritory
- 604forward pass to losscore
- 605model initcore
- 606GPT backward passcore
- 607Execute a complete GPT training stepcore
- 608Order loss, backward, clipping, update, and zeroingcore
- 609Check shapes, gradients, state, and numerical invariantscore
- 610Assemble data, model, and optimizer statecore
- 611Execute a shape-safe GPT training stepcore
- 612Validate loss during trainingcore
7.2 · generation
- 613categorical samplingterritory
- 614top k samplingterritory
- 615top-p (nucleus) samplingterritory
- 616prompt encodingterritory
- 617next token logitsterritory
- 618greedy decodingterritory
- 619temperatureterritory
- 620generation loopterritory
- 621context croppingterritory
- 622interactive demoterritory
7.3 · evaluation
- 623leakage checksterritory
- 624memorizationterritory
- 625validation losscore
- 626ablationsterritory
- 627sampling comparisonterritory
- 628sample gridsterritory
- 629evaluation reportterritory
8.1 · modern practice
- 630Number Formats Across the Precision Spectrumterritory
- 631rotary position embedding (RoPE)territory
- 632AdamW (decoupled weight decay)territory
- 633mixed precisionterritory
- 634weight tyingterritory
- 635SwiGLU feed-forwardterritory
- 636memory hierarchy & cacheterritory
- 637cosine scheduleterritory
- 638flash attentionterritory
- 639RMSNormterritory
- 640kv cacheterritory
- 641grouped query attentionterritory
9.1 · Discrete mathematics and proof
- 642The Conditional Statementterritory
- 643Predicates and Domains of Discourseterritory
- 644truth tablesterritory
- 645euclid's gcd algorithmterritory
- 646The Biconditionalterritory
- 647Converse, Inverse, and Contrapositiveterritory
- 648The Existential Quantifierterritory
- 649The Universal Quantifierterritory
- 650boolean algebraterritory
- 651Tautologies, Contradictions, and Contingenciesterritory
- 652modular inverse (ext. Euclid)territory
- 653The Uniqueness Quantifierterritory
- 654Vacuous and Trivial Truthterritory
- 655Disjunctive and Conjunctive Normal Formsterritory
- 656Logical Equivalenceterritory
- 657fast modular exponentiationterritory
- 658Set-Builder Notation and Specificationterritory
- 659Translating Mathematics into Logicterritory
- 660De Morgan's Laws for Propositionsterritory
- 661Rules of Inference and Valid Argumentsterritory
- 662Union and Intersectionterritory
- 663Negating Quantified Statementsterritory
- 664Inference Rules for Quantifiersterritory
- 665Indexed Families and Arbitrary Unions and Intersectionsterritory
- 666Set Difference and Complementterritory
- 667Definitions, Theorems, and the Anatomy of a Proofterritory
- 668Partitions of a Setterritory
- 669Symmetric Differenceterritory
- 670Direct Proof of a Conditionalterritory
- 671Constructive Existence Proofsterritory
- 672Disproof by Counterexampleterritory
- 673The Principle of Mathematical Inductionterritory
- 674Proofs from Definitions: Even, Odd, and Rationalterritory
- 675Proof by Casesterritory
- 676Proof by Contrapositiveterritory
- 677Proving Biconditionalsterritory
- 678Subsets and Proving Containmentterritory
- 679Uniqueness Proofsterritory
- 680Faulty Induction: All Horses Are the Same Colorterritory
- 681Induction on Inequalitiesterritory
- 682Induction on Summation Identitiesterritory
- 683Invariant Argumentsterritory
- 684Strong Inductionterritory
- 685Divisibilityterritory
- 686Without Loss of Generalityterritory
- 687Proof by Contradictionterritory
- 688The Power Setterritory
- 689Proving Set Equality by Double Inclusionterritory
- 690Asymptotic Notation and Growth of Functionsterritory
- 691Recursively Defined Sequencesterritory
- 692GCD and LCM: Definitions and Coprimalityterritory
- 693Induction on Divisibility Resultsterritory
- 694Common Proof Errorsterritory
- 695Proof: √2 Is Irrationalterritory
- 696Russell's Paradox and the Limits of Naive Set Theoryterritory
- 697The Well-Ordering Principleterritory
- 698Cartesian Productsterritory
- 699De Morgan's Laws for Setsterritory
- 700Ordered Pairs: The Kuratowski Constructionterritory
- 701Modeling with Recurrences: Tower of Hanoiterritory
- 702Recursively Defined Sets and Structuresterritory
- 703Nonconstructive Existence Proofsterritory
- 704The Division Algorithmterritory
- 705Proof: Induction, Strong Induction, and Well-Ordering Are Equivalentterritory
- 706Primes and Compositesterritory
- 707Binary Relationsterritory
- 708Proof: Generalized De Morgan and Distributive Laws for Indexed Familiesterritory
- 709The Algebra of Setsterritory
- 710Linear Homogeneous Recurrences: Characteristic Rootsterritory
- 711Structural Inductionterritory
- 712Proof: Euclid's Algorithm Computes gcd(a, b)territory
- 713Proof: There Are Infinitely Many Primesterritory
- 714Graphs: Vertices, Edges, and Degreeterritory
- 715Reflexive, Symmetric, Antisymmetric, and Transitive Relationsterritory
- 716Fibonacci Numbers and Binet's Formulaterritory
- 717Nonhomogeneous Recurrencesterritory
- 718Recurrences with Repeated Rootsterritory
- 719Bézout's Identity and the Extended Euclidean Algorithmterritory
- 720The Axiom of Choiceterritory
- 721Images and Preimages of Setsterritory
- 722Injective Functionsterritory
- 723Surjective Functionsterritory
- 724Planar Graphsterritory
- 725Special Graph Familiesterritory
- 726Walks, Paths, and Cyclesterritory
- 727Equivalence Relationsterritory
- 728Proof: Euclid's Lemmaterritory
- 729Bijective Functionsterritory
- 730Bipartite Graphsterritory
- 731Hamilton Paths and Cyclesterritory
- 732Equivalence Classesterritory
- 733Hasse Diagramsterritory
- 734Total Orders, Chains, and Antichainsterritory
- 735Closures of Relationsterritory
- 736Proof: The Fundamental Theorem of Arithmeticterritory
- 737Proof: Composition Preserves Injectivity and Surjectivityterritory
- 738Graph Isomorphismterritory
- 739Inverse Functionsterritory
- 740Matchingsterritory
- 741Congruence mod n as an Equivalence Relationterritory
- 742Connectivity and Connected Componentsterritory
- 743Proof: Equivalence Relations Correspond to Partitionsterritory
- 744Proof: Dilworth's Theoremterritory
- 745Mirsky's Theorem: Height Equals the Minimum Antichain Coverterritory
- 746Well-Ordered Setsterritory
- 747Proof: gcd(a, b) · lcm(a, b) = abterritory
- 748Equinumerosity: Comparing Sizes with Bijectionsterritory
- 749Proof: Hall's Marriage Theoremterritory
- 750Congruence Arithmetic: Adding and Multiplying mod nterritory
- 751Proof: Bipartite iff No Odd Cyclesterritory
- 752Trees and the Unique-Path Propertyterritory
- 753Finite Sets and the Uniqueness of Sizeterritory
- 754The Schröder–Bernstein Theoremterritory
- 755Proof: Fermat's Little Theoremterritory
- 756Solving Linear Congruencesterritory
- 757Spanning Treesterritory
- 758Proof: A Tree on n Vertices Has n − 1 Edgesterritory
- 759Countable Setsterritory
- 760The Pigeonhole Principleterritory
- 761The Product Ruleterritory
- 762The Sum Ruleterritory
- 763Proof of Schröder–Bernsteinterritory
- 764The Chinese Remainder Theoremterritory
- 765Proof: Euler's Formula v − e + f = 2territory
- 766Cantor's Diagonal Argumentterritory
- 767Proof: Z and Q Are Countableterritory
- 768Proof: A Countable Union of Countable Sets Is Countableterritory
- 769Dirac's and Ore's Theoremsterritory
- 770The Generalized Pigeonhole Principleterritory
- 771Permutationsterritory
- 772Proof: The Handshaking Lemmaterritory
- 773The Subtraction and Division Rulesterritory
- 774Euler's Totient Functionterritory
- 775Proof: K5 and K3,3 Are Not Planarterritory
- 776Proof: Cantor's Theorem |A| < |P(A)|territory
- 777Proof: The Erdős–Szekeres Monotone Subsequence Theoremterritory
- 778k-Permutationsterritory
- 779Proof: Euler's Circuit Theoremterritory
- 780Inclusion–Exclusion for Two and Three Setsterritory
- 781Arrangements with Repeated Objectsterritory
- 782Proof: Euler's Theoremterritory
- 783The Five-Color Theoremterritory
- 784Cardinal Comparisons and the Continuum Hypothesisterritory
- 785Existence of Uncomputable Functionsterritory
- 786Combinationsterritory
- 787Euler Paths and the Bridges of Königsbergterritory
- 788RSA and Why It Worksterritory
- 789Pascal's Identity and Pascal's Triangleterritory
- 790Stars and Barsterritory
- 791The Binomial Theoremterritory
- 792Combinatorial Proofs by Double Countingterritory
- 793Sampling Tables: With/Without Replacement, Ordered/Unorderedterritory
- 794Proof: The General Inclusion–Exclusion Formulaterritory
- 795Multinomial Coefficientsterritory
- 796Ordinary Generating Functionsterritory
- 797Counting Onto Functionsterritory
- 798Derangementsterritory
- 799Counting with Generating Functionsterritory
- 800Solving Recurrences with Generating Functionsterritory
9.2 · Calculus and real analysis
- 801Field Axioms of the Real Numbersterritory
- 802Order Axioms and Inequalitiesterritory
- 803Partial Fraction Decompositionterritory
- 804Infinite Limitsterritory
- 805Limits at Infinityterritory
- 806One-Sided Limitsterritory
- 807Uniform Continuityterritory
- 808The Squeeze Theoremterritory
- 809Classification of Discontinuitiesterritory
- 810Sequential Criterion for Function Limitsterritory
- 811Subsequencesterritory
- 812Algebra and Composition of Continuous Functionsterritory
- 813Divergence of the Harmonic Seriesterritory
- 814The nth Term Divergence Testterritory
- 815Telescoping Seriesterritory
- 816The Limit of sin(x)/xterritory
- 817Angle-Addition and Double-Angle Formulasterritory
- 818Zero Derivative Implies Constantterritory
- 819Derivatives of the Trigonometric Functionsterritory
- 820First Derivative Testterritory
- 821Applied Optimizationterritory
- 822Second Derivative Testterritory
- 823Riemann Sumsterritory
- 824Related Ratesterritory
- 825Curve Sketchingterritory
- 826Convex Functionsterritory
- 827Taylor Polynomialsterritory
- 828Second Fundamental Theorem of Calculusterritory
- 829Numerical Integrationterritory
- 830Newton's root-finding methodterritory
- 831Arc Length of a Function Graphterritory
- 832Area Between Curvesterritory
- 833Integral Form of the Taylor Remainderterritory
- 834Integrals of Powers of sin and costerritory
- 835Bounded and Monotonic Functionsterritory
- 836Parametric Curvesterritory
- 837Area of a Surface of Revolutionterritory
- 838Volumes by Slicingterritory
- 839Integrals of Powers of tan and secterritory
- 840Calculus with Parametric Curvesterritory
- 841Polar Coordinatesterritory
- 842Volumes by Cylindrical Shellsterritory
- 843Reduction Formulasterritory
- 844Area in Polar Coordinatesterritory
- 845Upper Bounds, Suprema, and Infimaterritory
- 846Wallis's Productterritory
- 847Inverse Trigonometric Functionsterritory
- 848The Least Upper Bound Propertyterritory
- 849Limit Superior and Limit Inferiorterritory
- 850Partitions and Upper and Lower Sumsterritory
- 851Pointwise versus Uniform Convergenceterritory
- 852The Archimedean Propertyterritory
- 853Intermediate Value Theoremterritory
- 854Monotone Convergence Theoremterritory
- 855Nested Interval Theoremterritory
- 856Linearity and Additivity of the Integralterritory
- 857Riemann's Integrability Criterionterritory
- 858Uniform Limits of Continuous Functionsterritory
- 859Density of the Rationals and Irrationalsterritory
- 860Existence of nth Rootsterritory
- 861Continuity of Inverse Functionsterritory
- 862The Alternating Series Testterritory
- 863Bolzano-Weierstrass Theoremterritory
- 864The Comparison Testterritory
- 865Equivalence of the Darboux and Riemann Definitionsterritory
- 866Algebra of Integrable Functionsterritory
- 867Integrability of Monotone Functionsterritory
- 868Dedekind Cutsterritory
- 869Discontinuities of Monotone Functionsterritory
- 870Derivative of an Inverse Functionterritory
- 871Definition of pi and arctan via the Integralterritory
- 872Boundedness Theoremterritory
- 873Cauchy Sequences and the Cauchy Criterionterritory
- 874Heine-Cantor Theoremterritory
- 875Cauchy Condensation Testterritory
- 876The Limit Comparison Testterritory
- 877The Ratio Testterritory
- 878The Root Testterritory
- 879The Weierstrass M-Testterritory
- 880Integral Inequalitiesterritory
- 881The Integral Testterritory
- 882Uncountability of R via Nested Intervalsterritory
- 883Arithmetic of Dedekind Cutsterritory
- 884The Exponential Functionterritory
- 885Derivatives of Inverse Trigonometric Functionsterritory
- 886Rigorous Construction of sin and costerritory
- 887Cauchy Criterion for Seriesterritory
- 888Integrability of Continuous Functionsterritory
- 889Radius of Convergenceterritory
- 890A Continuous Nowhere-Differentiable Functionterritory
- 891Comparison Test for Improper Integralsterritory
- 892Uniform Convergence and Integrationterritory
- 893p-Seriesterritory
- 894Completeness of the Real Numbers Built from Cutsterritory
- 895e as a Limitterritory
- 896Characterization of the Exponentialterritory
- 897General Powers and Exponentialsterritory
- 898Hyperbolic Functionsterritory
- 899Maclaurin Series of ln(1+x) and arctanterritory
- 900Integrating Rational Functionsterritory
- 901Trigonometric Substitutionterritory
- 902Irrationality of piterritory
- 903Darboux's Theoremterritory
- 904Absolute and Conditional Convergenceterritory
- 905Sets of Measure Zero and the Integrability Criterionterritory
- 906Mean Value Theorem for Integralsterritory
- 907Uniform Convergence and Differentiationterritory
- 908Interval of Convergenceterritory
- 909Uniqueness of the Real Numbersterritory
- 910Exponential Growth and Decayterritory
- 911Logarithmic Differentiationterritory
- 912The Weierstrass Substitutionterritory
- 913Strategy of Integrationterritory
- 914Cauchy Mean Value Theoremterritory
- 915The Cauchy Product of Seriesterritory
- 916Riemann Rearrangement Theoremterritory
- 917Strategy for Testing Seriesterritory
- 918Weighted (Second) Mean Value Theorem for Integralsterritory
- 919Term-by-Term Differentiation and Integrationterritory
- 920Abel's endpoint theorem for power seriesterritory
- 921L'Hopital's Rule (Infinity over Infinity)territory
- 922Operations on Power Seriesterritory
- 923Leibniz Formula for Higher Derivatives of a Productterritory
- 924Indeterminate Formsterritory
- 925Cauchy Form of the Taylor Remainderterritory
- 926Irrationality of eterritory
- 927Maclaurin Series of exp, sin and costerritory
- 928The Binomial Seriesterritory
- 929Complex Exponential and Euler's Formulaterritory
9.3 · Linear algebra
- 930Fieldsterritory
- 931Complex Numbersterritory
- 932Polynomial Division and the Factor Theoremterritory
- 933Factoring over C: the Fundamental Theorem of Algebraterritory
- 934Factoring Real Polynomials: Conjugate Root Pairsterritory
- 935linear combinationscore
- 936Examples of Vector Spacesterritory
- 937Elementary Consequences of the Axiomsterritory
- 938Lines and Planes in R^3territory
- 939matrices as transformations of Rⁿcore
- 940Norms Induced by Inner Productsterritory
- 941Span Is the Smallest Containing Subspaceterritory
- 942Sums of Subspacesterritory
- 943Triangle Inequalityterritory
- 944The Space L(V, W) and Compositionterritory
- 945Direct Sumsterritory
- 946Cauchy-Schwarz in Inner Product Spacesterritory
- 947Linear Functionals and the Dual Spaceterritory
- 948Polynomials Applied to Operatorsterritory
- 949basis & unique coordinatescore
- 950Linear Dependence Lemmaterritory
- 951Block Matricesterritory
- 952Properties of Matrix Multiplicationterritory
- 953Best Approximation Theoremterritory
- 954Nilpotent Operatorsterritory
- 955Coordinate Vectorsterritory
- 956Linear Maps Are Determined by Basis Valuesterritory
- 957Replacement Theoremterritory
- 958Every Spanning List Contains a Basisterritory
- 959Diagonal and Triangular Matricesterritory
- 960Quotient Spacesterritory
- 961Jordan Blocks and Jordan Matricesterritory
- 962The Dual Basisterritory
- 963The Matrix of a Linear Mapterritory
- 964Bessel's Inequalityterritory
- 965Extending an Independent List to a Basisterritory
- 966Elementary Matricesterritory
- 967Pivot Variables and Free Variablesterritory
- 968Existence of Eigenvalues over Cterritory
- 969Eigenspaces and Geometric Multiplicityterritory
- 970Least Squares Data Fittingterritory
- 971The Conjugate Transpose A*territory
- 972Jordan Basis for a Nilpotent Operatorterritory
- 973Composition Corresponds to Matrix Multiplicationterritory
- 974Existence and Extension of Orthonormal Basesterritory
- 975Dimension of Subspacesterritory
- 976Permutation Matricesterritory
- 977Row Equivalence Preserves Solution Setsterritory
- 978Properties of Inversesterritory
- 979Homogeneous Systemsterritory
- 980Row Rank Equals Column Rankterritory
- 981Eigenvectors of Distinct Eigenvalues Are Independentterritory
- 982Generalized Eigenvectorsterritory
- 983Injectivity and the Null Spaceterritory
- 984Riesz Representation Theoremterritory
- 985The Annihilator of a Subspaceterritory
- 986Dimension of a Sum of Subspacesterritory
- 987Direct Sums of Several Subspacesterritory
- 988Uniqueness of the RREFterritory
- 989Unitary Matricesterritory
- 990The Invertible Matrix Theoremterritory
- 991Dimension Obstructions for Systemsterritory
- 992Determinant via Eliminationterritory
- 993Determinant as Signed Volume Scalingterritory
- 994Invertible Linear Mapsterritory
- 995The Adjoint Operatorterritory
- 996The Dual Map and the Transposeterritory
- 997Generalized Eigenspace Decompositionterritory
- 998Matrix Powers via Diagonalizationterritory
- 999Algebraic vs Geometric Multiplicityterritory
- 1000Trace and Determinant from Eigenvaluesterritory
- 1001Eigenvalues of Triangular Matricesterritory
- 1002Product Rule det(AB) = det(A)det(B)territory
- 1003Isomorphism and Dimensionterritory
- 1004Injective ⟺ Surjective for Operatorsterritory
- 1005Null-Range Duality of the Adjointterritory
- 1006Isometriesterritory
- 1007The Jordan Form Theoremterritory
- 1008Markov Matrices and Steady Statesterritory
- 1009Sylvester's Law of Inertiaterritory
- 1010Pivot Test for Positive Definitenessterritory
- 1011Positive Operators and Square Rootsterritory
- 1012Criterion for Diagonalizabilityterritory
- 1013Upper-Triangular Form over Cterritory
- 1014Invertibility and the Determinantterritory
- 1015Similarity Invariantsterritory
- 1016Normal Operatorsterritory
- 1017Computing the Jordan Formterritory
- 1018Sylvester's Criterion: Leading Principal Minorsterritory
- 1019Polar Decompositionterritory
- 1020Singular Valuesterritory
- 1021The Cayley-Hamilton Theoremterritory
- 1022Schur's Theoremterritory
- 1023The Adjugate and the Inverse Formulaterritory
- 1024Cramer's Ruleterritory
- 1025Permutations and Their Signsterritory
- 1026Normal Operators on Real Inner Product Spacesterritory
- 1027The Minimal Polynomialterritory
- 1028The Leibniz (Big) Formulaterritory
- 1029Classification of Isometries on Real Inner Product Spacesterritory
- 1030Diagonalizability via the Minimal Polynomialterritory
- 1031Axiomatic Characterization of the Determinantterritory
- 1032det(Aᵀ) = det(A)territory
9.4 · Multivariable calculus
- 1033Vector Fieldsterritory
- 1034Continuity in Several Variablesterritory
- 1035Limits Along Pathsterritory
- 1036Divergence of a Vector Fieldterritory
- 1037Differentiating Under the Integral Signterritory
- 1038Lipschitz Functionsterritory
- 1039The Mean Value Theorem in Several Variablesterritory
- 1040The Laplacian and Harmonic Functionsterritory
- 1041Curlterritory
- 1042Orthogonal Projection onto a Vectorterritory
- 1043A Counterexample to Mixed-Partial Symmetryterritory
- 1044Vector Calculus Identitiesterritory
- 1045Geometry of the Cross Productterritory
- 1046Epsilon-Delta Proofs in R^nterritory
- 1047Limit Laws in R^nterritory
- 1048Convergent Sequences in R^nterritory
- 1049The C^1 Criterion for Differentiabilityterritory
- 1050Differentiability Implies Continuityterritory
- 1051Partials Without Differentiabilityterritory
- 1052Lagrange Multipliers with Several Constraintsterritory
- 1053Integration over Elementary Regionsterritory
- 1054Continuity via Open Preimagesterritory
- 1055Closed Sets and Limit Pointsterritory
- 1056Multilinear Functions and k-Tensorsterritory
- 1057Parametrized Curvesterritory
- 1058Triple Integralsterritory
- 1059Connected and Path-Connected Setsterritory
- 1060Interior, Closure, and Boundaryterritory
- 1061The Scalar Triple Productterritory
- 1062Arc Length of Parametrized Curvesterritory
- 1063Parametrized Surfacesterritory
- 1064Integration in Polar Coordinatesterritory
- 1065Spherical Coordinatesterritory
- 1066Mass, Centroids, and Momentsterritory
- 1067Continuous Images of Connected Sets and the IVTterritory
- 1068Simply Connected Domainsterritory
- 1069Newton's Method in Several Variablesterritory
- 1070Arc Length Parametrizationterritory
- 1071Line Integrals of Scalar Functionsterritory
- 1072Surface Areaterritory
- 1073Orientation of Surfacesterritory
- 1074Integration in Cylindrical Coordinatesterritory
- 1075Integration in Spherical Coordinatesterritory
- 1076The Norm of a Linear Mapterritory
- 1077Taylor's Theorem with Remainder (Proof)territory
- 1078Curvature of Curvesterritory
- 1079Line Integrals of Vector Fieldsterritory
- 1080Surface Integrals of Scalar Functionsterritory
- 1081Proof of the Chain Ruleterritory
- 1082The Riemann Integral over a Rectangleterritory
- 1083The Inverse Function Theoremterritory
- 1084The Tangent-Normal-Binormal Frameterritory
- 1085The Fundamental Theorem for Line Integralsterritory
- 1086Green's Theoremterritory
- 1087Reparametrization Invariance of Line Integralsterritory
- 1088Flux Integralsterritory
- 1089Proof of Fubini's Theoremterritory
- 1090Properties of the Multiple Integralterritory
- 1091The Implicit Function Theoremterritory
- 1092Smooth Submanifolds of R^nterritory
- 1093Torsion and the Frenet-Serret Equationsterritory
- 1094Conservative Fields: The Equivalence Theoremterritory
- 1095The Divergence Form of Green's Theoremterritory
- 1096Proof of Green's Theoremterritory
- 1097The Classical Stokes Theoremterritory
- 1098The Bolzano-Weierstrass Theorem in R^nterritory
- 1099Degenerate Critical Pointsterritory
- 1100Implicit Differentiation in Several Variablesterritory
- 1101Proof of the Lagrange Multiplier Theoremterritory
- 1102Volume of a Parametrized Manifoldterritory
- 1103Manifolds as Regular Level Setsterritory
- 1104Manifolds with Boundaryterritory
- 1105The Component (Curl) Test and Its Failureterritory
- 1106The Divergence Theoremterritory
- 1107Green's Theorem on Multiply Connected Regionsterritory
- 1108Proof of the Classical Stokes Theoremterritory
- 1109Sets of Measure Zeroterritory
- 1110Compact Sets in R^nterritory
- 1111Cauchy Sequences and Completeness of R^nterritory
- 1112Tangent Spaces to Manifoldsterritory
- 1113Constructing Potential Functionsterritory
- 1114Integral Characterizations of Div and Curlterritory
- 1115Proof of the Divergence Theoremterritory
- 1116Gauss's Law for Inverse-Square Fieldsterritory
- 1117The Lebesgue Criterion for Riemann Integrabilityterritory
- 1118Alternating Tensorsterritory
- 1119Continuous Images of Compact Setsterritory
- 1120The Heine-Borel Theoremterritory
- 1121Proof of the Second Derivative Testterritory
- 1122Uniform Continuity on Compact Setsterritory
- 1123The Contraction Mapping Theoremterritory
- 1124Second-Order Conditions for Constrained Extrematerritory
- 1125Integrals over Bounded Setsterritory
- 1126The Wedge Productterritory
- 1127The Extreme Value Theorem in R^nterritory
- 1128Partitions of Unityterritory
- 1129Proof of the Leibniz Integral Ruleterritory
- 1130Proof of the Inverse Function Theoremterritory
- 1131Improper Multiple Integralsterritory
- 1132Jordan-Measurable (Rectifiable) Setsterritory
- 1133The Basis of Elementary k-Formsterritory
- 1134Equivalence of Norms on R^nterritory
- 1135Global Extrema on Compact Regionsterritory
- 1136Proof of the Change of Variables Theoremterritory
- 1137Proof of the Implicit Function Theoremterritory
- 1138The Determinant as the Top Alternating Formterritory
- 1139Differential Forms on R^nterritory
- 1140Orientation of Manifoldsterritory
- 1141The Exterior Derivativeterritory
- 1142The Pullback of a Formterritory
- 1143The Induced Boundary Orientationterritory
- 1144The Identity d(dw) = 0territory
- 1145Forms and Vector Fields in R^3territory
- 1146Integrating Forms over Parametrized Domainsterritory
- 1147Properties of the Pullbackterritory
- 1148Closed and Exact Formsterritory
- 1149Integration of Forms over Oriented Manifoldsterritory
- 1150The Poincare Lemmaterritory
- 1151The Generalized Stokes Theoremterritory
- 1152The Classical Theorems as Special Casesterritory
- 1153Closed vs Exact: A Glimpse of de Rham Cohomologyterritory
- 1154Proof of the Generalized Stokes Theoremterritory
9.5 · Probability and statistics
- 1155Sigma-Algebras of Eventsterritory
- 1156prior probabilityterritory
- 1157Statistical Modelsterritory
- 1158Law of Total Probabilityterritory
- 1159Chain Rule of Probabilitycore
- 1160Cumulative Distribution Functionsterritory
- 1161Functions of a Discrete Random Variableterritory
- 1162markov chainterritory
- 1163Continuity of Probability Measuresterritory
- 1164Convergence in Probabilityterritory
- 1165Simpson's Paradoxterritory
- 1166Convergence in Distributionterritory
- 1167Indicator Random Variables and the Fundamental Bridgeterritory
- 1168Boole's Inequality (Union Bound)territory
- 1169Conditioning Yields a New Probability Spaceterritory
- 1170Inclusion-Exclusion for Two and Three Eventsterritory
- 1171Almost Sure Convergenceterritory
- 1172The Continuous Mapping Theoremterritory
- 1173Markov's Inequalityterritory
- 1174Discrete Uniform Distributionterritory
- 1175Two-Dimensional LOTUSterritory
- 1176posterior probabilityterritory
- 1177Conditional Independenceterritory
- 1178Pairwise vs Mutual Independenceterritory
- 1179Conditional PMFsterritory
- 1180Relationships Between Modes of Convergenceterritory
- 1181Geometric Distributionterritory
- 1182Slutsky's Theoremterritory
- 1183Chebyshev's Inequalityterritory
- 1184Covariance and Bilinearityterritory
- 1185Conditional Expectation Given an Eventterritory
- 1186Memorylessness of the Geometric Distributionterritory
- 1187The Weak Law of Large Numbersterritory
- 1188Independence Implies Zero Covariance (Not Conversely)territory
- 1189Conditional Expectation as a Random Variableterritory
- 1190Estimators and Biasterritory
- 1191Null and Alternative Hypothesesterritory
- 1192Sufficient Statisticsterritory
- 1193The Empirical Distribution Functionterritory
- 1194Variance of a Sum and Covariance Cross-Termsterritory
- 1195Adam's Law (Iterated Expectation)territory
- 1196Martingalesterritory
- 1197MSE and the Bias-Variance Decompositionterritory
- 1198Type I and Type II Errorsterritory
- 1199Ancillary Statisticsterritory
- 1200Complete Statisticsterritory
- 1201The Fisher-Neyman Factorization Theoremterritory
- 1202Gibbs' Inequality: Nonnegativity of KL Divergenceterritory
- 1203Plug-in Estimators and Standard Errorsterritory
- 1204Eve's Law (Law of Total Variance)territory
- 1205The Optional Stopping Theoremterritory
- 1206Consistency of Estimatorsterritory
- 1207Loss Functions, Risk, and Admissibilityterritory
- 1208The Power Functionterritory
- 1209Basu's Theoremterritory
- 1210Exponential Familiesterritory
- 1211Minimal Sufficient Statisticsterritory
- 1212Conditional Densitiesterritory
- 1213Convolution: Sums of Independent Random Variablesterritory
- 1214Expectation via Densitiesterritory
- 1215The Gamma Functionterritory
- 1216Maximum Entropy on Finite Supportterritory
- 1217Transition Matrices and the Chapman-Kolmogorov Equationsterritory
- 1218Gambler's Ruinterritory
- 1219The Rao-Blackwell Theoremterritory
- 1220Bayes Risk and Minimax Rulesterritory
- 1221Kernel Density Estimationterritory
- 1222Exponential Distributionterritory
- 1223Moments and Central Momentsterritory
- 1224Expectation via the Survival Functionterritory
- 1225Beta Distributionterritory
- 1226The Bayesian Inference Frameworkterritory
- 1227The Neyman-Pearson Lemmaterritory
- 1228Conditional Expectation as Best Predictorterritory
- 1229Communication Classes and Irreducibilityterritory
- 1230The Lehmann-Scheffé Theorem and UMVUEsterritory
- 1231Memorylessness Characterizes the Exponentialterritory
- 1232Gamma Distributionterritory
- 1233The Method of Momentsterritory
- 1234Moment Generating Functionsterritory
- 1235Conjugate Priorsterritory
- 1236The Posterior Mean as Bayes Estimatorterritory
- 1237Monotone Likelihood Ratio and UMP Teststerritory
- 1238Likelihood Ratio Teststerritory
- 1239Periodicity of Markov Chainsterritory
- 1240Recurrence and Transienceterritory
- 1241Stationary Distributionsterritory
- 1242Characteristic Functionsterritory
- 1243MGFs of Sums of Independent Random Variablesterritory
- 1244The MGF Determines the Distributionterritory
- 1245Convergence to Stationarityterritory
- 1246Reversibility and Detailed Balanceterritory
- 1247Quantiles and the Quantile Functionterritory
- 1248MLE at the Boundary: The Uniform Modelterritory
- 1249Consistency of the MLEterritory
- 1250Invariance of the MLEterritory
- 1251Multivariate Normal Distributionterritory
- 1252Normal-Normal Conjugacyterritory
- 1253sampling distribution of the mean: SE = sigma/sqrt(n)territory
- 1254standard normalterritory
- 1255Medians and Modesterritory
- 1256Universality of the Uniformterritory
- 1257The Borel-Cantelli Lemmasterritory
- 1258The Bivariate Normal Distributionterritory
- 1259Uncorrelated Implies Independent Within an MVNterritory
- 1260The Bootstrapterritory
- 1261Confidence Intervalsterritory
- 1262p-Valuesterritory
- 1263The Sample Variance Is Unbiasedterritory
- 1264The Central Limit Theoremterritory
- 1265The Chi-Square Distributionterritory
- 1266Mean and Median as Loss Minimizersterritory
- 1267The Strong Law of Large Numbersterritory
- 1268Credible Intervalsterritory
- 1269Pivotal Quantitiesterritory
- 1270Duality of Tests and Confidence Setsterritory
- 1271Multiple Testing and the Bonferroni Correctionterritory
- 1272Proof of the Central Limit Theoremterritory
- 1273The Delta Methodterritory
- 1274Independence of the Sample Mean and Varianceterritory
- 1275Student's t Distributionterritory
- 1276Naive Definition of Probabilityterritory
- 1277The Glivenko-Cantelli Theoremterritory
- 1278z-Interval for a Normal Meanterritory
- 1279The One-Sample t-Testterritory
- 1280The Birthday Problemterritory
- 1281Permutation Teststerritory
- 1282Change of Variables in One Dimensionterritory
- 1283t-Interval for a Normal Meanterritory
- 1284Two-Sample and Paired Teststerritory
- 1285Multivariate Change of Variablesterritory
- 1286Cauchy Distributionterritory
- 1287Correlation Coefficientterritory
- 1288Hypergeometric Distributionterritory
- 1289Negative Binomial Distributionterritory
- 1290Order Statisticsterritory
- 1291The Bank-Post-Office / Beta-Gamma Connectionterritory
- 1292The Simple Linear Regression Modelterritory
- 1293The Score Functionterritory
- 1294Least Squares Estimatorsterritory
- 1295Binomial Distributionterritory
- 1296Fisher Informationterritory
- 1297The Gauss-Markov Theoremterritory
- 1298Beta-Binomial Conjugacyterritory
- 1299Multinomial Distributionterritory
- 1300Probability Generating Functionsterritory
- 1301Asymptotic Normality of the MLEterritory
- 1302The Cramér-Rao Lower Boundterritory
- 1303Noninformative and Jeffreys Priorsterritory
- 1304Poisson Distributionterritory
- 1305Pearson's Chi-Square Goodness-of-Fit Testterritory
- 1306Branching Processes and Extinctionterritory
- 1307The Wald Testterritory
- 1308Wilks' Theoremterritory
- 1309Poisson Approximation to the Binomialterritory
- 1310The Poisson Processterritory
- 1311Poisson Merging and Thinningterritory
- 1312Exponential Interarrival Timesterritory
9.6 · Differential equations
- 1313Definition and Order of an ODEterritory
- 1314Direction Fieldsterritory
- 1315General, Particular, and Singular Solutionsterritory
- 1316Fixed Points of One-Dimensional Maps and Cobweb Stabilityterritory
- 1317Autonomous Equations and Equilibrium Pointsterritory
- 1318Vector Fields and Integral Curvesterritory
- 1319The Clairaut Equationterritory
- 1320Initial Value Problemsterritory
- 1321Lipschitz Examples and Counterexamplesterritory
- 1322Definition and Existence of the Laplace Transformterritory
- 1323Separable Equationsterritory
- 1324Phase Line Analysisterritory
- 1325First-Order Equations of Higher Degree; Envelopes and Singular Solutionsterritory
- 1326Euler's Methodterritory
- 1327The Equivalent Integral Equationterritory
- 1328Existence, Uniqueness, and Well-Posednessterritory
- 1329Transforms of Elementary Functionsterritory
- 1330Exact Equationsterritory
- 1331First-Order Linear Equations: Standard Formterritory
- 1332Homogeneous Equations and the v = y/x Substitutionterritory
- 1333Lost Solutions in Separationterritory
- 1334Orthogonal Trajectoriesterritory
- 1335Impossibility of Oscillations on the Lineterritory
- 1336Stability of Fixed Points on the Lineterritory
- 1337Error Analysis of Euler's Methodterritory
- 1338The Improved Euler (Heun) Methodterritory
- 1339Gronwall's Inequalityterritory
- 1340Picard Iterationterritory
- 1341Finite-Time Blow-Upterritory
- 1342A Non-Uniqueness Exampleterritory
- 1343Linearity and the First Shifting Theoremterritory
- 1344Proof of the Exactness Criterionterritory
- 1345Solving Exact Equationsterritory
- 1346Second-Order Linear Equationsterritory
- 1347Equations with Linear Coefficientsterritory
- 1348Linear Stability Analysis in One Dimensionterritory
- 1349Multistep Methodsterritory
- 1350The Classical Runge-Kutta Method (RK4)territory
- 1351Consistency, Stability, and Convergenceterritory
- 1352The Picard-Lindelof Theorem: Statementterritory
- 1353The Convolution Theoremterritory
- 1354The Transform of Derivativesterritory
- 1355Step Functions and the Second Shifting Theoremterritory
- 1356Existence and Uniqueness for Second-Order Linear IVPsterritory
- 1357First-Order Systems and Order Reductionterritory
- 1358The Superposition Principleterritory
- 1359The Saddle-Node Bifurcationterritory
- 1360Adaptive Step Size Controlterritory
- 1361Continuous Dependence on Initial Conditionsterritory
- 1362The Maximal Interval of Existenceterritory
- 1363The Peano Existence Theoremterritory
- 1364Existence and Uniqueness for Systems: Statementterritory
- 1365The Pitchfork Bifurcationterritory
- 1366The Transcritical Bifurcationterritory
- 1367Global Existence for Linear Equationsterritory
- 1368The Wronskianterritory
- 1369Linear Systems in Matrix Formterritory
- 1370Abel's Formula for the Wronskianterritory
- 1371The Wronskian Test for Fundamental Setsterritory
- 1372The Eigenvalue Method: Real Distinct Eigenvaluesterritory
- 1373Definition of the Matrix Exponentialterritory
- 1374The Solution Space of a Linear Systemterritory
- 1375Structure of the General Homogeneous Solutionterritory
- 1376The Phase Planeterritory
- 1377Repeated Eigenvalues and Generalized Eigenvectorsterritory
- 1378Stiff Equationsterritory
- 1379Properties of the Matrix Exponentialterritory
- 1380Liouville's Formulaterritory
- 1381The Characteristic Equation: Distinct Real Rootsterritory
- 1382Structure of Nonhomogeneous Solutionsterritory
- 1383General Theory of nth-Order Linear Equationsterritory
- 1384Reduction of Orderterritory
- 1385Completeness of the Space of Continuous Functionsterritory
- 1386Autonomous Systems and Phase Spaceterritory
- 1387Nodes: Sinks and Sourcesterritory
- 1388Saddle Pointsterritory
- 1389Absolute Stability and the Test Equationterritory
- 1390Computing Matrix Exponentialsterritory
- 1391Fundamental Matricesterritory
- 1392Complex Roots and Euler's Formulaterritory
- 1393Repeated Rootsterritory
- 1394Two-Point Boundary Value Problemsterritory
- 1395Undetermined Coefficientsterritory
- 1396Variation of Parametersterritory
- 1397Linear Differential Operatorsterritory
- 1398nth-Order Constant Coefficients: Distinct Rootsterritory
- 1399The Integrating Factor Methodterritory
- 1400The Contraction Mapping Principleterritory
- 1401Power Series and Analytic Functionsterritory
- 1402Equilibria and Nullclinesterritory
- 1403The Flow of a Differential Equationterritory
- 1404Stability: The Precise Definitionsterritory
- 1405Degenerate Planar Casesterritory
- 1406Backward Euler and Implicit Methodsterritory
- 1407Complex Eigenvaluesterritory
- 1408Simple Harmonic Motionterritory
- 1409The Cauchy-Euler Equationterritory
- 1410Eigenvalue Problems for y'' + lambda y = 0territory
- 1411Undetermined Coefficients: The Resonant Caseterritory
- 1412Variation of Parameters for Higher Orderterritory
- 1413Nonhomogeneous Systems: Variation of Parametersterritory
- 1414The Annihilator Methodterritory
- 1415Repeated and Complex Roots in nth Orderterritory
- 1416The Bernoulli Equationterritory
- 1417Integrating Factors for Non-Exact Equationsterritory
- 1418Mixing Problemsterritory
- 1419Motion with Air Resistanceterritory
- 1420Reduction of Order for Missing-Variable Equationsterritory
- 1421Inverse Transforms via Partial Fractionsterritory
- 1422The Logistic Equationterritory
- 1423Proof of Picard-Lindelof Existence and Uniquenessterritory
- 1424Ordinary and Singular Pointsterritory
- 1425Hamiltonian and Conserved Systemsterritory
- 1426Linearization at an Equilibriumterritory
- 1427Alpha and Omega Limit Setsterritory
- 1428Limit Cyclesterritory
- 1429Lyapunov's Direct Methodterritory
- 1430Spirals and Centersterritory
- 1431Damped Free Vibrationsterritory
- 1432Fourier Series and Orthogonalityterritory
- 1433Regular Sturm-Liouville Problemsterritory
- 1434Forced Undamped Oscillations and Beatsterritory
- 1435Newton's Law of Coolingterritory
- 1436The Riccati Equationterritory
- 1437Solving IVPs with the Laplace Transformterritory
- 1438Proof of Existence and Uniqueness for Systemsterritory
- 1439Regular Singular Pointsterritory
- 1440Series Solutions near an Ordinary Pointterritory
- 1441The Nonlinear Pendulumterritory
- 1442Ruling Out Closed Orbits: Bendixson-Dulacterritory
- 1443Index Theory in the Planeterritory
- 1444The Poincare-Bendixson Theoremterritory
- 1445Poincare Mapsterritory
- 1446Gradient Systemsterritory
- 1447The LaSalle Invariance Principleterritory
- 1448The Trace-Determinant Planeterritory
- 1449Electrical Circuits (LRC) and the Mechanical Analogyterritory
- 1450The Fourier Convergence Theoremterritory
- 1451Separation of Variables: The Heat Equationterritory
- 1452Lagrange's Identityterritory
- 1453Damped Resonance and Frequency Responseterritory
- 1454The Dirac Delta and Impulse Responseterritory
- 1455ODEs with Discontinuous Forcingterritory
- 1456The Airy Equationterritory
- 1457Convergence of Series Solutions (Fuchs's Theorem)territory
- 1458The Method of Frobeniusterritory
- 1459The Legendre Equation and Legendre Polynomialsterritory
- 1460Proof of the Poincare-Bendixson Theoremterritory
- 1461The van der Pol Oscillatorterritory
- 1462Stability by Linearizationterritory
- 1463Topological Conjugacy of Linear Systemsterritory
- 1464Properties of Sturm-Liouville Eigenvaluesterritory
- 1465Transfer Functions and the Duhamel Principleterritory
- 1466The Bessel Equation of Order Zeroterritory
- 1467Frobenius: Equal Roots and Integer Differencesterritory
- 1468Competing Speciesterritory
- 1469The Hopf Bifurcationterritory
- 1470The Lotka-Volterra Predator-Prey Modelterritory
- 1471Hyperbolic Equilibria and the Hartman-Grobman Theoremterritory
- 1472Eigenfunction Expansionsterritory
- 1473Bessel Functions of General Orderterritory
- 1474The Lorenz Equationsterritory
- 1475Stable and Unstable Manifoldsterritory
- 1476Nonhomogeneous BVPs and the Fredholm Alternativeterritory
- 1477Chaos and Sensitive Dependenceterritory
- 1478Green's Functions for Boundary Value Problemsterritory
- 1479Strange Attractorsterritory
9.7 · Optimization
- 1480Rates of Convergenceterritory
- 1481The Constrained Optimization Problemterritory
- 1482Equivalent Reformulationsterritory
- 1483Cones, Convex Cones, and Conic Hullsterritory
- 1484Convex Combinations and the Convex Hullterritory
- 1485Convex Sets Under Intersectionterritory
- 1486Hyperplanes and Halfspacesterritory
- 1487Convex Functions Under Nonnegative Weighted Sumsterritory
- 1488Epigraphs and Sublevel Setsterritory
- 1489Polyhedra and Simplexesterritory
- 1490Dual Conesterritory
- 1491Convex Functions Under Partial Minimizationterritory
- 1492Convex Functions Under Pointwise Max and Supterritory
- 1493Quasiconvex Functionsterritory
- 1494Linear Programs: Standard and Inequality Formsterritory
- 1495Convex Sets Under Affine Mapsterritory
- 1496Subgradients and the Subdifferentialterritory
- 1497The Lagrangian and the Dual Functionterritory
- 1498Quasiconvex Optimization via Bisectionterritory
- 1499Convex Functions Under Affine Compositionterritory
- 1500Perspective and Linear-Fractional Imagesterritory
- 1501Caratheodory's Theoremterritory
- 1502Extreme Points and Basic Feasible Solutionsterritory
- 1503Subgradient Calculusterritory
- 1504Subgradient Optimality Conditionterritory
- 1505Weak Dualityterritory
- 1506Tangent Cones and Linearized Feasible Directionsterritory
- 1507The Perspective of a Functionterritory
- 1508The Fundamental Theorem of Linear Programmingterritory
- 1509Representation of Polyhedra: Minkowski-Weylterritory
- 1510Proper Cones and Generalized Inequalitiesterritory
- 1511The Lagrange Dual Problemterritory
- 1512The Simplex Methodterritory
- 1513Conic Form Problemsterritory
- 1514Coordinate and Block-Coordinate Descentterritory
- 1515The Heavy-Ball Methodterritory
- 1516The Stochastic Gradient Oracleterritory
- 1517The Subgradient Methodterritory
- 1518Complementary Slacknessterritory
- 1519Minimax and Saddle Pointsterritory
- 1520Slater's Conditionterritory
- 1521Relative Interior and Closure of Convex Setsterritory
- 1522Phase I: Finding an Initial Basic Feasible Solutionterritory
- 1523Quadratic Programsterritory
- 1524Stochastic and Incremental Gradient Methodsterritory
- 1525Dual Ascent and Dual Decompositionterritory
- 1526Convergence of the Subgradient Methodterritory
- 1527Sensitivity and Shadow Pricesterritory
- 1528The Descent Lemmaterritory
- 1529Quadratically Constrained Quadratic Programsterritory
- 1530Minibatching and Gradient Varianceterritory
- 1531Robbins-Monro Step-Size Conditionsterritory
- 1532Gradient Descent on Smooth Convex Functions: O(1/k)territory
- 1533Proof of SGD Convergence on Convex Functionsterritory
- 1534Euclidean Balls and Ellipsoidsterritory
- 1535The Positive Semidefinite Coneterritory
- 1536Steepest Descent on Quadratics: The Kantorovich Boundterritory
- 1537Lower Complexity Bound for First-Order Methodsterritory
- 1538Nesterov's Accelerated Gradient Methodterritory
- 1539Polyak-Ruppert Iterate Averagingterritory
- 1540Norm Balls and Norm Conesterritory
- 1541Scalar and Vector Composition Rulesterritory
- 1542Catalog of Elementary Convex Functionsterritory
- 1543Concavity of Log-Determinantterritory
- 1544Strict and Strong Convexityterritory
- 1545Semidefinite Programsterritory
- 1546Conjugate Directions and the Expanding Subspace Theoremterritory
- 1547The Quadratic Penalty Methodterritory
- 1548Second-Order Sufficient Conditionsterritory
- 1549The Lagrange Multiplier Theoremterritory
- 1550Proof of the O(1/k^2) Rate of Accelerated Gradientterritory
- 1551Dual Normsterritory
- 1552Second-Order Cone Programsterritory
- 1553Log-Concave and Log-Convex Functionsterritory
- 1554Convexity of Log-Sum-Expterritory
- 1555Bregman Divergencesterritory
- 1556Consequences of Strong Convexityterritory
- 1557The Linear Conjugate Gradient Methodterritory
- 1558First-Order Optimality over a Convex Setterritory
- 1559Armijo Condition and Backtrackingterritory
- 1560The Augmented Lagrangian Methodterritory
- 1561Newton's optimization methodterritory
- 1562Constraint Qualifications: LICQ and MFCQterritory
- 1563Second-Order Conditions with Equality Constraintsterritory
- 1564The Conjugate Functionterritory
- 1565Duality of the Spectral and Nuclear Normsterritory
- 1566Geometric Programmingterritory
- 1567Linear Convergence under Strong Convexityterritory
- 1568The Polyak-Lojasiewicz Inequalityterritory
- 1569SGD under Strong Convexity: O(1/k)territory
- 1570The Frank-Wolfe (Conditional Gradient) Methodterritory
- 1571The Wolfe Conditionsterritory
- 1572The Alternating Direction Method of Multipliersterritory
- 1573Convergence of the Method of Multipliersterritory
- 1574Damped (Line-Search) Newton and Its Two Phasesterritory
- 1575The Gauss-Newton Method for Nonlinear Least Squaresterritory
- 1576Hessian Modification for Indefinite Newton Stepsterritory
- 1577Newton's Method with Equality Constraintsterritory
- 1578Proof of Local Quadratic Convergence of Newton's Methodterritory
- 1579The Secant Conditionterritory
- 1580The Trust-Region Frameworkterritory
- 1581The Karush-Kuhn-Tucker Conditionsterritory
- 1582Dual Functions via Conjugatesterritory
- 1583The Fenchel-Young Inequalityterritory
- 1584Stochastic Variance-Reduced Gradient (SVRG)territory
- 1585Convergence of Frank-Wolfe: O(1/k)territory
- 1586Nonlinear Conjugate Gradient: Fletcher-Reeves and Polak-Ribiereterritory
- 1587Zoutendijk's Theorem and Global Convergenceterritory
- 1588Convergence of ADMMterritory
- 1589Infeasible-Start Newton Methodterritory
- 1590Self-Concordant Functions and Newton Complexityterritory
- 1591The DFP Updateterritory
- 1592The SR1 Updateterritory
- 1593The Cauchy Point and Sufficient Decreaseterritory
- 1594The Levenberg-Marquardt Methodterritory
- 1595The Exact Trust-Region Step: (B + lambda I)p = -g and the Hard Caseterritory
- 1596Active-Set Methods for Quadratic Programmingterritory
- 1597Exact Penalty Functionsterritory
- 1598The Fritz John Conditionsterritory
- 1599KKT Conditions for Convex Problemsterritory
- 1600Second-Order Necessary Conditions (Constrained)territory
- 1601Local Sequential Quadratic Programmingterritory
- 1602Existence of Minimizers: The Weierstrass Theoremterritory
- 1603SAGA and SAGterritory
- 1604Linear Convergence of SVRGterritory
- 1605The BFGS Updateterritory
- 1606CG-Steihaug: Truncated CG for Large Trust-Region Subproblemsterritory
- 1607The Dogleg Methodterritory
- 1608Global Convergence of Trust-Region Methodsterritory
- 1609The Logarithmic Barrier and the Central Pathterritory
- 1610Solving Problems via the KKT Systemterritory
- 1611Second-Order Sufficient Conditions (Constrained)territory
- 1612Globalizing SQP: Merit Functionsterritory
- 1613Projection onto a Closed Convex Setterritory
- 1614The Dennis-More Superlinear Characterizationterritory
- 1615Limited-Memory BFGSterritory
- 1616The Barrier (Path-Following) Methodterritory
- 1617Projecting onto Boxes, Balls, and Halfspacesterritory
- 1618The Proximal Operatorterritory
- 1619The Separating Hyperplane Theoremterritory
- 1620Polynomial Complexity via Self-Concordanceterritory
- 1621Primal-Dual Interior-Point Methodsterritory
- 1622The Gradient Projection Methodterritory
- 1623The Projected Subgradient Methodterritory
- 1624The Proximal Point Methodterritory
- 1625Soft-Thresholding: The Prox of the l1 Normterritory
- 1626Farkas' Lemmaterritory
- 1627Proof of the Separating Hyperplane Theoremterritory
- 1628Proof of Strong Duality under Slater's Conditionterritory
- 1629The Supporting Hyperplane Theoremterritory
- 1630The Mirror Descent Methodterritory
- 1631ADMM in Practice: Lasso and Consensusterritory
- 1632The Proximal Gradient Methodterritory
- 1633Linear Programming Dualityterritory
- 1634Proof of the KKT Conditionsterritory
- 1635Conic and Semidefinite Dualityterritory
- 1636The Fenchel Duality Theoremterritory
- 1637The Biconjugate Theoremterritory
- 1638Geometric Interpretation of Dualityterritory
- 1639Existence and Compactness of the Subdifferentialterritory
- 1640Convergence of Proximal Gradient: O(1/k)territory
- 1641Theorems of Alternatives via Dualityterritory
9.8 · Measure theory and Lebesgue integration
- 1642Sigma-algebra generated by a family of setsterritory
- 1643Measurable spaceterritory
- 1644Borel sigma-algebraterritory
- 1645Measurable functionterritory
- 1646Positive and negative parts of a functionterritory
- 1647Simple measurable functionsterritory
- 1648Measure axiomsterritory
- 1649Outer measureterritory
- 1650Measure spaceterritory
- 1651Caratheodory measurable setsterritory
- 1652Absolute continuity of measuresterritory
- 1653Almost-everywhere equivalenceterritory
- 1654Measure-theoretic probability spaceterritory
- 1655Product measureterritory
- 1656Pushforward (image) measureterritory
- 1657Integral of a nonnegative simple functionterritory
- 1658Lebesgue measureterritory
- 1659Sigma-algebra generated by a random variableterritory
- 1660Lebesgue integral of a nonnegative functionterritory
- 1661Lebesgue integral of a signed functionterritory
- 1662Monotone convergence theorem for Lebesgue integralsterritory
- 1663Fubini-Tonelli theoremsterritory
- 1664Lp function spacesterritory
- 1665Radon-Nikodym derivativeterritory
- 1666Uniform integrabilityterritory
- 1667Fatou's lemmaterritory
- 1668Convergence in Lpterritory
- 1669Conditional expectation as a Radon-Nikodym derivativeterritory
- 1670State domination and almost-everywhere hypothesesterritory
- 1671Derive the limit-integral interchangeterritory
- 1672Construct counterexamples when hypotheses failterritory
- 1673Completeness of Lp (Riesz-Fischer theorem)territory
9.9 · Functional analysis and operator theory
- 1674Metric-space axiomsterritory
- 1675Normed linear spaceterritory
- 1676Open and closed sets in a metric spaceterritory
- 1677Bounded linear operatorterritory
- 1678Hahn-Banach theoremterritory
- 1679Completeness of a metric spaceterritory
- 1680Compact subset of a metric spaceterritory
- 1681Baire category theoremterritory
- 1682Banach spaceterritory
- 1683Compact linear operatorterritory
- 1684Dual of a Banach spaceterritory
- 1685Hilbert spaceterritory
- 1686Open mapping theoremterritory
- 1687Uniform boundedness principleterritory
- 1688Weak convergence in Banach spacesterritory
- 1689Orthogonal projection theorem in Hilbert spacesterritory
- 1690Closed graph theoremterritory
- 1691Orthonormal basis of a Hilbert space and Parseval's identityterritory
- 1692Riesz representation theorem for Hilbert spacesterritory
- 1693Build the compact self-adjoint settingterritory
- 1694Derive the orthogonal eigen-expansionterritory
- 1695Apply finite-rank spectral approximationterritory
9.10 · Stochastic calculus and diffusion processes
- 1696Use Gaussian increments to construct sample pathsterritory
- 1697Derive covariance, scaling, and increment lawsterritory
- 1698Relate path properties to martingale consequencesterritory
- 1699diffusion score functionterritory
- 1700Quadratic variation of Brownian motionterritory
- 1701Filtration of sigma-algebrasterritory
- 1702Adapted stochastic processterritory
- 1703Stopping time with respect to a filtrationterritory
- 1704Ito integral for simple adapted processesterritory
- 1705Ito isometryterritory
- 1706Continuous-time martingaleterritory
- 1707Ito integral by L2 completionterritory
- 1708Derive the quadratic-variation correctionterritory
- 1709Apply Ito's formula to canonical diffusionsterritory
- 1710Validate a stochastic differential calculationterritory
- 1711Stochastic differential equationterritory
- 1712Girsanov change of measureterritory
- 1713Euler-Maruyama methodterritory
- 1714Fokker-Planck equationterritory
- 1715Ornstein-Uhlenbeck processterritory
- 1716Strong and weak solutions of an SDEterritory
- 1717Use reverse-time diffusion dynamicsterritory
- 1718Derive the density-score reversal formulaterritory
- 1719Discretize and diagnose the reverse SDEterritory
- 1720Existence and uniqueness for Lipschitz SDEsterritory
9.11 · Information theory and coding
- 1721primes & primalityterritory
- 1722finite fields mod pterritory
- 1723Joint entropyterritory
- 1724Conditional entropyterritory
- 1725Entropy chain ruleterritory
- 1726Discrete memoryless channelterritory
- 1727Prefix-free codeterritory
- 1728Fano's inequalityterritory
- 1729Channel code: codebook, rate and decoderterritory
- 1730Linear block codeterritory
- 1731Expected codeword lengthterritory
- 1732Kraft-McMillan inequalityterritory
- 1733Asymptotic equipartition propertyterritory
- 1734Decoding error probabilityterritory
- 1735Hamming distance and minimum distance of a codeterritory
- 1736Typical setsterritory
- 1737Mutual informationterritory
- 1738Entropy bound for symbol codes (H <= L < H+1)territory
- 1739Generator matrix of a linear codeterritory
- 1740Compute mutual information for a discrete channelterritory
- 1741Optimize the input distribution for capacityterritory
- 1742Relate capacity to reliable communication ratesterritory
- 1743Conditional mutual information and the chain rule for informationterritory
- 1744Jointly typical sequences (joint AEP)territory
- 1745Rate-distortion functionterritory
- 1746Source-coding theorem for block codesterritory
- 1747Parity-check matrix and syndrometerritory
- 1748Data-processing inequalityterritory
- 1749Relate rates to channel capacityterritory
- 1750Construct the typical-set achievability argumentterritory
- 1751Derive the converse from decoding errorterritory
- 1752Hamming (7,4) code and single-error correctionterritory
- 1753Huffman codingterritory
9.12 · Abstract algebra and algebraic coding
- 1754Group axiomsterritory
- 1755Group actionterritory
- 1756Group homomorphismterritory
- 1757Ring axiomsterritory
- 1758Integral domainterritory
- 1759Polynomial ringterritory
- 1760Ring homomorphismterritory
- 1761Euclidean domainterritory
- 1762Irreducible polynomials over a finite fieldterritory
- 1763Subgroupterritory
- 1764Field extensionterritory
- 1765Module over a ringterritory
- 1766Ideal of a ringterritory
- 1767Finite field extensionterritory
- 1768Principal ideal domainterritory
- 1769Units, irreducible and prime elements of a ringterritory
- 1770Reed-Solomon code by polynomial evaluationterritory
- 1771Kernel and image of a homomorphismterritory
- 1772Group isomorphismterritory
- 1773Cosets of a subgroupterritory
- 1774Unique factorization domainterritory
- 1775Lagrange's theorem for finite groupsterritory
- 1776Normal subgroupterritory
- 1777Quotient ringterritory
- 1778Quotient groupterritory
- 1779Cyclic code as an ideal of F[x]/(x^n - 1)territory
- 1780Finite field as a polynomial quotientterritory
- 1781Linear representation of a groupterritory
- 1782First isomorphism theorem for groupsterritory
- 1783Symmetric groupterritory
9.13 · Numerical analysis and scientific computing
- 1784Machine epsilon and unit roundoffterritory
- 1785Sparse matrix storage formatsterritory
- 1786Sparse matrix-vector productterritory
- 1787Krylov subspaceterritory
- 1788Polynomial interpolation problemterritory
- 1789Degree of exactness of a quadrature ruleterritory
- 1790Lagrange interpolation formulaterritory
- 1791Residual of a linear systemterritory
- 1792Finite-difference stencilterritory
- 1793Arnoldi iterationterritory
- 1794Orthogonal polynomial systemterritory
- 1795Stationary linear iterationsterritory
- 1796Local truncation error of a discretizationterritory
- 1797Build the Arnoldi basisterritory
- 1798Solve the residual least-squares problemterritory
- 1799Diagnose convergence and preconditioningterritory
- 1800Gaussian quadratureterritory
- 1801Backward error analysisterritory
- 1802Gauss-Seidel iterationterritory
- 1803Jacobi iterationterritory
- 1804A posteriori discretization-error estimatorterritory
- 1805Krylov preconditioningterritory
- 1806Mixed-precision iterative refinementterritory
- 1807Adaptive mesh refinementterritory
- 1808Method of linesterritory
- 1809Interpolation remainderterritory
- 1810CFL stability conditionterritory
9.14 · Partial differential equations and dynamical systems
- 1811Simplicial meshterritory
- 1812Finite-element basis functionsterritory
- 1813PDE order and linearityterritory
- 1814Invariant measure of a dynamical systemterritory
- 1815Lyapunov exponentterritory
- 1816Neural ODE (continuous-depth network)territory
- 1817Method of characteristics for first-order PDEsterritory
- 1818Principal-symbol classification of second-order PDEsterritory
- 1819Ergodicity of a dynamical systemterritory
- 1820Formulate the continuous adjointterritory
- 1821Derive parameter sensitivitiesterritory
- 1822Implement and gradient-check the backward solveterritory
- 1823Hamilton-Jacobi equationterritory
- 1824Linear transport equationterritory
- 1825Poisson boundary-value problemterritory
- 1826Wave equation and d'Alembert's formulaterritory
- 1827Distributional derivativeterritory
- 1828Fourier spectral solution of linear PDEsterritory
- 1829Heat kernel (fundamental solution of the heat equation)territory
- 1830Elliptic maximum principleterritory
- 1831Energy method for the wave equationterritory
- 1832Weak solution of a PDEterritory
- 1833Energy estimate for the heat equationterritory
- 1834Sobolev space W^{k,p}territory
- 1835Heat-equation semigroupterritory
- 1836Scalar conservation lawterritory
- 1837Weak variational form of a PDEterritory
- 1838Reaction-diffusion systemterritory
- 1839Rankine-Hugoniot jump conditionterritory
- 1840Galerkin approximation of a PDEterritory
- 1841Center-manifold reductionterritory
- 1842Structural stability of dynamical systemsterritory
- 1843Entropy solution for a scalar conservation lawterritory
- 1844Define local basis functions on a meshterritory
- 1845Assemble the global variational systemterritory
- 1846Validate convergence and boundary handlingterritory
- 1847Reduce dynamics to a center manifoldterritory
- 1848Derive a local normal formterritory
- 1849Classify and simulate the bifurcationterritory
10.1 · Probability simplices and continuous-time Markov structure
- 1850Probability simplexterritory
- 1851Stochastic transition matrixterritory
- 1852Markov transition semigroupterritory
- 1853continuous-time Markov chainterritory
- 1854Infinitesimal generator of a continuous-time Markov chainterritory
- 1855Kolmogorov backward equationterritory
- 1856Kolmogorov forward equationterritory
10.2 · Language-model data layout and training mechanics
- 1857special tokens (BOS / EOS / PAD)territory
- 1858Training document boundariesterritory
- 1859Sequence packing without cross-document leakageterritory
- 1860selective token-loss maskingterritory
- 1861Packed-sequence loss maskterritory
- 1862Packed-sequence attention maskterritory
- 1863Generation stop conditionsterritory
10.3 · Instruction tuning, preferences, DPO and RLHF
- 1864MDP formalismterritory
- 1865Verifiable reward functionterritory
- 1866rewards, returns & discountingterritory
- 1867state-value & action-value functionsterritory
- 1868instruction dataterritory
- 1869the Bellman equationterritory
- 1870AI-feedback constitutionterritory
- 1871preference data (pairwise comparisons)territory
- 1872temporal-difference learningterritory
- 1873AI preference-pair generationterritory
- 1874Instruction-data quality and leakage auditterritory
- 1875Generalized advantage estimationterritory
- 1876PPO value-function lossterritory
- 1877Conversation message schematerritory
- 1878policy gradients & REINFORCEterritory
- 1879PPO clipped policy objectiveterritory
- 1880instruction evalterritory
- 1881Bradley-Terry pairwise preference lossterritory
- 1882Instruction-following evaluation suiteterritory
- 1883prompt templatesterritory
- 1884RLAIF training loopterritory
- 1885supervised fine-tuningterritory
- 1886Chat-template renderingterritory
- 1887chain-of-thought / reasoning-style fine-tuningterritory
- 1888response-only loss masking for SFTterritory
- 1889Reference-policy log probabilitiesterritory
- 1890Reward-model training stepterritory
- 1891Self-consistency samplingterritory
- 1892Supervised fine-tuning sequence serializationterritory
- 1893Preference log-probability marginterritory
- 1894Per-token KL penalty against a frozen reference policyterritory
- 1895Outcome reward modelterritory
- 1896Process reward modelterritory
- 1897Reward-model calibration and validationterritory
- 1898Direct preference optimization margin objectiveterritory
- 1899Adaptive KL controlterritory
- 1900Best-of-N reward rankingterritory
- 1901Process-reward rerankingterritory
- 1902Verifier-guided reasoning tree searchterritory
- 1903reward model (Bradley-Terry)territory
- 1904Direct preference optimization training stepterritory
- 1905Sample policy rollouts with per-token log-probsterritory
- 1906RLHF rollout collectionterritory
- 1907RLVR rollout scoringterritory
- 1908End-to-end RLHF PPO training loopterritory
- 1909Group-relative reward normalizationterritory
- 1910RLVR training loopterritory
- 1911Test-time compute budget curveterritory
- 1912GRPO clipped policy objectiveterritory
- 1913GRPO training loopterritory
10.4 · Variational autoencoders and latent diffusion
- 1914latent-variable modelsterritory
- 1915image as tensorterritory
- 1916grayscale imagesterritory
- 1917image resizingterritory
- 1918locality imagesterritory
- 1919rgb imagesterritory
- 1920image croppingterritory
- 1921upsamplingterritory
- 1922convolution intuitionterritory
- 1923image channelsterritory
- 1924conv kernelterritory
- 1925conv filters channelsterritory
- 1926conv2d opterritory
- 1927conv layerterritory
- 1928paddingterritory
- 1929poolingterritory
- 1930strideterritory
- 1931diagonal gaussianterritory
- 1932gaussian log likelihoodterritory
- 1933conv blockterritory
- 1934conv2d output shapeterritory
- 1935downsamplingterritory
- 1936KL divergence between two Gaussians (closed form)territory
- 1937mse as gaussian nllterritory
- 1938gaussian samplingterritory
- 1939isotropic gaussianterritory
- 1940encoder decoder cnnterritory
- 1941autoencoderterritory
- 1942VAE encoder distributionterritory
- 1943VAE reconstruction termterritory
- 1944reparameterization trickterritory
- 1945VAE KL regularization termterritory
- 1946Use the ELBO as a VAE training objectiveterritory
- 1947Derive reconstruction and KL decompositionterritory
- 1948Check estimator signs, scales, and boundsterritory
- 1949VAE training stepterritory
- 1950vaeterritory
- 1951image to latentterritory
- 1952Latent scaling factorterritory
- 1953Use a continuous-time score-diffusion samplerterritory
- 1954Derive the reverse-time SDE constructionterritory
- 1955Train and discretize the time-conditioned score modelterritory
10.5 · Causal interpretability, probes and sparse autoencoders
- 1956Clean-corrupted prompt pairsterritory
- 1957activation hooksterritory
- 1958activation cacheterritory
- 1959component ablation (zero/mean)territory
- 1960residual stream viewterritory
- 1961logit difference metricterritory
- 1962Probe dataset splitterritory
- 1963feature directionterritory
- 1964Activation-patching metric designterritory
- 1965Probe selectivity controlsterritory
- 1966sparse autoencoder architectureterritory
- 1967activation patchingterritory
- 1968SAE sparsity penaltyterritory
- 1969Activation-patching control experimentsterritory
- 1970Sparse-autoencoder decoder normalizationterritory
- 1971SAE trainingterritory
- 1972Sparse-autoencoder loss decompositionterritory
- 1973max-activating examplesterritory
- 1974Sparse-autoencoder feature densityterritory
- 1975Sparse-autoencoder reconstruction fidelityterritory
- 1976feature interpretationterritory
- 1977Causal validation of interpreted featuresterritory
10.6 · Frontier attention, mixture-of-experts and state-space blocks
- 1978Causal depthwise 1-D convolution over tokensterritory
- 1979Recurrent cell: carry a hidden state through timeterritory
- 1980Decoupled RoPE keysterritory
- 1981State-space model discretizationterritory
- 1982Attention-logit soft capterritory
- 1983Linear state-space recurrenceterritory
- 1984Input-selective state-space parametersterritory
- 1985Sliding-window visibilityterritory
- 1986Associative scan for state-space modelsterritory
- 1987Attention-sink tokensterritory
- 1988Mamba selective state-space blockterritory
- 1989Query-key normalizationterritory
- 1990Top-k expert routingterritory
- 1991Expert capacity factorterritory
- 1992Mixture-of-experts auxiliary balance lossterritory
- 1993Router z-lossterritory
- 1994Latent KV compressionterritory
10.7 · Scaling laws and auditable data curation
- 1995Finite hypothesis-class complexityterritory
- 1996Sampling uncertainty in model evaluationterritory
- 1997normalize external input before comparison or authorizationterritory
- 1998formal language: a set of strings over an alphabetterritory
- 1999Concentration bound for bounded IID averagesterritory
- 2000finite automaton: finite states over input symbolsterritory
- 2001cosine & dot-product similarityterritory
- 2002DFA: deterministic finite automatonterritory
- 2003NFA: nondeterministic finite automatonterritory
- 2004Exact and near deduplicationterritory
- 2005Training-data provenance manifestterritory
- 2006regular language: recognized by finite automataterritory
- 2007Document quality filteringterritory
- 2008regular expression as language notationterritory
- 2009Sensitive-data filteringterritory
- 2010Generalization gapterritory
- 2011Use a finite-class bound to choose sample sizeterritory
- 2012Derive concentration and union-bound dependenceterritory
- 2013Check boundedness, independence, and confidence assumptionsterritory
- 2014Bootstrap intervals at the evaluation's sampling unitterritory
- 2015Paired model effect-size comparisonterritory
- 2016Scaling-law regressionterritory
- 2017Define estimands, metrics, pairing, and sampling unitsterritory
- 2018Compute uncertainty intervals and effect sizesterritory
- 2019Report seeds, exclusions, provenance, and reproducibilityterritory
- 2020FLOPs and Bytes: The Two Currencies of Computationterritory
- 2021Training compute: C = 6·N·Dterritory
- 2022Compute-optimal budget allocationterritory
10.8 · Distributed training collectives and parallel decompositions
- 2023Ranks, world size and point-to-point send/recvterritory
- 2024Collective communication primitivesterritory
- 2025Use all-reduce while preserving reduction semanticsterritory
- 2026Derive communication volume and synchronization stepsterritory
- 2027Measure latency, bandwidth, and scaling limitsterritory
- 2028All-to-all collective (distributed transpose)territory
- 2029Reduce-scatter and all-gatherterritory
- 2030Data-parallel replicasterritory
- 2031Collective communication cost modelterritory
- 2032Fully sharded parameter storageterritory
- 2033Communication-compute overlapterritory
- 2034Ring all-reduce algorithmterritory
- 2035Tree all-reduce algorithmterritory
- 2036Gradient all-reduceterritory
- 2037Tensor-parallel shardingterritory
- 2038Tensor-parallel collectivesterritory
- 2039Pipeline-stage partitionterritory
- 2040Mixture-of-Experts Token Routingterritory
- 2041Pipeline microbatch scheduleterritory
- 2042Expert-parallel all-to-allterritory
- 2043Pipeline bubble efficiencyterritory
10.9 · Agent runtimes, tool contracts and security boundaries
- 2044fixed-width types & sizeofterritory
- 2045logic gatesterritory
- 2046instruction set (ISA)territory
- 2047clock signalterritory
- 2048feedback loopsterritory
- 2049NAND gate (universal)territory
- 2050opcodeterritory
- 2051AND/OR/NOT from NANDterritory
- 2052machine codeterritory
- 2053decoderterritory
- 2054half adderterritory
- 2055multiplexerterritory
- 2056sr latchterritory
- 2057assembly languageterritory
- 2058full adderterritory
- 2059D flip-flopterritory
- 2060ripple carry adderterritory
- 2061registerterritory
- 2062state transition system: states, inputs, next-state rulesterritory
- 2063formal grammar (CFG/BNF)territory
- 2064program counterterritory
- 2065RAMterritory
- 2066separate identity evidence from authorization decisionsterritory
- 2067fetch decode executeterritory
- 2068memory addressingterritory
- 2069Agent action-observation protocolterritory
- 2070control unitterritory
- 2071pointers = addressesterritory
- 2072Agent-loop state machineterritory
- 2073Tool-schema contractterritory
- 2074privilege / kernel-user modeterritory
- 2075call stack / activation recordsterritory
- 2076ASTterritory
- 2077Action-observation traceterritory
- 2078Agent termination conditionsterritory
- 2079Least-privilege tool accessterritory
- 2080Tool-argument validationterritory
- 2081stack machineterritory
- 2082bytecodeterritory
- 2083symbol tableterritory
- 2084name resolutionterritory
- 2085lexical scope / environmentsterritory
- 2086codegenterritory
- 2087assembly emissionterritory
- 2088object filesterritory
- 2089ELF sections (symtab/rela)territory
- 2090ELF segments (program headers)territory
- 2091loading an executableterritory
- 2092what a process isterritory
- 2093code/data/heap/stackterritory
- 2094virtual memoryterritory
- 2095pages & framesterritory
- 2096page tablesterritory
- 2097virtual->physicalterritory
- 2098per-process isolationterritory
- 2099Sandbox isolation boundaryterritory
- 2100Sandbox resource limitsterritory
- 2101Tool-call serializationterritory
- 2102Tool-result injection into model contextterritory
- 2103Indirect prompt injectionterritory
- 2104Tool-output taint trackingterritory
10.10 · KV memory, continuous batching and speculative decoding
- 2105Arithmetic Intensityterritory
- 2106Accelerator Memory Tiers: Registers to Device Memoryterritory
- 2107Arithmetic Intensity of Matrix Multiplicationterritory
- 2108Machine Balance, the Ridge Point, and the Memory Wallterritory
- 2109The Roofline Modelterritory
- 2110Batch Size as an Intensity Leverterritory
- 2111Draft-model generationterritory
- 2112Request-level batching and its idle slotsterritory
- 2113Decode: The Bandwidth-Bound Phaseterritory
- 2114Anatomy of an Inference Requestterritory
- 2115KV-cache tensor layoutterritory
- 2116Target-model verificationterritory
- 2117The Latency-Throughput Frontierterritory
- 2118Prefill: The Compute-Bound Phaseterritory
- 2119KV-cache memory formulaterritory
- 2120Paged KV block allocatorterritory
- 2121Speculative acceptance samplingterritory
- 2122Latency Anatomy: First Token, Token Cadence, End to Endterritory
- 2123The KV Cache Memory Billterritory
- 2124Paged attention: reading K/V through a block tableterritory
- 2125Prefix-cache reuseterritory
- 2126Speculative-decoding speedup modelterritory
- 2127Iteration-level batchingterritory
- 2128Chunked prefillterritory
10.11 · Queueing, service objectives and safe deployment
- 2129Deployment artifact provenanceterritory
- 2130Arrival and service process modelterritory
- 2131Latency percentiles: p50, p95, p99 from a sampleterritory
- 2132Observability and Distributed Tracing for Inferenceterritory
- 2133Queue wait and service time decompositionterritory
- 2134Canary model deploymentterritory
- 2135Little's law derivationterritory
- 2136Rollback compatibility gateterritory
- 2137Utilization and the queueing-delay wallterritory
- 2138Service Variability and Tail Latencyterritory
- 2139Head-of-Line Blockingterritory
- 2140Latency service-level objectiveterritory
- 2141Continuous-batch scheduler policyterritory
- 2142Error-budget burn rateterritory
10.12 · Post-training quantization and model artifacts
- 2143Quantization as an Affine Mappingterritory
- 2144Scaling Granularity: Tensor, Channel, Groupterritory
- 2145Quantized-kernel compatibilityterritory
- 2146SmoothQuant activation smoothingterritory
- 2147GGUF tensor and metadata layoutterritory
- 2148Layer-wise reconstruction error for quantizationterritory
- 2149AWQ salient-channel scalingterritory
- 2150GPTQ second-order weight quantizationterritory
- 2151Weight-Only Quantization: GPTQ and AWQterritory
- 2152Activation Outliers and INT8 Quantizationterritory
- 2153Calibration: Choosing Scales from Dataterritory
- 2154KV-cache quantization scalesterritory
- 2155Precision as a Bandwidth Leverterritory
- 2156What to Quantize: Weights, Activations, Cacheterritory
- 2157Measuring Compression: Quality Versus Speedterritory
- 2158Quantized tensor metadata and provenanceterritory
- 2159Kernel and format compatibilityterritory
- 2160Deployment quality and rollback gatesterritory
10.13 · World-model objectives, RSSMs, Dreamer and JEPA
- 2161Symmetric logarithm transformterritory
- 2162episode done / terminal signalterritory
- 2163Two-hot value encodingterritory
- 2164latent representationterritory
- 2165condition latent state on discrete actionterritory
- 2166observation encoder (pixels -> latent state)territory
- 2167learned latent dynamics modelterritory
- 2168JEPA context encoderterritory
- 2169Next-latent prediction lossterritory
- 2170reward prediction headterritory
- 2171RSSM deterministic stateterritory
- 2172done probability headterritory
- 2173JEPA target encoderterritory
- 2174Reward prediction lossterritory
- 2175RSSM stochastic stateterritory
- 2176Terminal-state prediction lossterritory
- 2177JEPA latent predictorterritory
- 2178RSSM KL balancingterritory
- 2179JEPA prediction objectiveterritory
10.14 · AlphaZero loss, self-play invariants and schedules
- 2180payoff, utility & expected value of a strategyterritory
- 2181exploration vs exploitation tradeoffterritory
- 2182game board state + representation invariantsterritory
- 2183UCB1 selection boundterritory
- 2184legal-move generation (column-full edge cases)territory
- 2185game tree of positionsterritory
- 2186terminal detection & per-player resultterritory
- 2187per-node N/W/Q/P statisticsterritory
- 2188MCTS selection descentterritory
- 2189MCTS leaf expansionterritory
- 2190leaf evaluation (rollout or net)territory
- 2191sign-flipping value backupterritory
- 2192N-simulation MCTS search loopterritory
- 2193AlphaZero value lossterritory
- 2194visit-count policy target distributionterritory
- 2195AlphaZero policy lossterritory
- 2196Self-play temperature scheduleterritory
> real-world stack
Tools you’llactually use.
By the time you finish, you’ll have shipped real code in the tools that production teams actually use. Not abstract pseudocode: the concrete stack.
- NumPyLinear algebra. Tensors. The bedrock.
- PyTorchYour main framework. From scratch to production.
- JupyterThe notebook you’ll actually live in.
- Hugging FacePretrained models, datasets, hub.
- JAXFunctional autodiff. Research-grade speed.
- CUDAGPU intuition. Why kernels matter.
- W&BTrack experiments. Stop losing runs.
- FastAPIServe your model. Deploy or perish.
- DockerReproduce environments. Ship anywhere.
- GitVersion control. Branch. Diff. Revert.
> engineering track · 9 projects
Theory is a map.Code is the territory.
Nine projects, built from scratch in a notebook a real engineer would write. Each one binds to specific systems: you derive it, then you ship it.
- 01foundationnext
Linear Regressor in NumPy
Build a linear regressor end-to-end: fit by normal equations, then by gradient descent. Plot residuals, check assumptions, beat a baseline.
[ stack · NumPy ]- ◆NumPy implementation, no scikit-learn
- ◆Train/val/test split
- ◆Residual analysis script
- ◆Comparison vs. sklearn ground truth
theory 01 · 02project 01 - 02foundationnext
Logistic & Softmax Classifier from Scratch
Binary then multiclass classification by hand: derive the gradient, train with mini-batches, plot decision boundaries.
[ stack · NumPy ]- ◆Binary logistic on 2D toy data
- ◆Softmax on Fashion-MNIST
- ◆Numerical gradient check
- ◆Confusion matrix + calibration plot
theory 01 · 02 · 03project 02 - 03intermediatenext
Optimizer Lab
Implement SGD, Momentum, RMSProp and Adam from scratch. Race them on convex and non-convex toy problems and a small MLP.
[ stack · NumPy ]- ◆Each optimizer as a 30-line class
- ◆Convergence curves on Rosenbrock & quadratic bowl
- ◆Train an MLP four ways
- ◆Ablation report
theory 03project 03 - 04intermediatequeued
Neural Network in 100 Lines
A feedforward network with explicit backprop, no autograd. Train it on MNIST and explain every line.
[ stack · NumPy ]- ◆Single-file MLP in < 120 lines
- ◆Backprop derivation matching the code
- ◆95%+ MNIST test accuracy
- ◆Initialization + activation ablation
theory 01 · 03 · 06project 04 - 05intermediatequeued
Tiny Autograd
Build a minimal reverse-mode autodiff engine: Value class, computational graph, .backward(). Then re-use it to train the same network as project 4.
[ stack · pure Python ]- ◆Value class with +, *, **, exp, log, ReLU, tanh
- ◆Reverse-mode .backward()
- ◆Same MLP rewritten on top of it
- ◆Side-by-side gradient match with PyTorch
theory 01 · 06project 05 - 06intermediatequeued
Convolutional Network from Scratch
Code Conv2D, pooling, batch norm and a residual block by hand. Train a small ResNet on CIFAR-10.
[ stack · PyTorch (no nn.Conv2d) ]- ◆Conv2D forward + backward without im2col
- ◆BatchNorm with train/eval modes
- ◆Residual block module
- ◆60%+ CIFAR-10 with no pretrained weights
theory 06 · 07project 06 - 07capstonequeued
Mini-Transformer
Implement scaled dot-product attention, multi-head attention, a transformer block. Train a tiny language model on Tiny Shakespeare.
[ stack · PyTorch (low-level) ]- ◆Single-file decoder-only transformer
- ◆KV-cache for inference
- ◆Greedy + temperature sampling
- ◆Loss curve + generated samples
theory 06 · 07 · 08project 07 - 08capstonequeued
Build a Small GPT
Scale up the mini-transformer. Train a 10M-parameter GPT on a curated corpus and serve it locally.
[ stack · PyTorch ]- ◆BPE tokenizer from scratch
- ◆~10M-param GPT trained on a custom corpus
- ◆Inference server (FastAPI)
- ◆Eval on a small held-out suite
theory 01 · 06 · 07 · 08project 08 - 09capstonequeued
Diffusion from Scratch
Implement DDPM training and sampling. Train on a small image set and watch noise resolve into pictures.
[ stack · PyTorch ]- ◆Forward noise schedule
- ◆Small U-Net denoiser
- ◆Train on a 10k-image set
- ◆Sampling notebook with intermediate steps
theory 04 · 06 · 07 · 09project 09
> 10 · final boss · sealed
????????
??? ??? ??? ??? ??? ??? ??? ??? ??? ???. Unlocks only after the ninth capstone. We will not say more.
> frontier
Machine learning is the live route of the Intelligence galaxy, one of five on the map. The moment you understand it from the ground up, jump points open. The same structures keep reappearing elsewhere on the map.
Linear algebra→deep learning, dynamical systems, statistical physics, quantum mechanics.
Backpropagation→automatic differentiation, optimization, control, computational graphs.
Attention→information retrieval, kernel methods, graph neural networks, cognition.
Generative models→thermodynamics, information theory, statistical mechanics, language.
One galaxy at a time.
The map keeps expanding.