Inventory rows CK
The cards of the rows of the inventory whose ids start with CK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
CK03AF58ZY CK03AF58ZY
| URI | m2://inv/CK03AF58ZY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#73QH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Von Neumann cellular automaton CK04XCNP7V
| URI | m2://inv/CK04XCNP7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann cellular automaton, Von Neumann cellular automaton (definition). Also Wikidata Q4056286
History
- 2026-11-02: add by m2/dev
Arrival theorem CK0DE0TH06
| URI | m2://inv/CK0DE0TH06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/G/1 queue#BRYC, Arrival theorem (statement)
History
- 2026-11-02: add by m2/dev
CK0J0GWD0D CK0J0GWD0D
| URI | m2://inv/CK0J0GWD0D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-33 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
A second star can be omitted CK0S778E5Z
| URI | m2://inv/CK0S778E5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#ZLXX, A second star can be omitted (statement). In DR7BK4CQ0V/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.3
Examples CK15EEVDV9
| URI | m2://inv/CK15EEVDV9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete group#TAQ1, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition CK16RP0014
| URI | m2://inv/CK16RP0014 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden Markov model#B1R2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Partial group algebra CK1EF23JFF
| URI | m2://inv/CK1EF23JFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial group algebra, Partial group algebra (definition). Also Wikidata Q7140367
History
- 2026-11-02: add by m2/dev
CK1MA24ZE6 CK1MA24ZE6
| URI | m2://inv/CK1MA24ZE6 |
|---|---|
| Kind | problem |
| 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.30067#8T9N (problem)
History
- 2026-11-01: add by m2/v0.6.15
Rellich's theorem CK1YTX1BKF
| URI | m2://inv/CK1YTX1BKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monge–Ampère equation#IHOB, Rellich's theorem (statement)
History
- 2026-11-02: add by m2/dev
CK202EPSQA CK202EPSQA
| URI | m2://inv/CK202EPSQA |
|---|---|
| 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 0904.2839#13R6 (statement). In 2P34N0GWS1/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Metaphysical necessity CK220D5SMP
| URI | m2://inv/CK220D5SMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metaphysical necessity, Metaphysical necessity (definition). Also Wikidata Q6823137
History
- 2026-11-02: add by m2/dev
CK24M8PMJP CK24M8PMJP
| URI | m2://inv/CK24M8PMJP |
|---|---|
| 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 2310.10361#3HSV (statement). In 65ED1ZXG98/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.6
CK2CAKY9S5 CK2CAKY9S5
| URI | m2://inv/CK2CAKY9S5 |
|---|---|
| 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 2508.02432#QHWA (statement). In B366ACYB37/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
degree CK2FP4926H
| URI | m2://inv/CK2FP4926H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#GMEK, degree (definition)
History
- 2026-11-02: add by m2/dev
Stein's method CK2HECM6VJ
| URI | m2://inv/CK2HECM6VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's method, Stein's method (definition). Also Wikidata Q7606740
History
- 2026-11-02: add by m2/dev
Singleton matching and coherence CK2NC1C4CF
| URI | m2://inv/CK2NC1C4CF |
|---|---|
| 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.38993#N827, Singleton matching and coherence (statement). In AFKQK866Y1/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Bernoulli numbers CK2QFWN7VQ
| URI | m2://inv/CK2QFWN7VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > Bernoulli numbers, Bernoulli numbers (unknown). Also Mathlib bernoulli
History
- 2026-10-26: add by m2/dev
freshman's dream CK347K4N9V
| URI | m2://inv/CK347K4N9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Freshman's dream 0396VGFA78 |
Mentions
- wikidata: Wikidata Q4120528, freshman's dream (unknown). Also nLab freshman's dream
- wikipedia: Wikipedia Freshman's dream, Freshman's dream (definition). Also Wikidata Q4120528
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Levene's test CK34BVJ0A1
| URI | m2://inv/CK34BVJ0A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levene's test, Levene's test (definition). Also Wikidata Q1821748
History
- 2026-11-02: add by m2/dev
Incomparability property (commutative algebra) CK353VZ5QP
| URI | m2://inv/CK353VZ5QP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Going up and going down#93P1, Incomparability property (commutative algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Bálint Virág CK35DKRY54
| URI | m2://inv/CK35DKRY54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bálint Virág, Bálint Virág (topic). Also Wikidata Q5004788
History
- 2026-11-02: add by m2/dev
hereditarily CK3BAT2NT8
| URI | m2://inv/CK3BAT2NT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HA1U, hereditarily (definition)
History
- 2026-11-02: add by m2/dev
Souček space CK3QM7N2W2
| URI | m2://inv/CK3QM7N2W2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Souček space, Souček space (definition). Also Wikidata Q7571554
History
- 2026-11-02: add by m2/dev
categorical algebra CK3S5Z9K6W
| URI | m2://inv/CK3S5Z9K6W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39045406, categorical algebra (topic). Also nLab categorical algebra
History
- 2026-10-26: add by m2/dev
compact symplectic group CK3YZB7JPT
| URI | m2://inv/CK3YZB7JPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78484790, compact symplectic group (unknown). Also nLab compact symplectic group
History
- 2026-10-26: add by m2/dev
CK3ZQY1HJB CK3ZQY1HJB
| URI | m2://inv/CK3ZQY1HJB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/log.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 40.5
History
- 2026-11-01: add by m2/v0.6.13
Forking lemma CK45AHCCMP
| URI | m2://inv/CK45AHCCMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forking lemma, Forking lemma (statement). Also Wikidata Q5469821
History
- 2026-11-02: add by m2/dev
Burke's theorem CK4AZJQZZ5
| URI | m2://inv/CK4AZJQZZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YEZ1, Burke's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition CK4KY64VQ5
| URI | m2://inv/CK4KY64VQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silhouette (clustering)#XDPF, Definition (definition)
History
- 2026-11-02: add by m2/dev
CK4N1QRAZ5 CK4N1QRAZ5
| URI | m2://inv/CK4N1QRAZ5 |
|---|---|
| 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#R7G6 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
CK4N6C2JDG CK4N6C2JDG
| URI | m2://inv/CK4N6C2JDG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#0P11 (definition). In SHCQDPCF2J/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
CK4PX06Z73 CK4PX06Z73
| URI | m2://inv/CK4PX06Z73 |
|---|---|
| Kind | definition |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.6
Risk adjusted mortality rate CK4RTEMKT1
| URI | m2://inv/CK4RTEMKT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk adjusted mortality rate, Risk adjusted mortality rate (definition). Also Wikidata Q7336253
History
- 2026-11-02: add by m2/dev
Venn diagram CK4ZHXXATM
| URI | m2://inv/CK4ZHXXATM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Venn diagram 0KCT6DPXJK |
Mentions
- wikidata: Wikidata Q190763, Venn diagram (unknown). Also MathWorld VennDiagram
- wikipedia: Wikipedia Venn diagram, Venn diagram (definition). Also Wikidata Q190763
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
CK5M63WTA1 CK5M63WTA1
| URI | m2://inv/CK5M63WTA1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#GH7J (definition). In WXJ2V3HA2R/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Cauchy's integral formula CK5WPJY3TV
| URI | m2://inv/CK5WPJY3TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables#8PBK, Cauchy's integral formula (statement)
History
- 2026-11-02: add by m2/dev
CK60WXG7BN CK60WXG7BN
| URI | m2://inv/CK60WXG7BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#IBLB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mary Batcher CK61P80KE4
| URI | m2://inv/CK61P80KE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Batcher, Mary Batcher (topic). Also Wikidata Q60256932
History
- 2026-11-02: add by m2/dev
CK64WSQFS2 CK64WSQFS2
| URI | m2://inv/CK64WSQFS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#OXHG (statement). In WWMHZKWZSM/e1, corollary 22
History
- 2026-10-27: add by m2/v0.3.5
CK690TAPZX CK690TAPZX
| URI | m2://inv/CK690TAPZX |
|---|---|
| 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 1805.04646#6HNW (statement). In WDDY7P9T66/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
complex projective space CK6BBCCHXR
| URI | m2://inv/CK6BBCCHXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complex projective space 7GJ4STCNNM |
Mentions
- wikidata: Wikidata Q2538404, complex projective space (unknown). Also MathWorld ComplexProjectiveSpace, nLab complex projective space
- wikipedia: Wikipedia Complex projective space, Complex projective space (definition). Also Wikidata Q2538404
History
- 2026-10-26: add by m2/dev
CK6BZ8KBE9 CK6BZ8KBE9
| URI | m2://inv/CK6BZ8KBE9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#ex_graphs_degseq2 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
multicategory CK6D02PEW6
| URI | m2://inv/CK6D02PEW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#87KV, multicategory (definition)
History
- 2026-11-02: add by m2/dev
SameGame CK6KSEH0GH
| URI | m2://inv/CK6KSEH0GH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#VE1X, SameGame (unknown)
History
- 2026-11-02: add by m2/dev
CK6MMQ2833 CK6MMQ2833
| URI | m2://inv/CK6MMQ2833 |
|---|---|
| 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#W65B (statement)
History
- 2026-11-02: add by m2/v0.6.17
CK6SHR8YSM CK6SHR8YSM
| URI | m2://inv/CK6SHR8YSM |
|---|---|
| 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 2610.09201#I4QM (definition). In JQFPH09JG8/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Hilbert CK6ZKGZ5RY
| URI | m2://inv/CK6ZKGZ5RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#MYN1, Hilbert (definition)
History
- 2026-11-02: add by m2/dev
Variations CK71WDSKV3
| URI | m2://inv/CK71WDSKV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive analysis#3M1T, Variations (statement)
History
- 2026-11-02: add by m2/dev
Subcountability CK7FYA06BN
| URI | m2://inv/CK7FYA06BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subcountability, Subcountability (definition). Also Wikidata Q7630981
History
- 2026-11-02: add by m2/dev
Computational resource CK7S8DGJNK
| URI | m2://inv/CK7S8DGJNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational resource, Computational resource (definition). Also Wikidata Q1092142
History
- 2026-11-02: add by m2/dev
Marked log minimal model and marked Mori fiber space CK7SXX9MCR
| URI | m2://inv/CK7SXX9MCR |
|---|---|
| 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 2609.33679#FIV2, Marked log minimal model and marked Mori fiber space (definition). In 3N9E9T6AF5/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Outward dilation and an exact product component CK7V2Q6BNF
| URI | m2://inv/CK7V2Q6BNF |
|---|---|
| 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#DGON, Outward dilation and an exact product component (statement). In 9YAE8FNQST/e1, lemma 11.14
History
- 2026-10-30: add by m2/v0.4.12
CK83AMY0QE CK83AMY0QE
| URI | m2://inv/CK83AMY0QE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#8BN5 (example). In 59BZ4V9RQW/e1, example 9.9
History
- 2026-10-28: add by m2/v0.4.2
Full sublinear Morse boundary CK85ZC1AG8
| URI | m2://inv/CK85ZC1AG8 |
|---|---|
| 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 2609.25468#C7NV, Full sublinear Morse boundary (definition)
History
- 2026-11-01: add by m2/v0.6.15
CK87C3KX6K CK87C3KX6K
| URI | m2://inv/CK87C3KX6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#contbasic:prop (statement). In E59CDZA4DP, prop, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
Via Fubini's theorem CK892KWFHT
| URI | m2://inv/CK892KWFHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's extension theorem#BXF8, Via Fubini's theorem (statement)
History
- 2026-11-02: add by m2/dev
CK8CKCM5FT CK8CKCM5FT
| URI | m2://inv/CK8CKCM5FT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#BCG0 (definition). In BDN507RN7J/e1, definition 4.2.8
History
- 2026-10-30: add by m2/v0.4.12
CK8MR3JHAK CK8MR3JHAK
| URI | m2://inv/CK8MR3JHAK |
|---|---|
| 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 2609.20458#P2C2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example CK8NN62297
| URI | m2://inv/CK8NN62297 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Averaging argument#P2PO, Example (example)
History
- 2026-11-02: add by m2/dev
CK8V1NNPEP CK8V1NNPEP
| URI | m2://inv/CK8V1NNPEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#0B22 (statement). In ES1CVGG59Y/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Linear stability CK90FSDA6W
| URI | m2://inv/CK90FSDA6W |
|---|---|
| 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.14086#NHPK, Linear stability (statement). In J6EZ2RQW2F/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Remark CK97SQNJBZ
| URI | m2://inv/CK97SQNJBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural deduction#IYLK, Remark (unknown)
History
- 2026-11-02: add by m2/dev
CK99JR77NX CK99JR77NX
| URI | m2://inv/CK99JR77NX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-2 (example). In PKGMM3P5QY, ex, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
CK9G67VZYD CK9G67VZYD
| URI | m2://inv/CK9G67VZYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30527#2IPR (statement). In E3WQDZY388/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6
CK9NDJ6961 CK9NDJ6961
| URI | m2://inv/CK9NDJ6961 |
|---|---|
| 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.11271#GM0O (statement). In HF7J38T8Y6/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.3
CK9NST4M8N CK9NST4M8N
| URI | m2://inv/CK9NST4M8N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-7 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Robert Minlos CK9RCM021V
| URI | m2://inv/CK9RCM021V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Minlos, Robert Minlos (topic). Also Wikidata Q2156320
History
- 2026-11-02: add by m2/dev
clamped end of beam CK9VMQ6KG8
| URI | m2://inv/CK9VMQ6KG8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.2/clamped-end-of-beam, clamped end of beam (concept). In E9HS8K3A52, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
inverse function theorem CK9Y1KFW2J
| URI | m2://inv/CK9Y1KFW2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > inverse function theorem, inverse function theorem (unknown). Also Mathlib HasStrictDerivAt.to_localInverse
History
- 2026-10-26: add by m2/dev
Exclusive or CKA9Y7JE4S
| URI | m2://inv/CKA9Y7JE4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#OTO2, Exclusive or (definition)
History
- 2026-11-02: add by m2/dev
Lakes of the Four Seasons, Indiana CKAM05C7YC
| URI | m2://inv/CKAM05C7YC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#949M, Lakes of the Four Seasons, Indiana (unknown)
History
- 2026-11-02: add by m2/dev
Euler's Method, error CKAN9E3VAQ
| URI | m2://inv/CKAN9E3VAQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.3.3/euler-s-method-error, Euler's Method, error (concept). In 907G4C4EJ1, index, section 7.3.3
History
- 2026-11-01: add by m2/v0.6.13
Bates, Nancy CKARAM9S3G
| URI | m2://inv/CKARAM9S3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9SWO, Bates, Nancy (unknown)
History
- 2026-11-02: add by m2/dev
generating set CKASJ53P8J
| URI | m2://inv/CKASJ53P8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 3171371) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#VD0S, generating set (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Non-symmetric two-player game CKAW926CT4
| URI | m2://inv/CKAW926CT4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#5OGZ, Non-symmetric two-player game (example)
History
- 2026-11-02: add by m2/v0.6.18
Spectral invariants CKAXTA8S1T
| URI | m2://inv/CKAXTA8S1T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#6W82, Spectral invariants (definition). In 13GSWBXPCM/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
CKB3096XH7 CKB3096XH7
| URI | m2://inv/CKB3096XH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#T9FS (statement). In 9PXXGQ978Z/e1, lemma 4.18
History
- 2026-10-28: add by m2/v0.4.2
Conditional Hölder inequality CKB5YH635K
| URI | m2://inv/CKB5YH635K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#5Q7P, Conditional Hölder inequality (statement)
History
- 2026-11-02: add by m2/dev
Examples CKBA4BAVXR
| URI | m2://inv/CKBA4BAVXR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent Lie algebra#B0GN, Examples (example)
History
- 2026-11-02: add by m2/dev
Grothendieck group CKBBMWWJ6R
| URI | m2://inv/CKBBMWWJ6R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Grothendieck group 5FDMY7PDYY |
Mentions
- wikidata: Wikidata Q1128678, Grothendieck group (concept). Also EoM Grothendieck_group, nLab Grothendieck group
- wikipedia: Wikipedia Grothendieck group, Grothendieck group (definition). Also Wikidata Q1128678
History
- 2026-10-26: add by m2/dev
CKBHNCFVGX CKBHNCFVGX
| URI | m2://inv/CKBHNCFVGX |
|---|---|
| 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.17589#J54N (definition). In GSTK4569X1/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Insertion for $n\ge9$ CKBSKRHTAP
| URI | m2://inv/CKBSKRHTAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#KEEV, Insertion for $n\ge9$ (statement). In S1KHNS8XQM/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
CKBSW94V6N CKBSW94V6N
| URI | m2://inv/CKBSW94V6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/other-recursions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.27
History
- 2026-11-01: add by m2/v0.6.13
Cantor subsets CKBVY2SB15
| URI | m2://inv/CKBVY2SB15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#71I9, Cantor subsets (statement). In TTNKABAYVB/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
CKBW988N8M CKBW988N8M
| URI | m2://inv/CKBW988N8M |
|---|---|
| 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.08193#3YVD (statement). In 8XAKGH8S2D/e1, theorem 3.15
History
- 2026-10-29: add by m2/v0.4.10
CKBYWJAKHC CKBYWJAKHC
| URI | m2://inv/CKBYWJAKHC |
|---|---|
| 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-2 (definition). In PKGMM3P5QY, defn, section 28.7
History
- 2026-11-01: add by m2/v0.6.13
Properties CKCEKPGCG4
| URI | m2://inv/CKCEKPGCG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary divisor#3ZVZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
CKCKF6C9F7 CKCKF6C9F7
| URI | m2://inv/CKCKF6C9F7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
universal CKCSE6HWBD
| URI | m2://inv/CKCSE6HWBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#E0EV, universal (definition)
History
- 2026-11-02: add by m2/dev
Turing, Minsky CKCXBPQX08
| URI | m2://inv/CKCXBPQX08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.22058#KPQB, Turing, Minsky (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications CKD1V3MWC3
| URI | m2://inv/CKD1V3MWC3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect graph theorem#TQX2, Applications (example)
History
- 2026-11-02: add by m2/dev
CKD7VAMET7 CKD7VAMET7
| URI | m2://inv/CKD7VAMET7 |
|---|---|
| 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.20165#AC4Z (statement). In QTD3BP5GA0/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
CKD7W4QYQV CKD7W4QYQV
| URI | m2://inv/CKD7W4QYQV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-3.xml#ula-preview-7-3 (exercise). In 649HGZKE96, exploration, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
Properties CKD91BXM3G
| URI | m2://inv/CKD91BXM3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid#4PFT, Properties (statement)
History
- 2026-11-02: add by m2/dev
representable CKD9Z10RMH
| URI | m2://inv/CKD9Z10RMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#WRRZ, representable (definition)
History
- 2026-11-02: add by m2/dev
CKDHFFTG6C CKDHFFTG6C
| URI | m2://inv/CKDHFFTG6C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#L360 (example). In PZCA01JXVR/e1, example 5.4
History
- 2026-10-27: add by m2/v0.3.5
Francesco Maurolico CKDMZJZW5H
| URI | m2://inv/CKDMZJZW5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#JMBP, Francesco Maurolico (unknown)
History
- 2026-11-02: add by m2/dev
CKDT28KP5E CKDT28KP5E
| URI | m2://inv/CKDT28KP5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#NPMJ (statement). In FK89DQ9J4S/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
CKE5GWQH5D CKE5GWQH5D
| URI | m2://inv/CKE5GWQH5D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robbins pentagon#W05P (problem)
History
- 2026-11-02: add by m2/dev
CKE7TFH37T CKE7TFH37T
| URI | m2://inv/CKE7TFH37T |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#Y86X (problem). In E31CZYM2H8/e1, problem Question
History
- 2026-10-28: add by m2/v0.4.2
Stathis Zachos CKEF92E24G
| URI | m2://inv/CKEF92E24G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#OTJW, Stathis Zachos (unknown)
History
- 2026-11-02: add by m2/dev
CKESVFC4ZZ CKESVFC4ZZ
| URI | m2://inv/CKESVFC4ZZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-5 (proof). In E59CDZA4DP, proof, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Robinson's principle CKET7W4PJJ
| URI | m2://inv/CKET7W4PJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness theorem#91J0, Robinson's principle (statement)
History
- 2026-11-02: add by m2/dev
Enno Dirksen CKETSEFNJ6
| URI | m2://inv/CKETSEFNJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enno Dirksen, Enno Dirksen (topic). Also Wikidata Q87940
History
- 2026-11-02: add by m2/dev
Ehrenfeucht conjecture CKF21DB1SW
| URI | m2://inv/CKF21DB1SW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free monoid#VFP0, Ehrenfeucht conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Definition CKF37NQ8S7
| URI | m2://inv/CKF37NQ8S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kravchuk polynomials#BWUP, Definition (definition)
History
- 2026-11-02: add by m2/dev
CKF3ASBF9G CKF3ASBF9G
| URI | m2://inv/CKF3ASBF9G |
|---|---|
| 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.14086#DRP3 (statement). In J6EZ2RQW2F/e1, corollary 6.1
History
- 2026-10-28: add by m2/v0.4.2
CKF5ZB7BFH CKF5ZB7BFH
| URI | m2://inv/CKF5ZB7BFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:incons (statement). In PKGMM3P5QY, prop, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
Andrew M. Gleason CKF70YG5CM
| URI | m2://inv/CKF70YG5CM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew M. Gleason, Andrew M. Gleason (topic). Also Wikidata Q504857
History
- 2026-11-02: add by m2/dev
Correct local threshold sign CKFGQJ508C
| URI | m2://inv/CKFGQJ508C |
|---|---|
| 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.29524#ABWS, Correct local threshold sign (statement)
History
- 2026-11-01: add by m2/v0.6.15
CKFJZRZWYP CKFJZRZWYP
| URI | m2://inv/CKFJZRZWYP |
|---|---|
| Kind | statement |
| 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 2610.13715#E1D5 (statement). In FAVGZDVJS9/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
An exact chord test CKFKSSWSDC
| URI | m2://inv/CKFKSSWSDC |
|---|---|
| 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.33794#RZDR, An exact chord test (statement). In W0PQMW25VY/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Intrinsic incidence cancellation CKFPM1CJ9V
| URI | m2://inv/CKFPM1CJ9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#Z1J8, Intrinsic incidence cancellation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Erling Størmer CKFQTB46BW
| URI | m2://inv/CKFQTB46BW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6P4L, Erling Størmer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BZST, Erling Størmer (topic)
History
- 2026-11-02: add by m2/dev
Kokotsakis mesh CKG48ZS3TP
| URI | m2://inv/CKG48ZS3TP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kokotsakis polyhedron#ZAOX, Kokotsakis mesh (unknown)
History
- 2026-11-02: add by m2/dev
CKGE43GXMM CKGE43GXMM
| URI | m2://inv/CKGE43GXMM |
|---|---|
| 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 2308.05066#7HCV (statement). In 1QSCT53ZED/e1, proposition 10.5
History
- 2026-10-27: add by m2/v0.4.0
CKGF21AQ2H CKGF21AQ2H
| URI | m2://inv/CKGF21AQ2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04323#TOAU (statement). In 3Z0D2NCJ0B/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
CKGV6KYY0Z CKGV6KYY0Z
| URI | m2://inv/CKGV6KYY0Z |
|---|---|
| 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.20583#DZAC (statement). In 5YEEPDPAQE/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
CKGXNV5C0V CKGXNV5C0V
| URI | m2://inv/CKGXNV5C0V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#TABF (example). In B9EX6K51RD/e1, example
History
- 2026-10-28: add by m2/v0.4.2
Chen Jingrun CKH31ZM8W4
| URI | m2://inv/CKH31ZM8W4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#L3PJ, Chen Jingrun (topic)
History
- 2026-11-02: add by m2/dev
Finite-block Gram sufficiency CKH8NCV8YQ
| URI | m2://inv/CKH8NCV8YQ |
|---|---|
| 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.36143#VEIA, Finite-block Gram sufficiency (statement). In 6T2TWKQMJ8/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Bayes' theorem CKHAGA44ZJ
| URI | m2://inv/CKHAGA44ZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normalizing constant#XP7F, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
CKHBCWWH33 CKHBCWWH33
| URI | m2://inv/CKHBCWWH33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#HPYJ (statement). In 9XMZTTSF5E/e1, theorem 6.6
History
- 2026-10-30: add by m2/v0.4.12
CKHBV5AXV3 CKHBV5AXV3
| URI | m2://inv/CKHBV5AXV3 |
|---|---|
| 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.02993#8KNW (statement). In TJH58FRGEN/e1, proposition 8.11
History
- 2026-10-29: add by m2/v0.4.12
CKHD6DP5FW CKHD6DP5FW
| URI | m2://inv/CKHD6DP5FW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#1PBZ (example). In WD2NCBV9F0/e1, example 13.2
History
- 2026-10-27: add by m2/v0.3.5
Antipodes CKHMCPT22N
| URI | m2://inv/CKHMCPT22N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antipodes (sculpture), Antipodes (definition). Also Wikidata Q4775116
History
- 2026-11-02: add by m2/dev
LibreOffice Math CKJ9CNYQ5W
| URI | m2://inv/CKJ9CNYQ5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Z4WM, LibreOffice Math (unknown)
History
- 2026-11-02: add by m2/dev
Zoltán Pál Dienes CKJHPYN5X9
| URI | m2://inv/CKJHPYN5X9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zoltán Pál Dienes, Zoltán Pál Dienes (topic). Also Wikidata Q3108724
History
- 2026-11-02: add by m2/dev
CKJRD69VH8 CKJRD69VH8
| URI | m2://inv/CKJRD69VH8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 37-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.31883#WL8G (example). In XBHQRTBH62/e1, example 1.17
History
- 2026-10-31: add by m2/v0.5.6
Talagrand's concentration inequality CKKPA0E6CA
| URI | m2://inv/CKKPA0E6CA |
|---|---|
| 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.34471#7CHV, Talagrand's concentration inequality (statement). In BQ6MCMHCJK/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition CKKYT2EF70
| URI | m2://inv/CKKYT2EF70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford group#RNTF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Budapest Semesters in Mathematics CKKZS99GVT
| URI | m2://inv/CKKZS99GVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Budapest Semesters in Mathematics, Budapest Semesters in Mathematics (definition). Also Wikidata Q850996
History
- 2026-11-02: add by m2/dev
Kanti Mardia CKM27PF88G
| URI | m2://inv/CKM27PF88G |
|---|---|
| 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#6OO5, Kanti Mardia (unknown)
History
- 2026-11-02: add by m2/dev
CKMC0G9SAH CKMC0G9SAH
| URI | m2://inv/CKMC0G9SAH |
|---|---|
| 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.03837#JRKT (statement). In TX88QS0A8M/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Empirical Bernstein inequality for a single mean CKMCR83F2E
| URI | m2://inv/CKMCR83F2E |
|---|---|
| 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.19207#GJX4, Empirical Bernstein inequality for a single mean (statement). In BH3R0BA3PC/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Motion parallax CKMEV2SWYS
| URI | m2://inv/CKMEV2SWYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallax#1LQI, Motion parallax (unknown)
History
- 2026-11-02: add by m2/dev
CKNBJNYMWV CKNBJNYMWV
| URI | m2://inv/CKNBJNYMWV |
|---|---|
| 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.17325#AOJ5 (statement). In SE16BAED46/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
CKNNMWA2D0 CKNNMWA2D0
| URI | m2://inv/CKNNMWA2D0 |
|---|---|
| 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 2507.05417#V8NU (statement). In RGHZ863Q26/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Compactness CKNQ2BEAW5
| URI | m2://inv/CKNQ2BEAW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26509#L3WF, Compactness (statement)
History
- 2026-11-01: add by m2/v0.6.15
CKNSBXTBT9 CKNSBXTBT9
| URI | m2://inv/CKNSBXTBT9 |
|---|---|
| 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 2103.02468#JZ1U (statement). In Q7C6G66CWM/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.5
cofiber CKP0STRBB9
| URI | m2://inv/CKP0STRBB9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/cofiber, cofiber (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
antipedal triangle CKP779SXB4
| URI | m2://inv/CKP779SXB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13429884, antipedal triangle (unknown). Also MathWorld AntipedalTriangle
History
- 2026-10-26: add by m2/dev
Transverse rigidity CKPETT3F3G
| URI | m2://inv/CKPETT3F3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#39BG, Transverse rigidity (statement). In Z0SAF18JPP/e1, lemma 11.1
History
- 2026-10-28: add by m2/v0.4.2
List of mathematical shapes CKPGJMCT0D
| URI | m2://inv/CKPGJMCT0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#K9CT, List of mathematical shapes (topic)
- wikipedia: Wikipedia Lists of shapes#ZFYS, List of mathematical shapes (topic)
- wikipedia: Wikipedia Lists of mathematics topics#PLS2, List of mathematical shapes (topic)
History
- 2026-11-02: add by m2/dev
CKPQ6NHJGT CKPQ6NHJGT
| URI | m2://inv/CKPQ6NHJGT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-3-prod-quot.xml#example-3 (example). In 907G4C4EJ1, example, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
CKPRGYAAYP CKPRGYAAYP
| URI | m2://inv/CKPRGYAAYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#prop:openassum (statement). In PKGMM3P5QY, prop, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
Clifford-Lipschitz group CKPSK5SG8G
| URI | m2://inv/CKPSK5SG8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford algebra#KICD, Clifford-Lipschitz group (unknown)
History
- 2026-11-02: add by m2/dev
Jacques Feldbau CKPV67E84E
| URI | m2://inv/CKPV67E84E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SVHA, Jacques Feldbau (topic)
History
- 2026-11-02: add by m2/dev
CKPVT35Z7Y CKPVT35Z7Y
| URI | m2://inv/CKPVT35Z7Y |
|---|---|
| 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.07162#R2FN (statement). In MQEB9ZHQAT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Global chart CKPXRYP336
| URI | m2://inv/CKPXRYP336 |
|---|---|
| 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.06653#TV62, Global chart (statement). In 9D2N76AJAT/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
CKQ6P7PWF5 CKQ6P7PWF5
| URI | m2://inv/CKQ6P7PWF5 |
|---|---|
| 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.14509#MYWG (statement). In N6GD8392QB/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Subbasis CKQA2M8FY8
| URI | m2://inv/CKQA2M8FY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#204Q, Subbasis (definition)
History
- 2026-11-02: add by m2/dev
Key checksum value CKQAP1F4VN
| URI | m2://inv/CKQAP1F4VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key checksum value, Key checksum value (definition). Also Wikidata Q18387944
History
- 2026-11-02: add by m2/dev
Definition CKQAPGJXX2
| URI | m2://inv/CKQAPGJXX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson algebra#F223, Definition (definition)
History
- 2026-11-02: add by m2/dev
CKQBRD67TN CKQBRD67TN
| URI | m2://inv/CKQBRD67TN |
|---|---|
| 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.32981#J9P8 (definition). In AXDF7YN2RW/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
CKQD9NXAHA CKQD9NXAHA
| URI | m2://inv/CKQD9NXAHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00386#K1IB (statement). In 7EDY2549HF/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Algorithm CKQE2KH22R
| URI | m2://inv/CKQE2KH22R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CMA-ES#VBVX, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Symmetry CKQM7QY7RR
| URI | m2://inv/CKQM7QY7RR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrakis square tiling#UWRT, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
CKQPZE351P CKQPZE351P
| URI | m2://inv/CKQPZE351P |
|---|---|
| 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.40023#91A8 (statement). In JW9ARS9AQE/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
CKQRYPJWHQ CKQRYPJWHQ
| URI | m2://inv/CKQRYPJWHQ |
|---|---|
| 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 2609.24323#E3PU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Related results CKQWE5C2SW
| URI | m2://inv/CKQWE5C2SW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fáry's theorem#HCWI, Related results (statement)
History
- 2026-11-02: add by m2/dev
Proof CKQZM3J31H
| URI | m2://inv/CKQZM3J31H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof (play), Proof (definition). Also Wikidata Q3211925
History
- 2026-11-02: add by m2/dev
CKRCX2KXME CKRCX2KXME
| URI | m2://inv/CKRCX2KXME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37973#3QPL (statement). In 7276BGZRMP/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Kawahara equation CKREA5C69D
| URI | m2://inv/CKREA5C69D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kawahara equation, Kawahara equation (definition). Also Wikidata Q15915102
History
- 2026-11-02: add by m2/dev
Rubik's Cube CKRQSQZGA0
| URI | m2://inv/CKRQSQZGA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#YYC0, Rubik's Cube (definition)
History
- 2026-11-02: add by m2/dev
Variable-load protected level CKRRDAZF5G
| URI | m2://inv/CKRRDAZF5G |
|---|---|
| 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.30315#YJ1I, Variable-load protected level (statement). In FXTCVHYW5S/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Definition CKRWGVAPZ3
| URI | m2://inv/CKRWGVAPZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associative algebra#41JU, Definition (definition)
History
- 2026-11-02: add by m2/dev
CKRWS40J6K CKRWS40J6K
| URI | m2://inv/CKRWS40J6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#Y7II (statement). In TXBXCPP0QH/e1, lemma 28
History
- 2026-10-29: add by m2/v0.4.10
Self-dual configuration CKRWZMEGSP
| URI | m2://inv/CKRWZMEGSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration (geometry)#DO6Z, Self-dual configuration (unknown)
History
- 2026-11-02: add by m2/dev
CKRZ2ZV5PS CKRZ2ZV5PS
| URI | m2://inv/CKRZ2ZV5PS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#HGTX (example). In H52QQS8WZA/e1, example 6.5
History
- 2026-10-27: add by m2/v0.3.5
Vilma Mesa CKS71YJ5YM
| URI | m2://inv/CKS71YJ5YM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vilma Mesa, Vilma Mesa (topic). Also Wikidata Q102304422
History
- 2026-11-02: add by m2/dev
CKS8ZDRZ3R CKS8ZDRZ3R
| URI | m2://inv/CKS8ZDRZ3R |
|---|---|
| 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#0VL2 (statement). In 43AGRMP7T3/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
simple CKS9NY1Y1E
| URI | m2://inv/CKS9NY1Y1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#VZYZ, simple (definition)
History
- 2026-11-02: add by m2/dev
CKSFTR7GXD CKSFTR7GXD
| URI | m2://inv/CKSFTR7GXD |
|---|---|
| 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#GHCC (statement). In 9YAE8FNQST/e1, proposition 24.2
History
- 2026-10-30: add by m2/v0.4.12
Matroid theory CKSRKRACQW
| URI | m2://inv/CKSRKRACQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#YID1, Matroid theory (definition)
History
- 2026-11-02: add by m2/dev
Heine CKT03XPRQ9
| URI | m2://inv/CKT03XPRQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#MR3I, Heine (definition)
History
- 2026-11-02: add by m2/dev
InvERF CKT0KGG032
| URI | m2://inv/CKT0KGG032 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error function#WLXW, InvERF (unknown)
History
- 2026-11-02: add by m2/dev
Applications CKT4V2MW4P
| URI | m2://inv/CKT4V2MW4P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revealed preference#926K, Applications (example)
History
- 2026-11-02: add by m2/dev
Gender differences and inequality CKTK429XBY
| URI | m2://inv/CKTK429XBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marital surplus#S5AD, Gender differences and inequality (statement)
History
- 2026-11-02: add by m2/dev
Gekko CKV13PE44S
| URI | m2://inv/CKV13PE44S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gekko (optimization software), Gekko (definition). Also Wikidata Q55612400
History
- 2026-11-02: add by m2/dev
Variants CKVBD0CC0N
| URI | m2://inv/CKVBD0CC0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistency criterion#Z869, Variants (statement)
History
- 2026-11-02: add by m2/dev
CKVCND9J78 CKVCND9J78
| URI | m2://inv/CKVCND9J78 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10813#H24X (definition). In G8F4P7GDMA/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
third-degree polynomial CKVDMAB8AC
| URI | m2://inv/CKVDMAB8AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#YY7O, third-degree polynomial (definition)
History
- 2026-11-02: add by m2/dev
Shrinkage CKVGC2XB2A
| URI | m2://inv/CKVGC2XB2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shrinkage (statistics), Shrinkage (definition). Also Wikidata Q7504144
History
- 2026-11-02: add by m2/dev
Ida Craven Merriam CKVMRRNGF8
| URI | m2://inv/CKVMRRNGF8 |
|---|---|
| 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#UPKR, Ida Craven Merriam (topic)
History
- 2026-11-02: add by m2/dev
Neural Networks CKVNAMANA4
| URI | m2://inv/CKVNAMANA4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#MO1W, Neural Networks (unknown)
History
- 2026-11-02: add by m2/dev
CKVVKRT063 CKVVKRT063
| URI | m2://inv/CKVVKRT063 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#WMRY (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
quadratic transformation CKVWB878SV
| URI | m2://inv/CKVWB878SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#9JFX, quadratic transformation (definition)
History
- 2026-11-02: add by m2/dev
Rational numbers CKVXEMA5HN
| URI | m2://inv/CKVXEMA5HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#2T3U, Rational numbers (definition)
History
- 2026-11-02: add by m2/dev
CKVZF50ZY0 CKVZF50ZY0
| URI | m2://inv/CKVZF50ZY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#BWP8 (statement). In TC5QA4AB4Z/e1, theorem 4.26
History
- 2026-10-30: add by m2/v0.4.12
CKW0KYWDP4 CKW0KYWDP4
| URI | m2://inv/CKW0KYWDP4 |
|---|---|
| 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.04466#3A0W (statement). In EHW82CK883/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.12
Theorem: (Wigner 1939) CKWJWX46AJ
| URI | m2://inv/CKWJWX46AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#WV11, Theorem: (Wigner 1939) (statement)
History
- 2026-11-02: add by m2/dev
Philosophical consequences of Gödel's completeness theorem CKWNTQXYY5
| URI | m2://inv/CKWNTQXYY5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of mathematics#V8IL, Philosophical consequences of Gödel's completeness theorem (statement)
History
- 2026-11-02: add by m2/dev
Wigner–Weyl transform CKWR400777
| URI | m2://inv/CKWR400777 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner–Weyl transform, Wigner–Weyl transform (definition). Also Wikidata Q1431119
History
- 2026-11-02: add by m2/dev
Stability in the order parameter CKWVT0G7E8
| URI | m2://inv/CKWVT0G7E8 |
|---|---|
| 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.06490#9P7G, Stability in the order parameter (statement). In NKXTXH59P1/e1, lemma D.6
History
- 2026-10-29: add by m2/v0.4.10
Abraham Ziv CKWYWVGAW6
| URI | m2://inv/CKWYWVGAW6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CU82, Abraham Ziv (topic)
History
- 2026-11-02: add by m2/dev
CKWZA4M389 CKWZA4M389
| URI | m2://inv/CKWZA4M389 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#2JR1 (statement). In B5GGGWNJA6/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
Positive families of asymptotically optimal reference laws CKXBNE78AC
| URI | m2://inv/CKXBNE78AC |
|---|---|
| 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#17Z4, Positive families of asymptotically optimal reference laws (statement). In 9YAE8FNQST/e1, theorem 23.16
History
- 2026-10-30: add by m2/v0.4.12
CKXCMFN2G8 CKXCMFN2G8
| URI | m2://inv/CKXCMFN2G8 |
|---|---|
| Kind | definition |
| 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.11886#1FL7 (definition). In T0APQY74CA/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
Construction CKXDE6M3JT
| URI | m2://inv/CKXDE6M3JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated pentagonal rotunda#35UQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
CKXDEKV1QQ CKXDEKV1QQ
| URI | m2://inv/CKXDEKV1QQ |
|---|---|
| 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.33015#H2OB (statement). In W6Y6NPK648/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
CKXP7R3K05 CKXP7R3K05
| URI | m2://inv/CKXP7R3K05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#B3GX (statement)
History
- 2026-11-02: add by m2/v0.6.18
CKXR3K9XR9 CKXR3K9XR9
| URI | m2://inv/CKXR3K9XR9 |
|---|---|
| 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.13585#XEFL (statement). In VM1H86JNN7/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
CKXWTFWETY CKXWTFWETY
| URI | m2://inv/CKXWTFWETY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#CSSO (example). In 6V42A71SPC/e1, example 6
History
- 2026-10-29: add by m2/v0.4.10
Michael Hallett CKXX1JQTQH
| URI | m2://inv/CKXX1JQTQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Hallett, Michael Hallett (topic). Also Wikidata Q102166958
History
- 2026-11-02: add by m2/dev
*{Theorem 1.20 CKXZHBK113
| URI | m2://inv/CKXZHBK113 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#70IQ, *{Theorem 1.20 (statement). In F5XF5VXTXY/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
CKY2XRKCQ1 CKY2XRKCQ1
| URI | m2://inv/CKY2XRKCQ1 |
|---|---|
| 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.26576#E5TX (statement)
History
- 2026-11-01: add by m2/v0.6.15
CKY9J8ZW8Q CKY9J8ZW8Q
| URI | m2://inv/CKY9J8ZW8Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#TFQ1 (definition). In 3A4K47Y9F2/e1, definition 3.27
History
- 2026-10-27: add by m2/v0.4.0
torus CKYAHAD2MW
| URI | m2://inv/CKYAHAD2MW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/torus, torus (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
rook polynomial CKYPTQFYXZ
| URI | m2://inv/CKYPTQFYXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12594240, rook polynomial (unknown). Also MathWorld RookPolynomial
- wikipedia: Wikipedia Rook polynomial, Rook polynomial (definition). Also Wikidata Q12594240
History
- 2026-10-26: add by m2/dev
Beth CKYSNKPTKK
| URI | m2://inv/CKYSNKPTKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#33GV, Beth (definition)
History
- 2026-11-02: add by m2/dev
CKZ01HBRGM CKZ01HBRGM
| URI | m2://inv/CKZ01HBRGM |
|---|---|
| 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.35642#J1AD (statement). In D905BX98TP/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
CKZ802BNAD CKZ802BNAD
| URI | m2://inv/CKZ802BNAD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 1.1.4
History
- 2026-11-01: add by m2/v0.6.13
CKZHZ65EAM CKZHZ65EAM
| URI | m2://inv/CKZHZ65EAM |
|---|---|
| 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.17476#ETU0 (statement). In 6HXD74FA4S/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Global mean certificate and exact response CKZK4BCXD1
| URI | m2://inv/CKZK4BCXD1 |
|---|---|
| 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.03633#JDR6, Global mean certificate and exact response (statement). In X3E4D61X4V/e1, theorem C.2
History
- 2026-10-29: add by m2/v0.4.12
Georg Kreisel CKZT71VG14
| URI | m2://inv/CKZT71VG14 |
|---|---|
| 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#WO41, Georg Kreisel (topic)
History
- 2026-11-02: add by m2/dev
Abstraction in music CKZVJBCBSN
| URI | m2://inv/CKZVJBCBSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstraction#LBR4, Abstraction in music (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the theorem CKZWSM8PST
| URI | m2://inv/CKZWSM8PST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grushko theorem#EWBC, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev