Inventory rows K2
The cards of the rows of the inventory whose ids start with K2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Example K2023STFWS
| URI | m2://inv/K2023STFWS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scholz conjecture#TIOW, Example (example)
History
- 2026-11-02: add by m2/dev
Bit-interleaving K204QZFC3N
| URI | m2://inv/K204QZFC3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error correction code#40D1, Bit-interleaving (unknown)
History
- 2026-11-02: add by m2/dev
Duskin nerve K20CKNJ3QR
| URI | m2://inv/K20CKNJ3QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-category#EXEK, Duskin nerve (unknown)
History
- 2026-11-02: add by m2/dev
S. A. Stepanov K20H87V286
| URI | m2://inv/K20H87V286 |
|---|---|
| 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#Z5BT, S. A. Stepanov (topic)
History
- 2026-11-02: add by m2/dev
Benson Farb K20MS5B0Q6
| URI | m2://inv/K20MS5B0Q6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H4ND, Benson Farb (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6R17, Benson Farb (topic)
History
- 2026-11-02: add by m2/dev
Definition K216MBBRGC
| URI | m2://inv/K216MBBRGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neutral vector#2OE8, Definition (definition)
History
- 2026-11-02: add by m2/dev
New states paradox K21DRFFX37
| URI | m2://inv/K21DRFFX37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apportionment paradox#JVH7, New states paradox (statement)
History
- 2026-11-02: add by m2/dev
neo-Fregeanism K21JNTX1D8
| URI | m2://inv/K21JNTX1D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZUVD, neo-Fregeanism (definition)
History
- 2026-11-02: add by m2/dev
Samarendra Kumar Mitra K21YK9607D
| URI | m2://inv/K21YK9607D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samarendra Kumar Mitra, Samarendra Kumar Mitra (topic). Also Wikidata Q23084415
History
- 2026-11-02: add by m2/dev
Ways out of the paradox K22446NZGP
| URI | m2://inv/K22446NZGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liberal paradox#A1AB, Ways out of the paradox (statement)
History
- 2026-11-02: add by m2/dev
K224XZN7NR K224XZN7NR
| URI | m2://inv/K224XZN7NR |
|---|---|
| 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.21752#03JO (statement). In E4DJTPKHAX/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
K229FBDT61 K229FBDT61
| URI | m2://inv/K229FBDT61 |
|---|---|
| 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.11210#D5OJ (statement). In CRFDGFZHBF/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Baranyai's theorem K22NQC5WY0
| URI | m2://inv/K22NQC5WY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LFP7, Baranyai's theorem (statement)
History
- 2026-11-02: add by m2/dev
K22S21880X K22S21880X
| URI | m2://inv/K22S21880X |
|---|---|
| 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 2204.01073#MJGB (statement). In W4TYN4PGE8/e1, lemma 2.49
History
- 2026-10-27: add by m2/v0.3.5
K232EKJEFF K232EKJEFF
| URI | m2://inv/K232EKJEFF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 85.1
History
- 2026-11-01: add by m2/v0.6.13
K2330ENGBF K2330ENGBF
| URI | m2://inv/K2330ENGBF |
|---|---|
| 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.32338#U7LZ (problem). In HVY45JQRNK/e1, problem 3
History
- 2026-10-31: add by m2/v0.5.6
How Round Is Your Circle? K233KM7JTY
| URI | m2://inv/K233KM7JTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia How Round Is Your Circle?, How Round Is Your Circle? (definition). Also Wikidata Q97182021
History
- 2026-11-02: add by m2/dev
K2396NSQQE K2396NSQQE
| URI | m2://inv/K2396NSQQE |
|---|---|
| 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.12481#6FCV (statement). In TD288AK3EJ/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
K23PAHFSKR K23PAHFSKR
| URI | m2://inv/K23PAHFSKR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14803#R1PF (definition). In VAEVDTBD3B/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Karin Kock-Lindberg K23QAQ5PSW
| URI | m2://inv/K23QAQ5PSW |
|---|---|
| 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#9ND3, Karin Kock-Lindberg (unknown)
History
- 2026-11-02: add by m2/dev
K23R2V09M8 K23R2V09M8
| URI | m2://inv/K23R2V09M8 |
|---|---|
| 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.07164#XDUU (statement). In Q1XJ5VWE1N/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
K23S486PMX K23S486PMX
| URI | m2://inv/K23S486PMX |
|---|---|
| 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.31549#X3W9 (statement). In CVB7NA2N10/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
K23V0VCBV1 K23V0VCBV1
| URI | m2://inv/K23V0VCBV1 |
|---|---|
| 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.17303#DSPW (statement). In PHD4ABS8WH/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Derived series K23VMPP6BE
| URI | m2://inv/K23VMPP6BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator subgroup#KEKS, Derived series (unknown)
History
- 2026-11-02: add by m2/dev
Degenerate multivariate normal distribution K245GMZ6Q1
| URI | m2://inv/K245GMZ6Q1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate normal distribution#AFW9, Degenerate multivariate normal distribution (unknown)
History
- 2026-11-02: add by m2/dev
Infinite broom K24CVMVRG8
| URI | m2://inv/K24CVMVRG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#K0H3, Infinite broom (definition)
History
- 2026-11-02: add by m2/dev
Vanessa Getty K24KDAWXQK
| URI | m2://inv/K24KDAWXQK |
|---|---|
| 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#C0YR, Vanessa Getty (unknown)
History
- 2026-11-02: add by m2/dev
Betty Paërl K24VX83KS5
| URI | m2://inv/K24VX83KS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betty Paërl, Betty Paërl (topic). Also Wikidata Q120012328
History
- 2026-11-02: add by m2/dev
Maclaurin series K24X6HWACT
| URI | m2://inv/K24X6HWACT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#ZFOH, Maclaurin series (definition)
History
- 2026-11-02: add by m2/dev
K25361HZA7 K25361HZA7
| URI | m2://inv/K25361HZA7 |
|---|---|
| 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.33697#07TE (statement). In Q6GGQ29TRC/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
K25CVH6VWS K25CVH6VWS
| URI | m2://inv/K25CVH6VWS |
|---|---|
| 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.00512#JZJF (statement). In RB5QBG3MJY/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Gabriel Koenigs K25HSHTZ7P
| URI | m2://inv/K25HSHTZ7P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DZZH, Gabriel Koenigs (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KJNW, Gabriel Koenigs (unknown)
History
- 2026-11-02: add by m2/dev
K25MY90CPT K25MY90CPT
| URI | m2://inv/K25MY90CPT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#THSG (definition). In 7QXAZXGNPQ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Archimedean spiral K25ZHPDX1W
| URI | m2://inv/K25ZHPDX1W |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#SPMB, Archimedean spiral (object)
- wikipedia: Wikipedia List of things named after Archimedes#YF8A, Archimedean spiral (object)
History
- 2026-11-02: add by m2/dev
curvelet K260YWPSN1
| URI | m2://inv/K260YWPSN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Curvelet VEVPDJ8S7B |
Mentions
- wikidata: Wikidata Q5196075, curvelet (unknown). Also nLab curvelet
- wikipedia: Wikipedia Curvelet, Curvelet (definition). Also Wikidata Q5196075
History
- 2026-10-26: add by m2/dev
Kharkiv Mathematical Society K261D2WSGV
| URI | m2://inv/K261D2WSGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kharkiv Mathematical Society, Kharkiv Mathematical Society (definition). Also Wikidata Q6400713
History
- 2026-11-02: add by m2/dev
Construction K2626YTWRX
| URI | m2://inv/K2626YTWRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse#CZ1H, Construction (definition)
History
- 2026-11-02: add by m2/dev
Smith conjecture K26AK1MKB7
| URI | m2://inv/K26AK1MKB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#TJJH, Smith conjecture (statement)
History
- 2026-11-02: add by m2/dev
Journal of Philosophical Logic K26HQE7EE5
| URI | m2://inv/K26HQE7EE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#IV1A, Journal of Philosophical Logic (definition)
History
- 2026-11-02: add by m2/dev
K26QPMZ9BN K26QPMZ9BN
| URI | m2://inv/K26QPMZ9BN |
|---|---|
| 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.00312#BBPL (statement). In 41NFABHFXH/e1, corollary 1.3
History
- 2026-10-30: add by m2/v0.4.12
Generalizations K26RR14B46
| URI | m2://inv/K26RR14B46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heron's formula#LB20, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Bradley Efron K270BV6JV3
| URI | m2://inv/K270BV6JV3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bradley Efron, Bradley Efron (topic). Also Wikidata Q897020
History
- 2026-11-02: add by m2/dev
Clique--separator determinants are units on the generic fiber K272D809ZX
| URI | m2://inv/K272D809ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#88FO, Clique--separator determinants are units on the generic fiber (statement). In 1QPAA94Q76/e1, lemma 38
History
- 2026-10-28: add by m2/v0.4.2
Myriagon K273RHPQ4R
| URI | m2://inv/K273RHPQ4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#E4DL, Myriagon (definition)
History
- 2026-11-02: add by m2/dev
Reinforcement learning K277A423KW
| URI | m2://inv/K277A423KW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XMMU, Reinforcement learning (topic)
History
- 2026-11-02: add by m2/dev
Teaching at Rice University and Harvard Law School (1915–1919) K2785YCY7N
| URI | m2://inv/K2785YCY7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William James Sidis#Z9WU, Teaching at Rice University and Harvard Law School (1915–1919) (statement)
History
- 2026-11-02: add by m2/dev
K27FWX7X2N K27FWX7X2N
| URI | m2://inv/K27FWX7X2N |
|---|---|
| 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.28265#73FF (statement)
History
- 2026-11-01: add by m2/v0.6.15
K27MBRFMBZ K27MBRFMBZ
| URI | m2://inv/K27MBRFMBZ |
|---|---|
| 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.08288#UUP2 (statement). In CHVWYJM7RM/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
K27NJDMKXB K27NJDMKXB
| URI | m2://inv/K27NJDMKXB |
|---|---|
| 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.11693#HJ00 (statement). In F8QNPNTBTZ/e1, lemma C.6
History
- 2026-10-28: add by m2/v0.4.3
Hashcash K27RN2BKMJ
| URI | m2://inv/K27RN2BKMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hashcash, Hashcash (definition). Also Wikidata Q357569
History
- 2026-11-02: add by m2/dev
Matrix representation of conic sections K27XHYTP6M
| URI | m2://inv/K27XHYTP6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#TZPI, Matrix representation of conic sections (definition)
History
- 2026-11-02: add by m2/dev
K27ZPG0S3E K27ZPG0S3E
| URI | m2://inv/K27ZPG0S3E |
|---|---|
| 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.20094#1J0L (statement)
History
- 2026-11-02: add by m2/v0.6.18
K280Z1NSAF K280Z1NSAF
| URI | m2://inv/K280Z1NSAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#B3EP (statement)
History
- 2026-11-02: add by m2/v0.6.18
K286BMVEEP K286BMVEEP
| URI | m2://inv/K286BMVEEP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
K289B9WAE0 K289B9WAE0
| URI | m2://inv/K289B9WAE0 |
|---|---|
| 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 2605.24355#ASYT (statement). In VV3AJMWWCR/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.6
K28BGA367Q K28BGA367Q
| URI | m2://inv/K28BGA367Q |
|---|---|
| Kind | problem |
| 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 1705.04310#EHMS (problem). In MG51GG0QZN/e1, problem 3.14
History
- 2026-10-27: add by m2/v0.3.5
A rare-curvature original-distance obstruction K28BRAHC3C
| URI | m2://inv/K28BRAHC3C |
|---|---|
| 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#VBRK, A rare-curvature original-distance obstruction (statement). In X1FPG0KYBM/e1, theorem S.5
History
- 2026-10-28: add by m2/v0.4.2
Second-order NSFD schemes K28N2CXBA8
| URI | m2://inv/K28N2CXBA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29567#T1F1, Second-order NSFD schemes (statement)
History
- 2026-11-01: add by m2/v0.6.15
K28WRT0SF9 K28WRT0SF9
| URI | m2://inv/K28WRT0SF9 |
|---|---|
| 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.14841#URTO (statement). In 6V5HP8W1ZG/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
K294B0FFC6 K294B0FFC6
| URI | m2://inv/K294B0FFC6 |
|---|---|
| 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.08334#2UY8 (definition). In FQ3DS8B3H1/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Consistent conjectures K299AX0YYG
| URI | m2://inv/K299AX0YYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjectural variation#GS9D, Consistent conjectures (statement)
History
- 2026-11-02: add by m2/dev
statistical inference K29EMPE0S9
| URI | m2://inv/K29EMPE0S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#DQTA, statistical inference (definition)
History
- 2026-11-02: add by m2/dev
Probability Cover K29FWZZ5D0
| URI | m2://inv/K29FWZZ5D0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33946#EZUX, Probability Cover (definition). In T61D8EZH24/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Pacman conjecture K29GZ3DXS9
| URI | m2://inv/K29GZ3DXS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pacman conjecture#C6WP, Pacman conjecture (statement)
History
- 2026-11-02: add by m2/dev
Grace Y. Yi K2A3R3FF2V
| URI | m2://inv/K2A3R3FF2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace Y. Yi, Grace Y. Yi (topic). Also Wikidata Q25768278
History
- 2026-11-02: add by m2/dev
K2A4FM72Y0 K2A4FM72Y0
| URI | m2://inv/K2A4FM72Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#F3CK (statement). In 13H5BTAXHF/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Edouard Zeckendorf K2A6PD1R7V
| URI | m2://inv/K2A6PD1R7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KQLF, Edouard Zeckendorf (unknown)
History
- 2026-11-02: add by m2/dev
K2A7E9XTRH K2A7E9XTRH
| URI | m2://inv/K2A7E9XTRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Twisted Hessian curves K2A98J6SGJ
| URI | m2://inv/K2A98J6SGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Hessian curves, Twisted Hessian curves (definition). Also Wikidata Q7858518
History
- 2026-11-02: add by m2/dev
graph join K2ADTWAZ58
| URI | m2://inv/K2ADTWAZ58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136480145, graph join (unknown). Also MathWorld GraphJoin
- wikipedia: Wikipedia Join (graph theory), Join (definition). Also Wikidata Q136480145
History
- 2026-10-26: add by m2/dev
Flat clique with a non-extendable atom K2AJBJD89N
| URI | m2://inv/K2AJBJD89N |
|---|---|
| Kind | example |
| 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.17371#1ZOE, Flat clique with a non-extendable atom (example). In FF92TNYHQR/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
products of series K2AK83G06G
| URI | m2://inv/K2AK83G06G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > products of series, products of series (unknown)
History
- 2026-10-26: add by m2/dev
Definition K2AWT397ZQ
| URI | m2://inv/K2AWT397ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lateral surface#P2QW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Data anonymization K2AZQF3CN9
| URI | m2://inv/K2AZQF3CN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data anonymization, Data anonymization (definition). Also Wikidata Q17006654
History
- 2026-11-02: add by m2/dev
Robin's theorem K2BDQ1SG2X
| URI | m2://inv/K2BDQ1SG2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MLOR, Robin's theorem (definition)
History
- 2026-11-02: add by m2/dev
K2BFCA1N2N K2BFCA1N2N
| URI | m2://inv/K2BFCA1N2N |
|---|---|
| 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 1809.06512#GDOS (statement). In RY2X22P6XW/e1, theorem 39
History
- 2026-10-27: add by m2/v0.3.5
Properties K2BFEW47J6
| URI | m2://inv/K2BFEW47J6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biaugmented pentagonal prism#H9M8, Properties (statement)
History
- 2026-11-02: add by m2/dev
K2BFNTWDYA K2BFNTWDYA
| URI | m2://inv/K2BFNTWDYA |
|---|---|
| Kind | statement |
| 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 2610.19076#3U5T (statement). In M77QPWHHRX/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
K2BGNJ8GCW K2BGNJ8GCW
| URI | m2://inv/K2BGNJ8GCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#AXIN (statement). In HXFA55BREZ/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
54 K2BHECEYK7
| URI | m2://inv/K2BHECEYK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 54 (number), 54 (definition). Also Wikidata Q290669
History
- 2026-11-02: add by m2/dev
equicontinuous K2BQNAR08M
| URI | m2://inv/K2BQNAR08M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#I78S, equicontinuous (definition)
History
- 2026-11-02: add by m2/dev
Jean Dieudonné K2BQTQMPY2
| URI | m2://inv/K2BQTQMPY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#USG8, Jean Dieudonné (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C7C6, Jean Dieudonné (topic)
History
- 2026-11-02: add by m2/dev
K2BV07AJR8 K2BV07AJR8
| URI | m2://inv/K2BV07AJR8 |
|---|---|
| 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.29478#X3GL (statement). In XAFYHH8G7X/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Boundary feedback K2C1Z7GZYV
| URI | m2://inv/K2C1Z7GZYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#J1NI, Boundary feedback (statement). In ZEHQDJTEDG/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
convexity inequalities K2C36JZY4S
| URI | m2://inv/K2C36JZY4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Convexity > convexity inequalities, convexity inequalities (unknown)
History
- 2026-10-26: add by m2/dev
Criminal Law Act 1977 K2C5E7E9Q3
| URI | m2://inv/K2C5E7E9Q3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#5M3G, Criminal Law Act 1977 (unknown)
History
- 2026-11-02: add by m2/dev
Equality of likelihood derivatives K2C5TGP72X
| URI | m2://inv/K2C5TGP72X |
|---|---|
| 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.23903#IVRM, Equality of likelihood derivatives (statement)
History
- 2026-11-02: add by m2/v0.6.17
Thomas Storer K2C62P5GDB
| URI | m2://inv/K2C62P5GDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Storer (American mathematician), Thomas Storer (topic). Also Wikidata Q95244107
History
- 2026-11-02: add by m2/dev
The uniqueness theorems K2C8FY4CXC
| URI | m2://inv/K2C8FY4CXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leavitt path algebra#ZJ12, The uniqueness theorems (statement)
History
- 2026-11-02: add by m2/dev
K2CB7WC8K3 K2CB7WC8K3
| URI | m2://inv/K2CB7WC8K3 |
|---|---|
| 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.06038#7XFZ (statement). In 4TJGTZWJVK/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Random Hardy's inequality K2CBJRMYYK
| URI | m2://inv/K2CBJRMYYK |
|---|---|
| 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 2512.08487#9LDV, Random Hardy's inequality (statement). In 77TVQVYN0Z/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.6
Euler pole K2CFKVRTNR
| URI | m2://inv/K2CFKVRTNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate reconstruction#XYUN, Euler pole (unknown)
History
- 2026-11-02: add by m2/dev
K2CKS1J1FM K2CKS1J1FM
| URI | m2://inv/K2CKS1J1FM |
|---|---|
| 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 2609.30444#UUC1 (example). In RZWJ0AT8W5/e1, example 6.9
History
- 2026-10-31: add by m2/v0.5.6
K2CT9SNX2E K2CT9SNX2E
| URI | m2://inv/K2CT9SNX2E |
|---|---|
| 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.19251#TDW3 (statement). In CSW6NG0FRN/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Tarski's World K2CXKBNJHG
| URI | m2://inv/K2CXKBNJHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#ZAP6, Tarski's World (definition)
History
- 2026-11-02: add by m2/dev
Nancy E. Heckman K2CZ54GMD3
| URI | m2://inv/K2CZ54GMD3 |
|---|---|
| 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#O1GR, Nancy E. Heckman (unknown)
History
- 2026-11-02: add by m2/dev
centered polygonal number K2D0RG98BC
| URI | m2://inv/K2D0RG98BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190898, centered polygonal number (unknown). Also MathWorld CenteredPolygonalNumber
- wikipedia: Wikipedia Centered polygonal number, Centered polygonal number (definition). Also Wikidata Q190898
History
- 2026-10-26: add by m2/dev
K2DAZEAXQ6 K2DAZEAXQ6
| URI | m2://inv/K2DAZEAXQ6 |
|---|---|
| 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.23446#2VWW (statement)
History
- 2026-11-02: add by m2/v0.6.17
K2DBPVY0RW K2DBPVY0RW
| URI | m2://inv/K2DBPVY0RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#4UL4 (statement). In CY1FE8W1ZW/e1, corollary 0.113
History
- 2026-10-27: add by m2/v0.4.0
q-Hahn polynomials K2DC84W59D
| URI | m2://inv/K2DC84W59D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#3I68, q-Hahn polynomials (definition)
History
- 2026-11-02: add by m2/dev
K2DGC5MGJJ K2DGC5MGJJ
| URI | m2://inv/K2DGC5MGJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#7YY2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
K2DJ9QYMHE K2DJ9QYMHE
| URI | m2://inv/K2DJ9QYMHE |
|---|---|
| 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.27153#CM5T (example)
History
- 2026-11-01: add by m2/v0.6.15
K2DK2BJQC7 K2DK2BJQC7
| URI | m2://inv/K2DK2BJQC7 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26665#3XN8 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
K2DP4A3PV2 K2DP4A3PV2
| URI | m2://inv/K2DP4A3PV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#5E0W (statement)
History
- 2026-11-02: add by m2/v0.6.17
K2DR2EF176 K2DR2EF176
| URI | m2://inv/K2DR2EF176 |
|---|---|
| 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 0907.5545#9I0R (statement). In K3GWCTV5YE/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Lipschitzness of the score K2E78C33P2
| URI | m2://inv/K2E78C33P2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#W4LT, Lipschitzness of the score (statement). In PGAZ70WGMG/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
Gaussian random projection K2EG5A2W95
| URI | m2://inv/K2EG5A2W95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random projection#KBXO, Gaussian random projection (unknown)
History
- 2026-11-02: add by m2/dev
Cross-lagged panel model K2F5WSKBM7
| URI | m2://inv/K2F5WSKBM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-lagged panel model, Cross-lagged panel model (definition). Also Wikidata Q96375692
History
- 2026-11-02: add by m2/dev
De Donder–Weyl theory K2F7AEHHHS
| URI | m2://inv/K2F7AEHHHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#LQVP, De Donder–Weyl theory (definition)
History
- 2026-11-02: add by m2/dev
Equality of link invariants K2FC3TNF83
| URI | m2://inv/K2FC3TNF83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33231#P35C, Equality of link invariants (statement). In WPDRT63QNW/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Correlogram K2FPW7NHDD
| URI | m2://inv/K2FPW7NHDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HG8S, Correlogram (definition)
History
- 2026-11-02: add by m2/dev
K2FS36BV3X K2FS36BV3X
| URI | m2://inv/K2FS36BV3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.38556#N5X1 (statement). In GC2H0HS7ZM/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Extendability of geodesics K2G7MTYCPP
| URI | m2://inv/K2G7MTYCPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#WWIZ, Extendability of geodesics (statement)
History
- 2026-11-01: add by m2/v0.6.15
K2GAV0NW9W K2GAV0NW9W
| URI | m2://inv/K2GAV0NW9W |
|---|---|
| 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.09324#KW87 (statement). In SFNYZXKBNW/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
K2GFD5SP2V K2GFD5SP2V
| URI | m2://inv/K2GFD5SP2V |
|---|---|
| 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.21622#X99R (statement). In H21X3FHNYJ/e1, lemma 1.14
History
- 2026-10-27: add by m2/v0.4.2
Motor variable K2GMCRPHMB
| URI | m2://inv/K2GMCRPHMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motor variable, Motor variable (definition). Also Wikidata Q6918209
History
- 2026-11-02: add by m2/dev
number of strongly connected digraphs with n labeled nodes K2GNN7A3FT
| URI | m2://inv/K2GNN7A3FT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116293577, number of strongly connected digraphs with n labeled nodes (object). Also OEIS A003030
History
- 2026-10-26: add by m2/dev
structure factor K2GSD4CAB7
| URI | m2://inv/K2GSD4CAB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q900684, structure factor (unknown). Also MathWorld StructureFactor
History
- 2026-10-26: add by m2/dev
K2GZ2460BD K2GZ2460BD
| URI | m2://inv/K2GZ2460BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21717#LYER (statement). In CE603VK92S/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
K2H1HA9JX7 K2H1HA9JX7
| URI | m2://inv/K2H1HA9JX7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17129#RNT5 (definition). In TCZWAMNYCV/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Centered tilted moments K2H3EBR9XN
| URI | m2://inv/K2H3EBR9XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#C58S, Centered tilted moments (statement). In ESPJMBH2R2/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
Uses K2H6KR3EPE
| URI | m2://inv/K2H6KR3EPE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janson inequality#TWCT, Uses (example)
History
- 2026-11-02: add by m2/dev
K2HB1MWB0F K2HB1MWB0F
| URI | m2://inv/K2HB1MWB0F |
|---|---|
| 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.21915#6JPJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
K2HFNYDQN0 K2HFNYDQN0
| URI | m2://inv/K2HFNYDQN0 |
|---|---|
| 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.10840#2FI3 (statement). In P0HKF5DY7M/e1, lemma D.1
History
- 2026-10-27: add by m2/v0.3.5
Subfield (mathematics) K2HHE72785
| URI | m2://inv/K2HHE72785 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#31Y4, Subfield (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Uniform collision-graph geometry K2HHFA9DRB
| URI | m2://inv/K2HHFA9DRB |
|---|---|
| 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.18884#LC3T, Uniform collision-graph geometry (statement). In 8WM10QMA9E/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
K2HMQN2BRW K2HMQN2BRW
| URI | m2://inv/K2HMQN2BRW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24399#NC11 (example)
History
- 2026-11-01: add by m2/v0.6.15
Dinosaurs K2HN9WXCEE
| URI | m2://inv/K2HN9WXCEE |
|---|---|
| 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#TFA8, Dinosaurs (unknown)
History
- 2026-11-02: add by m2/dev
windmill K2HPFXW7TE
| URI | m2://inv/K2HPFXW7TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#EYIC, windmill (definition)
History
- 2026-11-02: add by m2/dev
K2HTZPAPV4 K2HTZPAPV4
| URI | m2://inv/K2HTZPAPV4 |
|---|---|
| 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.23128#14AS (statement)
History
- 2026-11-02: add by m2/v0.6.17
K2J0YKJNDE K2J0YKJNDE
| URI | m2://inv/K2J0YKJNDE |
|---|---|
| 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#AVJH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sequential covers K2J53TAGG8
| URI | m2://inv/K2J53TAGG8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20687#G7UF, Sequential covers (definition)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition K2JACRG3YQ
| URI | m2://inv/K2JACRG3YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NP (complexity)#XONO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
No–no paradox K2JB4HN2D7
| URI | m2://inv/K2JB4HN2D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No–no paradox, No–no paradox (statement). Also Wikidata Q28455794
History
- 2026-11-02: add by m2/dev
Bettina Eick K2JC01KY3T
| URI | m2://inv/K2JC01KY3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bettina Eick, Bettina Eick (topic). Also Wikidata Q102181273
History
- 2026-11-02: add by m2/dev
K2JG11WC6E K2JG11WC6E
| URI | m2://inv/K2JG11WC6E |
|---|---|
| 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.30575#5317 (statement). In 6WFFY0QM27/e1, theorem 1.7
History
- 2026-10-31: add by m2/v0.5.6
Mathematical oncology K2JHRM3CJ5
| URI | m2://inv/K2JHRM3CJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical oncology, Mathematical oncology (definition). Also Wikidata Q135889756
History
- 2026-11-02: add by m2/dev
Exact formula on the ray $n=tP$ K2JVGBNNH8
| URI | m2://inv/K2JVGBNNH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22305#BNDP, Exact formula on the ray $n=tP$ (statement). In P6FTXTV09Q/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.0
Great triakis octahedron K2JWSGKH99
| URI | m2://inv/K2JWSGKH99 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great triakis octahedron, Great triakis octahedron (object). Also Wikidata Q5600404
History
- 2026-11-02: add by m2/dev
Bertram John Walsh K2JWWW6KW9
| URI | m2://inv/K2JWWW6KW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertram John Walsh, Bertram John Walsh (topic). Also Wikidata Q68681216
History
- 2026-11-02: add by m2/dev
K2JXCSPXQB K2JXCSPXQB
| URI | m2://inv/K2JXCSPXQB |
|---|---|
| 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 2312.14319#RZUU (statement). In V0S2EZ53GB/e1, theorem 2.16
History
- 2026-10-27: add by m2/v0.3.5
Properties K2JYNSA4DY
| URI | m2://inv/K2JYNSA4DY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasinormal operator#U9PY, Properties (statement)
History
- 2026-11-02: add by m2/dev
K2K0RDKZ52 K2K0RDKZ52
| URI | m2://inv/K2K0RDKZ52 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#proof-2 (proof). In RZP28ERRZV, proof, section 21.5
History
- 2026-11-01: add by m2/v0.6.13
assertion K2KBTP7AAE
| URI | m2://inv/K2KBTP7AAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y0IQ, assertion (definition)
History
- 2026-11-02: add by m2/dev
Example K2KCCPWP5X
| URI | m2://inv/K2KCCPWP5X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quater-imaginary base#P8I4, Example (example)
History
- 2026-11-02: add by m2/dev
K2KD2NS194 K2KD2NS194
| URI | m2://inv/K2KD2NS194 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#0CLK (statement). In CY1FE8W1ZW/e1, statement 0.234
History
- 2026-10-27: add by m2/v0.3.5
Borel hierarchy K2KK7HJBAT
| URI | m2://inv/K2KK7HJBAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel hierarchy, Borel hierarchy (definition). Also Wikidata Q893487
History
- 2026-11-02: add by m2/dev
hexagon K2KMZT66WR
| URI | m2://inv/K2KMZT66WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83043, hexagon (unknown). Also MathWorld Hexagon
- wikipedia: Wikipedia Hexagon, Hexagon (definition). Also Wikidata Q83043
History
- 2026-10-26: add by m2/dev
K2KR4HVKFQ K2KR4HVKFQ
| URI | m2://inv/K2KR4HVKFQ |
|---|---|
| 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.25409#UWF6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Titchmarsh's theorem K2KVRK0TB1
| URI | m2://inv/K2KVRK0TB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert transform#BQRL, Titchmarsh's theorem (statement)
History
- 2026-11-02: add by m2/dev
K2M0XG4VD6 K2M0XG4VD6
| URI | m2://inv/K2M0XG4VD6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#CC3U (problem)
History
- 2026-11-02: add by m2/v0.6.18
K2M1S223DQ K2M1S223DQ
| URI | m2://inv/K2M1S223DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#ZVMT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Luca Pacioli K2M4H5QY5B
| URI | m2://inv/K2M4H5QY5B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#CWL3, Luca Pacioli (topic)
History
- 2026-11-02: add by m2/dev
574 (number) K2M4YB7XWY
| URI | m2://inv/K2M4YB7XWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#TIHG, 574 (number) (unknown)
History
- 2026-11-02: add by m2/dev
K2M8CF88MY K2M8CF88MY
| URI | m2://inv/K2M8CF88MY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#MMBO (example). In D1DFM4WYEW/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
Extensions K2MA1G5TCP
| URI | m2://inv/K2MA1G5TCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic combinatorics#RSYF, Extensions (statement)
History
- 2026-11-02: add by m2/dev
K2MD5XB5AB K2MD5XB5AB
| URI | m2://inv/K2MD5XB5AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#4LFT (statement). In CM2YEK9T4F/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
William Rae Thompson K2MJG6C2C3
| URI | m2://inv/K2MJG6C2C3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#L95V, William Rae Thompson (topic)
History
- 2026-11-02: add by m2/dev
K2MQ8VC3FK K2MQ8VC3FK
| URI | m2://inv/K2MQ8VC3FK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 20.5
History
- 2026-11-01: add by m2/v0.6.13
K2MRF349X9 K2MRF349X9
| URI | m2://inv/K2MRF349X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-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 2504.00596#VKU9 (statement). In F8RC6AENB0/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
Robbins' theorem K2MVEGCXHF
| URI | m2://inv/K2MVEGCXHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZP1D, Robbins' theorem (statement)
History
- 2026-11-02: add by m2/dev
K2N729828P K2N729828P
| URI | m2://inv/K2N729828P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/definitions.tex#defn-8 (definition). In PKGMM3P5QY, defn, section 28.7
History
- 2026-11-01: add by m2/v0.6.13
Slow variation K2NA8AVQ0T
| URI | m2://inv/K2NA8AVQ0T |
|---|---|
| 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.20643#ZDDI, Slow variation (statement)
History
- 2026-11-02: add by m2/v0.6.18
K2NMHR80EH K2NMHR80EH
| URI | m2://inv/K2NMHR80EH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#ZYMT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pointwise sufficient condition K2NQ1YF9FG
| URI | m2://inv/K2NQ1YF9FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#6Q0F, Pointwise sufficient condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
K2NTNKB3MJ K2NTNKB3MJ
| URI | m2://inv/K2NTNKB3MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#DYLW (statement). In 29D4TTE3J2/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.4.2
Edwin Hewitt K2NWGAW1XG
| URI | m2://inv/K2NWGAW1XG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LUTB, Edwin Hewitt (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H3VX, Edwin Hewitt (topic)
History
- 2026-11-02: add by m2/dev
K2NZEQAK4B K2NZEQAK4B
| URI | m2://inv/K2NZEQAK4B |
|---|---|
| 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.21260#QJNI (statement). In Z7WW536KA5/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Neighborhood semantics K2P1X1AQVB
| URI | m2://inv/K2P1X1AQVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighborhood semantics, Neighborhood semantics (definition). Also Wikidata Q6988052
History
- 2026-11-02: add by m2/dev
K2P7DHYN06 K2P7DHYN06
| URI | m2://inv/K2P7DHYN06 |
|---|---|
| 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.20991#W9VV (statement). In H98ZC5YBSD/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
Paul Erdős K2P8W295DP
| URI | m2://inv/K2P8W295DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZT1P, Paul Erdős (topic)
History
- 2026-11-02: add by m2/dev
Radical theory K2PEP620SJ
| URI | m2://inv/K2PEP620SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#03ZJ, Radical theory (unknown)
History
- 2026-11-02: add by m2/dev
Open problems K2PFB9EN9S
| URI | m2://inv/K2PFB9EN9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-theory (physics)#RQFM, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Benedikt Löwe K2PK71T3DP
| URI | m2://inv/K2PK71T3DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benedikt Löwe, Benedikt Löwe (topic). Also Wikidata Q2455040
History
- 2026-11-02: add by m2/dev
K2PRNV58HQ K2PRNV58HQ
| URI | m2://inv/K2PRNV58HQ |
|---|---|
| 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 2609.35597#AH58 (statement). In K424GCJ50P/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
K2Q3XWW663 K2Q3XWW663
| URI | m2://inv/K2Q3XWW663 |
|---|---|
| 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 2104.04145#XSWQ (statement). In 7TNHVC586V/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
K2Q4WBY5AA K2Q4WBY5AA
| URI | m2://inv/K2Q4WBY5AA |
|---|---|
| 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.38865#JIPX (statement). In TFZNHCE6EV/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Definition K2QCX7CQDH
| URI | m2://inv/K2QCX7CQDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic curvature#ECBD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Base-change K2QJG4V4A2
| URI | m2://inv/K2QJG4V4A2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#F54W, Base-change (statement). In E1Y93JNBJA/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
K2QJRX4S15 K2QJRX4S15
| URI | m2://inv/K2QJRX4S15 |
|---|---|
| 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 2002.01498#YSYA (statement). In 2H7TQ695XW/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Small-signal regime K2QS0RF683
| URI | m2://inv/K2QS0RF683 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11388#X8J8, Small-signal regime (statement). In PC1SZ68BPZ/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.3
Definition K2QYMN25KW
| URI | m2://inv/K2QYMN25KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive ring#MV7Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
K2R5CDCTK3 K2R5CDCTK3
| URI | m2://inv/K2R5CDCTK3 |
|---|---|
| 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.12716#C0G2 (statement). In M6BCSQSM3R/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Closure-risk bounds with a finite-sample assignment term K2RB3ZVZ00
| URI | m2://inv/K2RB3ZVZ00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#JIMU, Closure-risk bounds with a finite-sample assignment term (statement). In 6KAZWJ8RFX/e1, theorem 5.11
History
- 2026-10-31: add by m2/v0.5.6
K2RFDNC4H9 K2RFDNC4H9
| URI | m2://inv/K2RFDNC4H9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23682#8SUE (definition)
History
- 2026-11-02: add by m2/v0.6.17
Leading budget comparison K2RPRZJSSF
| URI | m2://inv/K2RPRZJSSF |
|---|---|
| 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.13789#UBS5, Leading budget comparison (statement). In 803XY7QQZ4/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Properties K2RX0F2P9E
| URI | m2://inv/K2RX0F2P9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform#U77A, Properties (statement)
History
- 2026-11-02: add by m2/dev
K2SFHX4WFK K2SFHX4WFK
| URI | m2://inv/K2SFHX4WFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28664#CI5G (statement)
History
- 2026-11-01: add by m2/v0.6.15
K2SGCWXF86 K2SGCWXF86
| URI | m2://inv/K2SGCWXF86 |
|---|---|
| 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#R99R (statement). In 7PACGDW3N7/e1, proposition 19.1
History
- 2026-10-27: add by m2/v0.4.0
K2SMP7XXKX K2SMP7XXKX
| URI | m2://inv/K2SMP7XXKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05018#44AY (statement). In QFZSPBES9B/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.12
K2SQ7XVHFW K2SQ7XVHFW
| URI | m2://inv/K2SQ7XVHFW |
|---|---|
| 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.20316#RUC3 (statement). In YRJS76169Z/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Eilenberg--Mac Lane space K2SRPJSPNS
| URI | m2://inv/K2SRPJSPNS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.10/eilenberg-mac-lane-space, Eilenberg--Mac Lane space (concept). In N54F33XE07, index, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Kenneth Arrow K2SYGQYJ0Z
| URI | m2://inv/K2SYGQYJ0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9I1D, Kenneth Arrow (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GZVT, Kenneth Arrow (topic)
History
- 2026-11-02: add by m2/dev
Carl Günther Ludovici K2T1YCBDS2
| URI | m2://inv/K2T1YCBDS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Günther Ludovici, Carl Günther Ludovici (topic). Also Wikidata Q91849
History
- 2026-11-02: add by m2/dev
K2TMA9KFZW K2TMA9KFZW
| URI | m2://inv/K2TMA9KFZW |
|---|---|
| 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.15992#LOAW (statement). In P74TAV3ME5/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Thomas Dumitrescu K2TR5ND0ZJ
| URI | m2://inv/K2TR5ND0ZJ |
|---|---|
| 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 Q103244776, Thomas Dumitrescu (unknown). Also nLab Thomas Dumitrescu
History
- 2026-10-26: add by m2/dev
Implementations K2TRW6BWFV
| URI | m2://inv/K2TRW6BWFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Datagram Transport Layer Security#RDLX, Implementations (definition)
History
- 2026-11-02: add by m2/dev
K2V0VNJB4W K2V0VNJB4W
| URI | m2://inv/K2V0VNJB4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33841#WX5U (statement). In 3CVQHT206K/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
C. King K2V1Z9DMAN
| URI | m2://inv/K2V1Z9DMAN |
|---|---|
| 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.01501#ZUCE, C. King (statement). In 8Q2PXZDGB5/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
Optimal control theory K2VF1D7ZGM
| URI | m2://inv/K2VF1D7ZGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AQ4V, Optimal control theory (definition)
History
- 2026-11-02: add by m2/dev
Subdifferential K2VNVXF4P8
| URI | m2://inv/K2VNVXF4P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#CMLK, Subdifferential (definition)
History
- 2026-11-02: add by m2/dev
Applications K2VP0D5GD9
| URI | m2://inv/K2VP0D5GD9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tobit model#5JYM, Applications (example)
History
- 2026-11-02: add by m2/dev
Damodara K2VQBW4HMN
| URI | m2://inv/K2VQBW4HMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#VH6W, Damodara (unknown)
History
- 2026-11-02: add by m2/dev
K2VVWWY455 K2VVWWY455
| URI | m2://inv/K2VVWWY455 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13957#ZP34 (statement). In H1W6SNC2MJ/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
K2W24GAH0Z K2W24GAH0Z
| URI | m2://inv/K2W24GAH0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#NE3S (statement). In CEKW9CNVVW/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Ward defect formula K2W59Y9WHR
| URI | m2://inv/K2W59Y9WHR |
|---|---|
| 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.20593#Z1X2, Ward defect formula (statement). In 7GMD8J4200/e1, proposition 12
History
- 2026-10-27: add by m2/v0.4.2
K2W71QYE59 K2W71QYE59
| URI | m2://inv/K2W71QYE59 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29196#I1AC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Topological module K2WDVEB3GJ
| URI | m2://inv/K2WDVEB3GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#TFRL, Topological module (definition)
History
- 2026-11-02: add by m2/dev
OpenBUGS K2WH1E5P0X
| URI | m2://inv/K2WH1E5P0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenBUGS, OpenBUGS (definition). Also Wikidata Q7095741
History
- 2026-11-02: add by m2/dev
Lemma 2 K2WJH254A5
| URI | m2://inv/K2WJH254A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local criterion for flatness#7JB6, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Special cases K2WNMC9RAP
| URI | m2://inv/K2WNMC9RAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit method#O4WA, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Near-embedding K2WP712DG7
| URI | m2://inv/K2WP712DG7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#TDHJ, Near-embedding (definition). In BVAWVRS3R9/e1, definition 2.16
History
- 2026-10-28: add by m2/v0.4.2
universal, property, of set-coequalizer K2WSNRKVSD
| URI | m2://inv/K2WSNRKVSD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.2/universal-property-of-set-coequalizer, universal, property, of set-coequalizer (concept). In N54F33XE07, index, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
K2WWF3JF0D K2WWF3JF0D
| URI | m2://inv/K2WWF3JF0D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#W0VR (definition). In WCY07D1CJG/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Witt decomposition K2WX0H31AN
| URI | m2://inv/K2WX0H31AN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#8A3A, Witt decomposition (statement)
History
- 2026-11-02: add by m2/dev
K2WZ6RQR0M K2WZ6RQR0M
| URI | m2://inv/K2WZ6RQR0M |
|---|---|
| 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.01390#EBR5 (statement). In KDKXM018ES/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
László Kalmár K2WZK95F5C
| URI | m2://inv/K2WZK95F5C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia László Kalmár, László Kalmár (topic). Also Wikidata Q830978
History
- 2026-11-02: add by m2/dev
Kleene's algorithm K2X7JGFHEN
| URI | m2://inv/K2X7JGFHEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's algorithm, Kleene's algorithm (definition). Also Wikidata Q17102078
History
- 2026-11-02: add by m2/dev
Forward charts and the global height K2X943VBG5
| URI | m2://inv/K2X943VBG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#ROLM, Forward charts and the global height (statement). In 328KGRNN0W/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
Peter Roquette K2XDGZVB7Z
| URI | m2://inv/K2XDGZVB7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Roquette, Peter Roquette (topic). Also Wikidata Q96649
History
- 2026-11-02: add by m2/dev
Caroline Series K2XFD8KAPD
| URI | m2://inv/K2XFD8KAPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P269, Caroline Series (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FNKG, Caroline Series (topic)
History
- 2026-11-02: add by m2/dev
Properties K2XG9S9DJX
| URI | m2://inv/K2XG9S9DJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid polytope#LKOU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Injective metric space K2XPACHWTJ
| URI | m2://inv/K2XPACHWTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective metric space, Injective metric space (definition). Also Wikidata Q6034319
History
- 2026-11-02: add by m2/dev
K2XQCAAGAB K2XQCAAGAB
| URI | m2://inv/K2XQCAAGAB |
|---|---|
| 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#C3D7 (statement). In G2PA4KAGRP/e1, theorem 3.19
History
- 2026-10-27: add by m2/v0.3.6
Radius for distributional coverage K2Y0T9DCGN
| URI | m2://inv/K2Y0T9DCGN |
|---|---|
| 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.10793#QA9B, Radius for distributional coverage (statement). In BSCKJRHJDT/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
K2Y26T6N0H K2Y26T6N0H
| URI | m2://inv/K2Y26T6N0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#MM7M (definition). In GYMGDQS25R/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Bell polynomials K2Y4XQTESE
| URI | m2://inv/K2Y4XQTESE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell polynomials, Bell polynomials (definition). Also Wikidata Q815666
History
- 2026-11-02: add by m2/dev
Properties K2Y79YZM0G
| URI | m2://inv/K2Y79YZM0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli scheme#OUHT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Xor–encrypt–xor K2Y9XVN9AK
| URI | m2://inv/K2Y9XVN9AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xor–encrypt–xor, Xor–encrypt–xor (definition). Also Wikidata Q17087499
History
- 2026-11-02: add by m2/dev
Fréchet mean K2YB64AWGE
| URI | m2://inv/K2YB64AWGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet mean, Fréchet mean (definition). Also Wikidata Q5506662
History
- 2026-11-02: add by m2/dev
Katz–Lang finiteness theorem K2YCH1X1K7
| URI | m2://inv/K2YCH1X1K7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6378596, Katz–Lang finiteness theorem (statement). Also Wikidata Q6378596
- thousand_plus: thousand_plus Q6378596, Katz–Lang finiteness theorem (statement). Also Wikidata Q6378596, Wikipedia Katz–Lang finiteness theorem
- wikipedia: Wikipedia Katz–Lang finiteness theorem, Katz–Lang finiteness theorem (statement). Also Wikidata Q6378596
History
- 2026-10-26: add by m2/dev
K2YG4BDAMA K2YG4BDAMA
| URI | m2://inv/K2YG4BDAMA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#64TQ (example). In 9DQKY7KGE8/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.5
Stable range condition K2YG8KVX75
| URI | m2://inv/K2YG8KVX75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable range condition, Stable range condition (definition). Also Wikidata Q18192482
History
- 2026-11-02: add by m2/dev
K2YGWPN709 K2YGWPN709
| URI | m2://inv/K2YGWPN709 |
|---|---|
| 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.17817#NJMB (definition). In M8TSJ24RC2/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
entropy K2YH42QEVB
| URI | m2://inv/K2YH42QEVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 94A17 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45003, entropy (topic). Also ProofWiki Definition:Entropy_(Physics)
- wikipedia: Wikipedia Entropy, Entropy (definition). Also Wikidata Q45003
History
- 2026-10-26: add by m2/dev
Birkhoff's theorem K2YHRVK0GN
| URI | m2://inv/K2YHRVK0GN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#R2WS, Birkhoff's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications K2YXNA0TEJ
| URI | m2://inv/K2YXNA0TEJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin connection#I6A9, Applications (example)
History
- 2026-11-02: add by m2/dev
Baumslag–Solitar group K2ZJANKZEV
| URI | m2://inv/K2ZJANKZEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baumslag–Solitar group, Baumslag–Solitar group (definition). Also Wikidata Q4150685
History
- 2026-11-02: add by m2/dev