Inventory rows NT
The cards of the rows of the inventory whose ids start with NT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Information bias NT043KDJ58
| URI | m2://inv/NT043KDJ58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#DN6W, Information bias (unknown)
History
- 2026-11-02: add by m2/dev
NT09JD44FP NT09JD44FP
| URI | m2://inv/NT09JD44FP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Pekka K. Sinervo NT0D7QAHY7
| URI | m2://inv/NT0D7QAHY7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pekka K. Sinervo, Pekka K. Sinervo (topic). Also Wikidata Q91894504
History
- 2026-11-02: add by m2/dev
NT0GWCHSCJ NT0GWCHSCJ
| URI | m2://inv/NT0GWCHSCJ |
|---|---|
| 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.33206#VY5Z (statement). In VRPEECJF2P/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Iatromathematics NT0QAAFTSV
| URI | m2://inv/NT0QAAFTSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iatromathematicians#MLW3, Iatromathematics (unknown)
History
- 2026-11-02: add by m2/dev
NT0QNHPN4Y NT0QNHPN4Y
| URI | m2://inv/NT0QNHPN4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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 2108.10246#AAL2 (statement). In XD0YT3XCW2/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
NT0TM1SWTK NT0TM1SWTK
| URI | m2://inv/NT0TM1SWTK |
|---|---|
| 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.36088#IPF0 (statement). In QJD3MZMJHW/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
undefined NT0WVFFKH5
| URI | m2://inv/NT0WVFFKH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#C1J9, undefined (definition)
History
- 2026-11-02: add by m2/dev
NT0Y63SS10 NT0Y63SS10
| URI | m2://inv/NT0Y63SS10 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#B9JD (example). In G2PA4KAGRP/e1, example 5.9
History
- 2026-10-27: add by m2/v0.3.6
Hodge ordinate NT16C6WC80
| URI | m2://inv/NT16C6WC80 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#L42S, Hodge ordinate (definition). In 8BNPFYQDQX/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
higher stack NT16W0F51N
| URI | m2://inv/NT16W0F51N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#7RBX, higher stack (definition)
History
- 2026-11-02: add by m2/dev
Classification of fuzzy opens NT1DAPTEV8
| URI | m2://inv/NT1DAPTEV8 |
|---|---|
| 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.23281#ZPQA, Classification of fuzzy opens (statement)
History
- 2026-11-02: add by m2/v0.6.17
Column rank NT1DTRVXEF
| URI | m2://inv/NT1DTRVXEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (linear algebra)#8D4P, Column rank (unknown)
History
- 2026-11-02: add by m2/dev
NT1EZ7ZYMZ NT1EZ7ZYMZ
| URI | m2://inv/NT1EZ7ZYMZ |
|---|---|
| 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.39465#ADLP (statement). In 17F6FDEA3W/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Machine learning NT1JDN6EZZ
| URI | m2://inv/NT1JDN6EZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning, Machine learning (definition). Also Wikidata Q2539
History
- 2026-11-02: add by m2/dev
Informal mathematics NT1KTYK9KW
| URI | m2://inv/NT1KTYK9KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informal mathematics, Informal mathematics (definition). Also Wikidata Q6030572
History
- 2026-11-02: add by m2/dev
NT1QPSBEPB NT1QPSBEPB
| URI | m2://inv/NT1QPSBEPB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.20801#0JSY (definition). In A1GWWGRXPA/e1, definition 5.16
History
- 2026-10-27: add by m2/v0.4.2
NT1S5Q12T6 NT1S5Q12T6
| URI | m2://inv/NT1S5Q12T6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#FJES (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diary studies NT20108WM0
| URI | m2://inv/NT20108WM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diary studies, Diary studies (definition). Also Wikidata Q5272048
History
- 2026-11-02: add by m2/dev
NT216VDRW4 NT216VDRW4
| URI | m2://inv/NT216VDRW4 |
|---|---|
| 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.22218#EXWH (definition). In 338GKREFVP/e1, definition 5
History
- 2026-10-27: add by m2/v0.4.0
semi-major axis NT29JKZS4P
| URI | m2://inv/NT29JKZS4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q171594, semi-major axis (unknown). Also MathWorld SemimajorAxis
History
- 2026-10-26: add by m2/dev
Zlil Sela NT2D39SAV7
| URI | m2://inv/NT2D39SAV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#H4TU, Zlil Sela (topic)
History
- 2026-11-02: add by m2/dev
NT2KAC2QED NT2KAC2QED
| URI | m2://inv/NT2KAC2QED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#11YM (statement). In 8SXY7Y68HV/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Schur--Amitsur centralizer theorem NT2KFD8SYK
| URI | m2://inv/NT2KFD8SYK |
|---|---|
| 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.14044#IYBT, Schur--Amitsur centralizer theorem (statement). In 5452SJRWDT/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Six principal separators NT2NATCNJ2
| URI | m2://inv/NT2NATCNJ2 |
|---|---|
| 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#ZFKG, Six principal separators (statement). In 5E9G06XJKC/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Fermat's Last Theorem NT2P95SCQW
| URI | m2://inv/NT2P95SCQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean triple#T82T, Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
NT2SNG4QG3 NT2SNG4QG3
| URI | m2://inv/NT2SNG4QG3 |
|---|---|
| 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 2407.08004#DVUB (statement). In TYS65EG479/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
ideal theory (commutative algebra) NT2XMFC9F3
| URI | m2://inv/NT2XMFC9F3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13A15 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114722688, ideal theory (commutative algebra) (topic)
History
- 2026-10-26: add by m2/dev
NT2YTRVQV7 NT2YTRVQV7
| URI | m2://inv/NT2YTRVQV7 |
|---|---|
| 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.00798#7OKV (statement). In FANG3A8NZ9/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
S Number criterion NT3HBHMMV9
| URI | m2://inv/NT3HBHMMV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Huang transform#RZ3B, S Number criterion (statement)
History
- 2026-11-02: add by m2/dev
Gauge factor NT3TCFCKTM
| URI | m2://inv/NT3TCFCKTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge factor, Gauge factor (definition). Also Wikidata Q5527632
History
- 2026-11-02: add by m2/dev
scale parameter NT3VJDZ1EC
| URI | m2://inv/NT3VJDZ1EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#ECF5, scale parameter (definition)
History
- 2026-11-02: add by m2/dev
NT3X2G09YY NT3X2G09YY
| URI | m2://inv/NT3X2G09YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#534K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diameter graph characterization NT4353FAW2
| URI | m2://inv/NT4353FAW2 |
|---|---|
| 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.06340#XED2, Diameter graph characterization (statement). In PKNZPECH82/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
Simultaneous embedding NT447FDD9S
| URI | m2://inv/NT447FDD9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous embedding, Simultaneous embedding (definition). Also Wikidata Q25304181
History
- 2026-11-02: add by m2/dev
British Society for Research into Learning Mathematics NT45KK5BE3
| URI | m2://inv/NT45KK5BE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia British Society for Research into Learning Mathematics, British Society for Research into Learning Mathematics (definition). Also Wikidata Q4971047
History
- 2026-11-02: add by m2/dev
NT46HQPFV0 NT46HQPFV0
| URI | m2://inv/NT46HQPFV0 |
|---|---|
| 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 2310.02073#5T7C (statement). In 3PNCRG6J62/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
NT46PX1YNR NT46PX1YNR
| URI | m2://inv/NT46PX1YNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#02AT (statement). In WRMNCC8VBC/e1, lemma 49
History
- 2026-10-27: add by m2/v0.3.6
NT4B42TFS7 NT4B42TFS7
| URI | m2://inv/NT4B42TFS7 |
|---|---|
| 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.21724#SGH8 (statement). In EDDJCSBMXN/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.4.2
Definition NT4J2RZF3H
| URI | m2://inv/NT4J2RZF3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric distribution#YJFG, Definition (definition)
History
- 2026-11-02: add by m2/dev
NT503MBBMD NT503MBBMD
| URI | m2://inv/NT503MBBMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12120#PH9I (statement). In G9D4R1AXP8/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
NT50PBK264 NT50PBK264
| URI | m2://inv/NT50PBK264 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-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.13629#YG4N (definition). In PQNYA0C510/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
NT522GR4J1 NT522GR4J1
| URI | m2://inv/NT522GR4J1 |
|---|---|
| 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.08323#KH9R (statement). In FR51ART4NF/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
NT53XGFNHD NT53XGFNHD
| URI | m2://inv/NT53XGFNHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#0OWC (statement). In Q4RZTN2EX6/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
negation NT54NCJND2
| URI | m2://inv/NT54NCJND2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.4/negation, negation (concept). In N54F33XE07, index, section 9.4
History
- 2026-11-01: add by m2/v0.6.13
Euler's theorem in geometry NT5AWCDR1E
| URI | m2://inv/NT5AWCDR1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#53E8, Euler's theorem in geometry (statement)
History
- 2026-11-02: add by m2/dev
Model-free policy-gradient representation NT5N99WQP4
| URI | m2://inv/NT5N99WQP4 |
|---|---|
| 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.11619#KK44, Model-free policy-gradient representation (statement). In HT2K76Y9WS/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.3
NT5PF3DTF8 NT5PF3DTF8
| URI | m2://inv/NT5PF3DTF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#MQCN (statement). In Y8XQT02BBF/e1, lemma 2.30
History
- 2026-10-28: add by m2/v0.4.2
NT5TYEJBYZ NT5TYEJBYZ
| URI | m2://inv/NT5TYEJBYZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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 2206.11797#XVCJ (example). In 8SJWWZN4FH/e1, example 2.7
History
- 2026-10-27: add by m2/v0.4.0
NT5ZKTZFTE NT5ZKTZFTE
| URI | m2://inv/NT5ZKTZFTE |
|---|---|
| Kind | statement |
| 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#HTB1 (statement). In 8Z47D12KSX/e1, corollary 5.10
History
- 2026-10-29: add by m2/v0.4.10
NT62445QAC NT62445QAC
| URI | m2://inv/NT62445QAC |
|---|---|
| Kind | statement |
| 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.13213#CX42 (statement). In V97F4YZ8B0/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Salt NT642H0GY9
| URI | m2://inv/NT642H0GY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salt (cryptography), Salt (definition). Also Wikidata Q1500258
History
- 2026-11-02: add by m2/dev
NT65HT73A8 NT65HT73A8
| URI | m2://inv/NT65HT73A8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-29 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
Properties NT6CHN13H3
| URI | m2://inv/NT6CHN13H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (linear algebra)#UTQ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
NT6FNNSD1Y NT6FNNSD1Y
| URI | m2://inv/NT6FNNSD1Y |
|---|---|
| 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#8LQ6 (definition). In VTVC0TCWSB/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Punctured lattice points and solutions NT6GDAZW2W
| URI | m2://inv/NT6GDAZW2W |
|---|---|
| Kind | definition |
| 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 2610.14085#6O3L, Punctured lattice points and solutions (definition). In T8F19ZGHF3/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Pasch's theorem NT6H3ZZ2JK
| URI | m2://inv/NT6H3ZZ2JK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TP12, Pasch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Angelika Steger NT6PRBERZA
| URI | m2://inv/NT6PRBERZA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T1B6, Angelika Steger (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3E6M, Angelika Steger (unknown)
- wikipedia: Wikipedia List of German mathematicians#D70R, Angelika Steger (unknown)
History
- 2026-11-02: add by m2/dev
Contraction in $\Omega(h)$ NT6TH6YNB4
| URI | m2://inv/NT6TH6YNB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#WFOP, Contraction in $\Omega(h)$ (statement). In GG14QF0JKJ/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
NT6TQATAC5 NT6TQATAC5
| URI | m2://inv/NT6TQATAC5 |
|---|---|
| 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.08052#ZLQZ (statement). In 672XAVEQ34/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
Examples NT6Y0D3WRH
| URI | m2://inv/NT6Y0D3WRH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal field theory#O0KC, Examples (example)
History
- 2026-11-02: add by m2/dev
NT7BDEXDVV NT7BDEXDVV
| URI | m2://inv/NT7BDEXDVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36135#P07H (statement). In H96A235409/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
NT7E1KV2ZJ NT7E1KV2ZJ
| URI | m2://inv/NT7E1KV2ZJ |
|---|---|
| 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.27049#5XHT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Order-mass identity NT7T6HEFQW
| URI | m2://inv/NT7T6HEFQW |
|---|---|
| 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 2610.13063#R8DS, Order-mass identity (statement). In R5AFFWBMAF/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Mod n cryptanalysis NT8513J0FY
| URI | m2://inv/NT8513J0FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mod n cryptanalysis, Mod n cryptanalysis (definition). Also Wikidata Q3005747
History
- 2026-11-02: add by m2/dev
NT88P0QTST NT88P0QTST
| URI | m2://inv/NT88P0QTST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17045#QJOD (statement). In PA6JQDSKQT/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Applications NT8C15GSNK
| URI | m2://inv/NT8C15GSNK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre transformation#SSGK, Applications (example)
History
- 2026-11-02: add by m2/dev
John ellipsoid NT8DN3TRY6
| URI | m2://inv/NT8DN3TRY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#3YV1, John ellipsoid (definition)
History
- 2026-11-02: add by m2/dev
stemplot NT8E2E2J77
| URI | m2://inv/NT8E2E2J77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q737802, stemplot (unknown). Also MathWorld Stem-and-LeafDiagram
- wikipedia: Wikipedia Stem-and-leaf display, Stem-and-leaf display (definition). Also Wikidata Q737802
History
- 2026-10-26: add by m2/dev
Reversed compound agent theorem NT8EMTZ7BY
| URI | m2://inv/NT8EMTZ7BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7318284, Reversed compound agent theorem (statement). Also Wikidata Q7318284
- thousand_plus: thousand_plus Q7318284, Reversed compound agent theorem (statement). Also Wikidata Q7318284, Wikipedia Reversed compound agent theorem
- wikipedia: Wikipedia Reversed compound agent theorem, Reversed compound agent theorem (statement). Also Wikidata Q7318284
History
- 2026-10-26: add by m2/dev
Principal polarisation NT8MNSN4NS
| URI | m2://inv/NT8MNSN4NS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian variety#KT9N, Principal polarisation (unknown)
History
- 2026-11-02: add by m2/dev
Symmetric square NT8NXX7H1X
| URI | m2://inv/NT8NXX7H1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric algebra#UBU6, Symmetric square (unknown)
History
- 2026-11-02: add by m2/dev
NT925CE457 NT925CE457
| URI | m2://inv/NT925CE457 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#EGIB (definition). In W4TYN4PGE8/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
Friedrich Simon Archenhold NT93XP5F2R
| URI | m2://inv/NT93XP5F2R |
|---|---|
| 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#SXEY, Friedrich Simon Archenhold (unknown)
History
- 2026-11-02: add by m2/dev
AEC NT9459MEQC
| URI | m2://inv/NT9459MEQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FEK8, AEC (definition)
History
- 2026-11-02: add by m2/dev
NT97533WWT NT97533WWT
| URI | m2://inv/NT97533WWT |
|---|---|
| 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.30113#ZYHA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nathan Seiberg NT98S6J0D9
| URI | m2://inv/NT98S6J0D9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#7HSR, Nathan Seiberg (unknown)
History
- 2026-11-02: add by m2/dev
NT9MEGGHZR NT9MEGGHZR
| URI | m2://inv/NT9MEGGHZR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#PS3E (definition). In X1J5HKPS3R/e1, definition 1.12
History
- 2026-10-29: add by m2/v0.4.10
Applications NT9NPF5YJB
| URI | m2://inv/NT9NPF5YJB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network#HELJ, Applications (example)
History
- 2026-11-02: add by m2/dev
NT9PRDB5MH NT9PRDB5MH
| URI | m2://inv/NT9PRDB5MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#IGZ1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications NT9SC257NT
| URI | m2://inv/NT9SC257NT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenfunction#BSLG, Applications (example)
History
- 2026-11-02: add by m2/dev
Lehmann–Scheffé theorem NT9SFA6J50
| URI | m2://inv/NT9SFA6J50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JVT9, Lehmann–Scheffé theorem (statement)
History
- 2026-11-02: add by m2/dev
Projection onto a geodesically convex set NT9T7ZSKQD
| URI | m2://inv/NT9T7ZSKQD |
|---|---|
| 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#DEAS, Projection onto a geodesically convex set (statement). In YXZX6Z8S6A/e1, proposition 2.14
History
- 2026-10-28: add by m2/v0.4.2
Truncated 24-cell honeycomb NTA000S7XJ
| URI | m2://inv/NTA000S7XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 24-cell honeycomb, Truncated 24-cell honeycomb (definition). Also Wikidata Q7847849
History
- 2026-11-02: add by m2/dev
Base period NTA0HXF0SP
| URI | m2://inv/NTA0HXF0SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base period, Base period (definition). Also Wikidata Q4866403
History
- 2026-11-02: add by m2/dev
NTA0V6JJMA NTA0V6JJMA
| URI | m2://inv/NTA0V6JJMA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08697#JEJD (example). In GJ4ZMDQF3C/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
Kakutani fixed-point theorem NTA5DWFZGE
| URI | m2://inv/NTA5DWFZGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani fixed-point theorem, Kakutani fixed-point theorem (statement). Also Wikidata Q518524
History
- 2026-11-02: add by m2/dev
Definition NTA887PBRZ
| URI | m2://inv/NTA887PBRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sten scores#BIXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
NTADAWCDNT NTADAWCDNT
| URI | m2://inv/NTADAWCDNT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#41JO (definition). In XFE35F9NEV/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Discriminant of an elliptic curve NTAE33GYM8
| URI | m2://inv/NTAE33GYM8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve#I0IS, Discriminant of an elliptic curve (unknown)
History
- 2026-11-02: add by m2/dev
Mean curvature flow NTAEZ0G6Q4
| URI | m2://inv/NTAEZ0G6Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean curvature flow, Mean curvature flow (definition). Also Wikidata Q6803617
History
- 2026-11-02: add by m2/dev
NTAFM17KP0 NTAFM17KP0
| URI | m2://inv/NTAFM17KP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#3WBI (statement). In SN6F0MPPVF/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Rajeeva L. Karandikar NTAK6ZEPKG
| URI | m2://inv/NTAK6ZEPKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#9URH, Rajeeva L. Karandikar (topic)
History
- 2026-11-02: add by m2/dev
Statistical learning in language acquisition NTB4WX40KW
| URI | m2://inv/NTB4WX40KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical learning in language acquisition, Statistical learning in language acquisition (definition). Also Wikidata Q7604401
History
- 2026-11-02: add by m2/dev
Cross-species transmission NTB7GT6J4X
| URI | m2://inv/NTB7GT6J4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-species transmission, Cross-species transmission (definition). Also Wikidata Q16000070
History
- 2026-11-02: add by m2/dev
Arie Bialostocki NTB7HNYBX3
| URI | m2://inv/NTB7HNYBX3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MR9X, Arie Bialostocki (topic)
History
- 2026-11-02: add by m2/dev
Gegenbauer polynomials NTB7VCMK1X
| URI | m2://inv/NTB7VCMK1X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gegenbauer polynomials 5TRFA6F79B |
Mentions
- wikidata: Wikidata Q1498246, Gegenbauer polynomials (concept). Also MathWorld GegenbauerPolynomial
- wikipedia: Wikipedia Gegenbauer polynomials, Gegenbauer polynomials (definition). Also Wikidata Q1498246
History
- 2026-10-26: add by m2/dev
Tits building NTBFM2XV2H
| URI | m2://inv/NTBFM2XV2H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Building 6BQJ50NEJ0 |
Mentions
- wikidata: Wikidata Q4986445, Tits building (concept). Also MathWorld Building, nLab building
- wikipedia: Wikipedia Building (mathematics), Building (definition). Also Wikidata Q4986445
History
- 2026-10-26: add by m2/dev
NTBHG0JH8D NTBHG0JH8D
| URI | m2://inv/NTBHG0JH8D |
|---|---|
| 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 2205.09049#FPGG (statement). In 37S7MNMZ2F/e1, corollary 47
History
- 2026-10-27: add by m2/v0.3.5
NTC7ME3QQS NTC7ME3QQS
| URI | m2://inv/NTC7ME3QQS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#757T (definition)
History
- 2026-11-01: add by m2/v0.6.15
Infinite dimensional state dependent 's preference functional NTCBVFQHKB
| URI | m2://inv/NTCBVFQHKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25026#1KTR, Infinite dimensional state dependent 's preference functional (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lipschitz stability of Wiener gain NTCBX0M2DR
| URI | m2://inv/NTCBX0M2DR |
|---|---|
| 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.10640#PCXD, Lipschitz stability of Wiener gain (statement). In BAQVK6N0RD/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.10
Ferdinando Piretti NTCGK92Y4S
| URI | m2://inv/NTCGK92Y4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferdinando Piretti, Ferdinando Piretti (topic). Also Wikidata Q21208931
History
- 2026-11-02: add by m2/dev
Local time continuity of $f$ NTCPPQXHHT
| URI | m2://inv/NTCPPQXHHT |
|---|---|
| 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.09278#YLRI, Local time continuity of $f$ (statement). In XREKHJHAT7/e1, proposition 4.13
History
- 2026-10-29: add by m2/v0.4.10
Hard normalized-cut specialization NTCPPWRARR
| URI | m2://inv/NTCPPWRARR |
|---|---|
| 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.31816#0T7S, Hard normalized-cut specialization (statement). In Z86Q8YDPZS/e1, proposition 7.2
History
- 2026-10-31: add by m2/v0.5.6
NTCXNDJYPY NTCXNDJYPY
| URI | m2://inv/NTCXNDJYPY |
|---|---|
| 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.20590#55M1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ernesto Pascal NTCZYEE6S4
| URI | m2://inv/NTCZYEE6S4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernesto Pascal, Ernesto Pascal (topic). Also Wikidata Q1262109
History
- 2026-11-02: add by m2/dev
Properties NTD33N77GD
| URI | m2://inv/NTD33N77GD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-countable space#IG99, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ruppeiner geometry NTD40G31BG
| URI | m2://inv/NTD40G31BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruppeiner geometry, Ruppeiner geometry (definition). Also Wikidata Q7380427
History
- 2026-11-02: add by m2/dev
NTDCQA6V93 NTDCQA6V93
| URI | m2://inv/NTDCQA6V93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem:hfiber_wrt_pullback (statement). In N54F33XE07, lem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Cavalieri's quadrature formula NTDHS2G0S7
| URI | m2://inv/NTDHS2G0S7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of rational functions#A502, Cavalieri's quadrature formula (statement)
History
- 2026-11-02: add by m2/dev
Glenn T. Seaborg NTDJCPXQXM
| URI | m2://inv/NTDJCPXQXM |
|---|---|
| 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#BYEM, Glenn T. Seaborg (unknown)
History
- 2026-11-02: add by m2/dev
ESTREAM NTDTM7YMH3
| URI | m2://inv/NTDTM7YMH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ESTREAM, ESTREAM (definition). Also Wikidata Q1050768
History
- 2026-11-02: add by m2/dev
Tian Zheng NTDXQ0DXY1
| URI | m2://inv/NTDXQ0DXY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tian Zheng, Tian Zheng (topic). Also Wikidata Q42576718
History
- 2026-11-02: add by m2/dev
circular triangle NTDZ1NZQ3F
| URI | m2://inv/NTDZ1NZQ3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25100123, circular triangle (unknown). Also MathWorld CircularTriangle
- wikipedia: Wikipedia Circular triangle, Circular triangle (definition). Also Wikidata Q25100123
History
- 2026-10-26: add by m2/dev
NTE022VY20 NTE022VY20
| URI | m2://inv/NTE022VY20 |
|---|---|
| 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.09019#XNN8 (statement). In 8V6YECFCC1/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
Bernard Lewis Welch NTE4A2TGAC
| URI | m2://inv/NTE4A2TGAC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard Lewis Welch, Bernard Lewis Welch (topic). Also Wikidata Q51719702
History
- 2026-11-02: add by m2/dev
Josina Carolina van Lynden NTE8J0WYX0
| URI | m2://inv/NTE8J0WYX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josina Carolina van Lynden, Josina Carolina van Lynden (topic). Also Wikidata Q19756233
History
- 2026-11-02: add by m2/dev
John Alexander Low Waddell NTEB039NG9
| URI | m2://inv/NTEB039NG9 |
|---|---|
| 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#AK3Z, John Alexander Low Waddell (unknown)
History
- 2026-11-02: add by m2/dev
Ofer Gabber NTEFK4HP44
| URI | m2://inv/NTEFK4HP44 |
|---|---|
| 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 Q1747123, Ofer Gabber (unknown). Also nLab Ofer Gabber
History
- 2026-10-26: add by m2/dev
NTEFQ9T8S8 NTEFQ9T8S8
| URI | m2://inv/NTEFQ9T8S8 |
|---|---|
| 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.16002#KY7Z (statement). In MWXDTQ7XC4/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Results NTEMVAVATM
| URI | m2://inv/NTEMVAVATM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced level mathematics#2TQ9, Results (statement)
History
- 2026-11-02: add by m2/dev
Symmetry NTENET1T7A
| URI | m2://inv/NTENET1T7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betti number#UYSP, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
ICTM math contest NTEZ1E55E5
| URI | m2://inv/NTEZ1E55E5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#ORX6, ICTM math contest (unknown)
History
- 2026-11-02: add by m2/dev
Formal definitions NTF0E1BD4N
| URI | m2://inv/NTF0E1BD4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursion#R7DJ, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Extended Sierpiński problem NTF4DZHHVN
| URI | m2://inv/NTF4DZHHVN |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Wacław Sierpiński#X7W3, Extended Sierpiński problem (conjecture)
History
- 2026-11-02: add by m2/dev
SIC-POVM NTF4WQ6XNN
| URI | m2://inv/NTF4WQ6XNN |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#W5K4, SIC-POVM (conjecture)
History
- 2026-11-02: add by m2/dev
NTF5K0ET1S NTF5K0ET1S
| URI | m2://inv/NTF5K0ET1S |
|---|---|
| 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.12633#6F82 (definition). In NGZ5AZ70NN/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Martin-L\of NTFK28A9QJ
| URI | m2://inv/NTFK28A9QJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/martin-l-of, Martin-L\of (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Prime pages NTFQWBTJ7D
| URI | m2://inv/NTFQWBTJ7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#22D9, Prime pages (topic)
History
- 2026-11-02: add by m2/dev
Characterization NTFVNJH8XZ
| URI | m2://inv/NTFVNJH8XZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block graph#M421, Characterization (statement)
History
- 2026-11-02: add by m2/dev
NTFZ38ZDAG NTFZ38ZDAG
| URI | m2://inv/NTFZ38ZDAG |
|---|---|
| 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.24314#L8FQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
peripheral NTG442TVB6
| URI | m2://inv/NTG442TVB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#GD4C, peripheral (definition)
History
- 2026-11-02: add by m2/dev
NTG4BE1RC0 NTG4BE1RC0
| URI | m2://inv/NTG4BE1RC0 |
|---|---|
| Kind | definition |
| 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 1612.08394#SXEN (definition). In 1P8D88DKG5/e1, definition 7.2
History
- 2026-10-27: add by m2/v0.3.5
NTGBDR0TF5 NTGBDR0TF5
| URI | m2://inv/NTGBDR0TF5 |
|---|---|
| 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.14135#KGL3 (statement). In C304J64Q79/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
Mary Flahive NTGCR4QA6M
| URI | m2://inv/NTGCR4QA6M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9Z6B, Mary Flahive (topic)
History
- 2026-11-02: add by m2/dev
Formal definition NTGJN572WF
| URI | m2://inv/NTGJN572WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-canonical variety#XLQQ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Lemma 1 NTGSDT05TK
| URI | m2://inv/NTGSDT05TK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard code#1HA4, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
NTGVAG5RW0 NTGVAG5RW0
| URI | m2://inv/NTGVAG5RW0 |
|---|---|
| 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.13670#30B2 (statement). In 4PGTZ19B26/e1, lemma 6.9
History
- 2026-10-28: add by m2/v0.4.2
sparkline NTH69YKG8V
| URI | m2://inv/NTH69YKG8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2307841, sparkline (unknown). Also MathWorld Sparkline
- wikipedia: Wikipedia Sparkline, Sparkline (definition). Also Wikidata Q2307841
History
- 2026-10-26: add by m2/dev
NTHA047CJB NTHA047CJB
| URI | m2://inv/NTHA047CJB |
|---|---|
| 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.19088#OPZ5 (statement). In 90QTB4CC31/e1, corollary 3.14
History
- 2026-10-28: add by m2/v0.4.2
NTHM5C4J92 NTHM5C4J92
| URI | m2://inv/NTHM5C4J92 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-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 2606.21391#BS72 (definition). In J9C7YMKJ33/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Aleksandr Kurosh NTHVAPXDCK
| URI | m2://inv/NTHVAPXDCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#URYG, Aleksandr Kurosh (unknown)
History
- 2026-11-02: add by m2/dev
NTJ0J0M404 NTJ0J0M404
| URI | m2://inv/NTJ0J0M404 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.24917#SF02 (example)
History
- 2026-11-01: add by m2/v0.6.15
Properties NTJ2ZX3XVY
| URI | m2://inv/NTJ2ZX3XVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supercompact space#XQ0M, Properties (statement)
History
- 2026-11-02: add by m2/dev
NTJA8MH1QN NTJA8MH1QN
| URI | m2://inv/NTJA8MH1QN |
|---|---|
| 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.04881#WIGO (statement). In W1HRB95DT0/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Cipher device NTJH17Y0Z0
| URI | m2://inv/NTJH17Y0Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cipher device, Cipher device (definition). Also Wikidata Q130902405
History
- 2026-11-02: add by m2/dev
Fedorov's theorem NTJJ67QMN3
| URI | m2://inv/NTJJ67QMN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental polygon#RM68, Fedorov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Example NTJJE8Y05S
| URI | m2://inv/NTJJE8Y05S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted representation#DE4Z, Example (example)
History
- 2026-11-02: add by m2/dev
Complex-zero quadratic singular family NTJJFXK200
| URI | m2://inv/NTJJFXK200 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#DBWA, Complex-zero quadratic singular family (statement)
History
- 2026-11-01: add by m2/v0.6.15
NTJKM0DPSQ NTJKM0DPSQ
| URI | m2://inv/NTJKM0DPSQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#IFCS (definition). In 7V3HG30ZGW/e1, definition 5.14
History
- 2026-10-27: add by m2/v0.4.0
NTJSH8ND98 NTJSH8ND98
| URI | m2://inv/NTJSH8ND98 |
|---|---|
| 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.23279#AV5T (statement)
History
- 2026-11-02: add by m2/v0.6.17
NTJX2ABPY2 NTJX2ABPY2
| URI | m2://inv/NTJX2ABPY2 |
|---|---|
| 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#V1EB (statement). In N9J5DJCTJZ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
NTJZ71N18C NTJZ71N18C
| URI | m2://inv/NTJZ71N18C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/overview.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 29.1
History
- 2026-11-01: add by m2/v0.6.13
NTK2T3NQ6C NTK2T3NQ6C
| URI | m2://inv/NTK2T3NQ6C |
|---|---|
| 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 2609.31274#99CD (statement). In RK0ZMDJ23T/e1, lemma 2.2.14
History
- 2026-10-31: add by m2/v0.5.6
complement NTK3DC17HZ
| URI | m2://inv/NTK3DC17HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Complement 0RKF1ZT5JJ |
Mentions
- wikidata: Wikidata Q242767, complement (unknown). Also MathWorld ComplementSet
- wikipedia: Wikipedia Complement (set theory), Complement (definition). Also Wikidata Q242767
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Bayesian minimax lower bound NTKBJ7NVDX
| URI | m2://inv/NTKBJ7NVDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04671#17H1, Bayesian minimax lower bound (statement). In BYP65TRGDT/e1, theorem 5.15
History
- 2026-10-29: add by m2/v0.4.12
NTKET7J76J NTKET7J76J
| URI | m2://inv/NTKET7J76J |
|---|---|
| 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.01915#GW55 (statement). In 6HJQXZS0A6/e1, proposition 3.22
History
- 2026-10-29: add by m2/v0.4.12
Polychoric correlation NTKGA63XAK
| URI | m2://inv/NTKGA63XAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polychoric correlation, Polychoric correlation (definition). Also Wikidata Q7226213
History
- 2026-11-02: add by m2/dev
NTKMMZMHD4 NTKMMZMHD4
| URI | m2://inv/NTKMMZMHD4 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#0ARF (unknown). In RQZGQG3PBR/e1, unknown II.12.2
History
- 2026-10-30: add by m2/v0.4.12
Examples NTKPP0XEJ3
| URI | m2://inv/NTKPP0XEJ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index group#D6C1, Examples (example)
History
- 2026-11-02: add by m2/dev
NTKQY36TB1 NTKQY36TB1
| URI | m2://inv/NTKQY36TB1 |
|---|---|
| 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.01267#0JJC (example). In GWWHP6R0BZ/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.12
Relative trisection NTKT0TZQ42
| URI | m2://inv/NTKT0TZQ42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#7P10, Relative trisection (definition). In G35G1NJKBX/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Pointwise maximality of maximal relaxed subslope NTM291R5K0
| URI | m2://inv/NTM291R5K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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 2610.21775#VST6, Pointwise maximality of maximal relaxed subslope (statement). In KM3Q791JY0/e1, proposition 3.25
History
- 2026-10-27: add by m2/v0.4.2
Kelvin–Helmholtz mechanism NTM9NERJQY
| URI | m2://inv/NTM9NERJQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin–Helmholtz mechanism, Kelvin–Helmholtz mechanism (definition). Also Wikidata Q477816
History
- 2026-11-02: add by m2/dev
Definitions NTMA593P97
| URI | m2://inv/NTMA593P97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix analysis#8LOY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
singular point NTMEZNXF30
| URI | m2://inv/NTMEZNXF30 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.6/singular-point, singular point (concept). In VNMV985MXX, index, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Hundred Mile Landing NTMPZVRWVY
| URI | m2://inv/NTMPZVRWVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CJCE, Hundred Mile Landing (unknown)
History
- 2026-11-02: add by m2/dev
NTMZQD93MS NTMZQD93MS
| URI | m2://inv/NTMZQD93MS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#H7K3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
NTN6G23FP5 NTN6G23FP5
| URI | m2://inv/NTN6G23FP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.06927#087L (statement). In YM4CSJJDJZ/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.6
NTN7BG8PC5 NTN7BG8PC5
| URI | m2://inv/NTN7BG8PC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#AX89 (statement). In V5PVKDKGGG/e1, corollary 8.12
History
- 2026-10-28: add by m2/v0.4.2
Definition NTN9E3NPPT
| URI | m2://inv/NTN9E3NPPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Schreier curve#2G7S, Definition (definition)
History
- 2026-11-02: add by m2/dev
NTN9FZ3S43 NTN9FZ3S43
| URI | m2://inv/NTN9FZ3S43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#F2M3 (statement). In ZZER8ZBSCR/e1, corollary 3.19
History
- 2026-10-29: add by m2/v0.4.12
Dyadic fraction NTND3RETWP
| URI | m2://inv/NTND3RETWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#VJX5, Dyadic fraction (definition)
History
- 2026-11-02: add by m2/dev
integral extension NTNKFX3ETS
| URI | m2://inv/NTNKFX3ETS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78649322, integral extension (unknown). Also EoM Integral_extension_of_a_ring, MathWorld IntegralExtension
History
- 2026-10-26: add by m2/dev
Octant of a sphere NTNVREYBGD
| URI | m2://inv/NTNVREYBGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octant of a sphere, Octant of a sphere (definition). Also Wikidata Q123058218
History
- 2026-11-02: add by m2/dev
Automorphic number NTP5V72Q3A
| URI | m2://inv/NTP5V72Q3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#USS6, Automorphic number (definition)
History
- 2026-11-02: add by m2/dev
Algorithm NTP74VW66S
| URI | m2://inv/NTP74VW66S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CYK algorithm#N59E, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Newman's lemma NTP7SNQKT8
| URI | m2://inv/NTP7SNQKT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16S15 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1208706, Newman's lemma (topic)
- wikipedia: Wikipedia Newman's lemma, Newman's lemma (statement). Also Wikidata Q1208706
History
- 2026-10-26: add by m2/dev
NTPBBXZYYP NTPBBXZYYP
| URI | m2://inv/NTPBBXZYYP |
|---|---|
| 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 2609.32650#7BU4 (statement). In PHXJ87HKYB/e1, lemma 2.12
History
- 2026-10-31: add by m2/v0.5.6
Bertrand's ballot theorem NTPJR8WTQ1
| URI | m2://inv/NTPJR8WTQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DWYG, Bertrand's ballot theorem (statement)
History
- 2026-11-02: add by m2/dev
Poisson formula NTPQZADHD9
| URI | m2://inv/NTPQZADHD9 |
|---|---|
| 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 2106.11898#BVNG, Poisson formula (statement). In KXXV5X8AG4/e1, proposition 1.5
History
- 2026-10-27: add by m2/v0.3.6
NTPSRBE9BY NTPSRBE9BY
| URI | m2://inv/NTPSRBE9BY |
|---|---|
| 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 2011.07352#6I4K (statement). In 3VPC1GGZ3E/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
NTPW10WVMK NTPW10WVMK
| URI | m2://inv/NTPW10WVMK |
|---|---|
| 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.32478#EYV9 (statement). In 5QBSYDC2XH/e1, lemma B.1
History
- 2026-10-31: add by m2/v0.5.6
NTQ1PFCF24 NTQ1PFCF24
| URI | m2://inv/NTQ1PFCF24 |
|---|---|
| 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 2610.09133#UA0J (statement). In E7BPGPP9Z5/e1, theorem 6.5
History
- 2026-10-29: add by m2/v0.4.10
split epimorphism NTQBP3F4FH
| URI | m2://inv/NTQBP3F4FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121773569, split epimorphism (unknown). Also nLab split epimorphism
History
- 2026-10-26: add by m2/dev
NTQFNAFD9B NTQFNAFD9B
| URI | m2://inv/NTQFNAFD9B |
|---|---|
| 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 2610.15517#BDEP (statement). In C87H6KZSBM/e1, proposition A.3
History
- 2026-10-28: add by m2/v0.4.2
Master lemma NTQK2QYA3H
| URI | m2://inv/NTQK2QYA3H |
|---|---|
| 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.14988#AOPI, Master lemma (statement). In B29M4E6KGC/e1, lemma J.8
History
- 2026-10-28: add by m2/v0.4.2
ambient NTQN3YM612
| URI | m2://inv/NTQN3YM612 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#W5WW, ambient (definition)
History
- 2026-11-02: add by m2/dev
Poincaré inequality on metric-measure spaces NTQR3C4767
| URI | m2://inv/NTQR3C4767 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré inequality#U1Z0, Poincaré inequality on metric-measure spaces (statement)
History
- 2026-11-02: add by m2/dev
NTQTSDGJ3S NTQTSDGJ3S
| URI | m2://inv/NTQTSDGJ3S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.13129#D34B (example). In J5Z1JD5VKR/e1, example 2.3
History
- 2026-10-27: add by m2/v0.4.0
Lieb–Thirring inequality NTR2PRDEW2
| URI | m2://inv/NTR2PRDEW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lieb–Thirring inequality, Lieb–Thirring inequality (statement). Also Wikidata Q25303678
History
- 2026-11-02: add by m2/dev
11B-X-1371 NTR6YKE6FM
| URI | m2://inv/NTR6YKE6FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 11B-X-1371, 11B-X-1371 (definition). Also Wikidata Q21426951
History
- 2026-11-02: add by m2/dev
KKMS theorem NTR8YZWAY6
| URI | m2://inv/NTR8YZWAY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#13MC, KKMS theorem (statement)
History
- 2026-11-02: add by m2/dev
Zarankiewicz problem NTREKND71X
| URI | m2://inv/NTREKND71X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8066611, Kövari–Sós–Turán theorem (statement). Also Wikidata Q8066611
- thousand_plus: thousand_plus Q8066611, Kövari–Sós–Turán theorem (statement). Also Wikidata Q8066611, Wikipedia Kövari–Sós–Turán theorem
- wikipedia: Wikipedia Zarankiewicz problem, Zarankiewicz problem (conjecture). Also Wikidata Q8066611
History
- 2026-10-26: add by m2/dev
NTRGGBXSMH NTRGGBXSMH
| URI | m2://inv/NTRGGBXSMH |
|---|---|
| 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.18205#KJQJ (statement). In Y37VAPDKE4/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Fixed-point property NTRHMZJCE4
| URI | m2://inv/NTRHMZJCE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point property, Fixed-point property (definition). Also Wikidata Q5456331
History
- 2026-11-02: add by m2/dev
étale homotopy type NTRK0C3DHN
| URI | m2://inv/NTRK0C3DHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17011031, étale homotopy type (unknown). Also nLab étale homotopy
- wikipedia: Wikipedia Étale homotopy type, Étale homotopy type (definition). Also Wikidata Q17011031
History
- 2026-10-26: add by m2/dev
Example NTRTGGWB1S
| URI | m2://inv/NTRTGGWB1S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Zurbenko filter#F9D2, Example (example)
History
- 2026-11-02: add by m2/dev
Examples of abelian categories NTS16FNSSN
| URI | m2://inv/NTS16FNSSN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#example-2, Examples of abelian categories (example). In RZP28ERRZV, example, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Spherical space form conjecture NTS2RFS5DM
| URI | m2://inv/NTS2RFS5DM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical space form conjecture, Spherical space form conjecture (statement). Also Wikidata Q16969147
History
- 2026-11-02: add by m2/dev
NTS9MX30GJ NTS9MX30GJ
| URI | m2://inv/NTS9MX30GJ |
|---|---|
| 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.35442#DWMC (statement). In C6R0DAA279/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
NTSF0YC5QF NTSF0YC5QF
| URI | m2://inv/NTSF0YC5QF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 22.15
History
- 2026-11-01: add by m2/v0.6.13
variance NTSGVKZ0WP
| URI | m2://inv/NTSGVKZ0WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#MZQO, variance (definition)
History
- 2026-11-02: add by m2/dev
NTSQ5Z8DSR NTSQ5Z8DSR
| URI | m2://inv/NTSQ5Z8DSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#PA6F (statement). In GHKR740SG3/e1, theorem 15.2
History
- 2026-10-31: add by m2/v0.5.6
smooth NTSQVE11CH
| URI | m2://inv/NTSQVE11CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#6RY4, smooth (definition)
History
- 2026-11-02: add by m2/dev
Steven J. Miller NTSVZQZ1HM
| URI | m2://inv/NTSVZQZ1HM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BM1F, Steven J. Miller (topic)
History
- 2026-11-02: add by m2/dev
Stretching bound for lattices preserved by the cyclic action NTSWE07W9M
| URI | m2://inv/NTSWE07W9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#0UNR, Stretching bound for lattices preserved by the cyclic action (statement). In 7F8KACT5AJ/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Peter Gavin Hall NTT41V17V5
| URI | m2://inv/NTT41V17V5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4HZL, Peter Gavin Hall (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#OSKK, Peter Gavin Hall (topic)
History
- 2026-11-02: add by m2/dev
Capillary support function NTT4VEMPRD
| URI | m2://inv/NTT4VEMPRD |
|---|---|
| Kind | definition |
| 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 2506.09840#8B20, Capillary support function (definition). In Y7TWHSF2HC/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Application NTTE1Z54K2
| URI | m2://inv/NTTE1Z54K2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corresponding conditional#G5T5, Application (example)
History
- 2026-11-02: add by m2/dev
Shlomo Moran NTTKKFPHZ0
| URI | m2://inv/NTTKKFPHZ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SVDI, Shlomo Moran (unknown)
History
- 2026-11-02: add by m2/dev
NTTP0ZKPHH NTTP0ZKPHH
| URI | m2://inv/NTTP0ZKPHH |
|---|---|
| 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.30544#MBKD (statement). In CB35ZBBBPT/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
The two ends of the bridge NTTPSTS68T
| URI | m2://inv/NTTPSTS68T |
|---|---|
| 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.21271#M7D7, The two ends of the bridge (statement)
History
- 2026-11-02: add by m2/v0.6.18
Original-class small-gap matching, informal NTTTWPE13T
| URI | m2://inv/NTTTWPE13T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03633#RHIN, Original-class small-gap matching, informal (statement). In X3E4D61X4V/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Triangle estimate NTTZXYMDT3
| URI | m2://inv/NTTZXYMDT3 |
|---|---|
| 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.12803#7BCJ, Triangle estimate (statement). In 98GNJ4MS7Q/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
Algorithms NTV6M387S8
| URI | m2://inv/NTV6M387S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden shift problem#JBA9, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
NTV94JN5KA NTV94JN5KA
| URI | m2://inv/NTV94JN5KA |
|---|---|
| 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#JXST (statement)
History
- 2026-11-01: add by m2/v0.6.15
Francis Raven NTVAF3NGZZ
| URI | m2://inv/NTVAF3NGZZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Raven, Francis Raven (topic). Also Wikidata Q16010500
History
- 2026-11-02: add by m2/dev
Shapley value NTVC7ZQE38
| URI | m2://inv/NTVC7ZQE38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley value, Shapley value (definition). Also Wikidata Q240046
History
- 2026-11-02: add by m2/dev
NTVCC7FEYG NTVCC7FEYG
| URI | m2://inv/NTVCC7FEYG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
NTVFTXFAPE NTVFTXFAPE
| URI | m2://inv/NTVFTXFAPE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-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.31352#3BXV (example). In SQZGKRDVBX/e1, example 3.6
History
- 2026-10-31: add by m2/v0.5.6
R. H. Jude NTVK8NMANE
| URI | m2://inv/NTVK8NMANE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. H. Jude, R. H. Jude (topic). Also Wikidata Q136341183
History
- 2026-11-02: add by m2/dev
Cellular approximation theorem NTVN97H96Y
| URI | m2://inv/NTVN97H96Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#X8LS, Cellular approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties NTVNS6GB6Y
| URI | m2://inv/NTVNS6GB6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes operator#W532, Properties (statement)
History
- 2026-11-02: add by m2/dev
NTVPT1JR7D NTVPT1JR7D
| URI | m2://inv/NTVPT1JR7D |
|---|---|
| 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.26401#J5YG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Martin Schottenloher NTVV1WM9ZT
| URI | m2://inv/NTVV1WM9ZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#2X1H, Martin Schottenloher (topic)
History
- 2026-11-02: add by m2/dev
Mean absolute difference NTVWX7PRJW
| URI | m2://inv/NTVWX7PRJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute difference, Mean absolute difference (definition). Also Wikidata Q3707381
History
- 2026-11-02: add by m2/dev
Properties NTVZDKK916
| URI | m2://inv/NTVZDKK916 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length of a module#W0B9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Colette Moeglin NTW1N2M9BC
| URI | m2://inv/NTW1N2M9BC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colette Moeglin, Colette Moeglin (topic). Also Wikidata Q26923208
History
- 2026-11-02: add by m2/dev
Brauer tree NTW4Y4Q8XB
| URI | m2://inv/NTW4Y4Q8XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer tree, Brauer tree (definition). Also Wikidata Q4958225
History
- 2026-11-02: add by m2/dev
NTW85K4DYB NTW85K4DYB
| URI | m2://inv/NTW85K4DYB |
|---|---|
| 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.20444#Z9UO (statement)
History
- 2026-11-02: add by m2/v0.6.18
NTWAGSNQZX NTWAGSNQZX
| URI | m2://inv/NTWAGSNQZX |
|---|---|
| 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.32906#8VM4 (statement). In R589MXXHX4/e1, proposition 2.7
History
- 2026-10-31: add by m2/v0.5.6
NTWBP5FXM1 NTWBP5FXM1
| URI | m2://inv/NTWBP5FXM1 |
|---|---|
| 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#K19R (statement)
History
- 2026-11-01: add by m2/v0.6.15
P and R measures NTWCG1Q65N
| URI | m2://inv/NTWCG1Q65N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P and R measures, P and R measures (definition). Also Wikidata Q7121278
History
- 2026-11-02: add by m2/dev
Further examples NTWKZERRKJ
| URI | m2://inv/NTWKZERRKJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arzelà–Ascoli theorem#D0KJ, Further examples (example)
History
- 2026-11-02: add by m2/dev
NTWN5G138Y NTWN5G138Y
| URI | m2://inv/NTWN5G138Y |
|---|---|
| Kind | example |
| 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.25269#UQDL (example)
History
- 2026-11-01: add by m2/v0.6.15
Invariant emission sections imply regularity NTWTRBTY2N
| URI | m2://inv/NTWTRBTY2N |
|---|---|
| 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.15686#AEJU, Invariant emission sections imply regularity (statement). In 4HCK722M2G/e1, proposition 5.13
History
- 2026-10-28: add by m2/v0.4.2
NTX2QWJ7VG NTX2QWJ7VG
| URI | m2://inv/NTX2QWJ7VG |
|---|---|
| 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.08052#CYG0 (statement). In 672XAVEQ34/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.10
Jeri Mulrow NTX59TXHMT
| URI | m2://inv/NTX59TXHMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeri Mulrow, Jeri Mulrow (topic). Also Wikidata Q107488252
History
- 2026-11-02: add by m2/dev
NTXM036WC9 NTXM036WC9
| URI | m2://inv/NTXM036WC9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#prob:sin_improper (exercise). In RZP28ERRZV, dproblem, section 65.4
History
- 2026-11-01: add by m2/v0.6.13
NTXVNZQCE4 NTXVNZQCE4
| URI | m2://inv/NTXVNZQCE4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01247#FMZ0 (example). In 6EVNCRZ118/e1, example 37
History
- 2026-10-29: add by m2/v0.4.12
Judea Pearl NTYDTDTFAQ
| URI | m2://inv/NTYDTDTFAQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OFZV, Judea Pearl (unknown)
History
- 2026-11-02: add by m2/dev
Pythagorean theorem NTYNPWRKRB
| URI | m2://inv/NTYNPWRKRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education#X1CZ, Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
Law of tangents NTYPK0YKWR
| URI | m2://inv/NTYPK0YKWR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#LZD1, Law of tangents (statement)
History
- 2026-11-02: add by m2/dev
Debye temperature NTYZ7W78QG
| URI | m2://inv/NTYZ7W78QG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debye model#MBR1, Debye temperature (unknown)
History
- 2026-11-02: add by m2/dev
NTZ215JF7H NTZ215JF7H
| URI | m2://inv/NTZ215JF7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#Z93N (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition NTZ2QPBESY
| URI | m2://inv/NTZ2QPBESY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum of groups#I3S6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Morera NTZ68QW3R2
| URI | m2://inv/NTZ68QW3R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:onevarmorera, Morera (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
William Gerard Dwyer NTZ8BE4RJB
| URI | m2://inv/NTZ8BE4RJB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Gerard Dwyer, William Gerard Dwyer (topic). Also Wikidata Q24254227
History
- 2026-11-02: add by m2/dev
NTZ8NRKZQW NTZ8NRKZQW
| URI | m2://inv/NTZ8NRKZQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#QZQK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Complex plane NTZ97M4C9B
| URI | m2://inv/NTZ97M4C9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#SDYA, Complex plane (definition)
History
- 2026-11-02: add by m2/dev
NTZ9RWAAJ3 NTZ9RWAAJ3
| URI | m2://inv/NTZ9RWAAJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#OWFY (statement). In B366ACYB37/e1, lemma 3.30
History
- 2026-10-27: add by m2/v0.3.5
Wilfried Schmid NTZDW2S1KS
| URI | m2://inv/NTZDW2S1KS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilfried Schmid, Wilfried Schmid (topic). Also Wikidata Q2571354
History
- 2026-11-02: add by m2/dev
NTZGEPX25K NTZGEPX25K
| URI | m2://inv/NTZGEPX25K |
|---|---|
| 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 2209.01576#EUQE (statement). In EF0X4TKTR4/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
Terminology NTZGMF28TK
| URI | m2://inv/NTZGMF28TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final functor#9QT2, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Reduction to the irreducible case NTZM4P027T
| URI | m2://inv/NTZM4P027T |
|---|---|
| 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.21043#SWG8, Reduction to the irreducible case (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples NTZMS505J6
| URI | m2://inv/NTZMS505J6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arity#KJJR, Examples (example)
History
- 2026-11-02: add by m2/dev
Differentiability of convex functions NTZT717JAZ
| URI | m2://inv/NTZT717JAZ |
|---|---|
| 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.17519#Z0AA, Differentiability of convex functions (statement). In H2DNTQ5MKV/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
NTZVCBW41Z NTZVCBW41Z
| URI | m2://inv/NTZVCBW41Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#0TR3 (statement). In CFJH0Q39FZ/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
NTZWB85J14 NTZWB85J14
| URI | m2://inv/NTZWB85J14 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
NTZXBK3GHX NTZXBK3GHX
| URI | m2://inv/NTZXBK3GHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:rationals dense (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13