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 21601–21750 of 21839.
| Name | Kind | Subject |
|---|---|---|
| Sheaf of differentials | Definition | Algebraic geometry |
| Proof of the mean value inequality | Proof | Real functions |
| Cascade algorithm | Definition | Numerical analysis |
| Laplace tidal equations | Definition | Geophysics |
| Residual bound conjecture | Conjecture | General algebraic systems |
| Continuous kernel | Concept | Integral equations |
| Mellin transform under inversion of the variable | Proposition | Integral transforms, operational calculus |
| Frenet–Serret formulas | Theorem | Differential geometry |
| Hilbert–Schmidt integral operator | Definition | Operator theory |
| Functional differential equation | Concept | Ordinary differential equations |
| Chevalley group | Definition | Group theory and generalizations |
| Banach–Zarecki theorem | Theorem | Real functions |
| Cauchy–Green deformation tensor | Definition | Mechanics of deformable solids |
| Theorem provers | Theorem | |
| Griess algebra | Object | Group theory and generalizations |
| Laser rate equations | Concept | Optics, electromagnetic theory |
| Bieberbach conjecture | Theorem | Functions of a complex variable |
| Runge's phenomenon | Example | Approximations and expansions |
| Implicational propositional calculus | Concept | |
| Multi-commodity flow problem | Problem | Operations research, mathematical programming |
| Nest algebra | Concept | Operator theory |
| Representative elementary volume | Concept | Mechanics of deformable solids |
| Zonoid | Concept | Convex and discrete geometry |
| Fictitious force | Concept | Mechanics of particles and systems |
| Discrete Laplace operator | Concept | Difference and functional equations |
| Ramanujan's master theorem | Theorem | Integral transforms, operational calculus |
| Doob's h-transform | Concept | Probability theory and stochastic processes |
| Scattering parameters | Definition | Information and communication theory, circuits |
| Kontorovich–Lebedev transform | Definition | Integral transforms, operational calculus |
| 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 |
| 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 |
| 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 |