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 3601–3700 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Monotone step cuts | SMYTNZPYBQ | 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.12713#E4R1 |
| Monotone VI under SGC | 6X3WV1WM48 | 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#GWF0 |
| Monotone VIs under mixed noise | 9S654NQVV6 | 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#HTIS |
| Monotone VIs under mixed noise | AN82GE3MT7 | 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#1DHG |
| Monotone-inclusion reduction and the optimal Hilbert rate | G9MMTEMAVC | 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.00295#WM68 |
| Monotone-path presentation | CS30EQEBAV | 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.39262#4YFN |
| Monotone/Antitone behaviour of rational exponents | JW2MZST1GR | 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 2104.00162#FXIV |
| monotonic function | 8MFDY4G2EH | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q194404, MathWorld MonotonicFunction |
| Monotonic labeled poset | XYYABC19MA | 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.30323#7D53 |
| Monotonic Law for Addition | 8D7500WXQB | statement | open | applied_combinatorics source/s_background_prop-integers.ptx#theorem-4 |
| Monotonic Law for Addition | RRH9JZJA88 | statement | open | applied_combinatorics source/s_background_total-order-N.ptx#theorem-1 |
| Monotonic Law for Multiplication | CV7PFD7PGS | statement | open | applied_combinatorics source/s_background_prop-integers.ptx#theorem-5 |
| Monotonic Law for Multiplication | T87G71KBPQ | statement | open | applied_combinatorics source/s_background_total-order-N.ptx#theorem-2 |
| monotonic sequence | 6YQ9WWM1D5 | unknown | open | Wikidata Q141176280, MathWorld MonotonicSequence |
| monotonic sequence | NKC97KCBY0 | concept | open | lebl_ra index/10.1.1/monotonic-sequence |
| Monotonicity | 28CGQN1M0J | 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.40203#IVW4 |
| Monotonicity | 3EZH98760E | 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#D0CO |
| Monotonicity | 4N580S3GE6 | 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.33573#MMSL |
| Monotonicity | 55FX1N2R4V | 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.35325#78PX |
| Monotonicity | 99HA0KFPEN | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#prop-1 |
| Monotonicity | A15DZW6YSW | 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#5CF4 |
| Monotonicity | C6RDNT9540 | statement | open | lebl_ra ch-riemann.tex#prop-3 |
| Monotonicity | C7FG3XNH2G | statement | open | lebl_ra ch-multivar-int.tex#prop-1 |
| Monotonicity | CF17F68F7Z | 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.29671#X1JL |
| Monotonicity | CRX1ZHF7SC | statement | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:monotonicity |
| Monotonicity | D4RBP1A3C9 | 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 2602.19452#H7IP |
| Monotonicity | ECRWT4K26X | 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.21131#82NZ |
| Monotonicity | F5WE9HMDE1 | 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 2104.00162#YZ4F |
| Monotonicity | JZ9WN1QAJ4 | statement | open | open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:monotonicity |
| Monotonicity | PXYFP06G8H | statement | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:monotonicity |
| Monotonicity | PY2RZ2HTD1 | statement | open | open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:monotonicity |
| Monotonicity | WE27M4JW9E | statement | open | open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:monotonicity |
| Monotonicity | X5V4YYDCJZ | 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 2104.00162#P951 |
| Monotonicity | XB16Y9BKG2 | 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.40252#GYTS |
| monotonicity | Y0413M3D37 | concept | open | hott_book index/B.3.2/monotonicity |
| Monotonicity above the order | 55V5E38NQ2 | 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.09650#RHP3 |
| Monotonicity along the Nishimori line | VXVXD18H8C | 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.37479#L8LW |
| Monotonicity and extremality | 37PJ4AA252 | 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.22305#WKLR |
| Monotonicity and joint asymptotic expansion | Q86E022XN1 | 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.06875#TPXN |
| Monotonicity and limit for $\tilde{e}_{n,r}(P;S)$ and $\hat{e}_{n,r}(P;S)$ | 64YX2SEZ2T | 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 2505.10801#O6LU |
| Monotonicity and limit for $e_{n,r}(P;S)$ | KT1M095TGV | 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 2505.10801#EX8U |
| Monotonicity and phase floors | 7JV7NEYCKS | 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.09912#YTH7 |
| monotonicity and reflection | 4BS4NN9DDX | 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#ASO4 |
| Monotonicity and submodularity | R5034K8H51 | 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.19207#YT5I |
| monotonicity criterion | K35RVHZMMG | unknown | open | Wikidata Q6902035, MathWorld MonotonicVoting |
| Monotonicity for the dual-cone order | HM2FR88RQ6 | 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.32710#9CX1 |
| Monotonicity formula | 2CJFEDF259 | 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.04833#XWZC |
| Monotonicity formula | C8GFNX721P | 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.19273#YGDC |
| Monotonicity formula for the modified flow | YN68TYJQQW | 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.10051#RC6L |
| Monotonicity in dimension | 6MGV16B5Y4 | 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 1905.02785#OGV2 |
| Monotonicity in the contact radii | G9ZDBRFWX7 | 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#GK6G |
| Monotonicity in the coupling | VAPEJEYYMD | 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#IEHI |
| Monotonicity in the order | WMSQVQKDCF | 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.26058#BH5D |
| Monotonicity of $\mathcal{A}$ | W0FR8RF5J1 | 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.11027#4IQL |
| Monotonicity of $E_\phi$ under inclusion | BJ75HV301Z | 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.11677#5CVJ |
| Monotonicity of $T_{\mathrm{pa}}$ when $m=1$ | EKDGJWCZXM | 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#Q6VN |
| Monotonicity of a propagated cover rate | V5SDFYERGK | 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.11143#4A1D |
| Monotonicity of affinity | MAERVM6TAM | 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#2T7J |
| Monotonicity of small-step paths | FEKQP5RDG5 | 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 1905.02785#Z84O |
| Monotonicity of SRW Green's function in $d$ | S8CN3K22FV | 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 1905.02785#ZOGN |
| Monotonicity of SRW Green's function in $x$ | E317ETZGQ4 | 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 1905.02785#CSCB |
| Monotonicity of Stein exponents | PYG32Q5TYN | 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.40355#5CKY |
| Monotonicity of subdifferentials | 8BRF6MTEG1 | 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#XGD3 |
| Monotonicity of the Average Density | FY4VERYR88 | 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#DOWO |
| Monotonicity of the Bennett quotient | GRDAP8Z146 | 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.27766#TR52 |
| Monotonicity of the causal subdifferential | YG1MCBGS4R | 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.10051#UY39 |
| Monotonicity of the error | W8ATR13Q9G | 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#NGCQ |
| Monotonicity of the excess | RNZV98RV6E | 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.25084#LN2D |
| Monotonicity of the graded defects | 9W7R763BBH | 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.06739#9MNS |
| monotonicity of the integral | QXJDPC2EB1 | concept | open | lebl_ra index/8.2.2/monotonicity-of-the-integral |
| monotonicity of the integral | Z4BTX02YM7 | concept | open | lebl_ra index/5.1.3/monotonicity-of-the-integral |
| Monotonicity of the margin | DG6K775DZC | 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.27830#2PC4 |
| Monotonicity of the normalized closing mismatch | V7TREZXX8J | 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.38041#MU57 |
| Monotonicity of the Rates | BTD5JXD0BZ | 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.13222#WZOV |
| Monotonicity of the residual | AZD8JRP0D7 | 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.38453#MX15 |
| Monotonicity of the vertex proximity | NJY30G8X30 | 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.06653#FUFY |
| Monotonicity under adding rows | A1XR8E19AV | 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.28198#QJ3N |
| Monotonicity under adversarial side information | N16YCPJ6M8 | 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.00571#TGER |
| Monotonicity under local operations on $B$ | 2ZRENYA7W1 | 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.00571#2M8Q |
| monotonicity, of inductive cover | DK80D2ZVGC | concept | open | hott_book index/B.5/monotonicity-of-inductive-cover |
| Monotonicity-enhanced real bound | WFCN21ABQR | 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.35325#EVD6 |
| Monsky's theorem | 94AQZTHB4G | statement | open | mathlib_1000 Q3527125, Wikidata Q3527125, thousand_plus Q3527125, Wikipedia Monsky's theorem |
| Monsky–Washnitzer cohomology | X27KA34CZR | unknown | open | Wikidata Q6902593, nLab Monsky-Washnitzer cohomology |
| monster group | J5DQZ9RF0X | definition | open | Wikidata Q392663, MathWorld MonsterGroup, nLab Monster group, ProofWiki Definition:Monster_Group |
| monster vertex algebra | GBA7HHW8PQ | unknown | open | Wikidata Q6902858, nLab Monster vertex operator algebra |
| monstrous moonshine | NA596Z4R8X | conjecture | open | Wikidata Q392440, MathWorld MonstrousMoonshine |
| Montague--Levy | ENSB7V1P2C | 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.19283#PEIG |
| Monte Carlo integration | 5P3DYQ388V | unknown | open | Wikidata Q39879, MathWorld MonteCarloIntegration |
| Monte Carlo method | 7E7AT04RJJ | unknown | open | Wikidata Q232207, MathWorld MonteCarloMethod |
| Monte Carlo method | E54D6SGV6X | unknown | open | mathlib_undergrad Numerical Analysis > Numerical integration > Monte Carlo method |
| Monte Carlo simulation | WZTYGY8RGD | 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.11002#TVV0 |
| Montejano, Pauli, Raggi, Roldán-Pensado | 2DZ774X5T2 | 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 2610.06340#C63Z |
| Montel | 1KE2R9EVGV | statement | open | lebl_scv scv.tex#thm:onevarmontel |
| Montel's theorem | 9D8TAWPCRX | concept | open | lebl_scv index/B/montel-s-theorem |
| Montel's theorem | TRCE4SRT01 | statement | open | mathlib_1000 Q535366, Wikidata Q535366, thousand_plus Q535366, Wikipedia Montel's theorem |
| Montgomery | TBSC1YZPM3 | 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 2609.39505#HTN7 |
| Montgomery's pair correlation conjecture | SQPNG2PNAV | conjecture | open | Wikidata Q6905620, MathWorld Montgomery-OdlyzkoLaw |
| Montgomery, 1988 | YJ3F4AJ1RK | 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.12203#NZGJ |
| month | R01GZYXP71 | definition | open | Wikidata Q5151, ProofWiki Definition:Time/Unit/Month |
| Monty Hall problem | 1CGN4YK4CK | problem | node (a node has the same Wikidata item as the row) | Wikidata Q198835, MathWorld MontyHallProblem |