Inventory rows W0
The cards of the rows of the inventory whose ids start with W0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Belphegor's prime W001XWZ85Y
| URI | m2://inv/W001XWZ85Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15130782, Belphegor's prime (statement). Also MathWorld BelphegorPrime, ProofWiki Belphegor's_Prime
- wikipedia: Wikipedia Belphegor's prime, Belphegor's prime (object). Also Wikidata Q15130782
History
- 2026-10-26: add by m2/dev
W0048WW9JG W0048WW9JG
| URI | m2://inv/W0048WW9JG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2110.11143#H6FW (definition). In VTVC0TCWSB/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
W004CEPD2Z W004CEPD2Z
| URI | m2://inv/W004CEPD2Z |
|---|---|
| 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.00386#E6YT (statement). In 7EDY2549HF/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
unique existence of strong solution W00CH1TRH7
| URI | m2://inv/W00CH1TRH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#IJEB, unique existence of strong solution (statement). In 1PN6NESQER/e1, corollary 2.6
History
- 2026-10-30: add by m2/v0.4.12
W00DAACMRZ W00DAACMRZ
| URI | m2://inv/W00DAACMRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#WICE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications W00F91WNZR
| URI | m2://inv/W00F91WNZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zernike polynomials#D36O, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples W00J7KCXSC
| URI | m2://inv/W00J7KCXSC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent#41MT, Examples (example)
History
- 2026-11-02: add by m2/dev
W00NBV1BTZ W00NBV1BTZ
| URI | m2://inv/W00NBV1BTZ |
|---|---|
| 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 2403.01959#C2RV (statement). In 5YMNGJRC6Y/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
Examples W00PKQ8G1H
| URI | m2://inv/W00PKQ8G1H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Følner sequence#B4EG, Examples (example)
History
- 2026-11-02: add by m2/dev
W00PMD3SB6 W00PMD3SB6
| URI | m2://inv/W00PMD3SB6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#REF1 (example). In E4EK1XXPY4/e1, example 5.13
History
- 2026-10-31: add by m2/v0.5.6
Francis B. Hildebrand W00WYA1BB1
| URI | m2://inv/W00WYA1BB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis B. Hildebrand, Francis B. Hildebrand (topic). Also Wikidata Q5480082
History
- 2026-11-02: add by m2/dev
forest W00ZJSFMYV
| URI | m2://inv/W00ZJSFMYV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.1/forest, forest (concept). In QKM9DD2H56, index, section 16.1
History
- 2026-11-01: add by m2/v0.6.13
Two-view versus three-view W016DNZAVG
| URI | m2://inv/W016DNZAVG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#FVN4, Two-view versus three-view (example)
History
- 2026-11-01: add by m2/v0.6.15
Moshe Sharett W01C0XW8T6
| URI | m2://inv/W01C0XW8T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#RFQ5, Moshe Sharett (unknown)
History
- 2026-11-02: add by m2/dev
Coarse space W01DXZBJ78
| URI | m2://inv/W01DXZBJ78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#WNEK, Coarse space (definition)
History
- 2026-11-02: add by m2/dev
Backward Euler method W01E805ZZZ
| URI | m2://inv/W01E805ZZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#W1NC, Backward Euler method (definition)
History
- 2026-11-02: add by m2/dev
computad W01JMM6YSS
| URI | m2://inv/W01JMM6YSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#Y0X2, computad (definition)
History
- 2026-11-02: add by m2/dev
Jun Li W01N8A5YZF
| URI | m2://inv/W01N8A5YZF |
|---|---|
| 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#HL4L, Jun Li (unknown)
History
- 2026-11-02: add by m2/dev
W02C8QZ180 W02C8QZ180
| URI | m2://inv/W02C8QZ180 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#6Q0S (statement)
History
- 2026-11-02: add by m2/v0.6.17
National Cryptologic Museum W02HQAVYG3
| URI | m2://inv/W02HQAVYG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Cryptologic Museum, National Cryptologic Museum (definition). Also Wikidata Q112368
History
- 2026-11-02: add by m2/dev
W02RTMVDY1 W02RTMVDY1
| URI | m2://inv/W02RTMVDY1 |
|---|---|
| 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 2609.25167#PGOX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Francis Su W02T2HWX1W
| URI | m2://inv/W02T2HWX1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Su, Francis Su (topic). Also Wikidata Q18280917
History
- 2026-11-02: add by m2/dev
Trihectogon W031H1FRXB
| URI | m2://inv/W031H1FRXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#W2R6, Trihectogon (unknown)
History
- 2026-11-02: add by m2/dev
Example W038JB2PVR
| URI | m2://inv/W038JB2PVR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsoid#1JWI, Example (example)
History
- 2026-11-02: add by m2/dev
W03FEXGE6Y W03FEXGE6Y
| URI | m2://inv/W03FEXGE6Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Lynn Eberly W03WD1RNWB
| URI | m2://inv/W03WD1RNWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynn Eberly, Lynn Eberly (topic). Also Wikidata Q25999496
History
- 2026-11-02: add by m2/dev
Lift force formula W043ZSMF9T
| URI | m2://inv/W043ZSMF9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kutta–Joukowski theorem#6QG5, Lift force formula (statement)
History
- 2026-11-02: add by m2/dev
Generalizations W047GTDZDA
| URI | m2://inv/W047GTDZDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski spacetime#MAPC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
W04NC652Z1 W04NC652Z1
| URI | m2://inv/W04NC652Z1 |
|---|---|
| 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 2409.17318#89OO (statement). In 2P63T9MJ4P/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.3.5
Szemer\'{e}di 1975 W04V0RSB38
| URI | m2://inv/W04V0RSB38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28898#AJ13, Szemer\'{e}di 1975 (statement)
History
- 2026-11-01: add by m2/v0.6.15
W04X2BE665 W04X2BE665
| URI | m2://inv/W04X2BE665 |
|---|---|
| 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.28203#BIP5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples W050D0W9QJ
| URI | m2://inv/W050D0W9QJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neville theta functions#AJ8P, Examples (example)
History
- 2026-11-02: add by m2/dev
Local boundedness W0520CQ888
| URI | m2://inv/W0520CQ888 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local boundedness, Local boundedness (definition). Also Wikidata Q6664291
History
- 2026-11-02: add by m2/dev
W053HPB88K W053HPB88K
| URI | m2://inv/W053HPB88K |
|---|---|
| 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 2212.01916#MOHL (statement). In XTGB5Z08YH/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0
Hybrid height-envelope separation W053MKRRNA
| URI | m2://inv/W053MKRRNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37164#ANJ5, Hybrid height-envelope separation (statement). In B2PG75FSQJ/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Mean value theorem W054YJGK4E
| URI | m2://inv/W054YJGK4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean of a function#2Y74, Mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
W05JK853BS W05JK853BS
| URI | m2://inv/W05JK853BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#0V8G (statement). In V7SN19J84T/e1, proposition 7.17
History
- 2026-10-28: add by m2/v0.4.2
Ronny Hadani W05ME20ED3
| URI | m2://inv/W05ME20ED3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronny Hadani, Ronny Hadani (topic). Also Wikidata Q102300275
History
- 2026-11-02: add by m2/dev
Euler's sum of powers conjecture W05PAZTF1E
| URI | m2://inv/W05PAZTF1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#2ADV, Euler's sum of powers conjecture (statement)
History
- 2026-11-02: add by m2/dev
Serre group W05PT3TRRH
| URI | m2://inv/W05PT3TRRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre group, Serre group (definition). Also Wikidata Q25303688
History
- 2026-11-02: add by m2/dev
Applications W05VJ2EEAX
| URI | m2://inv/W05VJ2EEAX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optional stopping theorem#DLX3, Applications (example)
History
- 2026-11-02: add by m2/dev
W05XC9TANN W05XC9TANN
| URI | m2://inv/W05XC9TANN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#2NI6 (definition). In 4WPYBTARS2/e1, definition 2.33
History
- 2026-10-29: add by m2/v0.4.12
W060SXM1Y4 W060SXM1Y4
| URI | m2://inv/W060SXM1Y4 |
|---|---|
| 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 2110.08714#CUAT (statement). In A3RAXBSWA5/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
Examples W061ZKCYAY
| URI | m2://inv/W061ZKCYAY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubly periodic function#KF0W, Examples (example)
History
- 2026-11-02: add by m2/dev
W0667VRFJ7 W0667VRFJ7
| URI | m2://inv/W0667VRFJ7 |
|---|---|
| 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.02790#N06D (statement). In NB7HZ8W2K2/e1, corollary 33
History
- 2026-10-29: add by m2/v0.4.12
second-order arithmetic W067NYRASX
| URI | m2://inv/W067NYRASX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Second-order arithmetic DC60FYCSPM |
Mentions
- wikidata: Wikidata Q7442973, second-order arithmetic (unknown). Also nLab second-order arithmetic
- wikipedia: Wikipedia Second-order arithmetic, Second-order arithmetic (definition). Also Wikidata Q7442973
History
- 2026-10-26: add by m2/dev
W068S99AW2 W068S99AW2
| URI | m2://inv/W068S99AW2 |
|---|---|
| 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.22909#9NQP (statement)
History
- 2026-11-02: add by m2/v0.6.17
W06D1DGSPR W06D1DGSPR
| URI | m2://inv/W06D1DGSPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#3ZYH (statement). In RGQZVNXWM5/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Benjamin Abram Bernstein W06SVJVKWP
| URI | m2://inv/W06SVJVKWP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Abram Bernstein, Benjamin Abram Bernstein (topic). Also Wikidata Q24238978
History
- 2026-11-02: add by m2/dev
W06T8NDBME W06T8NDBME
| URI | m2://inv/W06T8NDBME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#example-3 (example). In RZP28ERRZV, example, section 39.2
History
- 2026-11-01: add by m2/v0.6.13
Mehler's formula W06V8N3A51
| URI | m2://inv/W06V8N3A51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mehler kernel#ZKIQ, Mehler's formula (statement)
History
- 2026-11-02: add by m2/dev
Lorenz asymmetry coefficient W06W7E3Q7R
| URI | m2://inv/W06W7E3Q7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenz asymmetry coefficient, Lorenz asymmetry coefficient (definition). Also Wikidata Q262736
History
- 2026-11-02: add by m2/dev
Posner's theorem W0739AA65P
| URI | m2://inv/W0739AA65P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Posner's theorem, Posner's theorem (statement). Also Wikidata Q18206272
History
- 2026-11-02: add by m2/dev
W076P93DNZ W076P93DNZ
| URI | m2://inv/W076P93DNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03423#HA69 (statement). In 8C5YCMN81V/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
D. R. Fulkerson W079MBKEQR
| URI | m2://inv/W079MBKEQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MLP6, D. R. Fulkerson (topic)
History
- 2026-11-02: add by m2/dev
edge W07JX3C1VS
| URI | m2://inv/W07JX3C1VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#9J2K, edge (definition)
History
- 2026-11-02: add by m2/dev
W07P47GCWE W07P47GCWE
| URI | m2://inv/W07P47GCWE |
|---|---|
| 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#9RX4 (statement). In JW8HH6EPG2/e1, lemma 3.17
History
- 2026-10-29: add by m2/v0.4.10
Primal ideal W08CVZHVZR
| URI | m2://inv/W08CVZHVZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primal ideal, Primal ideal (definition). Also Wikidata Q7243044
History
- 2026-11-02: add by m2/dev
W08QZGDRGY W08QZGDRGY
| URI | m2://inv/W08QZGDRGY |
|---|---|
| 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 2205.09049#QY30 (statement). In 37S7MNMZ2F/e1, lemma 78
History
- 2026-10-27: add by m2/v0.3.5
W08VF9YDCK W08VF9YDCK
| URI | m2://inv/W08VF9YDCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#NXHT (statement). In SBN06J39DG/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Probabilistic cellular automaton W08W2YQYN1
| URI | m2://inv/W08W2YQYN1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#UUYE, Probabilistic cellular automaton (definition). In WD2NCBV9F0/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Constructions W08ZHFJKJ9
| URI | m2://inv/W08ZHFJKJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small-bias sample space#5C6R, Constructions (definition)
History
- 2026-11-02: add by m2/dev
W096A77220 W096A77220
| URI | m2://inv/W096A77220 |
|---|---|
| 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#EZC1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition W0983NEESN
| URI | m2://inv/W0983NEESN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal one-way hash function#MAV4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Instantaneous reward under \lpfp W098NHSX01
| URI | m2://inv/W098NHSX01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#66Y6, Instantaneous reward under \lpfp (statement). In K6CP8GP51H/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
W099A5KMXX W099A5KMXX
| URI | m2://inv/W099A5KMXX |
|---|---|
| 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 2311.04609#4GY6 (statement). In 66W1NPE62D/e1, theorem 0.2
History
- 2026-10-27: add by m2/v0.3.5
Statement of the lemma W09GK94152
| URI | m2://inv/W09GK94152 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Watson's lemma#IYCE, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
W09MQFKMAM W09MQFKMAM
| URI | m2://inv/W09MQFKMAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#PVKN (statement). In G2PA4KAGRP/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.6
Uses of trigonometry W09PKSCSBR
| URI | m2://inv/W09PKSCSBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#1V7B, Uses of trigonometry (definition)
History
- 2026-11-02: add by m2/dev
dimension, of path constructors W09QABB3J1
| URI | m2://inv/W09QABB3J1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.1/dimension-of-path-constructors, dimension, of path constructors (concept). In N54F33XE07, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Degreewise reconstruction of a homotopy pullback W09QXKDEQS
| URI | m2://inv/W09QXKDEQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21534#HPXZ, Degreewise reconstruction of a homotopy pullback (statement)
History
- 2026-11-02: add by m2/v0.6.18
W0A3GYJCD6 W0A3GYJCD6
| URI | m2://inv/W0A3GYJCD6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#J9RK (example). In ZPT9XCCAPQ/e1, example 1.2.4
History
- 2026-10-31: add by m2/v0.5.6
Bjerknes circulation theorem W0A7XZAA2G
| URI | m2://inv/W0A7XZAA2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential vorticity#OWNM, Bjerknes circulation theorem (statement)
History
- 2026-11-02: add by m2/dev
W0AA6KY8CD W0AA6KY8CD
| URI | m2://inv/W0AA6KY8CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#6IRA (statement). In V8MYP6MBAZ/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Properties W0ABEN6D1W
| URI | m2://inv/W0ABEN6D1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparability#DUI9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition W0ACPNPTE2
| URI | m2://inv/W0ACPNPTE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable cardinal#5HM2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications W0AKE341MF
| URI | m2://inv/W0AKE341MF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field (mathematics)#JKSQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Olbers' paradox W0AMEA3Q0W
| URI | m2://inv/W0AMEA3Q0W |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olbers' paradox, Olbers' paradox (conjecture). Also Wikidata Q33558
History
- 2026-11-02: add by m2/dev
Jacobi point W0AN2C7X6Q
| URI | m2://inv/W0AN2C7X6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#UX9U, Jacobi point (statement)
History
- 2026-11-02: add by m2/dev
Properties of mixed tubes W0AV3RN1WN
| URI | m2://inv/W0AV3RN1WN |
|---|---|
| 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.11793#QD1O, Properties of mixed tubes (statement). In GGCY8Z053Z/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Elaine Chew W0AV50AGQV
| URI | m2://inv/W0AV50AGQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elaine Chew, Elaine Chew (topic). Also Wikidata Q61161151
History
- 2026-11-02: add by m2/dev
Handle decompositions of 3-manifolds W0B0WYZD38
| URI | m2://inv/W0B0WYZD38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Handle decompositions of 3-manifolds, Handle decompositions of 3-manifolds (definition). Also Wikidata Q5647464
History
- 2026-11-02: add by m2/dev
An example W0B5GVWT0X
| URI | m2://inv/W0B5GVWT0X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of Fermat's little theorem#ZO42, An example (example)
History
- 2026-11-02: add by m2/dev
challenging W0BC2123HP
| URI | m2://inv/W0BC2123HP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-74, challenging (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
Real representation W0BC6F8X1V
| URI | m2://inv/W0BC6F8X1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#P9OS, Real representation (definition)
History
- 2026-11-02: add by m2/dev
W0BDHN67NE W0BDHN67NE
| URI | m2://inv/W0BDHN67NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00364#S6IF (statement). In ANR3DHYQPQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Multivariate version of Taylor's theorem W0BE5H6R4W
| URI | m2://inv/W0BE5H6R4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#08XD, Multivariate version of Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
Equitable coloring W0BF7ZHSMG
| URI | m2://inv/W0BF7ZHSMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#HGTK, Equitable coloring (definition)
History
- 2026-11-02: add by m2/dev
Probability Theory and Related Fields W0BT54PZ3Q
| URI | m2://inv/W0BT54PZ3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#LYXL, Probability Theory and Related Fields (definition)
History
- 2026-11-02: add by m2/dev
W0C48ZWZ20 W0C48ZWZ20
| URI | m2://inv/W0C48ZWZ20 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#0Z09 (example). In R2XC1SC9NZ/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
W0C5KBPGYY W0C5KBPGYY
| URI | m2://inv/W0C5KBPGYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#notnotstable-equality-to-set (statement). In N54F33XE07, cor, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
W0C73V2H1G W0C73V2H1G
| URI | m2://inv/W0C73V2H1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-21 (statement). In E59CDZA4DP, prop, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
Uniform constrained coercivity W0C82CV6S7
| URI | m2://inv/W0C82CV6S7 |
|---|---|
| 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.00241#LXHI, Uniform constrained coercivity (statement). In VBRQTN2RXN/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Heyting algebra W0CCZP23H4
| URI | m2://inv/W0CCZP23H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#1290, Heyting algebra (definition)
- wikipedia: Wikipedia List of algebras#P185, Heyting algebra (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#HJQN, Heyting algebra (definition)
History
- 2026-11-02: add by m2/dev
W0CTWHQE9W W0CTWHQE9W
| URI | m2://inv/W0CTWHQE9W |
|---|---|
| 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.16193#6POW (definition). In 1Q0A9HSTVP/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Baum–Connes conjecture W0CTXBDA9S
| URI | m2://inv/W0CTXBDA9S |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#J5UH, Baum–Connes conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Non-Archimedean ordered field W0D72T01Z8
| URI | m2://inv/W0D72T01Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#SD4D, Non-Archimedean ordered field (definition)
History
- 2026-11-02: add by m2/dev
Statements W0DA3D7EHH
| URI | m2://inv/W0DA3D7EHH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five lemma#1Y6Y, Statements (statement)
History
- 2026-11-02: add by m2/dev
cokernel W0DE1N5MFC
| URI | m2://inv/W0DE1N5MFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#JD8J, cokernel (definition)
History
- 2026-11-02: add by m2/dev
Inversion (discrete mathematics) W0DJ6BA2GD
| URI | m2://inv/W0DJ6BA2GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#A31S, Inversion (discrete mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Nagarjuna W0DNB2R1XK
| URI | m2://inv/W0DNB2R1XK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#ADH9, Nagarjuna (unknown)
History
- 2026-11-02: add by m2/dev
W0DPD9SGKA W0DPD9SGKA
| URI | m2://inv/W0DPD9SGKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#YI4U (statement). In 67GE5M1GGD/e1, lemma 5.11
History
- 2026-10-30: add by m2/v0.4.12
Computer-assisted witness W0DRQJCKVJ
| URI | m2://inv/W0DRQJCKVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#RISW, Computer-assisted witness (statement). In XX1J2REXY2/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
group, abelian W0E5D114TG
| URI | m2://inv/W0E5D114TG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/group-abelian, group, abelian (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Nicholas Warner W0E9PENTY5
| URI | m2://inv/W0E9PENTY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59672096, Nicholas Warner (unknown). Also nLab Nicholas Warner
History
- 2026-10-26: add by m2/dev
tetrakis hexahedral graph W0EHZM4VF6
| URI | m2://inv/W0EHZM4VF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115618, tetrakis hexahedral graph (unknown). Also House of Graphs 1343, MathWorld TetrakisHexahedralGraph
History
- 2026-10-26: add by m2/dev
Spurious solutions W0F9QTZ781
| URI | m2://inv/W0F9QTZ781 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis#8SZ6, Spurious solutions (definition)
History
- 2026-11-02: add by m2/dev
Tightness of measures W0FDNEN33F
| URI | m2://inv/W0FDNEN33F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tightness of measures, Tightness of measures (definition). Also Wikidata Q7801650
History
- 2026-11-02: add by m2/dev
W0FE04JJQH W0FE04JJQH
| URI | m2://inv/W0FE04JJQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#V73S (statement). In 65GKPZ15VH/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Transformation of the electromagnetic field W0FGFFMXZ7
| URI | m2://inv/W0FGFFMXZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz transformation#XWQU, Transformation of the electromagnetic field (unknown)
History
- 2026-11-02: add by m2/dev
W0FH86NV7E W0FH86NV7E
| URI | m2://inv/W0FH86NV7E |
|---|---|
| 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.11383#87CS (statement). In DJBZ3V8SQ6/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
W0FK39DSZN W0FK39DSZN
| URI | m2://inv/W0FK39DSZN |
|---|---|
| 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 2106.11898#KK9W (statement). In KXXV5X8AG4/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.6
W0FKFAG2K4 W0FKFAG2K4
| URI | m2://inv/W0FKFAG2K4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#D869 (statement). In TXBXCPP0QH/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.10
Formal definition W0FMWHKFDV
| URI | m2://inv/W0FMWHKFDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyck language#DZJW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Kentaro Hori W0FPHYFENV
| URI | m2://inv/W0FPHYFENV |
|---|---|
| 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#2YQU, Kentaro Hori (unknown)
History
- 2026-11-02: add by m2/dev
Monotonicity of $\mathcal{A}$ W0FR8RF5J1
| URI | m2://inv/W0FR8RF5J1 |
|---|---|
| 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.11027#4IQL, Monotonicity of $\mathcal{A}$ (statement). In 2BBW80EX78/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
W0FTE18HSY W0FTE18HSY
| URI | m2://inv/W0FTE18HSY |
|---|---|
| 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#AV3Y (statement). In KYJJMC50SJ/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Rationality is the exact obstruction W0FYM0JVSF
| URI | m2://inv/W0FYM0JVSF |
|---|---|
| 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.36827#OGJ4, Rationality is the exact obstruction (statement). In VSHAQTB2CA/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
Conjectures W0FZ5TS9G9
| URI | m2://inv/W0FZ5TS9G9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin prime#FSM6, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
Finite closure of a commutant W0G49V0JWA
| URI | m2://inv/W0G49V0JWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14859#I21T, Finite closure of a commutant (statement). In 8TPP7WC7K3/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
W0GD48C9NX W0GD48C9NX
| URI | m2://inv/W0GD48C9NX |
|---|---|
| Kind | definition |
| 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.38206#M17U (definition). In F71MS1F637/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
hectobar W0GHHZ0TYW
| URI | m2://inv/W0GHHZ0TYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106886632, hectobar (definition). Also ProofWiki Definition:Hectobar
History
- 2026-10-26: add by m2/dev
Definitions W0GJWCQ5ZW
| URI | m2://inv/W0GJWCQ5ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equality (mathematics)#CILL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Brahmagupta–Fibonacci two-square identity W0GMFPMVA6
| URI | m2://inv/W0GMFPMVA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#HSG7, Brahmagupta–Fibonacci two-square identity (statement)
History
- 2026-11-02: add by m2/dev
W0GT5KP3F1 W0GT5KP3F1
| URI | m2://inv/W0GT5KP3F1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#X0U1 (definition). In W4TYN4PGE8/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.3.5
W0GTD1GG6M W0GTD1GG6M
| URI | m2://inv/W0GTD1GG6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30664#MJ1C (statement). In ZZGDNKDVJW/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Jacob Bedrossian W0GY9VT6V9
| URI | m2://inv/W0GY9VT6V9 |
|---|---|
| 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#61SE, Jacob Bedrossian (unknown)
History
- 2026-11-02: add by m2/dev
Similarity measure W0H6HBFH1Z
| URI | m2://inv/W0H6HBFH1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity measure, Similarity measure (definition). Also Wikidata Q29017317
History
- 2026-11-02: add by m2/dev
order, non-strict W0H8G6RDNC
| URI | m2://inv/W0H8G6RDNC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/order-non-strict, order, non-strict (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Mamikon Mnatsakanian W0HDNM163A
| URI | m2://inv/W0HDNM163A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mamikon Mnatsakanian, Mamikon Mnatsakanian (topic). Also Wikidata Q6745676
History
- 2026-11-02: add by m2/dev
Jean A. Larson W0HPTZ8SEN
| URI | m2://inv/W0HPTZ8SEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WKVQ, Jean A. Larson (topic)
- wikipedia: Wikipedia List of women logicians#NQ4C, Jean A. Larson (topic)
History
- 2026-11-02: add by m2/dev
W0HVK99X9R W0HVK99X9R
| URI | m2://inv/W0HVK99X9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2511.15212#HCL2 (statement). In W99XBH6X5N/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.0
W0J4ZGDJE7 W0J4ZGDJE7
| URI | m2://inv/W0J4ZGDJE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#4WET (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notation W0J536757G
| URI | m2://inv/W0J536757G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rafael Bombelli#BV4Q, Notation (definition)
History
- 2026-11-02: add by m2/dev
W0JA8G933X W0JA8G933X
| URI | m2://inv/W0JA8G933X |
|---|---|
| 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 2503.08018#533B (statement). In TN93YFN45W/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
Examples W0JB8G3R6D
| URI | m2://inv/W0JB8G3R6D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan's property (T)#WN1Q, Examples (example)
History
- 2026-11-02: add by m2/dev
W0JHGGSY71 W0JHGGSY71
| URI | m2://inv/W0JHGGSY71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13392#1ASK (statement). In 2FVND41HVS/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
W0JS7WT45W W0JS7WT45W
| URI | m2://inv/W0JS7WT45W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 71.11
History
- 2026-11-01: add by m2/v0.6.13
Properties W0JZGXSND3
| URI | m2://inv/W0JZGXSND3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub icosidodecadodecahedron#NZVW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Centered subpermanents; , Lemma 3.1 W0K0RD4P3Y
| URI | m2://inv/W0K0RD4P3Y |
|---|---|
| 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.31794#3KK2, Centered subpermanents; , Lemma 3.1 (statement). In MW2Y7V0RND/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Brezis–Gallouet inequality W0K1G2M6ST
| URI | m2://inv/W0K1G2M6ST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#ZC4L, Brezis–Gallouet inequality (statement)
History
- 2026-11-02: add by m2/dev
Aleksandr Khinchin W0K6H8V23G
| URI | m2://inv/W0K6H8V23G |
|---|---|
| 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#459P, Aleksandr Khinchin (topic)
History
- 2026-11-02: add by m2/dev
W0K89B3K3W W0K89B3K3W
| URI | m2://inv/W0K89B3K3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#VT9K (statement). In X765ZXXVC3/e1, theorem 4.25
History
- 2026-10-29: add by m2/v0.4.12
Pushdown automaton W0KEYNHD9Y
| URI | m2://inv/W0KEYNHD9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushdown automaton, Pushdown automaton (definition). Also Wikidata Q751443
History
- 2026-11-02: add by m2/dev
W0M50SSXTV W0M50SSXTV
| URI | m2://inv/W0M50SSXTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#Q8JU (statement). In 5ZPSZFE08Q/e1, corollary 6.7
History
- 2026-10-29: add by m2/v0.4.10
Outputting an empirical measure W0M55JFZZ1
| URI | m2://inv/W0M55JFZZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#4711, Outputting an empirical measure (statement). In S1MENYEAG5/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.3.5
Brownian bridge W0M7FN351Q
| URI | m2://inv/W0M7FN351Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#CA2W, Brownian bridge (definition)
- wikipedia: Wikipedia List of statistics articles#HXLM, Brownian bridge (definition)
History
- 2026-11-02: add by m2/dev
W0ME66WA0V W0ME66WA0V
| URI | m2://inv/W0ME66WA0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#RKAZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
W0MFEV63FB W0MFEV63FB
| URI | m2://inv/W0MFEV63FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.05329#YSQQ (statement). In DZV8X6MNCH/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.0
Legendre's constant W0MG29QADE
| URI | m2://inv/W0MG29QADE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q73026, Legendre's constant (object). Also MathWorld LegendresConstant
- wikipedia: Wikipedia Legendre's constant, Legendre's constant (object). Also Wikidata Q73026
History
- 2026-10-26: add by m2/dev
survivorship bias W0MPCGP86Z
| URI | m2://inv/W0MPCGP86Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#L348, survivorship bias (definition)
History
- 2026-11-02: add by m2/dev
W0N2176F0P W0N2176F0P
| URI | m2://inv/W0N2176F0P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06463#L429 (example). In 3WWY9K1K9V/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
W0N31YTSYE W0N31YTSYE
| URI | m2://inv/W0N31YTSYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#0JNK (statement). In YMY0NNSM27/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.6
W0N333NJ1H W0N333NJ1H
| URI | m2://inv/W0N333NJ1H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
Glass, David W0N7C6E3V1
| URI | m2://inv/W0N7C6E3V1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5XA8, Glass, David (unknown)
History
- 2026-11-02: add by m2/dev
Rate of response W0N9R0ZE0N
| URI | m2://inv/W0N9R0ZE0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of response, Rate of response (definition). Also Wikidata Q7295541
History
- 2026-11-02: add by m2/dev
Frobenius determinants W0NC6EQ0EB
| URI | m2://inv/W0NC6EQ0EB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#example-1, Frobenius determinants (example). In RZP28ERRZV, example, section 78.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem W0NDZAAESH
| URI | m2://inv/W0NDZAAESH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#9WDD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Example W0NGN39KR8
| URI | m2://inv/W0NGN39KR8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication algorithm#LMFB, Example (example)
History
- 2026-11-02: add by m2/dev
Willem van Est W0NHHJPF7C
| URI | m2://inv/W0NHHJPF7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3901234, Willem van Est (unknown). Also nLab Willem van Est
History
- 2026-10-26: add by m2/dev
basis W0NM26SXP1
| URI | m2://inv/W0NM26SXP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#9ZQ6, basis (statement). In 6W9H24A378/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
The set of Gateaux differentiability points of the generalised $\L^\infty$ envelope W0NS4Z7S5B
| URI | m2://inv/W0NS4Z7S5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#BM6E, The set of Gateaux differentiability points of the generalised $\L^\infty$ envelope (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tom Duff W0P5Z6F4TS
| URI | m2://inv/W0P5Z6F4TS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SIW9, Tom Duff (unknown)
History
- 2026-11-02: add by m2/dev
fermion W0P5ZW91Z8
| URI | m2://inv/W0P5ZW91Z8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44363, fermion (unknown). Also nLab fermion
History
- 2026-10-26: add by m2/dev
Maxima and minima W0PEGX0Y3A
| URI | m2://inv/W0PEGX0Y3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#C1L1, Maxima and minima (definition)
History
- 2026-11-02: add by m2/dev
Henry Charles McWeeney W0PJMZ8JRD
| URI | m2://inv/W0PJMZ8JRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Charles McWeeney, Henry Charles McWeeney (topic). Also Wikidata Q64683681
History
- 2026-11-02: add by m2/dev
Examples W0PNZFPWVQ
| URI | m2://inv/W0PNZFPWVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient theorem#Y1TV, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples W0PQJ2W2VA
| URI | m2://inv/W0PQJ2W2VA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiorthogonal decomposition#R2S8, Examples (example)
History
- 2026-11-02: add by m2/dev
CRCK KEYGEN W0PXJR0CP7
| URI | m2://inv/W0PXJR0CP7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keygen#8L0Q, CRCK KEYGEN (unknown)
History
- 2026-11-02: add by m2/dev
Imponderable fluid W0Q0GC2WYE
| URI | m2://inv/W0Q0GC2WYE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#ETWT, Imponderable fluid (unknown)
History
- 2026-11-02: add by m2/dev
W0Q2HT402D W0Q2HT402D
| URI | m2://inv/W0Q2HT402D |
|---|---|
| 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.17569#LPVD (statement). In ERE1EWGZA3/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Regular MHD solution W0Q7ZMYGR0
| URI | m2://inv/W0Q7ZMYGR0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13248#RU2J, Regular MHD solution (definition). In MGMC5SREP3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Erdos W0QDNDX03J
| URI | m2://inv/W0QDNDX03J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1AN0, Erdos (definition)
History
- 2026-11-02: add by m2/dev
Structure of pointwise equivariant channels W0QKF8B4PR
| URI | m2://inv/W0QKF8B4PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#8K0V, Structure of pointwise equivariant channels (statement)
History
- 2026-11-01: add by m2/v0.6.15
W0QKZNRW4W W0QKZNRW4W
| URI | m2://inv/W0QKZNRW4W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-73 (exercise). In E59CDZA4DP, exercise, section 1.8.7
History
- 2026-11-01: add by m2/v0.6.13
W0QNMVES18 W0QNMVES18
| URI | m2://inv/W0QNMVES18 |
|---|---|
| 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.39260#SZ31 (statement). In ZNDB1AZZSA/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Nash's theorem W0QTBSQTPS
| URI | m2://inv/W0QTBSQTPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128693310, Nash's theorem (statement). Also EoM Nash_theorem_(in_game_theory), MathWorld NashsTheorem
History
- 2026-10-26: add by m2/dev
W0QYBAVVSN W0QYBAVVSN
| URI | m2://inv/W0QYBAVVSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#VWMR (statement). In MRR92GQNZE/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
Chehrzad Shakiban W0R17AQ7J2
| URI | m2://inv/W0R17AQ7J2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chehrzad Shakiban, Chehrzad Shakiban (topic). Also Wikidata Q102145485
History
- 2026-11-02: add by m2/dev
W0RCVCGB4K W0RCVCGB4K
| URI | m2://inv/W0RCVCGB4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:h-set-uip-K (statement). In N54F33XE07, thm, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Applications W0RFK30EXM
| URI | m2://inv/W0RFK30EXM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph edit distance#H6G7, Applications (example)
History
- 2026-11-02: add by m2/dev
Gunnar Kulldorff W0RHAJMETK
| URI | m2://inv/W0RHAJMETK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gunnar Kulldorff, Gunnar Kulldorff (topic). Also Wikidata Q21192818
History
- 2026-11-02: add by m2/dev
Odds algorithm W0RP56Z1JB
| URI | m2://inv/W0RP56Z1JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#QIRH, Odds algorithm (definition)
History
- 2026-11-02: add by m2/dev
Example W0RQCW1900
| URI | m2://inv/W0RQCW1900 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander–Spanier cohomology#CMAK, Example (example)
History
- 2026-11-02: add by m2/dev
Weak/Pull-back Set Attractor W0RY8WGKDY
| URI | m2://inv/W0RY8WGKDY |
|---|---|
| Kind | definition |
| 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.06321#FWN7, Weak/Pull-back Set Attractor (definition). In PGV1116XX4/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
W0S072E15X W0S072E15X
| URI | m2://inv/W0S072E15X |
|---|---|
| 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 2307.13930#0B4U (statement). In SVDPVAKW4P/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
The complex torus W0S3J87AYF
| URI | m2://inv/W0S3J87AYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/complex-structure.tex#example-4, The complex torus (example). In RZP28ERRZV, example, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
Christoph Zenger W0S5BWYZNP
| URI | m2://inv/W0S5BWYZNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoph Zenger, Christoph Zenger (topic). Also Wikidata Q27376
History
- 2026-11-02: add by m2/dev
Relation to the law of cosines W0S6AX2BBR
| URI | m2://inv/W0S6AX2BBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization identity#VPAF, Relation to the law of cosines (statement)
History
- 2026-11-02: add by m2/dev
W0S8EHCJES W0S8EHCJES
| URI | m2://inv/W0S8EHCJES |
|---|---|
| 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 2306.01410#86B3 (statement). In BE0P5W2W3T/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
Carl-Erik Sjöstedt W0S98E77PB
| URI | m2://inv/W0S98E77PB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl-Erik Sjöstedt, Carl-Erik Sjöstedt (topic). Also Wikidata Q25686674
History
- 2026-11-02: add by m2/dev
List of countries and dependencies by population W0SQ8EDE4F
| URI | m2://inv/W0SQ8EDE4F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries and dependencies by population, List of countries and dependencies by population (topic). Also Wikidata Q712280
History
- 2026-11-02: add by m2/dev
Combinatorial biology W0SWKVM3NZ
| URI | m2://inv/W0SWKVM3NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial biology, Combinatorial biology (definition). Also Wikidata Q5150819
History
- 2026-11-02: add by m2/dev
W0SWKWEF34 W0SWKWEF34
| URI | m2://inv/W0SWKWEF34 |
|---|---|
| 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 2207.11097#JWHH (definition). In 13H5BTAXHF/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.5
Giuseppe Bagnera W0SXBS73A3
| URI | m2://inv/W0SXBS73A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Bagnera (mathematician), Giuseppe Bagnera (topic). Also Wikidata Q736487
History
- 2026-11-02: add by m2/dev
W0T13WM113 W0T13WM113
| URI | m2://inv/W0T13WM113 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2047#IO58 (statement). In F3MWRNBNED/e1, theorem 6.8
History
- 2026-10-27: add by m2/v0.3.5
Tião Bocalom W0T2TAV6GK
| URI | m2://inv/W0T2TAV6GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tião Bocalom, Tião Bocalom (topic). Also Wikidata Q5684356
History
- 2026-11-02: add by m2/dev
A shared PDE--boundary point can be singular or benign W0TEHX47WW
| URI | m2://inv/W0TEHX47WW |
|---|---|
| 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.04357#I48J, A shared PDE--boundary point can be singular or benign (example). In 6FY8BVP1F3/e1, example B.2
History
- 2026-10-29: add by m2/v0.4.12
constant, defined W0TG9755KK
| URI | m2://inv/W0TG9755KK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/constant-defined, constant, defined (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
W0TP04MKGV W0TP04MKGV
| URI | m2://inv/W0TP04MKGV |
|---|---|
| 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.27049#G6VA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Correlation with bounded-degree polynomial phases W0TRJVRATA
| URI | m2://inv/W0TRJVRATA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#P23N, Correlation with bounded-degree polynomial phases (statement). In ZZER8ZBSCR/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
W0TY2FFH3C W0TY2FFH3C
| URI | m2://inv/W0TY2FFH3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20556#T49J (statement)
History
- 2026-11-02: add by m2/v0.6.18
W0VBY0M09D W0VBY0M09D
| URI | m2://inv/W0VBY0M09D |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06556#PDXL (problem). In KW8C7VE9XR/e1, problem 40
History
- 2026-10-29: add by m2/v0.4.10
Example W0VDY9B5G1
| URI | m2://inv/W0VDY9B5G1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power transform#HNLT, Example (example)
History
- 2026-11-02: add by m2/dev
Cube envelopes W0VJZHTZNF
| URI | m2://inv/W0VJZHTZNF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#IMPI, Cube envelopes (definition). In G3E1P350Z6/e1, definition 7.14
History
- 2026-10-29: add by m2/v0.4.10
Conjectures W0VKKHAAZ8
| URI | m2://inv/W0VKKHAAZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group#Z5Y5, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
Total subset W0VRP9KG27
| URI | m2://inv/W0VRP9KG27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total subset, Total subset (definition). Also Wikidata Q96410471
History
- 2026-11-02: add by m2/dev
W0VY5J101J W0VY5J101J
| URI | m2://inv/W0VY5J101J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#JL29 (statement). In MDZFW5GACV/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
W0VZQKJKT2 W0VZQKJKT2
| URI | m2://inv/W0VZQKJKT2 |
|---|---|
| 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.13847#K8BS (statement). In S4FHV821A2/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Properties W0W2KQKT29
| URI | m2://inv/W0W2KQKT29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter complex#5PGP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Functional CLT W0W56X7GRH
| URI | m2://inv/W0W56X7GRH |
|---|---|
| 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.29023#KJPX, Functional CLT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-equivalence in general W0W74JV9P0
| URI | m2://inv/W0W74JV9P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#RSSR, Non-equivalence in general (statement). In T9HZXHTQBJ/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.6
complemented lattice W0WPH38FYP
| URI | m2://inv/W0WPH38FYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complemented lattice ZT47BK9Y6K |
Mentions
- wikidata: Wikidata Q5156434, complemented lattice (unknown). Also MathWorld ComplementedLattice, nLab complemented lattice
- wikipedia: Wikipedia Complemented lattice, Complemented lattice (definition). Also Wikidata Q5156434
History
- 2026-10-26: add by m2/dev
Applications of fractals W0WRYMN1YW
| URI | m2://inv/W0WRYMN1YW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal#KE67, Applications of fractals (unknown)
History
- 2026-11-02: add by m2/dev
Chern–Simons form W0WS4JE3NH
| URI | m2://inv/W0WS4JE3NH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Chern–Simons form X83ECKQ6G8 |
Mentions
- wikidata: Wikidata Q375489, Chern–Simons form (concept). Also EoM Chern-Simons_functional, nLab Chern-Simons element
- wikipedia: Wikipedia Chern–Simons form, Chern–Simons form (definition). Also Wikidata Q375489
History
- 2026-10-26: add by m2/dev
Properties W0WYA8JQT3
| URI | m2://inv/W0WYA8JQT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilsemigroup#CZVY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Other models W0WZPV1G69
| URI | m2://inv/W0WZPV1G69 |
|---|---|
| Kind | problem |
| 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.15086#CKQQ, Other models (problem). In V60MVF3KQ1/e1, problem 8.4
History
- 2026-10-28: add by m2/v0.4.2
W0X3F6Q763 W0X3F6Q763
| URI | m2://inv/W0X3F6Q763 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06463#E9F8 (statement). In 3WWY9K1K9V/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Hooper's paradox W0X3MSZCRB
| URI | m2://inv/W0X3MSZCRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hooper's paradox, Hooper's paradox (statement). Also Wikidata Q98390306
History
- 2026-11-02: add by m2/dev
Nearest neighbor graph W0XCRDVNA2
| URI | m2://inv/W0XCRDVNA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearest neighbor graph, Nearest neighbor graph (definition). Also Wikidata Q2855103
History
- 2026-11-02: add by m2/dev
Special cases W0XNYCZ7TK
| URI | m2://inv/W0XNYCZ7TK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume form#DJXD, Special cases (statement)
History
- 2026-11-02: add by m2/dev
W0XVN17KG3 W0XVN17KG3
| URI | m2://inv/W0XVN17KG3 |
|---|---|
| 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.21043#UANK (statement)
History
- 2026-11-02: add by m2/v0.6.18
W0XW8ZD4TE W0XW8ZD4TE
| URI | m2://inv/W0XW8ZD4TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#VIZ9 (statement). In 3D0GJXDY11/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
W0XZW6AWW5 W0XZW6AWW5
| URI | m2://inv/W0XZW6AWW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#9SJ9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples W0Y3HG964M
| URI | m2://inv/W0Y3HG964M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gδ set#3NZ2, Examples (example)
History
- 2026-11-02: add by m2/dev
Synergetics W0Y7ADF54Q
| URI | m2://inv/W0Y7ADF54Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synergetics (Fuller), Synergetics (definition). Also Wikidata Q7662377
History
- 2026-11-02: add by m2/dev
W0Y9EZWF4P W0Y9EZWF4P
| URI | m2://inv/W0Y9EZWF4P |
|---|---|
| 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.34066#DBM3 (statement). In F0Y3DZCEH0/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Indefinite inner product space W0YFYVKNXC
| URI | m2://inv/W0YFYVKNXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite inner product space, Indefinite inner product space (definition). Also Wikidata Q1787158
History
- 2026-11-02: add by m2/dev
Antonia J. Jones W0YGTT2GYT
| URI | m2://inv/W0YGTT2GYT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonia J. Jones, Antonia J. Jones (topic). Also Wikidata Q102192099
History
- 2026-11-02: add by m2/dev
Proposition W0YH75XQKD
| URI | m2://inv/W0YH75XQKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral radius#5MGC, Proposition (statement)
History
- 2026-11-02: add by m2/dev
W0YYWAEMR8 W0YYWAEMR8
| URI | m2://inv/W0YYWAEMR8 |
|---|---|
| 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.14154#TQE3 (statement). In 8X6PXX2TRA/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
Theorem W0Z06Z86VG
| URI | m2://inv/W0Z06Z86VG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#H2GQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
W0Z8MKPDM1 W0Z8MKPDM1
| URI | m2://inv/W0Z8MKPDM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#YGHX (statement). In V7VCEA0VAA/e1, theorem 3.17
History
- 2026-10-29: add by m2/v0.4.10
Applications W0ZBCN9H9V
| URI | m2://inv/W0ZBCN9H9V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal curvature#KZD9, Applications (example)
History
- 2026-11-02: add by m2/dev
W0ZE09VMNV W0ZE09VMNV
| URI | m2://inv/W0ZE09VMNV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Examples W0ZF08XGWD
| URI | m2://inv/W0ZF08XGWD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-founded relation#WKPM, Examples (example)
History
- 2026-11-02: add by m2/dev
Estimating equations W0ZG4HSFC5
| URI | m2://inv/W0ZG4HSFC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GBZK, Estimating equations (definition)
History
- 2026-11-02: add by m2/dev
Fundamental lemma of sieve theory W0ZH6WR0GX
| URI | m2://inv/W0ZH6WR0GX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#NXCS, Fundamental lemma of sieve theory (statement)
- wikipedia: Wikipedia List of lemmas#VB46, Fundamental lemma of sieve theory (statement)
History
- 2026-11-02: add by m2/dev
Numerical solutions of stochastic differential equations W0ZHZ4NJ87
| URI | m2://inv/W0ZHZ4NJ87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic differential equation#H0VT, Numerical solutions of stochastic differential equations (unknown)
History
- 2026-11-02: add by m2/dev
Properties W0ZQMAYYX8
| URI | m2://inv/W0ZQMAYYX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer product#K0US, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ivo Schneider W0ZTMRP11X
| URI | m2://inv/W0ZTMRP11X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivo Schneider, Ivo Schneider (topic). Also Wikidata Q1675802
History
- 2026-11-02: add by m2/dev
Irene Moroz W0ZVCZCSG4
| URI | m2://inv/W0ZVCZCSG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene Moroz, Irene Moroz (topic). Also Wikidata Q57624489
History
- 2026-11-02: add by m2/dev
W0ZZTP874Z W0ZZTP874Z
| URI | m2://inv/W0ZZTP874Z |
|---|---|
| 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.20119#6AME (statement)
History
- 2026-11-02: add by m2/v0.6.18