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 1801–1900 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| MBQB8WSE7Q | MBQB8WSE7Q | 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 2511.17751#HTKZ |
| MBQDXP0TZ6 | MBQDXP0TZ6 | 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.31907#9IT0 |
| MBQFP8HJQN | MBQFP8HJQN | 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.02642#1UFH |
| MBQK9CV0Q6 | MBQK9CV0Q6 | 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.05829#GRWI |
| MBQMX1G135 | MBQMX1G135 | 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.09483#VD43 |
| MBR replicates Free Boundary MCF in $\Omega\subset \mathbb{R}^n$. | YP01NZYC4H | 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.37803#14QR |
| MBR replicates MCF in $\mathbb{R}^n$ | 72WYWXPZ4F | 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.37803#075Y |
| MBR4XHV1CV | MBR4XHV1CV | 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.04673#1ZHO |
| MBR9Y9XVQ7 | MBR9Y9XVQ7 | 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 2509.09379#8DX6 |
| MBRKQJ741K | MBRKQJ741K | 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.40207#0BA7 |
| MBTJH2Y1G1 | MBTJH2Y1G1 | 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.01497#YOIE |
| MBTK5T20T7 | MBTK5T20T7 | 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.28597#970T |
| MBTNGKTEZC | MBTNGKTEZC | 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.15344#JIXG |
| MBV2S77GD1 | MBV2S77GD1 | 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.35762#07XK |
| MBV9J17AEJ | MBV9J17AEJ | proof | open | hott_book hits.tex#proof-16 |
| MBVQPKQJ4N | MBVQPKQJ4N | definition | open | hott_book reals.tex#defn:inductive-cover |
| MBW83N04AR | MBW83N04AR | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-8 |
| MBW9H3G7QD | MBW9H3G7QD | 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.21954#MAEV |
| MBWC2CXZC5 | MBWC2CXZC5 | 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.11031#5FQ1 |
| MBWPKTSM2H | MBWPKTSM2H | example | open | napkin tex/homology/long-exact.tex#ex:mayer_short_exact |
| MBX2GE2P06 | MBX2GE2P06 | 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.15344#J1YB |
| MBXJNNA7JZ | MBXJNNA7JZ | 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.40054#R7ER |
| MBXSYQ70P9 | MBXSYQ70P9 | 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.16853#I318 |
| MBY0NTTCZA | MBY0NTTCZA | 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.06806#IXDT |
| MBYMBEHQSA | MBYMBEHQSA | exercise | open | lebl_scv scv.tex#exercise-216 |
| MBYZJ3CF5Q | MBYZJ3CF5Q | exercise | open | lebl_diffyqs ch-eigenvalue-probs.tex#exercise-24 |
| MBZ3NC60MY | MBZ3NC60MY | 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.24917#EJBP |
| MBZRT0ZCJG | MBZRT0ZCJG | proof | open | ernst_ibl MAAPressVersion/MoreQuantification.tex#proof-1 |
| MC0GFG6T31 | MC0GFG6T31 | 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.06321#VHQ0 |
| MC0PDWNA18 | MC0PDWNA18 | 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 2412.12141#Q08B |
| MC1SST0HFM | MC1SST0HFM | 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.11386#4K0C |
| MC1WFGKGNX | MC1WFGKGNX | 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.16225#F7VD |
| MC1X6AAT40 | MC1X6AAT40 | 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.18016#QAAW |
| MC29P8K8B4 | MC29P8K8B4 | 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 2110.06338#I753 |
| MC2V3ATX0A | MC2V3ATX0A | definition | open | open_logic content/many-valued-logic/three-valued-logics/kleene.tex#defn-2 |
| MC404DKMR2 | MC404DKMR2 | 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.32078#GTEP |
| MC4CTHXRC6 | MC4CTHXRC6 | 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.32233#67JX |
| MC4YX3K3T8 | MC4YX3K3T8 | 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.18277#S70O |
| MC56GYE4D2 | MC56GYE4D2 | 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.01441#XH3Q |
| MC5B494VZ3 | MC5B494VZ3 | example | open | levin_dmoi ptx/sec_seq-polyfit.ptx#example-1 |
| MC650G2W18 | MC650G2W18 | proof | open | open_logic content/first-order-logic/natural-deduction/soundness.tex#proof-2 |
| MC6AVXD17R | MC6AVXD17R | 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.21507#2VEP |
| MC6KA300JG | MC6KA300JG | 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.25111#K9KL |
| MC6SMN5V9H | MC6SMN5V9H | exercise | open | lebl_ra ch-riemann.tex#exercise-30 |
| MC7D1TT5GS | MC7D1TT5GS | 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.14060#IRK1 |
| MC7PKF29Y7 | MC7PKF29Y7 | 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 2110.11143#F9NY |
| MC7S8QBD6E | MC7S8QBD6E | 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.01411#5ILR |
| MC83DWFRJ7 | MC83DWFRJ7 | 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.06746#BPSG |
| MC86B2XJN5 | MC86B2XJN5 | 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.14060#EES6 |
| MC8FT7CN6Q | MC8FT7CN6Q | 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.16706#47O0 |
| MC8G4RB9SS | MC8G4RB9SS | example | open | applied_combinatorics source/s_probability_discrete-random-variables.ptx#example-2 |
| MC8WSR2BQP | MC8WSR2BQP | problem | 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.29838#QLTE |
| MC8YH36XJ9 | MC8YH36XJ9 | 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 1304.4839#OTCP |
| MC9B85JWPB | MC9B85JWPB | 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.12427#FEAY |
| MC9GZKN09T | MC9GZKN09T | 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.28411#ST06 |
| MC9PJAJ6VJ | MC9PJAJ6VJ | proof | open | open_logic content/computability/recursive-functions/examples.tex#proof-2 |
| MCA985339Y | MCA985339Y | statement | open | austin_ula src/section7-2.xml#prop-quadform-extrema |
| MCAFT6CTV4 | MCAFT6CTV4 | 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.36377#8TRI |
| McAloon | NCYTZGPMX7 | 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.24190#RXNQ |
| MCAYCKWA27 | MCAYCKWA27 | 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.29393#S3MV |
| MCBAQAWMF7 | MCBAQAWMF7 | 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.00241#FG96 |
| MCBWD1AHR8 | MCBWD1AHR8 | 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.16332#FW8U |
| MCBYRVK7JR | MCBYRVK7JR | 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.24314#MMBQ |
| McCarthy 91 function | YXQ4BNPQTF | unknown | open | Wikidata Q3075198, MathWorld McCarthy91-Function |
| MCCJW86YP9 | MCCJW86YP9 | 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.30363#7I58 |
| McCoy's Theorem | MRYCA0TT1H | statement | open | Wikidata Q97621521, MathWorld McCoysTheorem |
| MCCP5PHPKX | MCCP5PHPKX | 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 2605.02634#F5OX |
| MCD0SR5FBQ | MCD0SR5FBQ | proof | open | levin_dmoi ptx/sec_logic-proofs.ptx#proof-8 |
| MCD1JZ775D | MCD1JZ775D | 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.17240#3OLR |
| MCD2241WZA | MCD2241WZA | 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.02061#T6JV |
| MCDEPXJBH6 | MCDEPXJBH6 | 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 2211.14214#LBXQ |
| McDiarmid's inequality for Markov chains | XC8ZMXE3F7 | 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.34731#H99E |
| McDiarmid-type inequality for dependent random variables | V1NDM2PK4X | 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.34731#YGH9 |
| MCE9GANV2H | MCE9GANV2H | 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 2406.06762#FT71 |
| MCENN84ZV9 | MCENN84ZV9 | 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.09113#Y7BB |
| MCEV5WM41Z | MCEV5WM41Z | exercise | open | lebl_ra ch-riemann.tex#exercise-26 |
| MCF7YF2KAF | MCF7YF2KAF | 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.12047#SIR4 |
| MCFHFNW58V | MCFHFNW58V | 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.06707#MR5O |
| MCFNHDR384 | MCFNHDR384 | 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.02481#FUDR |
| MCFVB4R2J0 | MCFVB4R2J0 | 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.10930#PZ07 |
| MCG2C3B9EJ | MCG2C3B9EJ | 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.35307#6GZJ |
| MCG896Z10A | MCG896Z10A | 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.34193#UHEI |
| McGee graph | S0DC4SYDX1 | unknown | open | Wikidata Q926016, House of Graphs 1223, MathWorld McGeeGraph |
| MCGKEZ4R5J | MCGKEZ4R5J | 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.04046#X29Z |
| MCGWP28HF0 | MCGWP28HF0 | 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 2205.09049#B3XF |
| MCJAT4YTFE | MCJAT4YTFE | 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.01915#0PHF |
| MCJQB4A9S5 | MCJQB4A9S5 | 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.24325#VBWW |
| MCJRPP8HBM | MCJRPP8HBM | 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.10372#9EJ5 |
| MCK1MGGGGR | MCK1MGGGGR | 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.29205#VJZQ |
| McKay graph | NMWZQG6VVC | unknown | open | Wikidata Q6801707, nLab McCay quiver |
| MCKDEDZCJY | MCKDEDZCJY | 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#IG2C |
| MCKFW09KT2 | MCKFW09KT2 | 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.01228#L9B8 |
| MCKTP45443 | MCKTP45443 | 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.16554#H3GC |
| MCKZJGBHG8 | MCKZJGBHG8 | 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.01802#8A4Z |
| McLaughlin graph | GB5ZHJK2YG | unknown | open | Wikidata Q3115513, MathWorld McLaughlinGraph |
| McLaughlin group | M5YMNQB76P | unknown | open | Wikidata Q997257, MathWorld McLaughlinGroup |
| MCMB35K9MK | MCMB35K9MK | example | open | napkin tex/cats/functors.tex#example-2 |
| MCMR5D0B08 | MCMR5D0B08 | definition | open | hott_book reals.tex#defn:dedekind-reals |
| McMullen, 2000 | 6K6RXP6AVZ | 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.13347#IBRS |
| MCMWY4EZ42 | MCMWY4EZ42 | 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 2207.11097#4J2E |