Inventory rows 22
The cards of the rows of the inventory whose ids start with 22. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition 2207SSM29A
| URI | m2://inv/2207SSM29A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitening transformation#ZAXX, Definition (definition)
History
- 2026-11-02: add by m2/dev
2207ZBC8PW 2207ZBC8PW
| URI | m2://inv/2207ZBC8PW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#example-1 (example). In P1C114YBXG, example, section A
History
- 2026-11-01: add by m2/v0.6.13
Hanner space 2208PYP5JG
| URI | m2://inv/2208PYP5JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanner polytope#CF2H, Hanner space (unknown)
History
- 2026-11-02: add by m2/dev
Dimension of a module 2209M01MVV
| URI | m2://inv/2209M01MVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull dimension#35OH, Dimension of a module (unknown)
History
- 2026-11-02: add by m2/dev
220D8XGFM7 220D8XGFM7
| URI | m2://inv/220D8XGFM7 |
|---|---|
| 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.27800#0CW5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
220FVMY61V 220FVMY61V
| URI | m2://inv/220FVMY61V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#0TX5 (statement). In XPF72KTPMZ/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Minkowski 220K3EKV73
| URI | m2://inv/220K3EKV73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#TUSQ, Minkowski (statement). In J9C7YMKJ33/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Novikov–Shubin invariant 220KVV8QP1
| URI | m2://inv/220KVV8QP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Novikov–Shubin invariant, Novikov–Shubin invariant (definition). Also Wikidata Q7064909
History
- 2026-11-02: add by m2/dev
220RHRBVFR 220RHRBVFR
| URI | m2://inv/220RHRBVFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#E2ZX (statement). In X47RYAZF8P/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
220VPJSH4M 220VPJSH4M
| URI | m2://inv/220VPJSH4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06206#YV7Q (statement). In A7611PTXVQ/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
vertex coloring 220XBARP4E
| URI | m2://inv/220XBARP4E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/vertex-coloring, vertex coloring (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
220ZG4HGAF 220ZG4HGAF
| URI | m2://inv/220ZG4HGAF |
|---|---|
| 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#W8XR (statement). In 6B2PCEGCYZ/e1, proposition 3.8
History
- 2026-10-31: add by m2/v0.5.6
2210GDBP9C 2210GDBP9C
| URI | m2://inv/2210GDBP9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#XJM8 (statement). In WRE0P7V6Z3/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
22179XGWKY 22179XGWKY
| URI | m2://inv/22179XGWKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#9JJZ (statement). In 8TSZ2E32K3/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.3
221CFFM1GM 221CFFM1GM
| URI | m2://inv/221CFFM1GM |
|---|---|
| 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.04165#BJXP (statement). In PKN283MHF8/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
221D5ASFKE 221D5ASFKE
| URI | m2://inv/221D5ASFKE |
|---|---|
| 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.33154#3KYY (statement). In N28DEYRBW7/e1, proposition F.1
History
- 2026-10-30: add by m2/v0.4.12
Error after projection onto the state set 221DJ8M7WN
| URI | m2://inv/221DJ8M7WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12017#ZRYL, Error after projection onto the state set (statement). In WW04MP0NAZ/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Alejandro Corichi 221HSH66Q2
| URI | m2://inv/221HSH66Q2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#FJL9, Alejandro Corichi (unknown)
History
- 2026-11-02: add by m2/dev
221MWRQCC0 221MWRQCC0
| URI | m2://inv/221MWRQCC0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#BL58 (definition). In V7SN19J84T/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
221XQRA35K 221XQRA35K
| URI | m2://inv/221XQRA35K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#B94T (statement). In HBZXCMYPME/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
2220NZRRF5 2220NZRRF5
| URI | m2://inv/2220NZRRF5 |
|---|---|
| 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.23341#RUBR (statement)
History
- 2026-11-02: add by m2/v0.6.17
2227B0X60R 2227B0X60R
| URI | m2://inv/2227B0X60R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#PS27 (statement). In 332PQD90SW/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.5
222DRE9AWN 222DRE9AWN
| URI | m2://inv/222DRE9AWN |
|---|---|
| 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.24043#SL47 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Roderick J. A. Little 222K611JPN
| URI | m2://inv/222K611JPN |
|---|---|
| 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#BICQ, Roderick J. A. Little (topic)
History
- 2026-11-02: add by m2/dev
Generalized space 222NE8S7D9
| URI | m2://inv/222NE8S7D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized space, Generalized space (definition). Also Wikidata Q131198215
History
- 2026-11-02: add by m2/dev
The quotient by the primary image 222TR5EE1T
| URI | m2://inv/222TR5EE1T |
|---|---|
| Kind | statement |
| 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 2610.20649#ZS8Q, The quotient by the primary image (statement). In XDTM624YPE/e1, corollary 17.6
History
- 2026-10-27: add by m2/v0.4.2
Russell's Paradox 222X17RPAN
| URI | m2://inv/222X17RPAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/russells-paradox.tex#thm:russells-paradox, Russell's Paradox (statement). In PKGMM3P5QY, thm, section 82.7
History
- 2026-11-01: add by m2/v0.6.13
222Y61018T 222Y61018T
| URI | m2://inv/222Y61018T |
|---|---|
| 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.03988#WK7J (statement). In PQ2X97H1T9/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Theorem 2 (Hoffman) 2230HAJ0BC
| URI | m2://inv/2230HAJ0BC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple zeta function#WQ0Q, Theorem 2 (Hoffman) (statement)
History
- 2026-11-02: add by m2/dev
Kish, Leslie 2232TVS47X
| URI | m2://inv/2232TVS47X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#CUX2, Kish, Leslie (topic)
History
- 2026-11-02: add by m2/dev
Libgcrypt 2233ZB4PM0
| URI | m2://inv/2233ZB4PM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Libgcrypt, Libgcrypt (definition). Also Wikidata Q3237868
History
- 2026-11-02: add by m2/dev
James Robins 223AJN9SQP
| URI | m2://inv/223AJN9SQP |
|---|---|
| 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#HXUZ, James Robins (topic)
History
- 2026-11-02: add by m2/dev
223J7V9JGM 223J7V9JGM
| URI | m2://inv/223J7V9JGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#MZFP (statement)
History
- 2026-11-01: add by m2/v0.6.15
bimonoidal category 223PGPCJZY
| URI | m2://inv/223PGPCJZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q98931512, bimonoidal category (unknown). Also nLab rig category
- wikipedia: Wikipedia Rig category, Rig category (definition). Also Wikidata Q98931512
History
- 2026-10-26: add by m2/dev
Interpolation formula 223RNRAZ30
| URI | m2://inv/223RNRAZ30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lanczos resampling#FOUK, Interpolation formula (statement)
History
- 2026-11-02: add by m2/dev
Daisuke Takahashi 224BWNNJRB
| URI | m2://inv/224BWNNJRB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daisuke Takahashi (mathematician), Daisuke Takahashi (topic). Also Wikidata Q78562575
History
- 2026-11-02: add by m2/dev
224BZ2PP3X 224BZ2PP3X
| URI | m2://inv/224BZ2PP3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#definition-4 (definition). In RZP28ERRZV, definition, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
224C015AN6 224C015AN6
| URI | m2://inv/224C015AN6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
224GPCJQFF 224GPCJQFF
| URI | m2://inv/224GPCJQFF |
|---|---|
| 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.20521#L54E (statement)
History
- 2026-11-02: add by m2/v0.6.18
224MAA8Y74 224MAA8Y74
| URI | m2://inv/224MAA8Y74 |
|---|---|
| Kind | definition |
| 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 2312.06581#XGB4 (definition). In WXJ2V3HA2R/e1, definition D.8
History
- 2026-10-27: add by m2/v0.3.5
224MJEWPYZ 224MJEWPYZ
| URI | m2://inv/224MJEWPYZ |
|---|---|
| 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 2607.01358#I4RQ (statement). In H808CYZ7YM/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
224RQ89P3N 224RQ89P3N
| URI | m2://inv/224RQ89P3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05459#HMQV (statement). In VYW16D089Y/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Conventions 224TA5PP3P
| URI | m2://inv/224TA5PP3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain (mathematical analysis)#ZR1N, Conventions (definition)
History
- 2026-11-02: add by m2/dev
224TSCAP1D 224TSCAP1D
| URI | m2://inv/224TSCAP1D |
|---|---|
| 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.21868#HQ3N (statement). In WWAQEF0093/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Secure channel 225011RJM1
| URI | m2://inv/225011RJM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure channel, Secure channel (definition). Also Wikidata Q3304359
History
- 2026-11-02: add by m2/dev
partition of a graph 225BM2K6XJ
| URI | m2://inv/225BM2K6XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#0LHW, partition of a graph (definition)
History
- 2026-11-02: add by m2/dev
Mean value property 225KEKV764
| URI | m2://inv/225KEKV764 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic function#10L0, Mean value property (unknown)
History
- 2026-11-02: add by m2/dev
Potts disc around \texorpdfstring{\(z=0\)}{z=0 225KGD46PM
| URI | m2://inv/225KGD46PM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#K1XE, Potts disc around \texorpdfstring{\(z=0\)}{z=0 (statement). In 5XPM4E03W6/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Helmut Ulm 225QGNJE72
| URI | m2://inv/225QGNJE72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmut Ulm, Helmut Ulm (topic). Also Wikidata Q10294567
History
- 2026-11-02: add by m2/dev
225T0YXX4R 225T0YXX4R
| URI | m2://inv/225T0YXX4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#P5ME (statement). In CGA36VE1C5/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.6
225VNESR65 225VNESR65
| URI | m2://inv/225VNESR65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#0OTL (statement). In CGA36VE1C5/e1, lemma 4.1.1
History
- 2026-10-27: add by m2/v0.3.6
Non-examples 225W37SNPJ
| URI | m2://inv/225W37SNPJ |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat module#Z106, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Exact computation and recognition 225ZJXM26R
| URI | m2://inv/225ZJXM26R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13556#1HDO, Exact computation and recognition (statement). In 5ZB8N3YY72/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
G. W. Whitehead 22668CYX66
| URI | m2://inv/22668CYX66 |
|---|---|
| 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#ZMJL, G. W. Whitehead (topic)
History
- 2026-11-02: add by m2/dev
226CAPGMJY 226CAPGMJY
| URI | m2://inv/226CAPGMJY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15648#VZ5W (problem). In 5TM775V8HQ/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
critical transition value of $\sigma$ 226J0BHSS2
| URI | m2://inv/226J0BHSS2 |
|---|---|
| Kind | definition |
| 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 2210.06147#0HXW, critical transition value of $\sigma$ (definition). In 94RBNQA07A/e1, definition 2.40
History
- 2026-10-27: add by m2/v0.3.5
226SDPMJXF 226SDPMJXF
| URI | m2://inv/226SDPMJXF |
|---|---|
| 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 2201.04174#RRJD (statement). In NVTHDNQQ4Q/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
226VNWPJK6 226VNWPJK6
| URI | m2://inv/226VNWPJK6 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#1SZB (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
226WZH4FAQ 226WZH4FAQ
| URI | m2://inv/226WZH4FAQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 100.1
History
- 2026-11-01: add by m2/v0.6.13
A large certificate certifies overlap 22726WXSVQ
| URI | m2://inv/22726WXSVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17403#6GCQ, A large certificate certifies overlap (statement). In 9EMNMAW8YH/e1, proposition 12
History
- 2026-10-28: add by m2/v0.4.2
Fourier series 2272HEY42M
| URI | m2://inv/2272HEY42M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#VEVD, Fourier series (definition)
- wikipedia: Wikipedia List of real analysis topics#P0BV, Fourier series (definition)
- wikipedia: Wikipedia List of things named after Joseph Fourier#WJT7, Fourier series (definition)
History
- 2026-11-02: add by m2/dev
Great Year 2273GD4T97
| URI | m2://inv/2273GD4T97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10862179, Great Year (definition). Also ProofWiki Definition:Time/Unit/Great_Year_of_Plato
History
- 2026-10-26: add by m2/dev
22740ZXB5S 22740ZXB5S
| URI | m2://inv/22740ZXB5S |
|---|---|
| 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.08935#X1KE (statement). In G02N9D40B9/e1, proposition 3.4.2
History
- 2026-10-29: add by m2/v0.4.10
Statement 2274AV7XM5
| URI | m2://inv/2274AV7XM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schreier's lemma#ZE46, Statement (statement)
History
- 2026-11-02: add by m2/dev
22765VG02W 22765VG02W
| URI | m2://inv/22765VG02W |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#KBA9 (conjecture). In T4S7XVAJJC/e1, conjecture 18.1
History
- 2026-10-29: add by m2/v0.4.12
22767NHXKW 22767NHXKW
| URI | m2://inv/22767NHXKW |
|---|---|
| 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.07608#NSIM (statement). In X8FQD4TEVG/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
2278NX0XJT 2278NX0XJT
| URI | m2://inv/2278NX0XJT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#2JCE (definition)
History
- 2026-11-01: add by m2/v0.6.15
227D3R9TDV 227D3R9TDV
| URI | m2://inv/227D3R9TDV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrens–Fisher problem#1826 (problem)
History
- 2026-11-02: add by m2/dev
227RWV4HBH 227RWV4HBH
| URI | m2://inv/227RWV4HBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#JXUV (statement). In V7VCEA0VAA/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
227SESTT0F 227SESTT0F
| URI | m2://inv/227SESTT0F |
|---|---|
| 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 0904.2051#UHJS (statement). In JYRVG8P8KC/e1, corollary 0
History
- 2026-10-27: add by m2/v0.3.5
227X2CTZ6Z 227X2CTZ6Z
| URI | m2://inv/227X2CTZ6Z |
|---|---|
| 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.04172#7UOD (statement). In 9Q1D1NMTTS/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
2282R6S6WZ 2282R6S6WZ
| URI | m2://inv/2282R6S6WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#OI8M (statement)
History
- 2026-11-01: add by m2/v0.6.15
2285R7QCGH 2285R7QCGH
| URI | m2://inv/2285R7QCGH |
|---|---|
| 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.24185#VNEH (statement)
History
- 2026-11-01: add by m2/v0.6.15
228C26EX1S 228C26EX1S
| URI | m2://inv/228C26EX1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#5TZW (statement). In KR7WXN4EWR/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
228D7T69D6 228D7T69D6
| URI | m2://inv/228D7T69D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#4XQI (statement). In XJVZSGCX5V/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.5
228HF1Y4DZ 228HF1Y4DZ
| URI | m2://inv/228HF1Y4DZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Error lower bound 228JQCZAFP
| URI | m2://inv/228JQCZAFP |
|---|---|
| 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.26873#S19I, Error lower bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cantellated 5-orthoplexes 228KQXZSR2
| URI | m2://inv/228KQXZSR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated 5-orthoplexes, Cantellated 5-orthoplexes (definition). Also Wikidata Q5033582
History
- 2026-11-02: add by m2/dev
Ewa Orłowska 228KTTXWBV
| URI | m2://inv/228KTTXWBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewa Orłowska, Ewa Orłowska (topic). Also Wikidata Q102259637
History
- 2026-11-02: add by m2/dev
Kostka polynomial 228MCTN3ZQ
| URI | m2://inv/228MCTN3ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostka polynomial, Kostka polynomial (definition). Also Wikidata Q6433561
History
- 2026-11-02: add by m2/dev
Interactive Mathematics Program 228QR0PXWZ
| URI | m2://inv/228QR0PXWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interactive Mathematics Program, Interactive Mathematics Program (definition). Also Wikidata Q6045297
History
- 2026-11-02: add by m2/dev
Nets within nets 228XBF800R
| URI | m2://inv/228XBF800R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nets within nets, Nets within nets (definition). Also Wikidata Q1978863
History
- 2026-11-02: add by m2/dev
Zeuthen–Segre invariant 228YCCZPAZ
| URI | m2://inv/228YCCZPAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeuthen–Segre invariant, Zeuthen–Segre invariant (definition). Also Wikidata Q8069822
History
- 2026-11-02: add by m2/dev
2290H9VGQ6 2290H9VGQ6
| URI | m2://inv/2290H9VGQ6 |
|---|---|
| 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 2503.16884#QJXK (statement). In B984KNW591/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Louis Saalschütz 22966FZ7C9
| URI | m2://inv/22966FZ7C9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#T3E6, Louis Saalschütz (topic)
History
- 2026-11-02: add by m2/dev
Fundamental infinity groupoid 2297FE3NA6
| URI | m2://inv/2297FE3NA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ∞-groupoid#J9MG, Fundamental infinity groupoid (unknown)
History
- 2026-11-02: add by m2/dev
fiberwise, $n$-connected family of functions 2298VV2SXP
| URI | m2://inv/2298VV2SXP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.5/fiberwise-n-connected-family-of-functions, fiberwise, $n$-connected family of functions (concept). In N54F33XE07, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
229ABXA6AX 229ABXA6AX
| URI | m2://inv/229ABXA6AX |
|---|---|
| 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.18544#DQTT (statement). In HT5MC1SPD9/e1, proposition B.1
History
- 2026-10-28: add by m2/v0.4.2
229C8BJR9J 229C8BJR9J
| URI | m2://inv/229C8BJR9J |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#8BCP (unknown). In DH84PYVRCF/e1, unknown 2.1.1
History
- 2026-10-30: add by m2/v0.4.12
Finite gluing 229EEEZRDZ
| URI | m2://inv/229EEEZRDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#B1I2, Finite gluing (statement). In 4R1MMSAAVK/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Theorycraft 229JBRNQKZ
| URI | m2://inv/229JBRNQKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorycraft, Theorycraft (definition). Also Wikidata Q7782461
History
- 2026-11-02: add by m2/dev
Talagrand inequality, Theorem 3.27 229TJSEG12
| URI | m2://inv/229TJSEG12 |
|---|---|
| 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 2508.17181#BQA3, Talagrand inequality, Theorem 3.27 (statement). In 2QR18WK8KH/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.6
Applications 229VYSXDCQ
| URI | m2://inv/229VYSXDCQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical structure function#BLRO, Applications (example)
History
- 2026-11-02: add by m2/dev
Expectation value 229W8X05MH
| URI | m2://inv/229W8X05MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectation value (quantum mechanics), Expectation value (definition). Also Wikidata Q2918589
History
- 2026-11-02: add by m2/dev
Smith space 22A2NWQWM9
| URI | m2://inv/22A2NWQWM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith space, Smith space (definition). Also Wikidata Q15124475
History
- 2026-11-02: add by m2/dev
22B1FFTTCF 22B1FFTTCF
| URI | m2://inv/22B1FFTTCF |
|---|---|
| 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 2205.09049#KE0J (definition). In 37S7MNMZ2F/e1, definition 42
History
- 2026-10-27: add by m2/v0.3.5
22B1PTXHN5 22B1PTXHN5
| URI | m2://inv/22B1PTXHN5 |
|---|---|
| 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.15460#9XD3 (statement). In T2Z3D2VQ9B/e1, theorem 8.6
History
- 2026-10-28: add by m2/v0.4.2
22B3Y8P8QR 22B3Y8P8QR
| URI | m2://inv/22B3Y8P8QR |
|---|---|
| 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.12640#MDOD (problem). In QP9FE1D6PG/e1, problem 4.1
History
- 2026-10-28: add by m2/v0.4.2
trivial group 22BC6ZM3F3
| URI | m2://inv/22BC6ZM3F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 193059) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#9LSL, trivial group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Hoare triple 22BMW0PYCM
| URI | m2://inv/22BMW0PYCM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoare logic#R0Q7, Hoare triple (unknown)
History
- 2026-11-02: add by m2/dev
Examples 22BWAN9FSB
| URI | m2://inv/22BWAN9FSB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution on a linear algebraic group#B2E4, Examples (example)
History
- 2026-11-02: add by m2/dev
22C4JTP59V 22C4JTP59V
| URI | m2://inv/22C4JTP59V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#T85I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Implementations 22C9NZW8GD
| URI | m2://inv/22C9NZW8GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Master Password (algorithm)#UJPY, Implementations (definition)
History
- 2026-11-02: add by m2/dev
22CNBCYEGZ 22CNBCYEGZ
| URI | m2://inv/22CNBCYEGZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#proof-2 (proof). In RZP28ERRZV, proof, section 19.5
History
- 2026-11-01: add by m2/v0.6.13
Holmgren's uniqueness theorem 22CQB8B16A
| URI | m2://inv/22CQB8B16A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Bros–Iagolnitzer transform#HMDW, Holmgren's uniqueness theorem (statement)
History
- 2026-11-02: add by m2/dev
22CZC7BB03 22CZC7BB03
| URI | m2://inv/22CZC7BB03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#VBV1 (statement). In 9ZD87293QS/e1, proposition 3.22
History
- 2026-10-27: add by m2/v0.4.0
Separable 22CZQEG4MR
| URI | m2://inv/22CZQEG4MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ZM73, Separable (definition)
History
- 2026-11-02: add by m2/dev
No superlinear energy barrier for quantum CSS Lee-LDPC codes 22D4WSWR5F
| URI | m2://inv/22D4WSWR5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#SUWV, No superlinear energy barrier for quantum CSS Lee-LDPC codes (statement). In YZNK67K060/e1, theorem 7.7
History
- 2026-10-29: add by m2/v0.4.12
Sensitivity (tests) 22D9S8W55M
| URI | m2://inv/22D9S8W55M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#REW5, Sensitivity (tests) (definition)
History
- 2026-11-02: add by m2/dev
22DC59KYZX 22DC59KYZX
| URI | m2://inv/22DC59KYZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#ESAA (statement). In 29D4TTE3J2/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Characterizations 22DCKHCX07
| URI | m2://inv/22DCKHCX07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly chordal graph#KFAZ, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
22DPJHZ8YG 22DPJHZ8YG
| URI | m2://inv/22DPJHZ8YG |
|---|---|
| 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.21098#E0XH (statement)
History
- 2026-11-02: add by m2/v0.6.18
ordered geometry 22DQ634FD9
| URI | m2://inv/22DQ634FD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ordered geometry T7G8X5AD5G |
Mentions
- wikidata: Wikidata Q7100712, ordered geometry (unknown). Also MathWorld OrderedGeometry
- wikipedia: Wikipedia Ordered geometry, Ordered geometry (definition). Also Wikidata Q7100712
History
- 2026-10-26: add by m2/dev
Gyárfás–Sumner conjecture 22E1GBD24D
| URI | m2://inv/22E1GBD24D |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyárfás–Sumner conjecture, Gyárfás–Sumner conjecture (conjecture). Also Wikidata Q48999679
History
- 2026-11-02: add by m2/dev
Code talker 22E2M5DTA6
| URI | m2://inv/22E2M5DTA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code talker, Code talker (definition). Also Wikidata Q912310
History
- 2026-11-02: add by m2/dev
Isomorphism $\iff$ monic and epic 22E2P35RBM
| URI | m2://inv/22E2P35RBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#proposition-2, Isomorphism $\iff$ monic and epic (statement). In RZP28ERRZV, proposition, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Ultrapolynomial 22EGKBY8KG
| URI | m2://inv/22EGKBY8KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrapolynomial, Ultrapolynomial (definition). Also Wikidata Q110363113
History
- 2026-11-02: add by m2/dev
22EM338W69 22EM338W69
| URI | m2://inv/22EM338W69 |
|---|---|
| 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 1303.4328#5HW3 (statement). In HCTYW6VH87/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.3.5
Conservative sheet operator 22ENW2NEGM
| URI | m2://inv/22ENW2NEGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#MYHV, Conservative sheet operator (statement). In HF7YNMW39N/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.0
Bayesian control rule 22ET87QA3E
| URI | m2://inv/22ET87QA3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thompson sampling#HQP8, Bayesian control rule (unknown)
History
- 2026-11-02: add by m2/dev
Properties 22EYRVF6BT
| URI | m2://inv/22EYRVF6BT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unduloid#8SZG, Properties (statement)
History
- 2026-11-02: add by m2/dev
22EZHWMRW6 22EZHWMRW6
| URI | m2://inv/22EZHWMRW6 |
|---|---|
| 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.29943#3OMZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Prime omega function 22FAKBHFP1
| URI | m2://inv/22FAKBHFP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#564K, Prime omega function (definition)
History
- 2026-11-02: add by m2/dev
Heavy-tailed distribution 22FE4Z9671
| URI | m2://inv/22FE4Z9671 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy-tailed distribution, Heavy-tailed distribution (definition). Also Wikidata Q1472677
History
- 2026-11-02: add by m2/dev
22FGRJBT89 22FGRJBT89
| URI | m2://inv/22FGRJBT89 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/beta.tex#prob:def (exercise). In PKGMM3P5QY, prob, section 38.10
History
- 2026-11-01: add by m2/v0.6.13
Second proof 22FQSNA4Z6
| URI | m2://inv/22FQSNA4Z6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-4, Second proof (proof). In N54F33XE07, proof, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
22FSNJ2HSY 22FSNJ2HSY
| URI | m2://inv/22FSNJ2HSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08484#IA58 (statement). In C2HJ1CCJ0S/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Reference-lattice identity 22FVHNN52N
| URI | m2://inv/22FVHNN52N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28503#130V, Reference-lattice identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jens Kraft 22FWC5XX9S
| URI | m2://inv/22FWC5XX9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jens Kraft, Jens Kraft (topic). Also Wikidata Q1409205
History
- 2026-11-02: add by m2/dev
Representation 22GJRRHP3Z
| URI | m2://inv/22GJRRHP3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous game#BEWB, Representation (definition)
History
- 2026-11-02: add by m2/dev
Types of logic 22GPQZ9Y21
| URI | m2://inv/22GPQZ9Y21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic#IK7D, Types of logic (unknown)
History
- 2026-11-02: add by m2/dev
22GTVNW7TY 22GTVNW7TY
| URI | m2://inv/22GTVNW7TY |
|---|---|
| Kind | problem |
| 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.36068#OMV0 (problem). In CKNAB8QY5B/e1, problem 19
History
- 2026-10-30: add by m2/v0.4.12
Saccheri–Legendre theorem 22GWYWQND6
| URI | m2://inv/22GWYWQND6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#6Z4Y, Saccheri–Legendre theorem (statement)
History
- 2026-11-02: add by m2/dev
Foster synthesis 22H3JYQP28
| URI | m2://inv/22H3JYQP28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network synthesis#Y0A8, Foster synthesis (unknown)
History
- 2026-11-02: add by m2/dev
Universal approximation theorem 22H4TGDGH1
| URI | m2://inv/22H4TGDGH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#GCHE, Universal approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Projective polyhedron 22H6BQMEGC
| URI | m2://inv/22H6BQMEGC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#AD13, Projective polyhedron (object)
History
- 2026-11-02: add by m2/dev
Disjoint 22H8FSYW9D
| URI | m2://inv/22H8FSYW9D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.13347#3DOW, Disjoint (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
Structural Ramsey theory 22HF4MNJQ0
| URI | m2://inv/22HF4MNJQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural Ramsey theory, Structural Ramsey theory (definition). Also Wikidata Q85803790
History
- 2026-11-02: add by m2/dev
Example 22HFSGWYZF
| URI | m2://inv/22HFSGWYZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GGH encryption scheme#QUGQ, Example (example)
History
- 2026-11-02: add by m2/dev
22HGFQ4ZTP 22HGFQ4ZTP
| URI | m2://inv/22HGFQ4ZTP |
|---|---|
| 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.36181#XSCU (example). In 1KSE33PVS6/e1, example 35
History
- 2026-10-30: add by m2/v0.4.12
Journal of Multivariate Analysis 22HKGJDX7C
| URI | m2://inv/22HKGJDX7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#HBJK, Journal of Multivariate Analysis (definition)
History
- 2026-11-02: add by m2/dev
Example 22HM109HRD
| URI | m2://inv/22HM109HRD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedal equation#TVOD, Example (example)
History
- 2026-11-02: add by m2/dev
22HM7RAF98 22HM7RAF98
| URI | m2://inv/22HM7RAF98 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:loop (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
22HT6SE7JG 22HT6SE7JG
| URI | m2://inv/22HT6SE7JG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#QCR9 (statement). In X923ZEY423/e1, theorem 1.7.3
History
- 2026-10-27: add by m2/v0.3.5
Continuity 22HVMKJ4A3
| URI | m2://inv/22HVMKJ4A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scottish Book#3737, Continuity (statement)
History
- 2026-11-02: add by m2/dev
continuity for piecewise continuous data 22HX23RPK5
| URI | m2://inv/22HX23RPK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#RDY8, continuity for piecewise continuous data (statement). In YR3CSTYEJW/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Properties 22J0YY57QT
| URI | m2://inv/22J0YY57QT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical Heisenberg model#52U6, Properties (statement)
History
- 2026-11-02: add by m2/dev
22JA2AABQF 22JA2AABQF
| URI | m2://inv/22JA2AABQF |
|---|---|
| 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.02935#JD1M (statement). In WE2KKAMEFW/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
22JCVYFQPJ 22JCVYFQPJ
| URI | m2://inv/22JCVYFQPJ |
|---|---|
| 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.23279#OXAC (statement)
History
- 2026-11-02: add by m2/v0.6.17
22JFDX34J0 22JFDX34J0
| URI | m2://inv/22JFDX34J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.39814#X7T2 (statement). In K6TNNHDFF6/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Relay channel 22JMGV6XA8
| URI | m2://inv/22JMGV6XA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relay channel, Relay channel (definition). Also Wikidata Q7310895
History
- 2026-11-02: add by m2/dev
22JRNPX75G 22JRNPX75G
| URI | m2://inv/22JRNPX75G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#3DO8 (statement). In 7ZFD9XRKA1/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
Equiangular polygon 22K9TH9165
| URI | m2://inv/22K9TH9165 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#ODGF, Equiangular polygon (definition)
- wikipedia: Wikipedia List of mathematical shapes#SWTP, Equiangular polygon (definition)
History
- 2026-11-02: add by m2/dev
22KEY3F5RH 22KEY3F5RH
| URI | m2://inv/22KEY3F5RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#2EUI (statement). In NGZ5AZ70NN/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
22KEY6T5BJ 22KEY6T5BJ
| URI | m2://inv/22KEY6T5BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#PEM3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steffensen's inequality 22KK5GJTXC
| URI | m2://inv/22KK5GJTXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#124H, Steffensen's inequality (statement)
History
- 2026-11-02: add by m2/dev
Bounded gain in prediction 22KSJEV3RW
| URI | m2://inv/22KSJEV3RW |
|---|---|
| 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.18350#D7F8, Bounded gain in prediction (statement). In A20E8FZS21/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
22KXPN6N67 22KXPN6N67
| URI | m2://inv/22KXPN6N67 |
|---|---|
| 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.25100#CT5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
22M2ZYYMSE 22M2ZYYMSE
| URI | m2://inv/22M2ZYYMSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#defn:mmodels (definition). In PKGMM3P5QY, defn, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
22MMSZST0Y 22MMSZST0Y
| URI | m2://inv/22MMSZST0Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37507#KWMP (definition). In 1ZXN3YQRE8/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
22MQ1ETG21 22MQ1ETG21
| URI | m2://inv/22MQ1ETG21 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
22MR7TSKYE 22MR7TSKYE
| URI | m2://inv/22MR7TSKYE |
|---|---|
| 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 2609.30098#PH04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
quantum harmonic oscillator 22MTJ1JCGZ
| URI | m2://inv/22MTJ1JCGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q677864, quantum harmonic oscillator (unknown). Also nLab quantum harmonic oscillator
- wikipedia: Wikipedia Quantum harmonic oscillator, Quantum harmonic oscillator (definition). Also Wikidata Q677864
History
- 2026-10-26: add by m2/dev
Reliable computation in dim 1 22NAPQW5X8
| URI | m2://inv/22NAPQW5X8 |
|---|---|
| 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 math/0003117#BGGH, Reliable computation in dim 1 (statement). In WD2NCBV9F0/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Marek Karpinski 22ND8Y0SX0
| URI | m2://inv/22ND8Y0SX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E18Z, Marek Karpinski (unknown)
History
- 2026-11-02: add by m2/dev
Klaus Roth 22NDS4431Y
| URI | m2://inv/22NDS4431Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klaus Roth, Klaus Roth (topic). Also Wikidata Q333968
History
- 2026-11-02: add by m2/dev
22NDZ9VN54 22NDZ9VN54
| URI | m2://inv/22NDZ9VN54 |
|---|---|
| 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.08424#N2PP (statement). In BVD2HAAKD5/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
Grothendieck-Riemann-Roch 22NEM1HVDZ
| URI | m2://inv/22NEM1HVDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#0HGG, Grothendieck-Riemann-Roch (statement). In 8T90H89HNB/e1, corollary 4.6
History
- 2026-10-27: add by m2/v0.3.5
Shlomo Sternberg 22NFD684K5
| URI | m2://inv/22NFD684K5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6RWG, Shlomo Sternberg (topic)
History
- 2026-11-02: add by m2/dev
22NJ8J5T87 22NJ8J5T87
| URI | m2://inv/22NJ8J5T87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#SSE3 (statement). In JWNYJVH8XG/e1, proposition 3.28
History
- 2026-10-29: add by m2/v0.4.10
George VI Ice Shelf 22NMT5KHCH
| URI | m2://inv/22NMT5KHCH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#24K6, George VI Ice Shelf (unknown)
History
- 2026-11-02: add by m2/dev
Sonja Lyttkens 22NS6G7804
| URI | m2://inv/22NS6G7804 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonja Lyttkens, Sonja Lyttkens (topic). Also Wikidata Q19844789
History
- 2026-11-02: add by m2/dev
continuous poset 22NWKH9SP3
| URI | m2://inv/22NWKH9SP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113216894, continuous poset (unknown). Also nLab continuous poset
- wikipedia: Wikipedia Continuous poset, Continuous poset (definition). Also Wikidata Q113216894
History
- 2026-10-26: add by m2/dev
Upper bounds under a bounded initial optimality gap 22PCQD0C97
| URI | m2://inv/22PCQD0C97 |
|---|---|
| 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.21461#6724, Upper bounds under a bounded initial optimality gap (statement). In DWQANBV7B7/e1, theorem B.7
History
- 2026-10-27: add by m2/v0.4.2
22PH9M3JRD 22PH9M3JRD
| URI | m2://inv/22PH9M3JRD |
|---|---|
| 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.02751#RLCO (statement). In MWGXPXF3BW/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
22PP0GAW0Q 22PP0GAW0Q
| URI | m2://inv/22PP0GAW0Q |
|---|---|
| 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.14458#VSAQ (statement). In WJ76MVYAZQ/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Algorithm 22PSBZXYCE
| URI | m2://inv/22PSBZXYCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-key MAC#G35Y, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Integrated heat approximation 22PWJTERF0
| URI | m2://inv/22PWJTERF0 |
|---|---|
| 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.05204#XZZA, Integrated heat approximation (statement). In ET0TQ8YF7Z/e1, lemma 7.8
History
- 2026-10-29: add by m2/v0.4.10
22PWP8NCJ0 22PWP8NCJ0
| URI | m2://inv/22PWP8NCJ0 |
|---|---|
| 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.28323#8RDR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spectrum Classification 22PYQ8ZXD2
| URI | m2://inv/22PYQ8ZXD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#FRFS, Spectrum Classification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Marian Rejewski 22QX6EBQWE
| URI | m2://inv/22QX6EBQWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marian Rejewski, Marian Rejewski (topic). Also Wikidata Q160411
History
- 2026-11-02: add by m2/dev
Weak Beckner monotonicity with the same rate function 22RRAGK5VA
| URI | m2://inv/22RRAGK5VA |
|---|---|
| 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.21568#76G3, Weak Beckner monotonicity with the same rate function (statement)
History
- 2026-11-02: add by m2/v0.6.18
22RXT3BF2B 22RXT3BF2B
| URI | m2://inv/22RXT3BF2B |
|---|---|
| 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 2609.31274#O3IQ (statement). In RK0ZMDJ23T/e1, lemma 3.4.10
History
- 2026-10-31: add by m2/v0.5.6
22RY0MXYZZ 22RY0MXYZZ
| URI | m2://inv/22RY0MXYZZ |
|---|---|
| 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.21507#CNBM (statement)
History
- 2026-11-02: add by m2/v0.6.18
22RYBMG3E1 22RYBMG3E1
| URI | m2://inv/22RYBMG3E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.32916#06JX (statement). In G1RP4JY5PE/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Ceva's theorem 22SDT2HEZK
| URI | m2://inv/22SDT2HEZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#Z24N, Ceva's theorem (statement)
History
- 2026-11-02: add by m2/dev
22SRJG01JM 22SRJG01JM
| URI | m2://inv/22SRJG01JM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#ex:supermartingales (example). In RZP28ERRZV, example, section 66.4
History
- 2026-11-01: add by m2/v0.6.13
Bayesian 22SW3J724V
| URI | m2://inv/22SW3J724V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4E5R, Bayesian (topic)
History
- 2026-11-02: add by m2/dev
Implementations 22T0GZRYA2
| URI | m2://inv/22T0GZRYA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line integral convolution#6NJE, Implementations (definition)
History
- 2026-11-02: add by m2/dev
22T6HCDS7F 22T6HCDS7F
| URI | m2://inv/22T6HCDS7F |
|---|---|
| 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 math/9602216#17A1 (definition). In SD43497T8C/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Complete elliptic integral of the first kind 22V5EW5M7T
| URI | m2://inv/22V5EW5M7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic integral#8BCR, Complete elliptic integral of the first kind (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical Methods in the Physical Sciences 22VEKJ89G2
| URI | m2://inv/22VEKJ89G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Methods in the Physical Sciences, Mathematical Methods in the Physical Sciences (definition). Also Wikidata Q6786829
History
- 2026-11-02: add by m2/dev
History of artificial neural networks 22VKP0ZCA4
| URI | m2://inv/22VKP0ZCA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of artificial neural networks, History of artificial neural networks (definition). Also Wikidata Q85766763
History
- 2026-11-02: add by m2/dev
22VM691468 22VM691468
| URI | m2://inv/22VM691468 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38988#35B3 (statement). In KZ0ZRYE0ZH/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
22VN5EJGE5 22VN5EJGE5
| URI | m2://inv/22VN5EJGE5 |
|---|---|
| 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.30018#CQPU (statement)
History
- 2026-11-01: add by m2/v0.6.15
higher-dimensional polyhedral monotiles 22VNYDP8HC
| URI | m2://inv/22VNYDP8HC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00916#T7AK, higher-dimensional polyhedral monotiles (conjecture). In 3MMFCTKPPJ/e1, conjecture 9.2
History
- 2026-10-29: add by m2/v0.4.12
Definition 22W3Y7XVH1
| URI | m2://inv/22W3Y7XVH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAT(0) group#UBC6, Definition (definition)
History
- 2026-11-02: add by m2/dev
The multiple-try Metropolis algorithm 22WB020CVH
| URI | m2://inv/22WB020CVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple-try Metropolis#IJSW, The multiple-try Metropolis algorithm (definition)
History
- 2026-11-02: add by m2/dev
Malgrange preparation theorem 22WCXY5K1X
| URI | m2://inv/22WCXY5K1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6743217, Malgrange preparation theorem (statement). Also Wikidata Q6743217
- thousand_plus: thousand_plus Q6743217, Malgrange preparation theorem (statement). Also Wikidata Q6743217, Wikipedia Malgrange preparation theorem
- wikipedia: Wikipedia Malgrange preparation theorem, Malgrange preparation theorem (statement). Also Wikidata Q6743217
History
- 2026-10-26: add by m2/dev
involutant 22WH8EW1ZS
| URI | m2://inv/22WH8EW1ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#T394, involutant (definition)
History
- 2026-11-02: add by m2/dev
Heidke skill score 22WXYN1JQF
| URI | m2://inv/22WXYN1JQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#7P5P, Heidke skill score (definition)
History
- 2026-11-02: add by m2/dev
Partition calculus 22XB54Q9ZF
| URI | m2://inv/22XB54Q9ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#ORT2, Partition calculus (definition)
History
- 2026-11-02: add by m2/dev
Theorem 3 22XC9J1128
| URI | m2://inv/22XC9J1128 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi automaton#9BRC, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Betti numbers of a nonsingular hypersurface 22XEXCTJMT
| URI | m2://inv/22XEXCTJMT |
|---|---|
| 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.01731#G1GV, Betti numbers of a nonsingular hypersurface (statement). In 3TJ2FWXQ0D/e1, fact 2.8
History
- 2026-10-29: add by m2/v0.4.12
22XMJXH97F 22XMJXH97F
| URI | m2://inv/22XMJXH97F |
|---|---|
| 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 2311.01874#DRED (statement). In A4TR95VGX2/e1, theorem 5.5.1
History
- 2026-10-27: add by m2/v0.3.5
First principles 22XN8HGG5E
| URI | m2://inv/22XN8HGG5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence proof techniques#P5VF, First principles (statement)
History
- 2026-11-02: add by m2/dev
Morass 22XNQ3ZS8G
| URI | m2://inv/22XNQ3ZS8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morass (set theory), Morass (definition). Also Wikidata Q6909285
History
- 2026-11-02: add by m2/dev
22XPME3P1M 22XPME3P1M
| URI | m2://inv/22XPME3P1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#XS2R (statement)
History
- 2026-11-01: add by m2/v0.6.15
22XZYPYEPN 22XZYPYEPN
| URI | m2://inv/22XZYPYEPN |
|---|---|
| Kind | example |
| 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 2510.23812#MNOI (example). In D8XZBXJPR5/e1, example 2.14
History
- 2026-10-27: add by m2/v0.3.5
Leon Ehrenpreis 22Y7CMC2WQ
| URI | m2://inv/22Y7CMC2WQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#P0QM, Leon Ehrenpreis (topic)
History
- 2026-11-02: add by m2/dev
Definitions 22Y8YF4DGK
| URI | m2://inv/22Y8YF4DGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean satisfiability problem#MN8E, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Rule of three 22YAZ4XAVM
| URI | m2://inv/22YAZ4XAVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of three (statistics), Rule of three (definition). Also Wikidata Q7378983
History
- 2026-11-02: add by m2/dev
22YC1G588X 22YC1G588X
| URI | m2://inv/22YC1G588X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#O39B (example)
History
- 2026-11-01: add by m2/v0.6.15
null graph 22YQ2DC2D1
| URI | m2://inv/22YQ2DC2D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#HWOY, null graph (definition)
History
- 2026-11-02: add by m2/dev
22YWCCW0NS 22YWCCW0NS
| URI | m2://inv/22YWCCW0NS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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 2610.10804#KMGS (definition). In 6M5WR7KB80/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.3
22Z2AN6JM9 22Z2AN6JM9
| URI | m2://inv/22Z2AN6JM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04516#GT84 (statement). In GZZBR0FX50/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Applications 22Z2WVNGNZ
| URI | m2://inv/22Z2WVNGNZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive process#GV4W, Applications (example)
History
- 2026-11-02: add by m2/dev
22Z3R9KWHR 22Z3R9KWHR
| URI | m2://inv/22Z3R9KWHR |
|---|---|
| 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 1904.09810#8LSO (statement). In T1VFA7TXPA/e1, proposition 40
History
- 2026-10-27: add by m2/v0.3.5
Pavel Pudlak 22ZEKJKGRC
| URI | m2://inv/22ZEKJKGRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#834K, Pavel Pudlak (unknown)
History
- 2026-11-02: add by m2/dev
22ZFSBTSY3 22ZFSBTSY3
| URI | m2://inv/22ZFSBTSY3 |
|---|---|
| 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.12689#QQXE (statement). In AMXK11Y802/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
22ZG3THNZM 22ZG3THNZM
| URI | m2://inv/22ZG3THNZM |
|---|---|
| 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.06546#JQ87 (statement). In G6DK297DQN/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
22ZJXMBZ21 22ZJXMBZ21
| URI | m2://inv/22ZJXMBZ21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20060#TTWO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Links 22ZM80CREB
| URI | m2://inv/22ZM80CREB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#ZJSG, Links (definition). In WD2NCBV9F0/e1, definition 15.1
History
- 2026-10-27: add by m2/v0.3.5
Dyson's transform 22ZMX44YE6
| URI | m2://inv/22ZMX44YE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson's transform, Dyson's transform (definition). Also Wikidata Q5319493
History
- 2026-11-02: add by m2/dev
evidence, of the truth of a proposition 22ZWRP99QE
| URI | m2://inv/22ZWRP99QE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/evidence-of-the-truth-of-a-proposition, evidence, of the truth of a proposition (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
22ZWS7XW46 22ZWS7XW46
| URI | m2://inv/22ZWS7XW46 |
|---|---|
| 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 2601.15403#OCBB (statement). In BSWNH3NW1M/e1, lemma 9.32
History
- 2026-10-27: add by m2/v0.4.0