Inventory rows 9P
The cards of the rows of the inventory whose ids start with 9P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Relations between R\'enyi divergence and DP notions 9P02TFQZAG
| URI | m2://inv/9P02TFQZAG |
|---|---|
| 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.19573#U6IH, Relations between R\'enyi divergence and DP notions (statement). In NM6Z2R61CN/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Apostolos Doxiadis 9P02W14FJ0
| URI | m2://inv/9P02W14FJ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#W8BR, Apostolos Doxiadis (topic)
History
- 2026-11-02: add by m2/dev
Lovász number 9P036D32ER
| URI | m2://inv/9P036D32ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6692699, Lovász number (unknown). Also MathWorld LovaszNumber
- wikipedia: Wikipedia Lovász number, Lovász number (definition). Also Wikidata Q6692699
History
- 2026-10-26: add by m2/dev
Spherical shell 9P04Q6C43X
| URI | m2://inv/9P04Q6C43X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#52AX, Spherical shell (definition)
History
- 2026-11-02: add by m2/dev
9P06SRHMM7 9P06SRHMM7
| URI | m2://inv/9P06SRHMM7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Martingale difference sequence 9P0BF2JFPC
| URI | m2://inv/9P0BF2JFPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4X0J, Martingale difference sequence (definition)
History
- 2026-11-02: add by m2/dev
9P0CADPMEE 9P0CADPMEE
| URI | m2://inv/9P0CADPMEE |
|---|---|
| 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 2304.09819#I5M4 (statement). In FYKSPSVT37/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.0
9P0DNSTW94 9P0DNSTW94
| URI | m2://inv/9P0DNSTW94 |
|---|---|
| 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 2610.03437#PI4E (statement). In EDTV1EDV7M/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
gem graph 9P0EQJK73N
| URI | m2://inv/9P0EQJK73N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128818482, gem graph (unknown). Also House of Graphs 1094, MathWorld GemGraph
History
- 2026-10-26: add by m2/dev
9P0FBBYRBX 9P0FBBYRBX
| URI | m2://inv/9P0FBBYRBX |
|---|---|
| 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.15352#N8PU (statement). In R39P7AFXM8/e1, proposition A.2
History
- 2026-10-28: add by m2/v0.4.2
9P0FWJP8H6 9P0FWJP8H6
| URI | m2://inv/9P0FWJP8H6 |
|---|---|
| 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.21340#BI5V (statement). In AEYX7SEVBG/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
9P0XDXQDTK 9P0XDXQDTK
| URI | m2://inv/9P0XDXQDTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.31907#D233 (statement). In 6B2PCEGCYZ/e1, corollary 5.10
History
- 2026-10-31: add by m2/v0.5.6
James B. Ramsey 9P0Z1FH7C6
| URI | m2://inv/9P0Z1FH7C6 |
|---|---|
| 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#3X47, James B. Ramsey (unknown)
History
- 2026-11-02: add by m2/dev
9P12FVTGB0 9P12FVTGB0
| URI | m2://inv/9P12FVTGB0 |
|---|---|
| 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 2106.11898#UCJ8 (statement). In KXXV5X8AG4/e1, theorem
History
- 2026-10-27: add by m2/v0.3.6
9P15GA1G92 9P15GA1G92
| URI | m2://inv/9P15GA1G92 |
|---|---|
| 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 2104.00162#C35X (statement). In HVGT9D84WV/e1, proposition 1.13
History
- 2026-10-27: add by m2/v0.3.5
J. Thomas Beale 9P15X6W71E
| URI | m2://inv/9P15X6W71E |
|---|---|
| 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#V4X8, J. Thomas Beale (topic)
History
- 2026-11-02: add by m2/dev
9P1H8T0Z8C 9P1H8T0Z8C
| URI | m2://inv/9P1H8T0Z8C |
|---|---|
| Kind | example |
| 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 2610.09739#RJ1V (example). In ZYNZ95FSFD/e1, example 4.3
History
- 2026-10-29: add by m2/v0.4.10
9P1J9QM842 9P1J9QM842
| URI | m2://inv/9P1J9QM842 |
|---|---|
| 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.27974#31J2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9P1KFMBHXF 9P1KFMBHXF
| URI | m2://inv/9P1KFMBHXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.21255#8VT1 (statement). In FB4DAYJJ5F/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
9P1MM3CQPT 9P1MM3CQPT
| URI | m2://inv/9P1MM3CQPT |
|---|---|
| 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.23694#YBSK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kenneth Lange 9P1Q3K4BZM
| URI | m2://inv/9P1Q3K4BZM |
|---|---|
| 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#PA2G, Kenneth Lange (unknown)
History
- 2026-11-02: add by m2/dev
9P1R2BDQ1W 9P1R2BDQ1W
| URI | m2://inv/9P1R2BDQ1W |
|---|---|
| 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 2609.36412#MB3J (statement). In 6HKGGCMBCK/e1, lemma 6.7
History
- 2026-10-30: add by m2/v0.4.12
Shift distance does not increase 9P1T1AC5FN
| URI | m2://inv/9P1T1AC5FN |
|---|---|
| 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.20979#9YOQ, Shift distance does not increase (statement)
History
- 2026-11-02: add by m2/v0.6.18
Prithudaka 9P1TVSJ114
| URI | m2://inv/9P1TVSJ114 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#3YRY, Prithudaka (unknown)
History
- 2026-11-02: add by m2/dev
Properties 9P1VFJFD2W
| URI | m2://inv/9P1VFJFD2W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected relation#VEDV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Zoé Chatzidakis 9P27EHR9H3
| URI | m2://inv/9P27EHR9H3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#H57S, Zoé Chatzidakis (topic)
History
- 2026-11-02: add by m2/dev
9P2830CX81 9P2830CX81
| URI | m2://inv/9P2830CX81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.37201#7MJM (statement). In HJEK865J7W/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
9P289ZQTCT 9P289ZQTCT
| URI | m2://inv/9P289ZQTCT |
|---|---|
| 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 2610.05459#Z507 (statement). In VYW16D089Y/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
9P28XC91P5 9P28XC91P5
| URI | m2://inv/9P28XC91P5 |
|---|---|
| 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 math/0411039#7YEA (statement). In ZTBDXSKFFW/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Stanko Bilinski 9P29CBCWZN
| URI | m2://inv/9P29CBCWZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanko Bilinski, Stanko Bilinski (topic). Also Wikidata Q18808742
History
- 2026-11-02: add by m2/dev
9P2D70GJ5W 9P2D70GJ5W
| URI | m2://inv/9P2D70GJ5W |
|---|---|
| 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 1808.00180#ACBK (statement). In XDYCG8DVHE/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Sven Koenig 9P2DA6F427
| URI | m2://inv/9P2DA6F427 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VYX9, Sven Koenig (unknown)
History
- 2026-11-02: add by m2/dev
9P2KBZ6T4Y 9P2KBZ6T4Y
| URI | m2://inv/9P2KBZ6T4Y |
|---|---|
| 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.01498#MOPI (statement). In 75GDSC8460/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
left adjoint 9P2NSGM9FC
| URI | m2://inv/9P2NSGM9FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q119692675, left adjoint (unknown). Also nLab left adjoint
History
- 2026-10-26: add by m2/dev
hypothetical syllogism 9P2SZHVCNX
| URI | m2://inv/9P2SZHVCNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BXOF, hypothetical syllogism (definition)
History
- 2026-11-02: add by m2/dev
Ungula 9P347Q4KJ9
| URI | m2://inv/9P347Q4KJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ungula, Ungula (definition). Also Wikidata Q27995891
History
- 2026-11-02: add by m2/dev
9P35MBZ494 9P35MBZ494
| URI | m2://inv/9P35MBZ494 |
|---|---|
| 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 2606.02312#BTKL (statement). In 1SZV94R22Y/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
9P3CQ64231 9P3CQ64231
| URI | m2://inv/9P3CQ64231 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.07001#4WFT (statement). In 5DFTVG7FFF/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Finitely-generated module 9P3DZMRQYD
| URI | m2://inv/9P3DZMRQYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#M8TK, Finitely-generated module (definition)
History
- 2026-11-02: add by m2/dev
Examples 9P3E6T3R4R
| URI | m2://inv/9P3E6T3R4R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi graph#WBC2, Examples (example)
History
- 2026-11-02: add by m2/dev
9P3FXCRW8Z 9P3FXCRW8Z
| URI | m2://inv/9P3FXCRW8Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 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 2609.39317#Z4M6 (example). In QM1T8JDK4A/e1, example 6.22
History
- 2026-10-30: add by m2/v0.4.12
modified Bessel function of the second kind 9P3TSBN10E
| URI | m2://inv/9P3TSBN10E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109559130, modified Bessel function of the second kind (definition). Also MathWorld ModifiedBesselFunctionoftheSecondKind, ProofWiki Definition:Modified_Bessel_Function/Second_Kind
History
- 2026-10-26: add by m2/dev
gyroelongated square pyramid 9P3WCSA4K6
| URI | m2://inv/9P3WCSA4K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140218, gyroelongated square pyramid (object). Also MathWorld GyroelongatedSquarePyramid
- wikipedia: Wikipedia Gyroelongated square pyramid, Gyroelongated square pyramid (definition). Also Wikidata Q140218
History
- 2026-10-26: add by m2/dev
9P3XDQJ86B 9P3XDQJ86B
| URI | m2://inv/9P3XDQJ86B |
|---|---|
| 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 2609.23847#KU9L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jane Kister 9P3XRJH8MY
| URI | m2://inv/9P3XRJH8MY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jane Kister, Jane Kister (topic). Also Wikidata Q95191701
History
- 2026-11-02: add by m2/dev
molecular physics 9P45MVM0GX
| URI | m2://inv/9P45MVM0GX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V55 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q489328, molecular physics (topic)
History
- 2026-10-26: add by m2/dev
Relative local cone patch 9P4KE6F3B4
| URI | m2://inv/9P4KE6F3B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-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.26340#21BK, Relative local cone patch (statement)
History
- 2026-11-01: add by m2/v0.6.15
Results 9P4PYKGVXK
| URI | m2://inv/9P4PYKGVXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eady model#8ARB, Results (statement)
History
- 2026-11-02: add by m2/dev
Takashi Ono 9P4QYZVZBH
| URI | m2://inv/9P4QYZVZBH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Takashi Ono (mathematician), Takashi Ono (topic). Also Wikidata Q21176243
History
- 2026-11-02: add by m2/dev
Constant elasticity of substitution 9P4S9FHVGQ
| URI | m2://inv/9P4S9FHVGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T97X, Constant elasticity of substitution (definition)
History
- 2026-11-02: add by m2/dev
Rick Tuttle 9P4VCR2ZHZ
| URI | m2://inv/9P4VCR2ZHZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#Z4W1, Rick Tuttle (unknown)
History
- 2026-11-02: add by m2/dev
Uniform 5-polytope 9P4ZHGJVSB
| URI | m2://inv/9P4ZHGJVSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 5-polytope, Uniform 5-polytope (definition). Also Wikidata Q17104419
History
- 2026-11-02: add by m2/dev
9P4ZMMX1B2 9P4ZMMX1B2
| URI | m2://inv/9P4ZMMX1B2 |
|---|---|
| Kind | definition |
| 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.20153#ADO1 (definition). In EYB107TM4Q/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Non-adjacent Columns 9P51257W5G
| URI | m2://inv/9P51257W5G |
|---|---|
| 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.02495#CTU6, Non-adjacent Columns (statement). In T4S7XVAJJC/e1, proposition 10.4
History
- 2026-10-29: add by m2/v0.4.12
Wilhelm Traugott Krug 9P52J27W5H
| URI | m2://inv/9P52J27W5H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Traugott Krug, Wilhelm Traugott Krug (topic). Also Wikidata Q215608
History
- 2026-11-02: add by m2/dev
Vittorio Siri 9P54B2EZS4
| URI | m2://inv/9P54B2EZS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vittorio Siri, Vittorio Siri (topic). Also Wikidata Q3561373
History
- 2026-11-02: add by m2/dev
Gyroelongated pentagonal cupola 9P57DAZ34S
| URI | m2://inv/9P57DAZ34S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6JNX, Gyroelongated pentagonal cupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3UC7, Gyroelongated pentagonal cupola (definition)
History
- 2026-11-02: add by m2/dev
Examples 9P5C0XC1WK
| URI | m2://inv/9P5C0XC1WK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial modelling#RLYY, Examples (example)
History
- 2026-11-02: add by m2/dev
Non-uniform lower bound for 2-colorability 9P5J7X7WEB
| URI | m2://inv/9P5J7X7WEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07379#OKC6, Non-uniform lower bound for 2-colorability (statement). In N0EVQ46HBR/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
General large value bound 9P5QPHD54J
| URI | m2://inv/9P5QPHD54J |
|---|---|
| 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.01035#VQKW, General large value bound (statement). In MVQWXFXWM7/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
Herglotz's variational principle 9P5TVM1C6F
| URI | m2://inv/9P5TVM1C6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herglotz's variational principle#DVV5, Herglotz's variational principle (statement)
History
- 2026-11-02: add by m2/dev
Boolean analysis 9P5X0HQR7B
| URI | m2://inv/9P5X0HQR7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean analysis, Boolean analysis (definition). Also Wikidata Q4943352
History
- 2026-11-02: add by m2/dev
9P60RC6WH4 9P60RC6WH4
| URI | m2://inv/9P60RC6WH4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.21703#ZXWW (definition)
History
- 2026-11-02: add by m2/v0.6.18
9P62MFGZCT 9P62MFGZCT
| URI | m2://inv/9P62MFGZCT |
|---|---|
| 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 2610.07855#SVP5 (statement). In 1VT8CVVCM7/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Sketch 9P632E98Y0
| URI | m2://inv/9P632E98Y0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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 2303.09207#VIKL, Sketch (definition). In 9DQKY7KGE8/e1, definition B.7
History
- 2026-10-31: add by m2/v0.5.6
9P65GG0ENX 9P65GG0ENX
| URI | m2://inv/9P65GG0ENX |
|---|---|
| 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 1903.07030#NP5Z (statement). In 9H45HQE7AZ/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Properties 9P6GF0GEZG
| URI | m2://inv/9P6GF0GEZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band (order theory)#YOUM, Properties (statement)
History
- 2026-11-02: add by m2/dev
explanans 9P6HDG4B8E
| URI | m2://inv/9P6HDG4B8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TFT9, explanans (definition)
History
- 2026-11-02: add by m2/dev
9P6Q288MXA 9P6Q288MXA
| URI | m2://inv/9P6Q288MXA |
|---|---|
| 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#NL8M (statement). In CNS2J2E4T2/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Hutchinson operator 9P6QGRNANW
| URI | m2://inv/9P6QGRNANW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hutchinson operator, Hutchinson operator (definition). Also Wikidata Q5950719
History
- 2026-11-02: add by m2/dev
9P6TBHEMV4 9P6TBHEMV4
| URI | m2://inv/9P6TBHEMV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.32829#AQDB (statement). In RYWAX33Z51/e1, proposition 4.25
History
- 2026-10-31: add by m2/v0.5.6
9P6ZFR4JGW 9P6ZFR4JGW
| URI | m2://inv/9P6ZFR4JGW |
|---|---|
| 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 2510.12502#F2IV (statement). In 3A4K47Y9F2/e1, lemma 2.30
History
- 2026-10-27: add by m2/v0.4.0
9P7B6WA21Z 9P7B6WA21Z
| URI | m2://inv/9P7B6WA21Z |
|---|---|
| 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.17871#KAZI (statement). In H17E7PBG1M/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
9P7MCY5Q9D 9P7MCY5Q9D
| URI | m2://inv/9P7MCY5Q9D |
|---|---|
| Kind | definition |
| 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#UGJK (definition). In S26QVW5613/e1, definition A.3.2
History
- 2026-10-30: add by m2/v0.4.12
Ensemble learning applications 9P80MVKFK7
| URI | m2://inv/9P80MVKFK7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble learning#EVTN, Ensemble learning applications (example)
History
- 2026-11-02: add by m2/dev
9P80XVXEG8 9P80XVXEG8
| URI | m2://inv/9P80XVXEG8 |
|---|---|
| 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.29894#IFTV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Further prime ideal theorems 9P830MNVZC
| URI | m2://inv/9P830MNVZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean prime ideal theorem#CTIL, Further prime ideal theorems (statement)
History
- 2026-11-02: add by m2/dev
9P847ZEN14 9P847ZEN14
| URI | m2://inv/9P847ZEN14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.38188#NFO9 (statement). In 7615KVXDB5/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
Arithmetic geometry 9P89EVB6J7
| URI | m2://inv/9P89EVB6J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8RNW, Arithmetic geometry (definition)
History
- 2026-11-02: add by m2/dev
Riemann's existence theorem 9P8JQZDJD2
| URI | m2://inv/9P8JQZDJD2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic geometry and analytic geometry#F3OY, Riemann's existence theorem (statement)
History
- 2026-11-02: add by m2/dev
Monte Carlo method for photon transport 9P8X5GCZ0T
| URI | m2://inv/9P8X5GCZ0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo method for photon transport, Monte Carlo method for photon transport (definition). Also Wikidata Q6904697
History
- 2026-11-02: add by m2/dev
9P8Y9GXG5K 9P8Y9GXG5K
| URI | m2://inv/9P8Y9GXG5K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-50 (exercise). In E59CDZA4DP, exercise, section 11.4.3
History
- 2026-11-01: add by m2/v0.6.13
polyomino 9P8YHDQN94
| URI | m2://inv/9P8YHDQN94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1144819, polyomino (unknown). Also MathWorld Polyomino
- wikipedia: Wikipedia Polyomino, Polyomino (definition). Also Wikidata Q1144819
History
- 2026-10-26: add by m2/dev
wavelength 9P9CK4FXN9
| URI | m2://inv/9P9CK4FXN9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41364, wavelength (concept). Also nLab wavelength
- wikipedia: Wikipedia Wavelength, Wavelength (definition). Also Wikidata Q41364
History
- 2026-10-26: add by m2/dev
Post correspondence problem 9P9EKQYBGH
| URI | m2://inv/9P9EKQYBGH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#Z77H, Post correspondence problem (problem)
History
- 2026-11-02: add by m2/dev
Formation sequences for terms 9P9KS6D4QD
| URI | m2://inv/9P9KS6D4QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#defn:fseq-trm, Formation sequences for terms (definition). In PKGMM3P5QY, defn, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
9P9NT880JZ 9P9NT880JZ
| URI | m2://inv/9P9NT880JZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#example-2 (example). In RZP28ERRZV, example, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
square millimetre 9P9QNA1A1C
| URI | m2://inv/9P9QNA1A1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2737347, square millimetre (definition). Also ProofWiki Definition:Millimetre/Square_Millimetre
History
- 2026-10-26: add by m2/dev
Bitangents of a quartic 9P9R0NPZ8X
| URI | m2://inv/9P9R0NPZ8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitangents of a quartic, Bitangents of a quartic (definition). Also Wikidata Q4918750
History
- 2026-11-02: add by m2/dev
Maxim Kontsevich 9P9SSW4TYZ
| URI | m2://inv/9P9SSW4TYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LVDB, Maxim Kontsevich (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RQM6, Maxim Kontsevich (topic)
History
- 2026-11-02: add by m2/dev
zero ideal 9P9TWJ7RMJ
| URI | m2://inv/9P9TWJ7RMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124407607, zero ideal (unknown). Also MathWorld ZeroIdeal
History
- 2026-10-26: add by m2/dev
STAR model 9P9VJY261W
| URI | m2://inv/9P9VJY261W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B1QC, STAR model (definition)
History
- 2026-11-02: add by m2/dev
Examples 9PA0ZDE8DT
| URI | m2://inv/9PA0ZDE8DT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halin graph#NDX9, Examples (example)
History
- 2026-11-02: add by m2/dev
9PA3ZR8569 9PA3ZR8569
| URI | m2://inv/9PA3ZR8569 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#example-3 (example). In RZP28ERRZV, example, section 75.3
History
- 2026-11-01: add by m2/v0.6.13
Zenodorus 9PA5YX48VY
| URI | m2://inv/9PA5YX48VY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#Z26D, Zenodorus (unknown)
History
- 2026-11-02: add by m2/dev
9PACW1XTCH 9PACW1XTCH
| URI | m2://inv/9PACW1XTCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-17 (definition). In VNMV985MXX, defn, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
chordal variety 9PAD91ZHN9
| URI | m2://inv/9PAD91ZHN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#AZR3, chordal variety (definition)
History
- 2026-11-02: add by m2/dev
9PAF9K5WQV 9PAF9K5WQV
| URI | m2://inv/9PAF9K5WQV |
|---|---|
| Kind | example |
| 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 1903.07030#NLAV (example). In 9H45HQE7AZ/e1, example 3.49
History
- 2026-10-27: add by m2/v0.3.5
9PAHR0B7AH 9PAHR0B7AH
| URI | m2://inv/9PAHR0B7AH |
|---|---|
| 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.15188#P3ZN (statement). In J05DJNDXJE/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Corollary 9PAJD2HBQS
| URI | m2://inv/9PAJD2HBQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beauville–Laszlo theorem#UC1T, Corollary (statement)
History
- 2026-11-02: add by m2/dev
AWM-SIAM Sonia Kovalevsky Lecture 9PAKY3408S
| URI | m2://inv/9PAKY3408S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AWM-SIAM Sonia Kovalevsky Lecture, AWM-SIAM Sonia Kovalevsky Lecture (definition). Also Wikidata Q105040724
History
- 2026-11-02: add by m2/dev
local diffeomorphism 9PAVFS0NB7
| URI | m2://inv/9PAVFS0NB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2276721, local diffeomorphism (unknown). Also nLab local diffeomorphism
- wikipedia: Wikipedia Local diffeomorphism, Local diffeomorphism (definition). Also Wikidata Q2276721
History
- 2026-10-26: add by m2/dev
Threshold Preservation 9PAW8M29FS
| URI | m2://inv/9PAW8M29FS |
|---|---|
| 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.40252#OZ1Q, Threshold Preservation (statement). In 7MVPNFPRKB/e1, theorem 8.11
History
- 2026-10-30: add by m2/v0.4.12
9PAWPDRFXK 9PAWPDRFXK
| URI | m2://inv/9PAWPDRFXK |
|---|---|
| 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.25880#XO99 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proof by assertion 9PB1TVP7A9
| URI | m2://inv/9PB1TVP7A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof by assertion, Proof by assertion (definition). Also Wikidata Q7249996
History
- 2026-11-02: add by m2/dev
Principles 9PB4QDMP7N
| URI | m2://inv/9PB4QDMP7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hebbian theory#ALA4, Principles (statement)
History
- 2026-11-02: add by m2/dev
Knot 9PB55H83TT
| URI | m2://inv/9PB55H83TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#JT2J, Knot (definition)
History
- 2026-11-02: add by m2/dev
Distinct partitions 9PB6H7VB1E
| URI | m2://inv/9PB6H7VB1E |
|---|---|
| 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.20087#GUHJ, Distinct partitions (statement). In ZRE2WQR5XA/e1, proposition V.10
History
- 2026-10-27: add by m2/v0.4.2
Example 9PBANJBBS7
| URI | m2://inv/9PBANJBBS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basu's theorem#TRAT, Example (example)
History
- 2026-11-02: add by m2/dev
practical number 9PBK261VWF
| URI | m2://inv/9PBK261VWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q577211, practical number (unknown). Also MathWorld PracticalNumber, OEIS A005153
- wikipedia: Wikipedia Practical number, Practical number (definition). Also Wikidata Q577211
History
- 2026-10-26: add by m2/dev
9PBKB9E6AT 9PBKB9E6AT
| URI | m2://inv/9PBKB9E6AT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_genfunction.ptx#ex_recurrence_gf-homog (example). In QKM9DD2H56, example, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
9PBQYDYS43 9PBQYDYS43
| URI | m2://inv/9PBQYDYS43 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-19 (proof). In N54F33XE07, proof, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
9PBZNWGFTQ 9PBZNWGFTQ
| URI | m2://inv/9PBZNWGFTQ |
|---|---|
| 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.21975#2SMW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Boualem Khouider 9PC1CC5K6J
| URI | m2://inv/9PC1CC5K6J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boualem Khouider, Boualem Khouider (topic). Also Wikidata Q98907566
History
- 2026-11-02: add by m2/dev
Goursat's lemma 9PC4D9JBXE
| URI | m2://inv/9PC4D9JBXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#6MXX, Goursat's lemma (statement)
History
- 2026-11-02: add by m2/dev
Existence time estimate for geodesics 9PC4P2EX92
| URI | m2://inv/9PC4P2EX92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.11911#N8L5, Existence time estimate for geodesics (statement). In 5BYE5NYB89/e1, proposition 2.14
History
- 2026-10-28: add by m2/v0.4.3
9PC6K5N1SF 9PC6K5N1SF
| URI | m2://inv/9PC6K5N1SF |
|---|---|
| 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 2305.10921#PEXI (statement). In PD5PJ0EYG6/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Hypothesis testing and confidence interval 9PC75SFSRE
| URI | m2://inv/9PC75SFSRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen's kappa#YWZ7, Hypothesis testing and confidence interval (statement)
History
- 2026-11-02: add by m2/dev
challenging 9PCDKQMJS7
| URI | m2://inv/9PCDKQMJS7 |
|---|---|
| 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-26, challenging (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
9PCHNCCW5T 9PCHNCCW5T
| URI | m2://inv/9PCHNCCW5T |
|---|---|
| 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.21455#DYSR (statement). In CY0E87QDED/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
Sichuan 9PCT42TSTS
| URI | m2://inv/9PCT42TSTS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#E4O4, Sichuan (unknown)
History
- 2026-11-02: add by m2/dev
Schechter function 9PCZ4XX17J
| URI | m2://inv/9PCZ4XX17J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luminosity function (astronomy)#X4MW, Schechter function (unknown)
History
- 2026-11-02: add by m2/dev
9PD34K9BQM 9PD34K9BQM
| URI | m2://inv/9PD34K9BQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2609.31352#PFEJ (definition). In SQZGKRDVBX/e1, definition 2.7
History
- 2026-10-31: add by m2/v0.5.6
New Horizons in Mathematics Prize 9PD5EAX0C0
| URI | m2://inv/9PD5EAX0C0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Breakthrough Prize in Mathematics#JDVC, New Horizons in Mathematics Prize (unknown)
History
- 2026-11-02: add by m2/dev
9PD89G64QN 9PD89G64QN
| URI | m2://inv/9PD89G64QN |
|---|---|
| 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.38118#F6DB (statement). In K4KKTYYKKH/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Ernst G. Straus 9PDC9XNHWE
| URI | m2://inv/9PDC9XNHWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst G. Straus, Ernst G. Straus (topic). Also Wikidata Q87554
History
- 2026-11-02: add by m2/dev
Hosohedron 9PDCQY1RQW
| URI | m2://inv/9PDCQY1RQW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8XLT, Hosohedron (object)
- wikipedia: Wikipedia List of mathematical shapes#BR3L, Hosohedron (object)
- wikipedia: Wikipedia List of mathematical shapes#DESH, Hosohedron (object)
History
- 2026-11-02: add by m2/dev
9PDJ7CVR2Z 9PDJ7CVR2Z
| URI | m2://inv/9PDJ7CVR2Z |
|---|---|
| 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 2610.09483#29SC (statement). In N1MQ8F9JN6/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Tobias Ekholm 9PDR9CMCDS
| URI | m2://inv/9PDR9CMCDS |
|---|---|
| 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#XZOV, Tobias Ekholm (unknown)
History
- 2026-11-02: add by m2/dev
Constraint inference 9PDW87ZW1E
| URI | m2://inv/9PDW87ZW1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint inference, Constraint inference (definition). Also Wikidata Q5164375
History
- 2026-11-02: add by m2/dev
9PDWMQXR1D 9PDWMQXR1D
| URI | m2://inv/9PDWMQXR1D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-9 (example). In Y91XFCEVHQ, example, section 1.4.3
History
- 2026-11-01: add by m2/v0.6.13
Normal distribution 9PDXGE0A7T
| URI | m2://inv/9PDXGE0A7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K1RB, Normal distribution (definition)
History
- 2026-11-02: add by m2/dev
9PDXVNS3V8 9PDXVNS3V8
| URI | m2://inv/9PDXVNS3V8 |
|---|---|
| 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 2202.07274#U0YC (definition). In V5WGBGKYXN/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
9PE2YBTKYD 9PE2YBTKYD
| URI | m2://inv/9PE2YBTKYD |
|---|---|
| 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 2609.34813#VPJ8 (statement). In P3V3ZGCHV7/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
Certified lower bound 9PE3EK0TSX
| URI | m2://inv/9PE3EK0TSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.20653#O6YJ, Certified lower bound (statement). In FB0F3JYMHW/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
9PEASZAF2S 9PEASZAF2S
| URI | m2://inv/9PEASZAF2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2610.15169#6DA5 (statement). In V7SN19J84T/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
General definition 9PEHPPFWDM
| URI | m2://inv/9PEHPPFWDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average treatment effect#VUCE, General definition (definition)
History
- 2026-11-02: add by m2/dev
Support monotonicity 9PENTX8SZD
| URI | m2://inv/9PENTX8SZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.26269#VRNS, Support monotonicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
9PEQA4ZY80 9PEQA4ZY80
| URI | m2://inv/9PEQA4ZY80 |
|---|---|
| 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 math/9801068#P77A (statement). In PMMWXCJVAZ/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Der Wahrheitsbegriff in den formalisierten Sprachen 9PERF051YY
| URI | m2://inv/9PERF051YY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's undefinability theorem#EFOZ, Der Wahrheitsbegriff in den formalisierten Sprachen (unknown)
History
- 2026-11-02: add by m2/dev
9PEWR22R9Z 9PEWR22R9Z
| URI | m2://inv/9PEWR22R9Z |
|---|---|
| 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 2203.16333#ZLI6 (statement). In GV2GPKN1F6/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Unirational surfaces 9PEY5DQMMV
| URI | m2://inv/9PEY5DQMMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#VNQT, Unirational surfaces (definition)
History
- 2026-11-02: add by m2/dev
9PF94YZR4C 9PF94YZR4C
| URI | m2://inv/9PF94YZR4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 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.13142#7TGD (statement). In KYW4YMVQAB/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Descent Property 9PFHH5M0HN
| URI | m2://inv/9PFHH5M0HN |
|---|---|
| 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.10927#06T9, Descent Property (statement). In DHEJP3YATV/e1, lemma 24
History
- 2026-10-28: add by m2/v0.4.3
Generalizations 9PFKH8PQJK
| URI | m2://inv/9PFKH8PQJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius theorem (differential topology)#A4BC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
9PFP081RZ3 9PFP081RZ3
| URI | m2://inv/9PFP081RZ3 |
|---|---|
| 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.23803#2O1R (statement)
History
- 2026-11-02: add by m2/v0.6.17
$u$-substitution 9PG0EPP4Q5
| URI | m2://inv/9PG0EPP4Q5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.3.3/u-substitution, $u$-substitution (concept). In E59CDZA4DP, index, section 8.3.3
History
- 2026-11-01: add by m2/v0.6.13
Fano 9PG0REGQZ1
| URI | m2://inv/9PG0REGQZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#SRM3, Fano (definition)
History
- 2026-11-02: add by m2/dev
Minkowski 9PG9T15EHX
| URI | m2://inv/9PG9T15EHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#Q6NM, Minkowski (definition)
History
- 2026-11-02: add by m2/dev
9PGDNFN1JZ 9PGDNFN1JZ
| URI | m2://inv/9PGDNFN1JZ |
|---|---|
| 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.31537#YBBC (statement). In MNYPK3W135/e1, fact 2.2
History
- 2026-10-31: add by m2/v0.5.6
Classical cipher 9PGH86APWD
| URI | m2://inv/9PGH86APWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical cipher, Classical cipher (definition). Also Wikidata Q10855346
History
- 2026-11-02: add by m2/dev
James A. Morrow 9PGRX3WB4N
| URI | m2://inv/9PGRX3WB4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James A. Morrow, James A. Morrow (topic). Also Wikidata Q20180559
History
- 2026-11-02: add by m2/dev
Open problems 9PH1S0S616
| URI | m2://inv/9PH1S0S616 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comon's conjecture#CES0, Open problems (statement)
History
- 2026-11-02: add by m2/dev
9PHAG00ZN0 9PHAG00ZN0
| URI | m2://inv/9PHAG00ZN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#LG0L (statement). In H3FDP8S1Z7/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Examples 9PHKFSSTY1
| URI | m2://inv/9PHKFSSTY1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian matroid#KGHK, Examples (example)
History
- 2026-11-02: add by m2/dev
9PHT2VMRC3 9PHT2VMRC3
| URI | m2://inv/9PHT2VMRC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.02061#CHZB (statement). In F5STMSPR6X/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Karel Janeček 9PHW6MNERF
| URI | m2://inv/9PHW6MNERF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karel Janeček, Karel Janeček (topic). Also Wikidata Q12028279
History
- 2026-11-02: add by m2/dev
9PJ1NY4PBN 9PJ1NY4PBN
| URI | m2://inv/9PJ1NY4PBN |
|---|---|
| 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 2404.05965#PFO4 (statement). In GD1GED3FZ3/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.3.5
Graduate Studies in Mathematics 9PJ3FE418B
| URI | m2://inv/9PJ3FE418B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graduate Studies in Mathematics, Graduate Studies in Mathematics (definition). Also Wikidata Q5592049
History
- 2026-11-02: add by m2/dev
9PJDFZ7S2Y 9PJDFZ7S2Y
| URI | m2://inv/9PJDFZ7S2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#cor-3 (statement). In E59CDZA4DP, cor, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
VC dimension 9PJDPRNVYY
| URI | m2://inv/9PJDPRNVYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > VC dimension, VC dimension (unknown). Also Mathlib Finset.vcDim
History
- 2026-10-26: add by m2/dev
9PJFJNRB8Y 9PJFJNRB8Y
| URI | m2://inv/9PJFJNRB8Y |
|---|---|
| Kind | example |
| 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.18346#7FIU (example). In QVPNGHTMEX/e1, example 3.8
History
- 2026-10-28: add by m2/v0.4.2
Satish K. Tripathi 9PJGC0G5G4
| URI | m2://inv/9PJGC0G5G4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6L59, Satish K. Tripathi (unknown)
History
- 2026-11-02: add by m2/dev
9PJNEC1ERN 9PJNEC1ERN
| URI | m2://inv/9PJNEC1ERN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21675#OTNH (statement). In TB1294GY5X/e1, theorem B.2
History
- 2026-10-27: add by m2/v0.4.2
9PJRF4Q7MT 9PJRF4Q7MT
| URI | m2://inv/9PJRF4Q7MT |
|---|---|
| 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.19921#EFA5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Continuous threshold convergence on the box 9PK0MHBNRV
| URI | m2://inv/9PK0MHBNRV |
|---|---|
| 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.29524#2M5Q, Continuous threshold convergence on the box (statement)
History
- 2026-11-01: add by m2/v0.6.15
9PK0YB84DV 9PK0YB84DV
| URI | m2://inv/9PK0YB84DV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feedback arc set#DEWX (problem)
History
- 2026-11-02: add by m2/dev
Properties of the sine density 9PK1QSNQTH
| URI | m2://inv/9PK1QSNQTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#LMHF, Properties of the sine density (statement). In JY6RYSNXMJ/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Examples 9PK8HKFQB8
| URI | m2://inv/9PK8HKFQB8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler manifold#VAW7, Examples (example)
History
- 2026-11-02: add by m2/dev
9PKC6HXRZP 9PKC6HXRZP
| URI | m2://inv/9PKC6HXRZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 1408.1555#G2VT (statement). In S1F2QW24YW/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
g 9PKGWNGWFR
| URI | m2://inv/9PKGWNGWFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#Z1XW, g (definition)
History
- 2026-11-02: add by m2/dev
Triangle group 9PKK0ETSRH
| URI | m2://inv/9PKK0ETSRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#L95P, Triangle group (definition)
History
- 2026-11-02: add by m2/dev
Probabilistic inductive logic programming 9PKNM6WYJH
| URI | m2://inv/9PKNM6WYJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive logic programming#U3FP, Probabilistic inductive logic programming (unknown)
History
- 2026-11-02: add by m2/dev
9PKQ2XE2ZW 9PKQ2XE2ZW
| URI | m2://inv/9PKQ2XE2ZW |
|---|---|
| Kind | definition |
| 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#VXUQ (definition). In VD4JP4HVBX/e1, definition 8.5
History
- 2026-10-28: add by m2/v0.4.2
\textbf{Properties of the $d$-Dirichlet convolution 9PM009ZHKF
| URI | m2://inv/9PM009ZHKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.14266#FJ56, \textbf{Properties of the $d$-Dirichlet convolution (statement). In 7R33E8515R/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
large number 9PM13J7YNZ
| URI | m2://inv/9PM13J7YNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1816844, large number (unknown). Also MathWorld LargeNumber
- wikipedia: Wikipedia Large numbers, Large numbers (definition). Also Wikidata Q1816844
History
- 2026-10-26: add by m2/dev
9PM659675S 9PM659675S
| URI | m2://inv/9PM659675S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2407.02022#M8CT (statement). In RZDNWV9E29/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.6
9PMAH9Y8GK 9PMAH9Y8GK
| URI | m2://inv/9PMAH9Y8GK |
|---|---|
| Kind | example |
| 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 2206.05392#329L (example). In 58D1ZC82DW/e1, example 36
History
- 2026-10-27: add by m2/v0.3.5
Newton–Cotes formulas 9PMKYD69A9
| URI | m2://inv/9PMKYD69A9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#NDKQ, Newton–Cotes formulas (statement)
History
- 2026-11-02: add by m2/dev
9PMP1AE9QS 9PMP1AE9QS
| URI | m2://inv/9PMP1AE9QS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-1.xml#definition-eigenvectors (definition). In 649HGZKE96, definition, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
Nearly Kähler manifold 9PMTF3K326
| URI | m2://inv/9PMTF3K326 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearly Kähler manifold, Nearly Kähler manifold (definition). Also Wikidata Q6984440
History
- 2026-11-02: add by m2/dev
Landau levels 9PMTPMB0KQ
| URI | m2://inv/9PMTPMB0KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau levels, Landau levels (definition). Also Wikidata Q277967
History
- 2026-11-02: add by m2/dev
9PN4AK5A46 9PN4AK5A46
| URI | m2://inv/9PN4AK5A46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:suspension-increases-connectedness (statement). In N54F33XE07, thm, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
Emmy Murphy 9PN7J9VC4D
| URI | m2://inv/9PN7J9VC4D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PPFR, Emmy Murphy (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B9LN, Emmy Murphy (unknown)
History
- 2026-11-02: add by m2/dev
orthogonal functions 9PN9RSF5ZR
| URI | m2://inv/9PN9RSF5ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2637908, orthogonal functions (unknown). Also MathWorld OrthogonalFunctions
- wikipedia: Wikipedia Orthogonal functions, Orthogonal functions (definition). Also Wikidata Q2637908
History
- 2026-10-26: add by m2/dev
Issai Schur 9PNM9ZPG0B
| URI | m2://inv/9PNM9ZPG0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#706Q, Issai Schur (topic)
- wikipedia: Wikipedia List of German mathematicians#XCEQ, Issai Schur (topic)
History
- 2026-11-02: add by m2/dev
Kazuhiko Aomoto 9PNV3WTJTM
| URI | m2://inv/9PNV3WTJTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#HHDG, Kazuhiko Aomoto (topic)
History
- 2026-11-02: add by m2/dev
Cryptographic security (against polynomial-time adversaries 9PNXZN1F6Z
| URI | m2://inv/9PNXZN1F6Z |
|---|---|
| Kind | definition |
| 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.24994#W93F, Cryptographic security (against polynomial-time adversaries (definition)
History
- 2026-11-01: add by m2/v0.6.15
Landau, 1918 9PNZXHZP0D
| URI | m2://inv/9PNZXHZP0D |
|---|---|
| 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 2609.35950#KLRB, Landau, 1918 (statement). In BZN1G5W5FX/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Paolo Perrone, personal communication 9PP8EY7F52
| URI | m2://inv/9PP8EY7F52 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 1912.02769#IKJW, Paolo Perrone, personal communication (example). In JH7VQ2EC16/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
GEH statistic 9PP9G9NXTV
| URI | m2://inv/9PP9G9NXTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BQR2, GEH statistic (definition)
History
- 2026-11-02: add by m2/dev
Telegram 9PPEXD1R1S
| URI | m2://inv/9PPEXD1R1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telegram (software), Telegram (definition). Also Wikidata Q15616276
History
- 2026-11-02: add by m2/dev
9PPFQKJEH4 9PPFQKJEH4
| URI | m2://inv/9PPFQKJEH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2609.26588#6GZ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complex multiplication 9PPJEC05WK
| URI | m2://inv/9PPJEC05WK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#5G6S, Complex multiplication (topic)
History
- 2026-11-02: add by m2/dev
9PPQFZCZX5 9PPQFZCZX5
| URI | m2://inv/9PPQFZCZX5 |
|---|---|
| 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#HM6N (statement). In 5M1SXP75D9/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.4.2
Description of the paradox 9PPR2VFPQH
| URI | m2://inv/9PPR2VFPQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindley's paradox#4IEO, Description of the paradox (statement)
History
- 2026-11-02: add by m2/dev
9PPZZ3ZHB4 9PPZZ3ZHB4
| URI | m2://inv/9PPZZ3ZHB4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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.00789#RZJF (example). In 4WPYBTARS2/e1, example 2.11
History
- 2026-10-29: add by m2/v0.4.12
Rice distribution 9PQ0VTWGRY
| URI | m2://inv/9PQ0VTWGRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GSMO, Rice distribution (definition)
History
- 2026-11-02: add by m2/dev
9PQ29K6JAG 9PQ29K6JAG
| URI | m2://inv/9PQ29K6JAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.22326#XXP6 (statement). In EAABRG99V8/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.0
Jun S. Liu 9PQB9BR4FE
| URI | m2://inv/9PQB9BR4FE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jun S. Liu, Jun S. Liu (topic). Also Wikidata Q6311502
History
- 2026-11-02: add by m2/dev
Law enforcement 9PQM6XW1VV
| URI | m2://inv/9PQM6XW1VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heptagram#TMKR, Law enforcement (statement)
History
- 2026-11-02: add by m2/dev
angular frequency 9PQT570RKZ
| URI | m2://inv/9PQT570RKZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.4.2/angular-frequency, angular frequency (concept). In E9HS8K3A52, index, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
Theoria (journal) 9PQV32N50P
| URI | m2://inv/9PQV32N50P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#SZ7K, Theoria (journal) (unknown)
History
- 2026-11-02: add by m2/dev
line integral 9PQXR77VQW
| URI | m2://inv/9PQXR77VQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#8ZQ7, line integral (definition)
History
- 2026-11-02: add by m2/dev
Eva E. Jacobs 9PR3PMMJ8R
| URI | m2://inv/9PR3PMMJ8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eva E. Jacobs, Eva E. Jacobs (topic). Also Wikidata Q43100315
History
- 2026-11-02: add by m2/dev
9PR9QY9YJW 9PR9QY9YJW
| URI | m2://inv/9PR9QY9YJW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 77.3
History
- 2026-11-01: add by m2/v0.6.13
natural sequence 9PRBXNR5B0
| URI | m2://inv/9PRBXNR5B0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138568729, natural sequence (unknown). Also EoM Natural_sequence
History
- 2026-10-26: add by m2/dev
Residual and dynamic modulation 9PRCY24JAE
| URI | m2://inv/9PRCY24JAE |
|---|---|
| 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.00241#G0IN, Residual and dynamic modulation (statement). In VBRQTN2RXN/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
9PRF8JGHKX 9PRF8JGHKX
| URI | m2://inv/9PRF8JGHKX |
|---|---|
| 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.05193#IQHH (statement). In XDMM0KNNZ9/e1, proposition 52
History
- 2026-10-29: add by m2/v0.4.10
Rational number 9PRMM3ZWTQ
| URI | m2://inv/9PRMM3ZWTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#2UB2, Rational number (definition)
History
- 2026-11-02: add by m2/dev
Neil Trudinger 9PRNAS9VFT
| URI | m2://inv/9PRNAS9VFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neil Trudinger, Neil Trudinger (topic). Also Wikidata Q25595
History
- 2026-11-02: add by m2/dev
Ellen Burrell 9PRR7E7F4E
| URI | m2://inv/9PRR7E7F4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellen Burrell, Ellen Burrell (topic). Also Wikidata Q108861868
History
- 2026-11-02: add by m2/dev
Stochastic simulation 9PRWH69PPD
| URI | m2://inv/9PRWH69PPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XDS4, Stochastic simulation (definition)
History
- 2026-11-02: add by m2/dev
9PS20FNA4Q 9PS20FNA4Q
| URI | m2://inv/9PS20FNA4Q |
|---|---|
| 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 2212.06621#F2BA (statement). In DB223AABTH/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
tame knot 9PSBQX6V4Z
| URI | m2://inv/9PSBQX6V4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q63738036, tame knot (unknown). Also MathWorld TameKnot
History
- 2026-10-26: add by m2/dev
9PSBXHY1WQ 9PSBXHY1WQ
| URI | m2://inv/9PSBXHY1WQ |
|---|---|
| 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 2610.13556#XX9D (statement). In 5ZB8N3YY72/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
9PSEBJ1EGY 9PSEBJ1EGY
| URI | m2://inv/9PSEBJ1EGY |
|---|---|
| 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 2610.03323#ZJIV (statement). In J1ZP57QWED/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Newtonian limit 9PSFJ0YBZA
| URI | m2://inv/9PSFJ0YBZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#1XUG, Newtonian limit (definition)
History
- 2026-11-02: add by m2/dev
Patricia S. Hu 9PSSWRXPWH
| URI | m2://inv/9PSSWRXPWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patricia S. Hu, Patricia S. Hu (topic). Also Wikidata Q105946924
History
- 2026-11-02: add by m2/dev
Enumerative induction 9PSV99Y69T
| URI | m2://inv/9PSV99Y69T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive reasoning#7PHU, Enumerative induction (unknown)
History
- 2026-11-02: add by m2/dev
Crossing an annulus with small local times 9PSX2YMP15
| URI | m2://inv/9PSX2YMP15 |
|---|---|
| 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.12138#M5O7, Crossing an annulus with small local times (statement). In KFAR8SMVYM/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Odd local order forces ordinary overlap order 9PSXPQ3BMA
| URI | m2://inv/9PSXPQ3BMA |
|---|---|
| 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 2609.22301#WZF8, Odd local order forces ordinary overlap order (statement)
History
- 2026-11-02: add by m2/v0.6.17
9PSYJMNZCC 9PSYJMNZCC
| URI | m2://inv/9PSYJMNZCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2610.09422#T767 (statement). In MS7M2BJS9X/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.10
Finite projected representation and elicitation 9PT090YNKR
| URI | m2://inv/9PT090YNKR |
|---|---|
| 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 2609.25026#POSY, Finite projected representation and elicitation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 9PT471YGJY
| URI | m2://inv/9PT471YGJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval exchange transformation#3FDH, Properties (statement)
History
- 2026-11-02: add by m2/dev
9PT4K1MY48 9PT4K1MY48
| URI | m2://inv/9PT4K1MY48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.31476#HAC8 (statement). In PC1CFE8CJC/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Kepler's laws of planetary motion 9PT6P1TYB6
| URI | m2://inv/9PT6P1TYB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83219, Kepler's laws of planetary motion (statement). Also ProofWiki Kepler's_Laws_of_Planetary_Motion
- wikipedia: Wikipedia Kepler's laws of planetary motion, Kepler's laws of planetary motion (statement). Also Wikidata Q83219
History
- 2026-10-26: add by m2/dev
9PT94KTDGW 9PT94KTDGW
| URI | m2://inv/9PT94KTDGW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 37.3
History
- 2026-11-01: add by m2/v0.6.13
Example 9PTH1NYW5R
| URI | m2://inv/9PTH1NYW5R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Waterman algorithm#665C, Example (example)
History
- 2026-11-02: add by m2/dev
Applications 9PTRSDFMYW
| URI | m2://inv/9PTRSDFMYW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer product#3P4L, Applications (example)
History
- 2026-11-02: add by m2/dev
Britannia Secunda 9PV3BJA0SF
| URI | m2://inv/9PV3BJA0SF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1CVG, Britannia Secunda (unknown)
History
- 2026-11-02: add by m2/dev
Congruent number problem 9PV9DNJX5X
| URI | m2://inv/9PV9DNJX5X |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#N7C4, Congruent number problem (conjecture)
History
- 2026-11-02: add by m2/dev
Bézout domain 9PVA7WFAJ0
| URI | m2://inv/9PVA7WFAJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#RHYW, Bézout domain (definition)
History
- 2026-11-02: add by m2/dev
Sheldon E. Newhouse 9PVBWZHQZ5
| URI | m2://inv/9PVBWZHQZ5 |
|---|---|
| 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#GKJ8, Sheldon E. Newhouse (unknown)
History
- 2026-11-02: add by m2/dev
9PVEMBRVGJ 9PVEMBRVGJ
| URI | m2://inv/9PVEMBRVGJ |
|---|---|
| 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 2609.28195#RWG4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9PVGS10E71 9PVGS10E71
| URI | m2://inv/9PVGS10E71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 2110.11143#J2MF (definition). In VTVC0TCWSB/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
9PVGT8JS1M 9PVGT8JS1M
| URI | m2://inv/9PVGT8JS1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.21552#JL89 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9PVK7Q35F0 9PVK7Q35F0
| URI | m2://inv/9PVK7Q35F0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2401.14162#AVIR (example). In JC1XF1JE6J/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
Theorem 9PVNFTKCMR
| URI | m2://inv/9PVNFTKCMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement witness#OE1D, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 9PVT6FEC4W
| URI | m2://inv/9PVT6FEC4W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu function#6D22, Applications (example)
History
- 2026-11-02: add by m2/dev
9PVWD38VW4 9PVWD38VW4
| URI | m2://inv/9PVWD38VW4 |
|---|---|
| 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 2609.26477#JEN9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
median absolute deviation 9PVXRWA8PE
| URI | m2://inv/9PVXRWA8PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#ZQLK, median absolute deviation (definition)
History
- 2026-11-02: add by m2/dev
9PW947WP6C 9PW947WP6C
| URI | m2://inv/9PW947WP6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-9 (definition). In RZP28ERRZV, definition, section 62.10
History
- 2026-11-01: add by m2/v0.6.13
9PW9H4SN8Q 9PW9H4SN8Q
| URI | m2://inv/9PW9H4SN8Q |
|---|---|
| Kind | problem |
| 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 2601.18223#CNCB (problem). In ZRXE7EJA93/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
9PWBFK7WB3 9PWBFK7WB3
| URI | m2://inv/9PWBFK7WB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0810.0962#GW3J (statement). In 80YMRN5KS9/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Properties 9PWC7JADHF
| URI | m2://inv/9PWC7JADHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic sequence#UUOZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
9PWTHQ9758 9PWTHQ9758
| URI | m2://inv/9PWTHQ9758 |
|---|---|
| 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 2609.26500#VYDI (statement)
History
- 2026-11-01: add by m2/v0.6.15
9PX0W92DQV 9PX0W92DQV
| URI | m2://inv/9PX0W92DQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.36377#ABUZ (statement). In M98F6VRPZ2/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Key exchange 9PX7GN4RAC
| URI | m2://inv/9PX7GN4RAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key exchange, Key exchange (definition). Also Wikidata Q1414155
History
- 2026-11-02: add by m2/dev
9PX9443YE8 9PX9443YE8
| URI | m2://inv/9PX9443YE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.38742#IEAP (statement). In TSXBJB0EXK/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
9PXGYB9NE2 9PXGYB9NE2
| URI | m2://inv/9PXGYB9NE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.02059#7DEB (statement). In 630RJSKBPW/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Formal definition 9PXJ998FKA
| URI | m2://inv/9PXJ998FKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger symmetric monoidal category#L000, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Scaled-score bound and truncation error 9PXK32PHX9
| URI | m2://inv/9PXK32PHX9 |
|---|---|
| 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.05333#R118, Scaled-score bound and truncation error (statement). In N37WKFTR7Q/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
recursion principle 9PXN5NJ2AE
| URI | m2://inv/9PXN5NJ2AE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/recursion-principle, recursion principle (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
9PXNEPAJK9 9PXNEPAJK9
| URI | m2://inv/9PXNEPAJK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 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 2609.31883#NYMG (statement). In XBHQRTBH62/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
Spectral Correspondence under Exact Closure 9PY4XSFMGG
| URI | m2://inv/9PY4XSFMGG |
|---|---|
| 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.32652#7U9N, Spectral Correspondence under Exact Closure (statement). In 6KAZWJ8RFX/e1, proposition 4.9
History
- 2026-10-31: add by m2/v0.5.6
9PYGTR8BMT 9PYGTR8BMT
| URI | m2://inv/9PYGTR8BMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#C9NZ (statement). In 8TSZ2E32K3/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
9PYKB10MHT 9PYKB10MHT
| URI | m2://inv/9PYKB10MHT |
|---|---|
| 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 2201.10697#XORY (statement). In WN2Z20ZV49/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.6
9PYTGVZ47M 9PYTGVZ47M
| URI | m2://inv/9PYTGVZ47M |
|---|---|
| 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 2601.00910#HUVI (statement). In 8B1548XAJ4/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Neil Strickland 9PZ11MEREJ
| URI | m2://inv/9PZ11MEREJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1314574, Neil Strickland (unknown). Also nLab Neil Strickland
History
- 2026-10-26: add by m2/dev
9PZ847ESN2 9PZ847ESN2
| URI | m2://inv/9PZ847ESN2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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 2501.18744#FU0L (example). In YRWZ02BGEF/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
Noise reduction 9PZB8RPJ6V
| URI | m2://inv/9PZB8RPJ6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise reduction, Noise reduction (definition). Also Wikidata Q581861
History
- 2026-11-02: add by m2/dev
9PZHPM1FKF 9PZHPM1FKF
| URI | m2://inv/9PZHPM1FKF |
|---|---|
| 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.14582#KSNX (statement). In 6XP6PD2XZA/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
9PZNGBG0EV 9PZNGBG0EV
| URI | m2://inv/9PZNGBG0EV |
|---|---|
| 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#69R1 (statement). In ER5EH4W919/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
9PZSTZAAJ9 9PZSTZAAJ9
| URI | m2://inv/9PZSTZAAJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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.37520#G7OO (statement). In BDN507RN7J/e1, lemma 4.1.17
History
- 2026-10-30: add by m2/v0.4.12
Delta operator 9PZSXA8EPG
| URI | m2://inv/9PZSXA8EPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5254796, Delta operator (unknown). Also MathWorld DeltaOperator
- wikipedia: Wikipedia Delta operator, Delta operator (definition). Also Wikidata Q5254796
History
- 2026-10-26: add by m2/dev
Bound for the maximum 9PZVXEWX1X
| URI | m2://inv/9PZVXEWX1X |
|---|---|
| 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.40138#JAVK, Bound for the maximum (statement). In R60HR493TS/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Max–min inequality 9PZXQFTXRV
| URI | m2://inv/9PZXQFTXRV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#D4M6, Max–min inequality (statement)
History
- 2026-11-02: add by m2/dev