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 21901–22050 of 22263.
| Name | Kind | Subject |
|---|---|---|
| Primary decomposition | Concept | Commutative algebra |
| Talaska's formula | Proposition | |
| Strength (mathematical logic) | Concept | |
| Birational map | Definition | Algebraic geometry |
| Barratt–Priddy–Quillen theorem | Theorem | Algebraic topology |
| Sklar's theorem | Theorem | Statistics |
| Blocking set | Concept | Geometry |
| Proof of the existence of an algebraic closure | Proof | Field theory and polynomials |
| Ehrhart–Macdonald reciprocity | Theorem | Convex and discrete geometry |
| Bareiss algorithm | Theorem | Numerical analysis |
| Semilocal ring | Concept | Associative rings and algebras |
| Manifold of smooth mappings | Definition | Global analysis, analysis on manifolds |
| Kolmogorov microscales | Definition | Fluid mechanics |
| Harmonic majorant | Concept | Potential theory |
| Iterative conception of set | Concept | |
| Permutation group | Concept | Group theory and generalizations |
| Continuous lattice | Definition | Order, lattices, ordered algebraic structures |
| Integral equation of the first kind | Concept | Integral equations |
| Fluid dynamics | Definition | Fluid mechanics |
| Colombeau algebra | Definition | Functional analysis |
| Spin factor | Example | Nonassociative rings and algebras |
| Potential of a measure | Definition | Potential theory |
| Tikhonov regularization | Definition | Operator theory |
| Linearity of the matrix-vector product | Proposition | Linear and multilinear algebra; matrix theory |
| Hartley transform | Definition | Integral transforms, operational calculus |
| Isothermal process | Definition | Classical thermodynamics, heat transfer |
| Barrelled space | Concept | Functional analysis |
| Anti-equivalence of affine schemes and rings | Theorem | Algebraic geometry |
| Fundamental class | Concept | Manifolds and cell complexes |
| Direct predecessor | Concept | |
| Smirnov's theorem on conformal invariance of percolation | Theorem | Statistical mechanics, structure of matter |
| Join | Concept | General topology |
| E-theory | Definition | K-theory |
| Haldane conjecture | Conjecture | Statistical mechanics, structure of matter |
| Ocean wave spectrum | Definition | Geophysics |
| Support of a measure | Definition | Measure and integration |
| Method of images | Definition | Potential theory |
| Hartogs lemma for subharmonic functions | Lemma | Potential theory |
| Many-sorted algebra | Definition | General algebraic systems |
| Cosmological principle | Definition | Relativity and gravitational theory |
| Irreducible matrix | Definition | Linear and multilinear algebra; matrix theory |
| Proof that the closure is the set of limits of sequences | Proof | General topology |
| Haar measure on the circle | Example | Abstract harmonic analysis |
| Variogram | Concept | Statistics |
| Dirac operator | Definition | Global analysis, analysis on manifolds |
| Δ-complex | Concept | Algebraic topology |
| BCM theory | Definition | Biology and other natural sciences |
| Fundamental groupoid | Definition | Algebraic topology |
| Stochastic game | Definition | Game theory, economics, finance, and other social and behavioral sciences |
| Kirby calculus | Definition | Manifolds and cell complexes |
| Lyapunov equation | Definition | Linear and multilinear algebra; matrix theory |
| Functor category | Definition | Category theory; homological algebra |
| Black–Scholes equation | Concept | Partial differential equations |
| Normed field | Concept | Field theory and polynomials |
| Hicksian demand function | Concept | Game theory, economics, finance, and other social and behavioral sciences |
| Strain rate tensor | Definition | Fluid mechanics |
| Quasi-isometry | Definition | Group theory and generalizations |
| Boussinesq approximation for buoyancy | Definition | Fluid mechanics |
| Priestley space | Concept | Order, lattices, ordered algebraic structures |
| Three-moment equation | Theorem | Mechanics of deformable solids |
| Flexible polyhedron | Example | Convex and discrete geometry |
| Proof of continuity via open sets in metric spaces | Proof | General topology |
| Turbo code | Definition | Information and communication theory, circuits |
| Faber polynomials | Definition | Functions of a complex variable |
| Orlicz space | Definition | Functional analysis |
| Soret effect | Concept | Classical thermodynamics, heat transfer |
| Parallelizable manifold | Definition | Manifolds and cell complexes |
| Homotopy K-theory | Definition | K-theory |
| Plate reconstruction | Concept | Geophysics |
| Killing horizon | Definition | Relativity and gravitational theory |
| Markov chain Monte Carlo | Concept | Numerical analysis |
| Distributed parameter system | Definition | Systems theory; control |
| Symplectic Lie algebra | Example | Nonassociative rings and algebras |
| Trilateration | Definition | Geophysics |
| K-theory spectrum | Definition | K-theory |
| Complementary error function | Definition | Special functions |
| Counterfactual logic | Concept | |
| Held–Karp algorithm | Definition | Operations research, mathematical programming |
| Deligne–Lusztig theory | Concept | Group theory and generalizations |
| Paracompact space | Definition | General topology |
| Oscillation theory | Concept | Ordinary differential equations |
| Graceful tree conjecture | Conjecture | Combinatorics |
| Syndrome decoding | Concept | Information and communication theory, circuits |
| Ciphertext indistinguishability | Concept | Information and communication theory, circuits |
| Green's function | Definition | Ordinary differential equations |
| Smooth morphism of rings | Definition | Commutative algebra |
| Relative homotopy group | Concept | Algebraic topology |
| Hyperelastic material | Concept | Mechanics of deformable solids |
| Proof of the universal property of the quotient ring | Proof | Associative rings and algebras |
| Pesin theory | Concept | Dynamical systems and ergodic theory |
| Globally hyperbolic spacetime | Definition | Differential geometry |
| Transonic small disturbance equation | Concept | Fluid mechanics |
| Join-irreducible element | Concept | Order, lattices, ordered algebraic structures |
| Scalar curvature | Concept | Differential geometry |
| Domain of finite type | Concept | Several complex variables and analytic spaces |
| Proof that the Cantor set is closed | Proof | General topology |
| Count of integers up to n divisible by a set of primes dividing n | Proposition | Number theory |
| Hex theorem that the first player wins | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Proof of the inscribed angle theorem by complex numbers | Proof | Geometry |
| Quasigroup | Concept | Group theory and generalizations |
| Weighted polynomial approximation | Definition | Approximations and expansions |
| C0-semigroup | Definition | Operator theory |
| Optical theorem | Theorem | Optics, electromagnetic theory |
| Inviscid flow | Concept | Fluid mechanics |
| Quantum decoherence | Definition | Quantum theory |
| Banach–Mazur distance | Concept | Functional analysis |
| Gomory's fractional cut | Definition | Operations research, mathematical programming |
| Cone theorem | Theorem | Algebraic geometry |
| Adams' theorem on Hopf invariant one | Theorem | Algebraic topology |
| Concave up and concave down | Concept | Real functions |
| Proof that continuous functions are Riemann integrable | Proof | Real functions |
| Generalized Boolean algebra | Concept | Order, lattices, ordered algebraic structures |
| Laplace transform of a periodic function | Example | Integral transforms, operational calculus |
| Moyal product | Definition | Differential geometry |
| Jacobi identity | Proposition | Nonassociative rings and algebras |
| Levi pseudoconvex domain | Definition | Several complex variables and analytic spaces |
| Weber number | Concept | Fluid mechanics |
| Holomorphy of the gamma function | Theorem | Special functions |
| Enflo's counterexample to the approximation problem | Counterexample | Functional analysis |
| Lindley equation | Definition | Probability theory and stochastic processes |
| 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 | |
| Bridgeless | Concept | |
| 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 |