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 2301–2400 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Mertens conjecture | WGXQK6C49A | conjecture | open | Wikidata Q2600201, MathWorld MertensConjecture |
| Mertens function | N85WAFZXFA | concept | open | Wikidata Q841254, MathWorld MertensFunction |
| Mertens' second theorem | 3DNQ01T9VN | statement | open | Wikidata Q118176598, MathWorld MertensSecondTheorem |
| Mertens' theorems | TKGVZGBN9G | statement | open | mathlib_1000 Q1196729, Wikidata Q1196729, thousand_plus Q1196729, Wikipedia Mertens's theorems, MathWorld MertensTheorem |
| Mesh invariance of evolutionary entropy | T4237EAKD3 | 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.15466#W71I |
| Mesh invariance of reconstructed cycle entropy | 38D4KB8EZ5 | 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.15466#0VHU |
| Mesh invariance of reproductive potential | 2DA27637B2 | 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.15466#NFFR |
| meson | 7CY1SCB6BQ | unknown | open | Wikidata Q102742, nLab meson |
| Mesoscopic CLT in the bulk | E1XHKK4AK4 | 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.25301#KIHB |
| Mess | ZEFTT4YTTP | 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 1709.08958#YIQ2 |
| Message bounded by branch mass | AN4AY2P13J | 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.39633#RRCA |
| Message estimate | 5C1TXXP223 | 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.20414#U58E |
| Messier 87 | ZFHHRDRATG | unknown | open | Wikidata Q14041, nLab Messier 87 |
| MET behavior in the sphere | HKEG6QAKDT | 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.05056#IHF6 |
| MET Comparison Theorem | RRZBWVPEQF | 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.05056#43LT |
| MET Divergence on Minimal Spherical Tubes | ZCF4KVJSN8 | 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.05056#62YZ |
| MET130TKZ6 | MET130TKZ6 | 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.20273#JO6R |
| Meta-No Free Lunch | HSSVRWGWYF | 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.34458#JQIV |
| metabelian group | SRAZDKJX83 | unknown | open | Wikidata Q6822327, MathWorld MetabelianGroup, nLab metabelian group |
| metabiaugmented dodecahedron | 6HSQ069D76 | object | open | Wikidata Q2522978, MathWorld MetabiaugmentedDodecahedron |
| metabiaugmented hexagonal prism | 1RVJ6VBMAR | object | open | Wikidata Q2672414, MathWorld MetabiaugmentedHexagonalPrism |
| metabiaugmented truncated dodecahedron | 3HKQ3333W0 | object | open | Wikidata Q669613, MathWorld MetabiaugmentedTruncatedDodecahedron |
| metabidiminished icosahedron | E7V7SPDYQF | object | open | Wikidata Q2293574, MathWorld MetabidiminishedIcosahedron |
| metabidiminished rhombicosidodecahedron | XQSC618QKM | object | open | Wikidata Q2391977, MathWorld MetabidiminishedRhombicosidodecahedron |
| metabigyrate rhombicosidodecahedron | RZYB35QXJC | object | open | Wikidata Q931149, MathWorld MetabigyrateRhombicosidodecahedron |
| metacompact space | 5M1E677N6G | definition | open | Wikidata Q6822437, nLab metacompact space, ProofWiki Definition:Metacompact_Space |
| metacyclic group | EJADFVKKQF | unknown | open | Wikidata Q6822469, MathWorld MetacyclicGroup |
| metagyrate diminished rhombicosidodecahedron | P87S45WRMX | object | open | Wikidata Q2182515, MathWorld MetagyrateDiminishedRhombicosidodecahedron |
| metal | RQCZKFHMQ5 | definition | open | Wikidata Q11426, nLab metal, ProofWiki Definition:Metal |
| Metamath | N6VR896JYC | unknown | open | Wikidata Q6822975, nLab Metamath |
| metamathematics | MPWVXHNRGX | topic | open | Wikidata Q903508, MathWorld Metamathematics |
| metaphysics | N5Y82YSRJS | unknown | open | Wikidata Q35277, nLab metaphysics |
| metaplectic group | FMH6CPEKBJ | unknown | open | Wikidata Q17098877, MathWorld MetaplecticGroup, nLab metaplectic group |
| metaplectic structure | DR71X0ENKC | unknown | open | Wikidata Q6823154, nLab metaplectic structure |
| Metastable seminorm | ENRBPQ2RMA | 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.40214#8DU9 |
| metatheorem | 280WH217EE | unknown | open | Wikidata Q2384512, MathWorld Metatheorem |
| metatheory | GQYA0SH4HY | unknown | open | Wikidata Q1096708, MathWorld Metatheory |
| metatheory | KWJD70DRPY | concept | open | hott_book index/4.4/metatheory |
| Metelmann characterization, recalled | TEZ6BQQ5FS | 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.08568#56E7 |
| meteorology | MKXM6VKWQW | unknown | open | Wikidata Q25261, EoM Meteorology,_mathematical_problems_in |
| method | ZVGFP4WAVB | unknown | open | Wikidata Q1799072, MathWorld Method |
| method of constant variation (Duhamel’s formula) | GRVZSWKQG3 | unknown | open | mathlib_undergrad Multivariable calculus > Differential equations > method of constant variation (Duhamel’s formula) |
| method of exhaustion | R21EW07A28 | definition | open | Wikidata Q865019, MathWorld MethodofExhaustion, ProofWiki Definition:Method_of_Exhaustion |
| Method of Fluxions | QG1VS7FZ7Z | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q3074567, ProofWiki Book:Isaac_Newton/Method_of_Fluxions_and_Infinite_Series |
| Method of Frobenius | P7GJD3RHMH | statement | open | lebl_diffyqs ch-power-ser.tex#theorem-3 |
| Method of moments | V6TNQG97C9 | 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.16180#NLYF |
| Method of types | 8FPP0TK3EY | 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.03814#9LKZ |
| methods of computing square roots | 6X4G2WGRJ1 | unknown | open | Wikidata Q1197114, MathWorld SquareRootAlgorithms |
| metre | 3V6FKGCTKM | definition | open | Wikidata Q11573, ProofWiki Definition:Metric_System/Length/Metre |
| metre per second | XJHKS73HVN | definition | open | Wikidata Q182429, ProofWiki Definition:Velocity/Unit/Metre_per_Second |
| metre per square second | XKJB2RD622 | definition | open | Wikidata Q1051665, ProofWiki Definition:Acceleration/Unit/Metre_per_Second_Squared |
| metric and boundary properties | 4DR2GF3HM8 | 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.00916#AP4B |
| Metric Cobordisms | TT7RNGQ8B3 | 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.03384#JK7G |
| Metric composition law | FKPJKWKM90 | 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.14154#2FJT |
| Metric covariance | NWXW263CH3 | 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#SO1I |
| Metric dense-rigidity transfer | WW20YZR2B2 | 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.10077#S2QH |
| metric dimension | YC52VBN3V4 | unknown | open | Wikidata Q17152964, MathWorld MetricDimension |
| Metric Dynamical System | 4DJM81YQ37 | 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.06321#V5GO |
| Metric Entropy Manifold Adaptation | KWWYKG4DYX | 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.21340#AHKU |
| Metric entropy of the space of probability measures | VJVVQVSDMJ | 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#ECB6 |
| metric function | 472YK7XHHJ | definition | open | Wikidata Q865746, MathWorld Metric, ProofWiki Definition:Metric_Space/Distance_Function |
| metric geometry | Z4MG1VENYS | topic | open | Wikidata Q122488935, ProofWiki Definition:Metrical_Geometry |
| Metric lacunarity law | REPNVQMEA6 | 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#850L |
| Metric Length Dependence | GGT1N27CBW | 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.03384#TXDE |
| Metric lifting | 7J9XDQ2NDD | 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.26984#OQIE |
| Metric measure spacetime | QB47GTE33Q | 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.21775#ISQV |
| Metric on a real trace leaf | SYT6F0ATNX | 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.26269#PXNZ |
| Metric On Paths | ENC3PD5832 | 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.31352#W6KB |
| Metric privacy | KRSMV4CAGW | 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 2204.09167#4UND |
| Metric property | QM3C9D8RQN | 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.08152#R4ZT |
| metric relations in the triangle | 2Q6ZAJ267W | unknown | open | mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > metric relations in the triangle |
| metric signature | N79SNX9T2B | unknown | open | Wikidata Q92079911, MathWorld MetricSignature |
| metric space | FGBWEWECD6 | concept | open | hott_book index/B.5/metric-space |
| metric space | X9NDKZ1MNX | concept | node (a node has the same name as the row) | mathlib_overview Topology > Metric spaces > metric space, Mathlib MetricSpace, Wikidata Q180953, EoM Metric_space, MathWorld MetricSpace, nLab metric space, ProofWiki Definition:Metric_Space |
| Metric spaces of $\RR$ | 5Q39EMXPAV | example | open | napkin tex/topology/metric-top.tex#example-1 |
| Metric spaces of $\RR^2$ | Z1AZBAQK51 | example | open | napkin tex/topology/metric-top.tex#example-2 |
| Metric spaces of $\RR^n$ | AZ7HZ9066M | example | open | napkin tex/topology/metric-top.tex#example-4 |
| Metric spacetimes | 3X0PQNB0K6 | 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.10051#8HKN |
| Metric spacetimes | XEQMW01H7T | 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.21775#MYXW |
| metric structure | ZA12YWDTJ1 | unknown | open | mathlib_undergrad Single Variable Real Analysis > Topology of R > metric structure, Mathlib Real.metricSpace |
| metric system | WJ0T2RZCP7 | definition | open | Wikidata Q232405, ProofWiki Definition:Metric_System |
| metric tensor | 5B8CARN9JA | unknown | open | Wikidata Q757269, EoM Metric_tensor, MathWorld MetricTensor |
| Metric triangular cycles | 936H02RAKA | 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#G4JI |
| Metric variables and auxiliary equation | 8V9ERC9BEZ | 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.18788#TFLO |
| Metric version of Carathéodory's theorem | CQAKF2X1SV | 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.17909#TK8G |
| metrizable space | NXKZZ33W0E | statement | node (a node has the same name as the row) | mathlib_1000 Q1194053, Mathlib TopologicalSpace.metrizableSpace_of_t3_secondCountable, Wikidata Q1194053, thousand_plus Q1194053, Wikipedia Metrization theorems, ProofWiki Definition:Metrizable_Topology |
| Metrodorus | 14NPVYZB7C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6824823, ProofWiki Mathematician:Metrodorus |
| Meusnier's theorem | N5QWVM2SZY | statement | open | mathlib_1000 Q4454989, Wikidata Q4454989, thousand_plus Q4454989, Wikipedia Meusnier's theorem, EoM Meusnier_theorem |
| MEVGCWFYDR | MEVGCWFYDR | 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.02174#PUSH |
| MEVX8JVG60 | MEVX8JVG60 | 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.16203#N7GG |
| MEVZ2Y9MM2 | MEVZ2Y9MM2 | 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 2302.06336#PJPL |
| MEW6EDA89K | MEW6EDA89K | 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.02017#HEMB |
| MEWVV9YSMP | MEWVV9YSMP | 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.02379#POOG |
| MEWWCA8PVN | MEWWCA8PVN | 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.25275#QRRS |
| mex | 8WTFHJFK6Y | unknown | open | Wikidata Q6825699, MathWorld Mex |
| MEXW4N0N9E | MEXW4N0N9E | statement | open | napkin tex/calculus/integrate.tex#theorem-3 |
| MEY9CGCMGE | MEY9CGCMGE | 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.35542#PLID |
| MEYAX7ETK3 | MEYAX7ETK3 | 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.11545#S7AA |
| Meyer Bockstein | H3KRBZQFPV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6826405, nLab Meyer Bockstein |
| Meyer--Zheng tightness criterion | FRN2MB4JHC | 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.29205#XFNG |