Inventory rows D1
The cards of the rows of the inventory whose ids start with D1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Infinity-Borel set D102XNYWEY
| URI | m2://inv/D102XNYWEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinity-Borel set, Infinity-Borel set (definition). Also Wikidata Q17145837
History
- 2026-11-02: add by m2/dev
D109JQXR8X D109JQXR8X
| URI | m2://inv/D109JQXR8X |
|---|---|
| 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.29878#1QE8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mereotopology D10PC8DC7V
| URI | m2://inv/D10PC8DC7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#9CQE, Mereotopology (topic)
History
- 2026-11-02: add by m2/dev
Koll\'ar-Pardon D10YRQKSMP
| URI | m2://inv/D10YRQKSMP |
|---|---|
| Kind | conjecture |
| 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#W9IW, Koll\'ar-Pardon (conjecture). In 4WJ9HYVSZY/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.6
Indefinite product D10Z9TBDDX
| URI | m2://inv/D10Z9TBDDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite product, Indefinite product (definition). Also Wikidata Q17050456
History
- 2026-11-02: add by m2/dev
Poset game D119JJGBZR
| URI | m2://inv/D119JJGBZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poset game, Poset game (definition). Also Wikidata Q7233029
History
- 2026-11-02: add by m2/dev
Spectral concavity D11A2R9KND
| URI | m2://inv/D11A2R9KND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25037#JJTY, Spectral concavity (statement)
History
- 2026-11-01: add by m2/v0.6.15
SPSS D11EPTREAV
| URI | m2://inv/D11EPTREAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PNS4, SPSS (definition)
History
- 2026-11-02: add by m2/dev
D11SVHAQXW D11SVHAQXW
| URI | m2://inv/D11SVHAQXW |
|---|---|
| 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 2609.20860#VBYR (definition)
History
- 2026-11-02: add by m2/v0.6.18
Archetypal analysis D11TAXV8V2
| URI | m2://inv/D11TAXV8V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archetypal analysis, Archetypal analysis (definition). Also Wikidata Q25051436
History
- 2026-11-02: add by m2/dev
D11TG4AQZT D11TG4AQZT
| URI | m2://inv/D11TG4AQZT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 42.3
History
- 2026-11-01: add by m2/v0.6.13
mathematics, classical D11YAXRD86
| URI | m2://inv/D11YAXRD86 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.6/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
D11ZAPNQKH D11ZAPNQKH
| URI | m2://inv/D11ZAPNQKH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#436P (definition). In E1Y93JNBJA/e1, definition 1.9
History
- 2026-10-31: add by m2/v0.5.6
Apodicticity D122X0F98D
| URI | m2://inv/D122X0F98D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apodicticity, Apodicticity (definition). Also Wikidata Q618829
History
- 2026-11-02: add by m2/dev
D1299SJVCN D1299SJVCN
| URI | m2://inv/D1299SJVCN |
|---|---|
| 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 2404.05451#BMKG (statement). In 5YMFYAFFJ7/e1, lemma B
History
- 2026-10-27: add by m2/v0.3.5
divisible group D12A5VP6W6
| URI | m2://inv/D12A5VP6W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Divisible group ZXVBEPMTCN |
Mentions
- wikidata: Wikidata Q1782332, divisible group (unknown). Also nLab divisible group
- wikipedia: Wikipedia Divisible group, Divisible group (definition). Also Wikidata Q1782332
History
- 2026-10-26: add by m2/dev
Rotation-equivariant kernel D12DQ2CZ8W
| URI | m2://inv/D12DQ2CZ8W |
|---|---|
| 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 2610.10875#2EM3, Rotation-equivariant kernel (definition). In N91F15MHW1/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
D12J05W9MZ D12J05W9MZ
| URI | m2://inv/D12J05W9MZ |
|---|---|
| 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.28306#IZNV (statement)
History
- 2026-11-01: add by m2/v0.6.15
D12RAQYSWF D12RAQYSWF
| URI | m2://inv/D12RAQYSWF |
|---|---|
| Kind | definition |
| 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.18101#5270 (definition). In XXN6KKXPYF/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
D12ZG00CCX D12ZG00CCX
| URI | m2://inv/D12ZG00CCX |
|---|---|
| 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 math/9602216#ORF1 (statement). In SD43497T8C/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Steven Kuhn D130MVG3JJ
| URI | m2://inv/D130MVG3JJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven Kuhn, Steven Kuhn (topic). Also Wikidata Q7614934
History
- 2026-11-02: add by m2/dev
Matrix Toolkit Java D135SW2NAY
| URI | m2://inv/D135SW2NAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#C6WR, Matrix Toolkit Java (unknown)
History
- 2026-11-02: add by m2/dev
Validity D138EJF605
| URI | m2://inv/D138EJF605 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/semantic-notions.tex#defn-1, Validity (definition). In PKGMM3P5QY, defn, section 67.6
History
- 2026-11-01: add by m2/v0.6.13
D13ADGQ8BY D13ADGQ8BY
| URI | m2://inv/D13ADGQ8BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem D13DG6WRA6
| URI | m2://inv/D13DG6WRA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#NISJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition D13ENCFK17
| URI | m2://inv/D13ENCFK17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mutual information#EBV2, Definition (definition)
History
- 2026-11-02: add by m2/dev
D13FSNAADG D13FSNAADG
| URI | m2://inv/D13FSNAADG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28203#URSC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition D13PX6WXVV
| URI | m2://inv/D13PX6WXVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat equation#DJH1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cauchy–Hadamard theorem D13TPPWV62
| URI | m2://inv/D13TPPWV62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NMMM, Cauchy–Hadamard theorem (statement)
History
- 2026-11-02: add by m2/dev
Darknet market D13WV0RA65
| URI | m2://inv/D13WV0RA65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darknet market, Darknet market (definition). Also Wikidata Q18620277
History
- 2026-11-02: add by m2/dev
D140KVE2T8 D140KVE2T8
| URI | m2://inv/D140KVE2T8 |
|---|---|
| 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#TVMW (statement). In 8QVWZ23N42/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.10
D143MCTF4S D143MCTF4S
| URI | m2://inv/D143MCTF4S |
|---|---|
| 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 1311.6044#KR5V (statement). In W4FFB6SVZD/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Alternating form D143Y97AV5
| URI | m2://inv/D143Y97AV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior algebra#NCCO, Alternating form (unknown)
History
- 2026-11-02: add by m2/dev
The general case D143YRZ2Z5
| URI | m2://inv/D143YRZ2Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.30637#V1YT, The general case (statement). In 6G1KBA0SXV/e1, corollary 4.36
History
- 2026-10-31: add by m2/v0.5.6
Relative conjugates and an effective order bound D146S034W1
| URI | m2://inv/D146S034W1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#LUG3, Relative conjugates and an effective order bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yau's conjecture D1496K3HC6
| URI | m2://inv/D1496K3HC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yau's conjecture, Yau's conjecture (statement). Also Wikidata Q48971266
History
- 2026-11-02: add by m2/dev
Harris graph D14C27C0WN
| URI | m2://inv/D14C27C0WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harris graph, Harris graph (definition). Also Wikidata Q130970927
History
- 2026-11-02: add by m2/dev
Herzog–Schönheim conjecture D14D917ZP3
| URI | m2://inv/D14D917ZP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2993319, Mirsky–Newman theorem (statement). Also Wikidata Q2993319
- thousand_plus: thousand_plus Q2993319, Mirsky–Newman theorem (statement). Also Wikidata Q2993319, Wikipedia Mirsky–Newman theorem
- wikipedia: Wikipedia Herzog–Schönheim conjecture, Herzog–Schönheim conjecture (conjecture). Also Wikidata Q2993319
History
- 2026-10-26: add by m2/dev
D14WTXCEQT D14WTXCEQT
| URI | m2://inv/D14WTXCEQT |
|---|---|
| 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 2212.06253#H7W6 (statement). In DRVCY1VARV/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Parker solar wind D154TP780P
| URI | m2://inv/D154TP780P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solar wind#Z7U9, Parker solar wind (unknown)
History
- 2026-11-02: add by m2/dev
D155WQ8MQK D155WQ8MQK
| URI | m2://inv/D155WQ8MQK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia X + Y sorting#2LC5 (problem)
History
- 2026-11-02: add by m2/dev
Akṣapada Gautama D157C2WZZ3
| URI | m2://inv/D157C2WZZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#I13V, Akṣapada Gautama (definition)
History
- 2026-11-02: add by m2/dev
D1591HA233 D1591HA233
| URI | m2://inv/D1591HA233 |
|---|---|
| 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.24739#B20G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Circular restricted three-body problem D15EMJHFHX
| URI | m2://inv/D15EMJHFHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-body problem#PHPF, Circular restricted three-body problem (unknown)
History
- 2026-11-02: add by m2/dev
Extended Chebyshev system D15EZA3BS0
| URI | m2://inv/D15EZA3BS0 |
|---|---|
| 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 2610.19861#C8TY, Extended Chebyshev system (definition). In 5ZPQ60TM6J/e1, definition 28
History
- 2026-10-28: add by m2/v0.4.2
Z. Janko D15FNDCXC7
| URI | m2://inv/D15FNDCXC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#XC4F, Z. Janko (unknown)
History
- 2026-11-02: add by m2/dev
D15KHF4ZRY D15KHF4ZRY
| URI | m2://inv/D15KHF4ZRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#6TLH (statement). In DWQWQ5KTEE/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
D15M7WCFET D15M7WCFET
| URI | m2://inv/D15M7WCFET |
|---|---|
| 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.32650#1WU0 (statement). In PHXJ87HKYB/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
D15SPAMGN7 D15SPAMGN7
| URI | m2://inv/D15SPAMGN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:path-truncation (statement). In N54F33XE07, thm, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Classical integral formula D15Y7DHWQM
| URI | m2://inv/D15Y7DHWQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet series inversion#2VAH, Classical integral formula (statement)
History
- 2026-11-02: add by m2/dev
Wasserstein bound on guidance-induced distributional deviation D15ZJB46W5
| URI | m2://inv/D15ZJB46W5 |
|---|---|
| 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.38133#7PLR, Wasserstein bound on guidance-induced distributional deviation (statement). In RHRA5FMMYG/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
Projector identifiability D16944A2CP
| URI | m2://inv/D16944A2CP |
|---|---|
| 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.31458#SHIG, Projector identifiability (statement). In SNWC76WKWT/e1, lemma G.3
History
- 2026-10-31: add by m2/v0.5.6
An atlas on $S^1$ D16AZDAY57
| URI | m2://inv/D16AZDAY57 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#example-1, An atlas on $S^1$ (example). In RZP28ERRZV, example, section 44.1
History
- 2026-11-01: add by m2/v0.6.13
D16C9WF2D5 D16C9WF2D5
| URI | m2://inv/D16C9WF2D5 |
|---|---|
| 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 2609.20860#KPJM (definition)
History
- 2026-11-02: add by m2/v0.6.18
MXCSR register D16DAPR338
| URI | m2://inv/D16DAPR338 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Streaming SIMD Extensions#FD6R, MXCSR register (unknown)
History
- 2026-11-02: add by m2/dev
D16GMW0W9P D16GMW0W9P
| URI | m2://inv/D16GMW0W9P |
|---|---|
| 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 2610.13518#OZDT (statement). In 613TY6V089/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Lemma 1 (Riesz's lemma) D16WZR45DZ
| URI | m2://inv/D16WZR45DZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of compact operators#7565, Lemma 1 (Riesz's lemma) (statement)
History
- 2026-11-02: add by m2/dev
tangent half-angle formula D16XKQDJQ3
| URI | m2://inv/D16XKQDJQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2641564, tangent half-angle formula (unknown). Also EoM Tangent_formula
- wikipedia: Wikipedia Tangent half-angle formula, Tangent half-angle formula (statement). Also Wikidata Q2641564
History
- 2026-10-26: add by m2/dev
Null move D175KY8R4X
| URI | m2://inv/D175KY8R4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null move, Null move (definition). Also Wikidata Q7068967
History
- 2026-11-02: add by m2/dev
D17FMXYQHB D17FMXYQHB
| URI | m2://inv/D17FMXYQHB |
|---|---|
| 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.21017#015J (statement). In 8KKYZ4NKT2/e1, lemma 44
History
- 2026-10-27: add by m2/v0.4.2
Applications D17NVTN32Z
| URI | m2://inv/D17NVTN32Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plurisubharmonic function#CMGM, Applications (example)
History
- 2026-11-02: add by m2/dev
Directory service D17TXT5F1D
| URI | m2://inv/D17TXT5F1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directory service, Directory service (definition). Also Wikidata Q756230
History
- 2026-11-02: add by m2/dev
D180JD250T D180JD250T
| URI | m2://inv/D180JD250T |
|---|---|
| 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.07162#OJDU (statement). In MQEB9ZHQAT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
D1815JHNV9 D1815JHNV9
| URI | m2://inv/D1815JHNV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#2E15 (statement)
History
- 2026-11-01: add by m2/v0.6.15
D1825J5ZSV D1825J5ZSV
| URI | m2://inv/D1825J5ZSV |
|---|---|
| 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 2609.27846#AUDK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Central groupoid D18581YZ5S
| URI | m2://inv/D18581YZ5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central groupoid, Central groupoid (definition). Also Wikidata Q130693722
History
- 2026-11-02: add by m2/dev
inclusive disjunction D18THTBAZZ
| URI | m2://inv/D18THTBAZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BFT4, inclusive disjunction (definition)
History
- 2026-11-02: add by m2/dev
Mathieu group M22 D18VP6RNHY
| URI | m2://inv/D18VP6RNHY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M22, Mathieu group M22 (object). Also Wikidata Q6787238
History
- 2026-11-02: add by m2/dev
Genuine 3D constant-core packet D18WCW4ERY
| URI | m2://inv/D18WCW4ERY |
|---|---|
| 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.24962#N6Y8, Genuine 3D constant-core packet (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaussian observations and adaptive transcripts D18X1389W1
| URI | m2://inv/D18X1389W1 |
|---|---|
| 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.12641#CSGA, Gaussian observations and adaptive transcripts (statement). In X5BYGZZHPF/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
D18X63SG22 D18X63SG22
| URI | m2://inv/D18X63SG22 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13580#LWNO (problem). In KEQ57N9N7Z/e1, problem 6.2
History
- 2026-10-28: add by m2/v0.4.2
D18XSC66TJ D18XSC66TJ
| URI | m2://inv/D18XSC66TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#9VRW (statement)
History
- 2026-11-01: add by m2/v0.6.15
D190F12JW5 D190F12JW5
| URI | m2://inv/D190F12JW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#WHAA (statement). In P7T0W5D3W3/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.2
D1959BE59Y D1959BE59Y
| URI | m2://inv/D1959BE59Y |
|---|---|
| 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.20008#MW0B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions D195ZZCGK1
| URI | m2://inv/D195ZZCGK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of averaging#YYZ2, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Applications D19N61YNV8
| URI | m2://inv/D19N61YNV8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional analysis#OMTC, Applications (example)
History
- 2026-11-02: add by m2/dev
positive matrix D19SPHV44S
| URI | m2://inv/D19SPHV44S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22582649, positive matrix (unknown). Also MathWorld PositiveMatrix
History
- 2026-10-26: add by m2/dev
D1A4JBCDYV D1A4JBCDYV
| URI | m2://inv/D1A4JBCDYV |
|---|---|
| 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 2301.02848#6KFU (statement). In G6WQDW52TJ/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Ferdinand Joachimsthal D1A7FYJ4G4
| URI | m2://inv/D1A7FYJ4G4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VDX4, Ferdinand Joachimsthal (topic)
History
- 2026-11-02: add by m2/dev
D1AEW90W7Q D1AEW90W7Q
| URI | m2://inv/D1AEW90W7Q |
|---|---|
| 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.13423#P4R3 (statement). In 9JWYWC92M3/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
D1AEZBFFXH D1AEZBFFXH
| URI | m2://inv/D1AEZBFFXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#UI30 (statement). In M9VHCG48HB/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
D1AH885TPQ D1AH885TPQ
| URI | m2://inv/D1AH885TPQ |
|---|---|
| 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.07122#IP0J (statement). In W0ZHX9DHPV/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
D1AMB20GWW D1AMB20GWW
| URI | m2://inv/D1AMB20GWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.13213#UCLM (statement). In V97F4YZ8B0/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Alexander Alexandrovich Chuprov D1AQVR9YMJ
| URI | m2://inv/D1AQVR9YMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Alexandrovich Chuprov, Alexander Alexandrovich Chuprov (topic). Also Wikidata Q2309330
History
- 2026-11-02: add by m2/dev
Hypergeometric solution of the coupled Klein--Gordon system D1AS2E5AGH
| URI | m2://inv/D1AS2E5AGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.18586#7XQ3, Hypergeometric solution of the coupled Klein--Gordon system (statement). In QBM7GTBPYJ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Properties D1AWM5BGE5
| URI | m2://inv/D1AWM5BGE5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication operator#89Y6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Macbeath regions D1AXFA5JK9
| URI | m2://inv/D1AXFA5JK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#CY0T, Macbeath regions (definition)
History
- 2026-11-02: add by m2/dev
D1B2DNJ2NC D1B2DNJ2NC
| URI | m2://inv/D1B2DNJ2NC |
|---|---|
| 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.37208#254S (statement). In 7MCBCP4T0B/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
D1B4TCE5RR D1B4TCE5RR
| URI | m2://inv/D1B4TCE5RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#84FI (statement). In 1QSCT53ZED/e1, lemma 10.3
History
- 2026-10-27: add by m2/v0.4.0
D1B8YK1BM1 D1B8YK1BM1
| URI | m2://inv/D1B8YK1BM1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#8GTP (example). In 2HSB99DW4M/e1, example 7.7
History
- 2026-10-27: add by m2/v0.3.6
Susan Wojcicki D1B9EDW7KP
| URI | m2://inv/D1B9EDW7KP |
|---|---|
| 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#DM96, Susan Wojcicki (unknown)
History
- 2026-11-02: add by m2/dev
Near-semiring D1BDPEK2AA
| URI | m2://inv/D1BDPEK2AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near-semiring, Near-semiring (definition). Also Wikidata Q6984342
History
- 2026-11-02: add by m2/dev
Samarendra Nath Roy D1BEW50CS4
| URI | m2://inv/D1BEW50CS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samarendra Nath Roy, Samarendra Nath Roy (topic). Also Wikidata Q7408818
History
- 2026-11-02: add by m2/dev
Harry Campion D1BJNVBE59
| URI | m2://inv/D1BJNVBE59 |
|---|---|
| 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#HMI6, Harry Campion (unknown)
History
- 2026-11-02: add by m2/dev
Bunkbed conjecture D1BR1ZD4GQ
| URI | m2://inv/D1BR1ZD4GQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bunkbed conjecture, Bunkbed conjecture (statement). Also Wikidata Q124116607
History
- 2026-11-02: add by m2/dev
Fáry's theorem D1BS7ZN5GR
| URI | m2://inv/D1BS7ZN5GR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455031, Fáry's theorem (statement). Also Wikidata Q4455031
- thousand_plus: thousand_plus Q4455031, Fáry's theorem (statement). Also Wikidata Q4455031, Wikipedia Fáry's theorem
- wikipedia: Wikipedia Fáry's theorem, Fáry's theorem (statement). Also Wikidata Q4455031
History
- 2026-10-26: add by m2/dev
Weil group D1BXV63M99
| URI | m2://inv/D1BXV63M99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil group, Weil group (definition). Also Wikidata Q17104667
History
- 2026-11-02: add by m2/dev
Oded Goldreich D1BY3BCDKM
| URI | m2://inv/D1BY3BCDKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#PB68, Oded Goldreich (unknown)
History
- 2026-11-02: add by m2/dev
Theorem D1C52SPECR
| URI | m2://inv/D1C52SPECR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinberg–Witten theorem#UWT7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
D1CJYGGW65 D1CJYGGW65
| URI | m2://inv/D1CJYGGW65 |
|---|---|
| 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#23YR (definition). In 74MXJ2RX4B/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
D1CPRZG4NQ D1CPRZG4NQ
| URI | m2://inv/D1CPRZG4NQ |
|---|---|
| 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.37489#X5HT (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
integrand D1CSMRC8Q4
| URI | m2://inv/D1CSMRC8Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#KVQ7, integrand (definition)
History
- 2026-11-02: add by m2/dev
Kathryn E. Hare D1CTJ4THX9
| URI | m2://inv/D1CTJ4THX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathryn E. Hare, Kathryn E. Hare (topic). Also Wikidata Q20758274
History
- 2026-11-02: add by m2/dev
complex Banach isometric conjecture D1CVVP336G
| URI | m2://inv/D1CVVP336G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#7NS9, complex Banach isometric conjecture (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma 7 D1CYNN02QY
| URI | m2://inv/D1CYNN02QY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's theorem (differential geometry)#U026, Lemma 7 (statement)
History
- 2026-11-02: add by m2/dev
D1D65KAZHJ D1D65KAZHJ
| URI | m2://inv/D1D65KAZHJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#WXT4 (definition). In 9H45HQE7AZ/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.3.5
Alexey Izmailov D1DAAPQF6D
| URI | m2://inv/D1DAAPQF6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexey Izmailov, Alexey Izmailov (topic). Also Wikidata Q53870499
History
- 2026-11-02: add by m2/dev
Classical Diophantine geometry D1DEJF3V5Y
| URI | m2://inv/D1DEJF3V5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MGK2, Classical Diophantine geometry (definition)
History
- 2026-11-02: add by m2/dev
Journal of Commutative Algebra D1DPHSD7T3
| URI | m2://inv/D1DPHSD7T3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Commutative Algebra, Journal of Commutative Algebra (topic). Also Wikidata Q55615358
History
- 2026-11-02: add by m2/dev
Approximate Bayesian computation D1DPRFAP7X
| URI | m2://inv/D1DPRFAP7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate Bayesian computation, Approximate Bayesian computation (definition). Also Wikidata Q21045424
History
- 2026-11-02: add by m2/dev
Quantum q-Krawtchouk polynomials D1DZSNWJ1Q
| URI | m2://inv/D1DZSNWJ1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum q-Krawtchouk polynomials, Quantum q-Krawtchouk polynomials (definition). Also Wikidata Q7269087
History
- 2026-11-02: add by m2/dev
D1ED2V5RFX D1ED2V5RFX
| URI | m2://inv/D1ED2V5RFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20678#PLAJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
D1EF6CMKQQ D1EF6CMKQQ
| URI | m2://inv/D1EF6CMKQQ |
|---|---|
| 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#M3D2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
D1EFTYBZYN D1EFTYBZYN
| URI | m2://inv/D1EFTYBZYN |
|---|---|
| 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 2104.04145#M1W6 (statement). In 7TNHVC586V/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Witting polytope D1EK43M799
| URI | m2://inv/D1EK43M799 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witting polytope, Witting polytope (definition). Also Wikidata Q28000491
History
- 2026-11-02: add by m2/dev
D1EQGAHK1F D1EQGAHK1F
| URI | m2://inv/D1EQGAHK1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#1JQ8 (statement). In 5EKTECQ2P1/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Unmatched count D1EWJTQ35J
| URI | m2://inv/D1EWJTQ35J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#31FX, Unmatched count (definition)
History
- 2026-11-02: add by m2/dev
Real-time Delphi D1FB92KVTH
| URI | m2://inv/D1FB92KVTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real-time Delphi, Real-time Delphi (definition). Also Wikidata Q7300775
History
- 2026-11-02: add by m2/dev
Schauder estimates D1FHWFCZ95
| URI | m2://inv/D1FHWFCZ95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schauder estimates, Schauder estimates (definition). Also Wikidata Q7430990
History
- 2026-11-02: add by m2/dev
D1FKWD7TWD D1FKWD7TWD
| URI | m2://inv/D1FKWD7TWD |
|---|---|
| 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.21017#R0BB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Diagonal AH equality D1FWY84PMZ
| URI | m2://inv/D1FWY84PMZ |
|---|---|
| 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.11143#4NHV, Diagonal AH equality (statement). In 9CS15SV662/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Control D1GA4TS8T8
| URI | m2://inv/D1GA4TS8T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control (optimal control theory), Control (definition). Also Wikidata Q2342265
History
- 2026-11-02: add by m2/dev
D1GB8RWTB8 D1GB8RWTB8
| URI | m2://inv/D1GB8RWTB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#0ZAQ (statement). In WAXS6FS388/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Büchi automaton D1GDHAEN2N
| URI | m2://inv/D1GDHAEN2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#CKUO, Büchi automaton (definition)
History
- 2026-11-02: add by m2/dev
Themistocles M. Rassias D1GHXCCYWX
| URI | m2://inv/D1GHXCCYWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Themistocles M. Rassias, Themistocles M. Rassias (topic). Also Wikidata Q5984090
History
- 2026-11-02: add by m2/dev
Rational singularity D1GJPXBEQN
| URI | m2://inv/D1GJPXBEQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational singularity, Rational singularity (definition). Also Wikidata Q7295783
History
- 2026-11-02: add by m2/dev
Definition D1GTJT2PKA
| URI | m2://inv/D1GTJT2PKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental group scheme#FPB9, Definition (definition)
History
- 2026-11-02: add by m2/dev
D1GXQ1508X D1GXQ1508X
| URI | m2://inv/D1GXQ1508X |
|---|---|
| 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.30664#LUUF (statement). In ZZGDNKDVJW/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
type theory, formal D1GZ7S1P30
| URI | m2://inv/D1GZ7S1P30 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4/type-theory-formal, type theory, formal (concept). In N54F33XE07, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
D1GZCEA8NR D1GZCEA8NR
| URI | m2://inv/D1GZCEA8NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21768#CEAM (statement). In VD53W58DS1/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
D1H6FKHH4F D1H6FKHH4F
| URI | m2://inv/D1H6FKHH4F |
|---|---|
| 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 2610.05193#OYOS (example). In XDMM0KNNZ9/e1, example 26
History
- 2026-10-29: add by m2/v0.4.10
Solutions to RDEs D1H7YBWSAD
| URI | m2://inv/D1H7YBWSAD |
|---|---|
| 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 2312.06473#B96B, Solutions to RDEs (definition). In P1MYSYHSGX/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Picard group D1HF5NPPZJ
| URI | m2://inv/D1HF5NPPZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#BRCL, Picard group (definition)
History
- 2026-11-02: add by m2/dev
I. J. Good D1HG47NM20
| URI | m2://inv/D1HG47NM20 |
|---|---|
| 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#3XI0, I. J. Good (topic)
History
- 2026-11-02: add by m2/dev
Piphilology D1HJY3PFDT
| URI | m2://inv/D1HJY3PFDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piphilology, Piphilology (definition). Also Wikidata Q1470609
History
- 2026-11-02: add by m2/dev
incomparability property D1J0G7NFPH
| URI | m2://inv/D1J0G7NFPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#210M, incomparability property (definition)
History
- 2026-11-02: add by m2/dev
D1J174Q3B5 D1J174Q3B5
| URI | m2://inv/D1J174Q3B5 |
|---|---|
| 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.12014#BP3C (statement). In DR7BK4CQ0V/e1, corollary 5.30
History
- 2026-10-28: add by m2/v0.4.3
D1J5B2301V D1J5B2301V
| URI | m2://inv/D1J5B2301V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#R48P (statement). In 5DFTVG7FFF/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
D1J60P063R D1J60P063R
| URI | m2://inv/D1J60P063R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#KAOW (statement). In BDN507RN7J/e1, theorem 3.5.29
History
- 2026-10-30: add by m2/v0.4.12
$L_1$ Stability of Discretization D1J8S8YVY8
| URI | m2://inv/D1J8S8YVY8 |
|---|---|
| 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.21033#JC8C, $L_1$ Stability of Discretization (statement). In A8C1M9BSWH/e1, lemma C.2
History
- 2026-10-27: add by m2/v0.4.2
D1J9KQFVV9 D1J9KQFVV9
| URI | m2://inv/D1J9KQFVV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#definition-3 (definition). In RZP28ERRZV, definition, section 28.3
History
- 2026-11-01: add by m2/v0.6.13
D1JCZ45RQ0 D1JCZ45RQ0
| URI | m2://inv/D1JCZ45RQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12120#D7AC (statement). In G9D4R1AXP8/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Influence diagram D1JVSTYYW4
| URI | m2://inv/D1JVSTYYW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#70PT, Influence diagram (definition)
History
- 2026-11-02: add by m2/dev
Far regime D1K0YFBR5T
| URI | m2://inv/D1K0YFBR5T |
|---|---|
| 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.32977#3GY0, Far regime (statement). In 4KT9TK3MG4/e1, lemma D.12
History
- 2026-10-31: add by m2/v0.5.6
Optimality of the three-generation depth D1KKWMYYJY
| URI | m2://inv/D1KKWMYYJY |
|---|---|
| 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.10950#XZHH, Optimality of the three-generation depth (statement). In P392PEVRAY/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.3
D1M7DXY0MR D1M7DXY0MR
| URI | m2://inv/D1M7DXY0MR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#VN83 (statement). In F8RC6AENB0/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Empirical process D1M9H5N7PC
| URI | m2://inv/D1M9H5N7PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6IUX, Empirical process (definition)
History
- 2026-11-02: add by m2/dev
Shahriar Shahriari D1MGAQGV7Q
| URI | m2://inv/D1MGAQGV7Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shahriar Shahriari, Shahriar Shahriari (topic). Also Wikidata Q102161039
History
- 2026-11-02: add by m2/dev
Gauss–Lucas theorem D1MSBF2TSD
| URI | m2://inv/D1MSBF2TSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 4 |
| Outcome | open |
| Node | Gauss–Lucas theorem A56086N8XQ |
Mentions
- mathlib_1000: mathlib_1000 Q1008566, Gauss–Lucas theorem (statement). Also Mathlib Polynomial.rootSet_derivative_subset_convexHull_rootSet, Mathlib Polynomial.eq_centerMass_of_eval_derivative_eq_zero, Wikidata Q1008566
- thousand_plus: thousand_plus Q1008566, Gauss–Lucas theorem (statement). Also Mathlib Polynomial.rootSet_derivative_subset_convexHull_rootSet, Mathlib Polynomial.eq_centerMass_of_eval_derivative_eq_zero, Wikidata Q1008566, Wikipedia Gauss–Lucas theorem
- wikidata: Wikidata Q1008566, Gauss–Lucas theorem (statement). Also MathWorld LucasGaussTheorem
- wikipedia: Wikipedia Gauss–Lucas theorem, Gauss–Lucas theorem (statement). Also Wikidata Q1008566
History
- 2026-10-26: add by m2/dev
D1MT156V4C D1MT156V4C
| URI | m2://inv/D1MT156V4C |
|---|---|
| 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.02407#87CL (statement). In ZZER8ZBSCR/e1, lemma B.15
History
- 2026-10-29: add by m2/v0.4.12
D1N27C94RQ D1N27C94RQ
| URI | m2://inv/D1N27C94RQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28337#OVW2 (definition). In 7ZJFWBTBKM/e1, definition 3.1.1
History
- 2026-10-27: add by m2/v0.3.6
Example D1N399X9XX
| URI | m2://inv/D1N399X9XX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrapping populations#ELZE, Example (example)
History
- 2026-11-02: add by m2/dev
Brailey Sims D1N84PAMFE
| URI | m2://inv/D1N84PAMFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brailey Sims, Brailey Sims (topic). Also Wikidata Q102270833
History
- 2026-11-02: add by m2/dev
D1NBZCGTXE D1NBZCGTXE
| URI | m2://inv/D1NBZCGTXE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/countermodels.tex#ex-2 (example). In PKGMM3P5QY, ex, section 55.5
History
- 2026-11-01: add by m2/v0.6.13
D1NCDME63R D1NCDME63R
| URI | m2://inv/D1NCDME63R |
|---|---|
| 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 2212.11038#N765 (statement). In M3E3ARMJXK/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Feasible sets and continuous or weak costs D1NFRVJ4VZ
| URI | m2://inv/D1NFRVJ4VZ |
|---|---|
| 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#YMN5, Feasible sets and continuous or weak costs (statement). In 9YAE8FNQST/e1, corollary 11.17
History
- 2026-10-30: add by m2/v0.4.12
D1NGXXETD2 D1NGXXETD2
| URI | m2://inv/D1NGXXETD2 |
|---|---|
| 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 2610.01753#WPXU (statement). In JY50YXMH5N/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.12
NNCC spaces D1NHGKE849
| URI | m2://inv/D1NHGKE849 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#TJUE, NNCC spaces (example)
History
- 2026-11-02: add by m2/v0.6.18
D1NWHV102T D1NWHV102T
| URI | m2://inv/D1NWHV102T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#QXOO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Disproved conjecture D1NX365MTY
| URI | m2://inv/D1NX365MTY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#7AV6, Disproved conjecture (unknown)
History
- 2026-11-02: add by m2/dev
compact open topology D1P42A4X9F
| URI | m2://inv/D1P42A4X9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > compact open topology, compact open topology (unknown). Also Mathlib ContinuousMap.compactOpen
History
- 2026-10-26: add by m2/dev
D1P61GSN5E D1P61GSN5E
| URI | m2://inv/D1P61GSN5E |
|---|---|
| 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#XN33 (statement). In 7CK21JGM5A/e1, corollary 4.6
History
- 2026-10-27: add by m2/v0.4.2
Johann Benedict Listing D1PH973N0K
| URI | m2://inv/D1PH973N0K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#K79K, Johann Benedict Listing (topic)
History
- 2026-11-02: add by m2/dev
D1PP40RCPG D1PP40RCPG
| URI | m2://inv/D1PP40RCPG |
|---|---|
| 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.16877#35B8 (statement). In YY4KFNMPC0/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Computing some exterior derivatives D1Q3CXA224
| URI | m2://inv/D1Q3CXA224 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#example-3, Computing some exterior derivatives (example). In RZP28ERRZV, example, section 43.4
History
- 2026-11-01: add by m2/v0.6.13
D1Q4BH8SMS D1Q4BH8SMS
| URI | m2://inv/D1Q4BH8SMS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23424#21DI (definition)
History
- 2026-11-02: add by m2/v0.6.17
Dome D1Q5D1HGSG
| URI | m2://inv/D1Q5D1HGSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#BU07, Dome (unknown)
History
- 2026-11-02: add by m2/dev
D1QFG8K863 D1QFG8K863
| URI | m2://inv/D1QFG8K863 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#GBS7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Broadcast meteorologist D1QP252F5T
| URI | m2://inv/D1QP252F5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meteorology#BK8X, Broadcast meteorologist (unknown)
History
- 2026-11-02: add by m2/dev
``Existence" D1QPHQC8EA
| URI | m2://inv/D1QPHQC8EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2204.04317#XLL2, ``Existence" (statement). In 49V3ANDZTY/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Free factor complex D1QZNMF5YR
| URI | m2://inv/D1QZNMF5YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free factor complex, Free factor complex (definition). Also Wikidata Q30593823
History
- 2026-11-02: add by m2/dev
Statement D1R56TY8BE
| URI | m2://inv/D1R56TY8BE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck–Ogg–Shafarevich formula#VJZ1, Statement (statement)
History
- 2026-11-02: add by m2/dev
D1R5FV0MZ3 D1R5FV0MZ3
| URI | m2://inv/D1R5FV0MZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-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 2609.24901#PBOB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nachman Aronszajn D1R75XVBG3
| URI | m2://inv/D1R75XVBG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#33NH, Nachman Aronszajn (topic)
History
- 2026-11-02: add by m2/dev
D1RBQEQP9N D1RBQEQP9N
| URI | m2://inv/D1RBQEQP9N |
|---|---|
| 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.00934#IN49 (definition). In SHCQDPCF2J/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Scattered space D1RCAFYTM5
| URI | m2://inv/D1RCAFYTM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattered space, Scattered space (definition). Also Wikidata Q104841945
History
- 2026-11-02: add by m2/dev
Angular pointwise vanishing without compactness D1RNKX7Y39
| URI | m2://inv/D1RNKX7Y39 |
|---|---|
| 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.24614#I4TK, Angular pointwise vanishing without compactness (statement)
History
- 2026-11-01: add by m2/v0.6.15
vector, induction principle for D1RPJJSEH3
| URI | m2://inv/D1RPJJSEH3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/vector-induction-principle-for, vector, induction principle for (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
D1S3CSMFZ7 D1S3CSMFZ7
| URI | m2://inv/D1S3CSMFZ7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-10 (proof). In N54F33XE07, proof, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Amplification criterion D1S880AF3H
| URI | m2://inv/D1S880AF3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.33173#NCWU, Amplification criterion (statement). In R630A60CMM/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
D1S99QE4F2 D1S99QE4F2
| URI | m2://inv/D1S99QE4F2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05194#VWOI (statement). In 77R8YQ16JH/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
Rank--index bound D1SA9A5ZD9
| URI | m2://inv/D1SA9A5ZD9 |
|---|---|
| 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.07508#J1WL, Rank--index bound (statement). In TPA3E67MKK/e1, theorem 7.6
History
- 2026-10-29: add by m2/v0.4.10
Stephanie B. Alexander D1SE3PN09B
| URI | m2://inv/D1SE3PN09B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EX83, Stephanie B. Alexander (topic)
History
- 2026-11-02: add by m2/dev
Grushko theorem D1SG6MY401
| URI | m2://inv/D1SG6MY401 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17019684, Grushko theorem (statement). Also Wikidata Q17019684
- thousand_plus: thousand_plus Q17019684, Grushko theorem (statement). Also Wikidata Q17019684, Wikipedia Grushko theorem
- wikipedia: Wikipedia Grushko theorem, Grushko theorem (statement). Also Wikidata Q17019684
History
- 2026-10-26: add by m2/dev
Linear prediction D1SKQ1W284
| URI | m2://inv/D1SKQ1W284 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear prediction, Linear prediction (definition). Also Wikidata Q581012
History
- 2026-11-02: add by m2/dev
D1SS7T9C91 D1SS7T9C91
| URI | m2://inv/D1SS7T9C91 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#B7JG (example). In S1F2QW24YW/e1, example 2.15
History
- 2026-10-27: add by m2/v0.3.5
Hopf–Rinow theorem D1SWA6G62H
| URI | m2://inv/D1SWA6G62H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YNB9, Hopf–Rinow theorem (statement)
History
- 2026-11-02: add by m2/dev
Hamming bound D1SZ5VZ4BN
| URI | m2://inv/D1SZ5VZ4BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#K17J, Hamming bound (definition)
History
- 2026-11-02: add by m2/dev
D1SZ9V62GQ D1SZ9V62GQ
| URI | m2://inv/D1SZ9V62GQ |
|---|---|
| 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.01329#Q57L (statement). In 7XEVYJKJ5C/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.12
D1TJCZ69KB D1TJCZ69KB
| URI | m2://inv/D1TJCZ69KB |
|---|---|
| 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#BGDS (statement). In 5E9G06XJKC/e1, lemma D.32
History
- 2026-10-28: add by m2/v0.4.2
Delay Complexity Dimension D1TK1KNNQS
| URI | m2://inv/D1TK1KNNQS |
|---|---|
| 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 2610.18935#EPZX, Delay Complexity Dimension (definition). In HPEEJY1S3S/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Phase retrieval D1TN2TRE4P
| URI | m2://inv/D1TN2TRE4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase retrieval, Phase retrieval (definition). Also Wikidata Q7180962
History
- 2026-11-02: add by m2/dev
Zevenaar D1TXB38AV9
| URI | m2://inv/D1TXB38AV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#64H8, Zevenaar (unknown)
History
- 2026-11-02: add by m2/dev
Erwin Engeler D1V8NQYA6H
| URI | m2://inv/D1V8NQYA6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erwin Engeler, Erwin Engeler (topic). Also Wikidata Q5396118
History
- 2026-11-02: add by m2/dev
variable D1VHJF127Q
| URI | m2://inv/D1VHJF127Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.1/variable, variable (concept). In N54F33XE07, index, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Non-torsion orbit in $H_1$ $\Rightarrow$ Conley conjecture D1VNK8K4HW
| URI | m2://inv/D1VNK8K4HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#1UEK, Non-torsion orbit in $H_1$ $\Rightarrow$ Conley conjecture (statement). In 13GSWBXPCM/e1, theorem 1.16
History
- 2026-10-27: add by m2/v0.3.5
D1VSA9QZK3 D1VSA9QZK3
| URI | m2://inv/D1VSA9QZK3 |
|---|---|
| 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#ZA5O (statement). In 6B2PCEGCYZ/e1, lemma 2.9
History
- 2026-10-31: add by m2/v0.5.6
D1VSGV6JEZ D1VSGV6JEZ
| URI | m2://inv/D1VSGV6JEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#definition-5 (definition). In RZP28ERRZV, definition, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
D1VYQGDV5J D1VYQGDV5J
| URI | m2://inv/D1VYQGDV5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.11545#NWTS (statement). In VN084GGZGK/e1, lemma 4.19
History
- 2026-10-28: add by m2/v0.4.3
D1W9JD0ME1 D1W9JD0ME1
| URI | m2://inv/D1W9JD0ME1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#RL72 (statement). In EAABRG99V8/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.0
D1WDCVW166 D1WDCVW166
| URI | m2://inv/D1WDCVW166 |
|---|---|
| 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.33027#S3CG (statement). In E2AF84709B/e1, lemma 36
History
- 2026-10-31: add by m2/v0.5.6
Weak Harnack inequality for $u^1$ D1WGVHKRWW
| URI | m2://inv/D1WGVHKRWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#TCPM, Weak Harnack inequality for $u^1$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example D1WH6XAEJB
| URI | m2://inv/D1WH6XAEJB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biochemical systems equation#T337, Example (example)
History
- 2026-11-02: add by m2/dev
Vladimir Malaniuk D1WJDNKVDF
| URI | m2://inv/D1WJDNKVDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#W1EG, Vladimir Malaniuk (unknown)
History
- 2026-11-02: add by m2/dev
Yaël Frégier D1WXJDF10Y
| URI | m2://inv/D1WXJDF10Y |
|---|---|
| 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 Q102330338, Yaël Frégier (unknown). Also nLab Yael Fregier
History
- 2026-10-26: add by m2/dev
Transfer block of the temporal channel D1X3D06G9Z
| URI | m2://inv/D1X3D06G9Z |
|---|---|
| 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.16351#3O9X, Transfer block of the temporal channel (statement). In 1QSV7EQE3T/e1, lemma S16
History
- 2026-10-28: add by m2/v0.4.2
Affine polynomial normal form D1X50PGK7D
| URI | m2://inv/D1X50PGK7D |
|---|---|
| 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.26152#UWOW, Affine polynomial normal form (statement)
History
- 2026-11-01: add by m2/v0.6.15
D1X5KH2TWP D1X5KH2TWP
| URI | m2://inv/D1X5KH2TWP |
|---|---|
| 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.28011#HGNO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Adequate subcategory D1X8ZE1SKK
| URI | m2://inv/D1X8ZE1SKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adequate subcategory, Adequate subcategory (definition). Also Wikidata Q138606295
History
- 2026-11-02: add by m2/dev
General linear group D1XGBFG59X
| URI | m2://inv/D1XGBFG59X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#LLA5, General linear group (definition)
History
- 2026-11-02: add by m2/dev
Definitions D1XJFBEQ4M
| URI | m2://inv/D1XJFBEQ4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folded-t and half-t distributions#O1U5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Theorem D1XKEPTG4R
| URI | m2://inv/D1XKEPTG4R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#0VTC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
One-dimensional weighted trace D1XX4BSBNH
| URI | m2://inv/D1XX4BSBNH |
|---|---|
| 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.39408#TGAR, One-dimensional weighted trace (statement). In T8E6F01RTM/e1, lemma G.1
History
- 2026-10-30: add by m2/v0.4.12
Examples D1Y0Y30TK7
| URI | m2://inv/D1Y0Y30TK7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale-free network#C1S3, Examples (example)
History
- 2026-11-02: add by m2/dev
Bounded domains in $\R^d$ D1Y6RJ2XMN
| URI | m2://inv/D1Y6RJ2XMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#X0CX, Bounded domains in $\R^d$ (statement). In FJFJ3WR1SS/e1, corollary C.2
History
- 2026-10-31: add by m2/v0.5.6
Definition D1YNC2VN9V
| URI | m2://inv/D1YNC2VN9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of topologies#HZED, Definition (definition)
History
- 2026-11-02: add by m2/dev
Symlet D1YPMDWCT2
| URI | m2://inv/D1YPMDWCT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symlet, Symlet (definition). Also Wikidata Q9257835
History
- 2026-11-02: add by m2/dev
Britton D1Z5ST6A9C
| URI | m2://inv/D1Z5ST6A9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#36SQ, Britton (unknown)
History
- 2026-11-02: add by m2/dev
K-transform D1Z6NQWB8A
| URI | m2://inv/D1Z6NQWB8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-transform, K-transform (definition). Also Wikidata Q105833767
History
- 2026-11-02: add by m2/dev
D1Z6PD7A1C D1Z6PD7A1C
| URI | m2://inv/D1Z6PD7A1C |
|---|---|
| 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.04876#T19Z (statement). In 2TNAKVC0YP/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.12
The whole signing law and a canonical reference D1Z8EE5X45
| URI | m2://inv/D1Z8EE5X45 |
|---|---|
| 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#ZQ2P, The whole signing law and a canonical reference (statement). In 9YAE8FNQST/e1, corollary 16.18
History
- 2026-10-30: add by m2/v0.4.12
exa D1ZCNGCJ2H
| URI | m2://inv/D1ZCNGCJ2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q152411, exa (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/exa-
History
- 2026-10-26: add by m2/dev
Charles Cook D1ZESJMS57
| URI | m2://inv/D1ZESJMS57 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Cook (academic), Charles Cook (topic). Also Wikidata Q5078940
History
- 2026-11-02: add by m2/dev
D1ZF2WB4V6 D1ZF2WB4V6
| URI | m2://inv/D1ZF2WB4V6 |
|---|---|
| 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 2602.03909#W73D (statement). In WWFAVFGPQQ/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.0
D1ZNYHKYQF D1ZNYHKYQF
| URI | m2://inv/D1ZNYHKYQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36412#L58E (statement). In 6HKGGCMBCK/e1, proposition 1.6
History
- 2026-10-30: add by m2/v0.4.12
D1ZPH61SSS D1ZPH61SSS
| URI | m2://inv/D1ZPH61SSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26723#L757 (statement)
History
- 2026-11-01: add by m2/v0.6.15
D1ZZDAX4MV D1ZZDAX4MV
| URI | m2://inv/D1ZZDAX4MV |
|---|---|
| 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.07790#NQ1Z (statement). In A5YJDDM0NX/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10