THE LANGUAGE OF DISCOVERY

Human Formulas

Write knowledge into formulas and read formulas into understanding.

37subject categories 148included formulas All free access

continues to expand for all disciplines. The current index is a selection of basic and commonly used models, not an exhaustive list of human knowledge; formulas are not used to replace applicable conditions.

found 148formulas · currently displayed 24Articles Explanation · Unit · Applicable conditions
Algebra & Number Theory

Binomial Theorem

(a+b)n=∑k=0n(nk)an−kbk(a+b)^n=\sum_{k=0}^{n}\binom{n}{k}a^{n-k}b^k

Expands binomial sums raised to integer powers into finite sums.

View formula explanation
Algebra & Number Theory

Euler’s Theorem

aφ(n)≡1(modn)a^{\varphi(n)}\equiv1\pmod n

An integer that is relatively prime to the modulus, and its power has a periodic structure in the modular sense.

View formula explanation
Calculus & Analysis

derivative definition

f′(x)=lim⁡h→0f(x+h)−f(x)hf'(x)=\lim_{h\to0}\frac{f(x+h)-f(x)}{h}

describes the instantaneous rate of change with the limit of the local difference quotient.

View formula explanation
Calculus & Analysis

chain rule The

ddxf(g(x))=f′(g(x))g′(x)\frac{d}{dx}f(g(x))=f'(g(x))g'(x)

composite function is equal to the product of the local change rates of each layer.

View formula explanation
Calculus & Analysis

Division points

∫abuv′ dx=[uv]ab−∫abu′v dx\int_a^b u v'\,dx=[uv]_a^b-\int_a^b u'v\,dx

rewrites the product differential rule into an integral calculation method.

View formula explanation
Linear Algebra

linear least squares

β^=(XTX)−1XTy\hat\beta=(X^{T}X)^{-1}X^{T}y

Find the coefficient that minimizes the sum of the squared errors of the predicted value and the observed value.

View formula explanation
Geometry & Topology

plane curve curvature

κ=∣x′y′′−y′x′′∣(x′2+y′2)3/2\kappa=\frac{\lvert x'y''-y'x''\rvert}{(x'^2+y'^2)^{3/2}}

quantifies the degree of local curvature of the parameter curve.

View formula explanation
Statistics

Pearson correlation coefficient

r=∑i(xi−xˉ)(yi−yˉ)∑i(xi−xˉ)2∑i(yi−yˉ)2r=\frac{\sum_i(x_i-\bar x)(y_i-\bar y)}{\sqrt{\sum_i(x_i-\bar x)^2\sum_i(y_i-\bar y)^2}}

measures the linear association between two sets of paired data.

View formula explanation

Browse the full catalog by subject

Each subject has an independent directory, and each formula has shareable permanent links, symbol explanations and reference materials.