Reference library
Foundations
Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.
More filters
Reference entries
Showing 151–180 of 1709 reference entries
Differentiability means a linear approximation with smaller-order error.
DefinitionMathematics & logicDouble integrals on simple regionsA continuous double integral can be evaluated by slicing.
Mathematical statementMathematics & logicGradient, divergence and curlThese coordinate derivatives have different input and output types.
DefinitionMathematics & logicStokes' circulation theoremCirculation around a boundary equals oriented curl flux.
Mathematical statementMathematics & logicDivergence theoremOutward boundary flux equals integrated divergence.
Mathematical statementMathematics & logicLocal existence and uniqueness for autonomous ODEsLocal Lipschitz continuity ensures one local trajectory.
Mathematical statementMathematics & logicConstant-coefficient linear ODE systemsThe matrix exponential solves a finite linear system.
Mathematical statementMathematics & logicLaplace, heat and wave equation problemsA PDE becomes a solution problem only with a domain and data.
ModelMathematics & logicRandom variables and probability distributionsA distribution assigns probabilities to a random variable's values.
DefinitionMathematics & logicNormal distributionA normal model is specified by location and positive scale.
DefinitionMathematics & logicBinomial and Poisson count modelsDifferent count mechanisms require different distributions.
DefinitionMathematics & logicWeak law of large numbersA sample mean concentrates near its mean under stated assumptions.
Mathematical statementMathematics & logicClassical iid central limit theoremCentered sample averages have an asymptotic normal law.
Mathematical statementMathematics & logicConditional masses and densitiesA conditional distribution renormalizes a joint law.
DefinitionMathematics & logicLikelihood and Bayesian updatingLikelihood is a function of a parameter given observed data.
MethodMathematics & logicNull tests, significance and p-valuesA p-value is calibrated under a specified null model.
MethodMathematics & logicSampling, randomization and confoundingSelection and treatment assignment answer different questions.
MethodMathematics & logicPermutation inference under exchangeabilityDistribution-free procedures still require assumptions.
MethodInformationFinite-alphabet mutual informationMutual information measures statistical dependence in bits.
DefinitionInformationNear-lossless source coding thresholdEntropy bounds asymptotic compression for an iid source.
Mathematical statementInformationDiscrete memoryless channel capacityCapacity is the maximal asymptotically reliable rate.
Mathematical statementInformationHamming distance and error correctionSeparated codewords permit bounded symbol-error recovery.
Mathematical statementInformationInternet protocol layersProtocol layers divide communication responsibilities.
DefinitionInformationTCP reliable byte-stream transportTCP orders bytes and retransmits detected losses.
MethodInformationEncryption, hashes and message authenticationCryptographic primitives serve distinct security properties.
DefinitionInformationPublic-key digital signaturesA signing key and a verification key have different roles.
DefinitionInformationComputable reductions and undecidabilityReduction direction determines which impossibility transfers.
Mathematical statementInformationDecision classes P and NPPolynomial solving and polynomial verification differ.
DefinitionInformationNP-hardness and NP-completenessNP-completeness combines verification and reduction hardness.
DefinitionInformationBounded-error randomized computationRandom choices permit a stated probability of error.
Definition