ThmDex – An index of mathematical definitions, results, and conjectures.
D3731: Standard Cantor set
D977: Left-invertible map
D4624: Standard unsigned uniform random real number
D903: String
D5945: Complex matrix trace
D679: Groupoid homomorphism
D3439: Event odds
D702: Involution
D3059: Ergodic measure
D5700: Euclidean real line segment
D2154: Product sigma-algebra
D3793: Exponential probability distribution function
D244: Baire topological space
D180: Quotient set
D3998: Odd euclidean real function
D781: Complex Lebesgue inner product
D707: Sublinear map
D191: Binary cartesian set product
D3915: Exchangeable random collection
D326: Cartesian product
D3553: XNOR boolean logic gate
D5862: Complex matrix eigenvalue
D4807: Möbius function
D1400: Set distance
D1083: Finite ring
D5871: Invertible real matrix
D1382: Complex euclidean length function
D3557: XOR boolean logic gate
D301: Infimum element
D2099: Positive semidefinite complex matrix
D2402: Real number square root
D5860: Complex matrix eigenmatrix
D258: Gamma function
D589: Successor set
D520: Set exterior
D5042: Trioton set
D34: Inner product
D4000: Standard exponential random positive real number
D669: Minimal element
D2222: Set of injections
D3383: Constant function
D6192: Complex matrix eigenvalue sequence
D249: F-sigma set
D6122: Standard uniform discrete probability space
D1809: Closed interval
D3047: Map strict subgraph
D6186: Standard permutation
D3658: Standard real Wiener process
D4948: Integer function
D3202: Basic natural number set density
D5752: Softmax function
D6033: Standard natural hyperbolic tangent function
D5116: Cogeometric random natural number
D300: Supremum element
D2950: Strict superlevel set
D2795: Conditionally independent event collection
D3799: Set of open cylinder sets
D287: Reflexive binary relation
D4136: Real cartesian product
D3660: Countable map
D2223: Set of surjections
D1411: Analytic complex function
D5150: Complement set partition
D6061: Standard unit semicircle function
D1402: Closed ball
D3367: Subset algebra
D2054: Diagonal matrix
D5134: Unsigned basic binary operation
D5825: Complex matrix characteristic polynomial
D441: Open set cover
D5781: Pairwise disjoint set collection
D4529: Subdigraph
D1678: Complete measure space
D3649: Random unsigned basic measure
D3999: Standard Bernoulli random boolean number
D667: Minimum element
D1747: Unsigned basic integral
D4865: Fisher random unsigned real number
D3369: Subset structure
D5917: Random real number standard error
D1110: Discrete topological space
D5376: Set of finite unsigned basic measures
D2144: Random real number standard deviation
D181: Canonical set epimorphism
D2640: Clopen set
D65: Cauchy sequence
D5215: Random rational number
D5691: Complex matrix eigenvector
D5500: Almost sure event
D1880: Cofinite set
D5629: Real neuron function
D1703: Point measure
D357: Left-unique binary relation
D4925: Euclidean real arithmetic mean
D6: Natural number factorial function
D92: Limit point
D4391: Event Shannon information
D136: Topologically dense set
D24: Ring
D5854: Digraph-generated graph
D2140: Random real number variance
D5901: Logistic random real number
D57: Open map
D2840: Ergodic measure-preserving system
D20: Enclosed binary operation
D1886: Downward enclosed set
D5480: Even real function
D470: Subsigma-algebra
D6183: Complex square matrix cofactor
D6031: Canonical real identity function
D1700: Discrete measurable space
D4867: Beta random positive real number
D4806: Arithmetic function
D457: Isolated point
D4533: Finite digraph
D3344: Set of subsigma-algebras
D1704: Complete measure
D61: Semimetric
D865: Standard natural real logarithm function
D1697: Sigma-bounded measure
D5649: Complex oriented curve integral
D431: Strictly antitone map
D2713: Independent random collection
D77: Set union
D5207: Real poisson process
D5956: Feed-forward neural network
D5286: Rademacher random integer
D5570: Stationary measurable map
D2696: Digraph
D4587: Set of digraphs
D41: Indicator function
D2732: Graph isomorphism
D4469: Empty measurable space
D204: Probability distribution measure
D5275: Underdispered random basic real number
D5102: Basic expectation
D608: Integer multiplication operation
D282: Set of real numbers
D198: Probability measure
D5143: Set partition
D1109: Measurable set
D1810: Open interval
D5918: Real number principal square root
D4531: Superdigraph
D3200: Lower basic natural number set density
D778: Graph
D157: Disjoint union
D68: Set of maps
D3835: Duoton set
D5809: Real sequence strict asymptotic upper bound growth class
D164: Standard complex sine function
D212: Chi-squared random unsigned real number
D5951: Euclidean P-length function
D5638: Top subset structure of natural numbers
D1401: Sphere
D4938: Positive definite real matrix
D1862: Stieltjes measure
D3711: Complex power series
D2454: Real arithmetic mean
D3997: Even euclidean real function
D4636: Set of chains
D5395: Verum basic boolean logic gate
D2013: Random real number central moment
D3754: Standard gaussian function
D179: Equivalence class
D1931: Standard real sine function
D3358: I.I.D. random collection
D5465: Contraction
D4312: Complex polynomial function
D2900: Quantile function
D91: Product topology
D412: Absolute value function
D6217: Symmetric real matrix
D857: Empty binary relation
D1927: Standard real cosine function
D71: Symmetric set difference
D399: Symmetric matrix
D360: Right-total binary relation
D318: Generated sigma-algebra
D2951: Strict sublevel set
D4526: Arrow set
D3483: Atomic measurable set
D4691: Standard real harmonic series
D3517: Language
D371: Imaginary number
D5930: RGB image
D2842: Set of stationary measurable sets
D3567: Measure absolute continuity relation
D605: Rational addition operation
D4617: Digamma function
D276: Module
D2790: Mediator digraph
D4468: Empty metric space
D3844: Index of dispersion
D5858: Diagonal complex matrix
D5946: Real matrix trace
D293: Asymmetric binary relation
D440: Identity map
D4492: Ergodic probability-preserving system
D1587: Euclidean real function slope
D1583: Weierstrass function
D5931: Boolean parity function
D197: Finite measure
D1106: Topological space
D2011: Euclidean real covariance
D1734: Outer measure
D5950: Complex euclidean P-length function
D4448: Closed set cover
D2727: Infinite graph
D4423: Relation class
D2018: Subspace topology
D3966: Constancy-preserving map
D3003: Closed set partition
D379: Maximum operation
D1811: Left-closed interval
D989: Map kernel
D6184: Complex cofactor matrix
D1694: Lattice order relation
D462: Open neighbourhood
D5738: Strictly subconvex real function
D4154: Conditionally independent collection of sigma-algebras
D4614: Log-gaussian random basic real number
D184: Constancy relation
D3083: Set of P-integrable random complex numbers
D5912: Specificity
D1858: Stieltjes outer measure
D795: Standard Hilbert cube
D1296: Weak white noise random real collection
D5779: Iterative Fibonacci algorithm
D3831: Independent collection of event collections
D4695: Conjugate-odd complex function
D848: Chain
D6241: Euclidean real dot product
D4949: Natural number function
D358: Right-unique binary relation
D743: Euclidean real dot product operation
D5675: Complex matrix symmetric part
D5569: Almost stationary measurable map
D535: Left inverse element
D6034: Standard real cotangent function
D5282: Standard Cauchy random real number
D5468: Triadic rational number
D1563: Group centre
D1676: Null measurable set
D5949: Lower triangular complex matrix
D1519: Constant map
D193: Inductive set
D734: Complex conjugation operation
D359: Left-total binary relation
D467: Injective map
D5943: Real adjugate matrix
D5096: Beta function
D553: Set of lower bounds
D398: Matrix transpose
D86: Topology
D5285: Standard chi-squared random unsigned real number
D4075: Hyperpower set
D2142: Random real number kurtosis
D169: Napier's constant
D79: Set complement
D1163: Bottom topology
D85: Unsigned basic measure
D6246: Set of triadic rational numbers
D4001: Geometric random positive integer
D1760: Riemann integrable real function
D4664: Standard real tangent function
D442: Empty topology
D690: Linear map
D2898: Random real number percentile
D6205: Conjugate symmetric complex matrix
D101: Proper subset
D529: Map inverse image
D6181: Complex matrix standard submatrix
D2: Absolutely continuous real function
D5324: Random real number stochastic ordering relation
D1720: Independent event collection
D538: Right identity element
D3865: Measurable space isomorphism
D289: Antisymmetric binary relation
D672: Ordinal number
D544: Closed real interval
D5066: Canonical empty binary relation
D5673: Zero definite complex matrix
D99: Separable topological space
D5754: Standard real log-sum-exp function
D4210: Indicator function operator
D4937: Positive semidefinite real matrix
D5594: Lebesgue distance function
D5274: Overdispersed random basic real number
D4864: Chi random unsigned real number
D5637: Standard basic natural number counting measure
D362: Inverse binary relation
D4518: Set of numbers
D2737: Subgraph
D5942: Real cofactor matrix
D5674: Complex matrix antisymmetric part
D2864: Real gaussian density function
D4316: Set of singletons
D1838: Borel measurable space
D202: Random variable
D3949: Complex number polar representation
D3766: Jordan measure
D93: Neighbourhood
D1651: Monoid homomorphism
D76: Set intersection
D4930: Real harmonic series
D2948: Sublevel set
D4696: Conjugate-even complex function
D4549: Graph union
D4430: Constancy class
D5208: Symmetric random real number
D2424: Set of real intervals
D4594: Fibonacci natural number sequence
D2910: Set of proper set partitions
D1107: Metric space
D372: Set of complex numbers
D4517: Set of euclidean basic numbers
D3757: Elementary euclidean real set
D3037: Set of euclidean real intervals
D1933: Standard natural hyperbolic cosine function
D209: Probability density function
D670: Maximal element
D1580: Fermat number
D1748: Signed basic integral
D1819: Order isomorphism
D2851: Standard measurable space of natural numbers
D1896: Upper enclosure
D3800: Measurable cylinder set
D3550: NOT boolean logic gate
D49: Proper contraction
D4947: Rational function
D429: Monotone map
D2751: Hyperdigraph
D4550: Graph intersection
D5866: Left-invertible complex matrix
D4201: Set of rademacher integers
D4105: Standard counting measure
D4057: Standard real brownian bridge process
D1492: Map graph
D723: Symmetric map
D1108: Measurable space
D3568: P-adic rational number
D673: Von Neumann ordinal sequence
D4689: Factorial sequence
D1729: Pushforward sigma-algebra
D994: Rational number
D5614: Differentiable real function
D2299: Polish topological space
D527: Composite map
D3657: Real Wiener process
D5236: Empirical probability distribution measure
D3876: Set of isolated points
D3556: NOR boolean logic gate
D154: Pushforward topology
D5869: Left-invertible real matrix
D5005: Complex function primitive
D2899: Random real number median
D4473: Trivial metric
D2726: Finite graph
D2635: Warsaw sine function
D43: Inclusion map
D6195: Complex lexicographic ordering relation
D568: Map composition operation
D3798: Open cylinder set
D2913: Bell coefficient
D100: Topological subspace
D5807: Real sequence asymptotic upper bound growth class
D536: Right inverse element
D58: Metric
D5289: Strong white noise random real collection
D5939: Real matrix standard submatrix
D1301: Generated subgroup
D174: Vector space dimension
D1945: Closure point
D127: Open ball
D2189: Semigroup homomorphism
D1885: Upward enclosed set
D5120: Superaffine map
D3180: Basic function
D4424: Binary endorelation
D1932: Standard natural real exponential function
D5511: Standard single boolean trial probability space
D2100: Positive definite complex matrix
D5630: Set of euclidean real numbers
D5974: Complex matrix spectrum
D264: Semigroup
D3922: N-wise disjoint set collection
D1897: Lower enclosure
D2947: Level set
D3161: Random real number
D2504: Weak contraction
D724: Set of Cauchy sequences
D5985: Euclidean real Gram-Schmidt projection
D2887: Absolutely continuous measure
D5676: Diagonalizable complex matrix
D3739: Laplace transform
D336: Convergent sequence
D288: Transitive binary relation
D1579: Distinct prime factor counting function
D4571: Real matrix
D113: Riemann zeta function
D2940: Measure-preserving endomorphism
D4534: Infinite digraph
D5723: Simple random variable
D4595: Set of Fibonacci numbers
D1860: Stieltjes sigma-algebra
D5622: Hessian real matrix function
D2577: Set of octonions
D5868: Right-invertible real matrix
D6074: Apéry's constant
D4509: Graph tensor product
D370: Set of irrational numbers
D84: Sigma-algebra
D1162: Bottom topological space
D1716: Event
D5969: Set of euclidean boolean numbers
D543: Open real interval
D3765: Set of Jordan measurable sets
D5982: Orthonormal real matrix
D5808: Real sequence asymptotic lower bound growth class
D17: Finite set
D5640: Set of euclidean complex numbers
D367: Set of integers
D55: Continuous map
D466: Surjective map
D316: Set of P-integrable complex Borel functions
D2167: Binomial coefficient
D3889: Tail sigma-algebra
D5606: Subconvex real function
D4155: Conditionally independent random collection
D5156: Euclidean real variance
D4545: Triangle graph
D5726: Simple random variable joint entropy
D353: Set automorphism
D2141: Random real number skewness
D248: G-delta set
D5192: Real matrix square root
D50: Isometry
D954: Superset
D4862: Erlang random positive real number
D5254: Stationary random sequence
D6102: Dirichlet function
D3554: AND boolean logic gate
D16: Countable set
D5632: Complex Lebesgue convolution approximate identity
D5306: Complex matrix conjugate transpose
D5844: Complex matrix vectorization
D6231: Complex matrix square root
D2873: Binomial probability mass function
D1225: Counting measure
D2901: Multiset
D4491: Ergodic probability measure
D6185: Complex adjugate matrix
D6226: Complex matrix singular value
D5524: Standard Poisson random natural number
D638: Natural number multiplication operation
D2197: Set of topologies
D195: Discrete sigma-algebra
D121: Complex Lebesgue convolution
D468: Bijective map
D5648: Continuously differentiable complex path integral
D1079: Canonical surjective submap
D5292: Standard strong white noise random real collection
D5521: Riemann sum
D950: Ring homomorphism
D3570: Dyadic rational number
D955: Proper superset
D1042: Set of digits
D4109: Predictable random sequence
D3566: Set of unsigned basic measures
D525: Left inverse map
D2906: Set of N-subsets
D4812: Topological space density
D74: Set cover
D214: Exponential random positive real number
D5477: Real exponential mean
D4115: Gram-Schmidt projection
D1103: Partially ordered set
D995: Integer
D2827: Measure-preserving system
D221: Alphabet
D1275: Set of basic numbers
D976: Invertible map
D4612: Folded gaussian random unsigned real number
D1159: Probability space
D2150: Intersection algebra
D4527: Node set
D2634: Warsaw sine curve
D3551: NAND boolean logic gate
D48: Bilipschitz map
D3121: Measure-convergent sequence
D165: Standard complex cosine function
D5634: Standard real gaussian function
D2183: Set of bytes
D4475: Trivial metric space
D5574: Weakly mixing probability-preserving system
D4536: Infinite ring
D526: Right inverse map
D37: Orthogonal vector pair
D2839: Probability-preserving system
D5944: Real matrix vectorization
D5928: Set of RGB colors
D2731: Complete graph
D554: Binary operation
D519: Set interior
D98: Closed set
D1210: Complex modulus function
D2086: Orthonormal complex matrix
D1707: Ordered set
D6182: Complex square matrix standard minor
D1613: P-subgroup
D1821: Map minimum
D1104: Binary relation structure
D109: Signum function
D4613: Standard folded gaussian random unsigned real number
D3097: Set of fixed points
D5575: Probability-preserving random euclidean real sequence
D3333: Hölder map
D5783: ReLU function
D2719: Standard real gaussian density function
D4467: Sigma-algebra restriction
D5018: Affine map
D1917: Bottom measurable space
D4764: Set of null sets
D39: Identity element
D1812: Right-closed interval
D5698: Real martingale
D5929: RGB color
D2455: Real geometric mean
D5277: Index of variation
D5394: Falsum basic boolean logic gate
D5870: Invertible complex matrix
D4393: Event Shannon nat information
D2865: Exponential density function
D2156: Adapted random collection
D1240: Trivial group
D5585: Set of P-integrable random basic real numbers
D6037: Euclidean real component sum operation
D207: Bernoulli random boolean number
D3802: Subnull set
D3804: Set of subnull sets
D4551: Graph complement
D5680: Random real number empirical probability distribution measure
D4493: Canonical singleton map
D382: Heaviside function
D5708: Standard basic real logistic function
D5706: Real entropy function
D978: Right-invertible map
D5073: Euler-Mascheroni constant
D507: Complex conjugate
D178: Equivalence relation
D6223: Normal complex matrix
D1743: Lebesgue measure
D2747: Acyclic graph
D5977: Real matrix eigenvector
D5718: Real matrix determinant
D216: Inverse map
D5695: Full rank complex matrix
D319: Borel sigma-algebra
D5717: Complex matrix determinant
D5263: Standard symmetric random real number
D1944: Strict ordinal number ordering relation
D2137: Basic real golden ratio
D637: Natural number addition operation
D286: Partial ordering relation
D4898: Complex domain
D5348: Set of binary relations
D2841: Stationary measurable set
D2149: Lambda algebra
D5103: Unsigned basic expectation
D5094: Positive integer
D2325: Random euclidean real number characteristic function
D1916: Bottom sigma-algebra
D471: Independent collection of sigma-algebras
D4489: Stationary event
D2115: Nonempty set
D1822: Map maximum
D364: Euclidean distance function
D714: Dedekind cut
D6224: Normal real matrix
D3880: Unsigned basic integral measure
D247: Topologically self-dense set
D330: Proper set partition relation
D2410: Standard real exponentiation function
D537: Left identity element
D1289: Basic function positive part
D5705: Natural real entropy function
D4666: Standard real cosecant function
D2738: Supergraph
D1383: Euclidean length function
D5900: Standard basic real inverse logistic function
D5121: Subaffine map
D3555: OR boolean logic gate
D484: Set of sigma-algebras
D4978: Basic rational closed unit interval
D2888: Radon-Nikodym derivative
D4715: Analytic real function
D4474: Canonical empty map
D552: Set of upper bounds
D5968: Set of euclidean integers
D1241: Standard zero group
D5573: Strongly mixing probability-preserving system
D2801: Conull set
D5097: Dirichlet random euclidean real number
D3953: Schwartz function
D296: Set upper bound
D317: Lebesgue length function
D5191: Complex matrix kronecker product
D1278: Right-closed real interval
D4364: Real function
D4990: Riemann sphere projection
D2786: Collider digraph
D708: Superlinear map
D6220: Complex matrix diagonal factorization
D40: Inverse element
D5641: Standard counting measure space of basic natural numbers
D5293: Standard weak white noise random real collection
D4548: Graph homomorphism
D430: Strictly isotone map
D4530: Set of subdigraphs
D1730: Pullback sigma-algebra
D2870: Standard euclidean real gaussian density function
D1578: Prime factor counting function
D327: Canonical set projection
D1510: Closed real unit interval
D3777: Standard Cantor number
D5467: Set of Lipschitz constants
D610: Real multiplication operation
D1224: Set diameter
D3189: Complex random Lebesgue quotient set
D78: Subset
D4076: Hypersubset
D948: Group homomorphism
D5853: Set of connected graph components
D1670: Primorial function
D47: Lipschitz map
D4583: Maximal binary relation
D3306: Real harmonic mean
D117: Complex Lebesgue quotient set
D5967: Set of euclidean rational numbers
D135: Singleton set
D3983: Complex random Lebesgue inner product
D3045: Map strict supergraph
D2919: Permutation
D2872: Bernoulli probability mass function
D201: Measurable map
D218: Boolean function
D827: Set of quaternions
D5976: Real matrix complex eigenvalue
D5406: Positive integer function
D4665: Standard real repeating tangent function
D5179: Set of euclidean natural numbers
D2740: Spanning subgraph
D4392: Event Shannon bit information
D5508: Conditionally independent collection of event collections
D2771: Graph-generated digraph
D3650: Random probability measure
D1405: Vector space isomorphism
D1681: Disjoint set collection
D3730: Standard cantor sequence
D676: Map support
D1732: Pushforward measure
D4139: Catalan sequence
D3495: Finite state machine
D5043: Real function arithmetic mean
D225: Set of natural numbers
D138: Standard mollifier
D5464: Hyperpower set sequence
D3954: Radial function
D3591: Subtopology
D2221: Set of bijections
D1699: Basic number
D686: Class of ordinal numbers
D4248: Almost everywhere constant map
D3201: Upper basic natural number set density
D5941: Real square matrix cofactor
D668: Maximum element
D428: Antitone map
D1568: P-group
D558: Ringoid
D1673: Sample space
D6216: Symmetric complex matrix
D528: Map image
D611: Complex multiplication operation
D447: Open set partition
D2745: Set of subgraphs
D963: Empty sigma-algebra
D427: Isotone map
D551: Fixed point
D210: Gaussian random real number
D5891: Standard unsigned uniform real density function
D5959: Neuron layer function
D5033: Monic complex polynomial function
D368: Set of rational numbers
D18: Map
D386: Set of continuous maps
D3357: Identically distributed random collection
D5520: Closed real interval tagged partition
D22: Group
D6003: Null event
D265: Monoid
D604: Integer addition operation
D5639: Complex cartesian product
D3745: Renewal process
D2788: Confounder digraph
D3774: Complete probability measure
D3571: Set of dyadic rational numbers
D3763: Jordan outer measure
D4: Binary relation
D3111: Set of topologically dense sets
D559: Semiring
D2854: Poisson random natural number
D3120: Probability-preserving endomorphism
D4197: Central binomial coefficient
D5287: Standard rademacher random integer
D2660: Set endomorphism
D432: Strictly monotone map
D6242: Euclidean complex Gram-Schmidt projection
D294: Symmetric binary relation
D465: Hausdorff topological space
D729: Conjugate symmetric complex function
D103: Finite matrix
D2012: Conditional probability
D217: Set of boolean numbers
D3801: Set of measurable cylinder sets
D5867: Right-invertible complex matrix
D5124: Conic map
D3044: Map supergraph
D1082: Finite group
D297: Set lower bound
D4428: Canonical identity map
D786: Standard natural complex exponential function
D80: Power set
D211: Standard gaussian random real number
D2758: Cylinder set
D5319: Idempotent binary operation
D6050: Real square function
D1112: Empty topological space
D2718: Euclidean real gaussian density function
D219: Empty map
D866: Standard real logarithm function
D761: Identity matrix
D1277: Left-closed real interval
D5220: Convex conjugate function
D1672: Collatz function
D785: Kolmogorov topological space
D4476: Lipschitz constant
D88: Set closure
D4490: Set of stationary events
D4782: Evaluation map
D609: Rational multiplication operation
D2015: Random real number moment
D23: Abelian group
D3416: Complex martingale
D5359: Singleton map
D2148: Pairwise independent event collection
D2166: Basic natural number factorial
D2153: Measurable product space
D5071: Algebraic subset structure
D747: Idempotent map
D1509: Open real unit interval
D1837: Irreflexive binary relation
D1731: Submeasure
D97: Open set
D1416: Differentiable euclidean real function
D70: Set difference
D606: Real addition operation
D5724: Simple random variable mutual information
D1523: Isomorphic sets
D2749: Tree graph
D52: Closed map
D5466: Minimal Lipschitz constant
D380: Minimum operation
D1861: Stieltjes measurable space
D246: Topologically nowhere dense set
D2014: Random real number absolute moment
D208: Binomial random natural number
D3838: Gamma random positive real number
D2949: Superlevel set
D1048: N-ary relation
D1934: Standard natural hyperbolic sine function
D4717: Entire function
D2282: Set of probability measures
D3791: Standard beta function
D5276: Equidispersed random basic real number
D1290: Basic function negative part
D5911: Sensitivity
D5948: Upper triangular complex matrix
D1680: Zero measure
D3775: Complete probability space
D1749: Complex integral
D1158: Measure space
D6240: Euclidean complex dot product
D1881: Cocountable set
D3046: Map subgraph
D5402: Boolean logic gate
D607: Complex addition operation
D1394: Normal subgroup
D75: Set subcover
D56: Homeomorphism
D1727: Boolean algebra
D5365: Standard digit sequence
D5940: Real square matrix standard minor
D1581: Mersenne prime integer
D263: Groupoid
D3552: Conditional basic boolean logic gate
D5019: Convex map
D666: Transitive set
D83: Proper set partition
D3312: Real power mean