Inventory rows WX
The cards of the rows of the inventory whose ids start with WX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Confirmatory factor analysis WX01T03VWT
| URI | m2://inv/WX01T03VWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KXGK, Confirmatory factor analysis (definition)
History
- 2026-11-02: add by m2/dev
Key management system WX0KDVX1BG
| URI | m2://inv/WX0KDVX1BG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key management#CKUM, Key management system (unknown)
History
- 2026-11-02: add by m2/dev
alpha–beta pruning WX0RD6MWXJ
| URI | m2://inv/WX0RD6MWXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q570496, alpha–beta pruning (unknown). Also MathWorld Alpha-BetaPruning
- wikipedia: Wikipedia Alpha–beta pruning, Alpha–beta pruning (definition). Also Wikidata Q570496
History
- 2026-10-26: add by m2/dev
WX0XNPT72C WX0XNPT72C
| URI | m2://inv/WX0XNPT72C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-18 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Twisted diagonal WX0YQ8DSX7
| URI | m2://inv/WX0YQ8DSX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted diagonal (simplicial sets), Twisted diagonal (definition). Also Wikidata Q134300092
History
- 2026-11-02: add by m2/dev
Josh Samuels WX15ZB1VV5
| URI | m2://inv/WX15ZB1VV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#2UFN, Josh Samuels (unknown)
History
- 2026-11-02: add by m2/dev
semisimple ring WX177TFZD2
| URI | m2://inv/WX177TFZD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18192466, semisimple ring (unknown). Also MathWorld SemisimpleRing, nLab semisimple ring
History
- 2026-10-26: add by m2/dev
WX1A8F7EJY WX1A8F7EJY
| URI | m2://inv/WX1A8F7EJY |
|---|---|
| Kind | definition |
| 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#M6VJ (definition). In X1J5HKPS3R/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
WX1D879Y5A WX1D879Y5A
| URI | m2://inv/WX1D879Y5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-1 (example). In Y91XFCEVHQ, example, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions WX1MDCD24A
| URI | m2://inv/WX1MDCD24A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally connected space#FPXJ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Coupling WX1MJNEPH5
| URI | m2://inv/WX1MJNEPH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coupling (probability), Coupling (definition). Also Wikidata Q1784133
History
- 2026-11-02: add by m2/dev
Gottesman–Knill theorem WX1R76VDQ9
| URI | m2://inv/WX1R76VDQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5588002, Gottesman–Knill theorem (statement). Also Wikidata Q5588002
- thousand_plus: thousand_plus Q5588002, Gottesman–Knill theorem (statement). Also Wikidata Q5588002, Wikipedia Gottesman–Knill theorem
- wikipedia: Wikipedia Gottesman–Knill theorem, Gottesman–Knill theorem (statement). Also Wikidata Q5588002
History
- 2026-10-26: add by m2/dev
Unisolvent functions WX1TGCMXQC
| URI | m2://inv/WX1TGCMXQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#37PF, Unisolvent functions (definition)
History
- 2026-11-02: add by m2/dev
A nonempty reference family WX1WBN70FN
| URI | m2://inv/WX1WBN70FN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#F5RY, A nonempty reference family (example). In HF7YNMW39N/e1, example 14.5
History
- 2026-10-27: add by m2/v0.4.0
season WX2DZW32B0
| URI | m2://inv/WX2DZW32B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24384, season (definition). Also ProofWiki Definition:Time/Unit/Season
History
- 2026-10-26: add by m2/dev
WX2Q1GS604 WX2Q1GS604
| URI | m2://inv/WX2Q1GS604 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#definition-1 (definition). In RZP28ERRZV, definition, section 99.1
History
- 2026-11-01: add by m2/v0.6.13
Challenging WX2V2WGDZY
| URI | m2://inv/WX2V2WGDZY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-44, Challenging (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
WX2WEBERCQ WX2WEBERCQ
| URI | m2://inv/WX2WEBERCQ |
|---|---|
| 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.22074#OHSV (statement). In F3BKXXPR3K/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Dodecahedral prism WX30ZY2G91
| URI | m2://inv/WX30ZY2G91 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecahedral prism, Dodecahedral prism (object). Also Wikidata Q5287806
History
- 2026-11-02: add by m2/dev
Center WX323V91N3
| URI | m2://inv/WX323V91N3 |
|---|---|
| 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#FBT8, Center (unknown)
History
- 2026-11-02: add by m2/dev
WX34XXNFVQ WX34XXNFVQ
| URI | m2://inv/WX34XXNFVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/complete-ce-sets.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Churchill Eisenhart WX379AT2FC
| URI | m2://inv/WX379AT2FC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Churchill Eisenhart, Churchill Eisenhart (topic). Also Wikidata Q5118176
History
- 2026-11-02: add by m2/dev
A single time parameter, statement of theorem WX3BPQEQJX
| URI | m2://inv/WX3BPQEQJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cerf theory#YQUR, A single time parameter, statement of theorem (statement)
History
- 2026-11-02: add by m2/dev
Degree-Rips bifiltration WX3C2ZCM41
| URI | m2://inv/WX3C2ZCM41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree-Rips bifiltration, Degree-Rips bifiltration (definition). Also Wikidata Q120069183
History
- 2026-11-02: add by m2/dev
WX3EEWE33S WX3EEWE33S
| URI | m2://inv/WX3EEWE33S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-29 (proof). In VNMV985MXX, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
WX3R9JC717 WX3R9JC717
| URI | m2://inv/WX3R9JC717 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#H1Q1 (statement). In PREJREM4BB/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
KP-II for rapidly decaying coefficients WX3WQ7GK6J
| URI | m2://inv/WX3WQ7GK6J |
|---|---|
| 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.13753#ZAM4, KP-II for rapidly decaying coefficients (statement). In AHM0PBKZZN/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
WX3ZEAQXN8 WX3ZEAQXN8
| URI | m2://inv/WX3ZEAQXN8 |
|---|---|
| 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 2610.12054#76V5 (statement). In 1A01NFHBGA/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
WX42E8D1PM WX42E8D1PM
| URI | m2://inv/WX42E8D1PM |
|---|---|
| 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.06764#4YGI (statement). In MSWV3MJ5CE/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
RSA-480 WX4444WNWB
| URI | m2://inv/WX4444WNWB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#2A8C, RSA-480 (unknown)
History
- 2026-11-02: add by m2/dev
WX45PCG65K WX45PCG65K
| URI | m2://inv/WX45PCG65K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#definition-1 (definition). In 649HGZKE96, definition, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Szilard engine WX4FEEX062
| URI | m2://inv/WX4FEEX062 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy in thermodynamics and information theory#7LB4, Szilard engine (unknown)
History
- 2026-11-02: add by m2/dev
WX4QHYZ35Y WX4QHYZ35Y
| URI | m2://inv/WX4QHYZ35Y |
|---|---|
| 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#SXVW (statement). In BDN507RN7J/e1, proposition 4.5.7
History
- 2026-10-30: add by m2/v0.4.12
WX50HH73V4 WX50HH73V4
| URI | m2://inv/WX50HH73V4 |
|---|---|
| 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 2509.21444#DNZS (statement). In CTVPA2FQT1/e1, lemma 4.2.1
History
- 2026-10-27: add by m2/v0.4.0
WX50STQKEN WX50STQKEN
| URI | m2://inv/WX50STQKEN |
|---|---|
| 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 2411.02694#QHUV (statement). In A8EK2ARN5Q/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Nonlinear weak-coupling localization WX558T5PJC
| URI | m2://inv/WX558T5PJC |
|---|---|
| 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.29565#LL33, Nonlinear weak-coupling localization (statement)
History
- 2026-11-01: add by m2/v0.6.15
WX576JP5NY WX576JP5NY
| URI | m2://inv/WX576JP5NY |
|---|---|
| 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.21972#YEGJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
WX5BG67VPR WX5BG67VPR
| URI | m2://inv/WX5BG67VPR |
|---|---|
| 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.20077#8WZZ (statement). In W5XRKWDADE/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
Short geodesic graphs WX5JBWEPVK
| URI | m2://inv/WX5JBWEPVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12351#HEJE, Short geodesic graphs (statement). In G1S5YM8TSR/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Master theorem (analysis of algorithms) WX5M0ZPJM5
| URI | m2://inv/WX5M0ZPJM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#N2VV, Master theorem (analysis of algorithms) (statement)
History
- 2026-11-02: add by m2/dev
WX5PBK7ZMB WX5PBK7ZMB
| URI | m2://inv/WX5PBK7ZMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#0U45 (statement). In D0XH7W96T3/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
Arthur Lyon Bowley WX5PG495RX
| URI | m2://inv/WX5PG495RX |
|---|---|
| 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#BU9X, Arthur Lyon Bowley (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GSR2, Arthur Lyon Bowley (unknown)
History
- 2026-11-02: add by m2/dev
WX5WK90W96 WX5WK90W96
| URI | m2://inv/WX5WK90W96 |
|---|---|
| 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.07673#KEDO (statement). In 37B1MPV8GX/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
WX61APJSZP WX61APJSZP
| URI | m2://inv/WX61APJSZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#UL0K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oberliga West/West German Championship WX64DYQ8EF
| URI | m2://inv/WX64DYQ8EF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#XF4E, Oberliga West/West German Championship (unknown)
History
- 2026-11-02: add by m2/dev
Shimizu L-function WX66ZTNMQH
| URI | m2://inv/WX66ZTNMQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shimizu L-function, Shimizu L-function (definition). Also Wikidata Q7496872
History
- 2026-11-02: add by m2/dev
WX6CQ971J6 WX6CQ971J6
| URI | m2://inv/WX6CQ971J6 |
|---|---|
| Kind | conjecture |
| 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.06340#AWCQ (conjecture). In PKNZPECH82/e1, conjecture 11.2
History
- 2026-10-29: add by m2/v0.4.10
WX6DWQH9S2 WX6DWQH9S2
| URI | m2://inv/WX6DWQH9S2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 29.7
History
- 2026-11-01: add by m2/v0.6.13
Multitrait-multimethod matrix WX6H5A4V5C
| URI | m2://inv/WX6H5A4V5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M8RO, Multitrait-multimethod matrix (definition)
History
- 2026-11-02: add by m2/dev
WX6JGAJNZ8 WX6JGAJNZ8
| URI | m2://inv/WX6JGAJNZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#HGGB (statement). In 5PN85N6EJF/e1, lemma 5.4
History
- 2026-10-31: add by m2/v0.5.6
transport WX6RVN8CMN
| URI | m2://inv/WX6RVN8CMN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.3/transport, transport (concept). In N54F33XE07, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Equivalent definitions WX6V7BVY5B
| URI | m2://inv/WX6V7BVY5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate normal distribution#P4YV, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
Wiener process WX6ZS5F37R
| URI | m2://inv/WX6ZS5F37R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#0OZ7, Wiener process (definition)
History
- 2026-11-02: add by m2/dev
WX7607ATY4 WX7607ATY4
| URI | m2://inv/WX7607ATY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#WVGN (statement). In F1CYVYK7YB/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Modular arithmetic WX7AS63P2S
| URI | m2://inv/WX7AS63P2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#QQVM, Modular arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Catastrophic cancellation WX7DJ5PG8R
| URI | m2://inv/WX7DJ5PG8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7WIE, Catastrophic cancellation (definition)
History
- 2026-11-02: add by m2/dev
Leopold Pars WX7MS78KRT
| URI | m2://inv/WX7MS78KRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leopold Pars, Leopold Pars (topic). Also Wikidata Q37736693
History
- 2026-11-02: add by m2/dev
Concave pyritohedral dodecahedron WX7NX6X9G1
| URI | m2://inv/WX7NX6X9G1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecahedron#BPJ7, Concave pyritohedral dodecahedron (unknown)
History
- 2026-11-02: add by m2/dev
Chebyshev polynomial of the first kind WX864C7636
| URI | m2://inv/WX864C7636 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q98479450, Chebyshev polynomial of the first kind (unknown). Also MathWorld ChebyshevPolynomialoftheFirstKind, OEIS A028297
History
- 2026-10-26: add by m2/dev
WX8BX87E3A WX8BX87E3A
| URI | m2://inv/WX8BX87E3A |
|---|---|
| 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 2408.03317#V3XR (statement). In T2ESY2PE1R/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
List of things named after Emil Artin WX8E6ZJKJ4
| URI | m2://inv/WX8E6ZJKJ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin, List of things named after Emil Artin (topic). Also Wikidata Q16947535
History
- 2026-11-02: add by m2/dev
Zero-dimensional calculation WX8J15A3QV
| URI | m2://inv/WX8J15A3QV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#I0HH, Zero-dimensional calculation (statement). In XDTM624YPE/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
WX8M8K4FBP WX8M8K4FBP
| URI | m2://inv/WX8M8K4FBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#IHOI (statement). In PA6JQDSKQT/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
WX8N4CQQN0 WX8N4CQQN0
| URI | m2://inv/WX8N4CQQN0 |
|---|---|
| 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 2610.13271#ORTX (statement). In G8ZEBKZY8M/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
WX8W66D9CH WX8W66D9CH
| URI | m2://inv/WX8W66D9CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#HQDZ (statement). In F1CYVYK7YB/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
WX90B5D95G WX90B5D95G
| URI | m2://inv/WX90B5D95G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#XFO4 (statement). In D2247CRPPE/e1, proposition 27
History
- 2026-10-30: add by m2/v0.4.12
minimal prime WX9BVER4ZM
| URI | m2://inv/WX9BVER4ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6865333, minimal prime (object). Also OEIS A071062
- wikipedia: Wikipedia Minimal prime (recreational mathematics), Minimal prime (definition). Also Wikidata Q6865333
History
- 2026-10-26: add by m2/dev
WX9GQKGZAJ WX9GQKGZAJ
| URI | m2://inv/WX9GQKGZAJ |
|---|---|
| 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.28028#QUQZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Odile Favaron WX9JQ60247
| URI | m2://inv/WX9JQ60247 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odile Favaron, Odile Favaron (topic). Also Wikidata Q69715520
History
- 2026-11-02: add by m2/dev
Prismatic cohomology WX9KEP4YN2
| URI | m2://inv/WX9KEP4YN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prismatic cohomology, Prismatic cohomology (definition). Also Wikidata Q141284593
History
- 2026-11-02: add by m2/dev
Kirchhoff's theorem for directed multigraphs WX9M246EJX
| URI | m2://inv/WX9M246EJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's theorem#6V5P, Kirchhoff's theorem for directed multigraphs (statement)
History
- 2026-11-02: add by m2/dev
WX9NJ6GK3Y WX9NJ6GK3Y
| URI | m2://inv/WX9NJ6GK3Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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 2206.11797#8C5I (example). In 8SJWWZN4FH/e1, example 2.4
History
- 2026-10-27: add by m2/v0.4.0
WX9X35JJW0 WX9X35JJW0
| URI | m2://inv/WX9X35JJW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2609.26588#YYGO (statement)
History
- 2026-11-01: add by m2/v0.6.15
WXA0EDMBPC WXA0EDMBPC
| URI | m2://inv/WXA0EDMBPC |
|---|---|
| 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.14267#P0A6 (statement). In 9YTGFNA004/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
WXA5TFQ04P WXA5TFQ04P
| URI | m2://inv/WXA5TFQ04P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13707#7MP0 (statement). In 3564GWRNSF/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Properties WXA9GTJKZV
| URI | m2://inv/WXA9GTJKZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commuting graph#2PMA, Properties (statement)
History
- 2026-11-02: add by m2/dev
WXABVPZ6A5 WXABVPZ6A5
| URI | m2://inv/WXABVPZ6A5 |
|---|---|
| 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.11047#1FZH (definition). In MNQAZ70XTH/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.3
WXAEJVTK9E WXAEJVTK9E
| URI | m2://inv/WXAEJVTK9E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
WXAF983M2F WXAF983M2F
| URI | m2://inv/WXAF983M2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/preliminaries.tex#defn:modallyclosed (definition). In PKGMM3P5QY, defn, section 52.4
History
- 2026-11-01: add by m2/v0.6.13
WXAGQMDGGR WXAGQMDGGR
| URI | m2://inv/WXAGQMDGGR |
|---|---|
| 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 2610.12857#MJYN (statement). In XJWQ6Y83F8/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
The multi-direction conjecture WXAH4JA0YT
| URI | m2://inv/WXAH4JA0YT |
|---|---|
| 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#5HAG, The multi-direction conjecture (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cubic interpolation WXAJQ40WVY
| URI | m2://inv/WXAJQ40WVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5ZI6, Cubic interpolation (definition)
History
- 2026-11-02: add by m2/dev
WXAMAAYYSP WXAMAAYYSP
| URI | m2://inv/WXAMAAYYSP |
|---|---|
| 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.24569#ANFI (statement)
History
- 2026-11-01: add by m2/v0.6.15
WXANRCK7DW WXANRCK7DW
| URI | m2://inv/WXANRCK7DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#O3R9 (statement). In G02N9D40B9/e1, corollary 5.2.4
History
- 2026-10-29: add by m2/v0.4.10
Kannan Soundararajan WXAS5KJ4B1
| URI | m2://inv/WXAS5KJ4B1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kannan Soundararajan, Kannan Soundararajan (topic). Also Wikidata Q1356865
History
- 2026-11-02: add by m2/dev
WXASYHJ15Z WXASYHJ15Z
| URI | m2://inv/WXASYHJ15Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12324#FCZJ (definition). In CJDCSSCF1V/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
height of a polynomial WXAWNWVWKS
| URI | m2://inv/WXAWNWVWKS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5699084, height of a polynomial (concept). Also MathWorld PolynomialHeight
History
- 2026-10-26: add by m2/dev
Prime number sieve WXAZJYJAXA
| URI | m2://inv/WXAZJYJAXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation of primes#M19R, Prime number sieve (unknown)
History
- 2026-11-02: add by m2/dev
WXBB2V03F9 WXBB2V03F9
| URI | m2://inv/WXBB2V03F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#O5QH (statement). In 9WP2QGKMG8/e1, corollary 1.9
History
- 2026-10-30: add by m2/v0.4.12
Raw score WXBCY4A6VP
| URI | m2://inv/WXBCY4A6VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#58BQ, Raw score (definition)
History
- 2026-11-02: add by m2/dev
WXBEQ9RJ9S WXBEQ9RJ9S
| URI | m2://inv/WXBEQ9RJ9S |
|---|---|
| Kind | example |
| 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#0YNV (example). In XX1J2REXY2/e1, example 1.5
History
- 2026-10-28: add by m2/v0.4.2
List of things named after Friedrich Bessel WXBQRG0NZ8
| URI | m2://inv/WXBQRG0NZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#CHMM, List of things named after Friedrich Bessel (unknown)
History
- 2026-11-02: add by m2/dev
Timothy Williamson WXBS6XEMNQ
| URI | m2://inv/WXBS6XEMNQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timothy Williamson, Timothy Williamson (topic). Also Wikidata Q984380
History
- 2026-11-02: add by m2/dev
Generalizations WXC53STK4Y
| URI | m2://inv/WXC53STK4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial coefficient#W1XK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Cross-reference validation WXC6YDT9H1
| URI | m2://inv/WXC6YDT9H1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data validation#QD1W, Cross-reference validation (unknown)
History
- 2026-11-02: add by m2/dev
WXC7Z31M3D WXC7Z31M3D
| URI | m2://inv/WXC7Z31M3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04172#8OT7 (statement). In 9Q1D1NMTTS/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Precise statement WXCJEMA1W2
| URI | m2://inv/WXCJEMA1W2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Švarc–Milnor lemma#98ZX, Precise statement (statement)
History
- 2026-11-02: add by m2/dev
John Gray WXCKAK7FKM
| URI | m2://inv/WXCKAK7FKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Gray (mathematician), John Gray (topic). Also Wikidata Q21165836
History
- 2026-11-02: add by m2/dev
Barycentric Target Transform WXCS51BHYA
| URI | m2://inv/WXCS51BHYA |
|---|---|
| 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.20316#K0D2, Barycentric Target Transform (statement)
History
- 2026-11-02: add by m2/v0.6.18
Singer WXD7K7CAT4
| URI | m2://inv/WXD7K7CAT4 |
|---|---|
| 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 1607.01095#4VL8, Singer (statement). In W3T1ZAT3GC/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
WXDDWEXM37 WXDDWEXM37
| URI | m2://inv/WXDDWEXM37 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#TFE5 (example)
History
- 2026-11-01: add by m2/v0.6.15
Mathias Schacht WXDE8224YB
| URI | m2://inv/WXDE8224YB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathias Schacht, Mathias Schacht (topic). Also Wikidata Q1908555
History
- 2026-11-02: add by m2/dev
Principles WXDFJYDMBT
| URI | m2://inv/WXDFJYDMBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical geometry#2FZA, Principles (statement)
History
- 2026-11-02: add by m2/dev
WXDJ91QA82 WXDJ91QA82
| URI | m2://inv/WXDJ91QA82 |
|---|---|
| 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.21035#OH43 (statement)
History
- 2026-11-02: add by m2/v0.6.18
The algorithm WXDMZ3PASG
| URI | m2://inv/WXDMZ3PASG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearest-neighbor chain algorithm#9DFC, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Implementations WXDPGE40PP
| URI | m2://inv/WXDPGE40PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardware-based encryption#INBM, Implementations (definition)
History
- 2026-11-02: add by m2/dev
integrable WXDSJPW9HQ
| URI | m2://inv/WXDSJPW9HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#PKY0, integrable (definition)
History
- 2026-11-02: add by m2/dev
Synthetic population WXDX00TMBM
| URI | m2://inv/WXDX00TMBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic population, Synthetic population (definition). Also Wikidata Q117475190
History
- 2026-11-02: add by m2/dev
WXDYW6C06F WXDYW6C06F
| URI | m2://inv/WXDYW6C06F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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 2108.10246#HQ1Q (definition). In XD0YT3XCW2/e1, definition 2.20
History
- 2026-10-27: add by m2/v0.3.5
WXE2WA3EQ6 WXE2WA3EQ6
| URI | m2://inv/WXE2WA3EQ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
WXEDTSARH4 WXEDTSARH4
| URI | m2://inv/WXEDTSARH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#GLN5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WXEFAFNJY2 WXEFAFNJY2
| URI | m2://inv/WXEFAFNJY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#75CF (statement). In B5GGGWNJA6/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.3
Finite presentation WXEHM80XXM
| URI | m2://inv/WXEHM80XXM |
|---|---|
| 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.04271#HEKW, Finite presentation (statement). In WBXAW9G4JB/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
List of things named after Stanislaw Ulam WXEK75Q2ME
| URI | m2://inv/WXEK75Q2ME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#FGFS, List of things named after Stanislaw Ulam (unknown)
History
- 2026-11-02: add by m2/dev
Zorn's lemma WXET6M0571
| URI | m2://inv/WXET6M0571 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#0Q1R, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
perfect cuboid WXEX0JD6C7
| URI | m2://inv/WXEX0JD6C7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10947912, perfect cuboid (unknown). Also MathWorld PerfectCuboid
History
- 2026-10-26: add by m2/dev
The fastest back-end changes completely with the machine WXEXACJMKH
| URI | m2://inv/WXEXACJMKH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#UR8G, The fastest back-end changes completely with the machine (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Tao WXEYQH0K2S
| URI | m2://inv/WXEYQH0K2S |
|---|---|
| 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#0IOW, Tao (statement). In 8XVS0QJ2AH/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Total stagnation WXF0D0C07C
| URI | m2://inv/WXF0D0C07C |
|---|---|
| Kind | definition |
| 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.10819#UHEL, Total stagnation (definition). In M96CSJBYGW/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
Consistency of the first-entry estimator WXF27E0723
| URI | m2://inv/WXF27E0723 |
|---|---|
| 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 2610.08766#FBYX, Consistency of the first-entry estimator (statement). In QA4JM9SHPA/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
WXF2B7573P WXF2B7573P
| URI | m2://inv/WXF2B7573P |
|---|---|
| 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.15648#QM44 (statement). In 5TM775V8HQ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Uniform product-fibre bound WXF2TTHKQP
| URI | m2://inv/WXF2TTHKQP |
|---|---|
| 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.26019#VLC0, Uniform product-fibre bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
WXF571XMPW WXF571XMPW
| URI | m2://inv/WXF571XMPW |
|---|---|
| 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 2403.15043#JZI4 (statement). In QDE21RT0T2/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Fractal geometry WXF5YJE0HS
| URI | m2://inv/WXF5YJE0HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TT3M, Fractal geometry (definition)
History
- 2026-11-02: add by m2/dev
WXF815HVX4 WXF815HVX4
| URI | m2://inv/WXF815HVX4 |
|---|---|
| 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#NK2Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
WXFBX789QQ WXFBX789QQ
| URI | m2://inv/WXFBX789QQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37201#16W2 (definition). In HJEK865J7W/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Balance laws WXFGPD71R2
| URI | m2://inv/WXFGPD71R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum mechanics#PNN8, Balance laws (statement)
History
- 2026-11-02: add by m2/dev
DeMix WXFGVXHQHB
| URI | m2://inv/WXFGVXHQHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DeMix, DeMix (definition). Also Wikidata Q55609206
History
- 2026-11-02: add by m2/dev
The nonexceptional kernel WXFM19FM7D
| URI | m2://inv/WXFM19FM7D |
|---|---|
| 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.33365#TID0, The nonexceptional kernel (statement). In MCXCMR7V0T/e1, corollary 18
History
- 2026-10-30: add by m2/v0.4.12
WXFM1K2ZQH WXFM1K2ZQH
| URI | m2://inv/WXFM1K2ZQH |
|---|---|
| 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.31336#1LMB (statement). In 70RV7J456D/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
WXFW8EF8J7 WXFW8EF8J7
| URI | m2://inv/WXFW8EF8J7 |
|---|---|
| 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.00099#HNJF (statement). In NNBY2AEHP4/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
WXG0KNHA1Y WXG0KNHA1Y
| URI | m2://inv/WXG0KNHA1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#8I8M (statement). In YKD51BX3XB/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
WXG11VAVJQ WXG11VAVJQ
| URI | m2://inv/WXG11VAVJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#89QN (statement). In 73QW05MWQB/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
WXG1SDTWME WXG1SDTWME
| URI | m2://inv/WXG1SDTWME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#W99Q (definition). In PCAS8S14J6/e1, definition C.2
History
- 2026-10-31: add by m2/v0.5.6
Properties WXG23R3C87
| URI | m2://inv/WXG23R3C87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LF-space#QKNR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hamming distance WXG4G013AB
| URI | m2://inv/WXG4G013AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#TRHO, Hamming distance (definition)
History
- 2026-11-02: add by m2/dev
WXG5M3JRC3 WXG5M3JRC3
| URI | m2://inv/WXG5M3JRC3 |
|---|---|
| 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#U1AP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chimp Math WXG8ECQ1XE
| URI | m2://inv/WXG8ECQ1XE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Animal Math#ZVXP, Chimp Math (unknown)
History
- 2026-11-02: add by m2/dev
WXGB6NKT6G WXGB6NKT6G
| URI | m2://inv/WXGB6NKT6G |
|---|---|
| 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 2609.32174#BMI0 (definition). In GHKR740SG3/e1, definition 2.11
History
- 2026-10-31: add by m2/v0.5.6
WXGCHD5W5X WXGCHD5W5X
| URI | m2://inv/WXGCHD5W5X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 1.1.4
History
- 2026-11-01: add by m2/v0.6.13
Complete criterion from hybrid capacities WXGVBRA7BF
| URI | m2://inv/WXGVBRA7BF |
|---|---|
| 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.40054#IJBR, Complete criterion from hybrid capacities (statement). In CA4C9PFM1E/e1, corollary 4.1.8
History
- 2026-10-30: add by m2/v0.4.12
WXGXPY3H0A WXGXPY3H0A
| URI | m2://inv/WXGXPY3H0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#UPOW (statement). In Z5SP3NW41S/e1, proposition 3.14
History
- 2026-10-30: add by m2/v0.4.12
WXH0G5Q5M4 WXH0G5Q5M4
| URI | m2://inv/WXH0G5Q5M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#definition-3 (definition). In RZP28ERRZV, definition, section 43.3
History
- 2026-11-01: add by m2/v0.6.13
pointwise order WXH5MR3EGC
| URI | m2://inv/WXH5MR3EGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122390492, pointwise order (unknown). Also EoM Pointwise_order, nLab pointwise order
History
- 2026-10-26: add by m2/dev
WXH827KXN5 WXH827KXN5
| URI | m2://inv/WXH827KXN5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#M0SR (definition). In X38P26DK6S/e1, definition 5.14
History
- 2026-10-27: add by m2/v0.4.0
WXH9T31R9T WXH9T31R9T
| URI | m2://inv/WXH9T31R9T |
|---|---|
| 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 2610.11002#9DCD (statement). In P55JSAYR3T/e1, corollary
History
- 2026-10-28: add by m2/v0.4.3
WXHD04PKCY WXHD04PKCY
| URI | m2://inv/WXHD04PKCY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#FM7O (definition). In ESDKTYDHC8/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Kolmogorov's zero–one law WXHH8A7VBX
| URI | m2://inv/WXHH8A7VBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's zero–one law, Kolmogorov's zero–one law (statement). Also Wikidata Q2004664
History
- 2026-11-02: add by m2/dev
Myopic upper bound WXHHTWK0RD
| URI | m2://inv/WXHHTWK0RD |
|---|---|
| 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.37380#08O8, Myopic upper bound (statement). In 14Y4SA4SX0/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Leonhard Euler WXHM1E5S1Y
| URI | m2://inv/WXHM1E5S1Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#WAOS, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
WXHNV2HNE5 WXHNV2HNE5
| URI | m2://inv/WXHNV2HNE5 |
|---|---|
| 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.01433#RX43 (statement). In 160PQ7F1AS/e1, corollary 4.20
History
- 2026-10-29: add by m2/v0.4.12
piecewise function WXHT0WT3PC
| URI | m2://inv/WXHT0WT3PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2037833, piecewise function (unknown). Also MathWorld PiecewiseFunction
- wikipedia: Wikipedia Piecewise function, Piecewise function (definition). Also Wikidata Q2037833
History
- 2026-10-26: add by m2/dev
Cartesian product WXHV9XZF1D
| URI | m2://inv/WXHV9XZF1D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.1.1/cartesian-product, Cartesian product (concept). In Y91XFCEVHQ, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
Lauren M. Childs WXHVA08REM
| URI | m2://inv/WXHVA08REM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lauren M. Childs, Lauren M. Childs (topic). Also Wikidata Q56378946
History
- 2026-11-02: add by m2/dev
493 (number) WXHY8HBHMR
| URI | m2://inv/WXHY8HBHMR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#F881, 493 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Komar mass WXHYMXHC5A
| URI | m2://inv/WXHYMXHC5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Komar mass, Komar mass (definition). Also Wikidata Q6428138
History
- 2026-11-02: add by m2/dev
Superconformal algebra WXHZ6TTVGH
| URI | m2://inv/WXHZ6TTVGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#WJCB, Superconformal algebra (unknown)
History
- 2026-11-02: add by m2/dev
Correlation does not imply causation WXJ246YPPN
| URI | m2://inv/WXJ246YPPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation does not imply causation, Correlation does not imply causation (definition). Also Wikidata Q310486
History
- 2026-11-02: add by m2/dev
Definition WXJ5YF4XK8
| URI | m2://inv/WXJ5YF4XK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasifield#UKYM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithm WXJ75KZER3
| URI | m2://inv/WXJ75KZER3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root Cause Analysis Solver Engine#I2U2, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
WXJECVY8B9 WXJECVY8B9
| URI | m2://inv/WXJECVY8B9 |
|---|---|
| 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.03775#Z1TD (statement). In NM928YZQVJ/e1, corollary
History
- 2026-10-29: add by m2/v0.4.12
Equal-radius layers WXJH8V64S6
| URI | m2://inv/WXJH8V64S6 |
|---|---|
| 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#0LHZ, Equal-radius layers (statement)
History
- 2026-11-01: add by m2/v0.6.15
Planar competitive convergence WXJN58FK29
| URI | m2://inv/WXJN58FK29 |
|---|---|
| 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.27270#8J3Y, Planar competitive convergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sampling property WXJQNB94SF
| URI | m2://inv/WXJQNB94SF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac delta function#1HXJ, Sampling property (unknown)
History
- 2026-11-02: add by m2/dev
WXJTKN9QY9 WXJTKN9QY9
| URI | m2://inv/WXJTKN9QY9 |
|---|---|
| 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 2511.17751#JCOP (statement). In J39X0NB31S/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.3.5
Abraham Fraenkel WXJYVHYM46
| URI | m2://inv/WXJYVHYM46 |
|---|---|
| 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 Q61043, Abraham Fraenkel (unknown). Also nLab Abraham Fraenkel, ProofWiki Mathematician:Abraham_Halevi_Fraenkel
- wikipedia: Wikipedia Abraham Fraenkel, Abraham Fraenkel (topic). Also Wikidata Q61043
History
- 2026-10-26: add by m2/dev
Forum of Mathematics WXK4RZQ8V1
| URI | m2://inv/WXK4RZQ8V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forum of Mathematics, Forum of Mathematics (definition). Also Wikidata Q5473134
History
- 2026-11-02: add by m2/dev
Polynomial EML bound WXK6MMCTQZ
| URI | m2://inv/WXK6MMCTQZ |
|---|---|
| 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.13852#ZOP7, Polynomial EML bound (statement). In SXTGSAH3WF/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
WXK84DR952 WXK84DR952
| URI | m2://inv/WXK84DR952 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#AR8Q (statement). In VGKCBWQ65N/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Rank-one modules WXK8T6NB8T
| URI | m2://inv/WXK8T6NB8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#Q6YB, Rank-one modules (definition). In 6G1KBA0SXV/e1, definition 3.21
History
- 2026-10-31: add by m2/v0.5.6
WXK9VZWM95 WXK9VZWM95
| URI | m2://inv/WXK9VZWM95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#8SPX (statement). In S26QVW5613/e1, corollary 5.4.4
History
- 2026-10-30: add by m2/v0.4.12
WXKDH6NF83 WXKDH6NF83
| URI | m2://inv/WXKDH6NF83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#TBFU (statement). In SBZNH932ZV/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
power set WXKETYKKFA
| URI | m2://inv/WXKETYKKFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/power-set, power set (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
WXKS587T9Y WXKS587T9Y
| URI | m2://inv/WXKS587T9Y |
|---|---|
| Kind | example |
| 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 2609.21052#DLGA (example)
History
- 2026-11-02: add by m2/v0.6.18
Coxeter notation WXKXE09SHW
| URI | m2://inv/WXKXE09SHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#LW4J, Coxeter notation (definition)
History
- 2026-11-02: add by m2/dev
Overdetermined system WXMM2ZHAC5
| URI | m2://inv/WXMM2ZHAC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overdetermined system, Overdetermined system (definition). Also Wikidata Q331348
History
- 2026-11-02: add by m2/dev
WXMMH9BA3V WXMMH9BA3V
| URI | m2://inv/WXMMH9BA3V |
|---|---|
| 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.32614#4623 (statement). In SG8GT73ZNH/e1, theorem 1.7
History
- 2026-10-31: add by m2/v0.5.6
Diamond principle WXMS880GNN
| URI | m2://inv/WXMS880GNN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#F9YY, Diamond principle (statement)
History
- 2026-11-02: add by m2/dev
Translation plane WXMVFHNEY1
| URI | m2://inv/WXMVFHNEY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation plane, Translation plane (definition). Also Wikidata Q382515
History
- 2026-11-02: add by m2/dev
WXMX14CY9P WXMX14CY9P
| URI | m2://inv/WXMX14CY9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#BLF1 (statement). In 5PN85N6EJF/e1, lemma C.3
History
- 2026-10-31: add by m2/v0.5.6
Iitaka Conjecture WXMZT7AFG2
| URI | m2://inv/WXMZT7AFG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iitaka dimension#GE0T, Iitaka Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Two-sided tradeoff WXN20WZ7A7
| URI | m2://inv/WXN20WZ7A7 |
|---|---|
| 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.09206#Z621, Two-sided tradeoff (statement). In T7R1Q29DQK/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Loren H. Rieseberg WXNNTSS512
| URI | m2://inv/WXNNTSS512 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8471, Loren H. Rieseberg (unknown)
History
- 2026-11-02: add by m2/dev
Tree Unraveling WXNQ7VVV7Z
| URI | m2://inv/WXNQ7VVV7Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#R5MT, Tree Unraveling (definition)
History
- 2026-11-01: add by m2/v0.6.15
exceptional isomorphism WXNQADHXH4
| URI | m2://inv/WXNQADHXH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5419509, exceptional isomorphism (unknown). Also nLab exceptional isomorphism
- wikipedia: Wikipedia Exceptional isomorphism, Exceptional isomorphism (definition). Also Wikidata Q5419509
History
- 2026-10-26: add by m2/dev
WXNTXFFWF3 WXNTXFFWF3
| URI | m2://inv/WXNTXFFWF3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#NMAE (example)
History
- 2026-11-01: add by m2/v0.6.15
WXNVR0A2D3 WXNVR0A2D3
| URI | m2://inv/WXNVR0A2D3 |
|---|---|
| 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 1805.04646#E11L (definition). In WDDY7P9T66/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Strict 2-group WXNWJ78YQT
| URI | m2://inv/WXNWJ78YQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-group#ZN18, Strict 2-group (unknown)
History
- 2026-11-02: add by m2/dev
Sorting network WXNYJ34Y91
| URI | m2://inv/WXNYJ34Y91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#0H2Q, Sorting network (definition)
- wikipedia: Wikipedia List of permutation topics#7B80, Sorting network (definition)
- wikipedia: Wikipedia List of network theory topics#IHHJ, Sorting network (definition)
History
- 2026-11-02: add by m2/dev
WXNZBYNQWH WXNZBYNQWH
| URI | m2://inv/WXNZBYNQWH |
|---|---|
| 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.28892#3YSO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Non differentiability at the energy wells WXP2986HG3
| URI | m2://inv/WXP2986HG3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#9EH9, Non differentiability at the energy wells (conjecture). In 94RBNQA07A/e1, conjecture 3.27
History
- 2026-10-27: add by m2/v0.3.5
WXP2YNXMR9 WXP2YNXMR9
| URI | m2://inv/WXP2YNXMR9 |
|---|---|
| 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.27518#1YE4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
WXP4DCGFF5 WXP4DCGFF5
| URI | m2://inv/WXP4DCGFF5 |
|---|---|
| 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.11199#LAH8 (statement). In RQ51P6W9C0/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Generalization WXP5BRZDF0
| URI | m2://inv/WXP5BRZDF0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoeffding's inequality#2NMI, Generalization (statement)
History
- 2026-11-02: add by m2/dev
lemniscate of Gerono WXP7BMNT23
| URI | m2://inv/WXP7BMNT23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2346810, lemniscate of Gerono (unknown). Also MathWorld EightCurve
- wikipedia: Wikipedia Lemniscate of Gerono, Lemniscate of Gerono (definition). Also Wikidata Q2346810
History
- 2026-10-26: add by m2/dev
Small triambic icosahedron WXP8DHPE8Z
| URI | m2://inv/WXP8DHPE8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#7T02, Small triambic icosahedron (definition)
History
- 2026-11-02: add by m2/dev
WXPA17Y7H3 WXPA17Y7H3
| URI | m2://inv/WXPA17Y7H3 |
|---|---|
| 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.17518#78V9 (statement). In YA4JEWTVS4/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Wilhelm Schlag WXPA67795Z
| URI | m2://inv/WXPA67795Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Schlag, Wilhelm Schlag (topic). Also Wikidata Q81956976
History
- 2026-11-02: add by m2/dev
Birkhoff's axioms WXPB2WWMJ0
| URI | m2://inv/WXPB2WWMJ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff's axioms, Birkhoff's axioms (statement). Also Wikidata Q3625630
History
- 2026-11-02: add by m2/dev
Example WXPDYPAQKB
| URI | m2://inv/WXPDYPAQKB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrant count ratio#XF8W, Example (example)
History
- 2026-11-02: add by m2/dev
WXPH4TXHZZ WXPH4TXHZZ
| URI | m2://inv/WXPH4TXHZZ |
|---|---|
| Kind | example |
| 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.20028#F41S (example)
History
- 2026-11-02: add by m2/v0.6.18
Roth WXPRXH6516
| URI | m2://inv/WXPRXH6516 |
|---|---|
| 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.17589#E39E, Roth (statement). In GSTK4569X1/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Cyclic actions for the benchmark graphs WXPW7HGMGC
| URI | m2://inv/WXPW7HGMGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#88CK, Cyclic actions for the benchmark graphs (statement). In 7PACGDW3N7/e1, theorem 10.4
History
- 2026-10-27: add by m2/v0.4.0
minimal cubic matchstick graph WXPWYTGX60
| URI | m2://inv/WXPWYTGX60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137857324, minimal cubic matchstick graph (unknown). Also House of Graphs 34073
History
- 2026-10-26: add by m2/dev
Internal controllability around zero WXPXQ0MM92
| URI | m2://inv/WXPXQ0MM92 |
|---|---|
| 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 2610.11968#NNY7, Internal controllability around zero (statement). In X6E7P2ACAS/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
Principal congruence subgroup WXQ6JS24GE
| URI | m2://inv/WXQ6JS24GE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence subgroup#7GNG, Principal congruence subgroup (unknown)
History
- 2026-11-02: add by m2/dev
WXQHH1165M WXQHH1165M
| URI | m2://inv/WXQHH1165M |
|---|---|
| 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#7V82 (statement). In E7W2HDNEKJ/e1, proposition 10.2
History
- 2026-10-30: add by m2/v0.4.12
Putinar's Positivstellensatz WXQM6ZNKY1
| URI | m2://inv/WXQM6ZNKY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krivine–Stengle Positivstellensatz#3U1R, Putinar's Positivstellensatz (unknown)
History
- 2026-11-02: add by m2/dev
Size functor WXQRAMVHZM
| URI | m2://inv/WXQRAMVHZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size functor, Size functor (definition). Also Wikidata Q7533424
History
- 2026-11-02: add by m2/dev
Small characteristic WXQSVHV9KK
| URI | m2://inv/WXQSVHV9KK |
|---|---|
| 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 1308.2487#1SFJ, Small characteristic (statement). In 322XSWF4EA/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
WXQZEBT0V9 WXQZEBT0V9
| URI | m2://inv/WXQZEBT0V9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38069#QVFL (statement). In K0E0H4RV6Y/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
H. L. Royden WXQZY9C4KK
| URI | m2://inv/WXQZY9C4KK |
|---|---|
| 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#Z427, H. L. Royden (topic)
History
- 2026-11-02: add by m2/dev
Plot (graphics) WXR01KGGEQ
| URI | m2://inv/WXR01KGGEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FQH5, Plot (graphics) (definition)
History
- 2026-11-02: add by m2/dev
Examples WXR980YBKH
| URI | m2://inv/WXR980YBKH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surgery theory#WEVH, Examples (example)
History
- 2026-11-02: add by m2/dev
Coefficient of coherence WXRAMJVT11
| URI | m2://inv/WXRAMJVT11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AZYU, Coefficient of coherence (definition)
History
- 2026-11-02: add by m2/dev
Coherent algebra WXRM8C3EFQ
| URI | m2://inv/WXRM8C3EFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 05C60 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56289856, Coherent algebra (topic)
- wikipedia: Wikipedia Coherent algebra, Coherent algebra (definition). Also Wikidata Q56289856
History
- 2026-10-26: add by m2/dev
first order WXRMJG8KM4
| URI | m2://inv/WXRMJG8KM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#8J0N, first order (definition)
History
- 2026-11-02: add by m2/dev
Exact graph--group criterion WXRYTH1S0T
| URI | m2://inv/WXRYTH1S0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#5O1L, Exact graph--group criterion (statement). In DR7BK4CQ0V/e1, theorem 3.21
History
- 2026-10-28: add by m2/v0.4.3
WXS3S9E0JQ WXS3S9E0JQ
| URI | m2://inv/WXS3S9E0JQ |
|---|---|
| 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 math/0507030#YBCX (statement). In QV0QQ5ZCHX/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Edward Witten WXSBRZM8PY
| URI | m2://inv/WXSBRZM8PY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#O456, Edward Witten (topic)
History
- 2026-11-02: add by m2/dev
WXSJ9J7WDX WXSJ9J7WDX
| URI | m2://inv/WXSJ9J7WDX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#OJ2N (definition). In F3BKXXPR3K/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.2
WXSSWTFAQM WXSSWTFAQM
| URI | m2://inv/WXSSWTFAQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-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.37524#FWQP (definition). In 4GTJAPF7Q3/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Covariance decay for products of weighted block scores WXSYVY0YNV
| URI | m2://inv/WXSYVY0YNV |
|---|---|
| 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.06372#FDVU, Covariance decay for products of weighted block scores (statement). In G3E1P350Z6/e1, lemma 7.19
History
- 2026-10-29: add by m2/v0.4.10
A narrow, large positive slope and a bounded negative slope WXT17ZAB32
| URI | m2://inv/WXT17ZAB32 |
|---|---|
| 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.06544#1S0O, A narrow, large positive slope and a bounded negative slope (statement). In VCRB27RMN6/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Emil Artin Junior Prize in Mathematics WXT2A2AZSQ
| URI | m2://inv/WXT2A2AZSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#41EE, Emil Artin Junior Prize in Mathematics (definition)
History
- 2026-11-02: add by m2/dev
right-open WXT3QJ43AJ
| URI | m2://inv/WXT3QJ43AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#YGSV, right-open (definition)
History
- 2026-11-02: add by m2/dev
WXTE2F92HX WXTE2F92HX
| URI | m2://inv/WXTE2F92HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#MPYW (statement). In SD43497T8C/e1, lemma 1.27
History
- 2026-10-27: add by m2/v0.3.5
Examples WXTHS8TGE8
| URI | m2://inv/WXTHS8TGE8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stopped process#O1OU, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition WXTK8C8Q1X
| URI | m2://inv/WXTK8C8Q1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate identity#MT55, Definition (definition)
History
- 2026-11-02: add by m2/dev
WXV2NAG1R9 WXV2NAG1R9
| URI | m2://inv/WXV2NAG1R9 |
|---|---|
| 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 2610.15643#H5RM (statement). In 7QFBJCRPW1/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
weight, of a string WXV73BA5E6
| URI | m2://inv/WXV73BA5E6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.2.2/weight-of-a-string, weight, of a string (concept). In Y91XFCEVHQ, index, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
Heronian tetrahedron WXVB0KADER
| URI | m2://inv/WXVB0KADER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3546880, Heronian tetrahedron (unknown). Also MathWorld HeronianTetrahedron
- wikipedia: Wikipedia Heronian tetrahedron, Heronian tetrahedron (definition). Also Wikidata Q3546880
History
- 2026-10-26: add by m2/dev
Exterior weight estimate WXVHBB9QT3
| URI | m2://inv/WXVHBB9QT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#11JC, Exterior weight estimate (statement). In 4R1MMSAAVK/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
perfect code WXVHMSRDBC
| URI | m2://inv/WXVHMSRDBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130691139, perfect code (unknown). Also MathWorld PerfectCode
History
- 2026-10-26: add by m2/dev
Cauchy interlacing theorem WXVHXG1XA4
| URI | m2://inv/WXVHXG1XA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#8ZI1, Cauchy interlacing theorem (statement)
History
- 2026-11-02: add by m2/dev
The Schur lemma for the Ricci tensor WXVJWEZ7N9
| URI | m2://inv/WXVJWEZ7N9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's lemma (Riemannian geometry)#0X3N, The Schur lemma for the Ricci tensor (statement)
History
- 2026-11-02: add by m2/dev
WXVQHK9H4V WXVQHK9H4V
| URI | m2://inv/WXVQHK9H4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#BZ65 (statement). In JS5FKV1S9T/e1, lemma F.4
History
- 2026-10-27: add by m2/v0.3.5
Nested sequent calculus WXW0GQFWSC
| URI | m2://inv/WXW0GQFWSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested sequent calculus, Nested sequent calculus (definition). Also Wikidata Q30716296
History
- 2026-11-02: add by m2/dev
Generalizations of the Sérsic profile WXW4K4N7TV
| URI | m2://inv/WXW4K4N7TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sérsic profile#BWOA, Generalizations of the Sérsic profile (statement)
History
- 2026-11-02: add by m2/dev
WXWDE1QBN2 WXWDE1QBN2
| URI | m2://inv/WXWDE1QBN2 |
|---|---|
| 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.32524#SWG4 (statement). In XGCND7R0B0/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
Five Ways WXWF178SAW
| URI | m2://inv/WXWF178SAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five Ways (Aquinas), Five Ways (definition). Also Wikidata Q1192931
History
- 2026-11-02: add by m2/dev
WXWM76Y0BP WXWM76Y0BP
| URI | m2://inv/WXWM76Y0BP |
|---|---|
| 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.30544#NTSF (statement). In CB35ZBBBPT/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Definition WXWNHAMA5J
| URI | m2://inv/WXWNHAMA5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor#H44X, Definition (definition)
History
- 2026-11-02: add by m2/dev
WXX23QZS1P WXX23QZS1P
| URI | m2://inv/WXX23QZS1P |
|---|---|
| Kind | example |
| 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.06488#ZOWW (example). In XG3BJ2QXXP/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.10
WXX530GPZE WXX530GPZE
| URI | m2://inv/WXX530GPZE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/undecidability.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
WXXF759479 WXXF759479
| URI | m2://inv/WXXF759479 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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 2610.19669#W88N (statement). In 1QPAA94Q76/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.2
WXXGAJR610 WXXGAJR610
| URI | m2://inv/WXXGAJR610 |
|---|---|
| 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.19437#UXU9 (statement). In 9PXXGQ978Z/e1, lemma 4.16
History
- 2026-10-28: add by m2/v0.4.2
WXXKH09CV4 WXXKH09CV4
| URI | m2://inv/WXXKH09CV4 |
|---|---|
| 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.17547#U1DX (statement). In XJ59TDP4HA/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
WXXR9F2BTJ WXXR9F2BTJ
| URI | m2://inv/WXXR9F2BTJ |
|---|---|
| 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.10029#91U3 (statement). In K7EAM152B0/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Horizon problem WXXRMTCZSA
| URI | m2://inv/WXXRMTCZSA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#0Z5L, Horizon problem (problem)
History
- 2026-11-02: add by m2/dev
Einstein's elevator experiment WXXST671M3
| URI | m2://inv/WXXST671M3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General relativity#SEPZ, Einstein's elevator experiment (unknown)
History
- 2026-11-02: add by m2/dev
orientation WXXZS2HEG9
| URI | m2://inv/WXXZS2HEG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JARA, orientation (definition)
History
- 2026-11-02: add by m2/dev
WXY2RD0X48 WXY2RD0X48
| URI | m2://inv/WXY2RD0X48 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-27 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Fourier transform and Fourier inversion formula for L1-functions WXY4168QYX
| URI | m2://inv/WXY4168QYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#JUMD, Fourier transform and Fourier inversion formula for L1-functions (statement)
History
- 2026-11-02: add by m2/dev
WXY83FPBC0 WXY83FPBC0
| URI | m2://inv/WXY83FPBC0 |
|---|---|
| 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.30663#ZENH (statement). In 3JZDKWS8NK/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
WXYBCY287J WXYBCY287J
| URI | m2://inv/WXYBCY287J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 101.3
History
- 2026-11-01: add by m2/v0.6.13
General formulation of the equipartition theorem WXYF7EKGPY
| URI | m2://inv/WXYF7EKGPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equipartition theorem#77VS, General formulation of the equipartition theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition WXYH1RDZ6X
| URI | m2://inv/WXYH1RDZ6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wallman compactification#YJSS, Definition (definition)
History
- 2026-11-02: add by m2/dev
A free family of conjugates WXYP6NA67E
| URI | m2://inv/WXYP6NA67E |
|---|---|
| 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.36098#5Q3M, A free family of conjugates (statement). In NRP62VNE58/e1, corollary 6.3
History
- 2026-10-30: add by m2/v0.4.12
Dubins–Spanier theorems WXYT9VSGWA
| URI | m2://inv/WXYT9VSGWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dubins–Spanier theorems, Dubins–Spanier theorems (statement). Also Wikidata Q24963391
History
- 2026-11-02: add by m2/dev
Wick binomial rule WXYVN6DA4N
| URI | m2://inv/WXYVN6DA4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2610.17815#GQJ9, Wick binomial rule (statement). In GJ7N2EWACX/e1, lemma B.5
History
- 2026-10-28: add by m2/v0.4.2
WXYYZ07ZNR WXYYZ07ZNR
| URI | m2://inv/WXYYZ07ZNR |
|---|---|
| Kind | definition |
| 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 2510.12502#L35E (definition). In 3A4K47Y9F2/e1, definition 2.40
History
- 2026-10-27: add by m2/v0.4.0
WXZ0C6T8HD WXZ0C6T8HD
| URI | m2://inv/WXZ0C6T8HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08638#VY9L (statement). In 113VZ5XX7J/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
WXZ5BA8EZ9 WXZ5BA8EZ9
| URI | m2://inv/WXZ5BA8EZ9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#QMYB (example). In PREJREM4BB/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
Schwinger–Dyson equation WXZ69V7D8D
| URI | m2://inv/WXZ69V7D8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#L02A, Schwinger–Dyson equation (definition)
History
- 2026-11-02: add by m2/dev
WXZ6EGBV6W WXZ6EGBV6W
| URI | m2://inv/WXZ6EGBV6W |
|---|---|
| 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.29623#KQXO (statement)
History
- 2026-11-01: add by m2/v0.6.15
WXZA6PNJF4 WXZA6PNJF4
| URI | m2://inv/WXZA6PNJF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#WL3R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fermat's Last Theorem WXZBRKEZRG
| URI | m2://inv/WXZBRKEZRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's Last Theorem#A0A2, Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
WXZCKEBPHV WXZCKEBPHV
| URI | m2://inv/WXZCKEBPHV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 math/0406514#32QW (definition). In CY1FE8W1ZW/e1, definition 0.92
History
- 2026-10-27: add by m2/v0.4.0
Yechiel Michel Epstein WXZDESGGHN
| URI | m2://inv/WXZDESGGHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#V197, Yechiel Michel Epstein (unknown)
History
- 2026-11-02: add by m2/dev
Integrated leading kernel WXZECJ6QJB
| URI | m2://inv/WXZECJ6QJB |
|---|---|
| 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.06875#ZYGT, Integrated leading kernel (statement). In ZDT5J9KQVQ/e1, lemma E.6
History
- 2026-10-29: add by m2/v0.4.10
Applications WXZH52416S
| URI | m2://inv/WXZH52416S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse dictionary learning#YBBV, Applications (example)
History
- 2026-11-02: add by m2/dev
Fermat number WXZQ5GY8T0
| URI | m2://inv/WXZQ5GY8T0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Fermat number 0R03B54V4Z |
Mentions
- wikidata: Wikidata Q207264, Fermat number (unknown). Also MathWorld FermatNumber, nLab Fermat number, OEIS A000215
- wikipedia: Wikipedia Fermat number, Fermat number (conjecture). Also Wikidata Q207264
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Jim Coykendall WXZV40DCTD
| URI | m2://inv/WXZV40DCTD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jim Coykendall, Jim Coykendall (topic). Also Wikidata Q102204939
History
- 2026-11-02: add by m2/dev