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 1501–1600 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Matrix | CAVPZSKKQG | definition | open | open_logic content/many-valued-logic/syntax-and-semantics/matrices.tex#defn:matrix |
| matrix | HF7QXAQQPH | topic | node (a node has the same Wikidata item as the row) | mathlib_overview Linear algebra > Matrices > ring-valued matrix, Mathlib Matrix, mathlib_undergrad Linear algebra > Matrices > commutative-ring-valued matrices, mathlib_undergrad Linear algebra > Matrices > field-valued matrices, Wikidata Q44337, EoM Matrix, MathWorld Matrix, ProofWiki Definition:Matrix |
| matrix addition | NAYXFHVVCR | unknown | node (a node has the same name as the row) | Wikidata Q2264115, MathWorld MatrixAddition |
| Matrix Bernstein | Q48P5QVNEY | 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.35766#JX92 |
| matrix calculus | KDZPSD02FQ | unknown | open | Wikidata Q29167, nLab matrix calculus |
| Matrix Chernoff estimate | T1PVA643T8 | 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.07679#63FS |
| matrix congruence | 3CTJPG90WZ | unknown | open | Wikidata Q377286, MathWorld CongruentMatrices |
| Matrix continued fraction from height blocks | STQHH1FS96 | 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.26066#SN3Q |
| matrix decomposition | 1WBS054FZR | unknown | open | Wikidata Q1361088, EoM Matrix_factorization, MathWorld MatrixDecomposition |
| matrix diagonalization | 194A8604BK | unknown | open | Wikidata Q11917068, MathWorld MatrixDiagonalization |
| matrix element | JZAN4P4FKQ | unknown | open | Wikidata Q58215060, MathWorld MatrixElement |
| matrix equivalence | BMQWSKWCAC | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q256151, MathWorld EquivalentMatrix, nLab matrix equivalence |
| matrix exponential | NAY15JW90F | unknown | open | mathlib_undergrad Linear algebra > Exponential > matrix exponential, Mathlib NormedSpace.exp |
| matrix exponential | NM09VR6DP3 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1191722, MathWorld MatrixExponential |
| matrix form and sparsity | WAHZX291N0 | 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.39511#TJ4D |
| matrix form and sparsity | WKR607HTKJ | 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.39511#YEZ1 |
| Matrix Green and Maass--Selberg identities | BAGRTH19ZQ | 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.25925#15D8 |
| matrix group | TYWKFZD3J2 | unknown | open | Wikidata Q1050120, MathWorld MatrixGroup, nLab matrix group |
| Matrix model for a transitive groupoid | 6S9NMKY22N | 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.00789#INQ9 |
| matrix multiplication | WR20Z14FKD | unknown | node (a node has the same name as the row) | Wikidata Q1049914, MathWorld MatrixMultiplication |
| matrix norm | QA6FFW4HZT | unknown | open | Wikidata Q939253, MathWorld MatrixNorm |
| matrix of change of basis | Q3SARWQK5R | unknown | open | Wikidata Q77971078, MathWorld ChangeofCoordinatesMatrix |
| matrix of ones | XVFYB7K8JX | unknown | open | Wikidata Q2916484, MathWorld UnitMatrix |
| Matrix operations | WPQSRDQY0Y | exercise | open | austin_ula src/section2-2.xml#ula-preview-2-2 |
| matrix polynomial norm gaps | 8ND0F485EE | 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.27458#UYGE |
| matrix product | J4MH9B6V6D | concept | open | lebl_diffyqs index/2.2.3/matrix-product |
| matrix product state | 5CHPAWXK91 | unknown | open | Wikidata Q17149634, nLab matrix product state |
| Matrix reference laws with inverse-square-root loss | EWA3HF8S1M | 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.38228#NS6Q |
| matrix representation | F2HWK7GAK1 | unknown | open | mathlib_overview Linear algebra > Bilinear and quadratic forms > matrix representation, Mathlib LinearMap.BilinForm.toMatrix, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > matrix representation |
| matrix representation of a linear map | TA58CNAVXR | unknown | open | mathlib_overview Linear algebra > Matrices > matrix representation of a linear map, Mathlib LinearMap.toMatrix, mathlib_undergrad Linear algebra > Matrices > matrix representation of a linear map |
| Matrix representatives | 9C5X2VPD6P | 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.21662#K6VU |
| matrix ring | REQRM2HAPN | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2915729, EoM Matrix_ring, nLab matrix algebra |
| Matrix scale-Gaussian decomposition | SVC57AB53W | 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#GZS0 |
| matrix similarity | JHDN4VPJ5F | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q254491, MathWorld SimilarMatrices |
| Matrix Spencer with Gaussian and information guarantees | XRTRYN9VBB | 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.38228#S228 |
| matrix transformation | 85CFGHZ14A | concept | open | austin_ula index/2.5.2/matrix-transformation |
| matrix, addition | AKY8X9EH8K | concept | open | austin_ula index/2.2.1/matrix-addition |
| matrix, elementary | WVJST3YJ4Z | concept | open | austin_ula index/3.1.4/matrix-elementary |
| matrix, identity | 908TT6CK4P | concept | open | austin_ula index/2.2.1/matrix-identity |
| matrix, inverse | QZJQSH7NRY | concept | open | austin_ula index/3.1.2/matrix-inverse |
| matrix, rank | 6MXK4Z00FD | concept | open | austin_ula index/3.5.3/matrix-rank |
| matrix, scalar multiplication | Q2GA29K733 | concept | open | austin_ula index/2.2.1/matrix-scalar-multiplication |
| matrix, shape | SRSGKM2ARR | concept | open | austin_ula index/2.2.1/matrix-shape |
| matrix, square | QPA7V7YR29 | concept | open | austin_ula index/3.1.2/matrix-square |
| matrix, stochastic | ZEPTPF2TGH | concept | open | applied_combinatorics index/16.3/matrix-stochastic |
| matrix, transition | YKR45PH06C | concept | open | applied_combinatorics index/16.3/matrix-transition |
| matrix, zeroone | 53WPAH06EX | concept | open | applied_combinatorics index/16.5/matrix-zeroone |
| matrix, zeroone | 7B12DWZR6A | concept | open | applied_combinatorics index/16.5.1/matrix-zeroone |
| Matrix-Bernstein closure certificate | F089AM78BN | 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#129O |
| Matrix-matrix multiplication | TPH0BBX6HD | definition | open | austin_ula src/section2-2.xml#definition-2 |
| Matrix-tree theorem | 69JT0Y0HFZ | 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#EITR |
| matrix-tree theorem | 7973YJWMMK | 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#C506 |
| matrix-vector multiplication | FTX38V8Z2C | concept | open | austin_ula index/2.2.2/matrix-vector-multiplication |
| Matrix-vector multiplication | GJC0KSWPDC | example | open | austin_ula src/section2-2.xml#example-1 |
| Matrix-vector multiplication | N8ST3JN5R7 | definition | open | austin_ula src/section2-2.xml#definition-1 |
| Matrix-vector multiplication | NH07Q7XVP4 | exercise | open | austin_ula src/section2-2.xml#activity-1 |
| Matrix-volume integral | PR2MXYGA3S | 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.06875#D8GD |
| matroid | K6DV62VRRG | unknown | open | Wikidata Q898572, EoM Matroid, MathWorld Matroid |
| Matroidal closures | B1PV9S14JB | 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.18154#U2OE |
| Matsuda | RPTGYGT2VS | 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 2601.15403#Q7VY |
| Matsuda | YCV2RB2BXR | 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 2601.15403#SRM9 |
| Matsumoto--Amano count | 2ZQYHJ2YT4 | 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.37368#6PNY |
| Matt Parker | 9HJA3XQZ1V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q21063802, ProofWiki Mathematician:Matthew_Thomas_Parker |
| Matthew Kleban | JMSK5X71ZC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6790815, nLab Matthew Kleban |
| Matthias Kreck | 1FG3JVWMPH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q95989, nLab Matthias Kreck |
| Matthias Staudacher | SGTX1R9MGA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6791612, nLab Matthias Staudacher |
| Mattila | JXR2GCW2TE | 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.38742#0UB1 |
| Matui and Sato's $\mathcal Z$-stability theorem | AW64A2C6AR | 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.09390#5758 |
| Matui--Sato's $\Z$-stability theorem | FM4PSZF0NN | 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.09390#HX30 |
| Matveev | 2KWX26BRYY | 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.15770#95VL |
| MATY2YTPGC | MATY2YTPGC | 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.31336#LKZB |
| Maurer rose | XPY42B0ZPK | unknown | open | Wikidata Q3821122, MathWorld MaurerRose |
| Maurer–Cartan form | RKSV3P4WDM | concept | open | Wikidata Q552787, nLab Maurer-Cartan form |
| Maurey--Pisier--Szankowski | 9TTPE0ZXR0 | 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.38396#TYIK |
| Maurice Kraitchik | Q4H45VRK7F | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q983279, ProofWiki Mathematician:Maurice_Kraitchik |
| Maurice René Fréchet | MBKRTSW48J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q22662, EoM Fréchet,_Maurice, ProofWiki Mathematician:Maurice_René_Fréchet |
| MAVAE51KDW | MAVAE51KDW | exercise | open | lebl_ra ch-seq-ser.tex#exercise-1 |
| MAVAZ32BB5 | MAVAZ32BB5 | 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 2610.19249#4TK1 |
| MAVNGPTZR5 | MAVNGPTZR5 | 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 2310.11101#D38F |
| MAWDHSN25M | MAWDHSN25M | 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.31304#C41N |
| MAWFJR7BGE | MAWFJR7BGE | 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.13908#Y99B |
| MAWKHJG3EC | MAWKHJG3EC | 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#KQE8 |
| Max Born | ATYVPA5ZKK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q58978, nLab Max Born |
| Max Dehn | 43CKCN9D4P | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q61732, nLab Max Dehn |
| Max Karoubi | 2F0QQEWB1K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1912805, nLab Max Karoubi |
| Max Kelly | HAYJN07S82 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6794922, nLab Max Kelly |
| max leaf number | 9RFB2SEKD7 | unknown | open | Wikidata Q127651141, MathWorld MaximumLeafNumber |
| Max Newman | HC05Y7XAE7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q707155, nLab Max Newman |
| Max Noether | QGRKXBY06E | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q77500, ProofWiki Mathematician:Max_Noether |
| Max Planck | GZF9TWZM85 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q9021, nLab Max Planck, ProofWiki Mathematician:Max_Karl_Ernst_Ludwig_Planck |
| Max Tegmark | ZD6CD41A1G | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2076321, nLab Max Tegmark |
| Max-flow min-cut theorem | TG4CN79TH6 | statement | open | mathlib_1000 Q608294, Wikidata Q608294, thousand_plus Q608294, Wikipedia Max flow min cut theorem, MathWorld MaximumFlowMinimumCutTheorem |
| Max-norm boundary separation | 6Q0BMK1VDZ | 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.11309#VHE7 |
| MAX20648B4 | MAX20648B4 | 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.31274#RKOF |
| MAX7WFZ57H | MAX7WFZ57H | 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.02061#O3K0 |
| MAXANP9283 | MAXANP9283 | 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.13846#38F3 |
| MAXG2DMCE0 | MAXG2DMCE0 | 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.07790#TZZ7 |
| Maxim Kontsevich | PCKS6TN25A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q369588, MathWorld KontsevichIntegral, nLab Maxim Kontsevich |
| Maxim Zabzine | MFZ08T9ZP1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q64038643, nLab Maxim Zabzine |
| maxima and minima | 8EZZ8GENN8 | unknown | open | Wikidata Q845060, Mathlib IsExtrOn, MathWorld Extremum |