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 2201–2300 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| megaflops | SVAB7KBGAR | definition | open | Wikidata Q66778809, ProofWiki Definition:Megaflop |
| megapascal | QHQDEC6FRG | definition | open | Wikidata Q21062777, ProofWiki Definition:SI/Pressure/Megapascal |
| MEGE6HMXYT | MEGE6HMXYT | statement | record (an 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.34011#WIV6 |
| megiston | 36ADHX06BQ | unknown | open | Wikidata Q21194229, MathWorld Megistron |
| MEGX5YK07E | MEGX5YK07E | 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.28141#MZ9W |
| MEGYKWJQ43 | MEGYKWJQ43 | statement | record (an 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.24465#RX9O |
| MEGZ9FEQQ6 | MEGZ9FEQQ6 | statement | record (an 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.32338#Z6H8 |
| MEHFK4045Y | MEHFK4045Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#0P67 |
| MEHJFKAZQ1 | MEHJFKAZQ1 | exercise | open | napkin tex/rep-theory/semisimple.tex#prob:dten_irrep |
| MEHQQC497N | MEHQQC497N | statement | record (an 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.17736#2KT3 |
| Mehrnoosh Sadrzadeh | 1JE5F6G7Z0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q60487980, nLab Mehrnoosh Sadrzadeh |
| MEHTDCAA6W | MEHTDCAA6W | statement | record (an 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#XQIW |
| Meier | HQ6ZZCH69N | 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 1911.06467#U1TF |
| Meier-Luenberger conditions | 8NE8YW020W | statement | record (an 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.16249#O987 |
| Meier-Meinert-VanWyk, 1998 | SFXCR12K62 | statement | record (an 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.09704#DH3Y |
| Meijer G-function | FWK9X1VW4Z | unknown | open | Wikidata Q1917756, MathWorld MeijerG-Function |
| Meinert, 1995 | QPNDEAR9MT | statement | record (an 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.09704#RSCR |
| Meissel–Mertens constant | 3GEF92462S | object | open | Wikidata Q1918289, MathWorld MertensConstant, OEIS A077761 |
| Meister Eckhart | FRS97ZAE1X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q76548, nLab Meister Eckhart |
| Meixner–Pollaczek polynomials | VK4JCY2WCE | concept | open | Wikidata Q17098839, MathWorld PollaczekPolynomial |
| MEJ7PD64DS | MEJ7PD64DS | statement | record (an 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.34845#B1TB |
| MEJJBNA0DS | MEJJBNA0DS | example | open | napkin tex/diffgeo/manifolds.tex#example-3 |
| MEJX3BRZCE | MEJX3BRZCE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.09062#OJWI |
| MEK78TJBPM | MEK78TJBPM | statement | record (an 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.05259#DXSG |
| Mellin action of the Rodrigues operators | 6Z08YQRWEG | statement | record (an 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.26110#XH3O |
| Mellin integral of a Bessel mode | 5Y3Y2330XC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.09848#RAF7 |
| Mellin inversion theorem | SJXPP3Q39P | statement | open | mathlib_1000 Q6813106, Mathlib mellinInv_mellin_eq, Wikidata Q6813106, thousand_plus Q6813106, Mathlib mellin_inversion, Wikipedia Mellin inversion theorem |
| Mellin reflection for a reciprocal pair | R4B61APBM2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.09848#9U3N |
| Mellin transform | TS5DRARPHP | unknown | open | Wikidata Q606934, MathWorld MellinTransform, nLab Mellin transform |
| Mellin-compatible transition | DWFG0FRMAM | 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 2501.09848#HA6Q |
| Melvin Hochster | GSEM1ZR3NP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q263909, nLab Melvin Hochster |
| MEM0AEEZAF | MEM0AEEZAF | exercise | open | lebl_scv scv.tex#exercise-169 |
| MEM5DX6W8C | MEM5DX6W8C | statement | record (an 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.03488#31FA |
| member | NS3ZR9T0MZ | concept | open | lebl_ra index/11.9.1/member |
| membership | 211581K9TY | concept | open | hott_book index/A.1/membership |
| membership | 3NEC47NYAH | concept | open | applied_combinatorics index/B.1/membership |
| Membership and factor reconstruction | QBTV2EVDJV | statement | record (an 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.38243#T09I |
| Membership criterion | YYFMNFM6XF | statement | record (an 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.05776#DK86 |
| Membership in the class | 1CYCR1G4P5 | statement | record (an 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.21461#EO9B |
| Membership in the problem class | Q8V3C9ND78 | statement | record (an 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.30877#7SOP |
| MEMKJWAJ30 | MEMKJWAJ30 | statement | record (an 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.04809#1MLN |
| MEMNQD7NBP | MEMNQD7NBP | statement | record (an 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.01346#BX4O |
| Memoirs of the American Mathematical Society | 5ZTR7M2MCR | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q6815285, ProofWiki Book:Journal/Memoirs_of_the_American_Mathematical_Society |
| Memory bound for irreducible orbits | X7SD53ERSA | statement | record (an 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.06742#NG3T |
| Memory bound under residual open dynamics | F6B8A6ZBHQ | statement | record (an 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.40281#QFSP |
| Memory channels | T6CMAS1331 | statement | record (an 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.22308#3TW9 |
| Memory estimation and normalization | 7AP0FEYXR4 | statement | record (an 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.33868#7LY4 |
| Memory-channel strong converse and error trade-off | GS7ERY89X7 | statement | record (an 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.22308#AO96 |
| Memory-dimension lower bound | 7Z35HZC7RP | statement | record (an 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.40281#T3JW |
| Memory-jet tomography | BM9H3KPSKD | statement | record (an 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.13951#173D |
| Memoryless uniform-input information rate | WDVJYYZE5Z | statement | record (an 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#7B9S |
| MEMYPP1Q7R | MEMYPP1Q7R | statement | record (an 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.00625#R2L2 |
| Men of Mathematics | SBXK2K5E4X | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q4992320, ProofWiki Book:Eric_Temple_Bell/Men_of_Mathematics |
| Menaechmus | FMK6NN7265 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q451566, ProofWiki Mathematician:Menaechmus |
| Mendel--Naor | 1T8TJYVV8N | 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.21445#U0GM |
| Mendel--Naor | DF3SNAJFAV | 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 2610.21445#LABV |
| Menelaus of Alexandria | ARBWYWG3DB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q451572, ProofWiki Mathematician:Menelaus_of_Alexandria |
| Menelaus' theorem | 75VQAWR56D | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q193882, Wikidata Q193882, thousand_plus Q193882, Wikipedia Menelaus's theorem, MathWorld MenelausTheorem, ProofWiki Menelaus's_Theorem |
| MENFSHP1Y0 | MENFSHP1Y0 | statement | record (an 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.36423#3X69 |
| Menger sponge | 1FG635CBMH | concept | open | Wikidata Q749773, MathWorld MengerSponge |
| Menger's theorem | 9XGJ72T9JB | statement | open | arXiv 2610.01946#EEVW, arXiv 2610.20391#VI81, mathlib_1000 Q928813, Wikidata Q928813, thousand_plus Q928813, Wikipedia Menger's theorem |
| MENTH1FPN1 | MENTH1FPN1 | statement | record (an 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.07021#O2WM |
| MENXXQCADK | MENXXQCADK | statement | record (an 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.19023#Q2NE |
| MEP39RTDBQ | MEP39RTDBQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.04317#A9WM |
| MEP95HFJVH | MEP95HFJVH | statement | record (an 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.12502#8VRM |
| MEQ36NJ1VS | MEQ36NJ1VS | 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.01473#HOWS |
| Mercator series | CPB7YG1KVW | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q677568, MathWorld MercatorSeries |
| Mercer's theorem | FN1M6BQN7E | statement | open | mathlib_1000 Q1716166, Wikidata Q1716166, thousand_plus Q1716166, Wikipedia Mercer's theorem |
| Mercury | 60V6A54N8H | definition | open | Wikidata Q308, ProofWiki Definition:Mercury_(Planet) |
| mercury | X2EGPYRD9W | definition | open | Wikidata Q925, ProofWiki Definition:Mercury_(Chemical_Element) |
| mere proposition | 3B0TV5QWFG | concept | open | hott_book index/9.3/mere-proposition |
| mere proposition | GPTQBJ65Y7 | concept | open | hott_book index/9.5/mere-proposition |
| mere proposition | RXNZFX4B0T | concept | open | hott_book index/9.10/mere-proposition |
| Meredith graph | 7KTTX8P50V | unknown | open | Wikidata Q3115517, House of Graphs 1225, MathWorld MeredithGraph |
| merely | 462G6XDGZC | concept | open | hott_book index/6.7/merely |
| mereology | 43HY0WG938 | unknown | open | Wikidata Q1194916, nLab mereology |
| Meretov, 1987; Estermann--Dahlquist | KPRYG86RG6 | statement | record (an 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.13658#GKKG |
| merge sort | 208WMV3VZC | concept | open | applied_combinatorics index/3.5.2/merge-sort |
| merge sort | NMVR3TS0E3 | unknown | open | Wikidata Q189057, MathWorld MergeSort |
| Mergelyan | JV2GDPW3D6 | statement | open | lebl_scv scv.tex#thm:mergelyan |
| Mergelyan's theorem | 2NYQF7WDWF | statement | open | mathlib_1000 Q1964537, Wikidata Q1964537, thousand_plus Q1964537, Wikipedia Mergelyan's theorem |
| Mergelyan's theorem | BSQ7ED3J6E | concept | open | lebl_scv index/B/mergelyan-s-theorem |
| Merger is an equivalence relation | 4ZNX414PG9 | statement | record (an 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#V8ZL |
| Merging component penalties | G19BJE15DD | statement | record (an 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.34025#VUKZ |
| Merging height-dominated parts | 9ZB5X4ZQGY | statement | record (an 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.31811#4A4Y |
| merging two nodes | 6S71Z98YCY | statement | record (an 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.18803#OUKS |
| meridian | A6M9Q7SEFZ | concept | open | hott_book index/5.7/meridian |
| meridian | FMP0KZD2X4 | definition | open | Wikidata Q32099, ProofWiki Definition:Meridian_(Terrestrial) |
| Meridional Intersection Patterns | M5W0KP3VGT | 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.09422#PDTA |
| Meringer graph | GSHWJV66MC | unknown | open | Wikidata Q3115514, House of Graphs 1227, MathWorld MeringerGraph |
| Mermin–Wagner theorem | Y1X5YVDNA7 | statement | open | mathlib_1000 Q1547975, Wikidata Q1547975, thousand_plus Q1547975, Wikipedia Mermin–Wagner theorem |
| Meromorphic expansion of the resolvent kernel | MY6QZKHEWT | statement | record (an 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.08011#JKQL |
| meromorphic function | MHHPVR488Y | unknown | node (a node has the same name as the row) | Wikidata Q217616, MathWorld MeromorphicFunction, nLab meromorphic function |
| meromorphic functions | 8TKC3Q5VRG | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > meromorphic functions |
| Mersenne conjectures | 1WX7GPDNJN | unknown | open | Wikidata Q2739186, MathWorld NewMersennePrimeConjecture, MathWorld WagstaffsConjecture |
| Mersenne number | 4GNB3KXZRE | unknown | node (a node has the same name as the row) | Wikidata Q10338607, MathWorld MersenneNumber, OEIS A000225 |
| Mersenne number with prime index | DJ3TJY4FXZ | object | open | Wikidata Q67182782, OEIS A001348 |
| Mersenne prime | 2SS5TM8RA6 | concept | node (a node has the same name as the row) | Wikidata Q186875, MathWorld MersennePrime, OEIS A000668 |
| Mersenne's laws | QFC7TWE383 | statement | open | Wikidata Q6820536, ProofWiki Mersenne's_Laws |
| Mertens , Propositions 3.1 and 3.2 | 3XBNVRKH43 | statement | record (an 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.07741#9QG2 |