Inventory rows 6C
The cards of the rows of the inventory whose ids start with 6C. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bit-reversal permutation 6C05G46XR4
| URI | m2://inv/6C05G46XR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#MYDF, Bit-reversal permutation (definition)
History
- 2026-11-02: add by m2/dev
6C07WQAQKZ 6C07WQAQKZ
| URI | m2://inv/6C07WQAQKZ |
|---|---|
| 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 2203.06854#PUOT (statement). In 7NE5NVT9KH/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Geometric analysis 6C0HP2MDZK
| URI | m2://inv/6C0HP2MDZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AVA4, Geometric analysis (definition)
History
- 2026-11-02: add by m2/dev
6C0KRR81C3 6C0KRR81C3
| URI | m2://inv/6C0KRR81C3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#defn-2 (definition). In N54F33XE07, defn, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
6C0WNZ07EZ 6C0WNZ07EZ
| URI | m2://inv/6C0WNZ07EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#DMH7 (statement). In RBQ5FNCVNZ/e1, corollary A.5
History
- 2026-10-30: add by m2/v0.4.12
6C0Z5PAD6W 6C0Z5PAD6W
| URI | m2://inv/6C0Z5PAD6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.33805#IBQP (statement). In XM98BX97RT/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Bounded-cost policy lower bound 6C12ZSD7EF
| URI | m2://inv/6C12ZSD7EF |
|---|---|
| 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.37380#0J4V, Bounded-cost policy lower bound (statement). In 14Y4SA4SX0/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
6C16TKSJ75 6C16TKSJ75
| URI | m2://inv/6C16TKSJ75 |
|---|---|
| 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 1812.02599#0OT5 (statement). In W41H3EDETZ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Star-shaped sets 6C18EFK523
| URI | m2://inv/6C18EFK523 |
|---|---|
| Kind | definition |
| 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.10840#JWTH, Star-shaped sets (definition). In JSJQEPY71E/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.3
Dorothy Edgington 6C1DJ57QYD
| URI | m2://inv/6C1DJ57QYD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy Edgington, Dorothy Edgington (topic). Also Wikidata Q5298401
History
- 2026-11-02: add by m2/dev
6C1PRRX3YC 6C1PRRX3YC
| URI | m2://inv/6C1PRRX3YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#BN3R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 6C1QA5K98P
| URI | m2://inv/6C1QA5K98P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic symmetric function#7WFK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Reform mathematics 6C1R1CE6E2
| URI | m2://inv/6C1R1CE6E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reform mathematics, Reform mathematics (definition). Also Wikidata Q7307430
History
- 2026-11-02: add by m2/dev
Robert John Audley 6C1R8T3X7K
| URI | m2://inv/6C1R8T3X7K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert John Audley, Robert John Audley (topic). Also Wikidata Q98655757
History
- 2026-11-02: add by m2/dev
6C1VQ1TK67 6C1VQ1TK67
| URI | m2://inv/6C1VQ1TK67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#example-1 (example). In RZP28ERRZV, example, section 81.2
History
- 2026-11-01: add by m2/v0.6.13
6C1YR4F2ZM 6C1YR4F2ZM
| URI | m2://inv/6C1YR4F2ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#27XB (statement). In CRFDGFZHBF/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.3
6C2012Z6MJ 6C2012Z6MJ
| URI | m2://inv/6C2012Z6MJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-3 (example). In RZP28ERRZV, example, section 21.3
History
- 2026-11-01: add by m2/v0.6.13
6C21W1CM5K 6C21W1CM5K
| URI | m2://inv/6C21W1CM5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#NNYE (statement). In 68AE571S4P/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
6C22RVS05S 6C22RVS05S
| URI | m2://inv/6C22RVS05S |
|---|---|
| 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.35404#000Q (statement). In DH84PYVRCF/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Consequence 6C28BV8X3R
| URI | m2://inv/6C28BV8X3R |
|---|---|
| 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.34213#M7VB, Consequence (statement). In KGP6NAY0NS/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
6C2975XWR0 6C2975XWR0
| URI | m2://inv/6C2975XWR0 |
|---|---|
| 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.16844#0SWL (statement). In MAY0WVXT07/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Cubic plane curve 6C29W23XB7
| URI | m2://inv/6C29W23XB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#XKT1, Cubic plane curve (definition)
History
- 2026-11-02: add by m2/dev
6C2FEGVK7H 6C2FEGVK7H
| URI | m2://inv/6C2FEGVK7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26410#GGU5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Descent in expectation 6C2MGZF8SQ
| URI | m2://inv/6C2MGZF8SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#F7AD, Descent in expectation (statement). In YXZX6Z8S6A/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Finnur Lárusson 6C2PKG069Z
| URI | m2://inv/6C2PKG069Z |
|---|---|
| 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 Q102363969, Finnur Lárusson (unknown). Also nLab Finnur Larusson
History
- 2026-10-26: add by m2/dev
Two Run, Clay County, West Virginia 6C2WSZ1274
| URI | m2://inv/6C2WSZ1274 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0U5Y, Two Run, Clay County, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
6C31V0YVVV 6C31V0YVVV
| URI | m2://inv/6C31V0YVVV |
|---|---|
| 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.21692#FYAN (statement). In CT4N0JGDP4/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
6C39H10TPE 6C39H10TPE
| URI | m2://inv/6C39H10TPE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19513#CRN2 (definition). In Q557CNT758/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
6C3C87SZ29 6C3C87SZ29
| URI | m2://inv/6C3C87SZ29 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#72SW (definition). In 317GZJ38HS/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Linear maps, continued 6C3HBRFR9V
| URI | m2://inv/6C3HBRFR9V |
|---|---|
| Kind | example |
| 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.18154#YVXX, Linear maps, continued (example). In 4W7ARR1DAR/e1, example 6.2
History
- 2026-10-28: add by m2/v0.4.2
Generalized inverse Gaussian distribution 6C3XBVTCTY
| URI | m2://inv/6C3XBVTCTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3X4R, Generalized inverse Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
The One-Dimensional Dirichlet Problem 6C41TSFAYC
| URI | m2://inv/6C41TSFAYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#G5IF, The One-Dimensional Dirichlet Problem (statement). In Z6WA2R0J50/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
George Boolos 6C4263F59T
| URI | m2://inv/6C4263F59T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#CYGM, George Boolos (topic)
History
- 2026-11-02: add by m2/dev
Yitzchak Ratner 6C43WV4W21
| URI | m2://inv/6C43WV4W21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yitzchak Ratner, Yitzchak Ratner (topic). Also Wikidata Q56254700
History
- 2026-11-02: add by m2/dev
Acyclic models theorem 6C44SYBBYD
| URI | m2://inv/6C44SYBBYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#R2QS, Acyclic models theorem (definition)
History
- 2026-11-02: add by m2/dev
Formal statement 6C4J2Z1S64
| URI | m2://inv/6C4J2Z1S64 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urysohn's lemma#773Q, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
\coqident{Partiality}{PCF}{numeral 6C4K4A1FJ5
| URI | m2://inv/6C4K4A1FJ5 |
|---|---|
| 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 1904.09810#YGS9, \coqident{Partiality}{PCF}{numeral (definition). In T1VFA7TXPA/e1, definition 32
History
- 2026-10-27: add by m2/v0.3.5
Nyquist–Shannon sampling theorem 6C4SD61CS6
| URI | m2://inv/6C4SD61CS6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#S9ZT, Nyquist–Shannon sampling theorem (statement)
History
- 2026-11-02: add by m2/dev
List of convexity topics 6C4SJJPF92
| URI | m2://inv/6C4SJJPF92 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics, List of convexity topics (topic). Also Wikidata Q6613646
History
- 2026-11-02: add by m2/dev
Clifford's circle theorems 6C4VDGYW7M
| URI | m2://inv/6C4VDGYW7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VW85, Clifford's circle theorems (statement)
History
- 2026-11-02: add by m2/dev
Connection to Pascal's theorem 6C4WBKFGGC
| URI | m2://inv/6C4WBKFGGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brianchon's theorem#FOCO, Connection to Pascal's theorem (statement)
History
- 2026-11-02: add by m2/dev
6C4WV4QRY5 6C4WV4QRY5
| URI | m2://inv/6C4WV4QRY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#931E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elimination theory 6C5CGXF7GE
| URI | m2://inv/6C5CGXF7GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#AG7H, Elimination theory (definition)
- wikipedia: Wikipedia List of commutative algebra topics#3JM9, Elimination theory (definition)
History
- 2026-11-02: add by m2/dev
6C5EEKFY05 6C5EEKFY05
| URI | m2://inv/6C5EEKFY05 |
|---|---|
| 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.23538#XT34 (statement)
History
- 2026-11-02: add by m2/v0.6.17
6C5ERN6W6P 6C5ERN6W6P
| URI | m2://inv/6C5ERN6W6P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-5-chain.xml#example-3 (example). In 907G4C4EJ1, example, section 2.5.3
History
- 2026-11-01: add by m2/v0.6.13
Troels Jørgensen 6C5GBAYW4D
| URI | m2://inv/6C5GBAYW4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Troels Jørgensen, Troels Jørgensen (topic). Also Wikidata Q7844943
History
- 2026-11-02: add by m2/dev
6C5JKGZJJZ 6C5JKGZJJZ
| URI | m2://inv/6C5JKGZJJZ |
|---|---|
| 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.36300#GFPL (statement). In MNWD3Y6W56/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
6C5NBHQWV0 6C5NBHQWV0
| URI | m2://inv/6C5NBHQWV0 |
|---|---|
| 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#DO2R (statement). In EAABRG99V8/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.0
Supremum 6C5TM5SKVS
| URI | m2://inv/6C5TM5SKVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#075T, Supremum (definition)
History
- 2026-11-02: add by m2/dev
List of exceptional set concepts 6C5WCE344A
| URI | m2://inv/6C5WCE344A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#HJYV, List of exceptional set concepts (topic)
History
- 2026-11-02: add by m2/dev
The kernel theorem 6C5X1ZJKQS
| URI | m2://inv/6C5X1ZJKQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#85D4, The kernel theorem (statement)
History
- 2026-11-02: add by m2/dev
6C60FWG93J 6C60FWG93J
| URI | m2://inv/6C60FWG93J |
|---|---|
| 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.19854#UBWY (statement). In D50WST4CG3/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 6C69057WF6
| URI | m2://inv/6C69057WF6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ODE filter#ZJZA, Examples (example)
History
- 2026-11-02: add by m2/dev
Axiom of pairing - 4 6C6Z28YRV5
| URI | m2://inv/6C6Z28YRV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo–Fraenkel set theory#U5A8, Axiom of pairing - 4 (statement)
History
- 2026-11-02: add by m2/dev
Applications 6C701BTJPS
| URI | m2://inv/6C701BTJPS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary mass function#E49O, Applications (example)
History
- 2026-11-02: add by m2/dev
6C71X0NN0Y 6C71X0NN0Y
| URI | m2://inv/6C71X0NN0Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-11 (proof). In E59CDZA4DP, proof, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Grothendieck's connectedness theorem 6C74G00QQF
| URI | m2://inv/6C74G00QQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5610718, Grothendieck's connectedness theorem (statement). Also Wikidata Q5610718
- thousand_plus: thousand_plus Q5610718, Grothendieck's connectedness theorem (statement). Also Wikidata Q5610718, Wikipedia Grothendieck's connectedness theorem
- wikipedia: Wikipedia Grothendieck's connectedness theorem, Grothendieck's connectedness theorem (statement). Also Wikidata Q5610718
History
- 2026-10-26: add by m2/dev
6C79EF432Q 6C79EF432Q
| URI | m2://inv/6C79EF432Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#YVZL (statement). In G3E1P350Z6/e1, lemma 7.17
History
- 2026-10-29: add by m2/v0.4.10
Principles of Mathematical Analysis 6C7AN7AD3Q
| URI | m2://inv/6C7AN7AD3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principles of Mathematical Analysis, Principles of Mathematical Analysis (statement). Also Wikidata Q14760812
History
- 2026-11-02: add by m2/dev
6C7H559MBY 6C7H559MBY
| URI | m2://inv/6C7H559MBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#2GBL (statement). In ZEHQDJTEDG/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Trilateration 6C7NV4TGDB
| URI | m2://inv/6C7NV4TGDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilateration, Trilateration (definition). Also Wikidata Q1146298
History
- 2026-11-02: add by m2/dev
6C7RNDVABK 6C7RNDVABK
| URI | m2://inv/6C7RNDVABK |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#RGJM (unknown). In QNBFHFZ3H0/e1, unknown 40
History
- 2026-10-28: add by m2/v0.4.2
Grave, Dmytro Olexandrovych 6C7WJDREEH
| URI | m2://inv/6C7WJDREEH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#2D4S, Grave, Dmytro Olexandrovych (unknown)
History
- 2026-11-02: add by m2/dev
Examples 6C860SVXPR
| URI | m2://inv/6C860SVXPR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Sato series#B6TR, Examples (example)
History
- 2026-11-02: add by m2/dev
Polynomial translation 6C86FQE02X
| URI | m2://inv/6C86FQE02X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#BA2T, Polynomial translation (statement). In JY6RYSNXMJ/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.10
6C879E4520 6C879E4520
| URI | m2://inv/6C879E4520 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#MHI7 (statement). In 9B5TNEBJHV/e1, lemma 2.27
History
- 2026-10-29: add by m2/v0.4.10
Georg Joseph Sidler 6C87VX2D0C
| URI | m2://inv/6C87VX2D0C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Joseph Sidler, Georg Joseph Sidler (topic). Also Wikidata Q22920755
History
- 2026-11-02: add by m2/dev
Edward Charles Molina 6C88EDJ03W
| URI | m2://inv/6C88EDJ03W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A5BT, Edward Charles Molina (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OK61, Edward Charles Molina (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UD6Q, Edward Charles Molina (unknown)
History
- 2026-11-02: add by m2/dev
column space 6C8HH5VHGP
| URI | m2://inv/6C8HH5VHGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Column space 03AJKXH1AV |
Mentions
- wikidata: Wikidata Q4131105, column space (unknown). Also MathWorld ColumnSpace
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6C8MSK9NYT 6C8MSK9NYT
| URI | m2://inv/6C8MSK9NYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33770#0PGX (statement). In 7DJ3C4V66R/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Lenore E. Bixby 6C8R5FP81G
| URI | m2://inv/6C8R5FP81G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenore E. Bixby, Lenore E. Bixby (topic). Also Wikidata Q42565199
History
- 2026-11-02: add by m2/dev
Gutenberg–Richter law 6C8VENPC0K
| URI | m2://inv/6C8VENPC0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gutenberg–Richter law, Gutenberg–Richter law (statement). Also Wikidata Q507905
History
- 2026-11-02: add by m2/dev
TC and DTC schedules 6C95G4NPM2
| URI | m2://inv/6C95G4NPM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#PV2D, TC and DTC schedules (statement). In XXV36V6CK8/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
Definition 6C9AGTWTHV
| URI | m2://inv/6C9AGTWTHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual q-Krawtchouk polynomials#3UBO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tucker's lemma 6C9HM91XKD
| URI | m2://inv/6C9HM91XKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tucker's lemma, Tucker's lemma (statement). Also Wikidata Q7851042
History
- 2026-11-02: add by m2/dev
6C9VTFDR5V 6C9VTFDR5V
| URI | m2://inv/6C9VTFDR5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#E6AG (statement). In MRR92GQNZE/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
6CA01H1GK8 6CA01H1GK8
| URI | m2://inv/6CA01H1GK8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#JYCM (conjecture). In GYMGDQS25R/e1, conjecture 1.3
History
- 2026-10-29: add by m2/v0.4.10
6CA6N65QJQ 6CA6N65QJQ
| URI | m2://inv/6CA6N65QJQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Implicant 6CAAX5S186
| URI | m2://inv/6CAAX5S186 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicant, Implicant (definition). Also Wikidata Q1291626
History
- 2026-11-02: add by m2/dev
Hamilton–Jacobi equation 6CABM0DCGS
| URI | m2://inv/6CABM0DCGS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hamilton–Jacobi equation 5TRXQKP7DY |
Mentions
- wikidata: Wikidata Q1060137, Hamilton–Jacobi equation (concept). Also nLab Hamilton-Jacobi equation
- wikipedia: Wikipedia Hamilton–Jacobi equation, Hamilton–Jacobi equation (definition). Also Wikidata Q1060137
History
- 2026-10-26: add by m2/dev
Upper Alexandrov curvature bound 6CAG16JR3S
| URI | m2://inv/6CAG16JR3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#QSS6, Upper Alexandrov curvature bound (definition)
History
- 2026-11-01: add by m2/v0.6.15
Null distribution 6CAGDM3W3E
| URI | m2://inv/6CAGDM3W3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null distribution, Null distribution (definition). Also Wikidata Q7068958
History
- 2026-11-02: add by m2/dev
Ramanujan magic square 6CAWY6H1HE
| URI | m2://inv/6CAWY6H1HE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#4VMW, Ramanujan magic square (conjecture)
History
- 2026-11-02: add by m2/dev
6CAXQ9E1JX 6CAXQ9E1JX
| URI | m2://inv/6CAXQ9E1JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.17669#RXYG (statement). In RAWXJ72WWA/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Simplicial complex 6CAYHJ13JQ
| URI | m2://inv/6CAYHJ13JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#2GEW, Simplicial complex (definition)
- wikipedia: Wikipedia List of general topology topics#2C5W, Simplicial complex (definition)
History
- 2026-11-02: add by m2/dev
6CB3T8175Z 6CB3T8175Z
| URI | m2://inv/6CB3T8175Z |
|---|---|
| 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 2310.14879#349O (statement). In 3VZ55B2N0D/e1, lemma 5.15
History
- 2026-10-27: add by m2/v0.4.0
6CB4V62A03 6CB4V62A03
| URI | m2://inv/6CB4V62A03 |
|---|---|
| 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 2501.02331#0NAR (statement). In N9J5DJCTJZ/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Examples 6CBE1Y9GVB
| URI | m2://inv/6CBE1Y9GVB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal element#NFPJ, Examples (example)
History
- 2026-11-02: add by m2/dev
6CBHR10F4R 6CBHR10F4R
| URI | m2://inv/6CBHR10F4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.04559#AFC6 (statement). In WWMHZKWZSM/e1, proposition 17
History
- 2026-10-27: add by m2/v0.3.5
Examples 6CBMGTX39K
| URI | m2://inv/6CBMGTX39K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-2 ring#DREB, Examples (example)
History
- 2026-11-02: add by m2/dev
6CBXDHM28F 6CBXDHM28F
| URI | m2://inv/6CBXDHM28F |
|---|---|
| Kind | problem |
| 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.03477#EEAJ (problem). In GXN3D4G4HE/e1, problem 5
History
- 2026-10-29: add by m2/v0.4.12
$p$-restriction 6CC1ZYDQY4
| URI | m2://inv/6CC1ZYDQY4 |
|---|---|
| Kind | definition |
| 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 1806.05002#UPMO, $p$-restriction (definition). In JBAQ7DTW7B/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Florence Nightingale David Award 6CC8GZTRW2
| URI | m2://inv/6CC8GZTRW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florence Nightingale David Award, Florence Nightingale David Award (definition). Also Wikidata Q47494994
History
- 2026-11-02: add by m2/dev
6CCART5BWD 6CCART5BWD
| URI | m2://inv/6CCART5BWD |
|---|---|
| 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 2602.07485#PCV1 (statement). In 8KAC1E81JQ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Minitab 6CCGDR7HEK
| URI | m2://inv/6CCGDR7HEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WQJS, Minitab (definition)
History
- 2026-11-02: add by m2/dev
Properties 6CCKRPSX06
| URI | m2://inv/6CCKRPSX06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gosper curve#4HAG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Implementations 6CCPZDQA1K
| URI | m2://inv/6CCPZDQA1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transaction logic#AO0W, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Cornelis Benjamin Biezeno 6CCVDBNRCN
| URI | m2://inv/6CCVDBNRCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0XXU, Cornelis Benjamin Biezeno (unknown)
History
- 2026-11-02: add by m2/dev
6CCZN44783 6CCZN44783
| URI | m2://inv/6CCZN44783 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#T47H (statement). In DPJ15KW23C/e1, proposition B.5
History
- 2026-10-30: add by m2/v0.4.12
⊥ 6CCZYCRKDA
| URI | m2://inv/6CCZYCRKDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#LK4E, ⊥ (definition)
History
- 2026-11-02: add by m2/dev
Douglas Hartree 6CD2F23RFG
| URI | m2://inv/6CD2F23RFG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas Hartree, Douglas Hartree (topic). Also Wikidata Q451770
History
- 2026-11-02: add by m2/dev
Duffing equation 6CD4XCKK5Z
| URI | m2://inv/6CD4XCKK5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q675387, Duffing equation (unknown). Also MathWorld DuffingDifferentialEquation
- wikipedia: Wikipedia Duffing equation, Duffing equation (definition). Also Wikidata Q675387
History
- 2026-10-26: add by m2/dev
Tusi, Sharafeddin 6CD7JYFB0V
| URI | m2://inv/6CD7JYFB0V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#OL84, Tusi, Sharafeddin (topic)
History
- 2026-11-02: add by m2/dev
Escape rates 6CDDHJ39Y0
| URI | m2://inv/6CDDHJ39Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33794#EWER, Escape rates (statement). In W0PQMW25VY/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
6CDKDFXWGT 6CDKDFXWGT
| URI | m2://inv/6CDKDFXWGT |
|---|---|
| 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 0904.3493#PI5Z (statement). In 1ARY7220P4/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Kernel perceptron 6CDNY88PDM
| URI | m2://inv/6CDNY88PDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel perceptron, Kernel perceptron (definition). Also Wikidata Q17093018
History
- 2026-11-02: add by m2/dev
Replication 6CDPAAQ5H3
| URI | m2://inv/6CDPAAQ5H3 |
|---|---|
| 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.36827#68KV, Replication (statement). In VSHAQTB2CA/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
6CE0YY0073 6CE0YY0073
| URI | m2://inv/6CE0YY0073 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#LNAY (statement). In BYAANB1NG0/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Boreham, John 6CEBADTAW8
| URI | m2://inv/6CEBADTAW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#E3B0, Boreham, John (unknown)
History
- 2026-11-02: add by m2/dev
6CEGS03F84 6CEGS03F84
| URI | m2://inv/6CEGS03F84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#K8Y4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6CEPG5JKZS 6CEPG5JKZS
| URI | m2://inv/6CEPG5JKZS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.00191#6IX1 (definition). In ZMH2KJDAWJ/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Statements 6CEQV5JTNF
| URI | m2://inv/6CEQV5JTNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berman–Hartmanis conjecture#CPYY, Statements (statement)
History
- 2026-11-02: add by m2/dev
6CES81GVSK 6CES81GVSK
| URI | m2://inv/6CES81GVSK |
|---|---|
| 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#TK20 (statement). In TWP8T68ABF/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
6CETZTM7H6 6CETZTM7H6
| URI | m2://inv/6CETZTM7H6 |
|---|---|
| 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#9Z9N (definition). In 8Z47D12KSX/e1, definition 7.6
History
- 2026-10-29: add by m2/v0.4.10
William Ernest Johnson 6CEW0WH5VN
| URI | m2://inv/6CEW0WH5VN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#OZGY, William Ernest Johnson (topic)
History
- 2026-11-02: add by m2/dev
The least-upper-bound principle and compact sets 6CF2N8DG8V
| URI | m2://inv/6CF2N8DG8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive analysis#67F5, The least-upper-bound principle and compact sets (statement)
History
- 2026-11-02: add by m2/dev
Strong slice genus of pseudo-thin links 6CF328QKHP
| URI | m2://inv/6CF328QKHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#MNVV, Strong slice genus of pseudo-thin links (statement). In 8TRCP1482Q/e1, theorem B.35
History
- 2026-10-29: add by m2/v0.4.10
Jean Pedersen 6CF5986SH3
| URI | m2://inv/6CF5986SH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Pedersen, Jean Pedersen (topic). Also Wikidata Q57971718
History
- 2026-11-02: add by m2/dev
Legacy and identity 6CF5H5Z61P
| URI | m2://inv/6CF5H5Z61P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno Abakanowicz#S0OV, Legacy and identity (statement)
History
- 2026-11-02: add by m2/dev
Embedding blocks of size at most three 6CF7BK4Y1J
| URI | m2://inv/6CF7BK4Y1J |
|---|---|
| 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 2609.40054#8F2I, Embedding blocks of size at most three (statement). In CA4C9PFM1E/e1, lemma 4.1.9
History
- 2026-10-30: add by m2/v0.4.12
6CFBNTTWWG 6CFBNTTWWG
| URI | m2://inv/6CFBNTTWWG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Truncated tetrakis cube 6CFH3EJ5B5
| URI | m2://inv/6CFH3EJ5B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrakis cube, Truncated tetrakis cube (definition). Also Wikidata Q60795070
History
- 2026-11-02: add by m2/dev
6CFW846Y3A 6CFW846Y3A
| URI | m2://inv/6CFW846Y3A |
|---|---|
| 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.10233#2KZM (statement). In QR9WE79ERQ/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
6CFWRGATMP 6CFWRGATMP
| URI | m2://inv/6CFWRGATMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06440#SX8L (statement). In 5YB65RB13X/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
List of Norwegian mathematicians 6CG3YZ7CYH
| URI | m2://inv/6CG3YZ7CYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#AVQZ, List of Norwegian mathematicians (topic)
History
- 2026-11-02: add by m2/dev
The two observation models have different greatest elements 6CG7379H2C
| URI | m2://inv/6CG7379H2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ARQP, The two observation models have different greatest elements (statement). In 9YAE8FNQST/e1, corollary 29.15
History
- 2026-10-30: add by m2/v0.4.12
convex regular polychoron 6CGAY2X24S
| URI | m2://inv/6CGAY2X24S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2392282, convex regular polychoron (unknown). Also MathWorld RegularPolychoron
- wikidata: Wikidata Q7309614, regular 4-polytope (unknown). Also MathWorld RegularPolychoron
- wikipedia: Wikipedia Regular 4-polytope, Regular 4-polytope (definition). Also Wikidata Q7309614
History
- 2026-10-26: add by m2/dev
6CGD1KK3W2 6CGD1KK3W2
| URI | m2://inv/6CGD1KK3W2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2110.11143#GJFN (definition). In VTVC0TCWSB/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Exponential moment of the rate 6CGMBBD7GG
| URI | m2://inv/6CGMBBD7GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.20520#3W2P, Exponential moment of the rate (statement)
History
- 2026-11-02: add by m2/v0.6.18
Aaronson, Nakada, Sarig \& Solomyak 6CGPAXWJZP
| URI | m2://inv/6CGPAXWJZP |
|---|---|
| Kind | statement |
| 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#0G99, Aaronson, Nakada, Sarig \& Solomyak (statement). In WRE0P7V6Z3/e1, theorem 1.15
History
- 2026-10-30: add by m2/v0.4.12
Ismar Volić 6CGVJR3RFK
| URI | m2://inv/6CGVJR3RFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ismar Volić, Ismar Volić (topic). Also Wikidata Q98556539
History
- 2026-11-02: add by m2/dev
Strong base change $(n=3)$ 6CGZD0VZKH
| URI | m2://inv/6CGZD0VZKH |
|---|---|
| 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.26500#87FJ, Strong base change $(n=3)$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
6CH56K8MZY 6CH56K8MZY
| URI | m2://inv/6CH56K8MZY |
|---|---|
| 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 2112.14455#A30T (statement). In VDE5R8HBS1/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
6CH6FTTYKD 6CH6FTTYKD
| URI | m2://inv/6CH6FTTYKD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#proof-1 (proof). In RZP28ERRZV, proof, section 61.1
History
- 2026-11-01: add by m2/v0.6.13
Massey, Frank J. 6CH9KH87AS
| URI | m2://inv/6CH9KH87AS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AYNH, Massey, Frank J. (topic)
History
- 2026-11-02: add by m2/dev
The skin of a chameleon is not adapted solely for camouflage purposes 6CHJKHX09E
| URI | m2://inv/6CHJKHX09E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#SH2T, The skin of a chameleon is not adapted solely for camouflage purposes (unknown)
History
- 2026-11-02: add by m2/dev
6CHVH3S6QW 6CHVH3S6QW
| URI | m2://inv/6CHVH3S6QW |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1805.04646#D0XV (proof). In WDDY7P9T66/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
GELU 6CHYB49768
| URI | m2://inv/6CHYB49768 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified linear unit#FLRL, GELU (unknown)
History
- 2026-11-02: add by m2/dev
6CJ4Q6XTFQ 6CJ4Q6XTFQ
| URI | m2://inv/6CJ4Q6XTFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#FXO2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement of the theorem 6CJ6E07XP9
| URI | m2://inv/6CJ6E07XP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Carathéodory theorem#12BN, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
6CJA7NCXHY 6CJA7NCXHY
| URI | m2://inv/6CJA7NCXHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#PMXH (statement)
History
- 2026-11-01: add by m2/v0.6.15
6CJPJF8EQC 6CJPJF8EQC
| URI | m2://inv/6CJPJF8EQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#3Y1W (statement). In REDG6QVHM3/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.12
6CJQS6S37F 6CJQS6S37F
| URI | m2://inv/6CJQS6S37F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.25321#KYP7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
definite integral 6CJS0FK69W
| URI | m2://inv/6CJS0FK69W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Definite integral 021WEM680W |
Mentions
- wikidata: Wikidata Q1991596, definite integral (unknown). Also MathWorld DefiniteIntegral
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Theorem 6CJWH3E3AE
| URI | m2://inv/6CJWH3E3AE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchdahl's theorem#MUN3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
6CJWMD3JNE 6CJWMD3JNE
| URI | m2://inv/6CJWMD3JNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32505#MF50 (statement). In N8MYP1Z659/e1, proposition D.2
History
- 2026-10-31: add by m2/v0.5.6
6CJXGJHBDB 6CJXGJHBDB
| URI | m2://inv/6CJXGJHBDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#AOGZ (statement). In A4VP56CT7B/e1, corollary 7.10
History
- 2026-10-28: add by m2/v0.4.2
universal, property, of free group 6CK1TSFPKQ
| URI | m2://inv/6CK1TSFPKQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/universal-property-of-free-group, universal, property, of free group (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
6CK3AA7529 6CK3AA7529
| URI | m2://inv/6CK3AA7529 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-6 (definition). In RZP28ERRZV, definition, section 62.5
History
- 2026-11-01: add by m2/v0.6.13
Praeclarum theorema 6CKH21N9YT
| URI | m2://inv/6CKH21N9YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laws of Form#5SH8, Praeclarum theorema (unknown)
History
- 2026-11-02: add by m2/dev
One-point distribution 6CKM8N1W18
| URI | m2://inv/6CKM8N1W18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability distribution#HO3K, One-point distribution (unknown)
History
- 2026-11-02: add by m2/dev
Argumentation Ethics 6CKMZCYE0Q
| URI | m2://inv/6CKMZCYE0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Hermann Hoppe#UONX, Argumentation Ethics (unknown)
History
- 2026-11-02: add by m2/dev
6CKQ6JH82X 6CKQ6JH82X
| URI | m2://inv/6CKQ6JH82X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#proposition-coordinate-transform (statement). In 649HGZKE96, proposition, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
6CKWXQ5P59 6CKWXQ5P59
| URI | m2://inv/6CKWXQ5P59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#9GZA (statement). In CY1FE8W1ZW/e1, lemma 0.257
History
- 2026-10-27: add by m2/v0.4.0
Collective agreement coverage 6CM0G8ACHK
| URI | m2://inv/6CM0G8ACHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collective agreement coverage, Collective agreement coverage (definition). Also Wikidata Q28134329
History
- 2026-11-02: add by m2/dev
Adolf Hurwitz 6CM17AGYDD
| URI | m2://inv/6CM17AGYDD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q58809, Adolf Hurwitz (unknown). Also nLab Adolf Hurwitz, ProofWiki Mathematician:Adolf_Hurwitz
- wikipedia: Wikipedia Adolf Hurwitz, Adolf Hurwitz (topic). Also Wikidata Q58809
History
- 2026-10-26: add by m2/dev
Bill McGovern 6CM8AGG57Z
| URI | m2://inv/6CM8AGG57Z |
|---|---|
| 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#F407, Bill McGovern (unknown)
History
- 2026-11-02: add by m2/dev
Sierpiński–Dynkin's π-λ theorem 6CMDFJZSEE
| URI | m2://inv/6CMDFJZSEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin system#TZQM, Sierpiński–Dynkin's π-λ theorem (statement)
History
- 2026-11-02: add by m2/dev
6CMK8XPTA4 6CMK8XPTA4
| URI | m2://inv/6CMK8XPTA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#OW7L (statement). In C8JAGP8VCQ/e1, proposition 8.19
History
- 2026-10-27: add by m2/v0.3.5
Results 6CNFFH690A
| URI | m2://inv/6CNFFH690A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson game#1VUJ, Results (statement)
History
- 2026-11-02: add by m2/dev
universal introduction 6CNPXATPXW
| URI | m2://inv/6CNPXATPXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EJPD, universal introduction (definition)
History
- 2026-11-02: add by m2/dev
perfect powers 6CNSD4BVA1
| URI | m2://inv/6CNSD4BVA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#C0L8, perfect powers (definition)
History
- 2026-11-02: add by m2/dev
Sinusoidal paths 6CNYBYY2EG
| URI | m2://inv/6CNYBYY2EG |
|---|---|
| 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 2610.10993#ZYDP, Sinusoidal paths (statement). In 1JCPN0K7DB/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.3
6CP1BH6CHR 6CP1BH6CHR
| URI | m2://inv/6CP1BH6CHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#GVU7 (statement). In 12RSHWCNMX/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
6CP4VQFQMB 6CP4VQFQMB
| URI | m2://inv/6CP4VQFQMB |
|---|---|
| Kind | example |
| 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.31300#POJE (example). In ERHQDB8M41/e1, example 3.6
History
- 2026-10-31: add by m2/v0.5.6
Principal U(1)-bundle 6CP4WA4Q85
| URI | m2://inv/6CP4WA4Q85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal U(1)-bundle, Principal U(1)-bundle (definition). Also Wikidata Q135221240
History
- 2026-11-02: add by m2/dev
6CP97XM5PC 6CP97XM5PC
| URI | m2://inv/6CP97XM5PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#Z86H (statement). In 5E9G06XJKC/e1, lemma F.34
History
- 2026-10-28: add by m2/v0.4.2
János Körner 6CPCX54D0T
| URI | m2://inv/6CPCX54D0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia János Körner, János Körner (topic). Also Wikidata Q15822188
History
- 2026-11-02: add by m2/dev
6CPDEZTKK4 6CPDEZTKK4
| URI | m2://inv/6CPDEZTKK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#8N2L (statement). In CNS2J2E4T2/e1, theorem 16
History
- 2026-10-29: add by m2/v0.4.12
Alternative definitions 6CPE1B94DG
| URI | m2://inv/6CPE1B94DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic group#H50J, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
6CPGGFDW5V 6CPGGFDW5V
| URI | m2://inv/6CPGGFDW5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#M2B3 (statement). In TJH58FRGEN/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Valencies of $^2A_{2r-1}(q)$ 6CPPAKDRTQ
| URI | m2://inv/6CPPAKDRTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#0TJ0, Valencies of $^2A_{2r-1}(q)$ (statement). In 3TJ2FWXQ0D/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Bilinear interpolation 6CPWEPAPNR
| URI | m2://inv/6CPWEPAPNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear interpolation, Bilinear interpolation (definition). Also Wikidata Q612143
History
- 2026-11-02: add by m2/dev
6CPXF0V9NN 6CPXF0V9NN
| URI | m2://inv/6CPXF0V9NN |
|---|---|
| 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.05784#2VH8 (statement). In 6NVP3YRWVA/e1, proposition 2.19
History
- 2026-10-29: add by m2/v0.4.10
6CPXG5AEMD 6CPXG5AEMD
| URI | m2://inv/6CPXG5AEMD |
|---|---|
| Kind | definition |
| 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.03497#I1YP (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Recurring decimal 6CPXY51RZ3
| URI | m2://inv/6CPXY51RZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#WQ8O, Recurring decimal (definition)
History
- 2026-11-02: add by m2/dev
6CQ4X12E9N 6CQ4X12E9N
| URI | m2://inv/6CQ4X12E9N |
|---|---|
| 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.33050#HIBK (statement). In VDSBMQ0G9W/e1, lemma 6.5
History
- 2026-10-30: add by m2/v0.4.12
6CQ73Z690R 6CQ73Z690R
| URI | m2://inv/6CQ73Z690R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19175#YA4E (statement). In VR132Q5VFE/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
restate=lemCl, label=lem:ideal-cl 6CQBWV4JC8
| URI | m2://inv/6CQBWV4JC8 |
|---|---|
| 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.07927#MOGA, restate=lemCl, label=lem:ideal-cl (statement). In GKM19DHQTM/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Statement of the theorem 6CQGWCV9PQ
| URI | m2://inv/6CQGWCV9PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard gap theorem#08T7, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 6CQW9RKRQ5
| URI | m2://inv/6CQW9RKRQ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Motzkin elimination#Z650, Example (example)
History
- 2026-11-02: add by m2/dev
parallelogram law 6CR67Q57QC
| URI | m2://inv/6CR67Q57QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Parallelogram law 026HPGYGS4 |
Mentions
- wikidata: Wikidata Q919125, parallelogram law (statement). Also MathWorld ParallelogramLaw
- wikipedia: Wikipedia Parallelogram law, Parallelogram law (statement). Also Wikidata Q919125
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
6CR765DGQ6 6CR765DGQ6
| URI | m2://inv/6CR765DGQ6 |
|---|---|
| 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 2411.07596#DGMT (statement). In 4SFRNADV8F/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
John Forbes Nash Jr. 6CRBVJ8ZWV
| URI | m2://inv/6CRBVJ8ZWV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Forbes Nash Jr., John Forbes Nash Jr. (topic). Also Wikidata Q128736
History
- 2026-11-02: add by m2/dev
Simon Donaldson 6CRCDPZG1A
| URI | m2://inv/6CRCDPZG1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#VKL9, Simon Donaldson (topic)
History
- 2026-11-02: add by m2/dev
Extension through the standard tube 6CRE46300N
| URI | m2://inv/6CRE46300N |
|---|---|
| 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.03298#DY43, Extension through the standard tube (statement). In 9SBZP218SM/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Shapiro's lemma 6CRGNX8526
| URI | m2://inv/6CRGNX8526 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapiro's lemma, Shapiro's lemma (statement). Also Wikidata Q7489282
History
- 2026-11-02: add by m2/dev
Local regression 6CRHT91410
| URI | m2://inv/6CRHT91410 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local regression, Local regression (definition). Also Wikidata Q6664520
History
- 2026-11-02: add by m2/dev
Exact threshold counterexample 6CRKQ2J08Y
| URI | m2://inv/6CRKQ2J08Y |
|---|---|
| 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.00939#NJZE, Exact threshold counterexample (statement). In 3X14CMMG58/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Stewart–Walker lemma 6CSAFEG0HV
| URI | m2://inv/6CSAFEG0HV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#F4MB, Stewart–Walker lemma (statement)
History
- 2026-11-02: add by m2/dev
6CSNW2F2BF 6CSNW2F2BF
| URI | m2://inv/6CSNW2F2BF |
|---|---|
| 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.20126#V4B0 (statement). In KVXDWX9B11/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.4.2
lattice 6CSTNPXRCF
| URI | m2://inv/6CSTNPXRCF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/lattice, lattice (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
cluster point, in a metric space 6CSW7NTCNA
| URI | m2://inv/6CSW7NTCNA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.5.5/cluster-point-in-a-metric-space, cluster point, in a metric space (concept). In E59CDZA4DP, index, section 4.5.5
History
- 2026-11-01: add by m2/v0.6.13
Similarity system of triangles 6CT8F8ZGQ7
| URI | m2://inv/6CT8F8ZGQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity system of triangles, Similarity system of triangles (definition). Also Wikidata Q60747024
History
- 2026-11-02: add by m2/dev
6CV2036PQV 6CV2036PQV
| URI | m2://inv/6CV2036PQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23871#819W (statement)
History
- 2026-11-02: add by m2/v0.6.17
6CV60M4ADB 6CV60M4ADB
| URI | m2://inv/6CV60M4ADB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29153#3VKK (statement)
History
- 2026-11-01: add by m2/v0.6.15
6CV9HTDQV3 6CV9HTDQV3
| URI | m2://inv/6CV9HTDQV3 |
|---|---|
| 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.31527#7ENN (statement). In ZQ2YZ4P6P5/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Fixed-point theorems 6CVB1HN1H4
| URI | m2://inv/6CVB1HN1H4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed point (mathematics)#G4Y1, Fixed-point theorems (statement)
History
- 2026-11-02: add by m2/dev
Implementations 6CVBEEVBZV
| URI | m2://inv/6CVBEEVBZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General number field sieve#PBHV, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Universal approximation theorem 6CVDJZEY8P
| URI | m2://inv/6CVDJZEY8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal approximation theorem#4934, Universal approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Kiran Kedlaya 6CVGKTRGY2
| URI | m2://inv/6CVGKTRGY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kiran Kedlaya, Kiran Kedlaya (topic). Also Wikidata Q1742415
History
- 2026-11-02: add by m2/dev
John Etchemendy 6CW268WP0A
| URI | m2://inv/6CW268WP0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SRNV, John Etchemendy (topic)
History
- 2026-11-02: add by m2/dev
Typed and untyped languages 6CWJ05FK5X
| URI | m2://inv/6CWJ05FK5X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Programming language#XBOR, Typed and untyped languages (unknown)
History
- 2026-11-02: add by m2/dev
Subtle cardinal 6CWM77F7F3
| URI | m2://inv/6CWM77F7F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#D5A7, Subtle cardinal (definition)
History
- 2026-11-02: add by m2/dev
Fourier transform of tempered distributions 6CWT4FBET5
| URI | m2://inv/6CWT4FBET5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#UMGA, Fourier transform of tempered distributions (unknown)
History
- 2026-11-02: add by m2/dev
6CX20FZC73 6CX20FZC73
| URI | m2://inv/6CX20FZC73 |
|---|---|
| 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#8661 (statement). In EAABRG99V8/e1, proposition 6.9
History
- 2026-10-27: add by m2/v0.4.0
6CX3EGQENP 6CX3EGQENP
| URI | m2://inv/6CX3EGQENP |
|---|---|
| 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.18744#FKL0 (statement). In AE07JDH5D3/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
6CXA1J477J 6CXA1J477J
| URI | m2://inv/6CXA1J477J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#7CP2 (definition). In 9DQKY7KGE8/e1, definition B.5
History
- 2026-10-31: add by m2/v0.5.6
Examples 6CXJ8V2AF4
| URI | m2://inv/6CXJ8V2AF4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group ring#T6FQ, Examples (example)
History
- 2026-11-02: add by m2/dev
6CXR2AYB4Q 6CXR2AYB4Q
| URI | m2://inv/6CXR2AYB4Q |
|---|---|
| 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 2406.07116#1UIK (definition). In 5B030CB2RK/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.6
Definition 6CXRJFEZ4Y
| URI | m2://inv/6CXRJFEZ4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedral complex#A85L, Definition (definition)
History
- 2026-11-02: add by m2/dev
6CXVT3TN3A 6CXVT3TN3A
| URI | m2://inv/6CXVT3TN3A |
|---|---|
| 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 2508.07340#E6HD (statement). In 2HSB99DW4M/e1, lemma A.5
History
- 2026-10-27: add by m2/v0.3.6
6CY3T2Y4TV 6CY3T2Y4TV
| URI | m2://inv/6CY3T2Y4TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#M0JV (statement). In 6R0KH80PTK/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Examples 6CY4X8CCTB
| URI | m2://inv/6CY4X8CCTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sumner's conjecture#G2MB, Examples (example)
History
- 2026-11-02: add by m2/dev
Order-5 dodecahedral honeycomb 6CY4YCZX5R
| URI | m2://inv/6CY4YCZX5R |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 dodecahedral honeycomb, Order-5 dodecahedral honeycomb (object). Also Wikidata Q7100404
History
- 2026-11-02: add by m2/dev
Generalized expected utility 6CY8ZWG3Y7
| URI | m2://inv/6CY8ZWG3Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MQOI, Generalized expected utility (definition)
History
- 2026-11-02: add by m2/dev
6CYCCDXE3B 6CYCCDXE3B
| URI | m2://inv/6CYCCDXE3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.30098#B5GU (statement)
History
- 2026-11-01: add by m2/v0.6.15
6CYENNZKWJ 6CYENNZKWJ
| URI | m2://inv/6CYENNZKWJ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 37-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.35632#5EN1 (conjecture). In Q74G3BVZAQ/e1, conjecture 7.3
History
- 2026-10-27: add by m2/v0.3.5
Björling problem 6CYGHCH4BF
| URI | m2://inv/6CYGHCH4BF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Björling problem, Björling problem (problem). Also Wikidata Q4919695
History
- 2026-11-02: add by m2/dev
6CYPA7WCXT 6CYPA7WCXT
| URI | m2://inv/6CYPA7WCXT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#BGYZ (statement). In 7SSKW778T8/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
6CYQHFZWH4 6CYQHFZWH4
| URI | m2://inv/6CYQHFZWH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#MIL3 (statement). In P5SY7AVP5E/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
neural $H(\divvr)$ classes in $\R^n$ 6CYQSVA2RZ
| URI | m2://inv/6CYQSVA2RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#7JYH, neural $H(\divvr)$ classes in $\R^n$ (statement). In YR3CSTYEJW/e1, theorem 2.10
History
- 2026-10-29: add by m2/v0.4.10
6CYX81B72W 6CYX81B72W
| URI | m2://inv/6CYX81B72W |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#BLZZ (problem)
History
- 2026-11-02: add by m2/v0.6.18
Michael O. Rabin 6CZ6EG5XGF
| URI | m2://inv/6CZ6EG5XGF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A7WP, Michael O. Rabin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XMJV, Michael O. Rabin (topic)
History
- 2026-11-02: add by m2/dev
Fialka 6CZA5YB7T5
| URI | m2://inv/6CZA5YB7T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fialka, Fialka (definition). Also Wikidata Q1120856
History
- 2026-11-02: add by m2/dev
Definition 6CZE1PC4CF
| URI | m2://inv/6CZE1PC4CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime ideal#D10Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bartels–Stewart algorithm 6CZHAT6NED
| URI | m2://inv/6CZHAT6NED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartels–Stewart algorithm, Bartels–Stewart algorithm (definition). Also Wikidata Q60788442
History
- 2026-11-02: add by m2/dev
6CZYS6NEMG 6CZYS6NEMG
| URI | m2://inv/6CZYS6NEMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#L7KO (statement). In ETV3D93XYD/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10