Inventory rows NZ
The cards of the rows of the inventory whose ids start with NZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Untwisted orbifold divisor formula NZ03RJ23QT
| URI | m2://inv/NZ03RJ23QT |
|---|---|
| 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.03520#VMPW, Untwisted orbifold divisor formula (statement). In CSRZ9CWK69/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
NZ0A79JF6N NZ0A79JF6N
| URI | m2://inv/NZ0A79JF6N |
|---|---|
| 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.01803#EIFE (statement). In J6N4X33BME/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
List of order structures in mathematics NZ0B6957PR
| URI | m2://inv/NZ0B6957PR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics, List of order structures in mathematics (topic). Also Wikidata Q3393090
History
- 2026-11-02: add by m2/dev
Localized conditional geometry NZ0D38Q5TJ
| URI | m2://inv/NZ0D38Q5TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#GN7W, Localized conditional geometry (statement). In TP61DYMBMK/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
NZ0HHRJWNY NZ0HHRJWNY
| URI | m2://inv/NZ0HHRJWNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#UBPR (statement)
History
- 2026-11-01: add by m2/v0.6.15
NZ0JKM532R NZ0JKM532R
| URI | m2://inv/NZ0JKM532R |
|---|---|
| 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#MQVK (statement). In BDN507RN7J/e1, proposition 4.6.5
History
- 2026-10-30: add by m2/v0.4.12
Phylogram NZ0RRESZRW
| URI | m2://inv/NZ0RRESZRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phylogenetic tree#JVJV, Phylogram (unknown)
History
- 2026-11-02: add by m2/dev
NZ0SEY7K7M NZ0SEY7K7M
| URI | m2://inv/NZ0SEY7K7M |
|---|---|
| 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.21475#MXQN (statement). In TTRSZVT4VX/e1, proposition 4.17
History
- 2026-10-27: add by m2/v0.4.2
Magajna--Kennedy--Ursu Separation Theorem for bimodules NZ0WVSMQ50
| URI | m2://inv/NZ0WVSMQ50 |
|---|---|
| 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.27518#6X7Y, Magajna--Kennedy--Ursu Separation Theorem for bimodules (statement)
History
- 2026-11-01: add by m2/v0.6.15
Silverman's game NZ18BSY62P
| URI | m2://inv/NZ18BSY62P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silverman's game, Silverman's game (definition). Also Wikidata Q7516731
History
- 2026-11-02: add by m2/dev
Short exact sequence NZ1FRQH9HE
| URI | m2://inv/NZ1FRQH9HE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact sequence#HLTN, Short exact sequence (unknown)
History
- 2026-11-02: add by m2/dev
Envelope identity NZ1H60TNM4
| URI | m2://inv/NZ1H60TNM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27830#ZZHT, Envelope identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
N-monoid NZ20JHWS26
| URI | m2://inv/NZ20JHWS26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-monoid, N-monoid (definition). Also Wikidata Q6951496
History
- 2026-11-02: add by m2/dev
Boson sampling NZ22PDW2QC
| URI | m2://inv/NZ22PDW2QC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VW06, Boson sampling (unknown)
History
- 2026-11-02: add by m2/dev
NZ27K5APMC NZ27K5APMC
| URI | m2://inv/NZ27K5APMC |
|---|---|
| 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 2610.08935#ATR2 (definition). In G02N9D40B9/e1, definition 3.1.3
History
- 2026-10-29: add by m2/v0.4.10
Intrinsic Riemannian rigidity operator NZ28JK5KQ6
| URI | m2://inv/NZ28JK5KQ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#QD3N, Intrinsic Riemannian rigidity operator (definition). In XNJGNMS6H0/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Symmetry NZ2F9NNP8B
| URI | m2://inv/NZ2F9NNP8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral-octahedral honeycomb#WMR3, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
NZ2HS6Y8Y6 NZ2HS6Y8Y6
| URI | m2://inv/NZ2HS6Y8Y6 |
|---|---|
| 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 1806.00752#BSPP (statement). In GGW2N4JHXM/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
List of algebraic geometry topics NZ2JEAQG6F
| URI | m2://inv/NZ2JEAQG6F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics, List of algebraic geometry topics (topic). Also Wikidata Q6605551
History
- 2026-11-02: add by m2/dev
Four Travelers Problem NZ2MXSMC93
| URI | m2://inv/NZ2MXSMC93 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332772, Four Travelers Problem (concept). Also MathWorld FourTravelersProblem
History
- 2026-10-26: add by m2/dev
Beverly Anderson NZ2NSG83G6
| URI | m2://inv/NZ2NSG83G6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beverly Anderson, Beverly Anderson (topic). Also Wikidata Q62351381
History
- 2026-11-02: add by m2/dev
Properties NZ36YZ7N6Z
| URI | m2://inv/NZ36YZ7N6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson matrix#7JEO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Angelina Cabras NZ377B2HX0
| URI | m2://inv/NZ377B2HX0 |
|---|---|
| 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#VO8E, Angelina Cabras (topic)
History
- 2026-11-02: add by m2/dev
NZ39F82F62 NZ39F82F62
| URI | m2://inv/NZ39F82F62 |
|---|---|
| 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#TKE5 (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
An example NZ3CAVZ5SY
| URI | m2://inv/NZ3CAVZ5SY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain sequence#5WA0, An example (example)
History
- 2026-11-02: add by m2/dev
sophomore's dream NZ3EAA5DYG
| URI | m2://inv/NZ3EAA5DYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4115573, sophomore's dream (unknown). Also MathWorld SophomoresDream
- wikipedia: Wikipedia Sophomore's dream, Sophomore's dream (definition). Also Wikidata Q4115573
History
- 2026-10-26: add by m2/dev
French mathematical seminars NZ3KXFAHSV
| URI | m2://inv/NZ3KXFAHSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia French mathematical seminars, French mathematical seminars (definition). Also Wikidata Q5502305
History
- 2026-11-02: add by m2/dev
NZ3WGPRKPC NZ3WGPRKPC
| URI | m2://inv/NZ3WGPRKPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example-4 (example). In E9HS8K3A52, example, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
The law of large numbers on the integers NZ3WT3C2W9
| URI | m2://inv/NZ3WT3C2W9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact process (mathematics)#LANP, The law of large numbers on the integers (statement)
History
- 2026-11-02: add by m2/dev
NZ42VF2WVF NZ42VF2WVF
| URI | m2://inv/NZ42VF2WVF |
|---|---|
| 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.17717#8XUA (statement). In YXRKS451PK/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
One-Sided Seam Theorem NZ46HJ04EK
| URI | m2://inv/NZ46HJ04EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#9FTP, One-Sided Seam Theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bruno Augenstein NZ46VYEAWM
| URI | m2://inv/NZ46VYEAWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#EPF6, Bruno Augenstein (topic)
History
- 2026-11-02: add by m2/dev
NZ472J0NV5 NZ472J0NV5
| URI | m2://inv/NZ472J0NV5 |
|---|---|
| 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.32599#C6T3 (statement). In E1Y93JNBJA/e1, proposition 4.12
History
- 2026-10-31: add by m2/v0.5.6
NZ48VJYDQ4 NZ48VJYDQ4
| URI | m2://inv/NZ48VJYDQ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#3KUX (definition). In 2VHV0RNTNV/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
NZ4C1RV536 NZ4C1RV536
| URI | m2://inv/NZ4C1RV536 |
|---|---|
| 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 1004.4564#DOFV (statement). In BZ54C9SKYS/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
NZ4FMG0W0A NZ4FMG0W0A
| URI | m2://inv/NZ4FMG0W0A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#99GU (definition). In T2N92YSY5R/e1, definition 4.8
History
- 2026-10-30: add by m2/v0.4.12
NZ4G8DSP96 NZ4G8DSP96
| URI | m2://inv/NZ4G8DSP96 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21339#BCSW (definition)
History
- 2026-11-02: add by m2/v0.6.18
Example NZ4GV75AQX
| URI | m2://inv/NZ4GV75AQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul complex#QU0R, Example (example)
History
- 2026-11-02: add by m2/dev
NZ4HGJJBYX NZ4HGJJBYX
| URI | m2://inv/NZ4HGJJBYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#GGPY (statement). In X1J5HKPS3R/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Nets Katz NZ4NRM98JN
| URI | m2://inv/NZ4NRM98JN |
|---|---|
| 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#Z97U, Nets Katz (unknown)
History
- 2026-11-02: add by m2/dev
Hard NZ4R2YZ7RX
| URI | m2://inv/NZ4R2YZ7RX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:rootexistshard, Hard (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
749 (number) NZ4VKWFBPT
| URI | m2://inv/NZ4VKWFBPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#4XRT, 749 (number) (unknown)
History
- 2026-11-02: add by m2/dev
NZ4Y5HJT2J NZ4Y5HJT2J
| URI | m2://inv/NZ4Y5HJT2J |
|---|---|
| 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.37410#0B2X (statement). In NX7D3FFFKM/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Example NZ4Y8PQAR0
| URI | m2://inv/NZ4Y8PQAR0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bending moment#XG40, Example (example)
History
- 2026-11-02: add by m2/dev
Example NZ55SX5VEP
| URI | m2://inv/NZ55SX5VEP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete rate simulation#OTDR, Example (example)
History
- 2026-11-02: add by m2/dev
NZ56NZ12XX NZ56NZ12XX
| URI | m2://inv/NZ56NZ12XX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#prop:K-fmp (statement). In PKGMM3P5QY, prop, section 51.7
History
- 2026-11-01: add by m2/v0.6.13
Von Restorff effect NZ5BKB5FQ7
| URI | m2://inv/NZ5BKB5FQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#1ACM, Von Restorff effect (unknown)
History
- 2026-11-02: add by m2/dev
Unconditional statistical alignment discrepancy NZ5GFT8P3R
| URI | m2://inv/NZ5GFT8P3R |
|---|---|
| Kind | definition |
| 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.31607#UAFP, Unconditional statistical alignment discrepancy (definition). In H9X9WZ17TT/e1, definition 10
History
- 2026-10-31: add by m2/v0.5.6
Puri, Madan Lal NZ5PR55FWE
| URI | m2://inv/NZ5PR55FWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#61IQ, Puri, Madan Lal (topic)
History
- 2026-11-02: add by m2/dev
Robert William Genese NZ5Q2F54HH
| URI | m2://inv/NZ5Q2F54HH |
|---|---|
| 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#8E0U, Robert William Genese (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SNS1, Robert William Genese (topic)
History
- 2026-11-02: add by m2/dev
Margherita Beloch Piazzolla NZ5QMECTPZ
| URI | m2://inv/NZ5QMECTPZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#I2DA, Margherita Beloch Piazzolla (topic)
History
- 2026-11-02: add by m2/dev
NZ6756QPQZ NZ6756QPQZ
| URI | m2://inv/NZ6756QPQZ |
|---|---|
| Kind | example |
| 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.09341#PZNM (example). In DSXBMRYE0V/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
Approximate laws NZ6E3WQPT0
| URI | m2://inv/NZ6E3WQPT0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservation law#LMYV, Approximate laws (statement)
History
- 2026-11-02: add by m2/dev
monohedral tiling NZ6E55XQW2
| URI | m2://inv/NZ6E55XQW2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117164205, monohedral tiling (unknown). Also MathWorld MonohedralTiling
History
- 2026-10-26: add by m2/dev
Arend Bayer NZ6HWPWGE5
| URI | m2://inv/NZ6HWPWGE5 |
|---|---|
| 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#7THT, Arend Bayer (unknown)
History
- 2026-11-02: add by m2/dev
Supertoroid NZ6QJNXRH3
| URI | m2://inv/NZ6QJNXRH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#SH2Q, Supertoroid (unknown)
History
- 2026-11-02: add by m2/dev
NZ715YKZKJ NZ715YKZKJ
| URI | m2://inv/NZ715YKZKJ |
|---|---|
| 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#NDR3 (statement). In 5DFTVG7FFF/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.10
Properties NZ72KRDED5
| URI | m2://inv/NZ72KRDED5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm kernel#L77X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Francis Sowerby Macaulay NZ7T27PS7F
| URI | m2://inv/NZ7T27PS7F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Sowerby Macaulay, Francis Sowerby Macaulay (topic). Also Wikidata Q381355
History
- 2026-11-02: add by m2/dev
greatest lower bound NZ7VFSHS6E
| URI | m2://inv/NZ7VFSHS6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#OWQK, greatest lower bound (definition)
History
- 2026-11-02: add by m2/dev
Properties NZ7W998KN3
| URI | m2://inv/NZ7W998KN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented coloring#O956, Properties (statement)
History
- 2026-11-02: add by m2/dev
W. Burnside NZ7YMKHPA1
| URI | m2://inv/NZ7YMKHPA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#JVM9, W. Burnside (topic)
History
- 2026-11-02: add by m2/dev
NZ7YNVPB36 NZ7YNVPB36
| URI | m2://inv/NZ7YNVPB36 |
|---|---|
| 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.39782#4756 (statement). In JF4188WVV0/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
LDP for $\lambda_{\max}$ NZ7Z472R3R
| URI | m2://inv/NZ7Z472R3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#479K, LDP for $\lambda_{\max}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Winifred Mackenzie NZ826QQ842
| URI | m2://inv/NZ826QQ842 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winifred Mackenzie, Winifred Mackenzie (topic). Also Wikidata Q118189629
History
- 2026-11-02: add by m2/dev
NZ856NXX6W NZ856NXX6W
| URI | m2://inv/NZ856NXX6W |
|---|---|
| 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 2511.05069#SZ5K (statement). In SFQBJBTW8K/e1, theorem 9.8
History
- 2026-10-27: add by m2/v0.3.5
Two Brothers, U.S. Virgin Islands NZ87VT6HCS
| URI | m2://inv/NZ87VT6HCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LV5X, Two Brothers, U.S. Virgin Islands (unknown)
History
- 2026-11-02: add by m2/dev
Tsachy Weissman NZ8BKFX69J
| URI | m2://inv/NZ8BKFX69J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ODVH, Tsachy Weissman (unknown)
History
- 2026-11-02: add by m2/dev
Haim Gaifman NZ8KQ26KJY
| URI | m2://inv/NZ8KQ26KJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haim Gaifman, Haim Gaifman (topic). Also Wikidata Q5639292
History
- 2026-11-02: add by m2/dev
Upper-convected Maxwell model NZ8RDJD107
| URI | m2://inv/NZ8RDJD107 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper-convected Maxwell model, Upper-convected Maxwell model (definition). Also Wikidata Q3318079
History
- 2026-11-02: add by m2/dev
Definition NZ8RQ234CV
| URI | m2://inv/NZ8RQ234CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onsager–Machlup function#2SRH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Künneth type Standard Conjecture (Conjecture C) NZ8T2RJN6A
| URI | m2://inv/NZ8T2RJN6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard conjectures on algebraic cycles#8M4W, Künneth type Standard Conjecture (Conjecture C) (statement)
History
- 2026-11-02: add by m2/dev
Melvin J. Hinich NZ8VF2ABM3
| URI | m2://inv/NZ8VF2ABM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melvin J. Hinich, Melvin J. Hinich (topic). Also Wikidata Q6813994
History
- 2026-11-02: add by m2/dev
Walsh–Lebesgue theorem NZ95X2KAP4
| URI | m2://inv/NZ95X2KAP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walsh–Lebesgue theorem, Walsh–Lebesgue theorem (statement). Also Wikidata Q56292585
History
- 2026-11-02: add by m2/dev
NZ96S975DN NZ96S975DN
| URI | m2://inv/NZ96S975DN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/type-preservation.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 61.4
History
- 2026-11-01: add by m2/v0.6.13
function NZ97W08167
| URI | m2://inv/NZ97W08167 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/function, function (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
Maria-Florina Balcan NZ983J50MH
| URI | m2://inv/NZ983J50MH |
|---|---|
| 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#JEDR, Maria-Florina Balcan (unknown)
History
- 2026-11-02: add by m2/dev
Single-frequency open-set uniqueness NZ995MJSY2
| URI | m2://inv/NZ995MJSY2 |
|---|---|
| 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.08011#LFYA, Single-frequency open-set uniqueness (statement). In K0BXT951HT/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.10
NZ9D691D1H NZ9D691D1H
| URI | m2://inv/NZ9D691D1H |
|---|---|
| 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.25897#Y3E7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pullback through a unipotent kernel NZ9DE53Y4A
| URI | m2://inv/NZ9DE53Y4A |
|---|---|
| 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 2609.27204#VPSN, Pullback through a unipotent kernel (statement)
History
- 2026-11-01: add by m2/v0.6.15
One-prime specialization NZ9G4RYD0A
| URI | m2://inv/NZ9G4RYD0A |
|---|---|
| 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.22305#Z8N1, One-prime specialization (statement). In P6FTXTV09Q/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.4.0
NZ9RF8WCVA NZ9RF8WCVA
| URI | m2://inv/NZ9RF8WCVA |
|---|---|
| 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.07442#WJSL (statement). In 6SDC2Z8Y8M/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
Kappa curve NZ9SMD3KGV
| URI | m2://inv/NZ9SMD3KGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2252430, Kappa curve (unknown). Also MathWorld KappaCurve
- wikipedia: Wikipedia Kappa curve, Kappa curve (definition). Also Wikidata Q2252430
History
- 2026-10-26: add by m2/dev
minimum, global NZ9TEZT8EP
| URI | m2://inv/NZ9TEZT8EP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/minimum-global, minimum, global (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
NZ9YN2ZC0E NZ9YN2ZC0E
| URI | m2://inv/NZ9YN2ZC0E |
|---|---|
| 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.19845#0AUN (statement). In A8Y7B1MD91/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
normal NZ9Z74HFQJ
| URI | m2://inv/NZ9Z74HFQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#PG7A, normal (definition)
History
- 2026-11-02: add by m2/dev
C. E. Shannon NZ9ZJCSQEE
| URI | m2://inv/NZ9ZJCSQEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#YV26, C. E. Shannon (topic)
History
- 2026-11-02: add by m2/dev
Accuracy and convergence tests NZ9ZNMZCYY
| URI | m2://inv/NZ9ZNMZCYY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#OUUU, Accuracy and convergence tests (example). In 7Q26JWKD7E/e1, example 14
History
- 2026-10-28: add by m2/v0.4.2
List of integrals of area functions NZA42TSEY2
| URI | m2://inv/NZA42TSEY2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#UT9X, List of integrals of area functions (unknown)
History
- 2026-11-02: add by m2/dev
NZA4Q2W52B NZA4Q2W52B
| URI | m2://inv/NZA4Q2W52B |
|---|---|
| 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.37450#5UJ2 (definition). In FP05Z6EBV4/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
NZAB5WS2X1 NZAB5WS2X1
| URI | m2://inv/NZAB5WS2X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#JWBY (statement). In JW8HH6EPG2/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
NZABB3PG1Z NZABB3PG1Z
| URI | m2://inv/NZABB3PG1Z |
|---|---|
| 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 2405.10747#3W3L (statement). In X0PS03QCG0/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.5
Free algebra NZAEMMP7Z4
| URI | m2://inv/NZAEMMP7Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free algebra, Free algebra (definition). Also Wikidata Q5500180
History
- 2026-11-02: add by m2/dev
NZAJM9TAE3 NZAJM9TAE3
| URI | m2://inv/NZAJM9TAE3 |
|---|---|
| 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 2610.06458#WERT (definition). In 4X93XG8NMD/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
NZAP239G9H NZAP239G9H
| URI | m2://inv/NZAP239G9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#IF22 (statement). In E7W2HDNEKJ/e1, theorem 7.30
History
- 2026-10-30: add by m2/v0.4.12
Relatively ample NZASRJD1N0
| URI | m2://inv/NZASRJD1N0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ample line bundle#ROGA, Relatively ample (unknown)
History
- 2026-11-02: add by m2/dev
NZB1JHH09M NZB1JHH09M
| URI | m2://inv/NZB1JHH09M |
|---|---|
| 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.15817#XHL2 (statement). In NVJMA8ARHP/e1, proposition 3.2.3
History
- 2026-10-28: add by m2/v0.4.2
Ken Brown's lemma NZB2GM4YQM
| URI | m2://inv/NZB2GM4YQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ken Brown's lemma, Ken Brown's lemma (statement). Also Wikidata Q133406599
History
- 2026-11-02: add by m2/dev
NZB52SJE19 NZB52SJE19
| URI | m2://inv/NZB52SJE19 |
|---|---|
| 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.00358#S8GA (statement). In C5WGCSPM6W/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Generalizations NZB57CPCQS
| URI | m2://inv/NZB57CPCQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farkas' lemma#XJRW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
NZB7D6J290 NZB7D6J290
| URI | m2://inv/NZB7D6J290 |
|---|---|
| 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.01276#MVIT (statement). In 7JJPPMS2DN/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Post problem NZB9RSB0YT
| URI | m2://inv/NZB9RSB0YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing degree#HXMM, Post problem (unknown)
History
- 2026-11-02: add by m2/dev
Poincaré NZBA1BMW7P
| URI | m2://inv/NZBA1BMW7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#3846, Poincaré (definition)
History
- 2026-11-02: add by m2/dev
NZBHX9RBZG NZBHX9RBZG
| URI | m2://inv/NZBHX9RBZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#AHXD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pitman–Yor process NZBQZNJC9J
| URI | m2://inv/NZBQZNJC9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pitman–Yor process, Pitman–Yor process (definition). Also Wikidata Q7198999
History
- 2026-11-02: add by m2/dev
The axioms NZBTFSJVEK
| URI | m2://inv/NZBTFSJVEK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axioms#R2J0, The axioms (statement)
History
- 2026-11-02: add by m2/dev
Terminology NZC005PJ4J
| URI | m2://inv/NZC005PJ4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Export of cryptography from the United States#QVGY, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Examples NZC1N66K7Z
| URI | m2://inv/NZC1N66K7Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidefinite programming#7GA3, Examples (example)
History
- 2026-11-02: add by m2/dev
NZC75W1E9F NZC75W1E9F
| URI | m2://inv/NZC75W1E9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34213#9YHV (statement). In KGP6NAY0NS/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Properties NZCBY0R18M
| URI | m2://inv/NZCBY0R18M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotton tensor#BPAF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Classical definition of probability NZCCSG85FW
| URI | m2://inv/NZCCSG85FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical definition of probability, Classical definition of probability (definition). Also Wikidata Q908596
History
- 2026-11-02: add by m2/dev
Ipso facto NZCR9SHPQK
| URI | m2://inv/NZCR9SHPQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ipso facto, Ipso facto (definition). Also Wikidata Q138653
History
- 2026-11-02: add by m2/dev
Women in Mathematics NZCSY7R171
| URI | m2://inv/NZCSY7R171 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Women in Mathematics (book), Women in Mathematics (definition). Also Wikidata Q96415483
History
- 2026-11-02: add by m2/dev
Examples NZCVQS1XW3
| URI | m2://inv/NZCVQS1XW3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective linear group#PH58, Examples (example)
History
- 2026-11-02: add by m2/dev
Joint Approximation Diagonalization of Eigen-matrices NZCZBG9JMC
| URI | m2://inv/NZCZBG9JMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint Approximation Diagonalization of Eigen-matrices, Joint Approximation Diagonalization of Eigen-matrices (definition). Also Wikidata Q25099802
History
- 2026-11-02: add by m2/dev
NZD88WPRCB NZD88WPRCB
| URI | m2://inv/NZD88WPRCB |
|---|---|
| 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 2504.02065#OY7Z (statement). In 60CK7P5F36/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Nuclear norm NZDE0QFMPR
| URI | m2://inv/NZDE0QFMPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix norm#9C6J, Nuclear norm (unknown)
History
- 2026-11-02: add by m2/dev
Definitions NZDEJ5WQKD
| URI | m2://inv/NZDEJ5WQKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path#68TI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
open map NZDHEM65DG
| URI | m2://inv/NZDHEM65DG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > open map, open map (unknown). Also Mathlib IsOpenMap
History
- 2026-10-26: add by m2/dev
NZDSY0015V NZDSY0015V
| URI | m2://inv/NZDSY0015V |
|---|---|
| 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#C44Q (statement). In BSWNH3NW1M/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.0
Deriving the formulas NZDX44W1HP
| URI | m2://inv/NZDX44W1HP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoelace formula#W269, Deriving the formulas (statement)
History
- 2026-11-02: add by m2/dev
NZEDTYQ6AH NZEDTYQ6AH
| URI | m2://inv/NZEDTYQ6AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04470#K0KH (statement). In PVRF0WS223/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
NZEFW268MK NZEFW268MK
| URI | m2://inv/NZEFW268MK |
|---|---|
| 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.20391#7MXN (statement). In CTAS41TRM2/e1, lemma 10.1
History
- 2026-10-27: add by m2/v0.4.2
NZENGENQHH NZENGENQHH
| URI | m2://inv/NZENGENQHH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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.02961#X2H9 (definition). In 986DENWM1D/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Formula NZEVHMHQ46
| URI | m2://inv/NZEVHMHQ46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pick's theorem#3SZJ, Formula (statement)
History
- 2026-11-02: add by m2/dev
Poncelet–Steiner theorem NZEWV7F9GR
| URI | m2://inv/NZEWV7F9GR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Victor Poncelet#5D6R, Poncelet–Steiner theorem (statement)
History
- 2026-11-02: add by m2/dev
ring spectrum NZEX6MKMMS
| URI | m2://inv/NZEX6MKMMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ring spectrum BAW0T68GWK |
Mentions
- wikidata: Wikidata Q7334821, ring spectrum (unknown). Also nLab ring spectrum
- wikipedia: Wikipedia Ring spectrum, Ring spectrum (definition). Also Wikidata Q7334821
History
- 2026-10-26: add by m2/dev
Ben Mor Coigach NZF634HG3F
| URI | m2://inv/NZF634HG3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CWFT, Ben Mor Coigach (unknown)
History
- 2026-11-02: add by m2/dev
Examples NZFC4KP0QN
| URI | m2://inv/NZFC4KP0QN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm selection#RZRO, Examples (example)
History
- 2026-11-02: add by m2/dev
NZFS3XFWW9 NZFS3XFWW9
| URI | m2://inv/NZFS3XFWW9 |
|---|---|
| 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.04881#TNCI (statement). In W1HRB95DT0/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
NZG25QVEM4 NZG25QVEM4
| URI | m2://inv/NZG25QVEM4 |
|---|---|
| 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.17602#LCEQ (statement). In BH62508WHJ/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Root averaging NZG7Z0ZSB1
| URI | m2://inv/NZG7Z0ZSB1 |
|---|---|
| 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.20242#6E2K, Root averaging (statement). In TAX627CRH2/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
NZGHABVW4A NZGHABVW4A
| URI | m2://inv/NZGHABVW4A |
|---|---|
| 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.16060#EX2H (statement). In X0BTF9HPGM/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
NZGK6S7G0Z NZGK6S7G0Z
| URI | m2://inv/NZGK6S7G0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#HQ7W (statement). In E7BPGPP9Z5/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Permittivity NZGPJPNHYB
| URI | m2://inv/NZGPJPNHYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permittivity, Permittivity (definition). Also Wikidata Q211569
History
- 2026-11-02: add by m2/dev
NZGRPH83SS NZGRPH83SS
| URI | m2://inv/NZGRPH83SS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#VZSS (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
identity component NZGYBAAR19
| URI | m2://inv/NZGYBAAR19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Identity component SDQTNBDJ2H |
Mentions
- wikidata: Wikidata Q5988368, identity component (unknown). Also nLab identity component
- wikipedia: Wikipedia Identity component, Identity component (statement). Also Wikidata Q5988368
History
- 2026-10-26: add by m2/dev
functor category NZGZK3KZXB
| URI | m2://inv/NZGZK3KZXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Functor category 1X0WKFQX8K |
Mentions
- wikidata: Wikidata Q2007878, functor category (unknown). Also nLab functor category
- wikipedia: Wikipedia Functor category, Functor category (definition). Also Wikidata Q2007878
History
- 2026-10-26: add by m2/dev
Sampling bias NZH0JFC6W8
| URI | m2://inv/NZH0JFC6W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R26L, Sampling bias (definition)
History
- 2026-11-02: add by m2/dev
NZH1FWZ4XT NZH1FWZ4XT
| URI | m2://inv/NZH1FWZ4XT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#0K3C (definition)
History
- 2026-11-01: add by m2/v0.6.15
Win statistics NZHCEKK065
| URI | m2://inv/NZHCEKK065 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Win statistics, Win statistics (definition). Also Wikidata Q141404790
History
- 2026-11-02: add by m2/dev
Fourier transform and convolution product NZHGM3T0MS
| URI | m2://inv/NZHGM3T0MS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > Fourier transform and convolution product, Fourier transform and convolution product (unknown)
History
- 2026-10-26: add by m2/dev
LCF notation NZHPWGJDTD
| URI | m2://inv/NZHPWGJDTD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1797915, LCF notation (concept). Also MathWorld LCFNotation
- wikipedia: Wikipedia LCF notation, LCF notation (definition). Also Wikidata Q1797915
History
- 2026-10-26: add by m2/dev
NZHQ3TWNCP NZHQ3TWNCP
| URI | m2://inv/NZHQ3TWNCP |
|---|---|
| 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.21322#A7ZP (statement). In CNDA8DBEGD/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.2
Corollary NZHRCARNP6
| URI | m2://inv/NZHRCARNP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#D6T8, Corollary (statement)
History
- 2026-11-02: add by m2/dev
NZHST3QAQT NZHST3QAQT
| URI | m2://inv/NZHST3QAQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#example-1 (example). In 649HGZKE96, example, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
Gabriel Stolzenberg NZJ2W85400
| URI | m2://inv/NZJ2W85400 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel Stolzenberg, Gabriel Stolzenberg (topic). Also Wikidata Q75831873
History
- 2026-11-02: add by m2/dev
NZJ3EDZA0W NZJ3EDZA0W
| URI | m2://inv/NZJ3EDZA0W |
|---|---|
| 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.13846#3OSK (statement). In DN3HGHGRYJ/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
NZJ4A9C91D NZJ4A9C91D
| URI | m2://inv/NZJ4A9C91D |
|---|---|
| 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.32207#RGA7 (statement). In R94G9XD5AC/e1, theorem 1.8
History
- 2026-10-31: add by m2/v0.5.6
Henriot-Nair-Tenenbaum NZJ7369V57
| URI | m2://inv/NZJ7369V57 |
|---|---|
| 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.10372#PJYY, Henriot-Nair-Tenenbaum (statement). In P77W283VXT/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Agnostic ERM NZJ8RP0ZMT
| URI | m2://inv/NZJ8RP0ZMT |
|---|---|
| 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.18154#HM85, Agnostic ERM (statement). In 4W7ARR1DAR/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
James Demmel NZJD05J2B2
| URI | m2://inv/NZJD05J2B2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#841R, James Demmel (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZAFM, James Demmel (topic)
History
- 2026-11-02: add by m2/dev
NZJHZXY9JS NZJHZXY9JS
| URI | m2://inv/NZJHZXY9JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39659#ISJJ (statement). In BGVX27ZP22/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
NZJRAB3N8F NZJRAB3N8F
| URI | m2://inv/NZJRAB3N8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.23119#V85C (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement NZJXMSBV8H
| URI | m2://inv/NZJXMSBV8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beck's theorem (geometry)#8LZ6, Statement (statement)
History
- 2026-11-02: add by m2/dev
Applications NZK4VYA06P
| URI | m2://inv/NZK4VYA06P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Static analysis#7HOY, Applications (example)
History
- 2026-11-02: add by m2/dev
Albert algebra NZK72HM3K0
| URI | m2://inv/NZK72HM3K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#Q2CD, Albert algebra (definition)
History
- 2026-11-02: add by m2/dev
Ayoul--Zung NZKD19BMRW
| URI | m2://inv/NZKD19BMRW |
|---|---|
| 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.19958#38WK, Ayoul--Zung (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fred Piper NZKSHTE7Q7
| URI | m2://inv/NZKSHTE7Q7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fred Piper, Fred Piper (topic). Also Wikidata Q127513975
History
- 2026-11-02: add by m2/dev
destructive dilemma NZKVKZBJAJ
| URI | m2://inv/NZKVKZBJAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5265416, destructive dilemma (statement). Also MathWorld DestructiveDilemma
- wikipedia: Wikipedia Destructive dilemma, Destructive dilemma (definition). Also Wikidata Q5265416
History
- 2026-10-26: add by m2/dev
AQH share NZKWPH2C9K
| URI | m2://inv/NZKWPH2C9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AQH share, AQH share (definition). Also Wikidata Q4653513
History
- 2026-11-02: add by m2/dev
Symmetric group NZKZ1242CA
| URI | m2://inv/NZKZ1242CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of finite-dimensional Nichols algebras#FIW0, Symmetric group (definition)
History
- 2026-11-02: add by m2/dev
Examples NZM25C9J57
| URI | m2://inv/NZM25C9J57 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy colimit and limit#S4QS, Examples (example)
History
- 2026-11-02: add by m2/dev
NZMAM58ENC NZMAM58ENC
| URI | m2://inv/NZMAM58ENC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#CL5W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Arhangelskii NZMARXER3V
| URI | m2://inv/NZMARXER3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Arhangelskii, Alexander Arhangelskii (topic). Also Wikidata Q4718250
History
- 2026-11-02: add by m2/dev
Ipsos Australia NZMBBM1HSJ
| URI | m2://inv/NZMBBM1HSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#C4WO, Ipsos Australia (unknown)
History
- 2026-11-02: add by m2/dev
F(R) gravity NZMCTDC29K
| URI | m2://inv/NZMCTDC29K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F(R) gravity, F(R) gravity (topic). Also Wikidata Q3266751
History
- 2026-11-02: add by m2/dev
NZMJ87SH00 NZMJ87SH00
| URI | m2://inv/NZMJ87SH00 |
|---|---|
| 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.20237#I3G8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Exact zero-error transfer price NZMS4Q5JB3
| URI | m2://inv/NZMS4Q5JB3 |
|---|---|
| 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.12211#UUQS, Exact zero-error transfer price (statement). In WBC7PQTVYC/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.2
Akra–Bazzi theorem NZN4TSN1J8
| URI | m2://inv/NZN4TSN1J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#R89M, Akra–Bazzi theorem (definition)
History
- 2026-11-02: add by m2/dev
A coefficient condition in characteristic seven NZNF4DQKCD
| URI | m2://inv/NZNF4DQKCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#P4ZL, A coefficient condition in characteristic seven (statement). In 8BNPFYQDQX/e1, proposition 7.8
History
- 2026-10-29: add by m2/v0.4.10
Example NZNKMGSNME
| URI | m2://inv/NZNKMGSNME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal graph#DOJA, Example (example)
History
- 2026-11-02: add by m2/dev
NZNKQVBJ7R NZNKQVBJ7R
| URI | m2://inv/NZNKQVBJ7R |
|---|---|
| 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#G8DG (statement). In BVD2HAAKD5/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Noncentral hypergeometric distributions NZNNBFXE8R
| URI | m2://inv/NZNNBFXE8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral hypergeometric distributions, Noncentral hypergeometric distributions (definition). Also Wikidata Q7049203
History
- 2026-11-02: add by m2/dev
Secundum quid NZNSTHBRB8
| URI | m2://inv/NZNSTHBRB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secundum quid, Secundum quid (definition). Also Wikidata Q4660909
History
- 2026-11-02: add by m2/dev
Euclid NZP179SNZA
| URI | m2://inv/NZP179SNZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8747, Euclid (unknown). Also nLab Euclid, ProofWiki Mathematician:Euclid
- wikipedia: Wikipedia Euclid, Euclid (topic). Also Wikidata Q8747
History
- 2026-10-26: add by m2/dev
NZP1TB8D51 NZP1TB8D51
| URI | m2://inv/NZP1TB8D51 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00144#6HM3 (definition). In HAZGBX88B3/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
NZP2SYVCR2 NZP2SYVCR2
| URI | m2://inv/NZP2SYVCR2 |
|---|---|
| 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.18377#W63I (statement). In KYJJMC50SJ/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Barbara L. Osofsky NZP9729BAZ
| URI | m2://inv/NZP9729BAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara L. Osofsky, Barbara L. Osofsky (topic). Also Wikidata Q18719213
History
- 2026-11-02: add by m2/dev
DNS over HTTPS NZPA0KNQ50
| URI | m2://inv/NZPA0KNQ50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS over HTTPS, DNS over HTTPS (definition). Also Wikidata Q50826096
History
- 2026-11-02: add by m2/dev
NZPGKFSW3E NZPGKFSW3E
| URI | m2://inv/NZPGKFSW3E |
|---|---|
| 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.26896#PY5M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hellinger integrals and the flattening profile NZPMZX71H7
| URI | m2://inv/NZPMZX71H7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#L5XT, Hellinger integrals and the flattening profile (definition)
History
- 2026-11-01: add by m2/v0.6.15
Moses Botarel Farissol NZPPH5W5YG
| URI | m2://inv/NZPPH5W5YG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#21LY, Moses Botarel Farissol (unknown)
History
- 2026-11-02: add by m2/dev
NZPPQQW456 NZPPQQW456
| URI | m2://inv/NZPPQQW456 |
|---|---|
| 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.35323#TEC1 (statement). In 5CKPXBWSCX/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
NZPQA94GD3 NZPQA94GD3
| URI | m2://inv/NZPQA94GD3 |
|---|---|
| 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 2001.10234#WWUN (statement). In YYZHNNJR1P/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
NZPSF483A7 NZPSF483A7
| URI | m2://inv/NZPSF483A7 |
|---|---|
| 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#93B3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NZPWQ7WM0A NZPWQ7WM0A
| URI | m2://inv/NZPWQ7WM0A |
|---|---|
| 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.10230#4CGT (statement). In YS75517SF7/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Lambda cube NZQ0AMXVZA
| URI | m2://inv/NZQ0AMXVZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda cube, Lambda cube (definition). Also Wikidata Q2036661
History
- 2026-11-02: add by m2/dev
Axiom of adjunction NZQ0QQSV67
| URI | m2://inv/NZQ0QQSV67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of adjunction, Axiom of adjunction (statement). Also Wikidata Q18205396
History
- 2026-11-02: add by m2/dev
Tversky index NZQ6ZRQPY8
| URI | m2://inv/NZQ6ZRQPY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#OZOA, Tversky index (unknown)
History
- 2026-11-02: add by m2/dev
Properties NZQDVPZE5P
| URI | m2://inv/NZQDVPZE5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toeplitz matrix#IWK4, Properties (statement)
History
- 2026-11-02: add by m2/dev
NZQDVTED4R NZQDVTED4R
| URI | m2://inv/NZQDVTED4R |
|---|---|
| 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.33018#XEX8 (statement). In 8XVS0QJ2AH/e1, proposition 64
History
- 2026-10-31: add by m2/v0.5.6
NZQEN8X9HZ NZQEN8X9HZ
| URI | m2://inv/NZQEN8X9HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.23884#6UY2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Revista Colombiana de Estadistica (Colombian Journal of Statistics) NZQFH3B85A
| URI | m2://inv/NZQFH3B85A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#U209, Revista Colombiana de Estadistica (Colombian Journal of Statistics) (definition)
History
- 2026-11-02: add by m2/dev
NZQGGZGJAG NZQGGZGJAG
| URI | m2://inv/NZQGGZGJAG |
|---|---|
| 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.19360#01VD (statement). In MFCW5CY96C/e1, lemma 31
History
- 2026-10-28: add by m2/v0.4.2
NZQHDCQ20Z NZQHDCQ20Z
| URI | m2://inv/NZQHDCQ20Z |
|---|---|
| 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.17476#7YIY (statement). In 6HXD74FA4S/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
NZQP4KHREZ NZQP4KHREZ
| URI | m2://inv/NZQP4KHREZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#SHVN (statement). In 5RMV7VP13X/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Science and Math Institute NZQVDJE5JT
| URI | m2://inv/NZQVDJE5JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Science and Math Institute (Tacoma, Washington), Science and Math Institute (definition). Also Wikidata Q7433626
History
- 2026-11-02: add by m2/dev
Scientific misconduct NZQW2KVMCH
| URI | m2://inv/NZQW2KVMCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific misconduct, Scientific misconduct (definition). Also Wikidata Q428632
History
- 2026-11-02: add by m2/dev
NZQWG0XNKK NZQWG0XNKK
| URI | m2://inv/NZQWG0XNKK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-33 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
A moving lemma for \hbox{$\CH^d(X, X^*)$ NZR27A9STB
| URI | m2://inv/NZR27A9STB |
|---|---|
| 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.32599#IZE3, A moving lemma for \hbox{$\CH^d(X, X^*)$ (statement). In E1Y93JNBJA/e1, lemma 1.23
History
- 2026-10-31: add by m2/v0.5.6
NZR43JXWGH NZR43JXWGH
| URI | m2://inv/NZR43JXWGH |
|---|---|
| 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.20145#6CW9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
assembly map NZR72BV1CZ
| URI | m2://inv/NZR72BV1CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#5YJX, assembly map (definition)
History
- 2026-11-02: add by m2/dev
Hitchin functional NZRMAE0QDY
| URI | m2://inv/NZRMAE0QDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5871859, Hitchin functional (unknown). Also nLab Hitchin functional
- wikipedia: Wikipedia Hitchin functional, Hitchin functional (definition). Also Wikidata Q5871859
History
- 2026-10-26: add by m2/dev
NZRQJXHKHK NZRQJXHKHK
| URI | m2://inv/NZRQJXHKHK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#44BZ (definition). In H21X3FHNYJ/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.4.2
NZRR3Z1Q63 NZRR3Z1Q63
| URI | m2://inv/NZRR3Z1Q63 |
|---|---|
| Kind | definition |
| 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.14318#UI3T (definition). In HA4SZZJ831/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
NZRR7Y1CXR NZRR7Y1CXR
| URI | m2://inv/NZRR7Y1CXR |
|---|---|
| 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.25084#D7X5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NZRRCFPPVC NZRRCFPPVC
| URI | m2://inv/NZRRCFPPVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#O1VK (statement). In 7V3HG30ZGW/e1, proposition 3.26
History
- 2026-10-27: add by m2/v0.4.0
Example NZS2AT5G97
| URI | m2://inv/NZS2AT5G97 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ogden's lemma#IME8, Example (example)
History
- 2026-11-02: add by m2/dev
Formal definition NZS4GRBENQ
| URI | m2://inv/NZS4GRBENQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comodule#XN40, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
NZS4H0VKEP NZS4H0VKEP
| URI | m2://inv/NZS4H0VKEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#U78Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications NZS7ER9NSE
| URI | m2://inv/NZS7ER9NSE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching (graph theory)#XKNA, Applications (example)
History
- 2026-11-02: add by m2/dev
real projective line NZS7WXRZGN
| URI | m2://inv/NZS7WXRZGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23937546, real projective line (unknown). Also EoM Projective_straight_line
- wikipedia: Wikipedia Real projective line, Real projective line (definition). Also Wikidata Q23937546
History
- 2026-10-26: add by m2/dev
NZSCXSA28X NZSCXSA28X
| URI | m2://inv/NZSCXSA28X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Singleton bound NZSEVFMSP0
| URI | m2://inv/NZSEVFMSP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#TKHW, Singleton bound (definition)
History
- 2026-11-02: add by m2/dev
Kowalsky's theorem NZSF9PJS1C
| URI | m2://inv/NZSF9PJS1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedgehog space#G9OE, Kowalsky's theorem (statement)
History
- 2026-11-02: add by m2/dev
Diller–Dress theorem NZSMJXD9XF
| URI | m2://inv/NZSMJXD9XF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean field#9LCU, Diller–Dress theorem (statement)
History
- 2026-11-02: add by m2/dev
Sufficient dimension reduction NZSN94ZE7X
| URI | m2://inv/NZSN94ZE7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sufficient dimension reduction, Sufficient dimension reduction (definition). Also Wikidata Q7634497
History
- 2026-11-02: add by m2/dev
Stability of the quadratic grid rate NZSQ8FCYFS
| URI | m2://inv/NZSQ8FCYFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.11814#8XP5, Stability of the quadratic grid rate (statement). In MXG9FV78NP/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.3
Residual of the final resolvent point NZSRB8FXR1
| URI | m2://inv/NZSRB8FXR1 |
|---|---|
| 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.35631#DR8A, Residual of the final resolvent point (statement). In 9NCX0S6MTP/e1, lemma D.11
History
- 2026-10-30: add by m2/v0.4.12
NZSX6FXJX3 NZSX6FXJX3
| URI | m2://inv/NZSX6FXJX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#X3Y5 (statement). In CBF6TQS4DW/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Hermitian adjoint NZSXAMK657
| URI | m2://inv/NZSXAMK657 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#APAY, Hermitian adjoint (definition)
History
- 2026-11-02: add by m2/dev
James Wiegold NZT23SC7QJ
| URI | m2://inv/NZT23SC7QJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Wiegold, James Wiegold (topic). Also Wikidata Q6145491
History
- 2026-11-02: add by m2/dev
Properties NZTEQ9Q08W
| URI | m2://inv/NZTEQ9Q08W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro conformal block#TV3Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
Nilpotent space NZTGSWX89D
| URI | m2://inv/NZTGSWX89D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent space, Nilpotent space (definition). Also Wikidata Q16919836
History
- 2026-11-02: add by m2/dev
NZTHNWRF25 NZTHNWRF25
| URI | m2://inv/NZTHNWRF25 |
|---|---|
| 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/9201244#NS4C (definition). In 7D3HCN21MK/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Properties NZTPVW4ZHE
| URI | m2://inv/NZTPVW4ZHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski fan#RX4R, Properties (statement)
History
- 2026-11-02: add by m2/dev
NZTPYSFK4W NZTPYSFK4W
| URI | m2://inv/NZTPYSFK4W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Strong convergence of the iteration NZTVGNVK4Y
| URI | m2://inv/NZTVGNVK4Y |
|---|---|
| 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.14555#63WN, Strong convergence of the iteration (statement). In NHW0VEJ09F/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
NZTVY8VYQX NZTVY8VYQX
| URI | m2://inv/NZTVY8VYQX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#7FEJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
482 (number) NZTXTQRA7F
| URI | m2://inv/NZTXTQRA7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#CPM9, 482 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Robert P. Geroch NZV0GWGXG3
| URI | m2://inv/NZV0GWGXG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#E5Q1, Robert P. Geroch (unknown)
History
- 2026-11-02: add by m2/dev
local system NZV0KESZYV
| URI | m2://inv/NZV0KESZYV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Local coefficient system M58WRZ7PFM |
Mentions
- wikidata: Wikidata Q6664565, local system (unknown). Also nLab local system
- wikipedia: Wikipedia Local system, Local system (object). Also Wikidata Q6664565
History
- 2026-10-26: add by m2/dev
Construction NZV2T4HGKA
| URI | m2://inv/NZV2T4HGKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixtilinear incircles of a triangle#U1O8, Construction (definition)
History
- 2026-11-02: add by m2/dev
Properties NZV98NJQS2
| URI | m2://inv/NZV98NJQS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster prime#Q4IZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Moshe Goldberg NZVDW6BBAY
| URI | m2://inv/NZVDW6BBAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moshe Goldberg, Moshe Goldberg (topic). Also Wikidata Q67154918
History
- 2026-11-02: add by m2/dev
NZVM5Z0DGM NZVM5Z0DGM
| URI | m2://inv/NZVM5Z0DGM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-15 (proof). In N54F33XE07, proof, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
NZVQYJ0XS9 NZVQYJ0XS9
| URI | m2://inv/NZVQYJ0XS9 |
|---|---|
| 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.12810#FP54 (statement). In DR35633CPN/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
NZVW4MP83C NZVW4MP83C
| URI | m2://inv/NZVW4MP83C |
|---|---|
| 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#SCYH (statement). In 1QSCT53ZED/e1, proposition 7.21
History
- 2026-10-27: add by m2/v0.4.0
NZVYY1HER1 NZVYY1HER1
| URI | m2://inv/NZVYY1HER1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#TFJB (statement)
History
- 2026-11-02: add by m2/v0.6.18
NZVZJ0SYZB NZVZJ0SYZB
| URI | m2://inv/NZVZJ0SYZB |
|---|---|
| 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.01359#PJ3C (definition). In V2RVS5VC1Y/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
rencontres numbers NZVZWM1E11
| URI | m2://inv/NZVZWM1E11 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1293666, rencontres numbers (concept). Also MathWorld PartialDerangement
- wikipedia: Wikipedia Rencontres numbers, Rencontres numbers (definition). Also Wikidata Q1293666
History
- 2026-10-26: add by m2/dev
Strong subadditivity of quantum entropy NZW090H64T
| URI | m2://inv/NZW090H64T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong subadditivity of quantum entropy, Strong subadditivity of quantum entropy (definition). Also Wikidata Q7624524
History
- 2026-11-02: add by m2/dev
NZW2YC2PZS NZW2YC2PZS
| URI | m2://inv/NZW2YC2PZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#Z3SE (statement). In QD0X3XJS6T/e1, lemma 7.15
History
- 2026-10-27: add by m2/v0.3.5
NZW4HAY8EB NZW4HAY8EB
| URI | m2://inv/NZW4HAY8EB |
|---|---|
| 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.00786#6JWS (statement). In XKEE0DK6N3/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Genocchi number NZWECB2MZN
| URI | m2://inv/NZWECB2MZN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2267310, Genocchi number (concept). Also MathWorld GenocchiNumber
- wikipedia: Wikipedia Genocchi number, Genocchi number (definition). Also Wikidata Q2267310
History
- 2026-10-26: add by m2/dev
Single-deviation cell bound NZWF1H4TKJ
| URI | m2://inv/NZWF1H4TKJ |
|---|---|
| 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.25120#B1GK, Single-deviation cell bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
NZWHXTHHCB NZWHXTHHCB
| URI | m2://inv/NZWHXTHHCB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32651#BTNN (definition). In WFJXSE3VDT/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
FP8 cannot win in \OzII even where its raw performance is highest NZWT4KQ1PB
| URI | m2://inv/NZWT4KQ1PB |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#P2XG, FP8 cannot win in \OzII even where its raw performance is highest (unknown)
History
- 2026-11-01: add by m2/v0.6.15
NZX2N5FXTS NZX2N5FXTS
| URI | m2://inv/NZX2N5FXTS |
|---|---|
| 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 2610.10643#THUJ (statement). In 1FJSQAGF8R/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
NZX43D13JT NZX43D13JT
| URI | m2://inv/NZX43D13JT |
|---|---|
| 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.10338#FMZO (statement). In WZ3GXRAB00/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
John J. Millson NZX6D6T3QE
| URI | m2://inv/NZX6D6T3QE |
|---|---|
| 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#CKIK, John J. Millson (unknown)
History
- 2026-11-02: add by m2/dev
Polling system NZXA3JTTBM
| URI | m2://inv/NZXA3JTTBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polling system, Polling system (definition). Also Wikidata Q17097337
History
- 2026-11-02: add by m2/dev
Point in polygon NZXFD401CN
| URI | m2://inv/NZXFD401CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point in polygon, Point in polygon (definition). Also Wikidata Q1575331
History
- 2026-11-02: add by m2/dev
NZXPKD7JZJ NZXPKD7JZJ
| URI | m2://inv/NZXPKD7JZJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Country Club NZXQK2PVKC
| URI | m2://inv/NZXQK2PVKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#XAUA, Country Club (unknown)
History
- 2026-11-02: add by m2/dev
NZXSZR9F6Y NZXSZR9F6Y
| URI | m2://inv/NZXSZR9F6Y |
|---|---|
| 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 2204.13401#1U0O (statement). In B8MJT0GGW8/e1, lemma 4.20
History
- 2026-10-27: add by m2/v0.4.0
functor that reflects colimits NZXYBNN4MT
| URI | m2://inv/NZXYBNN4MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141136224, functor that reflects colimits (unknown). Also nLab reflected colimit
History
- 2026-10-26: add by m2/dev
Sketch of Proof NZXZAAPRS6
| URI | m2://inv/NZXZAAPRS6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-3, Sketch of Proof (proof). In RZP28ERRZV, proof, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
exactness of the cluster search NZY5K2RCWN
| URI | m2://inv/NZY5K2RCWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39395#XFWV, exactness of the cluster search (statement). In ZDVPJ1XX5Z/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
NZYATPWBC8 NZYATPWBC8
| URI | m2://inv/NZYATPWBC8 |
|---|---|
| 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 2610.11395#7FAL (example). In T3W7SMWQ73/e1, example 45
History
- 2026-10-28: add by m2/v0.4.3
NZYGHJ8AV3 NZYGHJ8AV3
| URI | m2://inv/NZYGHJ8AV3 |
|---|---|
| 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.21475#MKR1 (statement). In TTRSZVT4VX/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
Realizability of the PER model NZYPWBJQTE
| URI | m2://inv/NZYPWBJQTE |
|---|---|
| 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 2610.21131#ARFP, Realizability of the PER model (statement). In CPYWHRTPKC/e1, lemma 6.18
History
- 2026-10-27: add by m2/v0.4.2
NZZ1GJ0DS3 NZZ1GJ0DS3
| URI | m2://inv/NZZ1GJ0DS3 |
|---|---|
| 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.31126#PZV2 (statement). In GK1V5GEHTK/e1, corollary 3.3
History
- 2026-10-31: add by m2/v0.5.6
NZZ2NHXMK3 NZZ2NHXMK3
| URI | m2://inv/NZZ2NHXMK3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-18 (exercise). In E9HS8K3A52, exercise, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Carl Landwehr NZZ86NWX4G
| URI | m2://inv/NZZ86NWX4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JC2M, Carl Landwehr (unknown)
History
- 2026-11-02: add by m2/dev
NZZ91RGD5W NZZ91RGD5W
| URI | m2://inv/NZZ91RGD5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#M20E (statement). In 5KR3MHYVV6/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
NZZPGD9V6T NZZPGD9V6T
| URI | m2://inv/NZZPGD9V6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#KUCM (statement). In MVWSXXCXB7/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.4.2
NZZX7VEFCE NZZX7VEFCE
| URI | m2://inv/NZZX7VEFCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.01653#ZB7Q (statement). In WZMHJCQPB2/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.12