Inventory: M
The rows of the inventory whose names start with M. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1601–1700 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Maximal Azuma--Hoeffding inequality with predictable ranges | ZQFYYC35QB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14988#861A |
| Maximal binary rank | 2PHA526KZF | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30203#DCCZ |
| Maximal bounded-measurement variance | KN5V4AGAAE | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27752#ZQDT |
| Maximal bounds near a fixed direction | MP5MHT4KH8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36594#MT5S |
| maximal class of order $p^4$ | T90RQVN0MC | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06909#2GDY |
| maximal clique | 6489ZGDSCX | unknown | open | Wikidata Q93598414, MathWorld MaximalClique |
| maximal compact subgroup | NK53A2HJXF | unknown | open | Wikidata Q6795635, nLab maximal compact subgroup |
| Maximal compositionality bounds model complexity | XNGMX9AEP8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20922#XRM2 |
| Maximal cycle and Floquet phases | X8WN1KK0Q4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16351#85RB |
| Maximal decompositions can be fully refined | JE5MV5PGHK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20922#BVJ3 |
| maximal element | JW0WKE8JXH | unknown | node (a node has the same name as the row) | Wikidata Q111315902, MathWorld MaximalElement, nLab maximal element |
| Maximal ergodic theorem | 8G6HXZHR38 | statement | open | mathlib_1000 Q6795637, Wikidata Q6795637, thousand_plus Q6795637, Wikipedia Maximal ergodic theorem |
| Maximal existence time | 2ZEN2X8ACS | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14555#DUK0 |
| Maximal failure for the order projection | J3N6B69B1C | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11002#NR5D |
| Maximal fluctuation estimate on regular sets | 881YKEJHY0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24606#QK84 |
| Maximal gap | MDFCQ7A2YQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40290#HFVY |
| maximal ideal | VCVZ0EPK0S | definition | node (a node has the same name as the row) | mathlib_overview General algebra > Ideals and quotients > maximal ideal, Mathlib Ideal.IsMaximal, mathlib_undergrad Ring Theory > Ideals and Quotients > maximal ideals, Wikidata Q1203540, EoM Maximal_ideal, MathWorld MaximalIdeal, nLab maximal ideal, ProofWiki Definition:Maximal_Ideal_of_Ring |
| maximal independent set | DYD87J4J44 | unknown | open | Wikidata Q7888149, MathWorld MaximalIndependentVertexSet |
| Maximal index in the support | DRKGBN651S | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.06621#562U |
| Maximal inequality for square-integrable martingales | E8WY3KQ2PE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27765#Y5VZ |
| Maximal inequality of empirical process | KCEEME26Y5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15111#032Q |
| Maximal inequality over a cover | A9ZB4PRGB4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10080#6DQX |
| Maximal martingale Fuk--Nagaev inequality | J5S1WK120J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40338#N4Z0 |
| Maximal packing, \MCMKP | R44B8A11A7 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18017#57WQ |
| Maximal Permutation groups in $\mathcal{CH}$ | PRXNQ6A989 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.05398#49TH |
| maximal planar graph | Y2J4N0XJSD | unknown | open | Wikidata Q1257475, MathWorld TriangulatedGraph |
| Maximal relaxed subslope | FR5XW9EFVZ | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21775#KG2E |
| maximal solutions | X1CRAN35V9 | unknown | open | mathlib_undergrad Multivariable calculus > Differential equations > maximal solutions |
| maximal spectrum of a ring | GHP2BJG375 | definition | open | Wikidata Q91442652, nLab maximal spectrum, ProofWiki Definition:Maximal_Spectrum_of_Ring |
| maximal subgroup | HZP6RYE1Y2 | unknown | open | Wikidata Q16908484, nLab maximal subgroup |
| maximal tensor product | HKTQA3PGTN | unknown | open | mathlib_overview Geometry > Convex geometry > maximal tensor product, Mathlib PointedCone.maxTensorProduct |
| Maximal theorem | 171NQF4G42 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09001#SZAQ |
| Maximal Threshold Radius by Grid Search | HFM5WN4C2T | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17604#P848 |
| maximal torus | XJ9VXHBYPS | unknown | open | Wikidata Q1000120, MathWorld MaximalTorus, nLab maximal torus |
| Maximal weak subslope | E0BFNBDAPR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21775#TVFZ |
| Maximal weak subslope vs. maximal relaxed subslope | 3YTG2DDSN8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21775#EMNK |
| maximal, antichain | CEHKWENEPQ | concept | open | applied_combinatorics index/6.3/maximal-antichain |
| maximal, chain | F7XRPK8RRF | concept | open | applied_combinatorics index/6.3/maximal-chain |
| maximal, points of a poset | 86SX9DWYSH | concept | open | applied_combinatorics index/6.3/maximal-points-of-a-poset |
| Maximal-dimensional full components | E4G1PJ2DM5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17737#1J2C |
| Maximal-entropy continuity reduction | 7BYH17JKB2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24931#VB63 |
| Maximal-LFSR Floquet phases | 904Z093F17 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16351#YWRP |
| Maximal-LFSR Pauli matrix elements; external | N7S42W2942 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16351#CMZ5 |
| Maximality and minimality of bases | G4YD2M3ESJ | statement | open | napkin tex/linalg/vector-space.tex#thm:vector_best |
| Maximality is decided by the smallest excluded item | WYYB7WA28H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18017#S18H |
| Maximality under entry-time compatibility | 3QXMM4SADG | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01937#7CAP |
| Maximally consistent set | VXR99F0BKZ | definition | open | open_logic content/first-order-logic/completeness/maximally-consistent-sets.tex#mcs |
| Maximally independent graphs | CWQ7KVD42J | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35102#K4DI |
| Maximally independent stars | TCTR611E0N | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35102#TP88 |
| Maximilian Kreuzer | 9Z9TYT04TK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1914002, nLab Maximilian Kreuzer |
| maximization | 4CTYMJZDYN | unknown | open | Wikidata Q70467272, MathWorld Maximization |
| Maximization principle | H2P2MR31MV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21781#NQFG |
| Maximizers | QPC79BFN36 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08152#4JR1 |
| Maximizing inequality | HX16C1E1PN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25762#IHY8 |
| maximum | JEQEFPM4HC | unknown | open | Wikidata Q111305333, MathWorld Maximum |
| maximum absolute column sum norm | 9FGZA7P99W | unknown | open | Wikidata Q1790926, MathWorld MaximumAbsoluteColumnSumNorm |
| maximum absolute row sum norm | TAY95ZQ7B6 | unknown | open | Wikidata Q184902, MathWorld MaximumAbsoluteRowSumNorm |
| maximum clique | YHT9Q397CH | unknown | open | Wikidata Q93598415, MathWorld MaximumClique |
| Maximum cover time among contributing points | RYYDNXHE70 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06372#AAW7 |
| Maximum degree in superlinear preferential attachment trees | AJC1P44K2H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30098#36DU |
| Maximum degree lower bound | FDNDF2MEXB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30098#AO9A |
| maximum independent set | RASRFF3B7E | unknown | open | Wikidata Q93597459, MathWorld MaximumIndependentVertexSet |
| maximum independent set problem | YAXZX7C5E4 | unknown | open | Wikidata Q25416569, MathWorld MaximumIndependentSetProblem |
| maximum likelihood estimation | A69E9A9HJ2 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1045555, MathWorld MaximumLikelihood |
| maximum likelihood estimator | 93R2XQZ0RP | unknown | open | Wikidata Q112892882, MathWorld MaximumLikelihoodEstimator |
| Maximum Linear Satisfiability (max-LINSAT), satisfaction fraction | TPKYPWVJ1W | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31484#947Y |
| Maximum Mean Discrepancy | RQKCZPK7JX | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19861#VP17 |
| Maximum modulus principle | DWSHBM57RT | statement | open | lebl_ra ch-approximate.tex#thm:maxprinciple |
| maximum modulus principle | K9S337CQGX | concept | open | lebl_ra index/1.5/maximum-modulus-principle |
| Maximum modulus principle | RD5XHHXM0R | statement | open | lebl_scv scv.tex#thm-2 |
| maximum modulus principle | V4WK0FZ9KV | unknown | open | mathlib_overview Analysis > Complex analysis > maximum modulus principle, Mathlib Complex.eventually_eq_of_isLocalMax_norm, mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > maximum principle |
| maximum modulus principle | WDTYZ2DP78 | topic | node (a node has the same Wikidata item as the row) | Wikidata Q1050230, EoM Maximum-modulus_principle, MathWorld MaximumModulusPrinciple, ProofWiki Maximum_Modulus_Principle |
| Maximum of sub-distances | V6JDA4ECAX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05867#F0KZ |
| Maximum power theorem | 8K65254PMW | statement | open | mathlib_1000 Q17103352, Wikidata Q17103352, thousand_plus Q17103352, Wikipedia Maximum power theorem |
| Maximum principle | 1WTTYY49CF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24185#GMRT |
| maximum principle | E1HFE60RR6 | topic | open | Wikidata Q1914255 |
| Maximum principle | KW9BJQ0WAM | statement | open | lebl_scv scv.tex#prop-7 |
| maximum principle | PWS4AK6Y9X | concept | open | lebl_scv index/B/maximum-principle |
| Maximum Principle | QS304SB61K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.02722#UKAN |
| Maximum principle | QZ155QKHAY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21781#UWWE |
| maximum principle | SVN4BEYVF9 | concept | open | lebl_scv index/1.2/maximum-principle |
| Maximum principle | VZR0QDD7D2 | statement | open | lebl_scv scv.tex#thm-3 |
| maximum principle, analytic functions | ZRM2XP3VQX | concept | open | lebl_ra index/1.5/maximum-principle-analytic-functions |
| maximum principle, harmonic functions | 8HDG65N23H | concept | open | lebl_ra index/5.6.1/maximum-principle-harmonic-functions |
| maximum principle, plurisubharmonic functions | PF223QEQEJ | concept | open | lebl_scv index/2.4/maximum-principle-plurisubharmonic-functions |
| maximum principle, subharmonic functions | 35A9T17YHK | concept | open | lebl_scv index/2.4/maximum-principle-subharmonic-functions |
| maximum principle, subvarieties | P9K0FATY9P | concept | open | lebl_scv index/6.7/maximum-principle-subvarieties |
| Maximum principle\index{maximum principle} | TN5BB01MVY | statement | open | lebl_scv scv.tex#thm-6 |
| Maximum principles | QFYNS0AZ6Y | statement | open | lebl_scv scv.tex#thm-31 |
| Maximum row $\ell_2$ norm | GKEB7Q3NKY | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11834#DA6B |
| Maximum size of an intersecting family | X1641YYWGT | unknown | open | mathlib_overview Combinatorics > Set families > Maximum size of an intersecting family, Mathlib Set.Intersecting.is_max_iff_card_eq |
| Maximum Tangent Index | QR26CPS5CH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20364#43GA |
| maximum vertex degree | VHVP2HB7NE | unknown | open | Wikidata Q9346061, MathWorld MaximumVertexDegree |
| maximum, absolute | 3Q7KXVSE35 | concept | open | active_calculus index/3.3.1/maximum-absolute |
| maximum, absolute | W1R6VDF5CG | concept | open | lebl_ra index/2.3.1/maximum-absolute |
| maximum, antichain | E7316SNFKG | concept | open | applied_combinatorics index/6.3/maximum-antichain |
| maximum, chain | EN3CNVBKZF | concept | open | applied_combinatorics index/6.3/maximum-chain |
| maximum, global | 968HDE02A9 | concept | open | active_calculus index/3.3.1/maximum-global |
| maximum, local | 7VE3G2T3SA | concept | open | active_calculus index/3.3.1/maximum-local |
| maximum, relative | KTR5BYX478 | concept | open | active_calculus index/3.3.1/maximum-relative |