Every idea
- Concepts 7386
- Definitions 7188
- Statements 3950
- Conjectures 117
- Problems 256
- Examples 672
- Counterexamples 88
- Objects 168
- Proofs 11
- Computations 1
- Topics 1
Ideas 17701–17850 of 19838.
| Name | Kind | Subject |
|---|---|---|
| IP = PSPACE | Theorem | Computer science |
| Intermittency | Concept | Dynamical systems and ergodic theory |
| Finite-state machine | Definition | Computer science |
| Fine topology | Concept | Potential theory |
| Dunford–Pettis property | Definition | Functional analysis |
| Gelfand pair | Concept | Abstract harmonic analysis |
| Exceptional collection | Definition | Algebraic geometry |
| Consistency of summability methods | Concept | Sequences, series, summability |
| Hilbert–Schmidt operator | Concept | Operator theory |
| Dandelin spheres | Concept | Geometry |
| Plateau–Rayleigh instability | Definition | Fluid mechanics |
| Weyl equation | Concept | Quantum theory |
| Zero dynamics | Concept | Systems theory; control |
| Robin constant | Concept | Potential theory |
| Conjugate variables | Definition | Classical thermodynamics, heat transfer |
| Conformal bootstrap | Definition | Quantum theory |
| Chern character isomorphism | Theorem | K-theory |
| Riesz transform | Definition | Harmonic analysis on Euclidean spaces |
| Matrix norm | Definition | Linear and multilinear algebra; matrix theory |
| Fundamental theorem of affine geometry | Theorem | Geometry |
| Mathematical optimization | Concept | Operations research, mathematical programming |
| Jacobi elliptic functions | Definition | Special functions |
| Elementary theory of the category of sets | Concept | Category theory; homological algebra |
| Proof of Lagrange's theorem | Proof | Group theory and generalizations |
| Coherent ring | Concept | Commutative algebra |
| Fixed point | Definition | Dynamical systems and ergodic theory |
| Class | Definition | Mathematical logic and foundations |
| Elliott classification program | Concept | Functional analysis |
| Jakobson's theorem | Theorem | Dynamical systems and ergodic theory |
| Elliptic operator on a compact manifold | Definition | Global analysis, analysis on manifolds |
| Gersten complex | Concept | K-theory |
| Cellular homology | Concept | Algebraic topology |
| Schmidt's singular value decomposition of a kernel | Theorem | Integral equations |
| Nambu–Goto action | Concept | Quantum theory |
| Monte Carlo method | Definition | Numerical analysis |
| Normal complex space | Definition | Several complex variables and analytic spaces |
| Barotropic vorticity equation | Concept | Fluid mechanics |
| Split exact sequence | Definition | Category theory; homological algebra |
| Reeb foliation | Example | Manifolds and cell complexes |
| Packing measure | Concept | Measure and integration |
| Lusternik–Schnirelmann category | Concept | Algebraic topology |
| Balog–Szemerédi–Gowers theorem | Theorem | Number theory |
| Canonical module | Concept | Commutative algebra |
| Symplectic vector space | Definition | Linear and multilinear algebra; matrix theory |
| Isospectral manifolds | Definition | Global analysis, analysis on manifolds |
| Vorticity equation | Concept | Fluid mechanics |
| Zero-dimensional space | Definition | General topology |
| Natural duality | Concept | General algebraic systems |
| Cofibration | Concept | Algebraic topology |
| Horton's laws of stream networks | Fact | Geophysics |
| Submultiplicative function | Definition | Difference and functional equations |
| Existence of transcendence bases | Theorem | Field theory and polynomials |
| Tidal locking | Fact | Mechanics of particles and systems |
| Deterministic finite automaton | Concept | Computer science |
| GENERIC formalism | Concept | Statistical mechanics, structure of matter |
| Five lemma | Lemma | Category theory; homological algebra |
| Euler summation | Definition | Sequences, series, summability |
| Shannon entropy | Definition | Information and communication theory, circuits |
| Homogeneous integral equation | Concept | Integral equations |
| Tennenbaum's theorem | Theorem | Mathematical logic and foundations |
| G-signature theorem | Theorem | Global analysis, analysis on manifolds |
| Hypsometric equation | Proposition | Geophysics |
| Kummer's equation | Definition | Special functions |
| Prüfer domain | Definition | Commutative algebra |
| Turing machine | Definition | Mathematical logic and foundations |
| Meromorphic function of several variables | Concept | Several complex variables and analytic spaces |
| d'Alembert's equation | Example | Ordinary differential equations |
| Composition operator | Definition | Operator theory |
| Quaternion-Kähler manifold | Definition | Differential geometry |
| Edit distance | Concept | Computer science |
| Schrödinger operator | Definition | Ordinary differential equations |
| Caccioppoli set | Concept | Calculus of variations and optimal control; optimization |
| Cerf theory | Concept | Manifolds and cell complexes |
| Kellogg–Evans theorem | Theorem | Potential theory |
| Parity is not in AC0 | Theorem | Computer science |
| Chow group | Definition | Algebraic geometry |
| Legendre's equation | Example | Ordinary differential equations |
| Airfoil equation | Example | Integral equations |
| Sequent calculus | Concept | Mathematical logic and foundations |
| Bose gas | Example | Statistical mechanics, structure of matter |
| Distance measures in cosmology | Definition | Relativity and gravitational theory |
| Lyndon's nonfinitely based algebra | Counterexample | General algebraic systems |
| Binary symmetric channel | Example | Information and communication theory, circuits |
| Dirichlet-to-Neumann operator | Concept | Partial differential equations |
| Centipede game | Example | Game theory, economics, finance, and other social and behavioral sciences |
| Conjugate beam method | Definition | Mechanics of deformable solids |
| Solvable Lie algebra | Concept | Nonassociative rings and algebras |
| Neumann solution of the Stefan problem | Proposition | Classical thermodynamics, heat transfer |
| Neural network approximation | Concept | Approximations and expansions |
| Celestial sphere | Concept | Astronomy and astrophysics |
| Matrix function | Concept | Linear and multilinear algebra; matrix theory |
| K2 of a field | Example | K-theory |
| Unary operation | Definition | General algebraic systems |
| Baum–Welch algorithm | Concept | Statistics |
| Eichler order | Concept | Number theory |
| MUSCL scheme | Concept | Numerical analysis |
| Stiefel manifold | Example | Algebraic topology |
| K2 of a ring | Concept | K-theory |
| Sturm comparison theorem | Theorem | Ordinary differential equations |
| Limiting subdifferential | Concept | Calculus of variations and optimal control; optimization |
| Epsilon-NFA | Concept | Computer science |
| Universal algebra | Concept | General algebraic systems |
| Finite lattice representation problem | Problem | Order, lattices, ordered algebraic structures |
| Tensor rank | Concept | Linear and multilinear algebra; matrix theory |
| Dehn twist | Concept | Manifolds and cell complexes |
| Linear extension | Concept | Order, lattices, ordered algebraic structures |
| False discovery rate and the Benjamini–Hochberg procedure | Definition | Statistics |
| Tension field | Concept | Global analysis, analysis on manifolds |
| Nemytskii operator | Concept | Operator theory |
| Lambert summation | Concept | Sequences, series, summability |
| Impossibility of the classical construction problems | Theorem | Field theory and polynomials |
| Quantum information | Definition | Quantum theory |
| H-representation and V-representation | Concept | Convex and discrete geometry |
| Prime ideals of a localization | Proposition | Commutative algebra |
| Particle filter | Definition | Statistics |
| Free Lie algebra | Definition | Nonassociative rings and algebras |
| Lattice gas | Example | Statistical mechanics, structure of matter |
| Sinai–Ruelle–Bowen measure | Definition | Dynamical systems and ergodic theory |
| Hypergeometric differential equation | Concept | Special functions |
| Divide and choose | Definition | Game theory, economics, finance, and other social and behavioral sciences |
| Weak derivative | Definition | Functional analysis |
| Tube lemma | Lemma | General topology |
| Term operation | Definition | General algebraic systems |
| Rees algebra | Concept | Commutative algebra |
| Frobenius method | Concept | Ordinary differential equations |
| Stein equation | Definition | Linear and multilinear algebra; matrix theory |
| Completely distributive lattice | Definition | Order, lattices, ordered algebraic structures |
| Hamiltonian vector field | Definition | Differential geometry |
| Free-fall time | Definition | Astronomy and astrophysics |
| Enumerative geometry | Definition | Algebraic geometry |
| Besicovitch set of measure zero | Example | Measure and integration |
| Kaplan–Meier estimator | Definition | Statistics |
| Stopping time | Definition | Probability theory and stochastic processes |
| Nielsen–Schreier theorem | Theorem | Group theory and generalizations |
| Newton–Cotes formulas | Definition | Numerical analysis |
| Néron model | Definition | Algebraic geometry |
| Sets of capacity zero | Concept | Potential theory |
| End and coend | Concept | Category theory; homological algebra |
| Laplacian on the Sierpiński gasket | Example | Potential theory |
| Geometric graph | Definition | Combinatorics |
| Cantor space | Object | General topology |
| Hill equation | Concept | Biology and other natural sciences |
| Kelvin transform | Concept | Potential theory |
| Sieve | Definition | Category theory; homological algebra |
| Reinhardt domain | Concept | Several complex variables and analytic spaces |
| Differential dynamic programming | Definition | Calculus of variations and optimal control; optimization |
| de Rham cohomology | Definition | Global analysis, analysis on manifolds |
| Fully faithful essentially surjective functor is an equivalence | Theorem | Category theory; homological algebra |
| Sidon set | Definition | Number theory |
| Classifying space of a group | Concept | Algebraic topology |