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 2001–2100 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MDQXY8NTN9 | MDQXY8NTN9 | 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.10325#LGC8 |
| MDRAV8WM03 | MDRAV8WM03 | 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.27516#82K1 |
| MDRGNNB0GJ | MDRGNNB0GJ | 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.29273#TE9T |
| MDRTR1Y4RV | MDRTR1Y4RV | exercise | open | lebl_scv scv.tex#exercise-210 |
| MDS von Neumann inequality | ZH0J7RQHMF | 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.12357#215H |
| MDSR6F5Y7E | MDSR6F5Y7E | 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.28121#L7EZ |
| MDSSJ4VV4V | MDSSJ4VV4V | 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 2111.14143#Z0CI |
| MDTE3AJ8K3 | MDTE3AJ8K3 | 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.39700#SKBG |
| MDTWH4VJWG | MDTWH4VJWG | exercise | open | levin_dmoi ptx/exercises/intro-statements.ptx#exercise-15 |
| MDV7DCR960 | MDV7DCR960 | 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.22268#ZXSB |
| MDWTFX1SY4 | MDWTFX1SY4 | 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.36509#VSHT |
| MDWX4W8QZA | MDWX4W8QZA | unknown | open | arXiv 2609.28893#B355 |
| MDWYSSEGT6 | MDWYSSEGT6 | 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.21358#FBII |
| MDXY9DGJNM | MDXY9DGJNM | 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 2510.01873#62E8 |
| MDY2VCVBTH | MDY2VCVBTH | statement | open | open_logic content/incompleteness/theories-computability/consis-with-q.tex#thm-1 |
| MDY8ZKHPMH | MDY8ZKHPMH | 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.05146#WU8U |
| MDY94PYR1F | MDY94PYR1F | 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.20421#7871 |
| MDYCTVF14A | MDYCTVF14A | 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 2303.04321#80VI |
| MDYVZJVF8B | MDYVZJVF8B | 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.26196#6749 |
| MDYZNMNCZS | MDYZNMNCZS | 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 2403.16814#DBXT |
| MDZSVFB8BR | MDZSVFB8BR | 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.36823#8RZ5 |
| ME0GS0ARR9 | ME0GS0ARR9 | 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.05850#201C |
| ME0JCHQ22S | ME0JCHQ22S | 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.27241#DQ2B |
| ME1929AB4A | ME1929AB4A | 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 1711.00219#IJ4Z |
| ME276XSC5C | ME276XSC5C | 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.03337#QA9S |
| ME2GJ7YYWN | ME2GJ7YYWN | 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.09390#AQT9 |
| ME3JWXHASV | ME3JWXHASV | 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.32174#010N |
| ME40VRGVET | ME40VRGVET | 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.37208#MTP6 |
| ME4AVVJX6Q | ME4AVVJX6Q | 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.09319#7MPS |
| ME4F276297 | ME4F276297 | 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.06455#7NVY |
| ME4GKB3EGA | ME4GKB3EGA | 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 2604.23212#XR0B |
| ME5CWFMCXV | ME5CWFMCXV | 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 2405.02275#7IT8 |
| ME5N4SRVW4 | ME5N4SRVW4 | 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 2308.05715#ZKMO |
| ME5R0P807K | ME5R0P807K | 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.28374#5C39 |
| ME5Z91CVGS | ME5Z91CVGS | 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.27360#5X6N |
| ME6YVTTRPM | ME6YVTTRPM | 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.17817#PKH2 |
| ME78DD33X8 | ME78DD33X8 | 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.00786#40RK |
| ME795H8M3D | ME795H8M3D | 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.20916#4FWM |
| ME7CY1X4XQ | ME7CY1X4XQ | 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.37606#Z5VV |
| ME7K2JMM2H | ME7K2JMM2H | 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.39593#TBXY |
| ME881TPNVW | ME881TPNVW | statement | open | open_logic content/lambda-calculus/syntax/substitution.tex#thm:infv |
| ME8G190EGF | ME8G190EGF | 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.02484#UPF8 |
| ME8NJ0PZDS | ME8NJ0PZDS | 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.38838#XC3K |
| ME8NVD8N2Q | ME8NVD8N2Q | 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.25094#6WPT |
| ME8SYPFRGP | ME8SYPFRGP | 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#LYA3 |
| ME9E6SPQTB | ME9E6SPQTB | 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.05986#5WUR |
| MEACVD862B | MEACVD862B | 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.05986#W7AW |
| meagre set | NSZ72AKD92 | unknown | node (a node has the same name as the row) | Wikidata Q1747745, MathWorld MeagerSet |
| Mealy machine | AY5MHBBT3C | unknown | open | Wikidata Q1126309, nLab Mealy machine |
| mean | 6E9W5WNJ69 | unknown | open | Wikidata Q2796622, MathWorld Mean, nLab mean |
| Mean and Variance for the log-partition function | V33PCYHE11 | 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 2109.12716#JGOX |
| Mean and variance of the shifted estimating function | 841GYBPCV2 | 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.17403#ONFF |
| mean curvature | 1TZJ3KG8VT | unknown | open | Wikidata Q1318998, MathWorld MeanCurvature |
| Mean curvature of a nonzero level | RJVZ338TN9 | 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.32829#OT6S |
| Mean defect criterion | N792XXEEQ9 | 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.37375#ZOWC |
| Mean dimension of the diagonal presentation | A99YEG7N6R | 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.11143#614J |
| Mean Embedding | FKKHG4J152 | 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#9PMT |
| Mean ergodic Theorem | KAXD0VRV9E | 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 2503.01567#XK1O |
| Mean ergodic theorem | TB4K46A8A7 | 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 2108.01302#YF0F |
| Mean error in a modulated block | BK230ZK6NS | 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.06308#MN46 |
| Mean Evolution | 2A9VJBZY1P | 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.30105#WZ1M |
| Mean exit time estimates | SHEXT9113W | 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.21268#CXFL |
| Mean for growing multiplicities | 7TZDR2A4AD | 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.17479#5MVZ |
| Mean free-energy lower bound | YKV0055HPC | 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#FZBC |
| Mean identity | 45YMTDKNCC | 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.00453#E58O |
| mean of product of independent random variables | Z66THCJ9ZS | unknown | open | mathlib_overview Probability Theory > Random variables and their laws > mean of product of independent random variables, Mathlib ProbabilityTheory.IndepFun.integral_mul_eq_mul_integral |
| Mean shift bound | 50J9A2KF8C | 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.00453#U0OD |
| mean squared displacement | 944C48ZWBN | concept | open | Wikidata Q1565055, MathWorld MeanSquareDisplacement |
| Mean value estimate | P9Z77DA1BY | 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.11487#APYA |
| Mean value inequality in span seminorm | 5GTQ4FYVQW | 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#J8OZ |
| Mean value property | 99DSRKJQ58 | 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 2401.14638#NX9Z |
| mean value theorem | 4TKPWAMTD1 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 75, Mathlib exists_deriv_eq_slope, mathlib_1000 Q189136, Mathlib exists_ratio_deriv_eq_ratio_slope, Wikidata Q189136, mathlib_overview Analysis > Differentiability > mean value theorem, mathlib_undergrad Multivariable calculus > Differential calculus > mean value theorem, mathlib_undergrad Single Variable Real Analysis > Differentiability > mean value theorem, thousand_plus Q189136, Wikipedia Mean value theorem, MathWorld Mean-ValueTheorem, nLab mean value theorem, ProofWiki Mean_Value_Theorem |
| Mean value theorem | WH79GCQSWH | statement | open | lebl_ra ch-der.tex#thm:mvt |
| mean value theorem | Y6M31JE5FY | concept | open | lebl_ra index/3.2.3/mean-value-theorem |
| Mean-field conservation law | 2FKYP6P5Y6 | 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.09356#CWEM |
| Mean-field convergence | 8ZZFSSGD17 | 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.33541#ULU6 |
| Mean-Field Observable Lyapunov Exponents for GCMs | R6EMHAEB3Z | 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.27484#MMY2 |
| Mean-field Schr\"odinger Bridge | E62XN4A1R8 | 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.02537#8SEG |
| Mean-independent uniform factor | RN87Q0K3WH | 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#6V9U |
| Mean-interior reduction | E7JYW2D0PR | 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#8M5R |
| Mean-preserving scalar shadow | 2RK4S15WRE | 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.08821#WM33 |
| Mean-ratio tail | K8M1PZHV4N | 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#KOCO |
| Mean-share risk and all equality cases | KFS30QE9JK | 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#WQJ4 |
| Mean-square error estimate | EPQD10R5XZ | 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.03325#E9XG |
| Mean-value formula for vectors with prescribed support | B7428CB9F0 | 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#0HVS |
| mean-value property | PG7DJ3XYWE | concept | open | lebl_scv index/2.4/mean-value-property |
| Mean-value property and sub-mean-value property | HEVE9R7F2Z | statement | open | lebl_scv scv.tex#prop:meansubmeanprop |
| meandric number | AY39BQJDY3 | object | open | Wikidata Q3343078, OEIS A005316 |
| Meaning and Necessity | P351MJCJBA | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q6803696, nLab Meaning and Necessity |
| Meaning of a feasible LP point | FTK7QYBZ1P | 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.24569#7NRC |
| Means on $C^*$-algebras | B6HKMMF942 | 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.30410#YUBR |
| MEAR8WVRJX | MEAR8WVRJX | exercise | open | levin_dmoi ptx/exercises/gt-trees.ptx#exercise-6 |
| Measurability | 3S02G0AXGC | 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.15974#PAYN |
| Measurability | PR2T5T4KRD | 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.17519#C3MR |
| Measurability | Q41DVX0ASD | 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.05204#TXMT |
| Measurability and well-definedness of \texorpdfstring{$T^\star$}{T* | XNWFV7KTAN | 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.31363#IPIU |
| Measurability of geodesic counting | 7Y41CH9T2J | 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.14065#UBTO |
| Measurability of Optimization Mappings under the Weak Topology | JER630KVHB | 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.21340#RSVB |
| Measurability of the downward geodesic tree | ABJHXVXE36 | 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.14154#370V |
| Measurability of the every-window functionals | 8ME153Q9A6 | 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#LXFM |