Inventory rows 69
The cards of the rows of the inventory whose ids start with 69. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
prescribing the kernel dimension 690105K5JM
| URI | m2://inv/690105K5JM |
|---|---|
| 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.20351#P747, prescribing the kernel dimension (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sizes of the systems 6909QQAEQB
| URI | m2://inv/6909QQAEQB |
|---|---|
| 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.15262#RXZP, Sizes of the systems (statement). In C44HVXWYRF/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
690DWF3Q1Q 690DWF3Q1Q
| URI | m2://inv/690DWF3Q1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15228#1YN4 (statement). In 4778KMFZAF/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
locally constant function 690EFA5QWV
| URI | m2://inv/690EFA5QWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1762213, locally constant function (unknown). Also nLab locally constant function
- wikipedia: Wikipedia Locally constant function, Locally constant function (definition). Also Wikidata Q1762213
History
- 2026-10-26: add by m2/dev
the full threshold without quotients tending to one 690GW94NV5
| URI | m2://inv/690GW94NV5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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 2609.27458#OP73, the full threshold without quotients tending to one (example)
History
- 2026-11-01: add by m2/v0.6.15
690KJAS1P8 690KJAS1P8
| URI | m2://inv/690KJAS1P8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#geometric:exr (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
Heteromecic number 690WQH2WZG
| URI | m2://inv/690WQH2WZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#7NDW, Heteromecic number (definition)
History
- 2026-11-02: add by m2/dev
690XJ1MBCW 690XJ1MBCW
| URI | m2://inv/690XJ1MBCW |
|---|---|
| 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 2608.23797#F1SU (statement). In PZCA01JXVR/e1, proposition 5.14
History
- 2026-10-27: add by m2/v0.3.5
Stability of spanning under small cell averages 691A0RQS3S
| URI | m2://inv/691A0RQS3S |
|---|---|
| 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.00117#PCVK, Stability of spanning under small cell averages (statement). In 4G2BDP206S/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
Lu--Zhu 691BQ8QE42
| URI | m2://inv/691BQ8QE42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#QVT9, Lu--Zhu (statement). In W3G9Z9B32N/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
691HG1Z12J 691HG1Z12J
| URI | m2://inv/691HG1Z12J |
|---|---|
| Kind | definition |
| 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.20273#UAWK (definition). In AEGHDSD5S7/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.2
Special case: Kernel ridge regression; Theorem 1 691K1Y2S3K
| URI | m2://inv/691K1Y2S3K |
|---|---|
| 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 2102.11076#7YAI, Special case: Kernel ridge regression; Theorem 1 (statement). In T9HZXHTQBJ/e1, corollary 7
History
- 2026-10-27: add by m2/v0.3.6
Keti Tenenblat 691R9XC9BB
| URI | m2://inv/691R9XC9BB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keti Tenenblat, Keti Tenenblat (topic). Also Wikidata Q19830956
History
- 2026-11-02: add by m2/dev
Connector 691TP35952
| URI | m2://inv/691TP35952 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connector (mathematics), Connector (definition). Also Wikidata Q5161711
History
- 2026-11-02: add by m2/dev
Applications 691TPHYD07
| URI | m2://inv/691TPHYD07 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive polynomial (field theory)#4RSR, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples 691VKQEAAP
| URI | m2://inv/691VKQEAAP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered polyhedral number#4J4Q, Examples (example)
History
- 2026-11-02: add by m2/dev
691VZCXPP5 691VZCXPP5
| URI | m2://inv/691VZCXPP5 |
|---|---|
| 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.13685#2XGA (statement). In 4XQWY8C4AV/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Functional limit theorems 692RPDYNBD
| URI | m2://inv/692RPDYNBD |
|---|---|
| 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.14616#N1KU, Functional limit theorems (statement). In 17ACAG0N9C/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
Infinite topology of the full shadow 692RW5JAZ3
| URI | m2://inv/692RW5JAZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.09602#S62X, Infinite topology of the full shadow (statement). In 4AQ48WSBDQ/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.10
Ursula Hamenstädt 692SDGYR9X
| URI | m2://inv/692SDGYR9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursula Hamenstädt, Ursula Hamenstädt (topic). Also Wikidata Q1296815
History
- 2026-11-02: add by m2/dev
Framing under oriented smoothing 692TPGSH8W
| URI | m2://inv/692TPGSH8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.18618#46G6, Framing under oriented smoothing (statement). In C8VC86B6H8/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Ascent Operators 692W3CD4FX
| URI | m2://inv/692W3CD4FX |
|---|---|
| Kind | definition |
| 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.31363#XZIF, Ascent Operators (definition). In XB8NYRD86J/e1, definition D.1
History
- 2026-10-31: add by m2/v0.5.6
Small-angle approximation 6931873QM7
| URI | m2://inv/6931873QM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small-angle approximation, Small-angle approximation (definition). Also Wikidata Q1760468
History
- 2026-11-02: add by m2/dev
6934KE0GB6 6934KE0GB6
| URI | m2://inv/6934KE0GB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.38017#ZYI0 (statement). In SYFKJC9X5M/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
693BFXAKT3 693BFXAKT3
| URI | m2://inv/693BFXAKT3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-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.08837#JHIQ (example). In KBH265QSBT/e1, example 7.8
History
- 2026-10-29: add by m2/v0.4.10
693CGXXXNR 693CGXXXNR
| URI | m2://inv/693CGXXXNR |
|---|---|
| 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.38988#7740 (statement). In KZ0ZRYE0ZH/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Properties 693FYNCEE2
| URI | m2://inv/693FYNCEE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer domain#E8PS, Properties (statement)
History
- 2026-11-02: add by m2/dev
square pyramidal number 693J15EEE6
| URI | m2://inv/693J15EEE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18949, square pyramidal number (unknown). Also MathWorld SquarePyramidalNumber, OEIS A000330
- wikipedia: Wikipedia Square pyramidal number, Square pyramidal number (definition). Also Wikidata Q18949
History
- 2026-10-26: add by m2/dev
693KXQD1PR 693KXQD1PR
| URI | m2://inv/693KXQD1PR |
|---|---|
| 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#EH1O (definition). In 9DQKY7KGE8/e1, definition B.30
History
- 2026-10-31: add by m2/v0.5.6
693SY6AKD8 693SY6AKD8
| URI | m2://inv/693SY6AKD8 |
|---|---|
| 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.30274#5673 (statement). In 6ASPPVJP5M/e1, proposition 11
History
- 2026-10-31: add by m2/v0.5.6
693X0ASB2W 693X0ASB2W
| URI | m2://inv/693X0ASB2W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:extendedrealsmetric (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
693X9XAGMC 693X9XAGMC
| URI | m2://inv/693X9XAGMC |
|---|---|
| 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.16203#ASMD (statement). In 43TBS9P2PX/e1, theorem 8.8
History
- 2026-10-28: add by m2/v0.4.2
Regularity lemma, compactification version 693YA2JR0M
| URI | m2://inv/693YA2JR0M |
|---|---|
| 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.16180#AZJJ, Regularity lemma, compactification version (statement). In FCFD59D3T6/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
69474V1WKM 69474V1WKM
| URI | m2://inv/69474V1WKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.14502#PLVW (statement). In 6BVBMTYXNZ/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
6948N2M2QM 6948N2M2QM
| URI | m2://inv/6948N2M2QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.21921#YSMR (statement). In CM2YEK9T4F/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Silvio Micali 694GQK0RMG
| URI | m2://inv/694GQK0RMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#VIQD, Silvio Micali (unknown)
History
- 2026-11-02: add by m2/dev
Examples 694H28QYR8
| URI | m2://inv/694H28QYR8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus bundle#YSNY, Examples (example)
History
- 2026-11-02: add by m2/dev
694N5QKSAS 694N5QKSAS
| URI | m2://inv/694N5QKSAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#XDTV (statement). In P3HWTYFDBX/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
Unary operator 694VKGQP28
| URI | m2://inv/694VKGQP28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#80OZ, Unary operator (definition)
History
- 2026-11-02: add by m2/dev
Statement 6957FPR3KB
| URI | m2://inv/6957FPR3KB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodall's conjecture#OFJC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Usage of the lemma 695MFVS3B8
| URI | m2://inv/695MFVS3B8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pumping lemma for context-free languages#EUA7, Usage of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Delayed move with a stale destination 695RAJWYK5
| URI | m2://inv/695RAJWYK5 |
|---|---|
| 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.17677#KAHE, Delayed move with a stale destination (statement). In 5E9G06XJKC/e1, corollary E.6
History
- 2026-10-28: add by m2/v0.4.2
Population paradox 695XYYZ2VH
| URI | m2://inv/695XYYZ2VH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apportionment paradox#7DNJ, Population paradox (statement)
History
- 2026-11-02: add by m2/dev
6967C57YBS 6967C57YBS
| URI | m2://inv/6967C57YBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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.16267#MALJ (statement). In 65GKPZ15VH/e1, proposition 3.16
History
- 2026-10-28: add by m2/v0.4.2
69691K7RT6 69691K7RT6
| URI | m2://inv/69691K7RT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2401.07983#U4D7 (statement). In 4WJ9HYVSZY/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
6969ND5DSM 6969ND5DSM
| URI | m2://inv/6969ND5DSM |
|---|---|
| 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#86V1 (statement). In 5ZB8N3YY72/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
6969Y2N5QR 6969Y2N5QR
| URI | m2://inv/6969Y2N5QR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
696PDWYPMQ 696PDWYPMQ
| URI | m2://inv/696PDWYPMQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-9 (proof). In E59CDZA4DP, proof, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
prenex normal form 696XEAY5EY
| URI | m2://inv/696XEAY5EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WAPG, prenex normal form (definition)
History
- 2026-11-02: add by m2/dev
Top-gap version for a finite alphabet 6970RDBCQE
| URI | m2://inv/6970RDBCQE |
|---|---|
| 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 2609.38228#1Z92, Top-gap version for a finite alphabet (statement). In 9YAE8FNQST/e1, proposition 23.25
History
- 2026-10-30: add by m2/v0.4.12
6974S6BF0V 6974S6BF0V
| URI | m2://inv/6974S6BF0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#EUJD (statement). In 1NZSZ241WE/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Center of gravity 697CJFJ5ZM
| URI | m2://inv/697CJFJ5ZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center of mass#1MAU, Center of gravity (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 697EY977HH
| URI | m2://inv/697EY977HH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pappus's area theorem#R19U, Theorem (statement)
History
- 2026-11-02: add by m2/dev
697K4QS42G 697K4QS42G
| URI | m2://inv/697K4QS42G |
|---|---|
| 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.32903#6LLO (statement). In S8NB83KQX3/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
Proposition 697MR4H8XE
| URI | m2://inv/697MR4H8XE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber-homotopy equivalence#ODWE, Proposition (statement)
History
- 2026-11-02: add by m2/dev
697P4HYKZZ 697P4HYKZZ
| URI | m2://inv/697P4HYKZZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Kővári-Sós-Turán theorem 698770QWT6
| URI | m2://inv/698770QWT6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zarankiewicz problem#KGCO, Kővári-Sós-Turán theorem (unknown)
History
- 2026-11-02: add by m2/dev
Leslie Gabriel Valiant 6988TR7PKV
| URI | m2://inv/6988TR7PKV |
|---|---|
| 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#5OTI, Leslie Gabriel Valiant (unknown)
History
- 2026-11-02: add by m2/dev
Method ringing 698CC4BV2Y
| URI | m2://inv/698CC4BV2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#S26K, Method ringing (unknown)
History
- 2026-11-02: add by m2/dev
Implementation 698DWAMFEQ
| URI | m2://inv/698DWAMFEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrage pricing theory#9415, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Consumer choice 698G0D56XK
| URI | m2://inv/698G0D56XK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#DB4F, Consumer choice (unknown)
History
- 2026-11-02: add by m2/dev
698HJZ98SS 698HJZ98SS
| URI | m2://inv/698HJZ98SS |
|---|---|
| Kind | conjecture |
| 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.10576#OFUQ (conjecture). In N3ZA5MDZBW/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.10
Lexical commutator 698N10WTQ2
| URI | m2://inv/698N10WTQ2 |
|---|---|
| Kind | definition |
| 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 2609.20207#DYUF, Lexical commutator (definition)
History
- 2026-11-02: add by m2/v0.6.18
Richard Schwartz 698Q81TH53
| URI | m2://inv/698Q81TH53 |
|---|---|
| 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#IWSI, Richard Schwartz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZIRC, Richard Schwartz (topic)
History
- 2026-11-02: add by m2/dev
698R1C7N2E 698R1C7N2E
| URI | m2://inv/698R1C7N2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#VR71 (statement). In WCY07D1CJG/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
698T6Q5DNW 698T6Q5DNW
| URI | m2://inv/698T6Q5DNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.38268#V02N (statement). In TQ18V9TDQS/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
698VV9YFXS 698VV9YFXS
| URI | m2://inv/698VV9YFXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#28D9 (statement). In 7CK21JGM5A/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Schröder number 698YV9FRVG
| URI | m2://inv/698YV9FRVG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2071909, Schröder number (object). Also MathWorld SchroederNumber, OEIS A006318
- wikipedia: Wikipedia Schröder number, Schröder number (object). Also Wikidata Q2071909
History
- 2026-10-26: add by m2/dev
69908YA4WT 69908YA4WT
| URI | m2://inv/69908YA4WT |
|---|---|
| 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#HEY6 (statement). In 6B2PCEGCYZ/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
6991E9C08B 6991E9C08B
| URI | m2://inv/6991E9C08B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10107#M6F6 (definition). In ZHNJ8MSXHW/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Applications 6994JRBMTS
| URI | m2://inv/6994JRBMTS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One- and two-tailed tests#25OX, Applications (example)
History
- 2026-11-02: add by m2/dev
6998WQPZ77 6998WQPZ77
| URI | m2://inv/6998WQPZ77 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16505#446G (example). In P9V43TXCJ3/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
699EAVKHVD 699EAVKHVD
| URI | m2://inv/699EAVKHVD |
|---|---|
| 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 1002.0879#9JN8 (statement). In M0SQY5EZN5/e1, theorem 1.4.4
History
- 2026-10-27: add by m2/v0.3.5
699PKH6598 699PKH6598
| URI | m2://inv/699PKH6598 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
699Q8F1GDQ 699Q8F1GDQ
| URI | m2://inv/699Q8F1GDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#5668 (statement). In MRR92GQNZE/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
Properties 699R6J79H9
| URI | m2://inv/699R6J79H9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Third fundamental form#NBU5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Concentration under MCMC 699WVFHEDC
| URI | m2://inv/699WVFHEDC |
|---|---|
| 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.17403#BPWZ, Concentration under MCMC (statement). In 9EMNMAW8YH/e1, theorem 16
History
- 2026-10-28: add by m2/v0.4.2
Seifallah Randjbar-Daemi 699XT3HBDW
| URI | m2://inv/699XT3HBDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#W7U9, Seifallah Randjbar-Daemi (unknown)
History
- 2026-11-02: add by m2/dev
699ZZ1QFA8 699ZZ1QFA8
| URI | m2://inv/699ZZ1QFA8 |
|---|---|
| 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.12295#W9QT (statement). In 6DZPR52HRP/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
69A3B5JZ93 69A3B5JZ93
| URI | m2://inv/69A3B5JZ93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#3EP1 (statement). In 2PP4XRVS0J/e1, corollary 12.5
History
- 2026-10-27: add by m2/v0.4.2
Kubo formula 69A4BFWTRA
| URI | m2://inv/69A4BFWTRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear response function#FU2G, Kubo formula (statement)
History
- 2026-11-02: add by m2/dev
Countably barrelled space 69A7V6DXD2
| URI | m2://inv/69A7V6DXD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably barrelled space, Countably barrelled space (definition). Also Wikidata Q96375598
History
- 2026-11-02: add by m2/dev
Wilson's integral estimate 69A8J4CVCV
| URI | m2://inv/69A8J4CVCV |
|---|---|
| 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.15421#2R4U, Wilson's integral estimate (statement). In 3RBKH0DA74/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Research 2000 69AGXMERSH
| URI | m2://inv/69AGXMERSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#WM5C, Research 2000 (unknown)
History
- 2026-11-02: add by m2/dev
69AKJ50G34 69AKJ50G34
| URI | m2://inv/69AKJ50G34 |
|---|---|
| Kind | example |
| 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.10469#Q1R2 (example). In Q39BEKW6D9/e1, example 5.5
History
- 2026-10-29: add by m2/v0.4.10
Gino Fano 69AM9P47BP
| URI | m2://inv/69AM9P47BP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gino Fano, Gino Fano (topic). Also Wikidata Q726861
History
- 2026-11-02: add by m2/dev
69AMM02G30 69AMM02G30
| URI | m2://inv/69AMM02G30 |
|---|---|
| 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.19285#71CR (statement). In 6DJR9DKY5W/e1, lemma 4.14
History
- 2026-10-28: add by m2/v0.4.2
69AV3S6NJQ 69AV3S6NJQ
| URI | m2://inv/69AV3S6NJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#VWUR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Scheffé's method 69AX2Z57SK
| URI | m2://inv/69AX2Z57SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L3UD, Scheffé's method (definition)
History
- 2026-11-02: add by m2/dev
Jørgensen's dilemma 69AXZ9VZT7
| URI | m2://inv/69AXZ9VZT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imperative logic#CFPS, Jørgensen's dilemma (unknown)
History
- 2026-11-02: add by m2/dev
Narendra Karmarkar 69B3DMT49S
| URI | m2://inv/69B3DMT49S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narendra Karmarkar, Narendra Karmarkar (topic). Also Wikidata Q29664
History
- 2026-11-02: add by m2/dev
69BA5PD0FK 69BA5PD0FK
| URI | m2://inv/69BA5PD0FK |
|---|---|
| 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.27114#HZWB (statement)
History
- 2026-11-01: add by m2/v0.6.15
69BER7E1FM 69BER7E1FM
| URI | m2://inv/69BER7E1FM |
|---|---|
| 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.29478#WUUZ (statement). In XAFYHH8G7X/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Restricted-family coverage certificate 69BH5HZV71
| URI | m2://inv/69BH5HZV71 |
|---|---|
| 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.11038#SSP3, Restricted-family coverage certificate (statement). In RY8QBYR4SE/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.3
Restall's hypersequent calculus for \textbf{S5 69BSN97WGX
| URI | m2://inv/69BSN97WGX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#RK3T, Restall's hypersequent calculus for \textbf{S5 (definition). In FR51ART4NF/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Stefan Banach 69BTHZV3KR
| URI | m2://inv/69BTHZV3KR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#LCO1, Stefan Banach (topic)
History
- 2026-11-02: add by m2/dev
History of female education in India 69BTWMMDJK
| URI | m2://inv/69BTWMMDJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Female education#KVN7, History of female education in India (unknown)
History
- 2026-11-02: add by m2/dev
69BWDF84A8 69BWDF84A8
| URI | m2://inv/69BWDF84A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.10558#3HS5 (statement). In GYSF9JXQCH/e1, lemma 5.12
History
- 2026-10-29: add by m2/v0.4.10
Royal Meeker 69BZJ2W086
| URI | m2://inv/69BZJ2W086 |
|---|---|
| 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#GCSI, Royal Meeker (unknown)
History
- 2026-11-02: add by m2/dev
69C0R3S6H3 69C0R3S6H3
| URI | m2://inv/69C0R3S6H3 |
|---|---|
| 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.20480#0DTI (statement). In BK4359JSC3/e1, lemma 7.6
History
- 2026-10-27: add by m2/v0.4.2
Local equivalence 69C6MPJFV3
| URI | m2://inv/69C6MPJFV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17004#BOAK, Local equivalence (statement). In XNJGNMS6H0/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
69CA4GHMA6 69CA4GHMA6
| URI | m2://inv/69CA4GHMA6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-8 (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Tendril perversion 69CJ9RZFTM
| URI | m2://inv/69CJ9RZFTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tendril perversion, Tendril perversion (definition). Also Wikidata Q17103963
History
- 2026-11-02: add by m2/dev
69CKSM4QC2 69CKSM4QC2
| URI | m2://inv/69CKSM4QC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#MMER (statement)
History
- 2026-11-01: add by m2/v0.6.15
Self-organizing map 69CP3W47QX
| URI | m2://inv/69CP3W47QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-organizing map, Self-organizing map (definition). Also Wikidata Q1136838
History
- 2026-11-02: add by m2/dev
69CPBQHDJV 69CPBQHDJV
| URI | m2://inv/69CPBQHDJV |
|---|---|
| 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 2609.21121#MARQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
69CQT4PKE7 69CQT4PKE7
| URI | m2://inv/69CQT4PKE7 |
|---|---|
| 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 2207.05628#JNQ8 (statement). In 9JPKTEWW4W/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
69D3WZFMCC 69D3WZFMCC
| URI | m2://inv/69D3WZFMCC |
|---|---|
| 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.04264#JCSC (statement). In 5YRJ4HGY4N/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
Dense templates 69DA6ZEY6P
| URI | m2://inv/69DA6ZEY6P |
|---|---|
| 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.21388#WD3O, Dense templates (statement)
History
- 2026-11-02: add by m2/v0.6.18
69DBKC5HMF 69DBKC5HMF
| URI | m2://inv/69DBKC5HMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#1MP8 (statement). In CHC3T113Y4/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Applications 69DDGTR0ND
| URI | m2://inv/69DDGTR0ND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Familiarity heuristic#HMIW, Applications (example)
History
- 2026-11-02: add by m2/dev
69DDHKCF23 69DDHKCF23
| URI | m2://inv/69DDHKCF23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#YWX3 (statement). In 1R7H0ZAHWA/e1, proposition 2.10
History
- 2026-10-28: add by m2/v0.4.2
69DFPCJPYH 69DFPCJPYH
| URI | m2://inv/69DFPCJPYH |
|---|---|
| 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 2510.09873#AOY6 (statement). In KNB3ZCNC9Q/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Dirac equation 69DFTRC74E
| URI | m2://inv/69DFTRC74E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dirac equation XNZX7VXXR2 |
Mentions
- wikidata: Wikidata Q272621, Dirac equation (unknown). Also MathWorld DiracEquation, nLab Dirac equation
- wikipedia: Wikipedia Dirac equation, Dirac equation (definition). Also Wikidata Q272621
History
- 2026-10-26: add by m2/dev
69DM6C27XZ 69DM6C27XZ
| URI | m2://inv/69DM6C27XZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21052#LUBD (statement)
History
- 2026-11-02: add by m2/v0.6.18
69DR0A6QH9 69DR0A6QH9
| URI | m2://inv/69DR0A6QH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.22317#TGCM (statement). In 2W5Z97BBW4/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
Orthostochastic matrix 69DVJTMCG1
| URI | m2://inv/69DVJTMCG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthostochastic matrix, Orthostochastic matrix (definition). Also Wikidata Q7104936
History
- 2026-11-02: add by m2/dev
Chua's circuit 69E5GNSZD8
| URI | m2://inv/69E5GNSZD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#HAIX, Chua's circuit (definition)
History
- 2026-11-02: add by m2/dev
69E5REAGDD 69E5REAGDD
| URI | m2://inv/69E5REAGDD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#ques-10 (exercise). In RZP28ERRZV, ques, section 9.9.1
History
- 2026-11-01: add by m2/v0.6.13
tropical semiring 69EECRD657
| URI | m2://inv/69EECRD657 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tropical semiring 5PNBCRH2JG |
Mentions
- wikidata: Wikidata Q60790098, tropical semiring (unknown). Also nLab tropical semiring
- wikipedia: Wikipedia Tropical semiring, Tropical semiring (definition). Also Wikidata Q60790098
History
- 2026-10-26: add by m2/dev
David Christiani 69EMZ09GHQ
| URI | m2://inv/69EMZ09GHQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#U0KK, David Christiani (topic)
History
- 2026-11-02: add by m2/dev
69F0KZFDFY 69F0KZFDFY
| URI | m2://inv/69F0KZFDFY |
|---|---|
| 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 2610.21005#RIV2 (statement). In E63NRC7MBE/e1, theorem 2.30
History
- 2026-10-27: add by m2/v0.4.2
Upper bound 69F2QDBDAR
| URI | m2://inv/69F2QDBDAR |
|---|---|
| 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.13670#MS5C, Upper bound (statement). In 4PGTZ19B26/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Relative survival 69FMQVPMVQ
| URI | m2://inv/69FMQVPMVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U381, Relative survival (definition)
History
- 2026-11-02: add by m2/dev
69FPRD2CNY 69FPRD2CNY
| URI | m2://inv/69FPRD2CNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#L98I (statement). In RW315W172S/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
69FSGEATB1 69FSGEATB1
| URI | m2://inv/69FSGEATB1 |
|---|---|
| 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 2610.18673#7UEE (statement). In 7ZFD9XRKA1/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
69FVKPZ185 69FVKPZ185
| URI | m2://inv/69FVKPZ185 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17940#M5XD (statement). In MMW4J61SKS/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Integral of secant cubed 69FVY48XWB
| URI | m2://inv/69FVY48XWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#92ST, Integral of secant cubed (definition)
History
- 2026-11-02: add by m2/dev
Geoffrey Grimmett 69FWFSFATX
| URI | m2://inv/69FWFSFATX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey Grimmett, Geoffrey Grimmett (topic). Also Wikidata Q1502984
History
- 2026-11-02: add by m2/dev
69FXD33NDY 69FXD33NDY
| URI | m2://inv/69FXD33NDY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 95.6
History
- 2026-11-01: add by m2/v0.6.13
69G2S2N5BD 69G2S2N5BD
| URI | m2://inv/69G2S2N5BD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.07697#FKJ5 (definition). In 57P5P33HS3/e1, definition 9
History
- 2026-10-27: add by m2/v0.3.5
Pipe (computing) 69G7D6WEYZ
| URI | m2://inv/69G7D6WEYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertical bar#F043, Pipe (computing) (unknown)
History
- 2026-11-02: add by m2/dev
Properties 69GAPKR2GC
| URI | m2://inv/69GAPKR2GC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct limit of groups#JP1I, Properties (statement)
History
- 2026-11-02: add by m2/dev
Balding–Nichols model 69GD347BD0
| URI | m2://inv/69GD347BD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#2PMU, Balding–Nichols model (definition)
History
- 2026-11-02: add by m2/dev
69GE76GJ1K 69GE76GJ1K
| URI | m2://inv/69GE76GJ1K |
|---|---|
| Kind | example |
| 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 2609.34570#JEJN (example). In EVFX1R7ZDD/e1, example 9
History
- 2026-10-30: add by m2/v0.4.12
significance level 69GGV7C1F5
| URI | m2://inv/69GGV7C1F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#PZFG, significance level (definition)
History
- 2026-11-02: add by m2/dev
Bergman–Weil formula 69GGYVW3SK
| URI | m2://inv/69GGYVW3SK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman–Weil formula, Bergman–Weil formula (statement). Also Wikidata Q4891706
History
- 2026-11-02: add by m2/dev
Examples 69GQS745XH
| URI | m2://inv/69GQS745XH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout matrix#5GC1, Examples (example)
History
- 2026-11-02: add by m2/dev
Polynomial smoothing estimates 69H0ZD9Y60
| URI | m2://inv/69H0ZD9Y60 |
|---|---|
| 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.39736#B5PI, Polynomial smoothing estimates (statement). In BB1XJ47PVW/e1, lemma 27
History
- 2026-10-30: add by m2/v0.4.12
69H6WWGA7M 69H6WWGA7M
| URI | m2://inv/69H6WWGA7M |
|---|---|
| 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.40274#6X8F (statement). In 7ZDNJC9MST/e1, theorem 7.7
History
- 2026-10-30: add by m2/v0.4.12
69HBZ0DSWJ 69HBZ0DSWJ
| URI | m2://inv/69HBZ0DSWJ |
|---|---|
| Kind | definition |
| 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 2609.21649#7JG0 (definition)
History
- 2026-11-02: add by m2/v0.6.18
69HHVGM7SD 69HHVGM7SD
| URI | m2://inv/69HHVGM7SD |
|---|---|
| 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.23522#QLH0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
69HJ35ACTP 69HJ35ACTP
| URI | m2://inv/69HJ35ACTP |
|---|---|
| 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.25301#6OVZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 69HSHFA6TE
| URI | m2://inv/69HSHFA6TE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metabelian group#2MLK, Examples (example)
History
- 2026-11-02: add by m2/dev
69J4DPASVE 69J4DPASVE
| URI | m2://inv/69J4DPASVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 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 2605.10911#6EUG (statement). In Y23VR7N90M/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
Dimension-free bounds for the bounded part 69JBGMSA41
| URI | m2://inv/69JBGMSA41 |
|---|---|
| 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.03638#7HR4, Dimension-free bounds for the bounded part (statement). In H39AZG67B6/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.12
69JG6X7ZQH 69JG6X7ZQH
| URI | m2://inv/69JG6X7ZQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.19010#0BI5 (statement). In 6315NJBYJM/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
69JK666MKT 69JK666MKT
| URI | m2://inv/69JK666MKT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#LOXX (definition). In 89XYDVXG38/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Monoid ring 69JPQB5B2X
| URI | m2://inv/69JPQB5B2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#U9GA, Monoid ring (definition)
History
- 2026-11-02: add by m2/dev
69JQCTS5XA 69JQCTS5XA
| URI | m2://inv/69JQCTS5XA |
|---|---|
| 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.09672#OOI3 (statement). In TXBXCPP0QH/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
69JS85D6C0 69JS85D6C0
| URI | m2://inv/69JS85D6C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#FBTJ (statement). In C6R0DAA279/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Matrix-tree theorem 69JT0Y0HFZ
| URI | m2://inv/69JT0Y0HFZ |
|---|---|
| Kind | statement |
| 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 2609.25111#EITR, Matrix-tree theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
69K2VXZFRF 69K2VXZFRF
| URI | m2://inv/69K2VXZFRF |
|---|---|
| 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#0PYU (statement). In K4KKTYYKKH/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Double bracket 69KC978XFM
| URI | m2://inv/69KC978XFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket#W3TE, Double bracket (unknown)
History
- 2026-11-02: add by m2/dev
graph, disconnected 69KCN06S8R
| URI | m2://inv/69KCN06S8R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/graph-disconnected, graph, disconnected (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
69KFC1R530 69KFC1R530
| URI | m2://inv/69KFC1R530 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#GFYA (definition). In D2247CRPPE/e1, definition 8
History
- 2026-10-30: add by m2/v0.4.12
69KSCB0AT9 69KSCB0AT9
| URI | m2://inv/69KSCB0AT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.35102#JPR2 (statement). In XK6H7F2F13/e1, lemma 1.5
History
- 2026-10-30: add by m2/v0.4.12
69M1CDS2TJ 69M1CDS2TJ
| URI | m2://inv/69M1CDS2TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#54XV (statement). In AZFARX0CXG/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Application 69M2K1KZ2E
| URI | m2://inv/69M2K1KZ2E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener–Khinchin theorem#5FYC, Application (example)
History
- 2026-11-02: add by m2/dev
69M3Z2G9Q5 69M3Z2G9Q5
| URI | m2://inv/69M3Z2G9Q5 |
|---|---|
| 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.03011#P835 (statement). In VE8FB6K8EN/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Karl Johan Åström 69MA6FFA69
| URI | m2://inv/69MA6FFA69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NY3D, Karl Johan Åström (unknown)
History
- 2026-11-02: add by m2/dev
Projection DPP 69MKH9BP95
| URI | m2://inv/69MKH9BP95 |
|---|---|
| Kind | definition |
| 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.20556#BHI2, Projection DPP (definition)
History
- 2026-11-02: add by m2/v0.6.18
69MW334PKR 69MW334PKR
| URI | m2://inv/69MW334PKR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:vksusppt (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
69MWKTQP4R 69MWKTQP4R
| URI | m2://inv/69MWKTQP4R |
|---|---|
| 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 2609.35858#ZCE4 (statement). In R2K4HZN8RW/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
St. Petersburg paradox 69MZSPK5FG
| URI | m2://inv/69MZSPK5FG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q874375, St. Petersburg paradox (concept). Also MathWorld SaintPetersburgParadox
- wikipedia: Wikipedia St. Petersburg paradox, St. Petersburg paradox (statement). Also Wikidata Q874375
History
- 2026-10-26: add by m2/dev
autological 69N0VRQ8FW
| URI | m2://inv/69N0VRQ8FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BGFS, autological (definition)
History
- 2026-11-02: add by m2/dev
Modular curve 69N1Q3ZY48
| URI | m2://inv/69N1Q3ZY48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#8TH7, Modular curve (definition)
History
- 2026-11-02: add by m2/dev
'Mamphono Khaketla 69N9ER3K34
| URI | m2://inv/69N9ER3K34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 'Mamphono Khaketla, 'Mamphono Khaketla (topic). Also Wikidata Q29958071
History
- 2026-11-02: add by m2/dev
69NCDX2JSM 69NCDX2JSM
| URI | m2://inv/69NCDX2JSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03050#JI6M (statement). In WXBRJN9PHQ/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
c.f. 69NNS3TV3Z
| URI | m2://inv/69NNS3TV3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36078#3UV6, c.f. (statement). In MVKXS0Q6XN/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Q-category 69NP3FHC6T
| URI | m2://inv/69NP3FHC6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-category, Q-category (definition). Also Wikidata Q117388679
History
- 2026-11-02: add by m2/dev
Fréchet space 69NVDB6CRQ
| URI | m2://inv/69NVDB6CRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#ZF76, Fréchet space (definition)
History
- 2026-11-02: add by m2/dev
Smoothly broken power law 69P0ZFS1MK
| URI | m2://inv/69P0ZFS1MK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power law#MDSU, Smoothly broken power law (statement)
History
- 2026-11-02: add by m2/dev
69P5HQEDKF 69P5HQEDKF
| URI | m2://inv/69P5HQEDKF |
|---|---|
| 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.06206#G5VN (statement). In A7611PTXVQ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
69PCTE2RYP 69PCTE2RYP
| URI | m2://inv/69PCTE2RYP |
|---|---|
| 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 2504.14383#RUF2 (statement). In QD0X3XJS6T/e1, corollary 8.3
History
- 2026-10-27: add by m2/v0.3.5
69PTDWH0YE 69PTDWH0YE
| URI | m2://inv/69PTDWH0YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#DV5D (statement). In E7W2HDNEKJ/e1, lemma 4.15
History
- 2026-10-30: add by m2/v0.4.12
Numan Satimov 69PW4BE0AZ
| URI | m2://inv/69PW4BE0AZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numan Satimov, Numan Satimov (topic). Also Wikidata Q69466727
History
- 2026-11-02: add by m2/dev
69PWQAZCHV 69PWQAZCHV
| URI | m2://inv/69PWQAZCHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#8KP5 (statement). In CQGE4WJV4P/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
$\bx$-iterate stability 69PX5NCG6E
| URI | m2://inv/69PX5NCG6E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07061#U6GG, $\bx$-iterate stability (definition). In S988ZVA1QE/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.6
Trends in International Mathematics and Science Study 69Q0A2Z5SF
| URI | m2://inv/69Q0A2Z5SF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trends in International Mathematics and Science Study, Trends in International Mathematics and Science Study (topic). Also Wikidata Q588485
History
- 2026-11-02: add by m2/dev
69Q9V3JRE0 69Q9V3JRE0
| URI | m2://inv/69Q9V3JRE0 |
|---|---|
| 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 2306.08237#OEPD (statement). In E22A2MFR4Y/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.6
69QABVXVJ6 69QABVXVJ6
| URI | m2://inv/69QABVXVJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#WIP4 (statement). In F7TDYCHCSE/e1, proposition 8.5
History
- 2026-10-27: add by m2/v0.3.5
69QE7XWXM4 69QE7XWXM4
| URI | m2://inv/69QE7XWXM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#430V (statement). In 8XAKGH8S2D/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Isomorphism theorems 69QEDVKW6A
| URI | m2://inv/69QEDVKW6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological group#D3UL, Isomorphism theorems (statement)
History
- 2026-11-02: add by m2/dev
69QF1F62J9 69QF1F62J9
| URI | m2://inv/69QF1F62J9 |
|---|---|
| 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.38838#IDTR (statement). In 3EH8M9GWTX/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
69QKSS96XA 69QKSS96XA
| URI | m2://inv/69QKSS96XA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17940#DFCL (statement). In MMW4J61SKS/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
69QX4YXNRR 69QX4YXNRR
| URI | m2://inv/69QX4YXNRR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-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 2210.17066#KWBW (example). In X2AEJAQEP8/e1, example 4.16
History
- 2026-10-27: add by m2/v0.3.5
Jensen's inequality (integral version) 69QZQ5T7P0
| URI | m2://inv/69QZQ5T7P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Convexity > Jensen's inequality (integral version), Jensen's inequality (integral version) (unknown). Also Mathlib ConvexOn.map_integral_le
History
- 2026-10-26: add by m2/dev
State-feedback stabilizable 69RGC2NJ1H
| URI | m2://inv/69RGC2NJ1H |
|---|---|
| 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 2508.18436#UJVM, State-feedback stabilizable (definition). In 6W19Z58188/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.6
69RH1HMVGH 69RH1HMVGH
| URI | m2://inv/69RH1HMVGH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-153 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Centered holomorphic variations 69RKDP5BVB
| URI | m2://inv/69RKDP5BVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25762#B1JZ, Centered holomorphic variations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Large sieve 69RNQS9WXM
| URI | m2://inv/69RNQS9WXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large sieve, Large sieve (definition). Also Wikidata Q5495242
History
- 2026-11-02: add by m2/dev
Lax–Milgram theorem 69RPJXD2F8
| URI | m2://inv/69RPJXD2F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NPWE, Lax–Milgram theorem (definition)
History
- 2026-11-02: add by m2/dev
Wave equation 69RPRWMVEQ
| URI | m2://inv/69RPRWMVEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#N4L5, Wave equation (definition)
History
- 2026-11-02: add by m2/dev
69S0CJ2R58 69S0CJ2R58
| URI | m2://inv/69S0CJ2R58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#RWXX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cutaway drawing 69S0P4PWT9
| URI | m2://inv/69S0P4PWT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#R1CG, Cutaway drawing (unknown)
History
- 2026-11-02: add by m2/dev
Audited Gordon-hybrid candidate 69S4T8PDY0
| URI | m2://inv/69S4T8PDY0 |
|---|---|
| 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.37164#DP70, Audited Gordon-hybrid candidate (statement). In B2PG75FSQJ/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Definition 69SBDVNH6G
| URI | m2://inv/69SBDVNH6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permanent (mathematics)#2143, Definition (definition)
History
- 2026-11-02: add by m2/dev
69SK59AFM6 69SK59AFM6
| URI | m2://inv/69SK59AFM6 |
|---|---|
| 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.28898#NW07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
69SMJQ446G 69SMJQ446G
| URI | m2://inv/69SMJQ446G |
|---|---|
| Kind | example |
| 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.13888#ROBK (example). In XJWYBPS14M/e1, example 6.1
History
- 2026-10-28: add by m2/v0.4.2
Theorems 69SN23XN7Y
| URI | m2://inv/69SN23XN7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toeplitz operator#K5K3, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Small prevalence 69SVDYN2V1
| URI | m2://inv/69SVDYN2V1 |
|---|---|
| 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.16845#0IKR, Small prevalence (statement). In 5BHBZF91HS/e1, corollary A.1
History
- 2026-10-28: add by m2/v0.4.2
Käte Fenchel 69SWVPF6SR
| URI | m2://inv/69SWVPF6SR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2X71, Käte Fenchel (unknown)
History
- 2026-11-02: add by m2/dev
Open problems 69T5R53H9J
| URI | m2://inv/69T5R53H9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring#QP7W, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Lower North America 69T8HMDP31
| URI | m2://inv/69T8HMDP31 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia North America#Q59H, Lower North America (unknown)
History
- 2026-11-02: add by m2/dev
Inverse 69TES14BJW
| URI | m2://inv/69TES14BJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse (logic), Inverse (definition). Also Wikidata Q4385666
History
- 2026-11-02: add by m2/dev
cone 69TNYMRF72
| URI | m2://inv/69TNYMRF72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q493171, cone (unknown). Also MathWorld ConeSet
History
- 2026-10-26: add by m2/dev
vertex enumeration problem 69TPVHWT3Z
| URI | m2://inv/69TPVHWT3Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7922775, vertex enumeration problem (problem). Also MathWorld VertexEnumeration
- wikipedia: Wikipedia Vertex enumeration problem, Vertex enumeration problem (problem). Also Wikidata Q7922775
History
- 2026-10-26: add by m2/dev
Graham–Pollak theorem 69TQR87GAM
| URI | m2://inv/69TQR87GAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham–Pollak theorem, Graham–Pollak theorem (statement). Also Wikidata Q97273070
History
- 2026-11-02: add by m2/dev
69V4NDCSEB 69V4NDCSEB
| URI | m2://inv/69V4NDCSEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14842#CK5S (statement). In MQXT5RQE0C/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Conservation form 69V4S7MKMH
| URI | m2://inv/69V4S7MKMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservation form, Conservation form (definition). Also Wikidata Q5162960
History
- 2026-11-02: add by m2/dev
69V4VGPD0F 69V4VGPD0F
| URI | m2://inv/69V4VGPD0F |
|---|---|
| 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.21355#WPJC (statement). In XKJ7VKN4P0/e1, theorem 10
History
- 2026-10-27: add by m2/v0.4.2
69V5B8A6NC 69V5B8A6NC
| URI | m2://inv/69V5B8A6NC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-31 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
Algorithms 69VAYMP57S
| URI | m2://inv/69VAYMP57S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wireless Transport Layer Security#T551, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
69VKYTH27Q 69VKYTH27Q
| URI | m2://inv/69VKYTH27Q |
|---|---|
| Kind | example |
| 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#F78A (example). In XBHQRTBH62/e1, example 5.8
History
- 2026-10-31: add by m2/v0.5.6
István Szalay 69VT1J7HVG
| URI | m2://inv/69VT1J7HVG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia István Szalay, István Szalay (topic). Also Wikidata Q41665343
History
- 2026-11-02: add by m2/dev
69VYCK0PYR 69VYCK0PYR
| URI | m2://inv/69VYCK0PYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#QSXT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Canonical dual 69VZ6GRXRT
| URI | m2://inv/69VZ6GRXRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual polyhedron#X67I, Canonical dual (unknown)
History
- 2026-11-02: add by m2/dev
69W8H1VAF7 69W8H1VAF7
| URI | m2://inv/69W8H1VAF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#UIBW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Attitude vector 69W9FFBFA3
| URI | m2://inv/69W9FFBFA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientation (geometry)#PQHK, Attitude vector (unknown)
History
- 2026-11-02: add by m2/dev
69WC89H93V 69WC89H93V
| URI | m2://inv/69WC89H93V |
|---|---|
| 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.18600#0CVF (statement). In 31D6TQVCNZ/e1, lemma 3.17
History
- 2026-10-28: add by m2/v0.4.2
69WG4R1RWF 69WG4R1RWF
| URI | m2://inv/69WG4R1RWF |
|---|---|
| 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.03555#XGF8 (statement). In 9JZJTRRVR1/e1, proposition 2.24
History
- 2026-10-29: add by m2/v0.4.12
Mere-measurement effect 69WT2JJY3S
| URI | m2://inv/69WT2JJY3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mere-measurement effect, Mere-measurement effect (definition). Also Wikidata Q65051319
History
- 2026-11-02: add by m2/dev
Applications 69XD4118YK
| URI | m2://inv/69XD4118YK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forced convection#PF7F, Applications (example)
History
- 2026-11-02: add by m2/dev
Journal of Homotopy and Related Structures 69XEM3EWC6
| URI | m2://inv/69XEM3EWC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15428801, Journal of Homotopy and Related Structures (unknown). Also nLab Journal of Homotopy and Related Structures
History
- 2026-10-26: add by m2/dev
Gilles Brassard 69XFCYZCV9
| URI | m2://inv/69XFCYZCV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C1MD, Gilles Brassard (unknown)
History
- 2026-11-02: add by m2/dev
Martin Rees 69XFMB89KD
| URI | m2://inv/69XFMB89KD |
|---|---|
| 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 Q335213, Martin Rees (unknown). Also nLab Martin Rees
History
- 2026-10-26: add by m2/dev
69XK0ZJXZX 69XK0ZJXZX
| URI | m2://inv/69XK0ZJXZX |
|---|---|
| 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.25915#OZLZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Remark 69XRP1P7HK
| URI | m2://inv/69XRP1P7HK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent's theorem#NUG2, Remark (unknown)
History
- 2026-11-02: add by m2/dev
David Hand 69XS0DP9S1
| URI | m2://inv/69XS0DP9S1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#6WOK, David Hand (unknown)
History
- 2026-11-02: add by m2/dev
69XWM19AYH 69XWM19AYH
| URI | m2://inv/69XWM19AYH |
|---|---|
| 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.02141#19PY (statement). In 5AB8YPS19N/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Bounded inverse theorem 69XZKJR33Y
| URI | m2://inv/69XZKJR33Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KD85, Bounded inverse theorem (statement)
History
- 2026-11-02: add by m2/dev
Kashiwara's lemma 69Y1AKJYH0
| URI | m2://inv/69Y1AKJYH0 |
|---|---|
| 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 2610.20466#XPK3, Kashiwara's lemma (statement). In M4ZVJWM8YA/e1, lemma 5.19
History
- 2026-10-27: add by m2/v0.4.2
Pebble game 69Y5Q9QYE8
| URI | m2://inv/69Y5Q9QYE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#O0XG, Pebble game (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Brahmagupta) 69Y9TNX3X2
| URI | m2://inv/69Y9TNX3X2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indian mathematics#C5U0, Theorem (Brahmagupta) (statement)
History
- 2026-11-02: add by m2/dev
315 (number) 69YBAKZ5R7
| URI | m2://inv/69YBAKZ5R7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#PVW9, 315 (number) (unknown)
History
- 2026-11-02: add by m2/dev
69YF3Q5SQG 69YF3Q5SQG
| URI | m2://inv/69YF3Q5SQG |
|---|---|
| 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 2506.07061#BZTK (statement). In G2PA4KAGRP/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.6
Ellen Eischen 69YN31NNCT
| URI | m2://inv/69YN31NNCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellen Eischen, Ellen Eischen (topic). Also Wikidata Q102358276
History
- 2026-11-02: add by m2/dev
69YQ9R9AWR 69YQ9R9AWR
| URI | m2://inv/69YQ9R9AWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#DLBR (statement)
History
- 2026-11-02: add by m2/v0.6.18
69Z5NQKV5S 69Z5NQKV5S
| URI | m2://inv/69Z5NQKV5S |
|---|---|
| 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.18270#NIWA (statement). In CPDMYJ0NJV/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
halting problem 69Z9SC24HS
| URI | m2://inv/69Z9SC24HS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q622849, halting problem (unknown). Also MathWorld HaltingProblem
- wikipedia: Wikipedia Halting problem, Halting problem (problem). Also Wikidata Q622849
History
- 2026-10-26: add by m2/dev
Sarah Flannery 69ZGEVV4XF
| URI | m2://inv/69ZGEVV4XF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah Flannery, Sarah Flannery (topic). Also Wikidata Q3672830
History
- 2026-11-02: add by m2/dev
69ZHA878XE 69ZHA878XE
| URI | m2://inv/69ZHA878XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15160#0XZ9 (statement). In 6FV4CCY1NX/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Sampling Balance 69ZQT9K10F
| URI | m2://inv/69ZQT9K10F |
|---|---|
| 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.15111#GGDD, Sampling Balance (statement). In 6RE6JYE4GP/e1, proposition E.5
History
- 2026-10-28: add by m2/v0.4.2
Argument from ignorance 69ZSA0669V
| URI | m2://inv/69ZSA0669V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from ignorance, Argument from ignorance (definition). Also Wikidata Q651669
History
- 2026-11-02: add by m2/dev
69ZVGSZ0MF 69ZVGSZ0MF
| URI | m2://inv/69ZVGSZ0MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#T8CG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proportional hazards model 69ZZDHZT09
| URI | m2://inv/69ZZDHZT09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportional hazards model, Proportional hazards model (definition). Also Wikidata Q223218
History
- 2026-11-02: add by m2/dev