Every idea
- Concepts 2778
- Definitions 2634
- Statements 1926
- Conjectures 38
- Problems 54
- Examples 213
- Counterexamples 52
- Objects 99
- Proofs 10
- Computations 1
- Topics 1
Ideas 1951–2100 of 7806.
| Name | Kind | Subject |
|---|---|---|
| Cauchy's estimates | Corollary | Functions of a complex variable |
| Abelian simple groups have prime order | Proposition | Group theory and generalizations |
| Kronecker product | Definition | Linear and multilinear algebra; matrix theory |
| Combinatorics | Concept | Combinatorics |
| Cauchy's theorem | Theorem | Group theory and generalizations |
| Logical equivalence | Concept | Mathematical logic and foundations |
| Sum of subspaces | Concept | Linear and multilinear algebra; matrix theory |
| Kernel of a ring homomorphism | Concept | Associative rings and algebras |
| Sample variance | Definition | Statistics |
| Lindemann–Weierstrass theorem | Theorem | Number theory |
| Convolution theorem for the Laplace transform | Theorem | Integral transforms, operational calculus |
| Universal set | Concept | Mathematical logic and foundations |
| Fundamental theorem of algebra | Theorem | Field theory and polynomials |
| Kőnig's theorem | Theorem | Combinatorics |
| Function of several variables | Concept | Real functions |
| Subgroups of abelian groups are normal | Proposition | Group theory and generalizations |
| Central binomial coefficient | Concept | Combinatorics |
| Order of an element | Definition | Group theory and generalizations |
| Order of the general linear group over a finite field | Theorem | Group theory and generalizations |
| Alternating harmonic series | Example | Sequences, series, summability |
| Weierstrass approximation theorem | Theorem | Approximations and expansions |
| Ordered pair | Definition | Mathematical logic and foundations |
| Multiplication of natural numbers | Definition | Mathematical logic and foundations |
| Inverse Laplace transform | Definition | Integral transforms, operational calculus |
| Bernstein polynomial | Concept | Approximations and expansions |
| Legendre symbol | Concept | Number theory |
| Cardinality | Definition | Mathematical logic and foundations |
| Estimate for approximate solutions | Theorem | Ordinary differential equations |
| System of linear equations | Definition | Linear and multilinear algebra; matrix theory |
| Tychonoff's theorem | Theorem | General topology |
| Integer partition | Concept | Combinatorics |
| Gaussian elimination | Concept | Linear and multilinear algebra; matrix theory |
| Split polynomial | Concept | Field theory and polynomials |
| Vector projection | Concept | Geometry |
| Existential quantifier | Definition | Mathematical logic and foundations |
| Saddle point | Concept | Real functions |
| Minimum spanning tree | Concept | Combinatorics |
| Concyclic points | Definition | Geometry |
| An orthonormal family is linearly independent | Proposition | Linear and multilinear algebra; matrix theory |
| Divergent series | Concept | Sequences, series, summability |
| Bayesian inference | Concept | Statistics |
| L'Hôpital's rule | Theorem | Real functions |
| Sylow p-subgroup | Definition | Group theory and generalizations |
| Divergence theorem | Theorem | Real functions |
| Legendre's theorem on continued fractions | Theorem | Number theory |
| Square matrix | Concept | Linear and multilinear algebra; matrix theory |
| Lifting-the-exponent lemma | Lemma | Number theory |
| Group homomorphism | Concept | Group theory and generalizations |
| Dihedral group | Concept | Group theory and generalizations |
| Power rule | Proposition | Real functions |
| Combination | Definition | Combinatorics |
| Galois group of a polynomial | Definition | Field theory and polynomials |
| Convex set | Definition | Convex and discrete geometry |
| Laplace transform of a derivative | Proposition | Integral transforms, operational calculus |
| Upper and lower Darboux sums | Concept | Real functions |
| Path-connected space | Definition | General topology |
| Sum of a series | Definition | Sequences, series, summability |
| Distance from a point to a plane | Proposition | Geometry |
| Lipschitz functions are uniformly continuous | Proposition | Real functions |
| Determinant of a triangular matrix | Proposition | Linear and multilinear algebra; matrix theory |
| Integral of 1/x | Proposition | Real functions |
| Automorphism group | Concept | Group theory and generalizations |
| Zero divisor | Definition | Associative rings and algebras |
| Scalar multiplication of matrices | Definition | Linear and multilinear algebra; matrix theory |
| Brahmagupta–Fibonacci identity | Proposition | Number theory |
| Logarithm of a product | Proposition | Special functions |
| Singular value | Definition | Linear and multilinear algebra; matrix theory |
| Minkowski's theorem | Theorem | Number theory |
| Solving initial value problems with the Laplace transform | Concept | Integral transforms, operational calculus |
| Factor theorem | Theorem | Commutative algebra |
| Topologist's sine curve | Counterexample | General topology |
| Confidence interval | Definition | Statistics |
| Determinant of a matrix with two equal rows | Proposition | Linear and multilinear algebra; matrix theory |
| Rayleigh quotient | Definition | Linear and multilinear algebra; matrix theory |
| Homogeneous first-order equation | Definition | Ordinary differential equations |
| Differentiable function | Concept | Real functions |
| Action by left multiplication | Example | Group theory and generalizations |
| Gaussian integers | Object | Number theory |
| Matrix exponential | Definition | Linear and multilinear algebra; matrix theory |
| Complement of an open set is closed | Proposition | General topology |
| Alternating multilinear map | Concept | Linear and multilinear algebra; matrix theory |
| Young diagram | Definition | Combinatorics |
| Maclaurin series | Concept | Approximations and expansions |
| Idempotent matrix | Definition | Linear and multilinear algebra; matrix theory |
| Isolated zeros theorem | Theorem | Functions of a complex variable |
| Associativity | Concept | General algebraic systems |
| Compactness and sequential compactness agree in metric spaces | Theorem | General topology |
| Removable discontinuity | Concept | Real functions |
| Lower central series | Concept | Group theory and generalizations |
| Continuous image of a compact set is compact | Proposition | General topology |
| Parallelepiped | Definition | Geometry |
| Inverse function theorem | Theorem | Real functions |
| General Leibniz rule | Theorem | Real functions |
| Ramsey number | Concept | Combinatorics |
| Regular graph | Definition | Combinatorics |
| Determinant via the Schur complement | Theorem | Linear and multilinear algebra; matrix theory |
| Upper and lower Darboux integrals | Concept | Real functions |
| Characteristic subgroup | Concept | Group theory and generalizations |
| Sum of binomial coefficients | Theorem | Combinatorics |
| Nondegenerate bilinear form | Definition | Linear and multilinear algebra; matrix theory |
| Subgroups of cyclic groups are cyclic | Theorem | Group theory and generalizations |
| Distributive law | Theorem | Mathematical logic and foundations |
| Covariance | Concept | Probability theory and stochastic processes |
| Reduced word | Concept | Group theory and generalizations |
| Bernoulli number | Concept | Number theory |
| Stirling's formula | Theorem | Approximations and expansions |
| Wronskian | Concept | Ordinary differential equations |
| Idempotent matrix | Concept | Linear and multilinear algebra; matrix theory |
| Basis | Concept | Linear and multilinear algebra; matrix theory |
| Venn diagram | Concept | Mathematical logic and foundations |
| Fundamental solution of Pell's equation | Definition | Number theory |
| Vertex cover | Definition | Combinatorics |
| Bolzano–Weierstrass theorem | Theorem | Sequences, series, summability |
| Exponential generating function | Definition | Combinatorics |
| Classification of Pythagorean triples | Theorem | Number theory |
| Directed graph | Concept | Combinatorics |
| The alternating group is generated by three-cycles | Proposition | Group theory and generalizations |
| Norm induced by an inner product | Definition | Functional analysis |
| Dirichlet convolution | Definition | Number theory |
| Posterior probability | Concept | Statistics |
| Affine combination | Concept | Geometry |
| A polynomial over a field has at most as many roots as its degree | Theorem | Field theory and polynomials |
| One-sided limits of a monotone function exist | Theorem | Real functions |
| Primitive root modulo n | Definition | Number theory |
| Hausdorff maximal principle | Theorem | Mathematical logic and foundations |
| Fixed field | Definition | Field theory and polynomials |
| Determinant of a linear map is the determinant of its matrix | Proposition | Linear and multilinear algebra; matrix theory |
| Strong induction | Theorem | Mathematical logic and foundations |
| Monotone sequence | Definition | Sequences, series, summability |
| Ring isomorphism | Concept | Associative rings and algebras |
| The exponential function is strictly increasing | Proposition | Special functions |
| Restriction of an endomorphism to an invariant subspace | Concept | Linear and multilinear algebra; matrix theory |
| Ceva's theorem | Theorem | Geometry |
| Maximum degree | Definition | Combinatorics |
| p-norm on R^n | Example | Functional analysis |
| Homogeneous linear equation | Concept | Ordinary differential equations |
| Dirac delta function | Object | Functional analysis |
| Signature of a quadratic form | Definition | Linear and multilinear algebra; matrix theory |
| Stationary distribution | Concept | Probability theory and stochastic processes |
| Continuity at a point | Concept | General topology |
| Symmetric bilinear form associated with a quadratic form | Concept | Linear and multilinear algebra; matrix theory |
| Degree of a vertex | Concept | Combinatorics |
| Nowhere dense set | Definition | General topology |
| Equivalence relation induced by a function | Concept | Mathematical logic and foundations |
| Jordan measure | Concept | Measure and integration |
| Free group | Concept | Group theory and generalizations |
| Cyclic group | Concept | Group theory and generalizations |
| Variance under scaling | Proposition | Probability theory and stochastic processes |
| Modulus of a complex number | Definition | Functions of a complex variable |
| Diameter of a set | Concept | General topology |