Every idea
- Concepts 8378
- Definitions 7188
- Statements 4324
- Conjectures 139
- Problems 268
- Examples 672
- Counterexamples 88
- Objects 168
- Proofs 1036
- Computations 1
- Topics 1
Ideas 22051–22200 of 22263.
| Name | Kind | Subject |
|---|---|---|
| Grauert's direct image theorem | Theorem | Several complex variables and analytic spaces |
| Hilbert transform of sinusoids | Example | Integral transforms, operational calculus |
| Proof that the exponential function is strictly convex | Proof | Real functions |
| Fourier transform of the Gaussian | Proposition | Harmonic analysis on Euclidean spaces |
| Addition and multiplication of rationals respect equality | Theorem | Number theory |
| Finite-dimensional Hausdorff vector topologies are Euclidean | Theorem | Functional analysis |
| Moment tensor | Concept | Geophysics |
| Proof of the law of excluded middle by a truth table | Proof | Mathematical logic and foundations |
| Hofstadter sequences | Example | Number theory |
| Representation of a Lie algebra | Definition | Nonassociative rings and algebras |
| Hartmann number | Concept | Fluid mechanics |
| Radical of an ideal | Definition | Commutative algebra |
| Sample mean and sample covariance | Concept | Statistics |
| Volume conjecture | Conjecture | Manifolds and cell complexes |
| Uniform algebra | Concept | Functional analysis |
| Representation ring | Definition | K-theory |
| Subtyping | Concept | Computer science |
| Carathéodory's royal road | Definition | Calculus of variations and optimal control; optimization |
| Landauer's principle | Fact | Statistical mechanics, structure of matter |
| Stochastic approximation | Concept | Statistics |
| Control system | Concept | Systems theory; control |
| Kazhdan–Lusztig conjecture | Theorem | Nonassociative rings and algebras |
| Proof of Bernoulli's inequality by induction | Proof | Real functions |
| Waldhausen S-construction | Concept | Category theory; homological algebra |
| Bra–ket notation | Concept | Quantum theory |
| Observed information | Definition | Statistics |
| Proof of Hurwitz's theorem by Rouché's theorem | Proof | Functions of a complex variable |
| Generalized method of moments | Concept | Statistics |
| Irreducible component | Definition | Algebraic geometry |
| Conjugate points | Concept | Differential geometry |
| Lapse rate | Concept | Geophysics |
| Switched system | Definition | Systems theory; control |
| Enumerative geometry | Concept | Algebraic geometry |
| WKB approximation in optics | Concept | Optics, electromagnetic theory |
| Quantum inverse scattering method | Concept | Quantum theory |
| Proof that an intersection of subspaces is a subspace | Proof | Linear and multilinear algebra; matrix theory |
| Jacobian variety | Concept | Algebraic geometry |
| Progenerator | Concept | Associative rings and algebras |
| Fourier multiplier | Concept | Harmonic analysis on Euclidean spaces |
| Hardy–Littlewood circle method | Concept | Number theory |
| Skolem–Mahler–Lech theorem | Theorem | Number theory |
| Pauli exclusion principle | Proposition | Quantum theory |
| Propagation of uncertainty | Definition | Numerical analysis |
| Voronoi cell | Definition | Convex and discrete geometry |
| Kruskal's algorithm | Definition | Combinatorics |
| Donaldson theory | Concept | Manifolds and cell complexes |
| Legendre transformation | Concept | Real functions |
| Locally compact abelian group | Concept | Topological groups, Lie groups |
| Total variation diminishing scheme | Definition | Numerical analysis |
| Whitney–Graustein theorem | Theorem | Manifolds and cell complexes |
| Drazin inverse | Definition | Linear and multilinear algebra; matrix theory |
| Geomagnetic reversal | Concept | Geophysics |
| Łoś–Vaught test | Theorem | Mathematical logic and foundations |
| Scott topology | Concept | Order, lattices, ordered algebraic structures |
| Yarkovsky effect | Fact | Mechanics of particles and systems |
| Laws of thermodynamics | Fact | Classical thermodynamics, heat transfer |
| Feller process | Definition | Probability theory and stochastic processes |
| Semiperfect ring | Concept | Associative rings and algebras |
| π | Concept | |
| Dialectica interpretation | Definition | Mathematical logic and foundations |
| Mirror descent | Concept | Operations research, mathematical programming |
| Crystal plasticity | Definition | Mechanics of deformable solids |
| Holomorphically convex domain | Definition | Several complex variables and analytic spaces |
| Bochner's theorem | Theorem | Abstract harmonic analysis |
| Point estimation | Definition | Statistics |
| Proof of the QR decomposition by clearing the first column | Proof | Linear and multilinear algebra; matrix theory |
| Jacobi condition | Theorem | Calculus of variations and optimal control; optimization |
| Exclusion negation | Concept | |
| Support of a convolution | Proposition | Integral transforms, operational calculus |
| Ricci flow | Definition | Differential geometry |
| Proof that K[x] is a Euclidean domain | Proof | Commutative algebra |
| Source | Concept | |
| Horn clause | Definition | Mathematical logic and foundations |
| Inverse Fourier transform | Definition | Harmonic analysis on Euclidean spaces |
| Ideal MHD equations | Concept | Fluid mechanics |
| Johnson solid | Object | Geometry |
| Conway knot | Example | Manifolds and cell complexes |
| Schechter luminosity function | Concept | Astronomy and astrophysics |
| Bogoliubov theory of the weakly interacting Bose gas | Concept | Statistical mechanics, structure of matter |
| Quantitative Ryser conjecture | Proposition | |
| Inductance | Definition | Optics, electromagnetic theory |
| Hodge structure | Concept | Algebraic geometry |
| Debye length | Concept | Statistical mechanics, structure of matter |
| Flow network | Concept | Operations research, mathematical programming |
| Kármán–Howarth equation | Proposition | Fluid mechanics |
| Method of images | Concept | Potential theory |
| Non-Newtonian fluid | Definition | Fluid mechanics |
| Hungarian algorithm | Definition | Operations research, mathematical programming |
| Universal class | Concept | Mathematical logic and foundations |
| Forced convection | Definition | Fluid mechanics |
| Maximal subfield | Concept | Associative rings and algebras |
| Lie derivative | Definition | Differential geometry |
| Glen's flow law | Fact | Geophysics |
| Lefschetz number | Concept | Algebraic topology |
| L-infinity space | Concept | Functional analysis |
| K-theory | Concept | K-theory |
| Weak gravitational lensing | Concept | Astronomy and astrophysics |
| Complemented lattice | Concept | Order, lattices, ordered algebraic structures |
| Absolute continuity | Concept | Real functions |
| Seiberg–Witten theory | Definition | Quantum theory |
| Morley's trisector theorem | Theorem | Geometry |
| Projective space | Concept | Algebraic geometry |
| Pushforward measure | Definition | Measure and integration |
| Markov parameters and the Hankel matrix of a system | Definition | Systems theory; control |
| Faber's theorem on interpolation | Theorem | Approximations and expansions |
| Brown–Douglas–Fillmore theory | Concept | K-theory |
| Contact geometry of thermodynamics | Concept | Classical thermodynamics, heat transfer |
| Column generation | Definition | Operations research, mathematical programming |
| Proper equilibrium | Concept | Game theory, economics, finance, and other social and behavioral sciences |
| Input-to-state stability | Definition | Systems theory; control |
| Simply typed lambda calculus | Definition | Mathematical logic and foundations |
| Definable set | Definition | Mathematical logic and foundations |
| Zariski's multiplicity conjecture | Conjecture | Several complex variables and analytic spaces |
| Hindman's theorem | Theorem | Combinatorics |
| Mellin transform as a Fourier transform in logarithmic variables | Proposition | Integral transforms, operational calculus |
| Artinian ring | Definition | Commutative algebra |
| Proof of the exterior angle theorem from the angle sum | Proof | Geometry |
| Partially well-ordered set | Definition | Order, lattices, ordered algebraic structures |
| Stone space | Concept | Order, lattices, ordered algebraic structures |
| Proof of the Arzelà–Ascoli theorem by total boundedness | Proof | General topology |
| Kernel density estimation | Concept | Statistics |
| Grothendieck spectral sequence | Theorem | Category theory; homological algebra |
| Open immersion | Definition | Algebraic geometry |
| Bilinear interpolation | Definition | Numerical analysis |
| Montel's theorem | Theorem | Functions of a complex variable |
| Topology generated by a family of seminorms | Concept | Functional analysis |
| Numerical linear algebra | Definition | Numerical analysis |
| Quiver | Definition | Associative rings and algebras |
| Essential supremum | Definition | Measure and integration |
| Arnold diffusion | Concept | Dynamical systems and ergodic theory |
| Partial difference equation | Definition | Difference and functional equations |
| Kodaira dimension | Concept | Algebraic geometry |
| Kleene star | Concept | Computer science |
| Langevin equation | Concept | Probability theory and stochastic processes |
| Injective resolution | Concept | Category theory; homological algebra |
| Sigma-compact space | Concept | General topology |
| Regular and singular points of an analytic set | Concept | Several complex variables and analytic spaces |
| Statistical convergence | Concept | Sequences, series, summability |
| Proof of the constant multiple rule | Proof | Real functions |
| No surjection from the positive integers onto the unit interval | Proposition | Mathematical logic and foundations |
| Drude model | Definition | Statistical mechanics, structure of matter |
| Nondeterministic finite automaton | Definition | Computer science |
| Thermal resistance | Definition | Classical thermodynamics, heat transfer |
| Birch and Swinnerton-Dyer conjecture | Conjecture | Number theory |
| Entanglement distillation | Concept | Quantum theory |
| Streamlines, streaklines and pathlines | Concept | Fluid mechanics |
| Local martingale | Definition | Probability theory and stochastic processes |
| Proof that similar matrices have the same characteristic polynomial | Proof | Linear and multilinear algebra; matrix theory |
| Mason–Stothers theorem | Theorem | Number theory |
| Brachistochrone problem | Problem | Calculus of variations and optimal control; optimization |