Every idea
- Concepts 8057
- Definitions 7188
- Statements 4256
- Conjectures 119
- Problems 259
- Examples 672
- Counterexamples 88
- Objects 168
- Proofs 1030
- Computations 1
- Topics 1
Ideas 20251–20400 of 21839.
| Name | Kind | Subject |
|---|---|---|
| Knuth–Morris–Pratt algorithm | Definition | Computer science |
| Effective resistance | Concept | Potential theory |
| Hodge conjecture | Conjecture | Algebraic geometry |
| Metamaterial cloaking | Concept | Optics, electromagnetic theory |
| Beilinson regulator | Definition | K-theory |
| Pauli matrices | Object | Quantum theory |
| Inverse limit | Definition | Category theory; homological algebra |
| Quasi-Monte Carlo method | Definition | Numerical analysis |
| Khovanov homology | Concept | Manifolds and cell complexes |
| Extraction sums of squared loadings | Concept | |
| Pseudo-spectral method | Concept | Numerical analysis |
| Strong gravitational lensing | Definition | Astronomy and astrophysics |
| CAT(0) group | Concept | Group theory and generalizations |
| Accessibility relation | Concept | |
| Schnirelmann density | Definition | Number theory |
| Bezoutic | Concept | |
| Cotlar–Stein lemma | Lemma | Harmonic analysis on Euclidean spaces |
| Lindelöf's theorem | Theorem | Functions of a complex variable |
| Euler–Poisson equation for higher derivatives | Concept | Calculus of variations and optimal control; optimization |
| Incomplete LU factorization | Concept | Numerical analysis |
| J-homomorphism | Definition | Algebraic topology |
| Thermal conductivity | Concept | Classical thermodynamics, heat transfer |
| Laplace–Runge–Lenz vector | Definition | Mechanics of particles and systems |
| Receiver function | Concept | Geophysics |
| Index map | Concept | Functional analysis |
| Negation consistency | Concept | |
| Harmonic space | Definition | Potential theory |
| Associated graded ring | Definition | Commutative algebra |
| Proof of Cantor's theorem by the diagonal argument | Proof | Mathematical logic and foundations |
| Local martingale | Concept | Probability theory and stochastic processes |
| Kovacic's algorithm | Concept | Ordinary differential equations |
| Nuclear space | Concept | Functional analysis |
| Gromoll–Meyer theorem on closed geodesics | Theorem | Global analysis, analysis on manifolds |
| Prime ring | Definition | Associative rings and algebras |
| A linearly independent set in R^m has at most m vectors | Proposition | Linear and multilinear algebra; matrix theory |
| Proof that binary trees are counted by Catalan numbers | Proof | Combinatorics |
| Classification of simple Lie algebras | Theorem | Nonassociative rings and algebras |
| Probit model | Concept | Statistics |
| Bühlmann model | Definition | Game theory, economics, finance, and other social and behavioral sciences |
| Blocking | Concept | Statistics |
| Quicksort | Definition | Computer science |
| Model order reduction | Definition | Systems theory; control |
| Primal algebra | Concept | General algebraic systems |
| A subgroup of order two in S3 is not normal | Example | Group theory and generalizations |
| Unary algebra | Concept | General algebraic systems |
| Watterson estimator | Concept | Statistics |
| Karnaugh map | Definition | Information and communication theory, circuits |
| Work hardening | Concept | Mechanics of deformable solids |
| Affine plane | Definition | Geometry |
| Biconditional elimination | Concept | |
| Simple Lie algebra | Concept | Nonassociative rings and algebras |
| Fubini's theorem on differentiation | Theorem | Real functions |
| Metric outer measure | Definition | Measure and integration |
| Harmonic polynomial | Definition | Potential theory |
| Branch point | Definition | Functions of a complex variable |
| Square root of a positive operator | Definition | Operator theory |
| Nagata ring | Definition | Commutative algebra |
| Taylor–von Neumann–Sedov blast wave | Example | Fluid mechanics |
| Brauer–Manin obstruction | Concept | Algebraic geometry |
| Proof of the product rule in several variables | Proof | Real functions |
| Fox–Wright function | Concept | Special functions |
| Section of a vector bundle | Definition | Algebraic topology |
| Face lattice | Example | Convex and discrete geometry |
| Robin boundary condition for convective cooling | Concept | Classical thermodynamics, heat transfer |
| Lebesgue–Stieltjes measure | Definition | Measure and integration |
| Faddeeva function | Definition | Special functions |
| Modulation space | Definition | Harmonic analysis on Euclidean spaces |
| Jucys–Murphy element | Concept | |
| Gauss–Laguerre quadrature | Theorem | Numerical analysis |
| Criss-cross algorithm | Concept | Operations research, mathematical programming |
| Four-dimensional variational assimilation | Definition | Geophysics |
| Square root of a matrix | Definition | Linear and multilinear algebra; matrix theory |
| Best approximation | Definition | Approximations and expansions |
| Asymptotic scale | Concept | Approximations and expansions |
| Yield surface | Definition | Mechanics of deformable solids |
| Anticommutative algebra | Definition | Nonassociative rings and algebras |
| Siegel–Walfisz theorem | Theorem | Number theory |
| F-sigma set | Definition | General topology |
| Brown–Douglas–Fillmore theory | Definition | K-theory |
| Leech lattice | Object | Number theory |
| Filippov's existence theorem | Theorem | Calculus of variations and optimal control; optimization |
| Proof of the Chevalley–Warning theorem | Proof | Number theory |
| Adjoint integral equation | Concept | Integral equations |
| Kirchberg–Phillips classification theorem | Theorem | Functional analysis |
| Elastic metamaterial | Definition | Mechanics of deformable solids |
| Ore's conjecture | Proposition | |
| Proof of the vector calculus identities | Proof | Real functions |
| Plus construction | Concept | K-theory |
| Kontorovich–Lebedev transform | Concept | Integral transforms, operational calculus |
| Superalgebra | Definition | Nonassociative rings and algebras |
| Continuous q-Hermite polynomials | Concept | Special functions |
| Amenable semigroup | Definition | Abstract harmonic analysis |
| Sturmian word | Example | Computer science |
| Compressibility | Definition | Classical thermodynamics, heat transfer |
| Naive set theory | Concept | Mathematical logic and foundations |
| Hadamard's two-constants theorem | Theorem | Functions of a complex variable |
| Colimit | Definition | Category theory; homological algebra |
| Cartan–Kähler theorem | Theorem | Global analysis, analysis on manifolds |
| Regular semigroup | Concept | Group theory and generalizations |
| Stability conjecture | Theorem | Dynamical systems and ergodic theory |
| Plateau–Rayleigh instability | Concept | Fluid mechanics |
| Colombeau algebra | Concept | Functional analysis |
| Strengthened version of Van Kampen's lemma | Lemma | |
| Analytic combinatorics | Definition | Combinatorics |
| Kähler manifold | Definition | Several complex variables and analytic spaces |
| Preconditioner | Definition | Numerical analysis |
| Cluster expansion | Concept | Statistical mechanics, structure of matter |
| Einstein static universe | Example | Relativity and gravitational theory |
| Elliptic cohomology | Concept | Algebraic topology |
| Train track | Concept | Manifolds and cell complexes |
| Moreau envelope | Definition | Operations research, mathematical programming |
| Repeated game | Concept | Game theory, economics, finance, and other social and behavioral sciences |
| Geometric realization | Definition | Algebraic topology |
| Johnson's rule | Theorem | Operations research, mathematical programming |
| Linear matrix inequality | Concept | Linear and multilinear algebra; matrix theory |
| Noether's theorem | Theorem | Mechanics of particles and systems |
| Proof of the comparability of cardinals from Zorn's lemma | Proof | Mathematical logic and foundations |
| Skorokhod's embedding theorem | Theorem | Probability theory and stochastic processes |
| Beckman–Quarles theorem | Theorem | Geometry |
| Decay of Fourier coefficients and smoothness | Theorem | Harmonic analysis on Euclidean spaces |
| Interacting particle system | Definition | Probability theory and stochastic processes |
| Polyharmonic spline | Concept | Approximations and expansions |
| Separated morphism | Definition | Algebraic geometry |
| Landau theory | Concept | Statistical mechanics, structure of matter |
| Proof of the divisibility rule for 3 | Proof | Number theory |
| Normal fan | Concept | Convex and discrete geometry |
| Cryptographic hash function | Concept | Information and communication theory, circuits |
| Gleason–Yamabe theorem | Theorem | Topological groups, Lie groups |
| Chapman–Ferraro problem | Problem | Geophysics |
| Proof that a set is open if and only if its complement is closed | Proof | General topology |
| Weak mathematical induction | Concept | |
| Algebraic curve | Concept | Algebraic geometry |
| Curvelet | Definition | Harmonic analysis on Euclidean spaces |
| p-Laplacian | Concept | Partial differential equations |
| Geometric phase | Definition | Quantum theory |
| Inclusion–exclusion formula for elements with none of the properties | Theorem | Combinatorics |
| Eilenberg–MacLane spectrum | Object | Algebraic topology |
| Travelling salesman problem | Problem | Operations research, mathematical programming |
| Semisimple Lie group | Concept | Topological groups, Lie groups |
| Harmony | Concept | |
| Mellin inversion theorem | Theorem | Integral transforms, operational calculus |
| Abelian algebra | Definition | General algebraic systems |
| Kleene–Brouwer order | Concept | |
| Best response | Definition | Game theory, economics, finance, and other social and behavioral sciences |
| Frobenius's theorem on Frobenius kernels | Theorem | Group theory and generalizations |
| Generalized least squares | Definition | Statistics |
| Hilbert scheme | Object | Algebraic geometry |
| Galois insertion | Definition | Order, lattices, ordered algebraic structures |
| Existence predicate | Concept | |
| Szász–Mirakyan operator | Definition | Approximations and expansions |