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 1101–1200 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Major arc asymptotic | 17HZVP15E5 | statement | record (an 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#TJZL |
| Major-arc analysis | 365TEPX2HY | statement | record (an 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#XQ9E |
| Majorana completeness | YJPWGHQAGW | statement | record (an 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.00448#UTX9 |
| Majorana spinor | MFRFE69YNB | unknown | open | Wikidata Q21086905, nLab Majorana spinor |
| Majorant for rung 2 | 5M6P35MG5J | statement | record (an 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#S2CI |
| Majorants for Geometric Primitives | XQ95DPEGS8 | statement | record (an 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.12239#JU5K |
| majorization | MAJRAMPE0D | unknown | open | Wikidata Q1994695, MathWorld Majorization |
| MAJVEP8QGK | MAJVEP8QGK | statement | record (an 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.12319#RAKO |
| MAK31J69EY | MAK31J69EY | statement | record (an 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.14837#C794 |
| MAK4M2NRQ5 | MAK4M2NRQ5 | exercise | open | austin_ula src/exercises/exercises6-1.xml#exercise-11 |
| MAKAJP6WFV | MAKAJP6WFV | statement | record (an 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.17717#425C |
| Makeham-term test | XNVBAWFXQM | statement | record (an 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.03685#4G89 |
| Maker's strategy for the \tg | Y7E6PC6X6C | unknown | open | arXiv 2609.38138#525P |
| MAKHVE82W5 | MAKHVE82W5 | statement | record (an 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.12810#XDVN |
| Makoto Natsuume | EKJVTD9BDR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q74425580, nLab Makoto Natsuume |
| Makowsky | 9WB2SAGDFH | statement | record (an 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.25291#X56B |
| Malament–Hogarth spacetime | 1NWSXY7AEA | unknown | open | Wikidata Q6741225, nLab Malament–Hogarth spacetime |
| Malfatti circles | EJ8NEHQE7N | concept | open | Wikidata Q182497, MathWorld MalfattiCircles |
| Malfatti points | S0KZ1YRMZ3 | concept | open | Wikidata Q3925795, MathWorld Ajima-MalfattiPoints |
| Malfatti problem | B9E1RE8NQH | problem | open | Wikidata Q3922308, MathWorld MalfattisProblem |
| Malfatti's problem | DSH0N8527X | problem | open | Wikidata Q3845332, MathWorld MarbleProblem |
| Malgrange preparation theorem | 22WCXY5K1X | statement | open | mathlib_1000 Q6743217, Wikidata Q6743217, thousand_plus Q6743217, Wikipedia Malgrange preparation theorem |
| Malgrange–Ehrenpreis theorem | HX73BK97RW | statement | open | mathlib_1000 Q2226750, Wikidata Q2226750, thousand_plus Q2226750, Wikipedia Malgrange–Ehrenpreis theorem |
| Malgrange–Zerner theorem | EW2QNQQ7DV | statement | open | mathlib_1000 Q107547910, Wikidata Q107547910, thousand_plus Q107547910, Wikipedia Malgrange–Zerner theorem |
| Malliavin calculus | NKM6HEYGKE | unknown | open | Wikidata Q6744166, MathWorld MalliavinCalculus |
| Malliavin representation under the rigidity assumptions | G765F35CN5 | statement | record (an 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.02106#7K3G |
| Malliavin--Stein kernel estimate | RNBS72DZY5 | statement | record (an 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#RBNK |
| Mallows-type permutations | DNK2Z5MY4N | statement | record (an 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.14616#9NHS |
| Maltese cross | ETERXGKEA2 | unknown | open | Wikidata Q225937, MathWorld MalteseCross |
| Malthusian growth model | QA610AQJTT | unknown | open | Wikidata Q2705584, MathWorld MalthusianEquation |
| MAM6NTKEJZ | MAM6NTKEJZ | statement | record (an 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.12640#DJ7B |
| MAMMV6GKPJ | MAMMV6GKPJ | 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 2108.00412#H5KX |
| MAMY3FQ67E | MAMY3FQ67E | statement | record (an 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.23846#4MAJ |
| Man or boy test | KRZV7PFQBR | object | open | Wikidata Q6746453, OEIS A132343 |
| Mandart inellipse | FG65R510CH | unknown | open | Wikidata Q3798421, MathWorld MandartInellipse |
| Mandatory original divisor atoms | NSZWX14QSK | statement | record (an 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.18788#7Z19 |
| Mandelbrot set | DT504X8N7A | concept | open | Wikidata Q257, MathWorld MandelbrotSet, nLab Mandelbrot set |
| Mandelbrot sets of symmetric composition algebras | EKXCSRS9RJ | statement | record (an 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.09544#YTHU |
| MANE48G33T | MANE48G33T | statement | record (an 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#ASK1 |
| Manfredo do Carmo | DQTEQHP00Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15456325, nLab Manfredo do Carmo, ProofWiki Mathematician:Manfredo_Perdigão_do_Carmo |
| manifold | WKFF962V9Y | unknown | open | Wikidata Q203920, EoM Manifold, MathWorld Manifold |
| manifold with boundary | M0XDS2M8M0 | unknown | open | Wikidata Q1333611, MathWorld ManifoldwithBoundary, nLab manifold with boundary |
| manifold, complex | 7VAQA35RCV | concept | open | lebl_scv index/6.5/manifold-complex |
| Manifolds | ST7STDG9AC | 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.26270#QKKX |
| Manifolds embed | CH9G59F09J | statement | record (an 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.26270#34NR |
| Manifolds of lightly compressible fronts | TY6T5EMXTM | statement | record (an 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.01883#DPID |
| Manifolds of lightly compressible periodic waves | V4RMDKZB7V | statement | record (an 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.01883#T5UD |
| Manin–Drinfeld theorem | R0PVX6VNXZ | statement | open | mathlib_1000 Q6749789, Wikidata Q6749789, thousand_plus Q6749789, Wikipedia Manin–Drinfeld theorem |
| MANM66XJ55 | MANM66XJ55 | statement | record (an 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.26001#7H3Q |
| Mann | 4WRWFDF64R | 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.37520#WBG8 |
| Mannila | Z172182PK5 | statement | record (an 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.25291#36S8 |
| Mannque Rho | PRNT0QZ39B | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1890791, nLab Mannque Rho |
| Manuel Moschopoulos | 2RKRY8WMZM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q650448, ProofWiki Mathematician:Manuel_Moschopoulos |
| MANV95JT49 | MANV95JT49 | statement | record (an 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.25307#HPEJ |
| Manvel-type formula | MQ35008WH6 | statement | record (an 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.36389#3DMW |
| Manvel-type formula | SX3NNXNRRS | statement | record (an 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.36389#VOET |
| Many capped gains force signed width | ZDV0ATPFR2 | statement | record (an 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#NS33 |
| Many dice are large | 33MNB4YGXQ | statement | record (an 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.15421#WXEC |
| Many different measures | N6E6ACG6VF | statement | record (an 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.09167#A2NK |
| Many distinct principal sets | WJK7VJC014 | statement | record (an 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.25101#8ZM2 |
| Many large matchings | 2F465B7XTA | statement | record (an 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.26133#2VEB |
| Many-body local return superoperator | TWW09Q54W6 | 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.16351#KHG4 |
| Many-hash code | JKZEQ3PX1X | 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.15631#A4RQ |
| Many-one completeness in one fixed dimension and degree | S253YZ3MBJ | statement | record (an 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.12434#X6T8 |
| Many-one hardness of Lyapunov stability for cubic vector fields | KA1DF38WMA | statement | record (an 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.12434#MJOT |
| many-valued logic | TAJTPZATMZ | topic | open | Wikidata Q185502, EoM Many-valued_logic |
| MANZK0DCFR | MANZK0DCFR | statement | open | hott_book homotopy.tex#lem:s1-decode-encode |
| MANZKCHDF2 | MANZKCHDF2 | 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.12131#1N72 |
| Map coercivity with respect to dual suboptimality | WEA4GYJ3EY | statement | record (an 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.35574#3Q57 |
| map coloring | FYSXVFBDPY | unknown | open | Wikidata Q7712345, MathWorld MapColoring |
| Map count for bad profiles | PE39DNWV91 | statement | record (an 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#JYOB |
| map folding | ZEQEZR3RW8 | problem | open | Wikidata Q6753749, MathWorld MapFolding |
| Map of space $\implies$ map of singular chain complexes | 9YQ75PGFEE | statement | open | napkin tex/homology/singular.tex#lemma-1 |
| map projection | 2EXVR4CBGZ | concept | open | Wikidata Q186386, MathWorld MapProjection |
| map, biholomorphic | AK53CPJCTR | concept | open | lebl_scv index/1.4/map-biholomorphic |
| map, proper | 5147X9V4DD | concept | open | lebl_scv index/1.4/map-proper |
| mapping | YRW004CZXW | unknown | open | Wikidata Q370502, MathWorld Map |
| mapping class group | 122FEVRT5X | unknown | open | Wikidata Q3845212, nLab mapping class group |
| Mapping class groups | BVY9G6CQBX | statement | record (an 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.19787#D7H4 |
| mapping cone | 6Y1R3CETFP | unknown | open | Wikidata Q306560, EoM Mapping-cone_construction, nLab mapping cone |
| mapping cylinder | CTKJQNX458 | unknown | open | Wikidata Q1014869, EoM Mapping_cylinder, nLab mapping cylinder |
| Mapping out of a colimit | MRTTFZPA0W | statement | record (an 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.03865#JA4P |
| mapping-space contractibility | 7X91X2CNXX | statement | record (an 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.15099#CLIO |
| Mapping-torus spin bordism | NH9DQXDX6P | statement | record (an 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.29839#ES4U |
| maps of order complexes | XJ0HG59PJF | statement | record (an 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.15099#G4KG |
| MAPS7S8PNF | MAPS7S8PNF | statement | record (an 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.13877#V3GI |
| MAPW9M43FN | MAPW9M43FN | example | open | hott_book categories.tex#ct:sip-functor-cat |
| MAQXEXWJZY | MAQXEXWJZY | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#proof-1 |
| Marc Henneaux | 2HVQYNECCB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1892639, nLab Marc Henneaux |
| Marc Rieffel | 83XXAM0E6K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15456704, nLab Marc Rieffel |
| Marcel Berger | EB5GE2FE77 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q553949, nLab Marcel Berger |
| Marching soldiers | H3R9Y9FB57 | 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 math/0003117#LY7V |
| Marcinkiewicz theorem | SPENK1NEG4 | statement | open | mathlib_1000 Q6757284, Wikidata Q6757284, thousand_plus Q6757284, Wikipedia Marcinkiewicz theorem |
| Marcinkiewicz--Zygmund Constant of the Test Space | YS0EPGG399 | 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.13222#1DRQ |
| Marcotte-style covariance-level completeness | KQ3FZ8BZFK | statement | record (an 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#ANG2 |
| Marcum Q-function | AE9V6YV99N | unknown | open | Wikidata Q1298498, MathWorld MarcumQ-Function |
| Marden's theorem | 30AE618V2W | statement | open | mathlib_1000 Q1568612, Wikidata Q1568612, thousand_plus Q1568612, Wikipedia Marden's theorem |
| Margin implies skeleton preservation | Z7K3N0R9ZC | statement | record (an 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.01937#JHRC |
| margin of error | 7D9P35S8NC | concept | open | Wikidata Q1352827, MathWorld MarginofError |
| Margin under a nonnegative residual | 3S8H26Z8ZG | statement | record (an 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.33360#P4HH |