Inventory rows MP
The cards of the rows of the inventory whose ids start with MP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
MP0B1BHAC4 MP0B1BHAC4
| URI | m2://inv/MP0B1BHAC4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-42 (exercise). In E9HS8K3A52, exercise, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
Halin's grid theorem MP0DJ04NJD
| URI | m2://inv/MP0DJ04NJD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halin's grid theorem, Halin's grid theorem (statement). Also Wikidata Q5642351
History
- 2026-11-02: add by m2/dev
Decomposition of a Gaussian density MP0G9GPT7T
| URI | m2://inv/MP0G9GPT7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15549#ZU48, Decomposition of a Gaussian density (statement). In S96K5CR1B7/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
MP0GCT0JRW MP0GCT0JRW
| URI | m2://inv/MP0GCT0JRW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37769#5QJJ (conjecture). In MJWNGM4S01/e1, conjecture 2.3
History
- 2026-10-30: add by m2/v0.4.12
Incendies MP0GVXDF76
| URI | m2://inv/MP0GVXDF76 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#1FCF, Incendies (unknown)
History
- 2026-11-02: add by m2/dev
MP0MGHTE7A MP0MGHTE7A
| URI | m2://inv/MP0MGHTE7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#IZYA (statement). In 8GSG7024NW/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
MP0MRT84YH MP0MRT84YH
| URI | m2://inv/MP0MRT84YH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/opps.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 72.7
History
- 2026-11-01: add by m2/v0.6.13
Ian Grojnowski MP0NQDJ06Z
| URI | m2://inv/MP0NQDJ06Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5981718, Ian Grojnowski (unknown). Also nLab Ian Grojnowski
- wikipedia: Wikipedia Ian Grojnowski, Ian Grojnowski (topic). Also Wikidata Q5981718
History
- 2026-10-26: add by m2/dev
literal MP14V9K365
| URI | m2://inv/MP14V9K365 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14235582, literal (unknown). Also MathWorld Literal
- wikipedia: Wikipedia Literal (mathematical logic), Literal (definition). Also Wikidata Q14235582
History
- 2026-10-26: add by m2/dev
Two-point function $k$-space asymptotics MP150D4WTM
| URI | m2://inv/MP150D4WTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#QU9P, Two-point function $k$-space asymptotics (statement). In PF9KV74Q02/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Etymology of Physics MP15GHPPNT
| URI | m2://inv/MP15GHPPNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physics#98V8, Etymology of Physics (unknown)
History
- 2026-11-02: add by m2/dev
MP160JMV2Z MP160JMV2Z
| URI | m2://inv/MP160JMV2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#RDSL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simplicity transfer MP1BPN4VK8
| URI | m2://inv/MP1BPN4VK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24640#7KWC, Simplicity transfer (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tamilla Nasirova MP1N55F23N
| URI | m2://inv/MP1N55F23N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamilla Nasirova, Tamilla Nasirova (topic). Also Wikidata Q25541224
History
- 2026-11-02: add by m2/dev
chess piece MP1PM14X7C
| URI | m2://inv/MP1PM14X7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208440, chess piece (definition). Also ProofWiki Definition:Chess/Piece
History
- 2026-10-26: add by m2/dev
2DPDA MP1XQ92R38
| URI | m2://inv/MP1XQ92R38 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-way finite automaton#2FJD, 2DPDA (unknown)
History
- 2026-11-02: add by m2/dev
Deflator MP28ZJ4FJ8
| URI | m2://inv/MP28ZJ4FJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deflator, Deflator (definition). Also Wikidata Q3756524
History
- 2026-11-02: add by m2/dev
MP2B3KJY78 MP2B3KJY78
| URI | m2://inv/MP2B3KJY78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09019#ZZGV (statement). In 8V6YECFCC1/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
MP2VMCBKY7 MP2VMCBKY7
| URI | m2://inv/MP2VMCBKY7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/inseparability.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 30.10
History
- 2026-11-01: add by m2/v0.6.13
MP2WJ2AXQT MP2WJ2AXQT
| URI | m2://inv/MP2WJ2AXQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#J0T5 (statement). In S26QVW5613/e1, corollary 3.6.2
History
- 2026-10-30: add by m2/v0.4.12
Siegel and MacLean , Theorem 3.2; see also Sontag MP2ZPBDZGC
| URI | m2://inv/MP2ZPBDZGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#0Y2J, Siegel and MacLean , Theorem 3.2; see also Sontag (statement)
History
- 2026-11-01: add by m2/v0.6.15
MP31HR5NW7 MP31HR5NW7
| URI | m2://inv/MP31HR5NW7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#5M2Y (example). In E4EK1XXPY4/e1, example 3.8
History
- 2026-10-31: add by m2/v0.5.6
Twin-width MP31JYWEJB
| URI | m2://inv/MP31JYWEJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin-width, Twin-width (definition). Also Wikidata Q113468869
History
- 2026-11-02: add by m2/dev
MP32PAVB7J MP32PAVB7J
| URI | m2://inv/MP32PAVB7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#GZVD (statement). In G00EYA9DXG/e1, corollary 7.4
History
- 2026-10-28: add by m2/v0.4.2
absolute convergence MP37S9BZH0
| URI | m2://inv/MP37S9BZH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#JRFB, absolute convergence (definition)
History
- 2026-11-02: add by m2/dev
Fourier estimates for Examples \emph{(C)}--\emph{(E MP3CSXQ9TJ
| URI | m2://inv/MP3CSXQ9TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29671#ECTY, Fourier estimates for Examples \emph{(C)}--\emph{(E (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of things named after Arthur Cayley MP3FD5BMAF
| URI | m2://inv/MP3FD5BMAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#JOZ7, List of things named after Arthur Cayley (topic)
History
- 2026-11-02: add by m2/dev
MP3QVTJK3N MP3QVTJK3N
| URI | m2://inv/MP3QVTJK3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30033#7FKL (statement)
History
- 2026-11-01: add by m2/v0.6.15
MP3SQDQVKN MP3SQDQVKN
| URI | m2://inv/MP3SQDQVKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.07095#UD5W (statement). In J9GHVHV5RB/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Conversion MP3Z4J2SPR
| URI | m2://inv/MP3Z4J2SPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35418#DLJL, Conversion (statement). In JHD3TW67QT/e1, lemma 32
History
- 2026-10-30: add by m2/v0.4.12
Direct Hermite limit of the second-kind matrix MP48F6TH07
| URI | m2://inv/MP48F6TH07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#E12A, Direct Hermite limit of the second-kind matrix (statement)
History
- 2026-11-02: add by m2/v0.6.17
MP49S2YKWJ MP49S2YKWJ
| URI | m2://inv/MP49S2YKWJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-175 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Variants MP4AY8XNPD
| URI | m2://inv/MP4AY8XNPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theories of iterated inductive definitions#4ILI, Variants (statement)
History
- 2026-11-02: add by m2/dev
total function MP4ED6QZ4N
| URI | m2://inv/MP4ED6QZ4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#I5C1, total function (definition)
History
- 2026-11-02: add by m2/dev
Alfréd Rényi MP4GVW9D2K
| URI | m2://inv/MP4GVW9D2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1EM4, Alfréd Rényi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DWWM, Alfréd Rényi (topic)
History
- 2026-11-02: add by m2/dev
MP4XJK2SVG MP4XJK2SVG
| URI | m2://inv/MP4XJK2SVG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#NS2Y (unknown). In QNBFHFZ3H0/e1, unknown 49
History
- 2026-10-28: add by m2/v0.4.2
Heterodyne MP4YQP6H4H
| URI | m2://inv/MP4YQP6H4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heterodyne, Heterodyne (definition). Also Wikidata Q760140
History
- 2026-11-02: add by m2/dev
Yitzhak Katznelson MP5067GF4C
| URI | m2://inv/MP5067GF4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yitzhak Katznelson, Yitzhak Katznelson (topic). Also Wikidata Q1606401
History
- 2026-11-02: add by m2/dev
ring of rational integers MP52REF3ZP
| URI | m2://inv/MP52REF3ZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121358689, ring of rational integers (definition). Also ProofWiki Definition:Ring_of_Integers
History
- 2026-10-26: add by m2/dev
Shinichi Mochizuki MP54W93DSB
| URI | m2://inv/MP54W93DSB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FXG4, Shinichi Mochizuki (topic)
History
- 2026-11-02: add by m2/dev
Kenneth David Elworthy MP56EM5XNF
| URI | m2://inv/MP56EM5XNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P0WV, Kenneth David Elworthy (unknown)
History
- 2026-11-02: add by m2/dev
MP56TQPNBD MP56TQPNBD
| URI | m2://inv/MP56TQPNBD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#ex-comb-proof-rowsum (example). In Y91XFCEVHQ, example, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
MP581CFJR0 MP581CFJR0
| URI | m2://inv/MP581CFJR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36279#5K6B (statement). In HX1QA0MJYV/e1, proposition 19
History
- 2026-10-30: add by m2/v0.4.12
MP5B56BAA8 MP5B56BAA8
| URI | m2://inv/MP5B56BAA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#HFTU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples MP5CZRPBA8
| URI | m2://inv/MP5CZRPBA8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism#4PLV, Examples (example)
History
- 2026-11-02: add by m2/dev
Packing Slater determinants MP5G2A8GNE
| URI | m2://inv/MP5G2A8GNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34402#D1P4, Packing Slater determinants (statement). In FTTMZWSCMW/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Maximal bounds near a fixed direction MP5MHT4KH8
| URI | m2://inv/MP5MHT4KH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#MT5S, Maximal bounds near a fixed direction (statement). In 8JDQ9FWFRK/e1, lemma E.9
History
- 2026-10-30: add by m2/v0.4.12
Formal definition MP5N1PFBVA
| URI | m2://inv/MP5N1PFBVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal dimension#GZHX, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
MP5TD17FAH MP5TD17FAH
| URI | m2://inv/MP5TD17FAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17009#5GH0 (statement). In PESAKD6SSW/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.6
MP5WJ75KQ3 MP5WJ75KQ3
| URI | m2://inv/MP5WJ75KQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28507#QD1K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties MP64NGC0E2
| URI | m2://inv/MP64NGC0E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp space#0E68, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition MP6AGZ8768
| URI | m2://inv/MP6AGZ8768 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape optimization#PZRT, Definition (definition)
History
- 2026-11-02: add by m2/dev
MP6AT8SDEJ MP6AT8SDEJ
| URI | m2://inv/MP6AT8SDEJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/beta-function.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 29.4
History
- 2026-11-01: add by m2/v0.6.13
MP6FR6S4V1 MP6FR6S4V1
| URI | m2://inv/MP6FR6S4V1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#KWBG (statement). In DH84PYVRCF/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Weyl equation MP6K87601X
| URI | m2://inv/MP6K87601X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2566340, Weyl equation (unknown). Also nLab Weyl spinor
- wikipedia: Wikipedia Weyl equation, Weyl equation (definition). Also Wikidata Q2566340
History
- 2026-10-26: add by m2/dev
Exterior reconstruction and maximum-norm convergence MP6N9DXTN1
| URI | m2://inv/MP6N9DXTN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#R9Y1, Exterior reconstruction and maximum-norm convergence (statement). In 5B4AX4SF88/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Peter McCullagh MP6PQ23TZF
| URI | m2://inv/MP6PQ23TZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7175762, Peter McCullagh (unknown). Also nLab Peter McCullagh
- wikipedia: Wikipedia Peter McCullagh, Peter McCullagh (topic). Also Wikidata Q7175762
History
- 2026-10-26: add by m2/dev
Harry Potter and the Methods of Rationality MP74FAM8B0
| URI | m2://inv/MP74FAM8B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Potter and the Methods of Rationality, Harry Potter and the Methods of Rationality (definition). Also Wikidata Q22162553
History
- 2026-11-02: add by m2/dev
Theorem MP7A1JNSVT
| URI | m2://inv/MP7A1JNSVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier (Fourier analysis)#LM0U, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Emanuel Goldenweiser MP7B65945Q
| URI | m2://inv/MP7B65945Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#L1M6, Emanuel Goldenweiser (unknown)
History
- 2026-11-02: add by m2/dev
Dimension of $\Cmat$ MP7HMC2W29
| URI | m2://inv/MP7HMC2W29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#XY95, Dimension of $\Cmat$ (statement). In K6CP8GP51H/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
MP7J31QSVV MP7J31QSVV
| URI | m2://inv/MP7J31QSVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26033#E3A0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples MP7YN3EQ2G
| URI | m2://inv/MP7YN3EQ2G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic group#04DW, Examples (example)
History
- 2026-11-02: add by m2/dev
MP7ZMXPFEP MP7ZMXPFEP
| URI | m2://inv/MP7ZMXPFEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14973#NKLB (statement). In 4AE59NXHC2/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
Main theorem, $p$-adic inhomogeneous Gallagher MP82K8NVEY
| URI | m2://inv/MP82K8NVEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15809#E88Y, Main theorem, $p$-adic inhomogeneous Gallagher (statement). In 6GBT11XKAF/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
Separably generated MP86JFCZRF
| URI | m2://inv/MP86JFCZRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental extension#76IV, Separably generated (unknown)
History
- 2026-11-02: add by m2/dev
MP90K5QPMN MP90K5QPMN
| URI | m2://inv/MP90K5QPMN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#6U3H (definition)
History
- 2026-11-02: add by m2/v0.6.18
MP90SGC4N5 MP90SGC4N5
| URI | m2://inv/MP90SGC4N5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22909#Q26X (example)
History
- 2026-11-02: add by m2/v0.6.17
Complex analysis MP99YKMV2E
| URI | m2://inv/MP99YKMV2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ZHP0, Complex analysis (definition)
History
- 2026-11-02: add by m2/dev
MP9AZW8J8R MP9AZW8J8R
| URI | m2://inv/MP9AZW8J8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07596#QHUK (statement). In 4SFRNADV8F/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Closed subsets of compacts MP9TNZPM0A
| URI | m2://inv/MP9TNZPM0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proposition-1, Closed subsets of compacts (statement). In RZP28ERRZV, proposition, section 95.1
History
- 2026-11-01: add by m2/v0.6.13
Relative survival MP9V701MDP
| URI | m2://inv/MP9V701MDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative survival, Relative survival (definition). Also Wikidata Q7310803
History
- 2026-11-02: add by m2/dev
Samson Abramsky MPA0AD9WW5
| URI | m2://inv/MPA0AD9WW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NOBT, Samson Abramsky (unknown)
History
- 2026-11-02: add by m2/dev
MPA5DKDPRT MPA5DKDPRT
| URI | m2://inv/MPA5DKDPRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#TLPX (statement). In 8Z47D12KSX/e1, proposition 7.12
History
- 2026-10-29: add by m2/v0.4.10
MPA6VGJNCE MPA6VGJNCE
| URI | m2://inv/MPA6VGJNCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38250#XEAN (statement). In 5KDV984W48/e1, corollary 13
History
- 2026-10-30: add by m2/v0.4.12
MPAR8N9VX8 MPAR8N9VX8
| URI | m2://inv/MPAR8N9VX8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#ex_networkflow_do-update (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
Bounded potential MPARAY9WDV
| URI | m2://inv/MPARAY9WDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16514#ZJDD, Bounded potential (statement). In 7RSA1AZ4XK/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Dots and Boxes MPAZH2JKQ2
| URI | m2://inv/MPAZH2JKQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1142531, Dots and Boxes (unknown). Also MathWorld DotsandBoxes
History
- 2026-10-26: add by m2/dev
MPAZJK1CDE MPAZJK1CDE
| URI | m2://inv/MPAZJK1CDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#U8DK (statement)
History
- 2026-11-02: add by m2/v0.6.17
MPB287RRYC MPB287RRYC
| URI | m2://inv/MPB287RRYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#defn-5 (definition). In E59CDZA4DP, defn, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
MPB57AX752 MPB57AX752
| URI | m2://inv/MPB57AX752 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#BFHV (statement). In XJWQ6Y83F8/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
non-isomorphic differentials MPB8B32D89
| URI | m2://inv/MPB8B32D89 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#SNXA, non-isomorphic differentials (example). In 7WDA4MEWE2/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.6
Examples MPB92A844R
| URI | m2://inv/MPB92A844R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample-continuous process#7F2T, Examples (example)
History
- 2026-11-02: add by m2/dev
VEGAS algorithm MPB97XJNB7
| URI | m2://inv/MPB97XJNB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#84Q7, VEGAS algorithm (definition)
History
- 2026-11-02: add by m2/dev
1 E19 m² MPBEEXETDM
| URI | m2://inv/MPBEEXETDM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (area)#GM6S, 1 E19 m² (unknown)
History
- 2026-11-02: add by m2/dev
MPBVG109J0 MPBVG109J0
| URI | m2://inv/MPBVG109J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39103#NB64 (statement). In VGB0N93ES8/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Normal MPBZF8E1M0
| URI | m2://inv/MPBZF8E1M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#4O4I, Normal (definition)
History
- 2026-11-02: add by m2/dev
List edge-coloring MPBZW1MKR5
| URI | m2://inv/MPBZW1MKR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List edge-coloring, List edge-coloring (definition). Also Wikidata Q15300219
History
- 2026-11-02: add by m2/dev
Exact degrees-of-freedom centering MPC01FBTBJ
| URI | m2://inv/MPC01FBTBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#J41A, Exact degrees-of-freedom centering (statement)
History
- 2026-11-01: add by m2/v0.6.15
MPC1Q5MGB5 MPC1Q5MGB5
| URI | m2://inv/MPC1Q5MGB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#SSP5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Orbifold theorem MPCBXZCK5F
| URI | m2://inv/MPCBXZCK5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Thurston#G15L, Orbifold theorem (statement)
History
- 2026-11-02: add by m2/dev
Exponential law MPCD72WKV9
| URI | m2://inv/MPCD72WKV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kan fibration#U237, Exponential law (statement)
History
- 2026-11-02: add by m2/dev
Range (ballistics) MPCFSACS9T
| URI | m2://inv/MPCFSACS9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectile motion#E1FA, Range (ballistics) (unknown)
History
- 2026-11-02: add by m2/dev
Chemometrics MPCJXR12JV
| URI | m2://inv/MPCJXR12JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#E8BX, Chemometrics (definition)
History
- 2026-11-02: add by m2/dev
MPCM8NP50Y MPCM8NP50Y
| URI | m2://inv/MPCM8NP50Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#8AWQ (statement). In Y43AAKZ7E6/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Least-squares function approximation MPCMF1A32V
| URI | m2://inv/MPCMF1A32V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-squares function approximation, Least-squares function approximation (definition). Also Wikidata Q6510405
History
- 2026-11-02: add by m2/dev
The switching semigroup on $\R$ MPCS9GRB66
| URI | m2://inv/MPCS9GRB66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#I5PW, The switching semigroup on $\R$ (statement). In FJFJ3WR1SS/e1, proposition 7.2
History
- 2026-10-31: add by m2/v0.5.6
MPCSNCCNM3 MPCSNCCNM3
| URI | m2://inv/MPCSNCCNM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#I726 (statement). In W3G9Z9B32N/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
MPD4CYCXYV MPD4CYCXYV
| URI | m2://inv/MPD4CYCXYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30480#FNSW (statement). In VP7MPRKH0M/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
MPDGV9ZD51 MPDGV9ZD51
| URI | m2://inv/MPDGV9ZD51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#WEKN (statement). In 9XMZTTSF5E/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
MPDNHMP616 MPDNHMP616
| URI | m2://inv/MPDNHMP616 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#YK62 (statement). In X923ZEY423/e1, lemma 2.0.8
History
- 2026-10-27: add by m2/v0.3.5
Sporadic simple groups MPDTFGB4SJ
| URI | m2://inv/MPDTFGB4SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#M5AJ, Sporadic simple groups (definition)
History
- 2026-11-02: add by m2/dev
Coulomb potential MPE8MXCSVF
| URI | m2://inv/MPE8MXCSVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric potential#RHRY, Coulomb potential (unknown)
History
- 2026-11-02: add by m2/dev
Convex-QP representation MPEB5B5ACS
| URI | m2://inv/MPEB5B5ACS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21808#EZOQ, Convex-QP representation (statement)
History
- 2026-11-02: add by m2/v0.6.18
MPEGAV792B MPEGAV792B
| URI | m2://inv/MPEGAV792B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#WDQ2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples MPEV6DCRC9
| URI | m2://inv/MPEV6DCRC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic point#E1YP, Examples (example)
History
- 2026-11-02: add by m2/dev
Unisolvence in the Trial Frame MPF0MCFA8P
| URI | m2://inv/MPF0MCFA8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#E932, Unisolvence in the Trial Frame (statement). In Z6WA2R0J50/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
MPF668KW4Y MPF668KW4Y
| URI | m2://inv/MPF668KW4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#HW78 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carmichael's conjecture MPFJZPAT8Y
| URI | m2://inv/MPFJZPAT8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#7T6R, Carmichael's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Muḥammad ibn Musa al-Khwarizmi MPFW3DXBK7
| URI | m2://inv/MPFW3DXBK7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9038, Muḥammad ibn Musa al-Khwarizmi (unknown). Also ProofWiki Mathematician:Muhammad_ibn_Musa_al-Khwarizmi
- wikipedia: Wikipedia Al-Khwarizmi, Al-Khwarizmi (topic). Also Wikidata Q9038
History
- 2026-10-26: add by m2/dev
Nordhaus–Gaddum inequality MPG5FC5G0Q
| URI | m2://inv/MPG5FC5G0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence coloring#BARB, Nordhaus–Gaddum inequality (statement)
History
- 2026-11-02: add by m2/dev
MPGAYFP0V6 MPGAYFP0V6
| URI | m2://inv/MPGAYFP0V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28702#NX1W (statement)
History
- 2026-11-01: add by m2/v0.6.15
MPGQMZ7XDW MPGQMZ7XDW
| URI | m2://inv/MPGQMZ7XDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
MPGTZSMW8S MPGTZSMW8S
| URI | m2://inv/MPGTZSMW8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20915#I2UA (statement). In 5M1SXP75D9/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.4.2
Rectified 8-orthoplexes MPH0ZCTMZB
| URI | m2://inv/MPH0ZCTMZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 8-orthoplexes, Rectified 8-orthoplexes (definition). Also Wikidata Q7303168
History
- 2026-11-02: add by m2/dev
MPH7JQWP9T MPH7JQWP9T
| URI | m2://inv/MPH7JQWP9T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-44 (exercise). In E9HS8K3A52, exercise, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Steffensen interpolation formula MPH83JX0WA
| URI | m2://inv/MPH83JX0WA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135439181, Steffensen interpolation formula (unknown). Also EoM Steffensen_interpolation_formula
History
- 2026-10-26: add by m2/dev
MPJ29VHY1A MPJ29VHY1A
| URI | m2://inv/MPJ29VHY1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21768#AE1C (statement). In VD53W58DS1/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Prismatic uniform polyhedron MPJ4FXFGEK
| URI | m2://inv/MPJ4FXFGEK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prismatic uniform polyhedron, Prismatic uniform polyhedron (object). Also Wikidata Q317622
History
- 2026-11-02: add by m2/dev
MPJ4XZHBBT MPJ4XZHBBT
| URI | m2://inv/MPJ4XZHBBT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#WY6W (definition)
History
- 2026-11-01: add by m2/v0.6.15
Colony MPJ73M2QPK
| URI | m2://inv/MPJ73M2QPK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#RM9N, Colony (definition). In WD2NCBV9F0/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
The suspension of the generators MPJEXZBDWR
| URI | m2://inv/MPJEXZBDWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#HLQ2, The suspension of the generators (statement). In KR7WXN4EWR/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
MPJJF0M2G0 MPJJF0M2G0
| URI | m2://inv/MPJJF0M2G0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#MG8S (definition). In M8TSJ24RC2/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
winding number MPJJZB9VQ4
| URI | m2://inv/MPJJZB9VQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Winding number 0NQSV2EWDR |
Mentions
- wikidata: Wikidata Q576728, winding number (unknown). Also nLab winding number
- wikipedia: Wikipedia Winding number, Winding number (definition). Also Wikidata Q576728
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Busemann's theorem MPJM33N8AR
| URI | m2://inv/MPJM33N8AR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5001327, Busemann's theorem (statement). Also Wikidata Q5001327
- thousand_plus: thousand_plus Q5001327, Busemann's theorem (statement). Also Wikidata Q5001327, Wikipedia Busemann's theorem
- wikipedia: Wikipedia Busemann's theorem, Busemann's theorem (statement). Also Wikidata Q5001327
History
- 2026-10-26: add by m2/dev
Isomorphism MPJPY9TNWX
| URI | m2://inv/MPJPY9TNWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/isomorphic-functions.tex#defn-1, Isomorphism (definition). In PKGMM3P5QY, defn, section 79.2
History
- 2026-11-01: add by m2/v0.6.13
Joel Spencer MPK19QES4K
| URI | m2://inv/MPK19QES4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joel Spencer, Joel Spencer (topic). Also Wikidata Q1691718
History
- 2026-11-02: add by m2/dev
Ladder in $n$ MPK46Q9JJA
| URI | m2://inv/MPK46Q9JJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.22289#EKR3, Ladder in $n$ (statement). In BF5Y4V84GV/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.0
Implementations MPKA8WCBY4
| URI | m2://inv/MPKA8WCBY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel tempering#YEKH, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Statement of the lemma MPKB72WYNX
| URI | m2://inv/MPKB72WYNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's lemma#WU9Q, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Buchstab function MPKCX90KEV
| URI | m2://inv/MPKCX90KEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#Q609, Buchstab function (definition)
History
- 2026-11-02: add by m2/dev
MPKR06ARDP MPKR06ARDP
| URI | m2://inv/MPKR06ARDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#NPWW (statement)
History
- 2026-11-01: add by m2/v0.6.15
MPM5CPG98B MPM5CPG98B
| URI | m2://inv/MPM5CPG98B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#P1QL (statement). In VD4JP4HVBX/e1, theorem 7.10
History
- 2026-10-28: add by m2/v0.4.2
MPM8GKH1ND MPM8GKH1ND
| URI | m2://inv/MPM8GKH1ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#OAK9 (statement). In XXQAW3ZBDF/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Anti-fraud numeral MPM8VCMB5F
| URI | m2://inv/MPM8VCMB5F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese numerals#LD77, Anti-fraud numeral (unknown)
History
- 2026-11-02: add by m2/dev
Example MPMHGD6TYP
| URI | m2://inv/MPMHGD6TYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance inflation factor#LY50, Example (example)
History
- 2026-11-02: add by m2/dev
0-cube MPMK2RSHVE
| URI | m2://inv/MPMK2RSHVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercube#7ZE5, 0-cube (unknown)
History
- 2026-11-02: add by m2/dev
MPMR4GKNH9 MPMR4GKNH9
| URI | m2://inv/MPMR4GKNH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#R0X1 (statement). In 7SSKW778T8/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
MPMRW3HS32 MPMRW3HS32
| URI | m2://inv/MPMRW3HS32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#LDAP (statement). In T41GD0Y0GX/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Chenyang Xu MPN1TG12QX
| URI | m2://inv/MPN1TG12QX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XART, Chenyang Xu (topic)
History
- 2026-11-02: add by m2/dev
compound of five octahedra MPN287XY8M
| URI | m2://inv/MPN287XY8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1106544, compound of five octahedra (unknown). Also MathWorld Octahedron5-Compound
- wikipedia: Wikipedia Compound of five octahedra, Compound of five octahedra (definition). Also Wikidata Q1106544
History
- 2026-10-26: add by m2/dev
Examples MPN5DBQCQ2
| URI | m2://inv/MPN5DBQCQ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral domain#DV19, Examples (example)
History
- 2026-11-02: add by m2/dev
horseshoe lemma MPNFX36GP0
| URI | m2://inv/MPNFX36GP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Horseshoe lemma VNMBSYX9PY |
Mentions
- wikidata: Wikidata Q5906080, horseshoe lemma (statement). Also MathWorld HorseshoeLemma, nLab horseshoe lemma
- wikipedia: Wikipedia Horseshoe lemma, Horseshoe lemma (statement). Also Wikidata Q5906080
History
- 2026-10-26: add by m2/dev
Wahba, Grace MPNHKXF4AB
| URI | m2://inv/MPNHKXF4AB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#UJJO, Wahba, Grace (topic)
History
- 2026-11-02: add by m2/dev
Louise M. Ryan MPNJ3D691T
| URI | m2://inv/MPNJ3D691T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louise M. Ryan, Louise M. Ryan (topic). Also Wikidata Q41801845
History
- 2026-11-02: add by m2/dev
MPNKE1JVEA MPNKE1JVEA
| URI | m2://inv/MPNKE1JVEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28337#Q55X (statement). In 7ZJFWBTBKM/e1, proposition 3.2.3
History
- 2026-10-27: add by m2/v0.3.6
Oka's lemma\index{Oka's lemma} MPNSY32BM5
| URI | m2://inv/MPNSY32BM5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-141, Oka's lemma\index{Oka's lemma} (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
MPNTWZ23QE MPNTWZ23QE
| URI | m2://inv/MPNTWZ23QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20444#MAPD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Borwein's algorithm MPNXSY1RFG
| URI | m2://inv/MPNXSY1RFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#LSI6, Borwein's algorithm (definition)
History
- 2026-11-02: add by m2/dev
MPP2V6DQSH MPP2V6DQSH
| URI | m2://inv/MPP2V6DQSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#33TL (statement). In HA4SZZJ831/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
Zadoff–Chu sequence MPP67SYCNK
| URI | m2://inv/MPP67SYCNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zadoff–Chu sequence, Zadoff–Chu sequence (definition). Also Wikidata Q8064170
History
- 2026-11-02: add by m2/dev
Spectrally tight coefficients MPP8EBQHKY
| URI | m2://inv/MPP8EBQHKY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24962#P3Q7, Spectrally tight coefficients (definition)
History
- 2026-11-01: add by m2/v0.6.15
Related conjectures MPPHCBACTB
| URI | m2://inv/MPPHCBACTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albertson conjecture#77GK, Related conjectures (statement)
History
- 2026-11-02: add by m2/dev
Diagonal selection MPPTZQ6KQP
| URI | m2://inv/MPPTZQ6KQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#CLEK, Diagonal selection (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wayne Velicer MPPWGDR9Q1
| URI | m2://inv/MPPWGDR9Q1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wayne Velicer, Wayne Velicer (topic). Also Wikidata Q87720985
History
- 2026-11-02: add by m2/dev
MPPXE7N2YA MPPXE7N2YA
| URI | m2://inv/MPPXE7N2YA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#X6EB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Virtual private network MPQ0A8TSVH
| URI | m2://inv/MPQ0A8TSVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual private network, Virtual private network (definition). Also Wikidata Q170963
History
- 2026-11-02: add by m2/dev
Properties of the essential argmax set MPQ30X3YJ9
| URI | m2://inv/MPQ30X3YJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#79K3, Properties of the essential argmax set (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications MPQN25M6SJ
| URI | m2://inv/MPQN25M6SJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave front set#KZX9, Applications (example)
History
- 2026-11-02: add by m2/dev
uniform core expansion MPQQTNZ256
| URI | m2://inv/MPQQTNZ256 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22413#8STX, uniform core expansion (statement)
History
- 2026-11-02: add by m2/v0.6.17
cluster analysis MPR3XQCMDN
| URI | m2://inv/MPR3XQCMDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cluster analysis D9Y3A9RH6J |
Mentions
- wikidata: Wikidata Q622825, cluster analysis (unknown). Also MathWorld ClusterAnalysis
- wikipedia: Wikipedia Cluster analysis, Cluster analysis (definition). Also Wikidata Q622825
History
- 2026-10-26: add by m2/dev
MPR44GGHKV MPR44GGHKV
| URI | m2://inv/MPR44GGHKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#3T1D (statement). In VGKCBWQ65N/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
MPRA2KJDX2 MPRA2KJDX2
| URI | m2://inv/MPRA2KJDX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#O8OP (statement). In S26QVW5613/e1, proposition 3.7.8
History
- 2026-10-30: add by m2/v0.4.12
Canberra distance MPRG36SCDV
| URI | m2://inv/MPRG36SCDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canberra distance, Canberra distance (definition). Also Wikidata Q5031292
History
- 2026-11-02: add by m2/dev
MPRNRZT1ZP MPRNRZT1ZP
| URI | m2://inv/MPRNRZT1ZP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#APYW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Metabolic network modelling MPRW7YKBA2
| URI | m2://inv/MPRW7YKBA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#T6O9, Metabolic network modelling (unknown)
History
- 2026-11-02: add by m2/dev
MPS4YARNQE MPS4YARNQE
| URI | m2://inv/MPS4YARNQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:complexificationofrasurface (statement). In VNMV985MXX, prop, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Nicholas Horton MPSBSGRDRH
| URI | m2://inv/MPSBSGRDRH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Horton, Nicholas Horton (topic). Also Wikidata Q37368547
History
- 2026-11-02: add by m2/dev
MPSKHHE3AM MPSKHHE3AM
| URI | m2://inv/MPSKHHE3AM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:equiv-eqrel (statement). In N54F33XE07, lem, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
MPSKYN6XD6 MPSKYN6XD6
| URI | m2://inv/MPSKYN6XD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24789#3D7Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
MPSNJ2JBW9 MPSNJ2JBW9
| URI | m2://inv/MPSNJ2JBW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#I0D3 (statement). In F14A5HX20Q/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
MPSRWWHPCG MPSRWWHPCG
| URI | m2://inv/MPSRWWHPCG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28650#LDWB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Edge collapse: convergence of harmonic representatives MPSS6VP4KP
| URI | m2://inv/MPSS6VP4KP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#ENFN, Edge collapse: convergence of harmonic representatives (statement). In J55JTTKG84/e1, proposition 6.10
History
- 2026-10-29: add by m2/v0.4.12
MPSVE1ZE7V MPSVE1ZE7V
| URI | m2://inv/MPSVE1ZE7V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#OPEC (example). In 9B5TNEBJHV/e1, example 2.2
History
- 2026-10-29: add by m2/v0.4.10
Applications MPSWJCG18F
| URI | m2://inv/MPSWJCG18F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taxicab geometry#68WM, Applications (example)
History
- 2026-11-02: add by m2/dev
MPT08N4GGE MPT08N4GGE
| URI | m2://inv/MPT08N4GGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30821#133N (statement). In 1MZ9XBPTFQ/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
Surface subgroup conjecture MPT6448FX0
| URI | m2://inv/MPT6448FX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#EHQW, Surface subgroup conjecture (statement)
History
- 2026-11-02: add by m2/dev
Jovan Karamata MPT7WAHYPM
| URI | m2://inv/MPT7WAHYPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q691012, Jovan Karamata (unknown). Also ProofWiki Mathematician:Jovan_Karamata
- wikipedia: Wikipedia Jovan Karamata, Jovan Karamata (topic). Also Wikidata Q691012
History
- 2026-10-26: add by m2/dev
MPTD96YR4A MPTD96YR4A
| URI | m2://inv/MPTD96YR4A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-2 (proof). In N54F33XE07, proof, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Topological game MPTDXR8W5P
| URI | m2://inv/MPTDXR8W5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#6BBU, Topological game (definition)
History
- 2026-11-02: add by m2/dev
MPTK7XAKDD MPTK7XAKDD
| URI | m2://inv/MPTK7XAKDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#M721 (statement). In ER5EH4W919/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Folklore MPTN60E5QV
| URI | m2://inv/MPTN60E5QV |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35766#B0VD, Folklore (conjecture). In 6638EFW1NG/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
MPTRXNW3DE MPTRXNW3DE
| URI | m2://inv/MPTRXNW3DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21438#ZJXZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rassegna Internazionale di Logica MPTSCBRAFQ
| URI | m2://inv/MPTSCBRAFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#6W0S, Rassegna Internazionale di Logica (unknown)
History
- 2026-11-02: add by m2/dev
Euler sequence MPTSE1SRTP
| URI | m2://inv/MPTSE1SRTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler sequence, Euler sequence (definition). Also Wikidata Q5408996
History
- 2026-11-02: add by m2/dev
stable map MPV04T50B8
| URI | m2://inv/MPV04T50B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7595769, stable map (unknown). Also nLab stable map
- wikipedia: Wikipedia Stable map, Stable map (definition). Also Wikidata Q7595769
History
- 2026-10-26: add by m2/dev
MPV1WGQXYQ MPV1WGQXYQ
| URI | m2://inv/MPV1WGQXYQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02481#3U42 (definition). In 5HACFNFY0P/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
MPV88A4YQK MPV88A4YQK
| URI | m2://inv/MPV88A4YQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#IYZ3 (statement). In Q74G3BVZAQ/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Ackermann set theory MPVJAJ8D69
| URI | m2://inv/MPVJAJ8D69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann set theory, Ackermann set theory (definition). Also Wikidata Q341810
History
- 2026-11-02: add by m2/dev
Correspondence analysis MPVYF0YC13
| URI | m2://inv/MPVYF0YC13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#AKUM, Correspondence analysis (definition)
- wikipedia: Wikipedia List of statistics articles#68CQ, Correspondence analysis (definition)
History
- 2026-11-02: add by m2/dev
MPVZFK8SYM MPVZFK8SYM
| URI | m2://inv/MPVZFK8SYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#0QJ0 (statement). In XX1J2REXY2/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Generalizations MPVZXB5XSB
| URI | m2://inv/MPVZXB5XSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beatty sequence#CQQC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Susan Morey MPW5S16J49
| URI | m2://inv/MPW5S16J49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Morey, Susan Morey (topic). Also Wikidata Q101419072
History
- 2026-11-02: add by m2/dev
Motivation for the conjecture MPW9GWYYWE
| URI | m2://inv/MPW9GWYYWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel conjecture#YY2X, Motivation for the conjecture (statement)
History
- 2026-11-02: add by m2/dev
MPWACAZGST MPWACAZGST
| URI | m2://inv/MPWACAZGST |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#695T (definition). In 6HJQXZS0A6/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
MPWBS9NTW3 MPWBS9NTW3
| URI | m2://inv/MPWBS9NTW3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#ZW39 (definition). In 7V2PVZS04C/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
Computer Misuse Act 1990 MPWGAN419M
| URI | m2://inv/MPWGAN419M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#WL6R, Computer Misuse Act 1990 (unknown)
History
- 2026-11-02: add by m2/dev
Definitions and properties MPWMP75PHX
| URI | m2://inv/MPWMP75PHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dupin cyclide#YFVD, Definitions and properties (definition)
History
- 2026-11-02: add by m2/dev
Financial signal processing MPWNPRY5SS
| URI | m2://inv/MPWNPRY5SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Financial signal processing, Financial signal processing (definition). Also Wikidata Q5449750
History
- 2026-11-02: add by m2/dev
MPWRDBVHY6 MPWRDBVHY6
| URI | m2://inv/MPWRDBVHY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20916#ULXB (statement). In HV598NZW9X/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.4.2
metamathematics MPWVXHNRGX
| URI | m2://inv/MPWVXHNRGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q903508, metamathematics (topic). Also MathWorld Metamathematics
- wikipedia: Wikipedia Metamathematics, Metamathematics (topic). Also Wikidata Q903508
History
- 2026-10-26: add by m2/dev
List of mathematical societies MPWW7QRFMY
| URI | m2://inv/MPWW7QRFMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#TSAD, List of mathematical societies (topic)
History
- 2026-11-02: add by m2/dev
Coman, Katharine MPX9AJA8PE
| URI | m2://inv/MPX9AJA8PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#T6PJ, Coman, Katharine (unknown)
History
- 2026-11-02: add by m2/dev
Ky Fan inequality MPXADHRD83
| URI | m2://inv/MPXADHRD83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ky Fan inequality, Ky Fan inequality (statement). Also Wikidata Q366730
History
- 2026-11-02: add by m2/dev
MPXBH512HC MPXBH512HC
| URI | m2://inv/MPXBH512HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#OVGT (statement). In 6WJ0R9YEBR/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Louis Boutet de Monvel MPXGQQKS64
| URI | m2://inv/MPXGQQKS64 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W8LP, Louis Boutet de Monvel (topic)
History
- 2026-11-02: add by m2/dev
Compactness MPXHDQ5PJZ
| URI | m2://inv/MPXHDQ5PJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:proves-compact, Compactness (statement). In PKGMM3P5QY, prop, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
Premonoidal category MPXNM1W74Z
| URI | m2://inv/MPXNM1W74Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Premonoidal category, Premonoidal category (definition). Also Wikidata Q130974266
History
- 2026-11-02: add by m2/dev
MPY2ECRF5G MPY2ECRF5G
| URI | m2://inv/MPY2ECRF5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27023#IG5Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
MPY3XEJWEV MPY3XEJWEV
| URI | m2://inv/MPY3XEJWEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#TPV3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MPY4S9AQHP MPY4S9AQHP
| URI | m2://inv/MPY4S9AQHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#DUEQ (statement). In CSRZ9CWK69/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
U-rank MPY70SR01H
| URI | m2://inv/MPY70SR01H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-rank, U-rank (definition). Also Wikidata Q7862947
History
- 2026-11-02: add by m2/dev
MPY9HMH27H MPY9HMH27H
| URI | m2://inv/MPY9HMH27H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06544#3LLZ (statement). In VCRB27RMN6/e1, corollary 18.3
History
- 2026-10-29: add by m2/v0.4.10
MPYC2ZCVX7 MPYC2ZCVX7
| URI | m2://inv/MPYC2ZCVX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#MMAQ (statement). In CNS2J2E4T2/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.12
MPYRG98VS4 MPYRG98VS4
| URI | m2://inv/MPYRG98VS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26455#8QPK (statement)
History
- 2026-11-01: add by m2/v0.6.15
MPYZ78VNQM MPYZ78VNQM
| URI | m2://inv/MPYZ78VNQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05276#CR8I (definition). In 4C5XHYTRT2/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
MPZ41JAFH4 MPZ41JAFH4
| URI | m2://inv/MPZ41JAFH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.00864#P8YM (statement). In PRF0P3D637/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
MPZ68A20T9 MPZ68A20T9
| URI | m2://inv/MPZ68A20T9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#KYE3 (definition). In 1R7H0ZAHWA/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Identification MPZ8H5Z13C
| URI | m2://inv/MPZ8H5Z13C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20041#TZLT, Identification (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bolzano's intermediate value theorem MPZ97Y04G8
| URI | m2://inv/MPZ97Y04G8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.2/bolzano-s-intermediate-value-theorem, Bolzano's intermediate value theorem (concept). In E59CDZA4DP, index, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Shattered set MPZG06P895
| URI | m2://inv/MPZG06P895 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192024, Shattered set (concept). Also MathWorld ShatteredSet
History
- 2026-10-26: add by m2/dev
Hermitian manifold MPZJGCEJMC
| URI | m2://inv/MPZJGCEJMC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hermitian manifold CK1DCPC3D3 |
Mentions
- wikidata: Wikidata Q5741935, Hermitian manifold (concept). Also nLab Hermitian manifold
- wikipedia: Wikipedia Hermitian manifold, Hermitian manifold (definition). Also Wikidata Q5741935
History
- 2026-10-26: add by m2/dev
MPZM0YT6JG MPZM0YT6JG
| URI | m2://inv/MPZM0YT6JG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-61 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
Alan Wilson MPZP79QC1R
| URI | m2://inv/MPZP79QC1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Wilson (academic), Alan Wilson (topic). Also Wikidata Q4708076
History
- 2026-11-02: add by m2/dev