Inventory rows N8
The cards of the rows of the inventory whose ids start with N8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
N800C65H1J N800C65H1J
| URI | m2://inv/N800C65H1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20165#DC7U (statement). In QTD3BP5GA0/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.4.2
Fundamental theorem of noncommutative algebra N803JS8TTD
| URI | m2://inv/N803JS8TTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#HCZA, Fundamental theorem of noncommutative algebra (definition)
History
- 2026-11-02: add by m2/dev
N809KR53ZS N809KR53ZS
| URI | m2://inv/N809KR53ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#9KUX (statement). In SXTX59QBVT/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
N809T8MNCH N809T8MNCH
| URI | m2://inv/N809T8MNCH |
|---|---|
| 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 2111.08123#IISO (statement). In TAAB0QAKAG/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
adjoint, functor N80A0Y255J
| URI | m2://inv/N80A0Y255J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/adjoint-functor, adjoint, functor (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
Properties N80ECN8D0N
| URI | m2://inv/N80ECN8D0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fujiki class C#QRQL, Properties (statement)
History
- 2026-11-02: add by m2/dev
N80TFZN06Z N80TFZN06Z
| URI | m2://inv/N80TFZN06Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#2RR8 (statement). In V7SN19J84T/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
Vilalta N80V95J7VR
| URI | m2://inv/N80V95J7VR |
|---|---|
| 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#JZYA, Vilalta (statement). In 6HJQXZS0A6/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
N815GND9DK N815GND9DK
| URI | m2://inv/N815GND9DK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-7 (statement). In E9HS8K3A52, theorem, section 10.7.1
History
- 2026-11-01: add by m2/v0.6.13
Green's matrix N816RNJ4WX
| URI | m2://inv/N816RNJ4WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's matrix, Green's matrix (definition). Also Wikidata Q3299258
History
- 2026-11-02: add by m2/dev
Jordan-Schönflies theorem N816WZY717
| URI | m2://inv/N816WZY717 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#H0RX, Jordan-Schönflies theorem (problem)
History
- 2026-11-02: add by m2/dev
Generalizations N81AFAXTZ5
| URI | m2://inv/N81AFAXTZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Napoleon's theorem#S3MH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Marked deletion N81FKM7851
| URI | m2://inv/N81FKM7851 |
|---|---|
| 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 2610.06081#MJ65, Marked deletion (statement). In 7Z3KQRFEVG/e1, theorem B.2
History
- 2026-10-29: add by m2/v0.4.10
N81G8CC36R N81G8CC36R
| URI | m2://inv/N81G8CC36R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#D1J6 (statement). In CY1FE8W1ZW/e1, lemma 0.98
History
- 2026-10-27: add by m2/v0.4.0
Lagged Fibonacci generator N81MQ0FQN8
| URI | m2://inv/N81MQ0FQN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#2RVQ, Lagged Fibonacci generator (definition)
History
- 2026-11-02: add by m2/dev
Applications N823YFGCQY
| URI | m2://inv/N823YFGCQY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boy's surface#MHPF, Applications (example)
History
- 2026-11-02: add by m2/dev
Morris Marden N829QWVRPS
| URI | m2://inv/N829QWVRPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morris Marden, Morris Marden (topic). Also Wikidata Q21696347
History
- 2026-11-02: add by m2/dev
N82AHQ36R8 N82AHQ36R8
| URI | m2://inv/N82AHQ36R8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#VK35 (definition). In 9PXXGQ978Z/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Online regret N82EDXXVYH
| URI | m2://inv/N82EDXXVYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33291#1QLZ, Online regret (statement). In HQN1Y9RP53/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
uniqueness, principle, propositional, for homotopy $\w$-types N82ETPTTVA
| URI | m2://inv/N82ETPTTVA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.5/uniqueness-principle-propositional-for-homotopy-w-types, uniqueness, principle, propositional, for homotopy $\w$-types (concept). In N54F33XE07, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Deterministic localization for extremality N82EZQF8TA
| URI | m2://inv/N82EZQF8TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#SVN1, Deterministic localization for extremality (statement). In G3E1P350Z6/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
Neil Sloane N82JEHN90P
| URI | m2://inv/N82JEHN90P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VO37, Neil Sloane (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YTWF, Neil Sloane (topic)
History
- 2026-11-02: add by m2/dev
Legality N82KYS2A2E
| URI | m2://inv/N82KYS2A2E |
|---|---|
| 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 math/0003117#UVEH, Legality (statement). In WD2NCBV9F0/e1, lemma 20.2
History
- 2026-10-27: add by m2/v0.3.5
Digit value N82N7TSVAA
| URI | m2://inv/N82N7TSVAA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical digit#KUAP, Digit value (unknown)
History
- 2026-11-02: add by m2/dev
Institute for Scientific Research N82NFQXW7T
| URI | m2://inv/N82NFQXW7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#1B7C, Institute for Scientific Research (unknown)
History
- 2026-11-02: add by m2/dev
Dixon Wecter N82SVN23JR
| URI | m2://inv/N82SVN23JR |
|---|---|
| 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#HLQM, Dixon Wecter (unknown)
History
- 2026-11-02: add by m2/dev
N82TJFAEGR N82TJFAEGR
| URI | m2://inv/N82TJFAEGR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#investigation-2 (exercise). In Y91XFCEVHQ, investigation, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Definition N82Y4D1DEB
| URI | m2://inv/N82Y4D1DEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative signal-flow graph#O4SJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
A-paracompact space N8335HTVKJ
| URI | m2://inv/N8335HTVKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A-paracompact space, A-paracompact space (definition). Also Wikidata Q4647000
History
- 2026-11-02: add by m2/dev
Period mapping N833QXD4S7
| URI | m2://inv/N833QXD4S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period mapping, Period mapping (definition). Also Wikidata Q7168619
History
- 2026-11-02: add by m2/dev
N837X1H90R N837X1H90R
| URI | m2://inv/N837X1H90R |
|---|---|
| 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.23694#F4PF (statement)
History
- 2026-11-02: add by m2/v0.6.17
N83KG3PEYR N83KG3PEYR
| URI | m2://inv/N83KG3PEYR |
|---|---|
| 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.03222#AIDC (statement). In BB0JGNK4YF/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Bethe-Sommerfeld conjecture N83VFAKSY7
| URI | m2://inv/N83VFAKSY7 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q119795143, Bethe-Sommerfeld conjecture (conjecture). Also EoM Bethe-Sommerfeld_conjecture
History
- 2026-10-26: add by m2/dev
Examples N83WHV5E0N
| URI | m2://inv/N83WHV5E0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floral formula#TT6X, Examples (example)
History
- 2026-11-02: add by m2/dev
N841XQZ0EQ N841XQZ0EQ
| URI | m2://inv/N841XQZ0EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#O8D2 (statement). In F0E8YBV0Z0/e1, corollary B.2
History
- 2026-10-30: add by m2/v0.4.12
type, homotopy-inductive N846BJR1H2
| URI | m2://inv/N846BJR1H2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.5/type-homotopy-inductive, type, homotopy-inductive (concept). In N54F33XE07, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
N849470A4V N849470A4V
| URI | m2://inv/N849470A4V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17135#159P (definition). In 74MXJ2RX4B/e1, definition C.1
History
- 2026-10-27: add by m2/v0.3.5
Hole Probability N84F1B3YPR
| URI | m2://inv/N84F1B3YPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.16304#8101, Hole Probability (definition). In NEGP0YBA3C/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
□ N84YFJZPTD
| URI | m2://inv/N84YFJZPTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FRJK, □ (definition)
History
- 2026-11-02: add by m2/dev
N850EA3BJ7 N850EA3BJ7
| URI | m2://inv/N850EA3BJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23871#KHEK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dickey–Fuller test N853HPX0N1
| URI | m2://inv/N853HPX0N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickey–Fuller test, Dickey–Fuller test (definition). Also Wikidata Q1209988
History
- 2026-11-02: add by m2/dev
N854ZKPY6P N854ZKPY6P
| URI | m2://inv/N854ZKPY6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#XHQ4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
N8594C0T9T N8594C0T9T
| URI | m2://inv/N8594C0T9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0803.0074#JXIH (statement). In NWJEN5GWFV/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Dysgenics N85F45ACYA
| URI | m2://inv/N85F45ACYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dysgenics, Dysgenics (definition). Also Wikidata Q1269262
History
- 2026-11-02: add by m2/dev
Unconstrained barycenter duality N85F85WQYJ
| URI | m2://inv/N85F85WQYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#9HFC, Unconstrained barycenter duality (statement). In MM8P5CJR18/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.12
ג N85J2TBVY5
| URI | m2://inv/N85J2TBVY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#QYTL, ג (definition)
History
- 2026-11-02: add by m2/dev
Mertens function N85WAFZXFA
| URI | m2://inv/N85WAFZXFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q841254, Mertens function (concept). Also MathWorld MertensFunction
- wikipedia: Wikipedia Mertens function, Mertens function (definition). Also Wikidata Q841254
History
- 2026-10-26: add by m2/dev
Ludwig Scheeffer N85XMYWY40
| URI | m2://inv/N85XMYWY40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Scheeffer, Ludwig Scheeffer (topic). Also Wikidata Q28038668
History
- 2026-11-02: add by m2/dev
N863MBYZ54 N863MBYZ54
| URI | m2://inv/N863MBYZ54 |
|---|---|
| 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 2502.08738#BHBJ (definition). In 9GMTVSTAVN/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Example N866ZZ8JQC
| URI | m2://inv/N866ZZ8JQC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential operator#D5ZL, Example (example)
History
- 2026-11-02: add by m2/dev
Prime quadruplet N867P8NCAT
| URI | m2://inv/N867P8NCAT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#QX3G, Prime quadruplet (conjecture)
History
- 2026-11-02: add by m2/dev
Federico Cafiero N86NNNXK5M
| URI | m2://inv/N86NNNXK5M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federico Cafiero, Federico Cafiero (topic). Also Wikidata Q5440972
History
- 2026-11-02: add by m2/dev
N86S4YZJ9Z N86S4YZJ9Z
| URI | m2://inv/N86S4YZJ9Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#CKY0 (definition). In YVGRZK1HRS/e1, definition 1.8
History
- 2026-10-29: add by m2/v0.4.10
Sallie Pero Mead N86V6NNQF5
| URI | m2://inv/N86V6NNQF5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sallie Pero Mead, Sallie Pero Mead (topic). Also Wikidata Q124400004
History
- 2026-11-02: add by m2/dev
N86WZPF0M9 N86WZPF0M9
| URI | m2://inv/N86WZPF0M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29510#B6UY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arrangement N872VH8S8W
| URI | m2://inv/N872VH8S8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrangement (space partition), Arrangement (definition). Also Wikidata Q18209559
History
- 2026-11-02: add by m2/dev
pentagonal number N8731SG30X
| URI | m2://inv/N8731SG30X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q674928, pentagonal number (unknown). Also MathWorld PentagonalNumber, OEIS A000326
- wikipedia: Wikipedia Pentagonal number, Pentagonal number (definition). Also Wikidata Q674928
History
- 2026-10-26: add by m2/dev
partial sum N87BJDZR27
| URI | m2://inv/N87BJDZR27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Partial sum 09RJ859N7A |
Mentions
- wikidata: Wikidata Q91251069, partial sum (unknown). Also MathWorld PartialSum
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Tetration N87J90M1BV
| URI | m2://inv/N87J90M1BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#GKG3, Tetration (definition)
- wikipedia: Wikipedia List of exponential topics#TGZD, Tetration (definition)
- wikipedia: Wikipedia List of mathematical functions#8LYL, Tetration (definition)
History
- 2026-11-02: add by m2/dev
Algorithms N87MZX71BA
| URI | m2://inv/N87MZX71BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounding sphere#DYPJ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
N87R1KHXGH N87R1KHXGH
| URI | m2://inv/N87R1KHXGH |
|---|---|
| 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 2312.14445#DV1Q (statement). In V56MKF0KW2/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Parade of horribles N87TWRY9BR
| URI | m2://inv/N87TWRY9BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parade of horribles, Parade of horribles (definition). Also Wikidata Q7134101
History
- 2026-11-02: add by m2/dev
cf.\ N88AYQQXQ4
| URI | m2://inv/N88AYQQXQ4 |
|---|---|
| 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.25524#IKQZ, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Closed graph theorem N88F7CSPJ6
| URI | m2://inv/N88F7CSPJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem#BVDB, Closed graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal potential N88H9NZ70Z
| URI | m2://inv/N88H9NZ70Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nernst equation#WMNC, Formal potential (unknown)
History
- 2026-11-02: add by m2/dev
N88YCW4D4E N88YCW4D4E
| URI | m2://inv/N88YCW4D4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#MTCB (statement). In A4VP56CT7B/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
N897NJP6TF N897NJP6TF
| URI | m2://inv/N897NJP6TF |
|---|---|
| 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 2609.27042#XK07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nicole Spillane N89BSYCWRT
| URI | m2://inv/N89BSYCWRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicole Spillane, Nicole Spillane (topic). Also Wikidata Q55820360
History
- 2026-11-02: add by m2/dev
N89NRDT0WT N89NRDT0WT
| URI | m2://inv/N89NRDT0WT |
|---|---|
| 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 2206.11809#WTYT (statement). In YQXYSNW78V/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
triangle zeros N89Z5PZWG0
| URI | m2://inv/N89Z5PZWG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02289#EHSW, triangle zeros (statement). In 67BZ87CQ74/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
N8A02T0AAX N8A02T0AAX
| URI | m2://inv/N8A02T0AAX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#R3I6 (definition). In 3A4K47Y9F2/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.0
Coset N8A31TFZC5
| URI | m2://inv/N8A31TFZC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#NM31, Coset (definition)
- wikipedia: Wikipedia List of mathematical proofs#3I5J, Coset (definition)
History
- 2026-11-02: add by m2/dev
Statement N8A34KMFJY
| URI | m2://inv/N8A34KMFJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuza's conjecture#CA7F, Statement (statement)
History
- 2026-11-02: add by m2/dev
store=bis N8A3K8XVGG
| URI | m2://inv/N8A3K8XVGG |
|---|---|
| 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.21895#IZGD, store=bis (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gerhard Gentzen N8A8PJAZAB
| URI | m2://inv/N8A8PJAZAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#PESF, Gerhard Gentzen (topic)
History
- 2026-11-02: add by m2/dev
N8AEYMC92N N8AEYMC92N
| URI | m2://inv/N8AEYMC92N |
|---|---|
| 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#4I5E (statement). In EDDJCSBMXN/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Person-fit analysis N8ANVS89B5
| URI | m2://inv/N8ANVS89B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Person-fit analysis, Person-fit analysis (definition). Also Wikidata Q7170434
History
- 2026-11-02: add by m2/dev
The enlarged site N8AR72K8E6
| URI | m2://inv/N8AR72K8E6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#BP18, The enlarged site (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition and notation N8B06JRTHB
| URI | m2://inv/N8B06JRTHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median#POKC, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
Algorithms N8B3P7WXXF
| URI | m2://inv/N8B3P7WXXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#ZYSQ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Stochastic moments of $\nabla W_1$ N8BCJ9388Z
| URI | m2://inv/N8BCJ9388Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08487#TYBX, Stochastic moments of $\nabla W_1$ (statement). In 77TVQVYN0Z/e1, theorem 24
History
- 2026-10-27: add by m2/v0.3.6
N8BDN6PF2S N8BDN6PF2S
| URI | m2://inv/N8BDN6PF2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14435#EOQM (statement). In Y9FSN5BVNQ/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.2
N8BMZ206E0 N8BMZ206E0
| URI | m2://inv/N8BMZ206E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#FFHI (statement). In 67GE5M1GGD/e1, theorem #1
History
- 2026-10-30: add by m2/v0.4.12
Laface--Ugaglia principle N8BS1BTMDE
| URI | m2://inv/N8BS1BTMDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01783#4NKM, Laface--Ugaglia principle (statement). In 8BKC3PVX9G/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.12
Quod erat faciendum N8C616SEQQ
| URI | m2://inv/N8C616SEQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#BP80, Quod erat faciendum (definition)
History
- 2026-11-02: add by m2/dev
N8C7ZGGZC7 N8C7ZGGZC7
| URI | m2://inv/N8C7ZGGZC7 |
|---|---|
| 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.25111#NVR6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
N8CC4H0K8D N8CC4H0K8D
| URI | m2://inv/N8CC4H0K8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#8BHD (statement). In DPT4P2BTEW/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
Inherited annealed \(\alpha\)-mixing N8CE1TZVHE
| URI | m2://inv/N8CE1TZVHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#DCOT, Inherited annealed \(\alpha\)-mixing (statement). In XFE35F9NEV/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Applications N8CHT15H1H
| URI | m2://inv/N8CHT15H1H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetragonal trapezohedron#2TG7, Applications (example)
History
- 2026-11-02: add by m2/dev
N8CN3D045Z N8CN3D045Z
| URI | m2://inv/N8CN3D045Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#QYUG (statement). In 79H1DEK4M9/e1, corollary 8.2
History
- 2026-10-29: add by m2/v0.4.10
Definition N8CSD7RZFD
| URI | m2://inv/N8CSD7RZFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite word#ZJN5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples N8CT32B26F
| URI | m2://inv/N8CT32B26F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite von Neumann algebra#0QWP, Examples (example)
History
- 2026-11-02: add by m2/dev
N8CXKS2YCY N8CXKS2YCY
| URI | m2://inv/N8CXKS2YCY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#ONDN (definition). In 160PQ7F1AS/e1, definition 4.17
History
- 2026-10-29: add by m2/v0.4.12
Applications N8CYSD6YHA
| URI | m2://inv/N8CYSD6YHA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann Fair Division#YCC4, Applications (example)
History
- 2026-11-02: add by m2/dev
Hirsch length N8D3AER3V3
| URI | m2://inv/N8D3AER3V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polycyclic group#P6YU, Hirsch length (unknown)
History
- 2026-11-02: add by m2/dev
Cover S-Free Set N8D7302YX9
| URI | m2://inv/N8D7302YX9 |
|---|---|
| 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.33946#JTK5, Cover S-Free Set (statement). In T61D8EZH24/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Correlation Transfer N8DGXA80GD
| URI | m2://inv/N8DGXA80GD |
|---|---|
| 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#P14G, Correlation Transfer (statement). In ZZER8ZBSCR/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.12
Gregory Gutin N8DK48VB2A
| URI | m2://inv/N8DK48VB2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8TUR, Gregory Gutin (topic)
History
- 2026-11-02: add by m2/dev
N8DRGDHE1T N8DRGDHE1T
| URI | m2://inv/N8DRGDHE1T |
|---|---|
| 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.29107#SNS0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Invasion percolation N8E3A9EAWJ
| URI | m2://inv/N8E3A9EAWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invasion percolation, Invasion percolation (definition). Also Wikidata Q24902133
History
- 2026-11-02: add by m2/dev
Borel measure N8E57CN8TA
| URI | m2://inv/N8E57CN8TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Borel measure DYR1QFNGNJ |
Mentions
- wikidata: Wikidata Q892585, Borel measure (unknown). Also MathWorld BorelMeasure, nLab Borel measure
- wikipedia: Wikipedia Borel measure, Borel measure (definition). Also Wikidata Q892585
History
- 2026-10-26: add by m2/dev
Stationarity and moments in the strict region N8EMYX1J2B
| URI | m2://inv/N8EMYX1J2B |
|---|---|
| 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.19421#7GTI, Stationarity and moments in the strict region (statement). In 3S1VFGYWQE/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Giuseppe Peano N8EN3S02FX
| URI | m2://inv/N8EN3S02FX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191029, Giuseppe Peano (unknown). Also nLab Guiseppe Peano
- wikipedia: Wikipedia Giuseppe Peano, Giuseppe Peano (topic). Also Wikidata Q191029
History
- 2026-10-26: add by m2/dev
N8EYV2K182 N8EYV2K182
| URI | m2://inv/N8EYV2K182 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#3UGK (statement). In 3THDT8WNF7/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Circuit Assembly Complexity N8F3N3VWVM
| URI | m2://inv/N8F3N3VWVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#RFSI, Circuit Assembly Complexity (statement). In CW9MNA6K58/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
N8F71K8ZF6 N8F71K8ZF6
| URI | m2://inv/N8F71K8ZF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.15210#DV5K (statement). In S4S8V2DYSA/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Examples N8FGAS6BZW
| URI | m2://inv/N8FGAS6BZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant basis number#0RRI, Examples (example)
History
- 2026-11-02: add by m2/dev
N8FHRRDFZD N8FHRRDFZD
| URI | m2://inv/N8FHRRDFZD |
|---|---|
| Kind | definition |
| 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#GMKW (definition). In 6HJQXZS0A6/e1, definition 1.8
History
- 2026-10-29: add by m2/v0.4.12
N8FNWCMDHW N8FNWCMDHW
| URI | m2://inv/N8FNWCMDHW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#2PLK (definition). In WK2YHYEDZ9/e1, definition 6.2
History
- 2026-10-30: add by m2/v0.4.12
N8FRS98QP7 N8FRS98QP7
| URI | m2://inv/N8FRS98QP7 |
|---|---|
| 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 2206.14762#HGZU (statement). In ZC1B70NT4D/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.3.5
Definitions N8FRVKX6SS
| URI | m2://inv/N8FRVKX6SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group of a stack#U98K, Definitions (definition)
History
- 2026-11-02: add by m2/dev
N8FXNPPGXS N8FXNPPGXS
| URI | m2://inv/N8FXNPPGXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#KA6H (statement). In DWQWQ5KTEE/e1, lemma 29
History
- 2026-10-28: add by m2/v0.4.2
Donald A. S. Fraser N8G6DFS7CB
| URI | m2://inv/N8G6DFS7CB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZKEH, Donald A. S. Fraser (unknown)
History
- 2026-11-02: add by m2/dev
N8G9HBRBNE N8G9HBRBNE
| URI | m2://inv/N8G9HBRBNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-largest.tex#lem:max-cut-red-G3c (statement). In PKGMM3P5QY, lem, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
N8GHY785HZ N8GHY785HZ
| URI | m2://inv/N8GHY785HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2511.06555#1QDV (statement). In 5GDDS20Q3D/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
N8GM8VYN6F N8GM8VYN6F
| URI | m2://inv/N8GM8VYN6F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23279#JOYS (definition)
History
- 2026-11-02: add by m2/v0.6.17
Alexander McAulay N8GMG3D14H
| URI | m2://inv/N8GMG3D14H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander McAulay, Alexander McAulay (topic). Also Wikidata Q4719461
History
- 2026-11-02: add by m2/dev
FFT for $\Uq(\mathfrak{q}_n)$ N8GPC1GD1D
| URI | m2://inv/N8GPC1GD1D |
|---|---|
| Kind | statement |
| 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 2209.00811#5WS8, FFT for $\Uq(\mathfrak{q}_n)$ (statement). In 9T4X83HHQS/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.5
N8GSD8C089 N8GSD8C089
| URI | m2://inv/N8GSD8C089 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
Q-Meixner–Pollaczek polynomials N8GVPZCQ5C
| URI | m2://inv/N8GVPZCQ5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Meixner–Pollaczek polynomials, Q-Meixner–Pollaczek polynomials (definition). Also Wikidata Q7265278
History
- 2026-11-02: add by m2/dev
Dedekind sum N8GX99XBGD
| URI | m2://inv/N8GX99XBGD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2463775, Dedekind sum (concept). Also MathWorld DedekindSum
- wikipedia: Wikipedia Dedekind sum, Dedekind sum (definition). Also Wikidata Q2463775
History
- 2026-10-26: add by m2/dev
Equivalence principle N8H6D3RTB6
| URI | m2://inv/N8H6D3RTB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to general relativity#083T, Equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
David M. Goldschmidt N8HAZW7BH9
| URI | m2://inv/N8HAZW7BH9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David M. Goldschmidt, David M. Goldschmidt (topic). Also Wikidata Q1174560
History
- 2026-11-02: add by m2/dev
N8HCWDYYGW N8HCWDYYGW
| URI | m2://inv/N8HCWDYYGW |
|---|---|
| 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.14562#NTUX (statement). In G4XMZ452QE/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Jean Gallier N8HCZR3V4Y
| URI | m2://inv/N8HCZR3V4Y |
|---|---|
| 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 Q29034984, Jean Gallier (unknown). Also nLab Jean Gallier
History
- 2026-10-26: add by m2/dev
N8HERAXMJD N8HERAXMJD
| URI | m2://inv/N8HERAXMJD |
|---|---|
| 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.03988#GEP2 (statement). In PQ2X97H1T9/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
N8HJ452TM4 N8HJ452TM4
| URI | m2://inv/N8HJ452TM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#ZCEW (statement). In R68THJCHX6/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.5
Plate reconstruction N8HKSR8A74
| URI | m2://inv/N8HKSR8A74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate reconstruction, Plate reconstruction (definition). Also Wikidata Q7202203
History
- 2026-11-02: add by m2/dev
Polignac's conjecture N8HYBZM129
| URI | m2://inv/N8HYBZM129 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1402534, Polignac's conjecture (conjecture). Also MathWorld dePolignacsConjecture
- wikipedia: Wikipedia Polignac's conjecture, Polignac's conjecture (conjecture). Also Wikidata Q1402534
History
- 2026-10-26: add by m2/dev
N8JD8JD10Y N8JD8JD10Y
| URI | m2://inv/N8JD8JD10Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05990#VLGL (statement). In G2R1ARDYK0/e1, fact 2.5
History
- 2026-10-29: add by m2/v0.4.10
N8JJXPNA48 N8JJXPNA48
| URI | m2://inv/N8JJXPNA48 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#6H9Y (definition). In SHCQDPCF2J/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Uniform Cesàro convergence for processes N8JKT59PEQ
| URI | m2://inv/N8JKT59PEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.00832#7IEV, Uniform Cesàro convergence for processes (statement). In KM0XEAXFMF/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.3.5
N8JPFRNQC2 N8JPFRNQC2
| URI | m2://inv/N8JPFRNQC2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#F1RT (definition). In 7D3HCN21MK/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
A History of Mathematical Notations N8JRFF5196
| URI | m2://inv/N8JRFF5196 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A History of Mathematical Notations, A History of Mathematical Notations (definition). Also Wikidata Q19022287
History
- 2026-11-02: add by m2/dev
N8JVHDXPK5 N8JVHDXPK5
| URI | m2://inv/N8JVHDXPK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16332#CPRA (statement). In JJQPFXZQ3D/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
N8JZZFJ8EJ N8JZZFJ8EJ
| URI | m2://inv/N8JZZFJ8EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#H5QM (statement). In BZ54C9SKYS/e1, lemma 6.12
History
- 2026-10-27: add by m2/v0.3.5
N8KDPH1D44 N8KDPH1D44
| URI | m2://inv/N8KDPH1D44 |
|---|---|
| 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 2610.10469#OYYL (definition). In Q39BEKW6D9/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.10
N8KG2AQ9JB N8KG2AQ9JB
| URI | m2://inv/N8KG2AQ9JB |
|---|---|
| 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 2503.08488#LAF4 (statement). In QH5MZXMXQH/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Central series N8KGDS4A65
| URI | m2://inv/N8KGDS4A65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central series, Central series (definition). Also Wikidata Q5062152
History
- 2026-11-02: add by m2/dev
honeycomb conjecture N8KMP590XK
| URI | m2://inv/N8KMP590XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Honeycomb theorem 3JST9B967R |
Mentions
- wikidata: Wikidata Q3527261, honeycomb conjecture (conjecture). Also MathWorld HoneycombConjecture
- wikipedia: Wikipedia Honeycomb theorem, Honeycomb theorem (statement). Also Wikidata Q3527261
History
- 2026-10-26: add by m2/dev
N8KPSWYBS6 N8KPSWYBS6
| URI | m2://inv/N8KPSWYBS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#56P6 (statement). In QEFS0Y021A/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
Wirtinger sextic N8KQ79WSNV
| URI | m2://inv/N8KQ79WSNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#5GX2, Wirtinger sextic (definition)
History
- 2026-11-02: add by m2/dev
Pedal equation N8KS2KHXFR
| URI | m2://inv/N8KS2KHXFR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7158977, Pedal equation (concept). Also MathWorld PedalCoordinates
- wikipedia: Wikipedia Pedal equation, Pedal equation (definition). Also Wikidata Q7158977
History
- 2026-10-26: add by m2/dev
Curtis–Hedlund–Lyndon theorem N8M5NHPP6M
| URI | m2://inv/N8M5NHPP6M |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5195996, Curtis–Hedlund–Lyndon theorem (statement). Also Wikidata Q5195996
- thousand_plus: thousand_plus Q5195996, Curtis–Hedlund–Lyndon theorem (statement). Also Wikidata Q5195996, Wikipedia Curtis–Hedlund–Lyndon theorem
- wikipedia: Wikipedia Curtis–Hedlund–Lyndon theorem, Curtis–Hedlund–Lyndon theorem (statement). Also Wikidata Q5195996
History
- 2026-10-26: add by m2/dev
N8MF2STNYH N8MF2STNYH
| URI | m2://inv/N8MF2STNYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17883#GKN3 (statement). In 9WSJV2WY2S/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
N8MG8JJHFY N8MG8JJHFY
| URI | m2://inv/N8MG8JJHFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#9HGW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hoffman-Wielandt inequality N8MR97VH7X
| URI | m2://inv/N8MR97VH7X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#TVZ9, Hoffman-Wielandt inequality (unknown)
History
- 2026-11-02: add by m2/dev
Basic properties N8MRR7G71A
| URI | m2://inv/N8MRR7G71A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verma module#2NGE, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
N8MTZEBKA0 N8MTZEBKA0
| URI | m2://inv/N8MTZEBKA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-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.02901#G6AN (statement). In NSP90G5XCQ/e1, proposition 2.15
History
- 2026-10-29: add by m2/v0.4.12
Zygmunt Janiszewski N8MX6E8YGY
| URI | m2://inv/N8MX6E8YGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CY9F, Zygmunt Janiszewski (topic)
History
- 2026-11-02: add by m2/dev
N8MXH476H9 N8MXH476H9
| URI | m2://inv/N8MXH476H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26665#8AB3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
N8N2MMXKR4 N8N2MMXKR4
| URI | m2://inv/N8N2MMXKR4 |
|---|---|
| Kind | example |
| 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.30750#UHHK (example). In DACV7NTAAK/e1, example D.7
History
- 2026-10-31: add by m2/v0.5.6
Definition N8N43CY4QW
| URI | m2://inv/N8N43CY4QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex normal distribution#D758, Definition (definition)
History
- 2026-11-02: add by m2/dev
N8N54XQG1Q N8N54XQG1Q
| URI | m2://inv/N8N54XQG1Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exponential.ptx#example-2 (example). In QKM9DD2H56, example, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Products with an amenable factor N8N5A067WX
| URI | m2://inv/N8N5A067WX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-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.18530#GD9Z, Products with an amenable factor (example). In HSXWVKPCQV/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
N8N5BQGQ4G N8N5BQGQ4G
| URI | m2://inv/N8N5BQGQ4G |
|---|---|
| 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.33383#Y1GF (statement). In 8AHWRHTP5G/e1, lemma 18
History
- 2026-10-30: add by m2/v0.4.12
The geometrization conjecture N8N786C2VM
| URI | m2://inv/N8N786C2VM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Thurston#WRE5, The geometrization conjecture (statement)
History
- 2026-11-02: add by m2/dev
Simultaneous posterior image bound N8N7Y3657W
| URI | m2://inv/N8N7Y3657W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#K5F2, Simultaneous posterior image bound (statement). In 35925M9GJW/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
syzygy N8N94GDDT5
| URI | m2://inv/N8N94GDDT5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2377256, syzygy (concept). Also MathWorld Syzygy
History
- 2026-10-26: add by m2/dev
N8NY4JHYDF N8NY4JHYDF
| URI | m2://inv/N8NY4JHYDF |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#UXF0 (unknown)
History
- 2026-11-02: add by m2/v0.6.17
N8NZ6AWV5F N8NZ6AWV5F
| URI | m2://inv/N8NZ6AWV5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#QYCO (statement). In 1YY0P4ZS0T/e1, lemma 45
History
- 2026-10-29: add by m2/v0.4.10
N8P0QV9ENB N8P0QV9ENB
| URI | m2://inv/N8P0QV9ENB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#2PVS (definition). In CVESAPNMCQ/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Numerical continuation N8PFDSHFSS
| URI | m2://inv/N8PFDSHFSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#VUKR, Numerical continuation (definition)
History
- 2026-11-02: add by m2/dev
Compactness and Moment Continuity N8PVPK6D9T
| URI | m2://inv/N8PVPK6D9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#JC5E, Compactness and Moment Continuity (statement). In B1VVAKFCKZ/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
N8PW721Q3N N8PW721Q3N
| URI | m2://inv/N8PW721Q3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.28337#MG5L (statement). In 7ZJFWBTBKM/e1, lemma 3.5.1
History
- 2026-10-27: add by m2/v0.3.6
Durbin's h test N8QE2X7QTN
| URI | m2://inv/N8QE2X7QTN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Durbin–Watson statistic#X9BB, Durbin's h test (unknown)
History
- 2026-11-02: add by m2/dev
N8QKY1JSGE N8QKY1JSGE
| URI | m2://inv/N8QKY1JSGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#53G2 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
N8QMKH60PS N8QMKH60PS
| URI | m2://inv/N8QMKH60PS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem:MonicSetPresent (statement). In N54F33XE07, lem, section C.5
History
- 2026-11-01: add by m2/v0.6.13
optimization of convex function in finite dimension N8QS9PJY98
| URI | m2://inv/N8QS9PJY98 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > optimization of convex function in finite dimension, optimization of convex function in finite dimension (unknown)
History
- 2026-10-26: add by m2/dev
Advantage N8R2PNZP5S
| URI | m2://inv/N8R2PNZP5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advantage (cryptography), Advantage (definition). Also Wikidata Q4686406
History
- 2026-11-02: add by m2/dev
Unrooted binary tree N8RCGHPPNG
| URI | m2://inv/N8RCGHPPNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unrooted binary tree, Unrooted binary tree (definition). Also Wikidata Q7897401
History
- 2026-11-02: add by m2/dev
successive over-relaxation N8RJ4CHA9Q
| URI | m2://inv/N8RJ4CHA9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Successive over-relaxation 6KQJR85ZC6 |
Mentions
- wikidata: Wikidata Q1561270, successive over-relaxation (unknown). Also MathWorld SuccessiveOverrelaxationMethod
- wikipedia: Wikipedia Successive over-relaxation, Successive over-relaxation (definition). Also Wikidata Q1561270
History
- 2026-10-26: add by m2/dev
Example N8RPRXT3V9
| URI | m2://inv/N8RPRXT3V9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain rule#EYL9, Example (example)
History
- 2026-11-02: add by m2/dev
Definition N8RQVXMQJC
| URI | m2://inv/N8RQVXMQJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logrank test#YERB, Definition (definition)
History
- 2026-11-02: add by m2/dev
N8RW1FM0TH N8RW1FM0TH
| URI | m2://inv/N8RW1FM0TH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21305#WOU8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
N8RYJDBKNR N8RYJDBKNR
| URI | m2://inv/N8RYJDBKNR |
|---|---|
| Kind | definition |
| 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.17400#3NWR (definition). In 8VDXGR4SVD/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
unramified morphism N8RYPTETX6
| URI | m2://inv/N8RYPTETX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Unramified morphism 1JQX6HD8E5 |
Mentions
- wikidata: Wikidata Q85812355, unramified morphism (unknown). Also nLab unramified morphism
- wikipedia: Wikipedia Unramified morphism, Unramified morphism (definition). Also Wikidata Q85812355
History
- 2026-10-26: add by m2/dev
fractional ideal N8S1HJXVQZ
| URI | m2://inv/N8S1HJXVQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Fractional ideal YB4JTB4WJN |
Mentions
- mathlib_overview: mathlib_overview General algebra > Ideals and quotients > fractional ideal, fractional ideal (unknown). Also Mathlib FractionalIdeal
- wikidata: Wikidata Q1497184, fractional ideal (unknown). Also EoM Fractional_ideal, LMFDB knowl ring.fractional_ideal, Mathlib FractionalIdeal, MathWorld FractionalIdeal, nLab fractional ideal
- wikipedia: Wikipedia Fractional ideal, Fractional ideal (definition). Also Wikidata Q1497184
History
- 2026-10-26: add by m2/dev
Corollary N8S2DKDNB6
| URI | m2://inv/N8S2DKDNB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loomis–Whitney inequality#875L, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Relations to other theorems N8S32GHJBR
| URI | m2://inv/N8S32GHJBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remmert–Stein theorem#OMYV, Relations to other theorems (statement)
History
- 2026-11-02: add by m2/dev
N8SB54QM0Y N8SB54QM0Y
| URI | m2://inv/N8SB54QM0Y |
|---|---|
| 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.03555#M380 (statement). In 9JZJTRRVR1/e1, lemma 9.7
History
- 2026-10-29: add by m2/v0.4.12
Matrix-vector multiplication N8ST3JN5R7
| URI | m2://inv/N8ST3JN5R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#definition-1, Matrix-vector multiplication (definition). In 649HGZKE96, definition, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
N8SVHHX345 N8SVHHX345
| URI | m2://inv/N8SVHHX345 |
|---|---|
| Kind | conjecture |
| 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.26477#OL0T (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
N8SWFXKZMM N8SWFXKZMM
| URI | m2://inv/N8SWFXKZMM |
|---|---|
| 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#D3XG (definition). In W4TYN4PGE8/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Generalized BV flow N8SWRTW31N
| URI | m2://inv/N8SWRTW31N |
|---|---|
| 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 2610.15511#1HD7, Generalized BV flow (definition). In TZM08VJAQT/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Visual reference N8SXTQN99B
| URI | m2://inv/N8SXTQN99B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reference#UT8X, Visual reference (unknown)
History
- 2026-11-02: add by m2/dev
Germán N8T63AXA0X
| URI | m2://inv/N8T63AXA0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#W09G, Germán (unknown)
History
- 2026-11-02: add by m2/dev
N8TB13343R N8TB13343R
| URI | m2://inv/N8TB13343R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27908#68XT (statement)
History
- 2026-11-01: add by m2/v0.6.15
N8TCBXX22R N8TCBXX22R
| URI | m2://inv/N8TCBXX22R |
|---|---|
| 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.10406#HZT3 (statement). In VQA35Q7C00/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
N8TCNC5V80 N8TCNC5V80
| URI | m2://inv/N8TCNC5V80 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.16241#JJKS (definition). In WNDHZVY4WK/e1, definition A.6
History
- 2026-10-28: add by m2/v0.4.2
Marina Vannucci N8TDJ0QQBA
| URI | m2://inv/N8TDJ0QQBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VG8C, Marina Vannucci (unknown)
History
- 2026-11-02: add by m2/dev
Gauss–Codazzi equations N8TFWEFMRZ
| URI | m2://inv/N8TFWEFMRZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gauss–Codazzi equations 68TVVHCQ3Z |
Mentions
- wikidata: Wikidata Q3589432, Gauss–Codazzi equations (concept). Also MathWorld Peterson-Mainardi-CodazziEquations
- wikipedia: Wikipedia Gauss–Codazzi equations, Gauss–Codazzi equations (definition). Also Wikidata Q3589432
History
- 2026-10-26: add by m2/dev
N8TRZ2AHNF N8TRZ2AHNF
| URI | m2://inv/N8TRZ2AHNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#8GHP (statement). In DG9TF5X0EG/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.0
Examples N8V1BRYFW2
| URI | m2://inv/N8V1BRYFW2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial fraction decomposition#ELTD, Examples (example)
History
- 2026-11-02: add by m2/dev
Daniel B. Szyld N8V86M7HCQ
| URI | m2://inv/N8V86M7HCQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4R8B, Daniel B. Szyld (topic)
History
- 2026-11-02: add by m2/dev
Charles M. Stein N8VC4H4H0R
| URI | m2://inv/N8VC4H4H0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles M. Stein, Charles M. Stein (topic). Also Wikidata Q1066129
History
- 2026-11-02: add by m2/dev
Stein interpolation theorem N8VYV1KNKX
| URI | m2://inv/N8VYV1KNKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Thorin theorem#UPP6, Stein interpolation theorem (statement)
History
- 2026-11-02: add by m2/dev
N8WBCEVMPB N8WBCEVMPB
| URI | m2://inv/N8WBCEVMPB |
|---|---|
| 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.21097#00TG (statement). In Y1KA940FPZ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
N8WGSR4VYS N8WGSR4VYS
| URI | m2://inv/N8WGSR4VYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14086#WRR9 (statement). In J6EZ2RQW2F/e1, corollary 7.1
History
- 2026-10-28: add by m2/v0.4.2
N8WRQ5JM1D N8WRQ5JM1D
| URI | m2://inv/N8WRQ5JM1D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-7 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
N8WYSZ49DS N8WYSZ49DS
| URI | m2://inv/N8WYSZ49DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10019#WG8B (statement). In 25V7DQEXSW/e1, proposition 1.2
History
- 2026-10-29: add by m2/v0.4.10
Richard Birkeland N8X6BF2VRQ
| URI | m2://inv/N8X6BF2VRQ |
|---|---|
| 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#73D7, Richard Birkeland (unknown)
History
- 2026-11-02: add by m2/dev
N8XC3S7592 N8XC3S7592
| URI | m2://inv/N8XC3S7592 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#definition-3 (definition). In RZP28ERRZV, definition, section 32.1
History
- 2026-11-01: add by m2/v0.6.13
N8XE5HSN1Z N8XE5HSN1Z
| URI | m2://inv/N8XE5HSN1Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#proof-3 (proof). In QKM9DD2H56, proof, section 9.5.2
History
- 2026-11-01: add by m2/v0.6.13
N8XFDJ5EE3 N8XFDJ5EE3
| URI | m2://inv/N8XFDJ5EE3 |
|---|---|
| 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.23941#7NVA (statement)
History
- 2026-11-02: add by m2/v0.6.17
N8XFTJZJ43 N8XFTJZJ43
| URI | m2://inv/N8XFTJZJ43 |
|---|---|
| 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.20231#IIHI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Monotone class theorem for sets N8XGMKZD8A
| URI | m2://inv/N8XGMKZD8A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone class theorem#Z9UW, Monotone class theorem for sets (statement)
History
- 2026-11-02: add by m2/dev
N8XNNS8EQC N8XNNS8EQC
| URI | m2://inv/N8XNNS8EQC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesel number#DMVE (problem)
History
- 2026-11-02: add by m2/dev
N8Y08TYKCY N8Y08TYKCY
| URI | m2://inv/N8Y08TYKCY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-2-1.xml#act-5-2-1 (exercise). In 907G4C4EJ1, activity, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
N8Y14ASX8X N8Y14ASX8X
| URI | m2://inv/N8Y14ASX8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#KDYT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Entropy and cone volume N8Y3Y73FFP
| URI | m2://inv/N8Y3Y73FFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#EKF1, Entropy and cone volume (statement). In ET0TQ8YF7Z/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Covariance Potential N8Y42ZCGC9
| URI | m2://inv/N8Y42ZCGC9 |
|---|---|
| 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.30105#TJFF, Covariance Potential (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm N8Y4BDS02J
| URI | m2://inv/N8Y4BDS02J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff algorithm#VYEQ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem N8YEP6B7JD
| URI | m2://inv/N8YEP6B7JD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sokhotski–Plemelj theorem#71TA, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
N8YJQVZ6GE N8YJQVZ6GE
| URI | m2://inv/N8YJQVZ6GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-3-derivative-pt.xml#def-derivative (definition). In 907G4C4EJ1, definition, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Algebraic properties N8YREZVJR3
| URI | m2://inv/N8YREZVJR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horton graph#X1KL, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Disjoint unions N8YVTGFZCV
| URI | m2://inv/N8YVTGFZCV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#IF9F, Disjoint unions (problem). In 459W0NBS5Q/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
Compact driving support and a one-point initial law N8YXMNHVYT
| URI | m2://inv/N8YXMNHVYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#MHRB, Compact driving support and a one-point initial law (statement). In 9YAE8FNQST/e1, proposition 17.13
History
- 2026-10-30: add by m2/v0.4.12
Localization N8YXZM9T84
| URI | m2://inv/N8YXZM9T84 |
|---|---|
| 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.15111#YSYG, Localization (statement). In 6RE6JYE4GP/e1, proposition E.3
History
- 2026-10-28: add by m2/v0.4.2
Equivalent forms and the composition law N8YYN9KR3S
| URI | m2://inv/N8YYN9KR3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss composition law#5PSN, Equivalent forms and the composition law (statement)
History
- 2026-11-02: add by m2/dev
KmPlot N8Z25PJD4J
| URI | m2://inv/N8Z25PJD4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#I62G, KmPlot (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{The Hilbert case N8Z4FHAD4J
| URI | m2://inv/N8Z4FHAD4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2610.14266#6AG5, \textbf{The Hilbert case (statement). In 7R33E8515R/e1, lemma 2.15
History
- 2026-10-28: add by m2/v0.4.2
Joel David Hamkins N8Z7W3SQC9
| URI | m2://inv/N8Z7W3SQC9 |
|---|---|
| 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 Q18921849, Joel David Hamkins (unknown). Also nLab Joel David Hamkins
History
- 2026-10-26: add by m2/dev
Claim 1 N8ZEF54G4X
| URI | m2://inv/N8ZEF54G4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cederbaum's maximum flow theorem#HDDL, Claim 1 (statement)
History
- 2026-11-02: add by m2/dev
N8ZF58MKDQ N8ZF58MKDQ
| URI | m2://inv/N8ZF58MKDQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#ex:simult_measurement (example). In RZP28ERRZV, example, section 77.4
History
- 2026-11-01: add by m2/v0.6.13
N8ZS0DCVBZ N8ZS0DCVBZ
| URI | m2://inv/N8ZS0DCVBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#M2R1 (statement). In K7VY50VFK6/e1, corollary 15.4
History
- 2026-10-28: add by m2/v0.4.2
Fanny Kaplan N8ZSP3KADT
| URI | m2://inv/N8ZSP3KADT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#28MW, Fanny Kaplan (unknown)
History
- 2026-11-02: add by m2/dev