Inventory rows KG
The cards of the rows of the inventory whose ids start with KG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
KG02T8YCW8 KG02T8YCW8
| URI | m2://inv/KG02T8YCW8 |
|---|---|
| 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 2308.09645#TFYV (statement). In HVDSC1GQRD/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
integrand KG0D6Q4MHT
| URI | m2://inv/KG0D6Q4MHT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.3.2/integrand, integrand (concept). In 907G4C4EJ1, index, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
KG0KBBRKGG KG0KBBRKGG
| URI | m2://inv/KG0KBBRKGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#UIAE (statement). In 7PACGDW3N7/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.4.0
Ruth Aaronson Bari KG0KCR5FN2
| URI | m2://inv/KG0KCR5FN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Aaronson Bari, Ruth Aaronson Bari (topic). Also Wikidata Q4078203
History
- 2026-11-02: add by m2/dev
Sidney Graham KG0SB7YJY7
| URI | m2://inv/KG0SB7YJY7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NI4X, Sidney Graham (topic)
History
- 2026-11-02: add by m2/dev
KG0SW58HQ2 KG0SW58HQ2
| URI | m2://inv/KG0SW58HQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#HTTD (statement). In 5DFTVG7FFF/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Suanpan KG10FNKN6C
| URI | m2://inv/KG10FNKN6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suanpan, Suanpan (definition). Also Wikidata Q2997913
History
- 2026-11-02: add by m2/dev
KG10JF27BJ KG10JF27BJ
| URI | m2://inv/KG10JF27BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#HDQ2 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
KG10V65DKC KG10V65DKC
| URI | m2://inv/KG10V65DKC |
|---|---|
| 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.17698#LJSF (statement). In DAH99JEYHF/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
KG11FGGE17 KG11FGGE17
| URI | m2://inv/KG11FGGE17 |
|---|---|
| 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 2108.06308#WFOM (statement). In F8BXF46972/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Definition KG12BEW2RN
| URI | m2://inv/KG12BEW2RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed model#1QDC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Paul D. Allison KG138J6CSQ
| URI | m2://inv/KG138J6CSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SE07, Paul D. Allison (unknown)
History
- 2026-11-02: add by m2/dev
Adaptive batch guarantee KG1514XZQK
| URI | m2://inv/KG1514XZQK |
|---|---|
| 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.15202#PJG4, Adaptive batch guarantee (statement). In X1FPG0KYBM/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Nevanlinna Prize KG16JW27ES
| URI | m2://inv/KG16JW27ES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IMU Abacus Medal#8XQ0, Nevanlinna Prize (unknown)
History
- 2026-11-02: add by m2/dev
KG1BEPSGZ8 KG1BEPSGZ8
| URI | m2://inv/KG1BEPSGZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#836N (statement). In 9ZSNSJRJ5N/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.2
Standard uniform distribution KG1FAH1ZSZ
| URI | m2://inv/KG1FAH1ZSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous uniform distribution#YVQL, Standard uniform distribution (unknown)
History
- 2026-11-02: add by m2/dev
Császár, Ákos KG1HXA9GBS
| URI | m2://inv/KG1HXA9GBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#5P2R, Császár, Ákos (topic)
History
- 2026-11-02: add by m2/dev
KG1VQTXDHR KG1VQTXDHR
| URI | m2://inv/KG1VQTXDHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#IN7H (statement). In Q4RZTN2EX6/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.4.2
Extended metric KG29AK9SG9
| URI | m2://inv/KG29AK9SG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space#VF7G, Extended metric (unknown)
History
- 2026-11-02: add by m2/dev
KG2BA8HH26 KG2BA8HH26
| URI | m2://inv/KG2BA8HH26 |
|---|---|
| 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#U8PZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Heyting algebra of formulas equivalent with respect to a theory T KG2DY81R6D
| URI | m2://inv/KG2DY81R6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#5VAV, Heyting algebra of formulas equivalent with respect to a theory T (statement)
History
- 2026-11-02: add by m2/dev
KG2PH19EEF KG2PH19EEF
| URI | m2://inv/KG2PH19EEF |
|---|---|
| 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 1002.0879#5A0R (statement). In M0SQY5EZN5/e1, corollary 4.3.3
History
- 2026-10-27: add by m2/v0.3.5
KG2Q8Q0MZM KG2Q8Q0MZM
| URI | m2://inv/KG2Q8Q0MZM |
|---|---|
| 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.27820#ZQOM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ludwig Schlafli KG2SRMZF97
| URI | m2://inv/KG2SRMZF97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#FPJL, Ludwig Schlafli (topic)
History
- 2026-11-02: add by m2/dev
Witt index KG3022SRZK
| URI | m2://inv/KG3022SRZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#JFCT, Witt index (statement)
History
- 2026-11-02: add by m2/dev
The Petersen Graph KG31WA0Y2X
| URI | m2://inv/KG31WA0Y2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Petersen Graph, The Petersen Graph (definition). Also Wikidata Q96409541
History
- 2026-11-02: add by m2/dev
KG369Q049Y KG369Q049Y
| URI | m2://inv/KG369Q049Y |
|---|---|
| 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#PX44 (statement). In CB89152EQW/e1, theorem 0.8
History
- 2026-10-29: add by m2/v0.4.12
Interior compactness KG3ABGF0FQ
| URI | m2://inv/KG3ABGF0FQ |
|---|---|
| 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#Z7DW, Interior compactness (statement). In 9YAE8FNQST/e1, lemma 17.6
History
- 2026-10-30: add by m2/v0.4.12
KG3Q1HA6AB KG3Q1HA6AB
| URI | m2://inv/KG3Q1HA6AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/provability-from-set.tex#defn:Gammaproves (definition). In PKGMM3P5QY, defn, section 50.10
History
- 2026-11-01: add by m2/v0.6.13
Enriched bonding datum KG3T3F17GA
| URI | m2://inv/KG3T3F17GA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#ZUJM, Enriched bonding datum (definition). In HF7YNMW39N/e1, definition 13.1
History
- 2026-10-27: add by m2/v0.4.0
KG3XX44XAE KG3XX44XAE
| URI | m2://inv/KG3XX44XAE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-279 (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Markovian arrival processes KG43J2V4V5
| URI | m2://inv/KG43J2V4V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UMWV, Markovian arrival processes (definition)
History
- 2026-11-02: add by m2/dev
Hero of Alexandria KG4EP1HFXR
| URI | m2://inv/KG4EP1HFXR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#AS0A, Hero of Alexandria (topic)
History
- 2026-11-02: add by m2/dev
KG4HJJEBTX KG4HJJEBTX
| URI | m2://inv/KG4HJJEBTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05423#7R9U (statement). In 3ABGS3F1JG/e1, proposition 9.2
History
- 2026-10-29: add by m2/v0.4.10
Approximate solutions of the longest path problem KG4HKTKPFM
| URI | m2://inv/KG4HKTKPFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest path problem#BUIE, Approximate solutions of the longest path problem (unknown)
History
- 2026-11-02: add by m2/dev
KG4M67E1Y0 KG4M67E1Y0
| URI | m2://inv/KG4M67E1Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14434#U2MU (statement). In TW93XZXMHE/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Gennady Makanin KG4YVZYEPN
| URI | m2://inv/KG4YVZYEPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gennady Makanin, Gennady Makanin (topic). Also Wikidata Q55104593
History
- 2026-11-02: add by m2/dev
EViews KG55HVKN3T
| URI | m2://inv/KG55HVKN3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EViews, EViews (definition). Also Wikidata Q964535
History
- 2026-11-02: add by m2/dev
Definition KG56X0SBTB
| URI | m2://inv/KG56X0SBTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills moduli space#H5MG, Definition (definition)
History
- 2026-11-02: add by m2/dev
KG5G8N1Y9R KG5G8N1Y9R
| URI | m2://inv/KG5G8N1Y9R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 2105.03252#S4ZD (definition). In 2E47BDDDR4/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
KG5KQ9NAX4 KG5KQ9NAX4
| URI | m2://inv/KG5KQ9NAX4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square packing#P6J3 (problem)
History
- 2026-11-02: add by m2/dev
Comparison criteria KG5NAA0FHT
| URI | m2://inv/KG5NAA0FHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#NJG7, Comparison criteria (statement)
History
- 2026-11-02: add by m2/v0.6.17
KG5NSWZGWK KG5NSWZGWK
| URI | m2://inv/KG5NSWZGWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#Y03C (statement). In XGCND7R0B0/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
KG5QV80E2Q KG5QV80E2Q
| URI | m2://inv/KG5QV80E2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#RQQH (statement). In G2PA4KAGRP/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.3.6
KG5T69G6M0 KG5T69G6M0
| URI | m2://inv/KG5T69G6M0 |
|---|---|
| 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.31910#P4ME (statement). In E4EK1XXPY4/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
KG5WBBK2C1 KG5WBBK2C1
| URI | m2://inv/KG5WBBK2C1 |
|---|---|
| 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.00770#WSE5 (statement). In AYGRJSRG1M/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
Finite-block conditional guessing bounds KG64DY80ZJ
| URI | m2://inv/KG64DY80ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#QUQ8, Finite-block conditional guessing bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
KG69R86VQ5 KG69R86VQ5
| URI | m2://inv/KG69R86VQ5 |
|---|---|
| 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.18277#NDZF (statement). In YFRNY7S92A/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
The Meet-$C_{\min}$ Theorem KG6PSZF1GN
| URI | m2://inv/KG6PSZF1GN |
|---|---|
| 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.20656#LCKM, The Meet-$C_{\min}$ Theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lindenbaum's Lemma KG6R6EQXY2
| URI | m2://inv/KG6R6EQXY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#thm:lindenbaum, Lindenbaum's Lemma (statement). In PKGMM3P5QY, thm, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
KG73NVG7RS KG73NVG7RS
| URI | m2://inv/KG73NVG7RS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#LI3V (statement). In PZ17NHGAKX/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
Distance formula KG73PJ8QSZ
| URI | m2://inv/KG73PJ8QSZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beltrami–Klein model#HUPA, Distance formula (statement)
History
- 2026-11-02: add by m2/dev
KG775DH23J KG775DH23J
| URI | m2://inv/KG775DH23J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-78 (exercise). In E9HS8K3A52, exercise, section 6.6.3
History
- 2026-11-01: add by m2/v0.6.13
Ding Xieping KG79H6GSGE
| URI | m2://inv/KG79H6GSGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ding Xieping, Ding Xieping (topic). Also Wikidata Q81389743
History
- 2026-11-02: add by m2/dev
Approximate formula KG7JJBW09E
| URI | m2://inv/KG7JJBW09E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsoid#RI4I, Approximate formula (statement)
History
- 2026-11-02: add by m2/dev
KG7X43EPPM KG7X43EPPM
| URI | m2://inv/KG7X43EPPM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04516#X0DG (problem). In GZZBR0FX50/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Definition KG87J4HYYB
| URI | m2://inv/KG87J4HYYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opposite group#0UYX, Definition (definition)
History
- 2026-11-02: add by m2/dev
KG8BJHR601 KG8BJHR601
| URI | m2://inv/KG8BJHR601 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14189#7SB2 (definition). In 39VAB08YDJ/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Boolean conjunctive query KG8J5X2HJ6
| URI | m2://inv/KG8J5X2HJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#FG7Z, Boolean conjunctive query (unknown)
History
- 2026-11-02: add by m2/dev
Semyon Alesker KG8V53P0AG
| URI | m2://inv/KG8V53P0AG |
|---|---|
| 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#TPAD, Semyon Alesker (topic)
History
- 2026-11-02: add by m2/dev
Principal operator's log-Lipschitz estimates KG9240A6MA
| URI | m2://inv/KG9240A6MA |
|---|---|
| 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.22513#KCBP, Principal operator's log-Lipschitz estimates (statement)
History
- 2026-11-02: add by m2/v0.6.17
KG9F2KV494 KG9F2KV494
| URI | m2://inv/KG9F2KV494 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#73D4 (statement). In GYMGDQS25R/e1, theorem 6.13
History
- 2026-10-29: add by m2/v0.4.10
Circumference of an ellipse KG9HBQ2M1Z
| URI | m2://inv/KG9HBQ2M1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipse#OSVA, Circumference of an ellipse (unknown)
History
- 2026-11-02: add by m2/dev
KG9MQR4E6T KG9MQR4E6T
| URI | m2://inv/KG9MQR4E6T |
|---|---|
| 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.30771#Z4UE (statement). In PQ5117EYN3/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
Hypothesis testing KG9XJNV025
| URI | m2://inv/KG9XJNV025 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributional data analysis#YL08, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
Petersdorf II KG9YVN1DGX
| URI | m2://inv/KG9YVN1DGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JP1P, Petersdorf II (unknown)
History
- 2026-11-02: add by m2/dev
KG9ZY33V4F KG9ZY33V4F
| URI | m2://inv/KG9ZY33V4F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#POL7 (definition). In CBCCH5VTMQ/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
KGAJ53TEVW KGAJ53TEVW
| URI | m2://inv/KGAJ53TEVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#6IAP (statement). In D6RAQZ2DSK/e1, corollary 4.10
History
- 2026-10-28: add by m2/v0.4.2
Cube mapping KGAQCNA64F
| URI | m2://inv/KGAQCNA64F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#PO2U, Cube mapping (unknown)
History
- 2026-11-02: add by m2/dev
Hardy McLain KGAQEKV9SW
| URI | m2://inv/KGAQEKV9SW |
|---|---|
| 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#S2V5, Hardy McLain (unknown)
History
- 2026-11-02: add by m2/dev
Linear programming relaxation KGARS7X6G1
| URI | m2://inv/KGARS7X6G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming relaxation, Linear programming relaxation (definition). Also Wikidata Q1512771
History
- 2026-11-02: add by m2/dev
KGATGENGJC KGATGENGJC
| URI | m2://inv/KGATGENGJC |
|---|---|
| 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.10796#9XM1 (statement). In 9YDW0QJZ6K/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.3
KGAWD07B5W KGAWD07B5W
| URI | m2://inv/KGAWD07B5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#FMMH (statement). In G3E1P350Z6/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Stationary set KGAXY8XA54
| URI | m2://inv/KGAXY8XA54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary set, Stationary set (definition). Also Wikidata Q1528401
History
- 2026-11-02: add by m2/dev
Examples KGAZE4R8FZ
| URI | m2://inv/KGAZE4R8FZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commercial code (communications)#IQFZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Thompson group KGB310199H
| URI | m2://inv/KGB310199H |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#HABF, Thompson group (object)
History
- 2026-11-02: add by m2/dev
finite group KGB4JEV104
| URI | m2://inv/KGB4JEV104 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 20D10 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1057968, finite group (topic). Also EoM Finite_group, MathWorld FiniteGroup, nLab finite group, ProofWiki Definition:Finite_Group
- wikipedia: Wikipedia Finite group, Finite group (definition). Also Wikidata Q1057968
History
- 2026-10-26: add by m2/dev
Definitions KGBDFJDJ18
| URI | m2://inv/KGBDFJDJ18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleetope#0PSB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Applications KGBDMG37KS
| URI | m2://inv/KGBDMG37KS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robbins' theorem#1MSR, Applications (example)
History
- 2026-11-02: add by m2/dev
Statement KGBF12W3X9
| URI | m2://inv/KGBF12W3X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abhyankar's conjecture#H8SL, Statement (statement)
History
- 2026-11-02: add by m2/dev
Permutation centraliser algebra KGBJNQ1ADS
| URI | m2://inv/KGBJNQ1ADS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#R172, Permutation centraliser algebra (definition). In 5MJ4NJ5ZCV/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.3
Examples KGBMQMF4MH
| URI | m2://inv/KGBMQMF4MH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telescoping (mathematics)#KCKP, Examples (example)
History
- 2026-11-02: add by m2/dev
KGBRJHWFPG KGBRJHWFPG
| URI | m2://inv/KGBRJHWFPG |
|---|---|
| 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#7ZP3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Testery KGBSXF3VCQ
| URI | m2://inv/KGBSXF3VCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Testery, Testery (definition). Also Wikidata Q7705849
History
- 2026-11-02: add by m2/dev
rigid KGBX3Y8SZA
| URI | m2://inv/KGBX3Y8SZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#E98N, rigid (definition)
History
- 2026-11-02: add by m2/dev
Pollock's conjectures KGCAQE3YDC
| URI | m2://inv/KGCAQE3YDC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#692W, Pollock's conjectures (conjecture)
History
- 2026-11-02: add by m2/dev
KGCTJV5417 KGCTJV5417
| URI | m2://inv/KGCTJV5417 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#9WH6 (statement). In HT5MC1SPD9/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Finetti, Bruno de KGD1EAJY4X
| URI | m2://inv/KGD1EAJY4X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#M6MX, Finetti, Bruno de (topic)
History
- 2026-11-02: add by m2/dev
Examples KGD5WJW08P
| URI | m2://inv/KGD5WJW08P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Converse relation#I3PC, Examples (example)
History
- 2026-11-02: add by m2/dev
Variational analysis KGD8TNMZ2H
| URI | m2://inv/KGD8TNMZ2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#GWG4, Variational analysis (definition)
History
- 2026-11-02: add by m2/dev
Constant-gradient block KGDBCGSVP1
| URI | m2://inv/KGDBCGSVP1 |
|---|---|
| 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.31557#S5Y4, Constant-gradient block (statement). In 72NCNYBW2T/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
exactness on a simply connected domain KGDD2F5KKB
| URI | m2://inv/KGDD2F5KKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#JF1Q, exactness on a simply connected domain (statement)
History
- 2026-11-02: add by m2/v0.6.17
KGDD2Y5M8J KGDD2Y5M8J
| URI | m2://inv/KGDD2Y5M8J |
|---|---|
| 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.19660#ECSR (statement). In YKVVY2BW1B/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
outlier KGDEVBKN03
| URI | m2://inv/KGDEVBKN03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q779824, outlier (unknown). Also MathWorld Outlier
- wikipedia: Wikipedia Outlier, Outlier (definition). Also Wikidata Q779824
History
- 2026-10-26: add by m2/dev
Morris method KGDHBHA1MS
| URI | m2://inv/KGDHBHA1MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morris method, Morris method (definition). Also Wikidata Q6913963
History
- 2026-11-02: add by m2/dev
Planted nearby point KGDP8QDHBH
| URI | m2://inv/KGDP8QDHBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38668#D7NP, Planted nearby point (statement). In VB1EZ9K6YW/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
KGDS6NSYMV KGDS6NSYMV
| URI | m2://inv/KGDS6NSYMV |
|---|---|
| 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.10773#TUL6 (statement). In 744Y8ZPEV7/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Louis Chen Hsiao Yun KGDWW4ZS7G
| URI | m2://inv/KGDWW4ZS7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#YV9C, Louis Chen Hsiao Yun (topic)
History
- 2026-11-02: add by m2/dev
KGEA4E9MDD KGEA4E9MDD
| URI | m2://inv/KGEA4E9MDD |
|---|---|
| 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.13030#L7NJ (statement). In 6NZ0YS5MJ7/e1, lemma V.1
History
- 2026-10-28: add by m2/v0.4.2
MacArthur's Minimization Principle KGEDJKASHR
| URI | m2://inv/KGEDJKASHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consumer-resource model#U8UZ, MacArthur's Minimization Principle (statement)
History
- 2026-11-02: add by m2/dev
Basic properties KGEHH1QREN
| URI | m2://inv/KGEHH1QREN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Touchard polynomials#3FS3, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
KGEM41G914 KGEM41G914
| URI | m2://inv/KGEM41G914 |
|---|---|
| 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.06438#J6L1 (statement). In Z633BH3HER/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Eban number KGEXPMX0HH
| URI | m2://inv/KGEXPMX0HH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336251, Eban number (object). Also MathWorld EbanNumber, OEIS A006933
History
- 2026-10-26: add by m2/dev
KGF1V5A783 KGF1V5A783
| URI | m2://inv/KGF1V5A783 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22297#SGDA (statement)
History
- 2026-11-02: add by m2/v0.6.17
M-matrix KGF5MAMEHS
| URI | m2://inv/KGF5MAMEHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-matrix, M-matrix (definition). Also Wikidata Q3064355
History
- 2026-11-02: add by m2/dev
Pierpont prime KGF80GAM8V
| URI | m2://inv/KGF80GAM8V |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#1M4M, Pierpont prime (conjecture)
History
- 2026-11-02: add by m2/dev
Properties KGFCV634A4
| URI | m2://inv/KGFCV634A4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global dominating set#2S5X, Properties (statement)
History
- 2026-11-02: add by m2/dev
term algebra KGFHCECNF9
| URI | m2://inv/KGFHCECNF9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Term algebra 3YYKGWJJND |
Mentions
- wikidata: Wikidata Q21998744, term algebra (unknown). Also MathWorld HerbrandUniverse
- wikidata: Wikidata Q280896, Herbrand universe (concept). Also MathWorld HerbrandUniverse
- wikipedia: Wikipedia Term algebra, Term algebra (definition). Also Wikidata Q21998744
History
- 2026-10-26: add by m2/dev
Measurement invariance KGFKYTYHXR
| URI | m2://inv/KGFKYTYHXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SYJG, Measurement invariance (definition)
History
- 2026-11-02: add by m2/dev
Definition KGFP6ZYQT1
| URI | m2://inv/KGFP6ZYQT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrangement of lines#XURE, Definition (definition)
History
- 2026-11-02: add by m2/dev
KGFPNZP6GQ KGFPNZP6GQ
| URI | m2://inv/KGFPNZP6GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#XKUJ (statement). In WYDHWYFRFK/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
KGFQ40FB6Q KGFQ40FB6Q
| URI | m2://inv/KGFQ40FB6Q |
|---|---|
| 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 2308.02672#OD55 (definition). In ETRT1R1CQ8/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.4.0
Root noise KGFSHC9ED9
| URI | m2://inv/KGFSHC9ED9 |
|---|---|
| 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.12641#5T2I, Root noise (statement). In X5BYGZZHPF/e1, lemma N.3
History
- 2026-10-28: add by m2/v0.4.2
Applications KGFZB5F80B
| URI | m2://inv/KGFZB5F80B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State space model (deep learning)#TPTK, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties KGFZSR6FVF
| URI | m2://inv/KGFZSR6FVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional coloring#ME3T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Schur algebra KGG6W71WKX
| URI | m2://inv/KGG6W71WKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#O4ZM, Schur algebra (definition)
History
- 2026-11-02: add by m2/dev
Properties KGG8PNB7G0
| URI | m2://inv/KGG8PNB7G0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Muller code#40CK, Properties (statement)
History
- 2026-11-02: add by m2/dev
American Statistical Association Founders Award KGGAJ5CFJ8
| URI | m2://inv/KGGAJ5CFJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Statistical Association Founders Award, American Statistical Association Founders Award (definition). Also Wikidata Q136469058
History
- 2026-11-02: add by m2/dev
KGGTB56KTZ KGGTB56KTZ
| URI | m2://inv/KGGTB56KTZ |
|---|---|
| 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.22296#VII2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties KGGZ8PGKEK
| URI | m2://inv/KGGZ8PGKEK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feuerbach hyperbola#T6KE, Properties (statement)
History
- 2026-11-02: add by m2/dev
KGH3H6NWP6 KGH3H6NWP6
| URI | m2://inv/KGH3H6NWP6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-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.34570#OQ8U (example). In EVFX1R7ZDD/e1, example 13
History
- 2026-10-30: add by m2/v0.4.12
Bernays–Schönfinkel class KGHA329RM1
| URI | m2://inv/KGHA329RM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernays–Schönfinkel class, Bernays–Schönfinkel class (definition). Also Wikidata Q4894025
History
- 2026-11-02: add by m2/dev
Oseledets-Pesin KGHCVKWJ6S
| URI | m2://inv/KGHCVKWJ6S |
|---|---|
| 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.19812#SVBV, Oseledets-Pesin (statement). In ZS89RH18QM/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
KGHGZGG3CB KGHGZGG3CB
| URI | m2://inv/KGHGZGG3CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#0ZZ9 (statement). In HRCEFY172P/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
titanic prime KGHP1CQHE6
| URI | m2://inv/KGHP1CQHE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q660303, titanic prime (unknown). Also MathWorld TitanicPrime
History
- 2026-10-26: add by m2/dev
KGJ4A9DRM8 KGJ4A9DRM8
| URI | m2://inv/KGJ4A9DRM8 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#PT75 (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Negative feedback KGJF7VWH4T
| URI | m2://inv/KGJF7VWH4T |
|---|---|
| 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#AHBR, Negative feedback (unknown)
History
- 2026-11-02: add by m2/dev
KGJHTTA1M6 KGJHTTA1M6
| URI | m2://inv/KGJHTTA1M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#KVZZ (statement). In H3FDP8S1Z7/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
A computable choice of $\rho$ KGJNWDRASV
| URI | m2://inv/KGJNWDRASV |
|---|---|
| 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.13685#F1Z6, A computable choice of $\rho$ (statement). In 4XQWY8C4AV/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
KGJQ2X01RT KGJQ2X01RT
| URI | m2://inv/KGJQ2X01RT |
|---|---|
| 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.33932#549B (statement). In YPVF3ET43M/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Vernon Chinchilli KGJV3Y9B24
| URI | m2://inv/KGJV3Y9B24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KODC, Vernon Chinchilli (unknown)
History
- 2026-11-02: add by m2/dev
Ogden tables KGJZNV36R2
| URI | m2://inv/KGJZNV36R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ogden tables, Ogden tables (definition). Also Wikidata Q7079955
History
- 2026-11-02: add by m2/dev
KGK15DAG8P KGK15DAG8P
| URI | m2://inv/KGK15DAG8P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#proof-5 (proof). In RZP28ERRZV, proof, section 14.7
History
- 2026-11-01: add by m2/v0.6.13
KGK1YSPV03 KGK1YSPV03
| URI | m2://inv/KGK1YSPV03 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04774#ZM75 (definition). In DED1CA3JCB/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Consistency of single-linkage clustering KGK6M2T00W
| URI | m2://inv/KGK6M2T00W |
|---|---|
| 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 2609.21985#5CTR, Consistency of single-linkage clustering (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications KGKAN6J9KJ
| URI | m2://inv/KGKAN6J9KJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate entropy#BM52, Applications (example)
History
- 2026-11-02: add by m2/dev
Master Password KGKC6P727P
| URI | m2://inv/KGKC6P727P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Master Password (algorithm), Master Password (definition). Also Wikidata Q22906761
History
- 2026-11-02: add by m2/dev
Hua-Hua Chang KGKCP14N9S
| URI | m2://inv/KGKCP14N9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3B2D, Hua-Hua Chang (unknown)
History
- 2026-11-02: add by m2/dev
KGKKX1MT2C KGKKX1MT2C
| URI | m2://inv/KGKKX1MT2C |
|---|---|
| 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 2510.12502#JBL8 (statement). In 3A4K47Y9F2/e1, lemma 3.26
History
- 2026-10-27: add by m2/v0.4.0
KGKPKXXZQZ KGKPKXXZQZ
| URI | m2://inv/KGKPKXXZQZ |
|---|---|
| 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.23258#OGK3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition KGKQNGH5FA
| URI | m2://inv/KGKQNGH5FA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skein relation#EAN0, Definition (definition)
History
- 2026-11-02: add by m2/dev
KGKWMS989R KGKWMS989R
| URI | m2://inv/KGKWMS989R |
|---|---|
| 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 2011.08789#GGI8 (statement). In 43AGRMP7T3/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Stahl's theorem KGKZMSKTMQ
| URI | m2://inv/KGKZMSKTMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#407L, Stahl's theorem (statement)
History
- 2026-11-02: add by m2/dev
Welch–Satterthwaite equation KGMAYE6WVC
| URI | m2://inv/KGMAYE6WVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OOQ4, Welch–Satterthwaite equation (definition)
History
- 2026-11-02: add by m2/dev
Giulio Bisconcini KGMB1PMMZ1
| URI | m2://inv/KGMB1PMMZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#OVU0, Giulio Bisconcini (topic)
History
- 2026-11-02: add by m2/dev
KGMB9RW1YM KGMB9RW1YM
| URI | m2://inv/KGMB9RW1YM |
|---|---|
| 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.20421#B7NT (statement). In Q4R7J8JE3F/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
amenable Banach algebra KGMFG5Z9X8
| URI | m2://inv/KGMFG5Z9X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Amenable Banach algebra 6P9AE21Q7X |
Mentions
- wikidata: Wikidata Q4742386, amenable Banach algebra (unknown). Also MathWorld Amenable
- wikipedia: Wikipedia Amenable Banach algebra, Amenable Banach algebra (definition). Also Wikidata Q4742386
History
- 2026-10-26: add by m2/dev
Quasi-unmixed ring KGMX9PVMDP
| URI | m2://inv/KGMX9PVMDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-unmixed ring, Quasi-unmixed ring (definition). Also Wikidata Q65086124
History
- 2026-11-02: add by m2/dev
Self-avoiding walk KGN2DBEDJ9
| URI | m2://inv/KGN2DBEDJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#W2HT, Self-avoiding walk (definition)
History
- 2026-11-02: add by m2/dev
Stable homotopy theory KGN4BD6F3P
| URI | m2://inv/KGN4BD6F3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#FNAX, Stable homotopy theory (definition)
History
- 2026-11-02: add by m2/dev
Triply periodic minimal surface KGN73GXP0G
| URI | m2://inv/KGN73GXP0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triply periodic minimal surface, Triply periodic minimal surface (definition). Also Wikidata Q7843643
History
- 2026-11-02: add by m2/dev
Volkenborn integral KGN7PR75W6
| URI | m2://inv/KGN7PR75W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volkenborn integral, Volkenborn integral (definition). Also Wikidata Q1567513
History
- 2026-11-02: add by m2/dev
KGNB2AEB4P KGNB2AEB4P
| URI | m2://inv/KGNB2AEB4P |
|---|---|
| Kind | example |
| 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.36088#BVO4 (example). In QJD3MZMJHW/e1, example 6.4
History
- 2026-10-30: add by m2/v0.4.12
F-algebra KGNB59Y2NP
| URI | m2://inv/KGNB59Y2NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-algebra, F-algebra (definition). Also Wikidata Q1386213
History
- 2026-11-02: add by m2/dev
KGNETJSCM1 KGNETJSCM1
| URI | m2://inv/KGNETJSCM1 |
|---|---|
| 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.26041#TDCX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Avogadro constant KGNJXXJHHV
| URI | m2://inv/KGNJXXJHHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#C7L4, Avogadro constant (unknown)
History
- 2026-11-02: add by m2/dev
Centrifugal force (polar) KGNN7ST98M
| URI | m2://inv/KGNN7ST98M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar coordinate system#2OX7, Centrifugal force (polar) (unknown)
History
- 2026-11-02: add by m2/dev
KGNQH8MAVJ KGNQH8MAVJ
| URI | m2://inv/KGNQH8MAVJ |
|---|---|
| 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.18281#BJZZ (statement). In QYD0EJM85G/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Alvis–Curtis duality KGNWA9F7MQ
| URI | m2://inv/KGNWA9F7MQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#RF38, Alvis–Curtis duality (unknown)
History
- 2026-11-02: add by m2/dev
RSA-1024 KGNWRKNCDD
| URI | m2://inv/KGNWRKNCDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#63KZ, RSA-1024 (unknown)
History
- 2026-11-02: add by m2/dev
Random optimization KGP2MHC0H5
| URI | m2://inv/KGP2MHC0H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random optimization, Random optimization (definition). Also Wikidata Q3354463
History
- 2026-11-02: add by m2/dev
Charles-Augustin de Coulomb KGP4E3G3BZ
| URI | m2://inv/KGP4E3G3BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81716, Charles-Augustin de Coulomb (unknown). Also ProofWiki Mathematician:Charles-Augustin_de_Coulomb
History
- 2026-10-26: add by m2/dev
Examples KGP8YZ1FJ2
| URI | m2://inv/KGP8YZ1FJ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie groupoid#GIHU, Examples (example)
History
- 2026-11-02: add by m2/dev
Kahane's contraction principle KGPA14Y1TS
| URI | m2://inv/KGPA14Y1TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00271#AKPD, Kahane's contraction principle (statement). In T1NSCAZS28/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Implementation KGPB69RWDN
| URI | m2://inv/KGPB69RWDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daubechies wavelet#FVHO, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Lemoine's conjecture KGPBYB8EFD
| URI | m2://inv/KGPBYB8EFD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1129629, Lemoine's conjecture (conjecture). Also MathWorld LevysConjecture, ProofWiki Lemoine's_Conjecture
- wikipedia: Wikipedia Lemoine's conjecture, Lemoine's conjecture (conjecture). Also Wikidata Q1129629
History
- 2026-10-26: add by m2/dev
Mixtilinear Circle KGPEFDKXKR
| URI | m2://inv/KGPEFDKXKR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2065877, Mixtilinear Circle (unknown). Also MathWorld MixtilinearCircle
History
- 2026-10-26: add by m2/dev
Cubic curve KGPJGQEC0A
| URI | m2://inv/KGPJGQEC0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TI3I, Cubic curve (definition)
- wikipedia: Wikipedia List of curves#IJGB, Cubic curve (definition)
History
- 2026-11-02: add by m2/dev
KGPQCAX71Z KGPQCAX71Z
| URI | m2://inv/KGPQCAX71Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#UJ8J (statement). In VD4JP4HVBX/e1, proposition 7.9
History
- 2026-10-28: add by m2/v0.4.2
KGPR8JJYX4 KGPR8JJYX4
| URI | m2://inv/KGPR8JJYX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#9VO6 (statement). In VG8AF124T3/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
KGPW1JHX7Y KGPW1JHX7Y
| URI | m2://inv/KGPW1JHX7Y |
|---|---|
| Kind | example |
| 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 1903.07030#JLR1 (example). In 9H45HQE7AZ/e1, example 2.34
History
- 2026-10-27: add by m2/v0.3.5
Brocard circle KGPW55Q3C7
| URI | m2://inv/KGPW55Q3C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#0BFJ, Brocard circle (definition)
History
- 2026-11-02: add by m2/dev
KGPY61SWCA KGPY61SWCA
| URI | m2://inv/KGPY61SWCA |
|---|---|
| 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.17527#65VG (statement). In GWSBQ7MN49/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
KGQ0AF5QXV KGQ0AF5QXV
| URI | m2://inv/KGQ0AF5QXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08682#8E0V (statement). In Y306A1GPM5/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
Examples KGQ3819RMK
| URI | m2://inv/KGQ3819RMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas–Lehmer primality test#ICO6, Examples (example)
History
- 2026-11-02: add by m2/dev
KGQ8DFW460 KGQ8DFW460
| URI | m2://inv/KGQ8DFW460 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#0P2K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diagonal proxy KGQ8PBV3V9
| URI | m2://inv/KGQ8PBV3V9 |
|---|---|
| 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.04671#9K57, Diagonal proxy (statement). In BYP65TRGDT/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
subgroup series KGQB3404BB
| URI | m2://inv/KGQB3404BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q360830, subgroup series (unknown). Also nLab subgroup series
- wikipedia: Wikipedia Subgroup series, Subgroup series (definition). Also Wikidata Q360830
History
- 2026-10-26: add by m2/dev
KGQDQHQQ4Z KGQDQHQQ4Z
| URI | m2://inv/KGQDQHQQ4Z |
|---|---|
| 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.26386#9CV6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KGQK2N5T18 KGQK2N5T18
| URI | m2://inv/KGQK2N5T18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#2TZ2 (statement). In 9TR5E527P5/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
KGQWN2DP3V KGQWN2DP3V
| URI | m2://inv/KGQWN2DP3V |
|---|---|
| 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 2502.08738#HT9K (statement). In 9GMTVSTAVN/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.5
KGR1PK88Z0 KGR1PK88Z0
| URI | m2://inv/KGR1PK88Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#definition-9 (definition). In RZP28ERRZV, definition, section 32.7
History
- 2026-11-01: add by m2/v0.6.13
universal quantifier KGR3JVEXC4
| URI | m2://inv/KGR3JVEXC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OLH3, universal quantifier (definition)
History
- 2026-11-02: add by m2/dev
KGRA349FRJ KGRA349FRJ
| URI | m2://inv/KGRA349FRJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#F5X5 (example)
History
- 2026-11-01: add by m2/v0.6.15
KGRE91EGFD KGRE91EGFD
| URI | m2://inv/KGRE91EGFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#24AL (definition). In 13H5BTAXHF/e1, definition 25
History
- 2026-10-27: add by m2/v0.3.5
Arakelov theory KGRP4VJEEG
| URI | m2://inv/KGRP4VJEEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#LI7I, Arakelov theory (definition)
History
- 2026-11-02: add by m2/dev
Short resolution of the Gaussian conjecture KGRQ763HMD
| URI | m2://inv/KGRQ763HMD |
|---|---|
| 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#0YIQ, Short resolution of the Gaussian conjecture (statement). In 9YAE8FNQST/e1, corollary 28.6
History
- 2026-10-30: add by m2/v0.4.12
Examples KGRS10HQ7N
| URI | m2://inv/KGRS10HQ7N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered vector space#SZOR, Examples (example)
History
- 2026-11-02: add by m2/dev
Geometry of random harmonic frames KGRVC4T9KW
| URI | m2://inv/KGRVC4T9KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#OTNB, Geometry of random harmonic frames (statement). In XYCBKM4WKY/e1, theorem 51
History
- 2026-10-27: add by m2/v0.3.5
KGRVZ63FTE KGRVZ63FTE
| URI | m2://inv/KGRVZ63FTE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#O9N8 (definition). In XYYEJN00D8/e1, definition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Steane code KGS2GS3SEZ
| URI | m2://inv/KGS2GS3SEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steane code, Steane code (definition). Also Wikidata Q7605496
History
- 2026-11-02: add by m2/dev
Branch overlap KGS5BMZKWW
| URI | m2://inv/KGS5BMZKWW |
|---|---|
| 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 2310.11101#9IGG, Branch overlap (statement). In YBBKTP4E70/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Two non-entangled qubits KGS68YC5Y8
| URI | m2://inv/KGS68YC5Y8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#example-2, Two non-entangled qubits (example). In RZP28ERRZV, example, section 77.4
History
- 2026-11-01: add by m2/v0.6.13
KGSQZFEPSC KGSQZFEPSC
| URI | m2://inv/KGSQZFEPSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#6FU7 (statement). In D6XA7JXZF3/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.3.5
Cauchy index KGSRSX2THD
| URI | m2://inv/KGSRSX2THD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#7IQK, Cauchy index (definition)
History
- 2026-11-02: add by m2/dev
nonconvex great rhombicuboctahedron KGSYGSPVS3
| URI | m2://inv/KGSYGSPVS3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3100422, nonconvex great rhombicuboctahedron (object). Also MathWorld UniformGreatRhombicuboctahedron
- wikipedia: Wikipedia Nonconvex great rhombicuboctahedron, Nonconvex great rhombicuboctahedron (object). Also Wikidata Q3100422
History
- 2026-10-26: add by m2/dev
KGT58EZ8XF KGT58EZ8XF
| URI | m2://inv/KGT58EZ8XF |
|---|---|
| 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.22657#U0DE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Wilhelm Vauck KGT8JZ68A0
| URI | m2://inv/KGT8JZ68A0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Vauck, Wilhelm Vauck (topic). Also Wikidata Q50254759
History
- 2026-11-02: add by m2/dev
Nienhaus KGT99DCJG1
| URI | m2://inv/KGT99DCJG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#CYNH, Nienhaus (statement). In V399QB419P/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
KGTDAFJ796 KGTDAFJ796
| URI | m2://inv/KGTDAFJ796 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#MJK7 (statement). In GQQZNRYK15/e1, lemma 5.10
History
- 2026-10-31: add by m2/v0.5.6
KGTE65R0H1 KGTE65R0H1
| URI | m2://inv/KGTE65R0H1 |
|---|---|
| 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.35186#S3DC (statement). In VFNPANY3HD/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
approximation of the jump amplitude KGTF62BMFF
| URI | m2://inv/KGTF62BMFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#UM95, approximation of the jump amplitude (statement). In YR3CSTYEJW/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
Lipschitz manifold KGTFHPRK7T
| URI | m2://inv/KGTFHPRK7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lipschitz continuity#VMQM, Lipschitz manifold (unknown)
History
- 2026-11-02: add by m2/dev
Feller process KGTGYKMNQ7
| URI | m2://inv/KGTGYKMNQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CBYM, Feller process (definition)
History
- 2026-11-02: add by m2/dev
KGTMG5J4Q2 KGTMG5J4Q2
| URI | m2://inv/KGTMG5J4Q2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#cor:sub (statement). In PKGMM3P5QY, cor, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
KGTMSX5QVR KGTMSX5QVR
| URI | m2://inv/KGTMSX5QVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#J1UD (statement). In CFJH0Q39FZ/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Sixteen-factor certificate KGTSJZ20R2
| URI | m2://inv/KGTSJZ20R2 |
|---|---|
| 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.10950#3M4U, Sixteen-factor certificate (statement). In P392PEVRAY/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.3
Leon Takhtajan KGTVM0SEQ0
| URI | m2://inv/KGTVM0SEQ0 |
|---|---|
| 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 Q15455688, Leon Takhtajan (unknown). Also nLab Leon Takhtajan
- wikipedia: Wikipedia Leon Takhtajan, Leon Takhtajan (topic). Also Wikidata Q15455688
History
- 2026-10-26: add by m2/dev
KGTZYTAQ59 KGTZYTAQ59
| URI | m2://inv/KGTZYTAQ59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#ST26 (statement). In XXN6KKXPYF/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
Vega KGV5DX0WFW
| URI | m2://inv/KGV5DX0WFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#QZIA, Vega (unknown)
History
- 2026-11-02: add by m2/dev
Henk Barendregt KGV7N8D795
| URI | m2://inv/KGV7N8D795 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henk Barendregt, Henk Barendregt (topic). Also Wikidata Q1847646
History
- 2026-11-02: add by m2/dev
Statements true in L KGVCEE3NJW
| URI | m2://inv/KGVCEE3NJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of constructibility#GW1U, Statements true in L (unknown)
History
- 2026-11-02: add by m2/dev
Restriction of scalars KGVDWX9WW8
| URI | m2://inv/KGVDWX9WW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of rings#RTZN, Restriction of scalars (unknown)
History
- 2026-11-02: add by m2/dev
Definition KGVH3EY57X
| URI | m2://inv/KGVH3EY57X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Mazur game#UU68, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fermat's theorem on the sum of two squares KGVP2G8765
| URI | m2://inv/KGVP2G8765 |
|---|---|
| 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.22344#6KVU, Fermat's theorem on the sum of two squares (statement)
History
- 2026-11-02: add by m2/v0.6.17
List of integration and measure theory topics KGVSE0BXBM
| URI | m2://inv/KGVSE0BXBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#IMDE, List of integration and measure theory topics (topic)
History
- 2026-11-02: add by m2/dev
KGVVD61JVC KGVVD61JVC
| URI | m2://inv/KGVVD61JVC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#42B3 (example). In YG5EX49042/e1, example 2.3
History
- 2026-10-27: add by m2/v0.4.2
KGW15RKGQ7 KGW15RKGQ7
| URI | m2://inv/KGW15RKGQ7 |
|---|---|
| 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 0809.0068#190M (statement). In MBKYGM01FK/e1, lemma 1.14
History
- 2026-10-27: add by m2/v0.3.5
Philo the Dialectician KGW1E1A91K
| URI | m2://inv/KGW1E1A91K |
|---|---|
| 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 Q1366567, Philo the Dialectician (unknown). Also ProofWiki Mathematician:Philo_of_Megara
- wikipedia: Wikipedia Philo the Dialectician, Philo the Dialectician (topic). Also Wikidata Q1366567
History
- 2026-10-26: add by m2/dev
Remark KGW2KBVYVG
| URI | m2://inv/KGW2KBVYVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring#MQ3Q, Remark (unknown)
History
- 2026-11-02: add by m2/dev
KGW3FCGTDE KGW3FCGTDE
| URI | m2://inv/KGW3FCGTDE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#example-5 (example). In RZP28ERRZV, example, section 25.4
History
- 2026-11-01: add by m2/v0.6.13
Banach–Stone Theorem KGW6B42HGT
| URI | m2://inv/KGW6B42HGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#8ZQB, Banach–Stone Theorem (statement)
History
- 2026-11-02: add by m2/dev
KGWDRFDX9T KGWDRFDX9T
| URI | m2://inv/KGWDRFDX9T |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#RBKK (problem)
History
- 2026-11-01: add by m2/v0.6.15
Sergey Kitaev KGWETTC91G
| URI | m2://inv/KGWETTC91G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Kitaev, Sergey Kitaev (topic). Also Wikidata Q102239838
History
- 2026-11-02: add by m2/dev
Orest Chwolson KGWKH3MBTE
| URI | m2://inv/KGWKH3MBTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#F8G9, Orest Chwolson (unknown)
History
- 2026-11-02: add by m2/dev
Levenberg–Marquardt algorithm KGWRNWMTM5
| URI | m2://inv/KGWRNWMTM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#191Z, Levenberg–Marquardt algorithm (definition)
History
- 2026-11-02: add by m2/dev
KGX37QMW4S KGX37QMW4S
| URI | m2://inv/KGX37QMW4S |
|---|---|
| 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.30336#GRUD (statement). In CCWHTB3911/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
KGX96NQK7M KGX96NQK7M
| URI | m2://inv/KGX96NQK7M |
|---|---|
| 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.00914#QVW0 (statement). In TQ9CKHBTWN/e1, proposition 1.10
History
- 2026-10-29: add by m2/v0.4.12
KGXB0SPJRT KGXB0SPJRT
| URI | m2://inv/KGXB0SPJRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#prop:homology_torus (statement). In RZP28ERRZV, proposition, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
Minimum total potential energy principle KGXB5S8Z9Z
| URI | m2://inv/KGXB5S8Z9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum total potential energy principle, Minimum total potential energy principle (statement). Also Wikidata Q6865491
History
- 2026-11-02: add by m2/dev
order of magnitude KGXD26PT9Y
| URI | m2://inv/KGXD26PT9Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q518730, order of magnitude (concept). Also MathWorld OrderofMagnitude
- wikipedia: Wikipedia Order of magnitude, Order of magnitude (definition). Also Wikidata Q518730
History
- 2026-10-26: add by m2/dev
Montgomery reduction KGXDX5V3K0
| URI | m2://inv/KGXDX5V3K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#HPBY, Montgomery reduction (definition)
History
- 2026-11-02: add by m2/dev
High-dimensional statistics KGXHDP3NGH
| URI | m2://inv/KGXHDP3NGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia High-dimensional statistics, High-dimensional statistics (topic). Also Wikidata Q5754513
History
- 2026-11-02: add by m2/dev
Example KGXPKBX6QP
| URI | m2://inv/KGXPKBX6QP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multipole expansion#KQTE, Example (example)
History
- 2026-11-02: add by m2/dev
Alexander Holevo KGXVH8A7J8
| URI | m2://inv/KGXVH8A7J8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Holevo, Alexander Holevo (topic). Also Wikidata Q2643027
History
- 2026-11-02: add by m2/dev
Canonical form of the conditioning approximation KGXZ1H95QP
| URI | m2://inv/KGXZ1H95QP |
|---|---|
| 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.02166#PS77, Canonical form of the conditioning approximation (statement). In R6RF3P6D5A/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
Achilles number KGY77CKZ9K
| URI | m2://inv/KGY77CKZ9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3232444, Achilles number (unknown). Also MathWorld AchillesNumber, OEIS A052486
- wikipedia: Wikipedia Achilles number, Achilles number (definition). Also Wikidata Q3232444
History
- 2026-10-26: add by m2/dev
KGYBN1H4WN KGYBN1H4WN
| URI | m2://inv/KGYBN1H4WN |
|---|---|
| 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 2504.00267#73EX (statement). In 38XJWDZ2PH/e1, corollary 4.11
History
- 2026-10-27: add by m2/v0.3.5
An invertible linear syzygy forces zero primitive torsion KGYMS5G6DZ
| URI | m2://inv/KGYMS5G6DZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#HHR8, An invertible linear syzygy forces zero primitive torsion (statement)
History
- 2026-11-01: add by m2/v0.6.15
KGYQ4BCEPF KGYQ4BCEPF
| URI | m2://inv/KGYQ4BCEPF |
|---|---|
| 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.09129#6JYF (definition). In Z1RZSF68XZ/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.10
Suren Arakelov KGYR6SDDPV
| URI | m2://inv/KGYR6SDDPV |
|---|---|
| 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 Q2368424, Suren Arakelov (unknown). Also nLab Suren Arakelov
- wikipedia: Wikipedia Suren Arakelov, Suren Arakelov (topic). Also Wikidata Q2368424
History
- 2026-10-26: add by m2/dev
Quantum computing skepticism and conjectures KGYTFF493E
| URI | m2://inv/KGYTFF493E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gil Kalai#X36K, Quantum computing skepticism and conjectures (statement)
History
- 2026-11-02: add by m2/dev
Laspeyres Index KGYTNGE5YS
| URI | m2://inv/KGYTNGE5YS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10295012, Laspeyres Index (unknown). Also MathWorld LaspeyresIndex
History
- 2026-10-26: add by m2/dev
Multilinear extension KGZ2TVKP0V
| URI | m2://inv/KGZ2TVKP0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submodular set function#FTFQ, Multilinear extension (unknown)
History
- 2026-11-02: add by m2/dev
KGZ3Z4V3FC KGZ3Z4V3FC
| URI | m2://inv/KGZ3Z4V3FC |
|---|---|
| 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.22374#2H3P (statement)
History
- 2026-11-02: add by m2/v0.6.17
KGZ46ATR3X KGZ46ATR3X
| URI | m2://inv/KGZ46ATR3X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#S5TQ (definition). In CGA36VE1C5/e1, definition 2.2.1
History
- 2026-10-27: add by m2/v0.3.6
central difference KGZ4N5JYR2
| URI | m2://inv/KGZ4N5JYR2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.5.3/central-difference, central difference (concept). In 907G4C4EJ1, index, section 1.5.3
History
- 2026-11-01: add by m2/v0.6.13
Willford I. King KGZ8V6Q7TT
| URI | m2://inv/KGZ8V6Q7TT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#CL1Q, Willford I. King (unknown)
History
- 2026-11-02: add by m2/dev
Inverse on the constrained space KGZBATHRET
| URI | m2://inv/KGZBATHRET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00241#FQSO, Inverse on the constrained space (statement). In VBRQTN2RXN/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
KGZGEJHPQ4 KGZGEJHPQ4
| URI | m2://inv/KGZGEJHPQ4 |
|---|---|
| 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 2511.07697#TP8T (statement). In 57P5P33HS3/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Theorem KGZJC94HX3
| URI | m2://inv/KGZJC94HX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#FY8Y, Theorem (statement)
History
- 2026-11-02: add by m2/dev
KGZY2N0ZKD KGZY2N0ZKD
| URI | m2://inv/KGZY2N0ZKD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 86.10
History
- 2026-11-01: add by m2/v0.6.13