Inventory rows 9C
The cards of the rows of the inventory whose ids start with 9C. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Move generation 9C00RW77NN
| URI | m2://inv/9C00RW77NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Move generation, Move generation (definition). Also Wikidata Q140133668
History
- 2026-11-02: add by m2/dev
9C064GE420 9C064GE420
| URI | m2://inv/9C064GE420 |
|---|---|
| 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.08567#FFCE (statement). In CMJE9V2BJ0/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Nicomachean Ethics 9C070MMP8R
| URI | m2://inv/9C070MMP8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#84T0, Nicomachean Ethics (unknown)
History
- 2026-11-02: add by m2/dev
9C0F0E5QNS 9C0F0E5QNS
| URI | m2://inv/9C0F0E5QNS |
|---|---|
| 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.31604#2N3G (definition). In GSN5YTQS2K/e1, definition 2.9
History
- 2026-10-31: add by m2/v0.5.6
9C0MR0VZDD 9C0MR0VZDD
| URI | m2://inv/9C0MR0VZDD |
|---|---|
| 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.19249#6Q27 (statement). In 2X586J6KQ1/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
9C0MZS9RAR 9C0MZS9RAR
| URI | m2://inv/9C0MZS9RAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 1008.4254#3OJJ (statement). In SXTX59QBVT/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
9C0R776MZP 9C0R776MZP
| URI | m2://inv/9C0R776MZP |
|---|---|
| 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.02743#E7B6 (statement). In GQH4ZPDWET/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.12
Properties 9C0XQ6RX3W
| URI | m2://inv/9C0XQ6RX3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivision bifiltration#HEHN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Star bundle 9C12ARCCCP
| URI | m2://inv/9C12ARCCCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38126#9JGG, Star bundle (definition). In QNVKW32G02/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
9C14BRMD2M 9C14BRMD2M
| URI | m2://inv/9C14BRMD2M |
|---|---|
| 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.10093#TR4N (statement). In NJDN112PFS/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Examples 9C18RJ63CE
| URI | m2://inv/9C18RJ63CE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric tomography#3OQI, Examples (example)
History
- 2026-11-02: add by m2/dev
Algorithms 9C1ETR5PNT
| URI | m2://inv/9C1ETR5PNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kissing number#W5F7, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Julia 9C1H9JYQS4
| URI | m2://inv/9C1H9JYQS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#X26K, Julia (unknown)
History
- 2026-11-02: add by m2/dev
Definition 9C1JJTQJAT
| URI | m2://inv/9C1JJTQJAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization algebra#1OFV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 9C1NAK8X0Q
| URI | m2://inv/9C1NAK8X0Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knödel number#LUXE, Examples (example)
History
- 2026-11-02: add by m2/dev
truncation, propositional 9C1PAXRX9S
| URI | m2://inv/9C1PAXRX9S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/truncation-propositional, truncation, propositional (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
9C1Y4D5R43 9C1Y4D5R43
| URI | m2://inv/9C1Y4D5R43 |
|---|---|
| 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.25703#IZG4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 9C20CBYTMV
| URI | m2://inv/9C20CBYTMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 manifold#CM3Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
9C23A5NFEC 9C23A5NFEC
| URI | m2://inv/9C23A5NFEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#XGFK (statement). In X47RYAZF8P/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Illusion of learning 9C2BR9SYTK
| URI | m2://inv/9C2BR9SYTK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#WWOF, Illusion of learning (unknown)
History
- 2026-11-02: add by m2/dev
Tangent cone 9C2H5BV72P
| URI | m2://inv/9C2H5BV72P |
|---|---|
| Kind | definition |
| 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#CS6E, Tangent cone (definition). In B5GGGWNJA6/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.3
9C2MSNGEWT 9C2MSNGEWT
| URI | m2://inv/9C2MSNGEWT |
|---|---|
| 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.33360#IAT3 (statement). In GH6FSDK4YB/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Heston model 9C2NTTW9R7
| URI | m2://inv/9C2NTTW9R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1AWF, Heston model (definition)
History
- 2026-11-02: add by m2/dev
Proper proximality 9C2Q1T3AW2
| URI | m2://inv/9C2Q1T3AW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#43LS, Proper proximality (statement). In MZ60NP20BH/e1, corollary 4.16
History
- 2026-10-27: add by m2/v0.4.0
Benno Moiseiwitsch 9C2YRM7NV1
| URI | m2://inv/9C2YRM7NV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#G1OV, Benno Moiseiwitsch (unknown)
History
- 2026-11-02: add by m2/dev
Rankin–Cohen bracket 9C33ZJFQCV
| URI | m2://inv/9C33ZJFQCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rankin–Cohen bracket, Rankin–Cohen bracket (definition). Also Wikidata Q17099712
History
- 2026-11-02: add by m2/dev
Applications 9C3685DQRZ
| URI | m2://inv/9C3685DQRZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative independence#TQ8M, Applications (example)
History
- 2026-11-02: add by m2/dev
Encyclopedia of Mathematics 9C380HXBRC
| URI | m2://inv/9C380HXBRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encyclopedia of Mathematics, Encyclopedia of Mathematics (definition). Also Wikidata Q1340196
History
- 2026-11-02: add by m2/dev
Applications 9C38FCAPC8
| URI | m2://inv/9C38FCAPC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrogram#RIOO, Applications (example)
History
- 2026-11-02: add by m2/dev
9C3CNVTPTA 9C3CNVTPTA
| URI | m2://inv/9C3CNVTPTA |
|---|---|
| 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.16704#70V3 (statement). In Q7CWPC7PXY/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Matching 9C3CXF8JAG
| URI | m2://inv/9C3CXF8JAG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#VBCQ, Matching (definition). In B6PCH930FV/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.10
Burton Rodin 9C3G2QMPFM
| URI | m2://inv/9C3G2QMPFM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WE6H, Burton Rodin (topic)
History
- 2026-11-02: add by m2/dev
discrete 9C3Q8Q9D1X
| URI | m2://inv/9C3Q8Q9D1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#YV3N, discrete (definition)
History
- 2026-11-02: add by m2/dev
bipartite tent 9C3WF91E7V
| URI | m2://inv/9C3WF91E7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136326532, bipartite tent (unknown). Also House of Graphs 35668
History
- 2026-10-26: add by m2/dev
Gödel's incompleteness theorem 9C48WDJ2XA
| URI | m2://inv/9C48WDJ2XA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's second problem#PHUC, Gödel's incompleteness theorem (statement)
History
- 2026-11-02: add by m2/dev
9C51XH3HMB 9C51XH3HMB
| URI | m2://inv/9C51XH3HMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#86FE (statement). In 160PQ7F1AS/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.12
The Garcia--Stichtenoth tower 9C53WP1RBP
| URI | m2://inv/9C53WP1RBP |
|---|---|
| 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.32834#GREK, The Garcia--Stichtenoth tower (statement). In N4M6B8EMCW/e1, theorem 2.13
History
- 2026-10-31: add by m2/v0.5.6
9C5FXREVF1 9C5FXREVF1
| URI | m2://inv/9C5FXREVF1 |
|---|---|
| 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.20225#I18I (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties 9C5QAHG08B
| URI | m2://inv/9C5QAHG08B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montel space#KM6E, Properties (statement)
History
- 2026-11-02: add by m2/dev
9C5QVEE1RE 9C5QVEE1RE
| URI | m2://inv/9C5QVEE1RE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#7WX4 (statement). In EAABRG99V8/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.4.0
Otto cycle 9C5QX1BDE6
| URI | m2://inv/9C5QX1BDE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto cycle, Otto cycle (definition). Also Wikidata Q201762
History
- 2026-11-02: add by m2/dev
Decision tree 9C5R5ZVKHA
| URI | m2://inv/9C5R5ZVKHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree, Decision tree (definition). Also Wikidata Q831366
History
- 2026-11-02: add by m2/dev
Matrix representatives 9C5X2VPD6P
| URI | m2://inv/9C5X2VPD6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#K6VU, Matrix representatives (statement). In 25B3WHEKH2/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
9C5ZWRM0PJ 9C5ZWRM0PJ
| URI | m2://inv/9C5ZWRM0PJ |
|---|---|
| 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 2502.09442#XJDQ (statement). In DNT32YYDM4/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.0
Aharonov–Jones–Landau algorithm 9C602ZWSKT
| URI | m2://inv/9C602ZWSKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZGR6, Aharonov–Jones–Landau algorithm (unknown)
History
- 2026-11-02: add by m2/dev
One-block contraction of the joint process 9C659K6J0E
| URI | m2://inv/9C659K6J0E |
|---|---|
| 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.39144#E2OS, One-block contraction of the joint process (statement). In 814ZF5WMMF/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Donald A. Danielson 9C6QNAB6XK
| URI | m2://inv/9C6QNAB6XK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald A. Danielson, Donald A. Danielson (topic). Also Wikidata Q97976925
History
- 2026-11-02: add by m2/dev
9C6RF22XW4 9C6RF22XW4
| URI | m2://inv/9C6RF22XW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#AAO2 (statement). In A93R925Z24/e1, proposition 12.4
History
- 2026-10-30: add by m2/v0.4.12
∋ 9C6SG6T7NF
| URI | m2://inv/9C6SG6T7NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#NSDT, ∋ (definition)
History
- 2026-11-02: add by m2/dev
A degree-two vertex 9C74TJP72H
| URI | m2://inv/9C74TJP72H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#SKVF, A degree-two vertex (statement). In BBE69ZPVTF/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
9C78YZ8Y3W 9C78YZ8Y3W
| URI | m2://inv/9C78YZ8Y3W |
|---|---|
| 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.25282#LUBB (statement)
History
- 2026-11-01: add by m2/v0.6.15
9C7G3M3S35 9C7G3M3S35
| URI | m2://inv/9C7G3M3S35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.20522#8IWX (statement)
History
- 2026-11-02: add by m2/v0.6.18
9C7WCKX8WH 9C7WCKX8WH
| URI | m2://inv/9C7WCKX8WH |
|---|---|
| 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#8005 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
bounded interval 9C7WFMTQHQ
| URI | m2://inv/9C7WFMTQHQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.4/bounded-interval, bounded interval (concept). In E59CDZA4DP, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
9C7ZGTDP26 9C7ZGTDP26
| URI | m2://inv/9C7ZGTDP26 |
|---|---|
| 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.38493#WVY6 (statement). In WTA8VGP6B1/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
9C809ED179 9C809ED179
| URI | m2://inv/9C809ED179 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#Z6TR (example). In 9ZSNSJRJ5N/e1, example 47
History
- 2026-10-27: add by m2/v0.4.2
Closed graph theorem 9C83AJ1A5K
| URI | m2://inv/9C83AJ1A5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#LD1G, Closed graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Kac's Lemma 9C83QNVW96
| URI | m2://inv/9C83QNVW96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kac's lemma#K6B8, Kac's Lemma (statement)
History
- 2026-11-02: add by m2/dev
History of calculus 9C87MJ67W4
| URI | m2://inv/9C87MJ67W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#GP8X, History of calculus (definition)
History
- 2026-11-02: add by m2/dev
Uniform bound on the spatial gradient 9C8B37AD7B
| URI | m2://inv/9C8B37AD7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02106#8VQI, Uniform bound on the spatial gradient (statement). In NGKK8ZB29J/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
9C8DVHSDX2 9C8DVHSDX2
| URI | m2://inv/9C8DVHSDX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.00864#1CMZ (statement). In PRF0P3D637/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Examples 9C8KZASS26
| URI | m2://inv/9C8KZASS26 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parker vector#9VCT, Examples (example)
History
- 2026-11-02: add by m2/dev
9C8M6XSPVN 9C8M6XSPVN
| URI | m2://inv/9C8M6XSPVN |
|---|---|
| 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.24578#OUCH (statement)
History
- 2026-11-01: add by m2/v0.6.15
9C8VK3G98K 9C8VK3G98K
| URI | m2://inv/9C8VK3G98K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#prop-orthog-lincomb (statement). In 649HGZKE96, proposition, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
9C8YWE8W3V 9C8YWE8W3V
| URI | m2://inv/9C8YWE8W3V |
|---|---|
| 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 1902.04230#GPJS (example). In 22JZ68FGCW/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
countably infinite 9C8Z9425A0
| URI | m2://inv/9C8Z9425A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#XVD7, countably infinite (definition)
History
- 2026-11-02: add by m2/dev
Examples 9C911J6M3N
| URI | m2://inv/9C911J6M3N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor space#LLYL, Examples (example)
History
- 2026-11-02: add by m2/dev
Q-exponential distribution 9C96NTTX91
| URI | m2://inv/9C96NTTX91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-exponential distribution, Q-exponential distribution (definition). Also Wikidata Q7265302
History
- 2026-11-02: add by m2/dev
9C96PH173X 9C96PH173X
| URI | m2://inv/9C96PH173X |
|---|---|
| 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#CX0E (statement). In WPDRT63QNW/e1, theorem Theorem
History
- 2026-10-30: add by m2/v0.4.12
9C97D8437E 9C97D8437E
| URI | m2://inv/9C97D8437E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#ula-preview-6-2 (exercise). In 649HGZKE96, exploration, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Self-concordant function 9C991C6CQJ
| URI | m2://inv/9C991C6CQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-concordant function, Self-concordant function (definition). Also Wikidata Q4406886
History
- 2026-11-02: add by m2/dev
9C99SEC37X 9C99SEC37X
| URI | m2://inv/9C99SEC37X |
|---|---|
| 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.28808#RJ9C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermann Kinkelin 9C9D2D1B9K
| URI | m2://inv/9C9D2D1B9K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermann Kinkelin, Hermann Kinkelin (topic). Also Wikidata Q198530
History
- 2026-11-02: add by m2/dev
nondegenerate 9C9NAS9G52
| URI | m2://inv/9C9NAS9G52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#CVIN, nondegenerate (definition)
History
- 2026-11-02: add by m2/dev
9C9PK3CHH4 9C9PK3CHH4
| URI | m2://inv/9C9PK3CHH4 |
|---|---|
| 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.06755#2XWM (statement). In DKEX05SEXS/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Case E 9C9V5M4ZYK
| URI | m2://inv/9C9V5M4ZYK |
|---|---|
| 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.27136#1H5T, Case E (statement)
History
- 2026-11-01: add by m2/v0.6.15
9C9VRNSB1F 9C9VRNSB1F
| URI | m2://inv/9C9VRNSB1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2406.13841#U7WJ (statement). In AB2EMMXC7X/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Characterization of cobordism map for low index generators 9C9WS7QXCP
| URI | m2://inv/9C9WS7QXCP |
|---|---|
| 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.07530#0V2P, Characterization of cobordism map for low index generators (statement). In C7QZ0VPBC8/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Statement 9CA31XSF8T
| URI | m2://inv/9CA31XSF8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#O90W, Statement (statement)
History
- 2026-11-02: add by m2/dev
Properties 9CAFR3QQBF
| URI | m2://inv/9CAFR3QQBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submanifold#QK1V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 9CAHBEK082
| URI | m2://inv/9CAHBEK082 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's bound#ZOVR, Definition (definition)
History
- 2026-11-02: add by m2/dev
9CAKVDB05Q 9CAKVDB05Q
| URI | m2://inv/9CAKVDB05Q |
|---|---|
| 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 2504.00267#IDV3 (definition). In 38XJWDZ2PH/e1, definition 3.20
History
- 2026-10-27: add by m2/v0.3.5
Statistical disclosure control 9CAVVSWXRW
| URI | m2://inv/9CAVVSWXRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical disclosure control, Statistical disclosure control (definition). Also Wikidata Q25344708
History
- 2026-11-02: add by m2/dev
9CB0AGPJBK 9CB0AGPJBK
| URI | m2://inv/9CB0AGPJBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.03688#HS01 (statement). In HMWJQY9NAP/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
9CB2CFX0BJ 9CB2CFX0BJ
| URI | m2://inv/9CB2CFX0BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#H58O (statement). In 7CK21JGM5A/e1, corollary 5.15
History
- 2026-10-27: add by m2/v0.4.2
Caccioppoli inequality 9CB87PAM96
| URI | m2://inv/9CB87PAM96 |
|---|---|
| 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#2OUW, Caccioppoli inequality (statement). In HXFA55BREZ/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Arthur Komar 9CBD4FVHSD
| URI | m2://inv/9CBD4FVHSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#E3OI, Arthur Komar (unknown)
History
- 2026-11-02: add by m2/dev
Properties 9CBFWZZ6JV
| URI | m2://inv/9CBFWZZ6JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-score#40YV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Team production 9CBKQJYN14
| URI | m2://inv/9CBKQJYN14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal–agent problem#GXFW, Team production (unknown)
History
- 2026-11-02: add by m2/dev
convexity 9CBV5VD7CK
| URI | m2://inv/9CBV5VD7CK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q52927961, convexity (unknown). Also MathWorld Convex
History
- 2026-10-26: add by m2/dev
9CBWKH1K3X 9CBWKH1K3X
| URI | m2://inv/9CBWKH1K3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39517#1Z5A (statement). In TWP8T68ABF/e1, theorem 0.2.3
History
- 2026-10-30: add by m2/v0.4.12
9CC2600DEK 9CC2600DEK
| URI | m2://inv/9CC2600DEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#2V8Z (statement). In YBBKTP4E70/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Luca Mezincescu 9CC5ZDV0AE
| URI | m2://inv/9CC5ZDV0AE |
|---|---|
| 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 Q95763374, Luca Mezincescu (unknown). Also nLab Luca Mezincescu
History
- 2026-10-26: add by m2/dev
Monotone class theorem 9CCN786C31
| URI | m2://inv/9CCN786C31 |
|---|---|
| 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.21098#U9SX, Monotone class theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Food web 9CCSFSDZC9
| URI | m2://inv/9CCSFSDZC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Food web, Food web (definition). Also Wikidata Q1775153
History
- 2026-11-02: add by m2/dev
9CD5QSZ2GS 9CD5QSZ2GS
| URI | m2://inv/9CD5QSZ2GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#8PRE (statement). In HGE2NCQW29/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Vladimir L. Popov 9CD9F3WZH3
| URI | m2://inv/9CD9F3WZH3 |
|---|---|
| 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#V5AB, Vladimir L. Popov (topic)
History
- 2026-11-02: add by m2/dev
Definitions 9CDAZZPVQ9
| URI | m2://inv/9CDAZZPVQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antichain#AEB5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
9CDJR92WD2 9CDJR92WD2
| URI | m2://inv/9CDJR92WD2 |
|---|---|
| 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.12983#2M30 (definition). In M6TFZ6E060/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Implementations 9CDP4PP1Y9
| URI | m2://inv/9CDP4PP1Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LAPACK#R0K5, Implementations (definition)
History
- 2026-11-02: add by m2/dev
9CDQ9JXHE5 9CDQ9JXHE5
| URI | m2://inv/9CDQ9JXHE5 |
|---|---|
| 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.28336#34FQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nigel Boston 9CE0EDMWA4
| URI | m2://inv/9CE0EDMWA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HMXU, Nigel Boston (topic)
History
- 2026-11-02: add by m2/dev
Georgy Egorychev 9CE47P2AN5
| URI | m2://inv/9CE47P2AN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georgy Egorychev, Georgy Egorychev (topic). Also Wikidata Q50320099
History
- 2026-11-02: add by m2/dev
9CE77P03KH 9CE77P03KH
| URI | m2://inv/9CE77P03KH |
|---|---|
| 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.32680#XV6F (statement). In XVJGVCZA7V/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Salsburg, David 9CE9R4A8CM
| URI | m2://inv/9CE9R4A8CM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1K7S, Salsburg, David (topic)
History
- 2026-11-02: add by m2/dev
Definition 9CECC7AGA3
| URI | m2://inv/9CECC7AGA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact differential#IMK3, Definition (definition)
History
- 2026-11-02: add by m2/dev
FFT multiplication 9CECVQY20D
| URI | m2://inv/9CECVQY20D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#J1HI, FFT multiplication (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 9CEFKJWRFF
| URI | m2://inv/9CEFKJWRFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random matrix#AIVR, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
spherical wedge 9CEMWE0AX6
| URI | m2://inv/9CEMWE0AX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7576718, spherical wedge (unknown). Also MathWorld SphericalWedge
- wikipedia: Wikipedia Spherical wedge, Spherical wedge (definition). Also Wikidata Q7576718
History
- 2026-10-26: add by m2/dev
Dual BDRS is annealed Sinkhorn with momentum 9CEQ76SD1S
| URI | m2://inv/9CEQ76SD1S |
|---|---|
| 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.33814#ZBNF, Dual BDRS is annealed Sinkhorn with momentum (statement). In WG5RT5PRNB/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
polytopal graph 9CERPXYJP8
| URI | m2://inv/9CERPXYJP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135553266, polytopal graph (unknown). Also MathWorld PolytopalGraph
- wikipedia: Wikipedia Graph of a polytope, Graph of a polytope (definition). Also Wikidata Q135553266
History
- 2026-10-26: add by m2/dev
9CEV4W6ETR 9CEV4W6ETR
| URI | m2://inv/9CEV4W6ETR |
|---|---|
| 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 2504.21000#KYLP (statement). In BCVFS160MF/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.3.5
9CEVSC009T 9CEVSC009T
| URI | m2://inv/9CEVSC009T |
|---|---|
| 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.35460#AB1M (statement). In R515NECVME/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
9CEWS35DW4 9CEWS35DW4
| URI | m2://inv/9CEWS35DW4 |
|---|---|
| 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.02642#SANR (statement). In VMWV58VWKN/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.12
9CEX3TMGSX 9CEX3TMGSX
| URI | m2://inv/9CEX3TMGSX |
|---|---|
| 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.23597#LYL6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gauge theory 9CFEDK5P17
| URI | m2://inv/9CFEDK5P17 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge theory (mathematics), Gauge theory (topic). Also Wikidata Q97356881
History
- 2026-11-02: add by m2/dev
Statement of the Hitchin–Thorpe inequality 9CFFQFK1N4
| URI | m2://inv/9CFFQFK1N4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitchin–Thorpe inequality#PU00, Statement of the Hitchin–Thorpe inequality (statement)
History
- 2026-11-02: add by m2/dev
Louis J. Ignarro 9CFJTM0YXG
| URI | m2://inv/9CFJTM0YXG |
|---|---|
| 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#IO9V, Louis J. Ignarro (unknown)
History
- 2026-11-02: add by m2/dev
Theorems and Identities 9CFN287DXD
| URI | m2://inv/9CFN287DXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#X2R1, Theorems and Identities (statement)
History
- 2026-11-02: add by m2/dev
9CFT3D0ESP 9CFT3D0ESP
| URI | m2://inv/9CFT3D0ESP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#YWS5 (statement). In BQQK9JDJ9F/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
Example 9CFVD7KQ50
| URI | m2://inv/9CFVD7KQ50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relationships among probability distributions#VAUF, Example (example)
History
- 2026-11-02: add by m2/dev
Construction 9CG4VJ7V6Z
| URI | m2://inv/9CG4VJ7V6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel modular variety#YYJ4, Construction (definition)
History
- 2026-11-02: add by m2/dev
Robert F. Coleman 9CG9X4D63K
| URI | m2://inv/9CG9X4D63K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert F. Coleman, Robert F. Coleman (topic). Also Wikidata Q2157053
History
- 2026-11-02: add by m2/dev
directed \treewidth 9CGAYM67HG
| URI | m2://inv/9CGAYM67HG |
|---|---|
| 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.20391#FOBA, directed \treewidth (definition). In CTAS41TRM2/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.4.2
Examples 9CGF53WTXQ
| URI | m2://inv/9CGF53WTXQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of an integer#HEUJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Approximations and mean shifts 9CGHNX53W2
| URI | m2://inv/9CGHNX53W2 |
|---|---|
| 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.19356#ZXSM, Approximations and mean shifts (statement). In 2B5QA28NCX/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 9CGKC1MR4C
| URI | m2://inv/9CGKC1MR4C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Link (knot theory)#ED54, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Spectral clustering 9CGMTG3QRT
| URI | m2://inv/9CGMTG3QRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZC7Y, Spectral clustering (definition)
History
- 2026-11-02: add by m2/dev
Krasnoznamensk, Moscow Oblast 9CGQYE2990
| URI | m2://inv/9CGQYE2990 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LT8K, Krasnoznamensk, Moscow Oblast (unknown)
History
- 2026-11-02: add by m2/dev
Quantum Markov state model 9CGWM2FN15
| URI | m2://inv/9CGWM2FN15 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.40214#RWSQ, Quantum Markov state model (definition). In XD603HRHKC/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
9CH2N29DWR 9CH2N29DWR
| URI | m2://inv/9CH2N29DWR |
|---|---|
| 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 2303.11021#O9UP (statement). In B2ZK4DF2PM/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.0
Balanced models 9CH5AK84NM
| URI | m2://inv/9CH5AK84NM |
|---|---|
| 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.32710#34IF, Balanced models (definition). In KVYG6R7CGJ/e1, definition 7.1
History
- 2026-10-31: add by m2/v0.5.6
Pareto--Half-Cauchy equivalence 9CH5BC011N
| URI | m2://inv/9CH5BC011N |
|---|---|
| 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.29658#2OQQ, Pareto--Half-Cauchy equivalence (statement)
History
- 2026-11-01: add by m2/v0.6.15
9CH5QXBEBM 9CH5QXBEBM
| URI | m2://inv/9CH5QXBEBM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#PT5H (example). In FTEA0TM35J/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
9CHAHKXN63 9CHAHKXN63
| URI | m2://inv/9CHAHKXN63 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#cor-3 (statement). In N54F33XE07, cor, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Kummer theory 9CHE3TN13Z
| URI | m2://inv/9CHE3TN13Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kummer theory XZQENYV15Y |
Mentions
- wikidata: Wikidata Q1548483, Kummer theory (topic). Also nLab Kummer theory, ProofWiki Definition:Kummer_Theory
- wikipedia: Wikipedia Kummer theory, Kummer theory (topic). Also Wikidata Q1548483
History
- 2026-10-26: add by m2/dev
9CHEY3AVMS 9CHEY3AVMS
| URI | m2://inv/9CHEY3AVMS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Least squares 9CHV40YYG0
| URI | m2://inv/9CHV40YYG0 |
|---|---|
| Kind | example |
| 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.20798#MUDH, Least squares (example). In 947GFWDY7C/e1, example 1
History
- 2026-10-27: add by m2/v0.4.2
Peter Turner 9CHZ0ZMZ3K
| URI | m2://inv/9CHZ0ZMZ3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Turner (mathematician), Peter Turner (topic). Also Wikidata Q7177420
History
- 2026-11-02: add by m2/dev
Gaussian $2$-QW covariance reduction 9CJ66J8S9Y
| URI | m2://inv/9CJ66J8S9Y |
|---|---|
| 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.01855#60VK, Gaussian $2$-QW covariance reduction (statement). In MM8P5CJR18/e1, proposition 5.12
History
- 2026-10-29: add by m2/v0.4.12
9CJA5KRW25 9CJA5KRW25
| URI | m2://inv/9CJA5KRW25 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-13 (example). In E59CDZA4DP, example, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
9CJAVEGVJD 9CJAVEGVJD
| URI | m2://inv/9CJAVEGVJD |
|---|---|
| Kind | problem |
| 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.02933#W1OE (problem). In QSYZKPFRAN/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Gaussian ratio integral 9CJP32QS6B
| URI | m2://inv/9CJP32QS6B |
|---|---|
| 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.27200#QMT4, Gaussian ratio integral (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sequent 9CK3G3T18E
| URI | m2://inv/9CK3G3T18E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/introduction.tex#defn-1, Sequent (definition). In PKGMM3P5QY, defn, section 61.8
History
- 2026-11-01: add by m2/v0.6.13
Sue-Ellen Case 9CK4X9DVT9
| URI | m2://inv/9CK4X9DVT9 |
|---|---|
| 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#E6PL, Sue-Ellen Case (unknown)
History
- 2026-11-02: add by m2/dev
level 9CKH6T8BZA
| URI | m2://inv/9CKH6T8BZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#0TEE, level (definition)
History
- 2026-11-02: add by m2/dev
trinomial 9CKMDZJYQW
| URI | m2://inv/9CKMDZJYQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#V4Q3, trinomial (definition)
History
- 2026-11-02: add by m2/dev
Gödel's first incompleteness theorem 9CKPDD0MNZ
| URI | m2://inv/9CKPDD0MNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NCC9, Gödel's first incompleteness theorem (definition)
History
- 2026-11-02: add by m2/dev
9CKRF2ZQYG 9CKRF2ZQYG
| URI | m2://inv/9CKRF2ZQYG |
|---|---|
| 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 2407.08004#7A0S (definition). In TYS65EG479/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Nicholas Rescher 9CKRWT63RG
| URI | m2://inv/9CKRWT63RG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Rescher, Nicholas Rescher (topic). Also Wikidata Q216170
History
- 2026-11-02: add by m2/dev
9CKW74G6WD 9CKW74G6WD
| URI | m2://inv/9CKW74G6WD |
|---|---|
| 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 2501.15210#F41G (statement). In S4S8V2DYSA/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Hand–eye calibration problem 9CMD506RQF
| URI | m2://inv/9CMD506RQF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hand–eye calibration problem, Hand–eye calibration problem (problem). Also Wikidata Q85765600
History
- 2026-11-02: add by m2/dev
discrete valuation 9CME500VCE
| URI | m2://inv/9CME500VCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5282068, discrete valuation (unknown). Also nLab discrete valuation
History
- 2026-10-26: add by m2/dev
Sikhism and other religions 9CMG2T3D0R
| URI | m2://inv/9CMG2T3D0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious pluralism#RUZS, Sikhism and other religions (unknown)
History
- 2026-11-02: add by m2/dev
9CMNTFRJ1V 9CMNTFRJ1V
| URI | m2://inv/9CMNTFRJ1V |
|---|---|
| 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 0812.1600#QBA8 (definition). In 7Z12QX7837/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 9CMPM0V8B5
| URI | m2://inv/9CMPM0V8B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Liouville integral#M9BP, Definition (definition)
History
- 2026-11-02: add by m2/dev
{}^\beta\alpha 9CMWW7Z2C4
| URI | m2://inv/9CMWW7Z2C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1EO9, {}^\beta\alpha (definition)
History
- 2026-11-02: add by m2/dev
regression toward the mean 9CMY1ANNHC
| URI | m2://inv/9CMY1ANNHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1135405, regression toward the mean (unknown). Also MathWorld ReversiontotheMean
- wikipedia: Wikipedia Regression toward the mean, Regression toward the mean (definition). Also Wikidata Q1135405
History
- 2026-10-26: add by m2/dev
Statement 9CN6V0Y43K
| URI | m2://inv/9CN6V0Y43K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glivenko–Cantelli theorem#R8LN, Statement (statement)
History
- 2026-11-02: add by m2/dev
9CN7KS4FB3 9CN7KS4FB3
| URI | m2://inv/9CN7KS4FB3 |
|---|---|
| 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.16563#KD6Z (statement). In V51HCA9ZAA/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Applying electrical laws 9CNHYADWJ4
| URI | m2://inv/9CNHYADWJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrical network#P18S, Applying electrical laws (statement)
History
- 2026-11-02: add by m2/dev
9CNRPFJXKT 9CNRPFJXKT
| URI | m2://inv/9CNRPFJXKT |
|---|---|
| Kind | definition |
| 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 2311.16205#84N9 (definition). In 3GE9PS9AH0/e1, definition 1.1.1
History
- 2026-10-27: add by m2/v0.3.5
9CNTYXPRW5 9CNTYXPRW5
| URI | m2://inv/9CNTYXPRW5 |
|---|---|
| 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.28674#UHFV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 9CNXC37ZZK
| URI | m2://inv/9CNXC37ZZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tubular neighborhood#ZW1I, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
9CP37P4FHM 9CP37P4FHM
| URI | m2://inv/9CP37P4FHM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Construction 9CP6SY19R2
| URI | m2://inv/9CP6SY19R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratrix of Hippias#SV07, Construction (definition)
History
- 2026-11-02: add by m2/dev
9CP8ME2JX5 9CP8ME2JX5
| URI | m2://inv/9CP8ME2JX5 |
|---|---|
| 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.14839#3YZT (statement). In CYB41667NA/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
9CPBKV6N5X 9CPBKV6N5X
| URI | m2://inv/9CPBKV6N5X |
|---|---|
| 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#GJQ1 (statement). In CSW6NG0FRN/e1, proposition 4.16
History
- 2026-10-28: add by m2/v0.4.2
9CPEPBE538 9CPEPBE538
| URI | m2://inv/9CPEPBE538 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#BVJ3 (problem). In ZAM4S2XS9F/e1, problem C.5
History
- 2026-10-30: add by m2/v0.4.12
Frobenius group 9CPGAS0TSB
| URI | m2://inv/9CPGAS0TSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#EZFM, Frobenius group (definition)
- wikipedia: Wikipedia List of permutation topics#DRDV, Frobenius group (definition)
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#AYJF, Frobenius group (definition)
History
- 2026-11-02: add by m2/dev
9CPHV749Q6 9CPHV749Q6
| URI | m2://inv/9CPHV749Q6 |
|---|---|
| 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 2304.02722#31XC (statement). In AH7D55D3WV/e1, corollary 19.4
History
- 2026-10-27: add by m2/v0.3.5
9CPTG7NF7B 9CPTG7NF7B
| URI | m2://inv/9CPTG7NF7B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:orders (example). In N54F33XE07, eg, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Primal--Dual Gap 9CQ5HFNGQJ
| URI | m2://inv/9CQ5HFNGQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20316#54NR, Primal--Dual Gap (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gustav Fechner 9CQ973251E
| URI | m2://inv/9CQ973251E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav Fechner, Gustav Fechner (topic). Also Wikidata Q76881
History
- 2026-11-02: add by m2/dev
Marta Civil 9CQAS487EZ
| URI | m2://inv/9CQAS487EZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marta Civil, Marta Civil (topic). Also Wikidata Q66716312
History
- 2026-11-02: add by m2/dev
Abelian group 9CQCMQ48GP
| URI | m2://inv/9CQCMQ48GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#Y04V, Abelian group (definition)
- wikipedia: Wikipedia List of abstract algebra topics#33Q6, Abelian group (definition)
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#2PSV, Abelian group (definition)
History
- 2026-11-02: add by m2/dev
9CQMYFAXQK 9CQMYFAXQK
| URI | m2://inv/9CQMYFAXQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#IH0X (statement)
History
- 2026-11-01: add by m2/v0.6.15
GNRS conjecture 9CQS2FGKEQ
| URI | m2://inv/9CQS2FGKEQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNRS conjecture, GNRS conjecture (conjecture). Also Wikidata Q60792994
History
- 2026-11-02: add by m2/dev
9CQYE89P7V 9CQYE89P7V
| URI | m2://inv/9CQYE89P7V |
|---|---|
| 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.20345#47SQ (statement). In WVRRST04WS/e1, lemma 12
History
- 2026-10-27: add by m2/v0.4.2
De Polignac number 9CR0YBDMMJ
| URI | m2://inv/9CR0YBDMMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesel number#OCB6, De Polignac number (unknown)
History
- 2026-11-02: add by m2/dev
Multiplication by $x_0+ix_1$ on $\mathbb P^2_\R$ 9CR2G2XHX5
| URI | m2://inv/9CR2G2XHX5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-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 2610.15887#C1RN, Multiplication by $x_0+ix_1$ on $\mathbb P^2_\R$ (example). In 87QYNZZ67Z/e1, example 11.1
History
- 2026-10-28: add by m2/v0.4.2
Andreas Winter 9CR8B8W743
| URI | m2://inv/9CR8B8W743 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FI1Z, Andreas Winter (unknown)
History
- 2026-11-02: add by m2/dev
S-object 9CR8E4F1G9
| URI | m2://inv/9CR8E4F1G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-object, S-object (definition). Also Wikidata Q60767281
History
- 2026-11-02: add by m2/dev
Zamfirescu graph 9CRGHXVW70
| URI | m2://inv/9CRGHXVW70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118372027, Zamfirescu graph (unknown). Also MathWorld ZamfirescuGraphs
History
- 2026-10-26: add by m2/dev
Equivariant Fourier decomposition 9CRGRFZ96D
| URI | m2://inv/9CRGRFZ96D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#TLHI, Equivariant Fourier decomposition (statement). In YWXVX6AX8F/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
9CRMSY5T6W 9CRMSY5T6W
| URI | m2://inv/9CRMSY5T6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.25761#W32B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rufus Bowen 9CRR03HXVZ
| URI | m2://inv/9CRR03HXVZ |
|---|---|
| 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#ML91, Rufus Bowen (topic)
History
- 2026-11-02: add by m2/dev
Alexander Grothendieck 9CRR4ZHPDZ
| URI | m2://inv/9CRR4ZHPDZ |
|---|---|
| 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#R11S, Alexander Grothendieck (topic)
History
- 2026-11-02: add by m2/dev
Autoassociative self-supervised learning 9CRRFNZM3D
| URI | m2://inv/9CRRFNZM3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-supervised learning#88BE, Autoassociative self-supervised learning (unknown)
History
- 2026-11-02: add by m2/dev
great rhombidodecacron 9CRSCBRKTW
| URI | m2://inv/9CRSCBRKTW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600384, great rhombidodecacron (unknown). Also MathWorld GreatRhombidodecacron
- wikipedia: Wikipedia Great rhombidodecacron, Great rhombidodecacron (object). Also Wikidata Q5600384
History
- 2026-10-26: add by m2/dev
9CRTZEQ9YN 9CRTZEQ9YN
| URI | m2://inv/9CRTZEQ9YN |
|---|---|
| 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.16235#FF3A (statement). In RNGNWGMX85/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
Fully polynomial-time approximation scheme 9CS7WYN93Q
| URI | m2://inv/9CS7WYN93Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fully polynomial-time approximation scheme, Fully polynomial-time approximation scheme (definition). Also Wikidata Q110130630
History
- 2026-11-02: add by m2/dev
9CSCGGQW7S 9CSCGGQW7S
| URI | m2://inv/9CSCGGQW7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#FG6A (statement). In F3BKXXPR3K/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
9CSFK7Q4Y2 9CSFK7Q4Y2
| URI | m2://inv/9CSFK7Q4Y2 |
|---|---|
| Kind | definition |
| 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.31365#BL1T (definition). In 19GENJ3NCP/e1, definition 4.3
History
- 2026-10-31: add by m2/v0.5.6
The canonical form on modular lattices 9CSFKGF86Q
| URI | m2://inv/9CSFKGF86Q |
|---|---|
| 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#QBQG, The canonical form on modular lattices (statement). In TC5QA4AB4Z/e1, lemma 3.15
History
- 2026-10-30: add by m2/v0.4.12
9CSFMZH3HF 9CSFMZH3HF
| URI | m2://inv/9CSFMZH3HF |
|---|---|
| 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#6Z2X (statement). In 3Z0D2NCJ0B/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
9CSK2M8QE1 9CSK2M8QE1
| URI | m2://inv/9CSK2M8QE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35180#NEVB (statement). In ZA34B1CR9M/e1, lemma 3.12
History
- 2026-10-30: add by m2/v0.4.12
Mostow's rigidity theorem 9CSNECV8XR
| URI | m2://inv/9CSNECV8XR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#I83F, Mostow's rigidity theorem (statement)
History
- 2026-11-02: add by m2/dev
topos 9CSPHGP92C
| URI | m2://inv/9CSPHGP92C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/topos, topos (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Symmetries 9CSTKR2VQ8
| URI | m2://inv/9CSTKR2VQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probit#60H2, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Joseph Halpern 9CSX6Y85YP
| URI | m2://inv/9CSX6Y85YP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#VZXE, Joseph Halpern (unknown)
History
- 2026-11-02: add by m2/dev
movable singularity 9CT4JJ9X9H
| URI | m2://inv/9CT4JJ9X9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4367122, movable singularity (unknown). Also nLab movable singularity
- wikipedia: Wikipedia Movable singularity, Movable singularity (definition). Also Wikidata Q4367122
History
- 2026-10-26: add by m2/dev
9CT4SERCCK 9CT4SERCCK
| URI | m2://inv/9CT4SERCCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.33590#2KRT (definition). In WRE0P7V6Z3/e1, definition 9.6
History
- 2026-10-30: add by m2/v0.4.12
The 3SUM conjecture 9CT6S4MFC0
| URI | m2://inv/9CT6S4MFC0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational hardness assumption#A2KF, The 3SUM conjecture (statement)
History
- 2026-11-02: add by m2/dev
Results 9CT7GA8TGG
| URI | m2://inv/9CT7GA8TGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theories of iterated inductive definitions#A3Z5, Results (statement)
History
- 2026-11-02: add by m2/dev
Lie triple system 9CT8CKGXMK
| URI | m2://inv/9CT8CKGXMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple system#JKBD, Lie triple system (unknown)
History
- 2026-11-02: add by m2/dev
9CTCGZAE6K 9CTCGZAE6K
| URI | m2://inv/9CTCGZAE6K |
|---|---|
| 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#8PU4 (statement). In 9XMZTTSF5E/e1, proposition B.8
History
- 2026-10-30: add by m2/v0.4.12
COMSOL Multiphysics 9CTKBBSM58
| URI | m2://inv/9CTKBBSM58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#RTOG, COMSOL Multiphysics (unknown)
History
- 2026-11-02: add by m2/dev
9CTN0JXQ3E 9CTN0JXQ3E
| URI | m2://inv/9CTN0JXQ3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#R1BH (statement). In 5KR3MHYVV6/e1, proposition 4.0
History
- 2026-10-28: add by m2/v0.4.2
9CTPRCH8JA 9CTPRCH8JA
| URI | m2://inv/9CTPRCH8JA |
|---|---|
| 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 2401.14162#IF0S (statement). In JC1XF1JE6J/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
9CTTESWQBR 9CTTESWQBR
| URI | m2://inv/9CTTESWQBR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#APHV (definition). In 8Z47D12KSX/e1, definition 4.10
History
- 2026-10-29: add by m2/v0.4.10
Bernstein polynomial 9CTWKN06AV
| URI | m2://inv/9CTWKN06AV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#JTEK, Bernstein polynomial (definition)
- wikipedia: Wikipedia List of polynomial topics#L4M4, Bernstein polynomial (definition)
History
- 2026-11-02: add by m2/dev
9CV76302DS 9CV76302DS
| URI | m2://inv/9CV76302DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39389#QE7N (statement). In PP5RE0W4D8/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
9CV9Y1D0QV 9CV9Y1D0QV
| URI | m2://inv/9CV9Y1D0QV |
|---|---|
| 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#PSD7 (statement). In CHVWYJM7RM/e1, lemma 4.15
History
- 2026-10-29: add by m2/v0.4.10
9CVCWPAKZA 9CVCWPAKZA
| URI | m2://inv/9CVCWPAKZA |
|---|---|
| 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.28489#0PMY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hellinger–Toeplitz theorem 9CVDCG7ZED
| URI | m2://inv/9CVDCG7ZED |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1472120, Hellinger–Toeplitz theorem (statement). Also Mathlib LinearMap.IsSymmetric.continuous, Wikidata Q1472120
- thousand_plus: thousand_plus Q1472120, Hellinger–Toeplitz theorem (statement). Also Mathlib LinearMap.IsSymmetric.continuous, Wikidata Q1472120, Wikipedia Hellinger–Toeplitz theorem
- wikipedia: Wikipedia Hellinger–Toeplitz theorem, Hellinger–Toeplitz theorem (statement). Also Wikidata Q1472120
History
- 2026-10-26: add by m2/dev
Fundamental theorem of finitely generated modules over a principal ideal domain 9CVEYPVHG1
| URI | m2://inv/9CVEYPVHG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#APP1, Fundamental theorem of finitely generated modules over a principal ideal domain (statement)
History
- 2026-11-02: add by m2/dev
Formulation 9CVG8X0HGW
| URI | m2://inv/9CVG8X0HGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarzschild metric#2GKD, Formulation (definition)
History
- 2026-11-02: add by m2/dev
List of integer sequences 9CVGBH88V5
| URI | m2://inv/9CVGBH88V5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integer sequences, List of integer sequences (topic). Also Wikidata Q6592631
History
- 2026-11-02: add by m2/dev
Laplacian smoothing 9CVZBKTJE0
| URI | m2://inv/9CVZBKTJE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplacian smoothing, Laplacian smoothing (definition). Also Wikidata Q6488267
History
- 2026-11-02: add by m2/dev
scale 9CW05B4DQG
| URI | m2://inv/9CW05B4DQG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.5.1/scale, scale (concept). In QKM9DD2H56, index, section 15.5.1
History
- 2026-11-01: add by m2/v0.6.13
Elveden #28 9CW0E5KP19
| URI | m2://inv/9CW0E5KP19 |
|---|---|
| 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#KLM3, Elveden #28 (unknown)
History
- 2026-11-02: add by m2/dev
Band model 9CW6TP0484
| URI | m2://inv/9CW6TP0484 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band model, Band model (definition). Also Wikidata Q56277739
History
- 2026-11-02: add by m2/dev
Lack, Power 9CW8E65MW8
| URI | m2://inv/9CW8E65MW8 |
|---|---|
| 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 2305.01474#KI2N, Lack, Power (statement). In 2QB5F6J24Q/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.0
9CWAGPN65D 9CWAGPN65D
| URI | m2://inv/9CWAGPN65D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/structures.tex#ex-2 (example). In PKGMM3P5QY, ex, section 20.1
History
- 2026-11-01: add by m2/v0.6.13
Claude Crépeau 9CWAT4ZK4C
| URI | m2://inv/9CWAT4ZK4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#MALR, Claude Crépeau (unknown)
History
- 2026-11-02: add by m2/dev
The method 9CWCEWY4JZ
| URI | m2://inv/9CWCEWY4JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maier's matrix method#C58Y, The method (definition)
History
- 2026-11-02: add by m2/dev
9CWKBJS35E 9CWKBJS35E
| URI | m2://inv/9CWKBJS35E |
|---|---|
| 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 2409.17318#7QV1 (statement). In 2P63T9MJ4P/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
9CWKEP8G5T 9CWKEP8G5T
| URI | m2://inv/9CWKEP8G5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#14RF (statement). In N8TDKGGC7S/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Simon von Stampfer 9CWMFKGFP7
| URI | m2://inv/9CWMFKGFP7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon von Stampfer, Simon von Stampfer (topic). Also Wikidata Q873016
History
- 2026-11-02: add by m2/dev
9CWVW3QWAK 9CWVW3QWAK
| URI | m2://inv/9CWVW3QWAK |
|---|---|
| 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.15188#L3RZ (statement). In J05DJNDXJE/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
orthonormal set 9CWXTJ3JTR
| URI | m2://inv/9CWXTJ3JTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91048185, orthonormal set (unknown). Also MathWorld OrthonormalSet, MathWorld OrthonormalVectors
History
- 2026-10-26: add by m2/dev
Freyd's adjoint functor theorem 9CX0W38PNT
| URI | m2://inv/9CX0W38PNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LYA7, Freyd's adjoint functor theorem (definition)
History
- 2026-11-02: add by m2/dev
Octagram 9CX52SY6G1
| URI | m2://inv/9CX52SY6G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MVZO, Octagram (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WWF3, Octagram (definition)
History
- 2026-11-02: add by m2/dev
9CX9ERD5TP 9CX9ERD5TP
| URI | m2://inv/9CX9ERD5TP |
|---|---|
| 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.20225#NVGU (statement)
History
- 2026-11-02: add by m2/v0.6.18
9CXCB1DQEQ 9CXCB1DQEQ
| URI | m2://inv/9CXCB1DQEQ |
|---|---|
| Kind | definition |
| 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.22551#A15L (definition)
History
- 2026-11-02: add by m2/v0.6.17
Archimedes' twin circles 9CXWM6RGGT
| URI | m2://inv/9CXWM6RGGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#ZTTF, Archimedes' twin circles (definition)
History
- 2026-11-02: add by m2/dev
First intersection point 9CXZ4SSVFV
| URI | m2://inv/9CXZ4SSVFV |
|---|---|
| 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 1905.02785#TSQ5, First intersection point (definition). In PF9KV74Q02/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
9CY29VZ06B 9CY29VZ06B
| URI | m2://inv/9CY29VZ06B |
|---|---|
| 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.05216#VFTC (statement). In J1VCHM6V0S/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Differentiated Toda system 9CY7XMRBWT
| URI | m2://inv/9CY7XMRBWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#RS9J, Differentiated Toda system (statement). In RYWAX33Z51/e1, corollary 7.12
History
- 2026-10-31: add by m2/v0.5.6
9CY8NYTN7W 9CY8NYTN7W
| URI | m2://inv/9CY8NYTN7W |
|---|---|
| Kind | example |
| 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#VYNO (example). In SHCQDPCF2J/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.12
9CYB95B053 9CYB95B053
| URI | m2://inv/9CYB95B053 |
|---|---|
| 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.24185#6IMA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Borromean rings 9CYJZ891HP
| URI | m2://inv/9CYJZ891HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#OXZE, Borromean rings (definition)
History
- 2026-11-02: add by m2/dev
9CZ6W0TX66 9CZ6W0TX66
| URI | m2://inv/9CZ6W0TX66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#9H1E (statement)
History
- 2026-11-02: add by m2/v0.6.17
9CZ9ARC9ZE 9CZ9ARC9ZE
| URI | m2://inv/9CZ9ARC9ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#SNS4 (statement). In 4F8QRV05BV/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Guglielmo Libri Carucci dalla Sommaja 9CZA2RTPCT
| URI | m2://inv/9CZA2RTPCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#1FA0, Guglielmo Libri Carucci dalla Sommaja (topic)
History
- 2026-11-02: add by m2/dev
Trustworthy AI 9CZAZ4FKSJ
| URI | m2://inv/9CZAZ4FKSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trustworthy AI, Trustworthy AI (definition). Also Wikidata Q115805554
History
- 2026-11-02: add by m2/dev
9CZMMXQA56 9CZMMXQA56
| URI | m2://inv/9CZMMXQA56 |
|---|---|
| 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 2204.07961#V1W1 (statement). In 4DK4VRKZVM/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.3.5
term, normal form of 9CZSD3CNTB
| URI | m2://inv/9CZSD3CNTB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/term-normal-form-of, term, normal form of (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Wade Edward Philpott 9CZSDKX8HQ
| URI | m2://inv/9CZSDKX8HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wade Edward Philpott, Wade Edward Philpott (topic). Also Wikidata Q16011337
History
- 2026-11-02: add by m2/dev
9CZZHDSM0D 9CZZHDSM0D
| URI | m2://inv/9CZZHDSM0D |
|---|---|
| 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 2308.05715#KP7R (definition). In FC0SB9JFWH/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
9CZZP8DAWJ 9CZZP8DAWJ
| URI | m2://inv/9CZZP8DAWJ |
|---|---|
| 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.24412#185E (statement)
History
- 2026-11-01: add by m2/v0.6.15