Nodes at W0, stub
A tag, a kind, a name, an inventory row, and a same_as or a source.
- W0 stub 6044
- W1 stated 1702
- W2 usable 60
- W3 complete 0
Ideas 751–900 of 6044.
| Name | Kind | Subject |
|---|---|---|
| Joint probability distribution | Concept | Statistics |
| Inequality of arithmetic and geometric means | Theorem | Real functions |
| The rationals are countable | Theorem | Mathematical logic and foundations |
| Definition by recursion | Concept | Mathematical logic and foundations |
| Transvection | Concept | Linear and multilinear algebra; matrix theory |
| Conjugate elements | Concept | Group theory and generalizations |
| Stone's representation theorem for finite Boolean algebras | Theorem | Order, lattices, ordered algebraic structures |
| Irrationality of the square root of 2 | Theorem | Number theory |
| Length of a vector | Definition | Geometry |
| Number of nth roots of unity | Theorem | Number theory |
| Primitive root theorem | Theorem | Number theory |
| Square root function | Concept | Real functions |
| Euclidean metric | Example | Geometry |
| Complete residue system | Definition | Number theory |
| Orbit-stabiliser theorem | Theorem | Group theory and generalizations |
| Dimension of the orthogonal complement | Corollary | Linear and multilinear algebra; matrix theory |
| Polynomial of an endomorphism | Concept | Linear and multilinear algebra; matrix theory |
| Algebra of endomorphisms | Object | Linear and multilinear algebra; matrix theory |
| Base rate fallacy | Example | Statistics |
| Blow-up in finite time | Example | Ordinary differential equations |
| Directrix | Concept | Geometry |
| Convergents converge to the number | Theorem | Number theory |
| Fermat's Last Theorem for n = 4 | Theorem | Number theory |
| Exponential of a sum | Theorem | Special functions |
| Independence of two random variables | Definition | Probability theory and stochastic processes |
| Harmonic series diverges | Theorem | Sequences, series, summability |
| Chain rule in several variables | Theorem | Real functions |
| Trigonometric substitution | Concept | Real functions |
| A composite number has a prime factor at most its square root | Proposition | Number theory |
| Probability-generating function | Concept | Probability theory and stochastic processes |
| A finite integral domain is a field | Theorem | Commutative algebra |
| The multiplicative group of a finite field is cyclic | Corollary | Field theory and polynomials |
| Interval of convergence | Concept | Functions of a complex variable |
| Counterexample | Concept | General and overarching topics |
| Existence of the infimum | Theorem | Real functions |
| Rule of sum | Theorem | Combinatorics |
| Continuity at a point | Definition | Real functions |
| Refinement of a partition | Definition | Real functions |
| Proof by infinite descent | Concept | Number theory |
| Formal derivative | Concept | Commutative algebra |
| Primitive root of unity | Concept | Number theory |
| Universal property of the abelianisation | Theorem | Group theory and generalizations |
| Epsilon-delta continuity in metric spaces | Proposition | General topology |
| Existence of nontrivial solutions of Pell's equation | Theorem | Number theory |
| Inverse in terms of the adjugate | Corollary | Linear and multilinear algebra; matrix theory |
| Continuous image of a connected set is connected | Proposition | General topology |
| Convergence in probability implies convergence in distribution | Theorem | Probability theory and stochastic processes |
| Constrained optimisation | Concept | Operations research, mathematical programming |
| Homogeneous linear equation | Definition | Ordinary differential equations |
| Divisibility by 9 | Proposition | Number theory |
| Existence of an algebraic closure | Theorem | Field theory and polynomials |
| Domain in the complex plane | Concept | Functions of a complex variable |
| Impossibility of trisecting the angle | Theorem | Field theory and polynomials |
| The exponential function is its own derivative | Theorem | Special functions |
| Iterated derivative | Definition | Real functions |
| 68–95–99.7 rule | Example | Probability theory and stochastic processes |
| x sin(1/x) is continuous at 0 | Example | Real functions |
| Cauchy's integral formula for derivatives | Theorem | Functions of a complex variable |
| Set bounded above | Concept | Order, lattices, ordered algebraic structures |
| Prime elements are irreducible in an integral domain | Proposition | Commutative algebra |
| Closed and exact forms | Definition | Global analysis, analysis on manifolds |
| Conditional variance | Definition | Probability theory and stochastic processes |
| Row echelon form | Definition | Linear and multilinear algebra; matrix theory |
| Riemann integrable function | Concept | Real functions |
| Superposition principle | Proposition | Ordinary differential equations |
| Iterated derivative | Concept | Real functions |
| Bounded linear maps are continuous | Theorem | Operator theory |
| Derivative vanishes at a local extremum | Theorem | Real functions |
| Divisors of a natural number | Concept | Number theory |
| Quadratic integer | Concept | Number theory |
| Divergence of a curl is zero | Proposition | Real functions |
| g to the n equals 1 iff the order divides n | Proposition | Group theory and generalizations |
| Order on the integers | Definition | Order, lattices, ordered algebraic structures |
| Greatest common divisor in an integral domain | Definition | Commutative algebra |
| Convolution of probability distributions | Concept | Probability theory and stochastic processes |
| Double counting | Concept | Combinatorics |
| Circumcentre | Concept | Geometry |
| Absolutely convergent improper integral | Concept | Sequences, series, summability |
| Closed subsets of complete spaces are complete | Proposition | General topology |
| Evaluation homomorphism | Concept | Commutative algebra |
| Divisors of a natural number | Definition | Number theory |
| The gamma function extends the factorial | Theorem | Special functions |
| Reachability | Concept | Combinatorics |
| A subgroup whose index is the smallest prime divisor of the order is normal | Theorem | Group theory and generalizations |
| e as the limit of (1 + 1/n)^n | Proposition | Real functions |
| Twin prime conjecture | Conjecture | Number theory |
| Universal property of the quotient topology | Theorem | General topology |
| Construction of the rationals as fractions | Concept | Commutative algebra |
| Preimage of a set | Definition | Mathematical logic and foundations |
| The reals form a field | Theorem | Field theory and polynomials |
| Characterization of bridges | Theorem | Combinatorics |
| Epsilon-delta uniform continuity | Proposition | General topology |
| Group of units of a monoid | Concept | Group theory and generalizations |
| Chromatic number of a complete bipartite graph | Proposition | Combinatorics |
| Maximum degree | Concept | Combinatorics |
| Triangle inequality for norms | Proposition | Functional analysis |
| Simultaneous diagonalisation | Theorem | Linear and multilinear algebra; matrix theory |
| Even and odd functions | Concept | Real functions |
| Reduced word | Definition | Group theory and generalizations |
| Convergence of random variables | Concept | Probability theory and stochastic processes |
| Sequential compactness | Concept | General topology |
| The complex numbers form a field | Theorem | Field theory and polynomials |
| Grönwall bound | Definition | Ordinary differential equations |
| Trace is a coefficient of the characteristic polynomial | Proposition | Linear and multilinear algebra; matrix theory |
| Infinite pigeonhole principle | Theorem | Combinatorics |
| Determinant of a matrix with a zero row | Proposition | Linear and multilinear algebra; matrix theory |
| Reversing a path changes the sign of a line integral | Proposition | Real functions |
| Multiplicativity of the totient function | Theorem | Number theory |
| Transposition | Concept | Group theory and generalizations |
| Algebraic multiplicity | Concept | Linear and multilinear algebra; matrix theory |
| Cyclic group of order n | Example | Group theory and generalizations |
| Transcendence of pi | Theorem | Number theory |
| Eigenspace | Concept | Linear and multilinear algebra; matrix theory |
| Galton–Watson process | Concept | Probability theory and stochastic processes |
| The complex exponential is entire | Proposition | Special functions |
| Continuous dependence on initial data | Theorem | Ordinary differential equations |
| Automorphism group of a cyclic group | Theorem | Group theory and generalizations |
| Sum of the reciprocals of the factorials | Example | Sequences, series, summability |
| Completion of a metric space | Definition | General topology |
| Oriented angle | Definition | Geometry |
| Equilibrium point | Definition | Ordinary differential equations |
| Derivative of the inverse function | Proposition | Real functions |
| Cauchy sequences are bounded | Proposition | Sequences, series, summability |
| Vector projection | Definition | Geometry |
| Parametrised curve | Concept | Differential geometry |
| Uniqueness of the complete ordered field | Theorem | Field theory and polynomials |
| Inscribed angle theorem | Theorem | Geometry |
| Derivative of arcsine | Proposition | Special functions |
| Fibonacci sequence | Example | Number theory |
| Independence of two random variables | Concept | Probability theory and stochastic processes |
| Epsilon-delta definition of a limit | Proposition | Real functions |
| Mutual independence of events | Definition | Probability theory and stochastic processes |
| Normal core | Concept | Group theory and generalizations |
| Induction from an arbitrary base case | Theorem | Mathematical logic and foundations |
| Subfield | Concept | Field theory and polynomials |
| Forest | Concept | Combinatorics |
| General solution of an inhomogeneous linear equation | Theorem | Ordinary differential equations |
| Polynomial evaluation | Definition | Commutative algebra |
| Universal property of the quotient group | Theorem | Group theory and generalizations |
| Angle at a point | Concept | Geometry |
| Cancellation in an integral domain | Proposition | Commutative algebra |
| Trace is linear | Proposition | Linear and multilinear algebra; matrix theory |
| Addition formulas for hyperbolic functions | Proposition | Special functions |
| Function for which the iterated integrals differ | Counterexample | Real functions |
| Solution space of a homogeneous linear equation has dimension n | Theorem | Ordinary differential equations |
| The alternating group A5 is simple | Example | Group theory and generalizations |
| Absolute value is multiplicative | Proposition | Real functions |
| Nilpotent groups are solvable | Proposition | Group theory and generalizations |
| Chain | Definition | Order, lattices, ordered algebraic structures |
| Complete residue system | Concept | Number theory |