Inventory rows 9K
The cards of the rows of the inventory whose ids start with 9K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Dagger symmetric monoidal category 9K03NJH4BY
| URI | m2://inv/9K03NJH4BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger symmetric monoidal category, Dagger symmetric monoidal category (definition). Also Wikidata Q5208531
History
- 2026-11-02: add by m2/dev
9K0F9TNMKT 9K0F9TNMKT
| URI | m2://inv/9K0F9TNMKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#TI2M (statement). In 6VR4TY5BGV/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
9K0RBEYC6A 9K0RBEYC6A
| URI | m2://inv/9K0RBEYC6A |
|---|---|
| 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#1A5B (statement). In E7W2HDNEKJ/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
9K0X9H4TW0 9K0X9H4TW0
| URI | m2://inv/9K0X9H4TW0 |
|---|---|
| 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.25291#7X1F (definition)
History
- 2026-11-01: add by m2/v0.6.15
9K10F688T8 9K10F688T8
| URI | m2://inv/9K10F688T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.18061#6LR2 (statement). In Y8A35AV31M/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
9K12Q19RX2 9K12Q19RX2
| URI | m2://inv/9K12Q19RX2 |
|---|---|
| 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 2211.04758#0PZ4 (statement). In DRWDJG2G3S/e1, theorem 1.13
History
- 2026-10-27: add by m2/v0.3.5
Skewed generalized t distribution 9K1BPY45GN
| URI | m2://inv/9K1BPY45GN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewed generalized t distribution, Skewed generalized t distribution (definition). Also Wikidata Q25113074
History
- 2026-11-02: add by m2/dev
Variations 9K1TW8B76N
| URI | m2://inv/9K1TW8B76N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive analysis#B3Y3, Variations (statement)
History
- 2026-11-02: add by m2/dev
9K1ZTJ9YQM 9K1ZTJ9YQM
| URI | m2://inv/9K1ZTJ9YQM |
|---|---|
| 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 1606.05058#MTPY (statement). In V6392C0ANF/e1, theorem H.1
History
- 2026-10-27: add by m2/v0.3.5
9K259K97GK 9K259K97GK
| URI | m2://inv/9K259K97GK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#lem:basic (statement). In PKGMM3P5QY, lem, section 38.6
History
- 2026-11-01: add by m2/v0.6.13
partial sums 9K25GRA64Q
| URI | m2://inv/9K25GRA64Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.2.1/partial-sums, partial sums (concept). In Y91XFCEVHQ, index, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 9K29WQQ5FC
| URI | m2://inv/9K29WQQ5FC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free monoid#71JO, Examples (example)
History
- 2026-11-02: add by m2/dev
9K2CBYJE5T 9K2CBYJE5T
| URI | m2://inv/9K2CBYJE5T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#4T1X (definition). In NGZ5AZ70NN/e1, definition 5.5
History
- 2026-10-28: add by m2/v0.4.2
9K2D8BM600 9K2D8BM600
| URI | m2://inv/9K2D8BM600 |
|---|---|
| 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 2203.17055#657Q (statement). In 2FCSSBRX80/e1, theorem III.3
History
- 2026-10-27: add by m2/v0.3.6
Width of the computational lattice 9K2DMFC3DX
| URI | m2://inv/9K2DMFC3DX |
|---|---|
| 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#34IF, Width of the computational lattice (statement). In 5E9G06XJKC/e1, lemma H.3
History
- 2026-10-28: add by m2/v0.4.2
Michael Viscardi 9K2H7SANHK
| URI | m2://inv/9K2H7SANHK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Viscardi, Michael Viscardi (topic). Also Wikidata Q6835116
History
- 2026-11-02: add by m2/dev
Geometric–harmonic mean 9K2KRS9EMH
| URI | m2://inv/9K2KRS9EMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#UNE3, Geometric–harmonic mean (definition)
History
- 2026-11-02: add by m2/dev
9K2Q9FKNX8 9K2Q9FKNX8
| URI | m2://inv/9K2Q9FKNX8 |
|---|---|
| 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.01267#DRA4 (statement). In GWWHP6R0BZ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
9K2STTZKW4 9K2STTZKW4
| URI | m2://inv/9K2STTZKW4 |
|---|---|
| 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.25985#WJTZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Geodesic circle 9K2VPGF4D3
| URI | m2://inv/9K2VPGF4D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic circle, Geodesic circle (definition). Also Wikidata Q106521671
History
- 2026-11-02: add by m2/dev
Modulational instability 9K33CPMHBM
| URI | m2://inv/9K33CPMHBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulational instability, Modulational instability (definition). Also Wikidata Q17104082
History
- 2026-11-02: add by m2/dev
Rajesh Shukla 9K361XJR91
| URI | m2://inv/9K361XJR91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajesh Shukla (statistician), Rajesh Shukla (topic). Also Wikidata Q60771218
History
- 2026-11-02: add by m2/dev
9K39XA0TM4 9K39XA0TM4
| URI | m2://inv/9K39XA0TM4 |
|---|---|
| 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 2311.01874#0IKZ (definition). In A4TR95VGX2/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
9K3CKMSAYM 9K3CKMSAYM
| URI | m2://inv/9K3CKMSAYM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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 2408.01345#9XKT (example). In PT5PBPCS3P/e1, example 2.9
History
- 2026-10-27: add by m2/v0.3.5
giga 9K3MJKA5XN
| URI | m2://inv/9K3MJKA5XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108483, giga (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/giga-
History
- 2026-10-26: add by m2/dev
Finite-time continuation bound 9K3NFT5S6S
| URI | m2://inv/9K3NFT5S6S |
|---|---|
| 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.04894#ND58, Finite-time continuation bound (statement). In AZZ35SDENN/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.12
Greenwood, Major 9K3X89JYMK
| URI | m2://inv/9K3X89JYMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A27H, Greenwood, Major (unknown)
History
- 2026-11-02: add by m2/dev
Conjecture 9K4A15C37S
| URI | m2://inv/9K4A15C37S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ragsdale conjecture#OTDP, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Definition 9K4BBJ33B1
| URI | m2://inv/9K4BBJ33B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical process#AR6E, Definition (definition)
History
- 2026-11-02: add by m2/dev
9K4D356VQ5 9K4D356VQ5
| URI | m2://inv/9K4D356VQ5 |
|---|---|
| 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.20656#CRKP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jean-Claude Sikorav 9K4ESD7GQR
| URI | m2://inv/9K4ESD7GQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Claude Sikorav, Jean-Claude Sikorav (topic). Also Wikidata Q1684777
History
- 2026-11-02: add by m2/dev
Conjecture on large minimum degrees 9K4FRQ3383
| URI | m2://inv/9K4FRQ3383 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring game#DOKG, Conjecture on large minimum degrees (statement)
History
- 2026-11-02: add by m2/dev
Elon Lindenstrauss 9K4PEC60FB
| URI | m2://inv/9K4PEC60FB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P5L8, Elon Lindenstrauss (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O76M, Elon Lindenstrauss (topic)
History
- 2026-11-02: add by m2/dev
signature, of an algebraic theory 9K4VMPQA2W
| URI | m2://inv/9K4VMPQA2W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/signature-of-an-algebraic-theory, signature, of an algebraic theory (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
9K4W5W1TBZ 9K4W5W1TBZ
| URI | m2://inv/9K4W5W1TBZ |
|---|---|
| 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.34168#Y1UN (statement). In 30YQV8N04M/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Message authentication 9K4Z8166ZJ
| URI | m2://inv/9K4Z8166ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Message authentication, Message authentication (definition). Also Wikidata Q4200279
History
- 2026-11-02: add by m2/dev
Tarski--F{\o}lner theorem 9K52J50BEY
| URI | m2://inv/9K52J50BEY |
|---|---|
| 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.00789#NOGS, Tarski--F{\o}lner theorem (statement). In 4WPYBTARS2/e1, theorem 2.14
History
- 2026-10-29: add by m2/v0.4.12
9K5673KCYA 9K5673KCYA
| URI | m2://inv/9K5673KCYA |
|---|---|
| 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 2102.09374#N72A (statement). In TGAHH1F8K5/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.6
9K57KKRFXN 9K57KKRFXN
| URI | m2://inv/9K57KKRFXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/inference-patterns.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 44.9.5
History
- 2026-11-01: add by m2/v0.6.13
9K5CZMEC9R 9K5CZMEC9R
| URI | m2://inv/9K5CZMEC9R |
|---|---|
| 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.30730#QT8Z (statement). In 7R7ANDMWG4/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
9K5GRY0834 9K5GRY0834
| URI | m2://inv/9K5GRY0834 |
|---|---|
| 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.32997#7FU2 (statement). In N380GY9A9N/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
9K5JXDTDR4 9K5JXDTDR4
| URI | m2://inv/9K5JXDTDR4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30679#A62J (definition). In Z31GMHMG7B/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
9K5TBGHB9H 9K5TBGHB9H
| URI | m2://inv/9K5TBGHB9H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17135#HAUK (definition). In 74MXJ2RX4B/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
9K5XTAV1QE 9K5XTAV1QE
| URI | m2://inv/9K5XTAV1QE |
|---|---|
| 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.01828#74WJ (statement). In RQMJY73C8Q/e1, theorem II.5
History
- 2026-10-29: add by m2/v0.4.12
Definition 9K60VQF90T
| URI | m2://inv/9K60VQF90T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive lattice#0056, Definition (definition)
History
- 2026-11-02: add by m2/dev
9K65YJYH45 9K65YJYH45
| URI | m2://inv/9K65YJYH45 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/definitions.tex#ex-1 (example). In PKGMM3P5QY, ex, section 28.7
History
- 2026-11-01: add by m2/v0.6.13
Harrison-Trainor 9K6FXRDQ8C
| URI | m2://inv/9K6FXRDQ8C |
|---|---|
| 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.05611#OVHF, Harrison-Trainor (definition). In QDTX6NXFEB/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
interior point 9K6M053JE2
| URI | m2://inv/9K6M053JE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5116525, interior point (unknown). Also nLab interior point
History
- 2026-10-26: add by m2/dev
9K6XQVEG5J 9K6XQVEG5J
| URI | m2://inv/9K6XQVEG5J |
|---|---|
| Kind | example |
| 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.33406#UT0G (example). In B23TX8G4E4/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
cf.\ 9K73RPC4H4
| URI | m2://inv/9K73RPC4H4 |
|---|---|
| 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 2609.37698#BX8V, cf.\ (statement). In HA2GG72C23/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Characterization of the value $-\infty$ 9K79W3CCRK
| URI | m2://inv/9K79W3CCRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#WUVV, Characterization of the value $-\infty$ (statement). In AMRWRJDNKJ/e1, corollary 8.2
History
- 2026-10-28: add by m2/v0.4.2
9K7SEV6J4Q 9K7SEV6J4Q
| URI | m2://inv/9K7SEV6J4Q |
|---|---|
| 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.36818#8K6Z (statement). In SK6AP2B9JH/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
9K81PQQ52E 9K81PQQ52E
| URI | m2://inv/9K81PQQ52E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#L5WZ (statement). In ZT7H1ZDN96/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
9K86G3R18Z 9K86G3R18Z
| URI | m2://inv/9K86G3R18Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#4HIH (statement). In 5KR3MHYVV6/e1, corollary 3.11
History
- 2026-10-28: add by m2/v0.4.2
Complete set of commuting observables 9K87D07F0D
| URI | m2://inv/9K87D07F0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#GPOZ, Complete set of commuting observables (definition)
History
- 2026-11-02: add by m2/dev
9K8QF3GDF7 9K8QF3GDF7
| URI | m2://inv/9K8QF3GDF7 |
|---|---|
| Kind | problem |
| 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.20607#YI14 (problem)
History
- 2026-11-02: add by m2/v0.6.18
9K8RYZ97PH 9K8RYZ97PH
| URI | m2://inv/9K8RYZ97PH |
|---|---|
| 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 2605.30285#LS47 (statement). In YMY0NNSM27/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.6
\OzII wins in both accuracy and speed, and the gap widens with precision 9K8YQ275WG
| URI | m2://inv/9K8YQ275WG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#53DO, \OzII wins in both accuracy and speed, and the gap widens with precision (unknown)
History
- 2026-11-01: add by m2/v0.6.15
9K94ZSP2KQ 9K94ZSP2KQ
| URI | m2://inv/9K94ZSP2KQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#DBEP (definition). In SYZFEVFHC3/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
9K96HK5HDR 9K96HK5HDR
| URI | m2://inv/9K96HK5HDR |
|---|---|
| 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 2606.20229#2QAY (statement). In 1B85G2QJC2/e1, theorem 9.3
History
- 2026-10-27: add by m2/v0.3.6
9K97FW8YFW 9K97FW8YFW
| URI | m2://inv/9K97FW8YFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#KUZZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Radial counterexample in every dimension \(d\ge 2\ 9K989QN9PQ
| URI | m2://inv/9K989QN9PQ |
|---|---|
| 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.07404#S66W, Radial counterexample in every dimension \(d\ge 2\ (statement). In VAJ9MBT3SJ/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Example 9K98G7ZEH9
| URI | m2://inv/9K98G7ZEH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyström method#6QS3, Example (example)
History
- 2026-11-02: add by m2/dev
Continuity of the barrier 9K9H5AZSQX
| URI | m2://inv/9K9H5AZSQX |
|---|---|
| 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#FK6Q, Continuity of the barrier (statement). In 4AQ48WSBDQ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Properties 9K9KA5XNTR
| URI | m2://inv/9K9KA5XNTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner point (triangle)#YGHV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Healy, Michael 9K9KXP0SM3
| URI | m2://inv/9K9KXP0SM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TU1P, Healy, Michael (unknown)
History
- 2026-11-02: add by m2/dev
9K9SPNAQMT 9K9SPNAQMT
| URI | m2://inv/9K9SPNAQMT |
|---|---|
| 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.15405#R6MN (statement). In 9QCYCXVF5W/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Multivariate Cauchy distribution 9K9TKCH7JD
| URI | m2://inv/9K9TKCH7JD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy distribution#23DU, Multivariate Cauchy distribution (unknown)
History
- 2026-11-02: add by m2/dev
Zoltán Tibor Balogh 9K9Y9S31C1
| URI | m2://inv/9K9Y9S31C1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L8JQ, Zoltán Tibor Balogh (unknown)
History
- 2026-11-02: add by m2/dev
9KA06541RW 9KA06541RW
| URI | m2://inv/9KA06541RW |
|---|---|
| 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.22764#VKVD (statement)
History
- 2026-11-02: add by m2/v0.6.17
9KA0QAHRDS 9KA0QAHRDS
| URI | m2://inv/9KA0QAHRDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#SQJW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Zhen Luan 9KAB2NA1M5
| URI | m2://inv/9KAB2NA1M5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhen Luan, Zhen Luan (topic). Also Wikidata Q557248
History
- 2026-11-02: add by m2/dev
9KAC5MS86P 9KAC5MS86P
| URI | m2://inv/9KAC5MS86P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31393#SSIB (statement). In ED0WC9Z55C/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
9KAC7MJQE1 9KAC7MJQE1
| URI | m2://inv/9KAC7MJQE1 |
|---|---|
| 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.22469#40I7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Archimedes Palimpsest 9KAFBCDRWB
| URI | m2://inv/9KAFBCDRWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#GG81, Archimedes Palimpsest (definition)
History
- 2026-11-02: add by m2/dev
Sylvain Cappell 9KAKMDEVBH
| URI | m2://inv/9KAKMDEVBH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvain Cappell, Sylvain Cappell (topic). Also Wikidata Q7660615
History
- 2026-11-02: add by m2/dev
Brian Teacher 9KBC8GT2E6
| URI | m2://inv/9KBC8GT2E6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#XMFC, Brian Teacher (unknown)
History
- 2026-11-02: add by m2/dev
Product to sum equation 9KBJ7FVB1J
| URI | m2://inv/9KBJ7FVB1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#R32T, Product to sum equation (unknown)
History
- 2026-11-02: add by m2/dev
9KBKWZ4E9J 9KBKWZ4E9J
| URI | m2://inv/9KBKWZ4E9J |
|---|---|
| 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 2609.27125#8PAL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nicholas Polson 9KBMFHVG0V
| URI | m2://inv/9KBMFHVG0V |
|---|---|
| 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#3OJ0, Nicholas Polson (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian curvature 9KBNJD4DWG
| URI | m2://inv/9KBNJD4DWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#AD0T, Gaussian curvature (definition)
History
- 2026-11-02: add by m2/dev
Polynomial factorization 9KBW56EZF0
| URI | m2://inv/9KBW56EZF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#RVAB, Polynomial factorization (definition)
History
- 2026-11-02: add by m2/dev
9KBW5M0225 9KBW5M0225
| URI | m2://inv/9KBW5M0225 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.23106#POSM (example)
History
- 2026-11-02: add by m2/v0.6.17
Concentration of the sample Gram 9KBY2YXY28
| URI | m2://inv/9KBY2YXY28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03303#1L0B, Concentration of the sample Gram (statement). In VS9KKQWEMX/e1, theorem B.8
History
- 2026-10-29: add by m2/v0.4.12
Benney moment equations 9KBYJ6XS32
| URI | m2://inv/9KBYJ6XS32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersionless equation#KDBH, Benney moment equations (unknown)
History
- 2026-11-02: add by m2/dev
Edmund Landau 9KC2EW8ABS
| URI | m2://inv/9KC2EW8ABS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XZEO, Edmund Landau (topic)
History
- 2026-11-02: add by m2/dev
McNamara fallacy 9KCKCX9HS5
| URI | m2://inv/9KCKCX9HS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#A543, McNamara fallacy (definition)
History
- 2026-11-02: add by m2/dev
Humanoid ant algorithm 9KCPTT6V79
| URI | m2://inv/9KCPTT6V79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Humanoid ant algorithm, Humanoid ant algorithm (definition). Also Wikidata Q28457666
History
- 2026-11-02: add by m2/dev
9KCWXXD4DQ 9KCWXXD4DQ
| URI | m2://inv/9KCWXXD4DQ |
|---|---|
| Kind | definition |
| 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.29022#P78Q (definition)
History
- 2026-11-01: add by m2/v0.6.15
9KCY70249X 9KCY70249X
| URI | m2://inv/9KCY70249X |
|---|---|
| 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.08052#2ZGJ (statement). In 672XAVEQ34/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.10
Energy function 9KD2T7GPJ7
| URI | m2://inv/9KD2T7GPJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical optimization#UIRJ, Energy function (unknown)
History
- 2026-11-02: add by m2/dev
Cardioid 9KD5WZ69RY
| URI | m2://inv/9KD5WZ69RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#0DS4, Cardioid (definition)
History
- 2026-11-02: add by m2/dev
9KDMJE5DVC 9KDMJE5DVC
| URI | m2://inv/9KDMJE5DVC |
|---|---|
| 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.10086#589U (statement). In NP9X9CAK19/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
9KDQ8PMASY 9KDQ8PMASY
| URI | m2://inv/9KDQ8PMASY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#9ONY (statement). In R68THJCHX6/e1, corollary 7
History
- 2026-10-27: add by m2/v0.3.5
9KDTMQ1R37 9KDTMQ1R37
| URI | m2://inv/9KDTMQ1R37 |
|---|---|
| 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 2109.12716#UCSH (statement). In 6X76XBE3HV/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.3.5
Eventual strong regularity of the velocity 9KDTRRHRF5
| URI | m2://inv/9KDTRRHRF5 |
|---|---|
| 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.13613#3HDU, Eventual strong regularity of the velocity (statement). In 3HCT4TQ5PM/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Boolean algebra (history) 9KDVS5625P
| URI | m2://inv/9KDVS5625P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra (structure)#07PQ, Boolean algebra (history) (unknown)
History
- 2026-11-02: add by m2/dev
Order-5 120-cell honeycomb 9KECEP1RDD
| URI | m2://inv/9KECEP1RDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 120-cell honeycomb, Order-5 120-cell honeycomb (definition). Also Wikidata Q17077950
History
- 2026-11-02: add by m2/dev
Definition 9KEXR9Y0EF
| URI | m2://inv/9KEXR9Y0EF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal holomorphic function#8J85, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lawrence Hubert 9KF5K6K07P
| URI | m2://inv/9KF5K6K07P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence Hubert, Lawrence Hubert (topic). Also Wikidata Q59825951
History
- 2026-11-02: add by m2/dev
Van Eck's sequence 9KF734KRN2
| URI | m2://inv/9KF734KRN2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65046226, Van Eck's sequence (object). Also OEIS A181391
History
- 2026-10-26: add by m2/dev
Network topology 9KF7WPS20J
| URI | m2://inv/9KF7WPS20J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#19D9, Network topology (unknown)
History
- 2026-11-02: add by m2/dev
noncommutative torus 9KFHWBW922
| URI | m2://inv/9KFHWBW922 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Noncommutative torus PZ97S3QQF1 |
Mentions
- wikidata: Wikidata Q3532264, noncommutative torus (unknown). Also nLab noncommutative torus
- wikipedia: Wikipedia Noncommutative torus, Noncommutative torus (definition). Also Wikidata Q3532264
History
- 2026-10-26: add by m2/dev
Theorem (Sylvester-Gallai) 9KFN3MRSRK
| URI | m2://inv/9KFN3MRSRK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence geometry#SDHB, Theorem (Sylvester-Gallai) (statement)
History
- 2026-11-02: add by m2/dev
9KFNTNF3RC 9KFNTNF3RC
| URI | m2://inv/9KFNTNF3RC |
|---|---|
| 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.03449#RBE9 (statement). In 3XM05SYQ8D/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Harold Hotelling 9KFVT30D4N
| URI | m2://inv/9KFVT30D4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3RX4, Harold Hotelling (topic)
History
- 2026-11-02: add by m2/dev
9KG5AKM38J 9KG5AKM38J
| URI | m2://inv/9KG5AKM38J |
|---|---|
| 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.13745#ORI8 (statement). In CFJH0Q39FZ/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
John Mueller Anderson 9KG8BYJXC4
| URI | m2://inv/9KG8BYJXC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Mueller Anderson, John Mueller Anderson (topic). Also Wikidata Q60677383
History
- 2026-11-02: add by m2/dev
9KGKKEXDJ5 9KGKKEXDJ5
| URI | m2://inv/9KGKKEXDJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_finite-sets.ptx#proposition-1 (statement). In QKM9DD2H56, proposition, section B.5
History
- 2026-11-01: add by m2/v0.6.13
9KGMTN6WYQ 9KGMTN6WYQ
| URI | m2://inv/9KGMTN6WYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#thm:inverse function iff bijection (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Inverse tangent 9KGPD58QGX
| URI | m2://inv/9KGPD58QGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#KR4V, Inverse tangent (definition)
History
- 2026-11-02: add by m2/dev
9KH1R19PJR 9KH1R19PJR
| URI | m2://inv/9KH1R19PJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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.35543#B5H5 (statement). In WSG1ZW956E/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
Properties 9KH2Y2B7R9
| URI | m2://inv/9KH2Y2B7R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable measure#08SM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hysteresis 9KH6N8TJND
| URI | m2://inv/9KH6N8TJND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hysteresis, Hysteresis (definition). Also Wikidata Q190837
History
- 2026-11-02: add by m2/dev
homotopy-inductive type 9KHHW69R8E
| URI | m2://inv/9KHHW69R8E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.5/homotopy-inductive-type, homotopy-inductive type (concept). In N54F33XE07, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
9KHWGEVAVN 9KHWGEVAVN
| URI | m2://inv/9KHWGEVAVN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#9XYL (example)
History
- 2026-11-01: add by m2/v0.6.15
9KHYSEM7H6 9KHYSEM7H6
| URI | m2://inv/9KHYSEM7H6 |
|---|---|
| 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 2605.00407#9KKN (statement). In TVFD0G3F2W/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
2-EXPTIME 9KJ2EWJF16
| URI | m2://inv/9KJ2EWJF16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-EXPTIME, 2-EXPTIME (definition). Also Wikidata Q10844267
History
- 2026-11-02: add by m2/dev
9KJ4GK2JEC 9KJ4GK2JEC
| URI | m2://inv/9KJ4GK2JEC |
|---|---|
| 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.26922#37ZU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Serre duality 9KJ6QXAQNE
| URI | m2://inv/9KJ6QXAQNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#40R8, Serre duality (definition)
History
- 2026-11-02: add by m2/dev
Manifolds with constant sectional curvature 9KJ7GREKNW
| URI | m2://inv/9KJ7GREKNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sectional curvature#LTVN, Manifolds with constant sectional curvature (unknown)
History
- 2026-11-02: add by m2/dev
Do-calculus 9KJD9B692K
| URI | m2://inv/9KJD9B692K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Do-calculus, Do-calculus (definition). Also Wikidata Q136286540
History
- 2026-11-02: add by m2/dev
9KJQ0QP9SZ 9KJQ0QP9SZ
| URI | m2://inv/9KJQ0QP9SZ |
|---|---|
| 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.08196#G8PK (statement). In 8QVWZ23N42/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Hua's lemma 9KK3T95AE3
| URI | m2://inv/9KK3T95AE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#DZJG, Hua's lemma (statement)
History
- 2026-11-02: add by m2/dev
9KK4R9QDHQ 9KK4R9QDHQ
| URI | m2://inv/9KK4R9QDHQ |
|---|---|
| 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.32393#4CGQ (statement). In F4816HC2JH/e1, theorem B.1
History
- 2026-10-31: add by m2/v0.5.6
9KK50PKZ75 9KK50PKZ75
| URI | m2://inv/9KK50PKZ75 |
|---|---|
| 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.38069#ZCKA (statement). In K0E0H4RV6Y/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Mark Jerrum 9KK78WK8WS
| URI | m2://inv/9KK78WK8WS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PS2A, Mark Jerrum (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G8W5, Mark Jerrum (unknown)
History
- 2026-11-02: add by m2/dev
The second law of thermodynamics 9KK7VN9RME
| URI | m2://inv/9KK7VN9RME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-reversal symmetry#74RM, The second law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Decomposition method 9KKDPWTVYH
| URI | m2://inv/9KKDPWTVYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition method (queueing theory), Decomposition method (definition). Also Wikidata Q16918986
History
- 2026-11-02: add by m2/dev
successor 9KKNG3R414
| URI | m2://inv/9KKNG3R414 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.13/successor, successor (concept). In N54F33XE07, index, section 1.13
History
- 2026-11-01: add by m2/v0.6.13
Garbage collectors 9KKZGPA7KW
| URI | m2://inv/9KKZGPA7KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#G2VE, Garbage collectors (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet's approximation theorem 9KM9WA6H8S
| URI | m2://inv/9KM9WA6H8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IO2Q, Dirichlet's approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Homological connectivity 9KMAH13FEK
| URI | m2://inv/9KMAH13FEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological connectivity, Homological connectivity (definition). Also Wikidata Q97959417
History
- 2026-11-02: add by m2/dev
9KMB1P037Y 9KMB1P037Y
| URI | m2://inv/9KMB1P037Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#F2DY (statement). In 66H5YPQCYV/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
simple object 9KMHF49KXZ
| URI | m2://inv/9KMHF49KXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#LKJV, simple object (definition)
History
- 2026-11-02: add by m2/dev
branch-decomposition 9KMPFHWNRE
| URI | m2://inv/9KMPFHWNRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OY3G, branch-decomposition (definition)
History
- 2026-11-02: add by m2/dev
Regina Loewenstein 9KMTDG2406
| URI | m2://inv/9KMTDG2406 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regina Loewenstein, Regina Loewenstein (topic). Also Wikidata Q108195652
History
- 2026-11-02: add by m2/dev
Donald Marolf 9KMVZ1EVY3
| URI | m2://inv/9KMVZ1EVY3 |
|---|---|
| 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 Q5294808, Donald Marolf (unknown). Also nLab Donald Marolf
History
- 2026-10-26: add by m2/dev
John Clive Ward 9KMWFK7KTF
| URI | m2://inv/9KMWFK7KTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DJCF, John Clive Ward (unknown)
History
- 2026-11-02: add by m2/dev
9KN6GWQX3V 9KN6GWQX3V
| URI | m2://inv/9KN6GWQX3V |
|---|---|
| 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.08753#F5G1 (statement). In J9P361Z1CX/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
consistency, of arithmetic 9KN7JP9P7R
| URI | m2://inv/9KN7JP9P7R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/consistency-of-arithmetic, consistency, of arithmetic (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
9KN7WSYVX4 9KN7WSYVX4
| URI | m2://inv/9KN7WSYVX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.10377#EFJS (statement). In 6HP7BR9WZM/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Formal definition 9KN9VWEEAP
| URI | m2://inv/9KN9VWEEAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Econometric model#400L, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Commuting addition to a relaxing generator 9KNM48ZWWR
| URI | m2://inv/9KNM48ZWWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#MHFG, Commuting addition to a relaxing generator (statement). In NAM9ZMPHZ9/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Floating point 9KNRFXTXM2
| URI | m2://inv/9KNRFXTXM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#DTDC, Floating point (definition)
History
- 2026-11-02: add by m2/dev
9KNV5DC98D 9KNV5DC98D
| URI | m2://inv/9KNV5DC98D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#97MN (statement). In PA6JQDSKQT/e1, theorem F
History
- 2026-10-28: add by m2/v0.4.2
Minimum evolution 9KNVHVP810
| URI | m2://inv/9KNVHVP810 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum evolution, Minimum evolution (definition). Also Wikidata Q96393292
History
- 2026-11-02: add by m2/dev
Étale cohomology 9KP3KXM6MF
| URI | m2://inv/9KP3KXM6MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale cohomology, Étale cohomology (definition). Also Wikidata Q8078429
History
- 2026-11-02: add by m2/dev
Einstein–de Sitter universe 9KPD8XW23K
| URI | m2://inv/9KPD8XW23K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein–de Sitter universe, Einstein–de Sitter universe (definition). Also Wikidata Q3058175
History
- 2026-11-02: add by m2/dev
Mark Pinsker 9KPFJ8EFSM
| URI | m2://inv/9KPFJ8EFSM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Pinsker, Mark Pinsker (topic). Also Wikidata Q3294206
History
- 2026-11-02: add by m2/dev
Remez inequality 9KPJWD1ND5
| URI | m2://inv/9KPJWD1ND5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remez inequality, Remez inequality (statement). Also Wikidata Q7311758
History
- 2026-11-02: add by m2/dev
9KPNP8GXNV 9KPNP8GXNV
| URI | m2://inv/9KPNP8GXNV |
|---|---|
| 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.03358#Q4HY (statement). In KCXEY7HJ8V/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.12
Tree (descriptive set theory) 9KPR8KC2GR
| URI | m2://inv/9KPR8KC2GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#KYH2, Tree (descriptive set theory) (definition)
- wikipedia: Wikipedia List of order theory topics#FE91, Tree (descriptive set theory) (definition)
- wikipedia: Wikipedia List of graph theory topics#CATU, Tree (descriptive set theory) (definition)
History
- 2026-11-02: add by m2/dev
Algorithm 9KPTKRE8AX
| URI | m2://inv/9KPTKRE8AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast inverse square root#OEGG, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Feasible region 9KQ2SWAGEV
| URI | m2://inv/9KQ2SWAGEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#GBFH, Feasible region (definition)
History
- 2026-11-02: add by m2/dev
Grouped data 9KQBVB0TWC
| URI | m2://inv/9KQBVB0TWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#390I, Grouped data (definition)
History
- 2026-11-02: add by m2/dev
Scalar quaternion 9KQEBQT94B
| URI | m2://inv/9KQEBQT94B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion#DRFR, Scalar quaternion (unknown)
History
- 2026-11-02: add by m2/dev
Mutual time dilation and the twin paradox 9KQEMPHWQH
| URI | m2://inv/9KQEMPHWQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spacetime#W5CU, Mutual time dilation and the twin paradox (statement)
History
- 2026-11-02: add by m2/dev
Wiener equation 9KQHW67X81
| URI | m2://inv/9KQHW67X81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener equation, Wiener equation (definition). Also Wikidata Q12346869
History
- 2026-11-02: add by m2/dev
9KQKG5C83D 9KQKG5C83D
| URI | m2://inv/9KQKG5C83D |
|---|---|
| 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.11395#5WWP (statement). In T3W7SMWQ73/e1, proposition 47
History
- 2026-10-28: add by m2/v0.4.3
9KQV87352B 9KQV87352B
| URI | m2://inv/9KQV87352B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22528#U64E (example)
History
- 2026-11-02: add by m2/v0.6.17
9KR74VS7VF 9KR74VS7VF
| URI | m2://inv/9KR74VS7VF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.12484#ID5T (definition). In GW23NX78SB/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Leone Burton 9KR9JFKFZR
| URI | m2://inv/9KR9JFKFZR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leone Burton, Leone Burton (topic). Also Wikidata Q16017710
History
- 2026-11-02: add by m2/dev
Koszul algebra 9KR9SK00NG
| URI | m2://inv/9KR9SK00NG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Koszul algebra FTKFCCZ8YA |
Mentions
- wikidata: Wikidata Q6433697, Koszul algebra (concept). Also nLab Koszul algebra
- wikipedia: Wikipedia Koszul algebra, Koszul algebra (definition). Also Wikidata Q6433697
History
- 2026-10-26: add by m2/dev
Heinrich Friedrich Gretschel 9KRA220H7V
| URI | m2://inv/9KRA220H7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Friedrich Gretschel, Heinrich Friedrich Gretschel (topic). Also Wikidata Q1597267
History
- 2026-11-02: add by m2/dev
Basic formulas 9KRHYEGJMJ
| URI | m2://inv/9KRHYEGJMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway triangle notation#D7DR, Basic formulas (statement)
History
- 2026-11-02: add by m2/dev
Ronald L. Iman 9KRQ1XXJ5X
| URI | m2://inv/9KRQ1XXJ5X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VRH5, Ronald L. Iman (topic)
History
- 2026-11-02: add by m2/dev
Definition 9KRRV47FJN
| URI | m2://inv/9KRRV47FJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of polynomial equations#14EO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Data generating process 9KS136KA8T
| URI | m2://inv/9KS136KA8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NXBY, Data generating process (definition)
History
- 2026-11-02: add by m2/dev
9KS531EGCR 9KS531EGCR
| URI | m2://inv/9KS531EGCR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-7 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Kurt Gödel 9KS5WN9XY9
| URI | m2://inv/9KS5WN9XY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#G3MY, Kurt Gödel (topic)
History
- 2026-11-02: add by m2/dev
9KSJHP3Z5E 9KSJHP3Z5E
| URI | m2://inv/9KSJHP3Z5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13392#TFIR (statement). In 2FVND41HVS/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Schwarz reflection principle for harmonic functions 9KSW7F9H0C
| URI | m2://inv/9KSW7F9H0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-39, Schwarz reflection principle for harmonic functions (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
\textit{Improving robustness by vibrational control 9KSXVSFVJX
| URI | m2://inv/9KSXVSFVJX |
|---|---|
| Kind | example |
| 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 2204.00678#KV3S, \textit{Improving robustness by vibrational control (example). In RX70Y35BYJ/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
9KSYYRDBQ1 9KSYYRDBQ1
| URI | m2://inv/9KSYYRDBQ1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#Q2ZK (example). In X8FQD4TEVG/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.10
9KT1VABESD 9KT1VABESD
| URI | m2://inv/9KT1VABESD |
|---|---|
| Kind | example |
| 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.16554#ZX9X (example). In GWNT8HEZG1/e1, example 4.42
History
- 2026-10-27: add by m2/v0.3.6
Great Cipher 9KT7XAW41V
| URI | m2://inv/9KT7XAW41V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great Cipher, Great Cipher (definition). Also Wikidata Q1107344
History
- 2026-11-02: add by m2/dev
9KT8G9KQ5C 9KT8G9KQ5C
| URI | m2://inv/9KT8G9KQ5C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-19 (proof). In N54F33XE07, proof, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
9KTCAE7ET7 9KTCAE7ET7
| URI | m2://inv/9KTCAE7ET7 |
|---|---|
| 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.28454#TGAR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Filtered and graded tangent fibre 9KTHNVT04J
| URI | m2://inv/9KTHNVT04J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#0FIW, Filtered and graded tangent fibre (definition). In A1GWWGRXPA/e1, definition 3.30
History
- 2026-10-27: add by m2/v0.4.2
The reference for a fixed candidate 9KTKK7PCXH
| URI | m2://inv/9KTKK7PCXH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05498#F8BH, The reference for a fixed candidate (definition). In TJT32RQ9GC/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.10
9KTMANAS6G 9KTMANAS6G
| URI | m2://inv/9KTMANAS6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/zf.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 75.2
History
- 2026-11-01: add by m2/v0.6.13
9KTP7T585C 9KTP7T585C
| URI | m2://inv/9KTP7T585C |
|---|---|
| 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.27823#1T9G (statement)
History
- 2026-11-01: add by m2/v0.6.15
decision theory 9KTS40T9DD
| URI | m2://inv/9KTS40T9DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#PY7Z, decision theory (definition)
- wikipedia: Wikipedia Glossary of areas of mathematics#QU60, Decision theory (definition)
History
- 2026-11-02: add by m2/dev
Shifted-reference transfer 9KV1R86MBM
| URI | m2://inv/9KV1R86MBM |
|---|---|
| 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.16248#OG4X, Shifted-reference transfer (statement). In TP61DYMBMK/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
Gérard Vergnaud 9KV2BMB0Z3
| URI | m2://inv/9KV2BMB0Z3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gérard Vergnaud, Gérard Vergnaud (topic). Also Wikidata Q3755967
History
- 2026-11-02: add by m2/dev
Stanley–Wilf conjecture 9KV2DTK81X
| URI | m2://inv/9KV2DTK81X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#9SIF, Stanley–Wilf conjecture (statement)
History
- 2026-11-02: add by m2/dev
Giacomo Candido 9KV3TDS39Q
| URI | m2://inv/9KV3TDS39Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giacomo Candido, Giacomo Candido (topic). Also Wikidata Q3762022
History
- 2026-11-02: add by m2/dev
Greenwood statistic 9KVDVEJFF0
| URI | m2://inv/9KVDVEJFF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenwood statistic, Greenwood statistic (definition). Also Wikidata Q5605109
History
- 2026-11-02: add by m2/dev
Arcsine distribution 9KVH5KC8WX
| URI | m2://inv/9KVH5KC8WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5OES, Arcsine distribution (definition)
History
- 2026-11-02: add by m2/dev
9KVQHJ1Q0Z 9KVQHJ1Q0Z
| URI | m2://inv/9KVQHJ1Q0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27241#UH2P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Xinyi Xu 9KW5R7JHJA
| URI | m2://inv/9KW5R7JHJA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xinyi Xu, Xinyi Xu (topic). Also Wikidata Q102303951
History
- 2026-11-02: add by m2/dev
Definition 9KW6209NEN
| URI | m2://inv/9KW6209NEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Fourier transform#CG88, Definition (definition)
History
- 2026-11-02: add by m2/dev
Argument from queerness 9KWD2YMMZQ
| URI | m2://inv/9KWD2YMMZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moral nihilism#N6GK, Argument from queerness (unknown)
History
- 2026-11-02: add by m2/dev
Peter Wynn 9KX0B8FKEN
| URI | m2://inv/9KX0B8FKEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#OEL8, Peter Wynn (topic)
History
- 2026-11-02: add by m2/dev
9KXBJANQBE 9KXBJANQBE
| URI | m2://inv/9KXBJANQBE |
|---|---|
| Kind | example |
| 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.35683#IQS8 (example). In A4S9A3X494/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Seven Bridges of Königsberg 9KXH5GSSPW
| URI | m2://inv/9KXH5GSSPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles#8AK6, Seven Bridges of Königsberg (definition)
History
- 2026-11-02: add by m2/dev
William Rae Thompson 9KXH9J6C83
| URI | m2://inv/9KXH9J6C83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Rae Thompson, William Rae Thompson (topic). Also Wikidata Q102198379
History
- 2026-11-02: add by m2/dev
9KXPPG39HV 9KXPPG39HV
| URI | m2://inv/9KXPPG39HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#8222 (statement). In TBFPBPQV3G/e1, theorem I
History
- 2026-10-27: add by m2/v0.4.2
9KXR96XBK3 9KXR96XBK3
| URI | m2://inv/9KXR96XBK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1507.03803#4QMS (statement). In MMJT4R2MSS/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
9KXSMYPYQ6 9KXSMYPYQ6
| URI | m2://inv/9KXSMYPYQ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
9KXT0DHGNV 9KXT0DHGNV
| URI | m2://inv/9KXT0DHGNV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 66.6
History
- 2026-11-01: add by m2/v0.6.13
principal branch 9KXZ2CSP08
| URI | m2://inv/9KXZ2CSP08 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Principal branch 017BPGVEE8 |
Mentions
- wikidata: Wikidata Q2923691, principal branch (concept). Also MathWorld PrincipalBranch
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
P = PSPACE problem 9KY31KS2KA
| URI | m2://inv/9KY31KS2KA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPACE#6YJD, P = PSPACE problem (unknown)
History
- 2026-11-02: add by m2/dev
Adolf Hurwitz 9KY6B2BQBX
| URI | m2://inv/9KY6B2BQBX |
|---|---|
| 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#NL38, Adolf Hurwitz (topic)
- wikipedia: Wikipedia List of German mathematicians#D9JI, Adolf Hurwitz (topic)
History
- 2026-11-02: add by m2/dev
9KY8R3F9W2 9KY8R3F9W2
| URI | m2://inv/9KY8R3F9W2 |
|---|---|
| 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.31615#7J78 (statement). In TNV6XTEWEG/e1, fact 3.2
History
- 2026-10-31: add by m2/v0.5.6
Runtime of the Schur transform 9KYA9XPHNW
| URI | m2://inv/9KYA9XPHNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#EJAI, Runtime of the Schur transform (statement). In WF64CGYVK1/e1, lemma S9
History
- 2026-10-30: add by m2/v0.4.12
Keumhee Carrière Chough 9KYBR6EJM5
| URI | m2://inv/9KYBR6EJM5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keumhee Carrière Chough, Keumhee Carrière Chough (topic). Also Wikidata Q102234507
History
- 2026-11-02: add by m2/dev
Joint weak continuity and uniformity 9KYDC7W8AX
| URI | m2://inv/9KYDC7W8AX |
|---|---|
| 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#WZ2Y, Joint weak continuity and uniformity (statement). In 4AQ48WSBDQ/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Notation 9KYHE3GY55
| URI | m2://inv/9KYHE3GY55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution#Y465, Notation (definition)
History
- 2026-11-02: add by m2/dev
Ditkin set 9KYKB6Y8SQ
| URI | m2://inv/9KYKB6Y8SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ditkin set, Ditkin set (definition). Also Wikidata Q5283676
History
- 2026-11-02: add by m2/dev
9KYNX8GWZA 9KYNX8GWZA
| URI | m2://inv/9KYNX8GWZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#MHQ4 (statement). In 7V2PVZS04C/e1, corollary 6.28
History
- 2026-10-31: add by m2/v0.5.6
Examples 9KYS34PJRB
| URI | m2://inv/9KYS34PJRB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tree grammar#YPM7, Examples (example)
History
- 2026-11-02: add by m2/dev
Paul Vitányi 9KYYVXVPSC
| URI | m2://inv/9KYYVXVPSC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0DS9, Paul Vitányi (unknown)
History
- 2026-11-02: add by m2/dev
Worst-case distillation 9KZ2J5V4P8
| URI | m2://inv/9KZ2J5V4P8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40080#I1JS, Worst-case distillation (statement). In 23PX5094CQ/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
papyrus 9KZFEJ4574
| URI | m2://inv/9KZFEJ4574 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125576, papyrus (definition). Also ProofWiki Definition:Ancient_Egyptian_Papyrus
History
- 2026-10-26: add by m2/dev
9KZGR9YVW1 9KZGR9YVW1
| URI | m2://inv/9KZGR9YVW1 |
|---|---|
| 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 2409.03423#3DW0 (statement). In 8C5YCMN81V/e1, lemma 14
History
- 2026-10-27: add by m2/v0.3.5
Kazumaro Aoki 9KZN9DRTGW
| URI | m2://inv/9KZN9DRTGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#Z5Y3, Kazumaro Aoki (unknown)
History
- 2026-11-02: add by m2/dev
Loève, Michel 9KZPTHZPM2
| URI | m2://inv/9KZPTHZPM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#6TBN, Loève, Michel (topic)
History
- 2026-11-02: add by m2/dev
.onion 9KZTGNQ2RA
| URI | m2://inv/9KZTGNQ2RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia .onion, .onion (definition). Also Wikidata Q848715
History
- 2026-11-02: add by m2/dev