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 3701–3800 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Moon | Y5D12128XQ | definition | open | Wikidata Q405, ProofWiki Definition:Moon |
| Moore (29.4 | YQ190311C3 | statement | record (an 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.20760#1GZM |
| Moore and Robson | S7WPZJZJGM | statement | record (an 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.15402#ICCC |
| Moore bound | 1YEY238BWB | statement | record (an 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.28518#4GV8 |
| Moore code | R1BPB7EFNF | 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.08664#L4RB |
| Moore graph | 3FE0X5KB5K | unknown | open | Wikidata Q3115522, MathWorld MooreGraph |
| Moore machine | J8SFG4JPP4 | unknown | open | Wikidata Q640119, nLab Moore machine |
| Moore Matrix | 8GP2PXQJZ7 | 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.32834#A15E |
| Moore matrix and determinant | W78T0JHZ02 | 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.08664#4R62 |
| Moore method | 6A4HXNVDY0 | definition | open | Wikidata Q3333612, ProofWiki Definition:Moore_Method |
| Moore neighborhood | RG2929WFC5 | unknown | open | Wikidata Q1594663, MathWorld MooreNeighborhood |
| Moore space | 66GVW56N3D | unknown | open | Wikidata Q4381562, EoM Moore_space, nLab Moore space |
| Moore spaces | R0E6NS6CVT | exercise | open | napkin tex/homology/cellular.tex#problem-2 |
| Moore-Penrose inverse | AERZJYWK3S | 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.07064#DUPG |
| Moore-Penrose psuedoinverse | Y0CXB0GBN1 | concept | open | austin_ula index/7.5.2/moore-penrose-psuedoinverse |
| Moore–Penrose inverse | Z0BK2ZVY1Y | concept | node (a node has the same name as the row) | Wikidata Q43219517, MathWorld Moore-PenroseMatrixInverse |
| Morally correct definition of norm and trace | PJEXKD3D3V | statement | open | napkin tex/alg-NT/norm-trace.tex#theorem-1 |
| Morava K-theory | ARM90E061C | unknown | open | Wikidata Q6909307, nLab Morava K-theory |
| Mordechai Ben-Ari | G17MK32V1H | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6909646, ProofWiki Mathematician:Mordechai_Ben-Ari |
| Mordehai Milgrom | EVA0GM8M8C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1389108, nLab Mordehai Milgrom |
| Mordell | ZNDP0X7QR9 | statement | record (an 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.14841#GG4A |
| Mordell, 1922 | K0ED4ERC8D | statement | record (an 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.27049#XBWT |
| Mordell–Weil theorem | N9M37MPH9E | statement | open | mathlib_1000 Q284960, Wikidata Q284960, thousand_plus Q284960, Wikipedia Mordell–Weil theorem, LMFDB knowl ec.mordell_weil_theorem, MathWorld Mordell-WeilTheorem |
| More branches | BBEY4D1T2G | statement | record (an 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.38220#2YDS |
| More challenging | 3HD6S95Y6S | exercise | open | lebl_ra ch-riemann.tex#exercise-53 |
| more challenging | TF92K9GZZS | exercise | open | lebl_diffyqs ch-eigenvalue-probs.tex#exercise-8 |
| More complicated $L(-)$ spaces | 78S9PWVMW1 | example | open | napkin tex/riemann-surface/riemann-roch.tex#example-2 |
| More exact sequences | TJ50AKY5SK | example | open | napkin tex/cats/abelian.tex#example-4 |
| More examples of bases | PCJ1YZN72F | example | open | napkin tex/linalg/vector-space.tex#example-7 |
| More examples of multiplicity of a map at a point | ZJ1Y0FQW0N | example | open | napkin tex/riemann-surface/morphism.tex#example-5 |
| More hierarchical lattices | 47NVYE006M | 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.35102#VWMA |
| More product spaces | H1TGDS7ZB1 | example | open | napkin tex/topology/constructions.tex#example-4 |
| More quotient spaces | Q6CJHEX3P5 | example | open | napkin tex/topology/constructions.tex#example-2 |
| More sparsity implies more grokking | VZNZG0R1DK | statement | record (an 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#U95N |
| More than two colors | RC3PZRPF3E | statement | record (an 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.40288#0SBK |
| Moreau Envelope Preserves Weak Quasar-Convexity | RNQYNAYQ4W | statement | record (an 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.10927#FM3L |
| Moreau envelope regularity | KYKCN0JB8X | statement | record (an 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.39736#85MO |
| Moreau envelopes of support functions | SC4B4ZTCCE | statement | record (an 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.26873#8G0S |
| Moreau's theorem | HVPPSAGD2G | statement | open | mathlib_1000 Q6911202, Wikidata Q6911202, thousand_plus Q6911202, Wikipedia Moreau's theorem |
| Morera | NTZ68QW3R2 | statement | open | lebl_scv scv.tex#thm:onevarmorera |
| Morera's theorem | CEBY8N0NQX | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1140119, Mathlib Complex.isConservativeOn_and_continuousOn_iff_isDifferentiableOn, Wikidata Q1140119, thousand_plus Q1140119, Wikipedia Morera's theorem, EoM Morera_theorem, MathWorld MorerasTheorem |
| Morihiko Saitō | HY19DFJ27P | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q11500633, nLab Morihiko Saito |
| Morisawa's outcome criterion | 3GDY6FXRQN | statement | record (an 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.06925#OIWT |
| Morita equivalence | FWKYMY6S69 | unknown | open | Wikidata Q6912366, nLab Morita equivalence |
| Moritz Kerz | QVTRFE43ZK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1947971, nLab Moritz Kerz |
| Morley's categoricity theorem | ZEX1QZJEP9 | statement | open | mathlib_1000 Q15830473, Wikidata Q15830473, thousand_plus Q15830473, Wikipedia Morley's categoricity theorem |
| Morley's trisector theorem | 6FQEGQPNDM | statement | open | mathlib_1000 Q913447, Wikidata Q913447, thousand_plus Q913447, Wikipedia Morley's trisector theorem, MathWorld MorleysTheorem |
| Morley’s Theorem | BKJD1FBG8Y | statement | open | mathlib_100 84 |
| Morocco | Y3VQMH6VP4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1028, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Morocco, Wikidata Q293608 |
| morphism | 70K5YRHVN8 | definition | open | Wikidata Q1948412, MathWorld Morphism, nLab morphism, ProofWiki Definition:Morphism |
| morphism of finite type | 2H7E70KZKM | definition | open | Wikidata Q112108702, nLab morphism of finite type, ProofWiki Definition:Morphism_of_Schemes_of_Finite_Type |
| morphism of schemes | B19HPYR39N | definition | open | Wikidata Q25303616, nLab morphism of schemes, ProofWiki Definition:Morphism_of_Schemes |
| Morrey decay of the energy | QCQW1HSETH | statement | record (an 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.00339#MI08 |
| Morrey's embedding | V1QF4CYH5Y | statement | record (an 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.15111#R628 |
| Morrie's law | PCEXCJ18KK | statement | open | Wikidata Q1048488, MathWorld MorriesLaw |
| Morris Hirsch | PYPDPD660F | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q472127, nLab Morris Hirsch |
| Morrison, Nir, Norin, Rz\k{a}\.zewski and Wesolek | 2869HTA18X | statement | record (an 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.25038#DKUU |
| Morse domains | C3YYHPBQRK | statement | record (an 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.26665#FKZ7 |
| Morse Function | 8ASXYSP7CM | 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.01937#NOM9 |
| Morse function | SMMF5Q947W | concept | open | Wikidata Q4493451, nLab Morse function |
| Morse homology | 6YA0TJM0VV | concept | open | Wikidata Q3139850, nLab Morse homology |
| Morse Index | TZ6W38ZTQE | 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.01937#BJV4 |
| Morse Lyapunov functions do not always exist | S38T7M946W | statement | record (an 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.05626#BLXW |
| Morse potential | P16J44ZJ95 | unknown | open | Wikidata Q1783557, nLab Morse potential |
| Morse Skeleton Representation of Graphs | MGTN16T9PA | 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.01937#3CE2 |
| Morse structure of the truncated phase observable | ZCAG3QVERY | statement | record (an 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.27962#GY9I |
| Morse theorem | PHCSYBXZQ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#MIO9 |
| Morse theory | XAH89DKQWT | topic | open | Wikidata Q2296951, MathWorld MorseTheory, nLab Morse theory |
| Morse-causal admissibility of the Lorentzian region | BHWJRZR1K5 | statement | record (an 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.27136#D7K4 |
| Morse–Kelley set theory | YY132HRFRT | unknown | open | Wikidata Q3490369, nLab Morse-Kelley set theory |
| mortgage loan | SHZ5BABBR6 | unknown | open | Wikidata Q1210094, MathWorld Mortgage |
| Morton Brown | 897VR9KBBW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1731253, nLab Morton Brown |
| Morton's theorem | D7VM0AZQ1J | statement | open | mathlib_1000 Q6914794, Wikidata Q6914794, thousand_plus Q6914794, Wikipedia Morton's theorem |
| Morton-Silverman Uniform Boundedness Conjecture | DX153S5GG8 | 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 2105.03715#T9X2 |
| Moser | PBCY5HGZR6 | statement | record (an 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.31757#I6LC |
| Moser estimates | XZWQ686T3P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.20385#9KCO |
| Moser estimates | Z4W5Y18YBX | statement | record (an 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.37593#QEIG |
| Moser spindle | XRP9CWVNNC | unknown | open | Wikidata Q1443782, House of Graphs 702, MathWorld MoserSpindle |
| Moser--Trudinger inequality | DK6DM5F8SK | statement | record (an 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.25449#XUGX |
| Moser–De Bruijn sequence | WMVMZYEXBW | object | open | Wikidata Q28405345, MathWorld Moser-deBruijnSequence, OEIS A000695 |
| Moses Schönfinkel | 78B9XQZD7Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q45113, nLab Moses Schönfinkel |
| Moshé Flato | CNJTPS9PZ7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1949272, nLab Moshé Flato |
| Mosquera--Shmerkin | GW6HCCT0DK | statement | record (an 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.21899#73UW |
| Moss Sweedler | MYN5Q5FBBP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q16864486, nLab Moss Sweedler |
| Moss's Egg | Y3A28QGHBV | unknown | open | Wikidata Q25099502, MathWorld MosssEgg |
| Most hashes are good | C6P53HMQ0S | statement | record (an 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#GEH1 |
| Mostow rigidity theorem | CQ0X59JQ5V | statement | open | mathlib_1000 Q3984063, Wikidata Q3984063, thousand_plus Q3984063, Wikipedia Mostow rigidity theorem, nLab Mostow rigidity theorem |
| moth graph | VXAFCK02B6 | unknown | open | Wikidata Q3115584, House of Graphs 1232, MathWorld MothGraph |
| Mothebe | BFDCDV6XXW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1607.01095#750X |
| Motion law of $t\mapsto V_t$, cf.\ | ZESFN97EQJ | statement | record (an 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.24451#MJMN |
| motivic cohomology | 1AM3F0Z4YA | unknown | open | Wikidata Q2981889, nLab motivic cohomology |
| Motivic Euler product | Q6Y363WD0P | 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 2106.11898#F9R7 |
| motivic integration | BB1N8XBPRY | concept | open | Wikidata Q17067319, nLab motivic integration |
| motivic L-function | EPQ3H7BYKQ | unknown | open | Wikidata Q17098109, nLab motivic L-function |
| Mott polynomials | W1RWSWW31C | unknown | open | Wikidata Q6918637, MathWorld MottPolynomial |
| Motzkin number | EAA4RAT0HF | object | open | Wikidata Q2915234, MathWorld MotzkinNumber, OEIS A001006 |
| Moufang loop | G8ET4QWBF0 | concept | open | Wikidata Q6918890, MathWorld MoufangLoop, nLab Moufang loop |
| Moufang plane | 9RJ5E9K8ZS | concept | open | Wikidata Q1950188, MathWorld MoufangPlane |
| Mountain pass theorem | BW8D8J931R | statement | open | mathlib_1000 Q6925496, Wikidata Q6925496, thousand_plus Q6925496, Wikipedia Mountain pass theorem |
| movable singularity | 9CT4JJ9X9H | unknown | open | Wikidata Q4367122, nLab movable singularity |