Inventory rows KF
The cards of the rows of the inventory whose ids start with KF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
KF014QM53P KF014QM53P
| URI | m2://inv/KF014QM53P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#HBBZ (statement). In P5SY7AVP5E/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.12
De Rham invariant KF05XJW1W5
| URI | m2://inv/KF05XJW1W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham invariant, De Rham invariant (definition). Also Wikidata Q5244714
History
- 2026-11-02: add by m2/dev
Potts model KF09B2WG3T
| URI | m2://inv/KF09B2WG3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potts model, Potts model (definition). Also Wikidata Q7235385
History
- 2026-11-02: add by m2/dev
KF0CBPCQ11 KF0CBPCQ11
| URI | m2://inv/KF0CBPCQ11 |
|---|---|
| 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.23526#N2S4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Slewing KF0G0MSA33
| URI | m2://inv/KF0G0MSA33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slewing, Slewing (definition). Also Wikidata Q21071554
History
- 2026-11-02: add by m2/dev
Curvature change under the deformation normal to $\mathcal N$ KF0HTBQAJV
| URI | m2://inv/KF0HTBQAJV |
|---|---|
| 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.12238#LF2F, Curvature change under the deformation normal to $\mathcal N$ (statement). In E31CZYM2H8/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
Direction recovery with a well-conditioned Fisher matrix KF0KD6GC0A
| URI | m2://inv/KF0KD6GC0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33499#FX5U, Direction recovery with a well-conditioned Fisher matrix (statement). In AAH14S2JJ2/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
Guozhen Lu KF0S4RMW36
| URI | m2://inv/KF0S4RMW36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guozhen Lu, Guozhen Lu (topic). Also Wikidata Q45782413
History
- 2026-11-02: add by m2/dev
Almost contact manifold KF0V3S2Y2A
| URI | m2://inv/KF0V3S2Y2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost contact manifold, Almost contact manifold (definition). Also Wikidata Q104865046
History
- 2026-11-02: add by m2/dev
tunnel number KF152EXA36
| URI | m2://inv/KF152EXA36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16994816, tunnel number (unknown). Also MathWorld TunnelNumber
- wikipedia: Wikipedia Tunnel number, Tunnel number (definition). Also Wikidata Q16994816
History
- 2026-10-26: add by m2/dev
constant, explicit KF16CXVQY2
| URI | m2://inv/KF16CXVQY2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/constant-explicit, constant, explicit (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Properties KF17D3EBJR
| URI | m2://inv/KF17D3EBJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strength of a graph#XPJ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stein's Lemma for the hypercube KF19FA8JGM
| URI | m2://inv/KF19FA8JGM |
|---|---|
| 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.16705#IIBG, Stein's Lemma for the hypercube (statement). In B48YQVGAF5/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
KF1FNDJM8R KF1FNDJM8R
| URI | m2://inv/KF1FNDJM8R |
|---|---|
| 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.04069#EJIX (statement). In ZA7WXGZYWC/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
Ezra Klein KF1TBYAWRS
| URI | m2://inv/KF1TBYAWRS |
|---|---|
| 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#PRAL, Ezra Klein (unknown)
History
- 2026-11-02: add by m2/dev
Press–Schechter formalism KF1XX1C1FR
| URI | m2://inv/KF1XX1C1FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Press–Schechter formalism, Press–Schechter formalism (definition). Also Wikidata Q7241751
History
- 2026-11-02: add by m2/dev
KF213HGHS9 KF213HGHS9
| URI | m2://inv/KF213HGHS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21963#EVTP (statement). In HR9R8RPKN8/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.2
KF25EEH7XJ KF25EEH7XJ
| URI | m2://inv/KF25EEH7XJ |
|---|---|
| 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.07040#G01T (statement). In KMNXNW7FHP/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
Matlis KF277XG645
| URI | m2://inv/KF277XG645 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#WGRU, Matlis (definition)
History
- 2026-11-02: add by m2/dev
Sergei Vasilyevich Kerov KF2BHN46GM
| URI | m2://inv/KF2BHN46GM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Vasilyevich Kerov, Sergei Vasilyevich Kerov (topic). Also Wikidata Q102204625
History
- 2026-11-02: add by m2/dev
Summary of formulas KF2G9VEVDR
| URI | m2://inv/KF2G9VEVDR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lateral surface#WGWT, Summary of formulas (statement)
History
- 2026-11-02: add by m2/dev
KF2RH018G0 KF2RH018G0
| URI | m2://inv/KF2RH018G0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-30 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Tricubic interpolation KF2TME1QJQ
| URI | m2://inv/KF2TME1QJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tricubic interpolation, Tricubic interpolation (definition). Also Wikidata Q7841314
History
- 2026-11-02: add by m2/dev
OGY KF2TYYV379
| URI | m2://inv/KF2TYYV379 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control of chaos#I4N0, OGY (unknown)
History
- 2026-11-02: add by m2/dev
Jensen KF323KE160
| URI | m2://inv/KF323KE160 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#YSF4, Jensen (definition). In XJ59TDP4HA/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
the low-degree correction KF3697VGF0
| URI | m2://inv/KF3697VGF0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#TO0I, the low-degree correction (example). In PCAS8S14J6/e1, example 3.16
History
- 2026-10-31: add by m2/v0.5.6
Wilhelm Cauer KF371S93RW
| URI | m2://inv/KF371S93RW |
|---|---|
| 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#Z9SA, Wilhelm Cauer (unknown)
- wikipedia: Wikipedia List of German mathematicians#RI5C, Wilhelm Cauer (unknown)
History
- 2026-11-02: add by m2/dev
KF39M6S5GK KF39M6S5GK
| URI | m2://inv/KF39M6S5GK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-35 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Pigeonhole principle problem KF3AJ2KRP7
| URI | m2://inv/KF3AJ2KRP7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TFNP#MQ71, Pigeonhole principle problem (problem)
History
- 2026-11-02: add by m2/dev
KF3EH23J4H KF3EH23J4H
| URI | m2://inv/KF3EH23J4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10230#WYJB (statement). In YS75517SF7/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
KF3FDKVZ58 KF3FDKVZ58
| URI | m2://inv/KF3FDKVZ58 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#proof-4 (proof). In RZP28ERRZV, proof, section 28.5
History
- 2026-11-01: add by m2/v0.6.13
KF3G8XPZ7D KF3G8XPZ7D
| URI | m2://inv/KF3G8XPZ7D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.18530#S0FF (definition). In HSXWVKPCQV/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Untouchable number KF3KHGC86J
| URI | m2://inv/KF3KHGC86J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#3Z2G, Untouchable number (definition)
History
- 2026-11-02: add by m2/dev
Infinite-dimensional Lie algebra KF3RT5E99V
| URI | m2://inv/KF3RT5E99V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia En (Lie algebra)#K2T7, Infinite-dimensional Lie algebra (unknown)
History
- 2026-11-02: add by m2/dev
KF43A69EJ0 KF43A69EJ0
| URI | m2://inv/KF43A69EJ0 |
|---|---|
| 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.22393#NCYM (statement)
History
- 2026-11-02: add by m2/v0.6.17
KF489HCSDC KF489HCSDC
| URI | m2://inv/KF489HCSDC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/dlo.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.1
History
- 2026-11-01: add by m2/v0.6.13
Gaussian relative-entropy projection KF48X1AKR6
| URI | m2://inv/KF48X1AKR6 |
|---|---|
| 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.09472#AP2P, Gaussian relative-entropy projection (statement). In 35925M9GJW/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
System of inequalities KF4CRNWDG9
| URI | m2://inv/KF4CRNWDG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequality (mathematics)#UQCT, System of inequalities (unknown)
History
- 2026-11-02: add by m2/dev
Definition KF4JKX80T7
| URI | m2://inv/KF4JKX80T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's point-free geometry#JAD0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Carlo Luigi Ricci KF4K43R9PX
| URI | m2://inv/KF4K43R9PX |
|---|---|
| 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#L7FI, Carlo Luigi Ricci (unknown)
History
- 2026-11-02: add by m2/dev
KF4TT0MMJH KF4TT0MMJH
| URI | m2://inv/KF4TT0MMJH |
|---|---|
| Kind | conjecture |
| 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 2011.06637#P3UM (conjecture). In KFCJ5CFP3G/e1, conjecture I
History
- 2026-10-27: add by m2/v0.3.5
KF4X4TN749 KF4X4TN749
| URI | m2://inv/KF4X4TN749 |
|---|---|
| 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.08658#SA25 (statement). In 7PK5WS7246/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
KF5116G8XK KF5116G8XK
| URI | m2://inv/KF5116G8XK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.00407#GGLJ (definition). In TVFD0G3F2W/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
KF55H4GYHJ KF55H4GYHJ
| URI | m2://inv/KF55H4GYHJ |
|---|---|
| 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.32088#W4KP (statement). In 7781ARDE06/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Bundle theorem KF59TZPEVH
| URI | m2://inv/KF59TZPEVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle theorem, Bundle theorem (statement). Also Wikidata Q15793248
History
- 2026-11-02: add by m2/dev
KF5M5D5C9D KF5M5D5C9D
| URI | m2://inv/KF5M5D5C9D |
|---|---|
| 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.38436#Y1J0 (statement). In 702AF3E4AF/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
Insolubilia KF5RB71PWT
| URI | m2://inv/KF5RB71PWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Insolubilia, Insolubilia (definition). Also Wikidata Q6038226
History
- 2026-11-02: add by m2/dev
equivariant stable homotopy theory KF5T9WTB7A
| URI | m2://inv/KF5T9WTB7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16908668, equivariant stable homotopy theory (topic). Also nLab Equivariant stable homotopy theory, nLab equivariant stable homotopy theory
- wikipedia: Wikipedia Equivariant stable homotopy theory, Equivariant stable homotopy theory (definition). Also Wikidata Q16908668
History
- 2026-10-26: add by m2/dev
color KF5VDF1SNP
| URI | m2://inv/KF5VDF1SNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#G7IV, color (definition)
History
- 2026-11-02: add by m2/dev
Helmuth Gericke KF5YQB2Y22
| URI | m2://inv/KF5YQB2Y22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmuth Gericke, Helmuth Gericke (topic). Also Wikidata Q92406
History
- 2026-11-02: add by m2/dev
KF61ZH0PCZ KF61ZH0PCZ
| URI | m2://inv/KF61ZH0PCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#9OZY (statement). In 371P9QASSJ/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.2
Richard Whately KF62RBCMN9
| URI | m2://inv/KF62RBCMN9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#L2CE, Richard Whately (topic)
History
- 2026-11-02: add by m2/dev
square kilometre KF6MCD9J3V
| URI | m2://inv/KF6MCD9J3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q712226, square kilometre (definition). Also ProofWiki Definition:Square_Kilometre
History
- 2026-10-26: add by m2/dev
analysis KF6VC4RZ4F
| URI | m2://inv/KF6VC4RZ4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YM6J, analysis (definition)
History
- 2026-11-02: add by m2/dev
Lillian Lieber KF6WDBSSFK
| URI | m2://inv/KF6WDBSSFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WB4H, Lillian Lieber (topic)
History
- 2026-11-02: add by m2/dev
Definition KF70F9GPX3
| URI | m2://inv/KF70F9GPX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross section (geometry)#Z7DM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem KF77G3Z4GD
| URI | m2://inv/KF77G3Z4GD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topologies on spaces of linear maps#VKGC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
KF7C8KE1YK KF7C8KE1YK
| URI | m2://inv/KF7C8KE1YK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#O7XO (statement). In ZAM4S2XS9F/e1, proposition B.3
History
- 2026-10-30: add by m2/v0.4.12
Definition KF7FH3MGHB
| URI | m2://inv/KF7FH3MGHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gysin homomorphism#1XYR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ideally exact categories KF7MVFKNF8
| URI | m2://inv/KF7MVFKNF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#5NA1, Ideally exact categories (statement). In TC5QA4AB4Z/e1, theorem 3.36
History
- 2026-10-30: add by m2/v0.4.12
Decisional Module-LWE KF7NJA8XWJ
| URI | m2://inv/KF7NJA8XWJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38668#SR76, Decisional Module-LWE (definition). In VB1EZ9K6YW/e1, definition 8.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithm KF7P4VTZ1D
| URI | m2://inv/KF7P4VTZ1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chudnovsky algorithm#FTWE, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
KF7PEGHHCE KF7PEGHHCE
| URI | m2://inv/KF7PEGHHCE |
|---|---|
| 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.02558#KQBR (statement). In 7SMKFW1KP1/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Interval contractor KF7SEDSR9X
| URI | m2://inv/KF7SEDSR9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval contractor, Interval contractor (definition). Also Wikidata Q17086191
History
- 2026-11-02: add by m2/dev
Conjecture KF7VKZHX8B
| URI | m2://inv/KF7VKZHX8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflected entropy#JDFA, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Theorem KF7YAPYKE8
| URI | m2://inv/KF7YAPYKE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon–Newell theorem#4TRK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
KF7ZHXZPWF KF7ZHXZPWF
| URI | m2://inv/KF7ZHXZPWF |
|---|---|
| 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.37973#KH3N (statement). In 7276BGZRMP/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
KF8010EKXE KF8010EKXE
| URI | m2://inv/KF8010EKXE |
|---|---|
| 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.16886#K65J (statement). In Y8QQAH7VCF/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
Albert Baernstein II KF81TSVWXX
| URI | m2://inv/KF81TSVWXX |
|---|---|
| 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#66SN, Albert Baernstein II (topic)
History
- 2026-11-02: add by m2/dev
Methods KF85Z2CSWA
| URI | m2://inv/KF85Z2CSWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer-assisted proof#R069, Methods (definition)
History
- 2026-11-02: add by m2/dev
Multivariate gamma function KF89PWSB7W
| URI | m2://inv/KF89PWSB7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#U3YN, Multivariate gamma function (definition)
History
- 2026-11-02: add by m2/dev
Grains decomposition KF8FA1A7NG
| URI | m2://inv/KF8FA1A7NG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#RNBI, Grains decomposition (definition). In 585QYGX4X6/e1, definition 25
History
- 2026-10-28: add by m2/v0.4.2
Diminished trapezohedron KF8J9BKVBK
| URI | m2://inv/KF8J9BKVBK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diminished trapezohedron, Diminished trapezohedron (object). Also Wikidata Q16961848
History
- 2026-11-02: add by m2/dev
A small-$p$ estimate KF8N3ZBX9V
| URI | m2://inv/KF8N3ZBX9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16294#GPW7, A small-$p$ estimate (statement). In N7HRE31BBH/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
Sinclair, Sir John KF8YTJ839G
| URI | m2://inv/KF8YTJ839G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RYDL, Sinclair, Sir John (unknown)
History
- 2026-11-02: add by m2/dev
Two-point arithmetic rigidity KF94BGDPJS
| URI | m2://inv/KF94BGDPJS |
|---|---|
| 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.19243#T4HW, Two-point arithmetic rigidity (statement). In 8CSXBTYKDT/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
KF96WEVE14 KF96WEVE14
| URI | m2://inv/KF96WEVE14 |
|---|---|
| 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.19573#ANT2 (statement). In NM6Z2R61CN/e1, lemma
History
- 2026-10-28: add by m2/v0.4.2
KF9A5PPDBY KF9A5PPDBY
| URI | m2://inv/KF9A5PPDBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#FK53 (statement). In A3VQ2TNRKK/e1, corollary A.8
History
- 2026-10-27: add by m2/v0.4.0
KF9ADC2JEP KF9ADC2JEP
| URI | m2://inv/KF9ADC2JEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#5Q7K (statement)
History
- 2026-11-01: add by m2/v0.6.15
KF9EX0HNYT KF9EX0HNYT
| URI | m2://inv/KF9EX0HNYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#7GSJ (statement). In 5E9G06XJKC/e1, lemma G.24
History
- 2026-10-28: add by m2/v0.4.2
$P(n,1)$ and Ledet's conjecture KF9PR7502W
| URI | m2://inv/KF9PR7502W |
|---|---|
| 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.09298#JIVN, $P(n,1)$ and Ledet's conjecture (statement). In 1SPQ4J3AWY/e1, theorem 8.5
History
- 2026-10-29: add by m2/v0.4.10
Boolean satisfiability algorithm heuristics KF9XGAA6DW
| URI | m2://inv/KF9XGAA6DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean satisfiability algorithm heuristics, Boolean satisfiability algorithm heuristics (definition). Also Wikidata Q25111867
History
- 2026-11-02: add by m2/dev
Bayesian inference KF9YHMKCAW
| URI | m2://inv/KF9YHMKCAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference, Bayesian inference (definition). Also Wikidata Q812535
History
- 2026-11-02: add by m2/dev
NP = co-NP problem KF9YZ0VZE9
| URI | m2://inv/KF9YZ0VZE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#19LG, NP = co-NP problem (definition)
History
- 2026-11-02: add by m2/dev
KFA1KZS6Q7 KFA1KZS6Q7
| URI | m2://inv/KFA1KZS6Q7 |
|---|---|
| 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.28211#CQLY (statement)
History
- 2026-11-01: add by m2/v0.6.15
KFA4JGZT9J KFA4JGZT9J
| URI | m2://inv/KFA4JGZT9J |
|---|---|
| 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.25030#QPUR (statement)
History
- 2026-11-01: add by m2/v0.6.15
KFACJFDV1Z KFACJFDV1Z
| URI | m2://inv/KFACJFDV1Z |
|---|---|
| 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#WO3H (statement). In D0XH7W96T3/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
KFAQQVQTXH KFAQQVQTXH
| URI | m2://inv/KFAQQVQTXH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example:sincossecondorder (example). In E9HS8K3A52, example, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
KFAVMZNFMG KFAVMZNFMG
| URI | m2://inv/KFAVMZNFMG |
|---|---|
| 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#WQST (statement). In F3BKXXPR3K/e1, proposition C.6
History
- 2026-10-27: add by m2/v0.4.2
KFAWQP4XWQ KFAWQP4XWQ
| URI | m2://inv/KFAWQP4XWQ |
|---|---|
| Kind | example |
| 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.11157#BR8I (example). In G30YTST9ZK/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.3
Hilbert–Samuel function KFB45K92F1
| URI | m2://inv/KFB45K92F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert–Samuel function BNQVS83GZV |
Mentions
- wikidata: Wikidata Q5761248, Hilbert–Samuel function (unknown). Also MathWorld Hilbert-SamuelFunction
- wikipedia: Wikipedia Hilbert–Samuel function, Hilbert–Samuel function (definition). Also Wikidata Q5761248
History
- 2026-10-26: add by m2/dev
Direct regularized windowed value transfer KFB4B7BAXR
| URI | m2://inv/KFB4B7BAXR |
|---|---|
| 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.04638#QXRO, Direct regularized windowed value transfer (statement). In 3YM5F3YHD5/e1, proposition F.7
History
- 2026-10-29: add by m2/v0.4.12
KFBAF2QK8R KFBAF2QK8R
| URI | m2://inv/KFBAF2QK8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#FY0P (statement). In 4X4ZS7CEKD/e1, proposition 15
History
- 2026-10-30: add by m2/v0.4.12
Posterior probability KFBFKH55RD
| URI | m2://inv/KFBFKH55RD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Posterior probability, Posterior probability (definition). Also Wikidata Q278079
History
- 2026-11-02: add by m2/dev
Examples KFBKSCR1HD
| URI | m2://inv/KFBKSCR1HD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal U(1)-bundle#LXXB, Examples (example)
History
- 2026-11-02: add by m2/dev
KFBX02PC7E KFBX02PC7E
| URI | m2://inv/KFBX02PC7E |
|---|---|
| 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.40274#IUHJ (statement). In 7ZDNJC9MST/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
KFBY80W6SM KFBY80W6SM
| URI | m2://inv/KFBY80W6SM |
|---|---|
| Kind | definition |
| 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#RDJO (definition)
History
- 2026-11-02: add by m2/v0.6.18
Nicole El Karoui KFC1TSJJYF
| URI | m2://inv/KFC1TSJJYF |
|---|---|
| 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#1P55, Nicole El Karoui (topic)
History
- 2026-11-02: add by m2/dev
KFC2W7HPFS KFC2W7HPFS
| URI | m2://inv/KFC2W7HPFS |
|---|---|
| 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.14080#IBB6 (statement). In 1DRD5FAJ4C/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
All Gaussian contractions at every finite moment order KFCAX25TVG
| URI | m2://inv/KFCAX25TVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#LNTZ, All Gaussian contractions at every finite moment order (statement). In 9YAE8FNQST/e1, theorem 13.5
History
- 2026-10-30: add by m2/v0.4.12
Stirling's formula (bounds) KFCHAWY52B
| URI | m2://inv/KFCHAWY52B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#XSH7, Stirling's formula (bounds) (definition)
History
- 2026-11-02: add by m2/dev
Woody Bledsoe KFCK8MZCXN
| URI | m2://inv/KFCK8MZCXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woody Bledsoe, Woody Bledsoe (topic). Also Wikidata Q3709938
History
- 2026-11-02: add by m2/dev
KFCQ9PNFS6 KFCQ9PNFS6
| URI | m2://inv/KFCQ9PNFS6 |
|---|---|
| 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#ZEBV (statement). In CTVPA2FQT1/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.4.0
KFCZTWB1H8 KFCZTWB1H8
| URI | m2://inv/KFCZTWB1H8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-25 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Selman Akbulut KFD3RHKSWJ
| URI | m2://inv/KFD3RHKSWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selman Akbulut, Selman Akbulut (topic). Also Wikidata Q7448741
History
- 2026-11-02: add by m2/dev
Algorithms KFD90AZBS0
| URI | m2://inv/KFD90AZBS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MaxDDBS#FUVG, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Definition of a quadratic set KFDCCRBNED
| URI | m2://inv/KFDCCRBNED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic set#2KL4, Definition of a quadratic set (definition)
History
- 2026-11-02: add by m2/dev
Characterization KFDCMAKCHV
| URI | m2://inv/KFDCMAKCHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-arithmetic mean#8595, Characterization (statement)
History
- 2026-11-02: add by m2/dev
KFDM51RMRV KFDM51RMRV
| URI | m2://inv/KFDM51RMRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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 2609.27458#71OI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Matiyasevich's theorem KFDN6K4XEV
| URI | m2://inv/KFDN6K4XEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine set#Y550, Matiyasevich's theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples KFDV2W3QEW
| URI | m2://inv/KFDV2W3QEW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average earnings index (horse racing)#WPNA, Examples (example)
History
- 2026-11-02: add by m2/dev
Baire space KFDWNNP8C7
| URI | m2://inv/KFDWNNP8C7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Baire space 0ZH5AJ2ED7 |
Mentions
- wikidata: Wikidata Q1150180, Baire space (concept). Also EoM Baire_space, MathWorld BaireSpace
- wikipedia: Wikipedia Baire space, Baire space (definition). Also Wikidata Q1150180
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
KFE22W65ZW KFE22W65ZW
| URI | m2://inv/KFE22W65ZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#JT6P (statement). In FK89DQ9J4S/e1, proposition 6.11
History
- 2026-10-30: add by m2/v0.4.12
The case $b = -1$ KFE3006GN4
| URI | m2://inv/KFE3006GN4 |
|---|---|
| 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.01924#FH80, The case $b = -1$ (statement). In CB89152EQW/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.12
KFE5XDFEXT KFE5XDFEXT
| URI | m2://inv/KFE5XDFEXT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-235 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Bang-Yen Chen KFE8Z0MA5A
| URI | m2://inv/KFE8Z0MA5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#2NOB, Bang-Yen Chen (topic)
History
- 2026-11-02: add by m2/dev
KFEAZ6N5CQ KFEAZ6N5CQ
| URI | m2://inv/KFEAZ6N5CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17204#YA87 (statement). In 5CZ2BNV4MT/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Parseval–Gutzmer formula KFEHG2JFPS
| URI | m2://inv/KFEHG2JFPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parseval–Gutzmer formula, Parseval–Gutzmer formula (statement). Also Wikidata Q7139958
History
- 2026-11-02: add by m2/dev
countable ordinal KFEJ5J8ED8
| URI | m2://inv/KFEJ5J8ED8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LF98, countable ordinal (definition)
History
- 2026-11-02: add by m2/dev
Double wedge KFENNPNJ8B
| URI | m2://inv/KFENNPNJ8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double wedge, Double wedge (definition). Also Wikidata Q5300116
History
- 2026-11-02: add by m2/dev
Properties KFESVX4QNQ
| URI | m2://inv/KFESVX4QNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic reciprocity#BHY0, Properties (statement)
History
- 2026-11-02: add by m2/dev
KFETR5Q98P KFETR5Q98P
| URI | m2://inv/KFETR5Q98P |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
KFF5X4EY46 KFF5X4EY46
| URI | m2://inv/KFF5X4EY46 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#proof-1 (proof). In RZP28ERRZV, proof, section 27.2.1
History
- 2026-11-01: add by m2/v0.6.13
KFF983M3Y7 KFF983M3Y7
| URI | m2://inv/KFF983M3Y7 |
|---|---|
| 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.04323#5FJP (statement). In 3Z0D2NCJ0B/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Hermite distribution KFF9JAZ5TV
| URI | m2://inv/KFF9JAZ5TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#L834, Hermite distribution (unknown)
History
- 2026-11-02: add by m2/dev
Newton–Cartan theory KFFBTFADPF
| URI | m2://inv/KFFBTFADPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#UQ2U, Newton–Cartan theory (unknown)
History
- 2026-11-02: add by m2/dev
Jordan normal form KFFKEYQB8N
| URI | m2://inv/KFFKEYQB8N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > Jordan normal form, Jordan normal form (unknown)
History
- 2026-10-26: add by m2/dev
KFFWTYBRZG KFFWTYBRZG
| URI | m2://inv/KFFWTYBRZG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#URGX (definition). In Z9HC1EDTQP/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Likert, Rensis KFG1BHTA7M
| URI | m2://inv/KFG1BHTA7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LLEZ, Likert, Rensis (unknown)
History
- 2026-11-02: add by m2/dev
normal subgroup KFGGB45SX1
| URI | m2://inv/KFGGB45SX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 21918) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#G36B, normal subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Sample Complexity of D-IMPL KFGJMJARVS
| URI | m2://inv/KFGJMJARVS |
|---|---|
| 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.22752#JGN7, Sample Complexity of D-IMPL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example of a game without a value KFGS976KHN
| URI | m2://inv/KFGS976KHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#JDYC, Example of a game without a value (definition)
History
- 2026-11-02: add by m2/dev
KFGSWRZ8ZS KFGSWRZ8ZS
| URI | m2://inv/KFGSWRZ8ZS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#XHT4 (definition). In Z7E16PFFCP/e1, definition 4.12
History
- 2026-10-30: add by m2/v0.4.12
Factorial moment KFGXN276H8
| URI | m2://inv/KFGXN276H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K2TU, Factorial moment (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#H74K, Factorial moment (definition)
History
- 2026-11-02: add by m2/dev
KFGZF8RK4R KFGZF8RK4R
| URI | m2://inv/KFGZF8RK4R |
|---|---|
| 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 2609.28357#C0NO (statement)
History
- 2026-11-01: add by m2/v0.6.15
European Union KFH3MBHF8E
| URI | m2://inv/KFH3MBHF8E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by English-speaking population#NV3N, European Union (unknown)
History
- 2026-11-02: add by m2/dev
Richter scale KFHE7SZF04
| URI | m2://inv/KFHE7SZF04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richter scale, Richter scale (definition). Also Wikidata Q38768
History
- 2026-11-02: add by m2/dev
TrueCrypt License KFHFWNNRRP
| URI | m2://inv/KFHFWNNRRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TrueCrypt#VGB4, TrueCrypt License (unknown)
History
- 2026-11-02: add by m2/dev
KFHK76XC0S KFHK76XC0S
| URI | m2://inv/KFHK76XC0S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-16 (proof). In E59CDZA4DP, proof, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
Constant false alarm rate KFHMWZHC1A
| URI | m2://inv/KFHMWZHC1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant false alarm rate, Constant false alarm rate (definition). Also Wikidata Q644307
History
- 2026-11-02: add by m2/dev
Cryptanalysis of the Lorenz cipher KFHS0KV2QK
| URI | m2://inv/KFHS0KV2QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptanalysis of the Lorenz cipher, Cryptanalysis of the Lorenz cipher (definition). Also Wikidata Q5190625
History
- 2026-11-02: add by m2/dev
Polynomial expansion KFHVK0SYQ5
| URI | m2://inv/KFHVK0SYQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial expansion, Polynomial expansion (definition). Also Wikidata Q6452866
History
- 2026-11-02: add by m2/dev
Path-connected KFHZKS8VMM
| URI | m2://inv/KFHZKS8VMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#RPOI, Path-connected (definition)
History
- 2026-11-02: add by m2/dev
Don Yee KFHZRR7Y91
| URI | m2://inv/KFHZRR7Y91 |
|---|---|
| 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#MWYL, Don Yee (unknown)
History
- 2026-11-02: add by m2/dev
Discrete Laplacian and maximal affine interval KFJ03AVWY5
| URI | m2://inv/KFJ03AVWY5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.29877#ZTYR, Discrete Laplacian and maximal affine interval (definition)
History
- 2026-11-01: add by m2/v0.6.15
KFJ36Z35H9 KFJ36Z35H9
| URI | m2://inv/KFJ36Z35H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#MI6P (statement). In GB0V23Q6C5/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.3.5
KFJDSKZNMN KFJDSKZNMN
| URI | m2://inv/KFJDSKZNMN |
|---|---|
| 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.35275#Y7AK (statement). In B0NV0JBAKB/e1, theorem A.3
History
- 2026-10-30: add by m2/v0.4.12
Marcel F. Neuts KFJERCZY6H
| URI | m2://inv/KFJERCZY6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcel F. Neuts, Marcel F. Neuts (topic). Also Wikidata Q102086824
History
- 2026-11-02: add by m2/dev
number with finite decimal representation KFJPY88J7T
| URI | m2://inv/KFJPY88J7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8424307, number with finite decimal representation (unknown). Also MathWorld RegularNumber
History
- 2026-10-26: add by m2/dev
KFJRG9H4MK KFJRG9H4MK
| URI | m2://inv/KFJRG9H4MK |
|---|---|
| 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.10221#ZKLZ (statement). In 9Z5M655EPV/e1, theorem 5.14
History
- 2026-10-29: add by m2/v0.4.10
Basic error estimate KFJWAPGZJT
| URI | m2://inv/KFJWAPGZJT |
|---|---|
| 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.15805#GEVF, Basic error estimate (statement). In 2XVWG0Z18V/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Solution to scalar LSIB KFJYX3V8FC
| URI | m2://inv/KFJYX3V8FC |
|---|---|
| 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.08007#0S51, Solution to scalar LSIB (statement). In MBFRRC83TH/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
KFJZZNDVNJ KFJZZNDVNJ
| URI | m2://inv/KFJZZNDVNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32446#SBOT (statement). In W1KVJEGJ1W/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
KFK1MHXMYW KFK1MHXMYW
| URI | m2://inv/KFK1MHXMYW |
|---|---|
| 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 2207.07461#XDA0 (statement). In GAG532VMPF/e1, lemma 7.2.2
History
- 2026-10-27: add by m2/v0.3.5
KFK3XR5E5B KFK3XR5E5B
| URI | m2://inv/KFK3XR5E5B |
|---|---|
| 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.21532#YXB3 (example)
History
- 2026-11-02: add by m2/v0.6.18
KFK5A6KD80 KFK5A6KD80
| URI | m2://inv/KFK5A6KD80 |
|---|---|
| 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.21388#54VJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
KFK6FQZFQB KFK6FQZFQB
| URI | m2://inv/KFK6FQZFQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.20460#8VVS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pólya, György KFK6ZQ8HY9
| URI | m2://inv/KFK6ZQ8HY9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#J3FU, Pólya, György (unknown)
History
- 2026-11-02: add by m2/dev
Statement KFK8M9Z8X7
| URI | m2://inv/KFK8M9Z8X7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmichael's theorem#OJ1L, Statement (statement)
History
- 2026-11-02: add by m2/dev
Maximization problem KFKATX1CV2
| URI | m2://inv/KFKATX1CV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimization problem#W69Q, Maximization problem (unknown)
History
- 2026-11-02: add by m2/dev
Completeness theorem KFKER9NZCS
| URI | m2://inv/KFKER9NZCS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#WAET, Completeness theorem (statement)
History
- 2026-11-02: add by m2/dev
KFKHC57KQ5 KFKHC57KQ5
| URI | m2://inv/KFKHC57KQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#2ZA2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
KFKM520XTH KFKM520XTH
| URI | m2://inv/KFKM520XTH |
|---|---|
| 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.16821#7QPE (statement). In EFSGMHG5BW/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Willi Jäger KFKPJBFQZ9
| URI | m2://inv/KFKPJBFQZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willi Jäger, Willi Jäger (topic). Also Wikidata Q92288
History
- 2026-11-02: add by m2/dev
Generalizations KFMCKZB5YQ
| URI | m2://inv/KFMCKZB5YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic number#GIAC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Nicolai Reshetikhin KFMV1ZJPYD
| URI | m2://inv/KFMV1ZJPYD |
|---|---|
| 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#87IY, Nicolai Reshetikhin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CBOI, Nicolai Reshetikhin (topic)
History
- 2026-11-02: add by m2/dev
KFMXT54S9Q KFMXT54S9Q
| URI | m2://inv/KFMXT54S9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.24545#0BXB (statement)
History
- 2026-11-01: add by m2/v0.6.15
KFNCM565P7 KFNCM565P7
| URI | m2://inv/KFNCM565P7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2609.35577#X858 (definition). In 4F8QRV05BV/e1, definition 2.13
History
- 2026-10-30: add by m2/v0.4.12
L. R. Ford, Jr. KFNJ45MH9M
| URI | m2://inv/KFNJ45MH9M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#GIQR, L. R. Ford, Jr. (topic)
History
- 2026-11-02: add by m2/dev
domain KFNY0RVZDS
| URI | m2://inv/KFNY0RVZDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#UQVN, domain (definition)
History
- 2026-11-02: add by m2/dev
A Jensen condition KFP501K9J2
| URI | m2://inv/KFP501K9J2 |
|---|---|
| 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 2609.37704#CLK2, A Jensen condition (statement). In HGTFJ325A4/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Antimatroid KFP61EGY24
| URI | m2://inv/KFP61EGY24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antimatroid, Antimatroid (definition). Also Wikidata Q4774922
History
- 2026-11-02: add by m2/dev
KFPBSJFWDS KFPBSJFWDS
| URI | m2://inv/KFPBSJFWDS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#GDD9 (problem). In E7BPGPP9Z5/e1, problem 3
History
- 2026-10-29: add by m2/v0.4.10
Suely Druck KFPESR6KBF
| URI | m2://inv/KFPESR6KBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suely Druck, Suely Druck (topic). Also Wikidata Q104830144
History
- 2026-11-02: add by m2/dev
Properties KFPS0FM812
| URI | m2://inv/KFPS0FM812 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete Bessel functions#V58T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ellingham–Horton 78-graph KFPZBPGM9B
| URI | m2://inv/KFPZBPGM9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2818300, Ellingham–Horton 78-graph (unknown). Also House of Graphs 1061
History
- 2026-10-26: add by m2/dev
Gosset–Elte figures KFPZCSS8CT
| URI | m2://inv/KFPZCSS8CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gosset–Elte figures, Gosset–Elte figures (definition). Also Wikidata Q18207479
History
- 2026-11-02: add by m2/dev
KFQ38AAYZD KFQ38AAYZD
| URI | m2://inv/KFQ38AAYZD |
|---|---|
| Kind | statement |
| 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#AFXX (statement). In CY1FE8W1ZW/e1, lemma 0.104
History
- 2026-10-27: add by m2/v0.4.0
WomanStats Project KFQDWZFP7M
| URI | m2://inv/KFQDWZFP7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WomanStats Project, WomanStats Project (definition). Also Wikidata Q8030670
History
- 2026-11-02: add by m2/dev
KFQE3BNN5J KFQE3BNN5J
| URI | m2://inv/KFQE3BNN5J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#proof-1 (proof). In RZP28ERRZV, proof, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
The Zilber–Pink conjecture KFQGS7RG2C
| URI | m2://inv/KFQGS7RG2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zilber–Pink conjecture#7C9L, The Zilber–Pink conjecture (statement)
History
- 2026-11-02: add by m2/dev
Corank-one nonexistence range KFQKHG07ZF
| URI | m2://inv/KFQKHG07ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#6LVK, Corank-one nonexistence range (statement). In Z7M2JSF6HA/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
KFQPP8QNPZ KFQPP8QNPZ
| URI | m2://inv/KFQPP8QNPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.17737#L7A0 (statement). In 8SXY7Y68HV/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Examples KFQSAAMR5S
| URI | m2://inv/KFQSAAMR5S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjunction formula#JL52, Examples (example)
History
- 2026-11-02: add by m2/dev
Alternatives to digital rights management KFQSZRDF3W
| URI | m2://inv/KFQSZRDF3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital rights management#3ELI, Alternatives to digital rights management (unknown)
History
- 2026-11-02: add by m2/dev
Pull of the present KFQX8MGQ10
| URI | m2://inv/KFQX8MGQ10 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Push of the past#LSVD, Pull of the present (unknown)
History
- 2026-11-02: add by m2/dev
Explicit formula in terms of Stirling numbers of the second kind KFQY6JK6DR
| URI | m2://inv/KFQY6JK6DR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating permutation#M98C, Explicit formula in terms of Stirling numbers of the second kind (statement)
History
- 2026-11-02: add by m2/dev
Definition KFR1N82E59
| URI | m2://inv/KFR1N82E59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential privacy#M740, Definition (definition)
History
- 2026-11-02: add by m2/dev
KFR3AK1SVX KFR3AK1SVX
| URI | m2://inv/KFR3AK1SVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#00B5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Half-logistic distribution KFR51V0N10
| URI | m2://inv/KFR51V0N10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GM5B, Half-logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
Strichartz estimates KFR6V9E2T0
| URI | m2://inv/KFR6V9E2T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#ZI24, Strichartz estimates (statement). In T2Z3D2VQ9B/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Angela Y. Wu KFR9BFHJHK
| URI | m2://inv/KFR9BFHJHK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ILTV, Angela Y. Wu (unknown)
History
- 2026-11-02: add by m2/dev
KFR9RK0Y38 KFR9RK0Y38
| URI | m2://inv/KFR9RK0Y38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#0G3L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ian Stewart KFRS9K0XRD
| URI | m2://inv/KFRS9K0XRD |
|---|---|
| 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 Q372182, Ian Stewart (unknown). Also ProofWiki Mathematician:Ian_Nicholas_Stewart
- wikipedia: Wikipedia Ian Stewart (mathematician), Ian Stewart (topic). Also Wikidata Q372182
History
- 2026-10-26: add by m2/dev
DI capacity for continuous channels KFRY6B8MKS
| URI | m2://inv/KFRY6B8MKS |
|---|---|
| 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.12413#V8UE, DI capacity for continuous channels (statement). In 6EJ8J60SP8/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Mean-share risk and all equality cases KFS30QE9JK
| URI | m2://inv/KFS30QE9JK |
|---|---|
| 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.07721#WQJ4, Mean-share risk and all equality cases (statement). In QMJDN66F5N/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
KFS41MSV8Z KFS41MSV8Z
| URI | m2://inv/KFS41MSV8Z |
|---|---|
| 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 2011.11439#K85A (statement). In 9Z8RSQ36JC/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Strong Nash equilibrium KFS9N8TV43
| URI | m2://inv/KFS9N8TV43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong Nash equilibrium, Strong Nash equilibrium (definition). Also Wikidata Q2897200
History
- 2026-11-02: add by m2/dev
KFSZN9TRGP KFSZN9TRGP
| URI | m2://inv/KFSZN9TRGP |
|---|---|
| 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 2108.09796#GY7W (statement). In NAA7WFQN20/e1, theorem 8.2
History
- 2026-10-27: add by m2/v0.3.5
KFT1NFVDJH KFT1NFVDJH
| URI | m2://inv/KFT1NFVDJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#D4JJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
KFT404809B KFT404809B
| URI | m2://inv/KFT404809B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#2M06 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KFT7KA0NXD KFT7KA0NXD
| URI | m2://inv/KFT7KA0NXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#DA4V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Julia Wetzel KFTERYAJCT
| URI | m2://inv/KFTERYAJCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#0BO9, Julia Wetzel (unknown)
History
- 2026-11-02: add by m2/dev
KFTHMPRT8A KFTHMPRT8A
| URI | m2://inv/KFTHMPRT8A |
|---|---|
| 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.21730#VFZI (statement). In BM64QM6Q7J/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Weyl's lemma KFTKG3Y05Q
| URI | m2://inv/KFTKG3Y05Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#OJ6B, Weyl's lemma (unknown)
History
- 2026-11-02: add by m2/dev
$p$-adic integer KFTRRNHCK1
| URI | m2://inv/KFTRRNHCK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > $p$-adic integer, $p$-adic integer (unknown). Also Mathlib PadicInt
History
- 2026-10-26: add by m2/dev
KFTT2ZX18C KFTT2ZX18C
| URI | m2://inv/KFTT2ZX18C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#OVJ7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
KFTX4QHHBF KFTX4QHHBF
| URI | m2://inv/KFTX4QHHBF |
|---|---|
| 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 2206.11471#T3QT (statement). In 8387H919D5/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
(2+1)-dimensional topological gravity KFV0SVT86W
| URI | m2://inv/KFV0SVT86W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (2+1)-dimensional topological gravity, (2+1)-dimensional topological gravity (definition). Also Wikidata Q8176122
History
- 2026-11-02: add by m2/dev
KFV1G2AG43 KFV1G2AG43
| URI | m2://inv/KFV1G2AG43 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10243#Z8UT (problem). In 6N7EAD1PYD/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
False positives and false negatives KFV6KXC5RV
| URI | m2://inv/KFV6KXC5RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False positives and false negatives, False positives and false negatives (definition). Also Wikidata Q18207010
History
- 2026-11-02: add by m2/dev
Abel's test KFVA3HGS4G
| URI | m2://inv/KFVA3HGS4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#MVHG, Abel's test (definition)
History
- 2026-11-02: add by m2/dev
Blankenship, Erin KFVCCXZJ1Z
| URI | m2://inv/KFVCCXZJ1Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TGCY, Blankenship, Erin (topic)
History
- 2026-11-02: add by m2/dev
KFVD1FHNB7 KFVD1FHNB7
| URI | m2://inv/KFVD1FHNB7 |
|---|---|
| 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.36068#TSDQ (statement). In CKNAB8QY5B/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
KFVK2C0535 KFVK2C0535
| URI | m2://inv/KFVK2C0535 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11276#AY7L (statement). In KMTQRFFYZY/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
KFVQB0PEYE KFVQB0PEYE
| URI | m2://inv/KFVQB0PEYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20542#P81R (statement). In 8PZXZ8Y9FK/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
346 (number) KFVQGJWV93
| URI | m2://inv/KFVQGJWV93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#K753, 346 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Cerf theory KFVSKHV0N0
| URI | m2://inv/KFVSKHV0N0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cerf theory, Cerf theory (topic). Also Wikidata Q5064229
History
- 2026-11-02: add by m2/dev
Formal definition KFVWJR311H
| URI | m2://inv/KFVWJR311H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random field#BMCH, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
KFVZETJYC3 KFVZETJYC3
| URI | m2://inv/KFVZETJYC3 |
|---|---|
| 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.09648#YI59 (statement). In WB9PTPN54H/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
KFVZZFWFPH KFVZZFWFPH
| URI | m2://inv/KFVZZFWFPH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#N1ZR (definition). In 8M7BFVQYMM/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.3
Formal definition KFW61JMZZG
| URI | m2://inv/KFW61JMZZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological manifold#2EYH, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform estimates following Proposition 7.1 KFW7P7Q2PR
| URI | m2://inv/KFW7P7Q2PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#CHKZ, Uniform estimates following Proposition 7.1 (statement). In WRMNCC8VBC/e1, proposition 61
History
- 2026-10-27: add by m2/v0.3.6
KFWA80JAQS KFWA80JAQS
| URI | m2://inv/KFWA80JAQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#A14V (statement). In AVDB4KJ6XB/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
KFWAC376XX KFWAC376XX
| URI | m2://inv/KFWAC376XX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-basics.ptx#example-4 (example). In Y91XFCEVHQ, example, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
KFWD8KS6QS KFWD8KS6QS
| URI | m2://inv/KFWD8KS6QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#6OEL (statement). In TZXEMCBK5V/e1, corollary 2.4
History
- 2026-10-30: add by m2/v0.4.12
Line with two origins KFWG2Y7EQM
| URI | m2://inv/KFWG2Y7EQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#HHFU, Line with two origins (unknown)
History
- 2026-11-02: add by m2/dev
KFWNM8JSEH KFWNM8JSEH
| URI | m2://inv/KFWNM8JSEH |
|---|---|
| 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.06541#T9BA (statement). In R604B78EVK/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
Envelope of a broken power law KFWR0W7Y2D
| URI | m2://inv/KFWR0W7Y2D |
|---|---|
| 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.10640#UXKF, Envelope of a broken power law (statement). In BAQVK6N0RD/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
Virtually free group KFWT2DD0FE
| URI | m2://inv/KFWT2DD0FE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtually#JRFB, Virtually free group (unknown)
History
- 2026-11-02: add by m2/dev
KFWXVZHDZF KFWXVZHDZF
| URI | m2://inv/KFWXVZHDZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/prim-rec.tex#lem:prim-rec (statement). In PKGMM3P5QY, lem, section 29.11
History
- 2026-11-01: add by m2/v0.6.13
Definition KFX3N8KXT0
| URI | m2://inv/KFX3N8KXT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic gamma function#BJYH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform per-key distortion-freeness KFX4ES330D
| URI | m2://inv/KFX4ES330D |
|---|---|
| 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.05712#LGNS, Uniform per-key distortion-freeness (statement). In 44Q2H3DWNW/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Regularized BF identity KFX57YZW7N
| URI | m2://inv/KFX57YZW7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#X16U, Regularized BF identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equation before projection KFX5R18QP4
| URI | m2://inv/KFX5R18QP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#ZG3H, Equation before projection (statement). In RYWAX33Z51/e1, lemma 7.6
History
- 2026-10-31: add by m2/v0.5.6
Erhard Scholz KFXAN0Z6A1
| URI | m2://inv/KFXAN0Z6A1 |
|---|---|
| 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#HWCL, Erhard Scholz (unknown)
History
- 2026-11-02: add by m2/dev
KFXBJMEFJV KFXBJMEFJV
| URI | m2://inv/KFXBJMEFJV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12169#BXIZ (definition). In 645GF9SFWM/e1, definition 10
History
- 2026-10-28: add by m2/v0.4.2
Teichmüller modular form KFXM017KDZ
| URI | m2://inv/KFXM017KDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teichmüller modular form, Teichmüller modular form (definition). Also Wikidata Q16887592
History
- 2026-11-02: add by m2/dev
KFXX906WHN KFXX906WHN
| URI | m2://inv/KFXX906WHN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-275 (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
KFXXTWCB1W KFXXTWCB1W
| URI | m2://inv/KFXXTWCB1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07280#N3QZ (statement). In 1FJKW4WGEN/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Examples KFXZWG15SD
| URI | m2://inv/KFXZWG15SD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C0-semigroup#9E5Q, Examples (example)
History
- 2026-11-02: add by m2/dev
Density bounds KFY07CEWFX
| URI | m2://inv/KFY07CEWFX |
|---|---|
| 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.14616#FBQV, Density bounds (statement). In 17ACAG0N9C/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
KFY0A4MR4C KFY0A4MR4C
| URI | m2://inv/KFY0A4MR4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#N9IK (statement)
History
- 2026-11-01: add by m2/v0.6.15
KFY3HHG465 KFY3HHG465
| URI | m2://inv/KFY3HHG465 |
|---|---|
| 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.15525#5O4L (statement). In EFDRME13PT/e1, proposition 7.4
History
- 2026-10-28: add by m2/v0.4.2
Herbert Busemann KFY8WQFEPW
| URI | m2://inv/KFY8WQFEPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T7AT, Herbert Busemann (topic)
History
- 2026-11-02: add by m2/dev
FHT KFYA14A6Z4
| URI | m2://inv/KFYA14A6Z4 |
|---|---|
| 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.08198#TT50, FHT (statement). In 50K0H8HRED/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
particle statistics KFZAJJAZ4F
| URI | m2://inv/KFZAJJAZ4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q611755, particle statistics (unknown). Also nLab particle statistics
History
- 2026-10-26: add by m2/dev
KFZATXWBH8 KFZATXWBH8
| URI | m2://inv/KFZATXWBH8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#limandineq:cor (statement). In E59CDZA4DP, cor, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
KFZM6YNF75 KFZM6YNF75
| URI | m2://inv/KFZM6YNF75 |
|---|---|
| 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.23941#Z18P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition KFZNHQGKBJ
| URI | m2://inv/KFZNHQGKBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum flow problem#Y3RM, Definition (definition)
History
- 2026-11-02: add by m2/dev
temperature of the human body KFZPAJE918
| URI | m2://inv/KFZPAJE918 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#4J1C, temperature of the human body (unknown)
History
- 2026-11-02: add by m2/dev
Cricket statistics KFZR23864E
| URI | m2://inv/KFZR23864E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V05W, Cricket statistics (definition)
History
- 2026-11-02: add by m2/dev
Applications KFZSFFB4J6
| URI | m2://inv/KFZSFFB4J6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of probability#7BBW, Applications (example)
History
- 2026-11-02: add by m2/dev
KFZSRBHD22 KFZSRBHD22
| URI | m2://inv/KFZSRBHD22 |
|---|---|
| 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.38838#THWV (statement). In 3EH8M9GWTX/e1, proposition 4.11
History
- 2026-10-30: add by m2/v0.4.12