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 2801–2900 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Minimax characterization, cf.\ | ZSQF031PP2 | 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.02933#H0FD |
| Minimax error under adversarial corruption | R89F3VD1K3 | 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.10840#0NZU |
| Minimax first-order soft query-rank exponent | GGZ1RWZ6HT | 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.29688#YJJA |
| Minimax guarantees | A92E1Y5221 | 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.11330#LXDU |
| Minimax Lower Bound | 1N8RZBXZGW | 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.10167#T92H |
| Minimax lower bound | 6H32NAB6RS | 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.31458#X6SA |
| Minimax optimality | RPVFBHNY03 | 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#PKHA |
| Minimax optimality of Saturated LASSO | 50QZ518GQE | 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#11BB |
| Minimax optimality of the projection estimator for \(\We\) on \(\mathcal P_{\text{prod}}\ | 11DAXSQ2YQ | 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.11760#5APJ |
| Minimax policy-learning rate under strict coverage | J695768EEG | 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.37380#4WCG |
| Minimax rate | DJ7FNRA4B6 | 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.04135#CR8B |
| Minimax rate | VG58SRB2F6 | 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.38267#59AC |
| Minimax rate under trial heterogeneity | 73EPVDXQEB | 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.04135#MFXD |
| Minimax soft query-rank exponent | X1M2FYG4JK | 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.29688#3LCV |
| Minimax symmetrization | H5175W6FSV | 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.29348#25DM |
| Minimax theorem | CSHQSMWQ4P | statement | open | mathlib_1000 Q913849, Wikidata Q913849, thousand_plus Q913849, Wikipedia Minimax theorem |
| minimization of the quadratic part | N3GT11K58R | 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 2210.06147#OQAG |
| Minimization principle | MAS8N5EXED | 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#JBM9 |
| Minimizer of the total loss function $L_{\epsilon,\beta}(u)$ | 32S3B45ACW | 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#Z9E3 |
| Minimizer of the WEF $I_{\epsilon}(u)$ | SD2HR53RB1 | 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#2B5Z |
| minimum | D866R5JXTZ | unknown | open | Wikidata Q10585806, MathWorld Minimum |
| Minimum and maximum angle conditions | R7C180SXAV | 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.29153#09HL |
| Minimum Attained by Abelian Sandpiles | JESBC0KV77 | conjecture | 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 2603.16304#2IKX |
| minimum cut | FN4BDPW9RQ | unknown | open | Wikidata Q6865438, MathWorld Mincut |
| Minimum dimension | EH9XBP188Y | 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.14509#ATYV |
| Minimum distance of orbit codes | FN6QQ2MA9M | 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.15340#T2B4 |
| Minimum eigenvalue | VHXAW33E7N | 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.25120#HKTB |
| Minimum empirical rate stability | JN0EGBX081 | 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.10640#5BHV |
| minimum Hamming distance | NYMXSRVZ0G | definition | open | Wikidata Q130691832, ProofWiki Definition:Minimum_Distance_of_Linear_Code |
| Minimum on a fixed tree | F4MK5BZPWZ | 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.17400#C4EZ |
| Minimum representation of the discrete rearrangement | 5V02WBWQ4X | 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.05313#T9LW |
| Minimum size and uniqueness at the profile level | GD5685W9M2 | 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.17677#WZDR |
| minimum spanning tree | 9NVABAG4WT | concept | node (a node has the same name as the row) | Wikidata Q240464, EoM Minimum_spanning_tree, MathWorld MinimumSpanningTree |
| Minimum support and lower-order R\'enyi entropies | WYS7ZA8581 | 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.38228#XISL |
| Minimum value of $R$ | YZKFF6CX77 | 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.33753#R5ZY |
| minimum vertex cover | 7ZKR6X44V8 | unknown | open | Wikidata Q93604649, MathWorld MinimumVertexCover |
| minimum vertex degree | 771PC63AVE | unknown | open | Wikidata Q106553065, MathWorld MinimumVertexDegree |
| minimum weight spanning tree, Kruskal's algorithm for | 7GF01AF9GG | concept | open | applied_combinatorics index/12.1.2/minimum-weight-spanning-tree-kruskal-s-algorithm-for |
| minimum weight spanning trees, Prim's algorithm for | GK00GXEJF2 | concept | open | applied_combinatorics index/12.1.3/minimum-weight-spanning-trees-prim-s-algorithm-for |
| minimum, absolute | 9J0CAJTAN0 | concept | open | lebl_ra index/2.3.1/minimum-absolute |
| minimum, absolute | ZMKCX6115C | concept | open | active_calculus index/3.3.1/minimum-absolute |
| minimum, global | NZ9TEZT8EP | concept | open | active_calculus index/3.3.1/minimum-global |
| minimum, local | 55ZX4P85E6 | concept | open | active_calculus index/3.3.1/minimum-local |
| minimum, relative | Q49F3QX68Y | concept | open | lebl_ra index/3.2.1/minimum-relative |
| minimum, relative | X2RMS4MDSY | concept | open | active_calculus index/3.3.1/minimum-relative |
| minimum, strict relative | B5C7ESPJ0J | concept | open | lebl_ra index/3.3.2/minimum-strict-relative |
| Minimum-budget margin | FYWJN49M9J | 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.07721#0D07 |
| Minimum-energy lift of a covariance velocity | PNSY7C4Q76 | 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.09356#FN07 |
| Minimum-height factorizations represented in the rectangle | 5E1JEHS4JB | 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.26066#5E40 |
| minimum-maximum theorem | RZH9NKK994 | concept | open | lebl_ra index/2.3.1/minimum-maximum-theorem |
| Minimum-maximum theorem / Extreme value theorem | TZSBJ7N7WQ | statement | open | lebl_ra ch-contfunc.tex#thm-1 |
| Minimum-Norm Bound | VVZ1HRNQ49 | 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.21935#ET7D |
| Minimum-norm fitting in Hilbert space and Lagrange duality | 8KK6EVXDHE | 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.14920#9Q9G |
| Minimum-norm interpolant | TCSH8FTZG7 | 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.39855#5IWI |
| Minimum-norm multiplier bound under local regularity | RSEXFH934H | 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.33021#MLZS |
| minion core | 2571GWF3TN | 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.12484#50B5 |
| minion homomorphism | ZS0WX12R0M | 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.12484#DFYZ |
| minion homomorphism poset | 7NTEZHK8S8 | 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.12484#A45B |
| Minkowski | 220K3EKV73 | 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 2606.21391#TUSQ |
| Minkowski | AMBFWXKVFX | statement | open | lebl_scv scv.tex#thm-55 |
| Minkowski addition | 7TGE375R7C | definition | open | Wikidata Q1322294, EoM Minkowski_addition, MathWorld MinkowskiSum, ProofWiki Definition:Minkowski_Sum |
| Minkowski inequality | VZPVGYBSJF | statement | open | Wikidata Q755092, EoM Minkowski_inequality, MathWorld MinkowskisInequalities |
| Minkowski inequality for integrals | T41VE77D36 | statement | open | Wikidata Q117373676, ProofWiki Minkowski's_Inequality_for_Integrals |
| Minkowski inequality for sums | 4W1RBJT45Q | statement | open | Wikidata Q117355532, ProofWiki Minkowski's_Inequality_for_Sums |
| Minkowski metric | 9YZYPBBVBM | unknown | open | Wikidata Q3333766, MathWorld MinkowskiMetric, nLab Minkowski metric |
| Minkowski reconstruction of the regular polygon | TW5XJNJEZW | 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.11814#03C1 |
| Minkowski Sausage | RMXMJKXD9T | unknown | open | Wikidata Q4240628, MathWorld MinkowskiSausage |
| Minkowski segments are short | WMC4K4HS0G | 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.26129#BHUL |
| Minkowski spacetime | AD7S0VXXTG | definition | open | Wikidata Q464794, MathWorld MinkowskiSpace, ProofWiki Definition:Minkowski_Spacetime |
| Minkowski's first inequality found | N7DWG1EK8Q | 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.31331#M6R1 |
| Minkowski's lemma | ZCXPJESH9V | 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.12619#YYF9 |
| Minkowski's question mark function | PR4BQ9PV7T | unknown | open | Wikidata Q1967149, MathWorld MinkowskisQuestionMarkFunction |
| Minkowski's second theorem | ZVSFCMA3NP | statement | open | mathlib_1000 Q6867853, Wikidata Q6867853, thousand_plus Q6867853, Wikipedia Minkowski's second theorem |
| Minkowski–Bouligand dimension | 42DFHHHX97 | unknown | open | Wikidata Q2555655, MathWorld Minkowski-BouligandDimension |
| Minkowski–Hlawka theorem | V8EJ7MZF8K | statement | open | mathlib_1000 Q6867867, Wikidata Q6867867, thousand_plus Q6867867, Wikipedia Minkowski–Hlawka theorem, MathWorld Minkowski-HlawkaTheorem |
| Minkowski’s Fundamental Theorem | TV7WCK7KC2 | statement | node (a node has the same name as the row) | mathlib_100 40, Mathlib MeasureTheory.exists_ne_zero_mem_lattice_of_measure_mul_two_pow_lt_measure, mathlib_1000 Q1097021, Wikidata Q1097021, thousand_plus Q1097021, Wikipedia Minkowski's theorem |
| Minlos's theorem | RDF7KYDXRG | statement | open | mathlib_1000 Q6867878, Wikidata Q6867878, thousand_plus Q6867878, Wikipedia Minlos's theorem |
| minor | EW7CB0WWRJ | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1341061, EoM minor, MathWorld Minor |
| minor | S1BP0CB15K | 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.12484#FZ4X |
| minor arc | YJZGMPDWFF | unknown | open | Wikidata Q117009099, MathWorld MinorArc |
| minor arcs | RD7WZE8W5N | 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.19249#BF70 |
| Minor arcs | XS9B5CSW26 | 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 1806.05002#OEGS |
| minor graph | J3WS2FVT9G | unknown | open | Wikidata Q905837, EoM Minor_of_a_graph, MathWorld GraphMinor, nLab graph minor |
| Minoration under the directed body alternative | MYXQ66EAHC | 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.31782#9IAW |
| Minty gap under SGC | WB9XHTEHTE | 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.12641#HKWS |
| minuend | 9ZVDS5SXMT | unknown | open | Wikidata Q11936853, MathWorld Minuend |
| minus sign | SN38W4KK3D | unknown | open | Wikidata Q10764194, MathWorld MinusSign |
| Minus-one valuation formula | 6XDQRPSDMP | 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.37754#K1A0 |
| minute | QJPFGYWSXQ | definition | open | Wikidata Q7727, ProofWiki Definition:Time/Unit/Minute |
| Miodrag Petković | 4FW80ZF6SJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6871366, ProofWiki Mathematician:Miodrag_S._Petković |
| Miquel configuration | 31J3TDS0T7 | unknown | open | Wikidata Q104859763, MathWorld MiquelConfiguration |
| Miquel's theorem | GMA3BGYBH3 | statement | open | mathlib_1000 Q2449984, Wikidata Q2449984, mathlib_1000 Q2449984X, thousand_plus Q2449984, Wikipedia Miquel's theorem, thousand_plus Q2449984X, Wikipedia Pivot theorem, MathWorld MiquelsTheorem |
| Miracle Flatness | W2EPSSGJ4C | 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.16731#P1SH |
| Miranda Cheng | 2FM09PHYNG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q26703285, nLab Miranda Cheng |
| Mirifici logarithmorum canonis descriptio | BHM0DY6Q85 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q107644956, ProofWiki Book:John_Napier/Mirifici_Logarithmorum_Canonis_Descriptio |
| Mirimanoff's congruence | HJFNBMJ421 | concept | open | Wikidata Q8349850, MathWorld MirimanoffsCongruence |
| Mirjam Cvetic | NS4F453165 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q48089267, nLab Mirjam Cvetič |
| Mirror identity | 2HQCKZMY7N | 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.10557#PL07 |
| mirror image | EDJC25964X | unknown | open | Wikidata Q2703478, MathWorld MirrorImage |
| Mirror map | NKZX8SGSAF | 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.10821#ITW8 |