Inventory rows QN
The cards of the rows of the inventory whose ids start with QN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
QN00HNTEAD QN00HNTEAD
| URI | m2://inv/QN00HNTEAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#X8B7 (statement). In 1QSCT53ZED/e1, corollary 8.9
History
- 2026-10-27: add by m2/v0.4.0
Growth QN03ZZ4VPB
| URI | m2://inv/QN03ZZ4VPB |
|---|---|
| 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#1ZFD, Growth (statement). In WD2NCBV9F0/e1, lemma 20.8
History
- 2026-10-27: add by m2/v0.3.5
Introduction to Statistical Pattern Recognition QN06KE5R4Q
| URI | m2://inv/QN06KE5R4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to Statistical Pattern Recognition, Introduction to Statistical Pattern Recognition (definition). Also Wikidata Q65068187
History
- 2026-11-02: add by m2/dev
Jung-Ying Tzeng QN07Y322M6
| URI | m2://inv/QN07Y322M6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3344, Jung-Ying Tzeng (topic)
History
- 2026-11-02: add by m2/dev
Examples QN0ER1AYVK
| URI | m2://inv/QN0ER1AYVK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infrabarrelled space#BA73, Examples (example)
History
- 2026-11-02: add by m2/dev
QN0GAJ7393 QN0GAJ7393
| URI | m2://inv/QN0GAJ7393 |
|---|---|
| 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.10576#U53F (statement). In N3ZA5MDZBW/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
QN0GXBGDT3 QN0GXBGDT3
| URI | m2://inv/QN0GXBGDT3 |
|---|---|
| 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.13271#QQG9 (statement). In G8ZEBKZY8M/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Applications QN0HBGFPDQ
| URI | m2://inv/QN0HBGFPDQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet kernel#6YG5, Applications (example)
History
- 2026-11-02: add by m2/dev
Example QN0HDBD87P
| URI | m2://inv/QN0HDBD87P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Honey encryption#D213, Example (example)
History
- 2026-11-02: add by m2/dev
Proposition QN0J6PWCWA
| URI | m2://inv/QN0J6PWCWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical induction#IQEO, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Philip Franklin QN0TXZCWS1
| URI | m2://inv/QN0TXZCWS1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Franklin, Philip Franklin (topic). Also Wikidata Q7183563
History
- 2026-11-02: add by m2/dev
Cauchy's radical test QN0YSXN7GV
| URI | m2://inv/QN0YSXN7GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#NE2V, Cauchy's radical test (definition)
History
- 2026-11-02: add by m2/dev
Statement QN127V7S40
| URI | m2://inv/QN127V7S40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel–Walfisz theorem#OMRV, Statement (statement)
History
- 2026-11-02: add by m2/dev
QN17D0FG8V QN17D0FG8V
| URI | m2://inv/QN17D0FG8V |
|---|---|
| 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.24580#Q2UW (statement)
History
- 2026-11-01: add by m2/v0.6.15
QN185F7MS4 QN185F7MS4
| URI | m2://inv/QN185F7MS4 |
|---|---|
| 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.04498#6OGI (statement). In HHF08X70P6/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Taylor series QN1J65D2A7
| URI | m2://inv/QN1J65D2A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#2BET, Taylor series (definition)
History
- 2026-11-02: add by m2/dev
flag QN1K5KRRBB
| URI | m2://inv/QN1K5KRRBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1392130, flag (unknown). Also MathWorld VectorSpaceFlag
- wikipedia: Wikipedia Flag (linear algebra), Flag (definition). Also Wikidata Q1392130
History
- 2026-10-26: add by m2/dev
Generalizations QN20NDJGRT
| URI | m2://inv/QN20NDJGRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squared triangular number#4C55, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Peter Scholze QN20NNBEA0
| URI | m2://inv/QN20NNBEA0 |
|---|---|
| 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#JZ3N, Peter Scholze (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K2A9, Peter Scholze (topic)
- wikipedia: Wikipedia List of German mathematicians#PF8K, Peter Scholze (topic)
History
- 2026-11-02: add by m2/dev
Christine Bycroft QN23YBBBDJ
| URI | m2://inv/QN23YBBBDJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Bycroft, Christine Bycroft (topic). Also Wikidata Q43789440
History
- 2026-11-02: add by m2/dev
QN24CN6N7R QN24CN6N7R
| URI | m2://inv/QN24CN6N7R |
|---|---|
| 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.12357#JJ8V (statement). In 1F26AF81XP/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
QN28GW15ZD QN28GW15ZD
| URI | m2://inv/QN28GW15ZD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16225#3PKY (definition). In H3DJV9YQW1/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
QN2GFZ47FY QN2GFZ47FY
| URI | m2://inv/QN2GFZ47FY |
|---|---|
| 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.02963#OVRF (statement). In FN8MJK3C6K/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.12
Square number QN2M8PMPQG
| URI | m2://inv/QN2M8PMPQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#ZOX9, Square number (definition)
History
- 2026-11-02: add by m2/dev
QN2NF8H0D0 QN2NF8H0D0
| URI | m2://inv/QN2NF8H0D0 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#3CLH (conjecture). In CGA36VE1C5/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.6
Metrization theorems QN32DTWCS8
| URI | m2://inv/QN32DTWCS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable space#BQB1, Metrization theorems (statement)
History
- 2026-11-02: add by m2/dev
QN38FJJERT QN38FJJERT
| URI | m2://inv/QN38FJJERT |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-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.27420#NC2O (problem)
History
- 2026-11-01: add by m2/v0.6.15
Dirac algebra QN3BEZSAS0
| URI | m2://inv/QN3BEZSAS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac algebra, Dirac algebra (definition). Also Wikidata Q5280160
History
- 2026-11-02: add by m2/dev
QN3JS2BV3R QN3JS2BV3R
| URI | m2://inv/QN3JS2BV3R |
|---|---|
| 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.23006#WHAT (statement)
History
- 2026-11-02: add by m2/v0.6.17
QN3S8GH7CV QN3S8GH7CV
| URI | m2://inv/QN3S8GH7CV |
|---|---|
| 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.26984#HYFG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement QN41GAZRKA
| URI | m2://inv/QN41GAZRKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands–Tunnell theorem#2R6Q, Statement (statement)
History
- 2026-11-02: add by m2/dev
QN44FF7ZP9 QN44FF7ZP9
| URI | m2://inv/QN44FF7ZP9 |
|---|---|
| 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.31604#8ZSA (statement). In GSN5YTQS2K/e1, theorem 0.1
History
- 2026-10-31: add by m2/v0.5.6
QN47J4Y0K0 QN47J4Y0K0
| URI | m2://inv/QN47J4Y0K0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#4BH0 (example). In X88HPQ0W8C/e1, example 2.50
History
- 2026-10-27: add by m2/v0.3.5
Coherence QN49KXS638
| URI | m2://inv/QN49KXS638 |
|---|---|
| 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.15184#7RMF, Coherence (statement). In S8A7ZM40DN/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
QN4CTTEJTP QN4CTTEJTP
| URI | m2://inv/QN4CTTEJTP |
|---|---|
| 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 2610.18992#J30V (statement). In S7PNTM0GZC/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Extension of the Vaidya metric QN4EWTFDYB
| URI | m2://inv/QN4EWTFDYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaidya metric#UYBJ, Extension of the Vaidya metric (statement)
History
- 2026-11-02: add by m2/dev
QN4NZ2J9DP QN4NZ2J9DP
| URI | m2://inv/QN4NZ2J9DP |
|---|---|
| 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 2305.10921#STH4 (statement). In PD5PJ0EYG6/e1, proposition 1.6
History
- 2026-10-27: add by m2/v0.3.5
QN4Q9GB3Z3 QN4Q9GB3Z3
| URI | m2://inv/QN4Q9GB3Z3 |
|---|---|
| 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#Z2X3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cryptologic Memorial Wall QN4SDAQ4KX
| URI | m2://inv/QN4SDAQ4KX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Security Agency#PM7S, Cryptologic Memorial Wall (unknown)
History
- 2026-11-02: add by m2/dev
hereditary QN4SEZ0MQX
| URI | m2://inv/QN4SEZ0MQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#DKL7, hereditary (definition)
History
- 2026-11-02: add by m2/dev
QN4VA327WY QN4VA327WY
| URI | m2://inv/QN4VA327WY |
|---|---|
| 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.15160#7O2P (statement). In 6FV4CCY1NX/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Nonholonomic system QN4VT4XMDQ
| URI | m2://inv/QN4VT4XMDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonholonomic system, Nonholonomic system (definition). Also Wikidata Q2478109
History
- 2026-11-02: add by m2/dev
logic, constructive vs classical QN4XR5036J
| URI | m2://inv/QN4XR5036J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/logic-constructive-vs-classical, logic, constructive vs classical (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Definitions QN50G4QY2W
| URI | m2://inv/QN50G4QY2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal number#66VG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties QN54VF31QJ
| URI | m2://inv/QN54VF31QJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Red–black tree#E1JR, Properties (statement)
History
- 2026-11-02: add by m2/dev
QN5G67R6JK QN5G67R6JK
| URI | m2://inv/QN5G67R6JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40261#XDZE (statement). In KAVANCCYJW/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Raja Ampat QN5JZ600PE
| URI | m2://inv/QN5JZ600PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#336B, Raja Ampat (unknown)
History
- 2026-11-02: add by m2/dev
Idoneal number QN5WQXK2SE
| URI | m2://inv/QN5WQXK2SE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4Q4D, Idoneal number (conjecture)
History
- 2026-11-02: add by m2/dev
Lie group QN5XP9945Z
| URI | m2://inv/QN5XP9945Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > Lie group, Lie group (unknown). Also Mathlib LieGroup
History
- 2026-10-26: add by m2/dev
Definition QN5ZRYXQKB
| URI | m2://inv/QN5ZRYXQKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring (mathematics)#GY7M, Definition (definition)
History
- 2026-11-02: add by m2/dev
QN67YACD4N QN67YACD4N
| URI | m2://inv/QN67YACD4N |
|---|---|
| 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 2610.00409#F4F3 (statement). In YQT2APQPWD/e1, theorem 8.5
History
- 2026-10-30: add by m2/v0.4.12
Nemenyi test QN68462N9F
| URI | m2://inv/QN68462N9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nemenyi test, Nemenyi test (definition). Also Wikidata Q16941785
History
- 2026-11-02: add by m2/dev
Artin--Schreier phase QN6A208SJM
| URI | m2://inv/QN6A208SJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#HTO4, Artin--Schreier phase (statement). In 5BZQS1KY9A/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.10
QN6BNPRJ01 QN6BNPRJ01
| URI | m2://inv/QN6BNPRJ01 |
|---|---|
| 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.03292#2CSJ (statement). In SN2PBM95HT/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.12
QN6CK230FQ QN6CK230FQ
| URI | m2://inv/QN6CK230FQ |
|---|---|
| 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 2108.06308#AYBZ (statement). In F8BXF46972/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
An infinitely differentiable function that is not analytic QN6FJV96K2
| URI | m2://inv/QN6FJV96K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#G6LD, An infinitely differentiable function that is not analytic (definition)
History
- 2026-11-02: add by m2/dev
minimal coupling QN6FZZDMFQ
| URI | m2://inv/QN6FZZDMFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1936915, minimal coupling (unknown). Also nLab minimal coupling
History
- 2026-10-26: add by m2/dev
Spencer cohomology QN6HVYTDK1
| URI | m2://inv/QN6HVYTDK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7576231, Spencer cohomology (unknown). Also nLab Spencer cohomology
- wikipedia: Wikipedia Spencer cohomology, Spencer cohomology (definition). Also Wikidata Q7576231
History
- 2026-10-26: add by m2/dev
QN6SM9WQJG QN6SM9WQJG
| URI | m2://inv/QN6SM9WQJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#55MP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sergei Viktorovich Bochkarev QN6THT9K84
| URI | m2://inv/QN6THT9K84 |
|---|---|
| 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#QV2K, Sergei Viktorovich Bochkarev (topic)
History
- 2026-11-02: add by m2/dev
Example QN79GA5GV9
| URI | m2://inv/QN79GA5GV9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi eigenvalue algorithm#O2HC, Example (example)
History
- 2026-11-02: add by m2/dev
Stokes drift QN7E55QTCG
| URI | m2://inv/QN7E55QTCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes drift, Stokes drift (definition). Also Wikidata Q961596
History
- 2026-11-02: add by m2/dev
QN7F455R48 QN7F455R48
| URI | m2://inv/QN7F455R48 |
|---|---|
| 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 2605.09717#6Q4D (statement). In W7QSDK6YPM/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.6
Examples QN7JGYMH7N
| URI | m2://inv/QN7JGYMH7N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract data type#ITHJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Operating system QN7MXM1GHP
| URI | m2://inv/QN7MXM1GHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#SBQF, Operating system (unknown)
History
- 2026-11-02: add by m2/dev
Semantic mapping (statistics) QN851QPVSK
| URI | m2://inv/QN851QPVSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RCTJ, Semantic mapping (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Conditional law of the exploration at the bottom of a good bubble QN8AG1MK20
| URI | m2://inv/QN8AG1MK20 |
|---|---|
| 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.40138#DNHV, Conditional law of the exploration at the bottom of a good bubble (statement). In R60HR493TS/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
mathematical interpolation QN8D47HQ86
| URI | m2://inv/QN8D47HQ86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q187631, mathematical interpolation (unknown). Also MathWorld Interpolation
- wikipedia: Wikipedia Interpolation, Interpolation (definition). Also Wikidata Q187631
History
- 2026-10-26: add by m2/dev
Quasiperiodic function QN8HCW9WS6
| URI | m2://inv/QN8HCW9WS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiperiodic function, Quasiperiodic function (definition). Also Wikidata Q5870963
History
- 2026-11-02: add by m2/dev
QN8HNNAD8A QN8HNNAD8A
| URI | m2://inv/QN8HNNAD8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#MKID (statement). In 52HWCGK5QJ/e1, lemma 1.1
History
- 2026-10-28: add by m2/v0.4.2
QN8QJXAE81 QN8QJXAE81
| URI | m2://inv/QN8QJXAE81 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Virtually cyclic QN8S3FCZ5X
| URI | m2://inv/QN8S3FCZ5X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic group#KLAU, Virtually cyclic (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
QN8V9CWSJW QN8V9CWSJW
| URI | m2://inv/QN8V9CWSJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-7 (statement). In E59CDZA4DP, prop, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
Four States, West Virginia QN8X5XSNJV
| URI | m2://inv/QN8X5XSNJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#J84V, Four States, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
QN8ZPEHGKR QN8ZPEHGKR
| URI | m2://inv/QN8ZPEHGKR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#LAX4 (example). In V7VCEA0VAA/e1, example 5.2
History
- 2026-10-29: add by m2/v0.4.10
Properties QN94WSCW4R
| URI | m2://inv/QN94WSCW4R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semialgebraic set#1VW0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Narayana numbers QN9BPACFPM
| URI | m2://inv/QN9BPACFPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#XWR1, Narayana numbers (definition)
History
- 2026-11-02: add by m2/dev
Click analytics QN9G06Q7T9
| URI | m2://inv/QN9G06Q7T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Click analytics, Click analytics (definition). Also Wikidata Q5132429
History
- 2026-11-02: add by m2/dev
Buzz M. Walker QN9YE6KYPR
| URI | m2://inv/QN9YE6KYPR |
|---|---|
| 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#GANR, Buzz M. Walker (topic)
History
- 2026-11-02: add by m2/dev
Examples QNA1JY3YC8
| URI | m2://inv/QNA1JY3YC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fusion category#KQMA, Examples (example)
History
- 2026-11-02: add by m2/dev
Informatics QNA5PSNJMQ
| URI | m2://inv/QNA5PSNJMQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informatics, Informatics (topic). Also Wikidata Q4027615
History
- 2026-11-02: add by m2/dev
QNAETMQNK6 QNAETMQNK6
| URI | m2://inv/QNAETMQNK6 |
|---|---|
| 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 2610.21544#1OYI (statement). In 5FMMWKNYWW/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
QNAHHPZMEF QNAHHPZMEF
| URI | m2://inv/QNAHHPZMEF |
|---|---|
| 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.21039#M5B6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Symmetry QNAJCXPJPN
| URI | m2://inv/QNAJCXPJPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitruncated cubic honeycomb#XMNF, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Absorbing Markov chain QNAPP6RB4V
| URI | m2://inv/QNAPP6RB4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing Markov chain, Absorbing Markov chain (definition). Also Wikidata Q4669888
History
- 2026-11-02: add by m2/dev
Lillian K. Bradley QNB1GZBRQ8
| URI | m2://inv/QNB1GZBRQ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lillian K. Bradley, Lillian K. Bradley (topic). Also Wikidata Q49507035
History
- 2026-11-02: add by m2/dev
Examples QNBCMMRAX7
| URI | m2://inv/QNBCMMRAX7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi's problem#NE7M, Examples (example)
History
- 2026-11-02: add by m2/dev
QNBH8C0ZNF QNBH8C0ZNF
| URI | m2://inv/QNBH8C0ZNF |
|---|---|
| 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.26357#J1AH (statement)
History
- 2026-11-01: add by m2/v0.6.15
maximum-minimum theorem QNBM5T25TG
| URI | m2://inv/QNBM5T25TG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/maximum-minimum-theorem, maximum-minimum theorem (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Definition QNBMRH2RCW
| URI | m2://inv/QNBMRH2RCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric tangent cone#3KW3, Definition (definition)
History
- 2026-11-02: add by m2/dev
QNBNJ1Q0JQ QNBNJ1Q0JQ
| URI | m2://inv/QNBNJ1Q0JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12087#D78T (statement). In SH8TFHRG5R/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
QNBR96ZYNE QNBR96ZYNE
| URI | m2://inv/QNBR96ZYNE |
|---|---|
| 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 2609.34013#AE9E (definition). In 3TA3P3CWSJ/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Balinski's theorem QNBVG24K53
| URI | m2://inv/QNBVG24K53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DOQI, Balinski's theorem (statement)
History
- 2026-11-02: add by m2/dev
Classification of multiple hypothesis tests QNBWKF357V
| URI | m2://inv/QNBWKF357V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False coverage rate#JIEW, Classification of multiple hypothesis tests (statement)
History
- 2026-11-02: add by m2/dev
Extended finite element method QNC3MBHWGD
| URI | m2://inv/QNC3MBHWGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#EOVK, Extended finite element method (definition)
History
- 2026-11-02: add by m2/dev
QNC48EV0YE QNC48EV0YE
| URI | m2://inv/QNC48EV0YE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#claim-1 (statement). In RZP28ERRZV, claim, section 64.3.3
History
- 2026-11-01: add by m2/v0.6.13
Definition QNCDQ5MNH2
| URI | m2://inv/QNCDQ5MNH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final topology#ILSL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Isomorphism type and decision QNCHF53M94
| URI | m2://inv/QNCHF53M94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08280#PYXI, Isomorphism type and decision (statement). In EGADPYP7R3/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Laura Chaubard QNCSR7041D
| URI | m2://inv/QNCSR7041D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Chaubard, Laura Chaubard (topic). Also Wikidata Q102355527
History
- 2026-11-02: add by m2/dev
QNCVVZM6VD QNCVVZM6VD
| URI | m2://inv/QNCVVZM6VD |
|---|---|
| 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.31555#K85W (statement). In 2GC6K487FE/e1, proposition
History
- 2026-10-31: add by m2/v0.5.6
QND0SDW2DD QND0SDW2DD
| URI | m2://inv/QND0SDW2DD |
|---|---|
| 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.33070#9B5A (statement). In 103SVZSR8E/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
QND1779YHS QND1779YHS
| URI | m2://inv/QND1779YHS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-57 (exercise). In E59CDZA4DP, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Applications QNDBD2X30X
| URI | m2://inv/QNDBD2X30X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aperiodic graph#5JI5, Applications (example)
History
- 2026-11-02: add by m2/dev
QNDDPX04SM QNDDPX04SM
| URI | m2://inv/QNDDPX04SM |
|---|---|
| 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.06206#JBHR (statement). In A7611PTXVQ/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definition QNDMNTZ8CA
| URI | m2://inv/QNDMNTZ8CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic semigroup#5KE2, Definition (definition)
History
- 2026-11-02: add by m2/dev
QNDSG4ER3A QNDSG4ER3A
| URI | m2://inv/QNDSG4ER3A |
|---|---|
| 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#Q5NH (statement). In C304J64Q79/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
QNDSPH46A9 QNDSPH46A9
| URI | m2://inv/QNDSPH46A9 |
|---|---|
| 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#669L (statement). In 3VPC1GGZ3E/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.3.5
Combinatorial proof QNDT5QRT5J
| URI | m2://inv/QNDT5QRT5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial proof, Combinatorial proof (definition). Also Wikidata Q3402784
History
- 2026-11-02: add by m2/dev
First-order partial differential equation QNDWQAPD59
| URI | m2://inv/QNDWQAPD59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order partial differential equation, First-order partial differential equation (definition). Also Wikidata Q4381442
History
- 2026-11-02: add by m2/dev
Shift is semantic QNDXZJ4PB0
| URI | m2://inv/QNDXZJ4PB0 |
|---|---|
| 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.21131#7KIK, Shift is semantic (statement). In CPYWHRTPKC/e1, lemma 6.37
History
- 2026-10-27: add by m2/v0.4.2
Weizs\"{a}cker-Winkler QNE2RSTJK6
| URI | m2://inv/QNE2RSTJK6 |
|---|---|
| Kind | statement |
| 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#8R3L, Weizs\"{a}cker-Winkler (statement). In J9C7YMKJ33/e1, theorem 4.19
History
- 2026-10-27: add by m2/v0.3.5
Definition QNE47V93C6
| URI | m2://inv/QNE47V93C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving least squares#Q3PZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
José María Planas Corbella QNE5XDR44P
| URI | m2://inv/QNE5XDR44P |
|---|---|
| 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#HL83, José María Planas Corbella (unknown)
History
- 2026-11-02: add by m2/dev
accounting QNE6SMHDD9
| URI | m2://inv/QNE6SMHDD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4116214, accounting (definition). Also ProofWiki Definition:Accounting
History
- 2026-10-26: add by m2/dev
RSA-450 QNEDWACBFF
| URI | m2://inv/QNEDWACBFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#0MCX, RSA-450 (unknown)
History
- 2026-11-02: add by m2/dev
QNEE9HKG3J QNEE9HKG3J
| URI | m2://inv/QNEE9HKG3J |
|---|---|
| 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.36237#ITKO (statement). In JNBMSFE14N/e1, proposition 3.13
History
- 2026-10-30: add by m2/v0.4.12
QNEFJD84DH QNEFJD84DH
| URI | m2://inv/QNEFJD84DH |
|---|---|
| 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 2204.01073#N19V (statement). In W4TYN4PGE8/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
QNEP06TG6K QNEP06TG6K
| URI | m2://inv/QNEP06TG6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#HXAL (statement). In Q3NMYW8ANH/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Peter Gustav Lejeune Dirichlet QNEYSTM6G5
| URI | m2://inv/QNEYSTM6G5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#A2ZI, Peter Gustav Lejeune Dirichlet (topic)
History
- 2026-11-02: add by m2/dev
Polygon partition QNF2006FRG
| URI | m2://inv/QNF2006FRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon partition, Polygon partition (definition). Also Wikidata Q25304242
History
- 2026-11-02: add by m2/dev
Endpoint annihilator and discriminant congruence QNF2RT7SNZ
| URI | m2://inv/QNF2RT7SNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#NBGC, Endpoint annihilator and discriminant congruence (statement). In 5BZQS1KY9A/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
QNF5ZAC4CW QNF5ZAC4CW
| URI | m2://inv/QNF5ZAC4CW |
|---|---|
| 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 2301.07434#V2F8 (example). In 7XZHQ2H5ZD/e1, example 4.5
History
- 2026-10-27: add by m2/v0.3.5
Surprisal variance QNF7KMWBQ9
| URI | m2://inv/QNF7KMWBQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#KIN1, Surprisal variance (statement). In WBXAW9G4JB/e1, lemma 13.2
History
- 2026-10-29: add by m2/v0.4.12
QNFEFX59AE QNFEFX59AE
| URI | m2://inv/QNFEFX59AE |
|---|---|
| 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.14154#61KJ (statement). In 8X6PXX2TRA/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
QNFMT8GXEK QNFMT8GXEK
| URI | m2://inv/QNFMT8GXEK |
|---|---|
| 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 0906.2853#8059 (statement). In 32ZZ1DETCX/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
Amazon rainforest QNFNWTS5GX
| URI | m2://inv/QNFNWTS5GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#WWW6, Amazon rainforest (unknown)
History
- 2026-11-02: add by m2/dev
Towers of moves QNFPJF3NHP
| URI | m2://inv/QNFPJF3NHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#LUBE, Towers of moves (statement). In 4W7ARR1DAR/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Finite-sample exact zero-control regions QNFV9JB86N
| URI | m2://inv/QNFV9JB86N |
|---|---|
| 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.33154#Y4JE, Finite-sample exact zero-control regions (statement). In N28DEYRBW7/e1, theorem 3.8
History
- 2026-10-30: add by m2/v0.4.12
Hans-Joachim Bremermann QNG1EKA9N3
| URI | m2://inv/QNG1EKA9N3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Joachim Bremermann, Hans-Joachim Bremermann (topic). Also Wikidata Q74041
History
- 2026-11-02: add by m2/dev
Chebyshev gluing data QNG61K2JXF
| URI | m2://inv/QNG61K2JXF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#MKPM, Chebyshev gluing data (example). In XK6H7F2F13/e1, example 6.6
History
- 2026-10-30: add by m2/v0.4.12
QNG8659RV1 QNG8659RV1
| URI | m2://inv/QNG8659RV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#KATG (statement). In X923ZEY423/e1, lemma 1.3.2
History
- 2026-10-27: add by m2/v0.3.5
QNGH6QFAV8 QNGH6QFAV8
| URI | m2://inv/QNGH6QFAV8 |
|---|---|
| Kind | problem |
| 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 2305.10202#FYAN (problem). In ER06JKXR8B/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
QNGHDB2E83 QNGHDB2E83
| URI | m2://inv/QNGHDB2E83 |
|---|---|
| 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.08018#IOEM (statement). In TN93YFN45W/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.4.0
Fano factor QNGNTDCA10
| URI | m2://inv/QNGNTDCA10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZP7S, Fano factor (definition)
History
- 2026-11-02: add by m2/dev
Jacobson's conjecture QNGQ5K78WR
| URI | m2://inv/QNGQ5K78WR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZZ1T, Jacobson's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
COBOL QNGQY06PZ6
| URI | m2://inv/QNGQY06PZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131140, COBOL (unknown). Also EoM Cobol
History
- 2026-10-26: add by m2/dev
QNGS9DPTV5 QNGS9DPTV5
| URI | m2://inv/QNGS9DPTV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13076#L7PK (statement). In K7GJA4WGV7/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Method QNGV62Y4EN
| URI | m2://inv/QNGV62Y4EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Head/tail breaks#N4V5, Method (definition)
History
- 2026-11-02: add by m2/dev
QNH0NH1RPP QNH0NH1RPP
| URI | m2://inv/QNH0NH1RPP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:cossinidentity (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
342 (number) QNH1BJKBRD
| URI | m2://inv/QNH1BJKBRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#M61S, 342 (number) (unknown)
History
- 2026-11-02: add by m2/dev
QNH5755194 QNH5755194
| URI | m2://inv/QNH5755194 |
|---|---|
| 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 1904.09810#9F59 (statement). In T1VFA7TXPA/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.5
QNH918GPQ0 QNH918GPQ0
| URI | m2://inv/QNH918GPQ0 |
|---|---|
| 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.32937#AT5U (statement). In RB0SJRQP6X/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
APMonitor QNHF48NM99
| URI | m2://inv/QNHF48NM99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#KLAF, APMonitor (unknown)
History
- 2026-11-02: add by m2/dev
QNHW53TN7R QNHW53TN7R
| URI | m2://inv/QNHW53TN7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#CWJK (statement). In 3VZ55B2N0D/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Free operad QNJ29AVDES
| URI | m2://inv/QNJ29AVDES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#NTBD, Free operad (unknown)
History
- 2026-11-02: add by m2/dev
superellipse QNJ3SX23NJ
| URI | m2://inv/QNJ3SX23NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q867058, superellipse (unknown). Also MathWorld Superellipse
- wikipedia: Wikipedia Superellipse, Superellipse (definition). Also Wikidata Q867058
History
- 2026-10-26: add by m2/dev
QNJ998TQTK QNJ998TQTK
| URI | m2://inv/QNJ998TQTK |
|---|---|
| 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.07644#OYPF (statement). In TFAN2DR6FD/e1, proposition 16
History
- 2026-10-27: add by m2/v0.3.5
QNJFG2H90S QNJFG2H90S
| URI | m2://inv/QNJFG2H90S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn:modal-image (definition). In N54F33XE07, defn, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
algebraic theory QNJQXQ7QQT
| URI | m2://inv/QNJQXQ7QQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4724020, algebraic theory (unknown). Also nLab algebraic theory
- wikipedia: Wikipedia Algebraic theory, Algebraic theory (definition). Also Wikidata Q4724020
History
- 2026-10-26: add by m2/dev
QNK57TWEZ2 QNK57TWEZ2
| URI | m2://inv/QNK57TWEZ2 |
|---|---|
| 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.29699#MMQW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Prime model QNKQ86SY0Q
| URI | m2://inv/QNKQ86SY0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#ZAUQ, Prime model (definition)
History
- 2026-11-02: add by m2/dev
convolution algebra QNKRW82XHR
| URI | m2://inv/QNKRW82XHR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#1Q9A, convolution algebra (definition). In 9ZSNSJRJ5N/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
QNKTCCSQZE QNKTCCSQZE
| URI | m2://inv/QNKTCCSQZE |
|---|---|
| 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 2104.04145#GES7 (statement). In 7TNHVC586V/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Routh–Hurwitz theorem QNKX9M4KDX
| URI | m2://inv/QNKX9M4KDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455015, Routh–Hurwitz theorem (statement). Also Wikidata Q4455015
- thousand_plus: thousand_plus Q4455015, Routh–Hurwitz theorem (statement). Also Wikidata Q4455015, Wikipedia Routh–Hurwitz theorem
- wikidata: Wikidata Q4455015, Routh–Hurwitz theorem (statement). Also MathWorld Routh-HurwitzTheorem
- wikipedia: Wikipedia Routh–Hurwitz theorem, Routh–Hurwitz theorem (statement). Also Wikidata Q4455015
History
- 2026-10-26: add by m2/dev
QNM08H4C0Y QNM08H4C0Y
| URI | m2://inv/QNM08H4C0Y |
|---|---|
| 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.17240#58RL (statement). In 59BZ4V9RQW/e1, proposition 8.8
History
- 2026-10-28: add by m2/v0.4.2
Generalized expected utility QNM8BFW6TJ
| URI | m2://inv/QNM8BFW6TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized expected utility, Generalized expected utility (definition). Also Wikidata Q5532475
History
- 2026-11-02: add by m2/dev
Applications QNMA7SJDP3
| URI | m2://inv/QNMA7SJDP3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transparent decryption#G9OG, Applications (example)
History
- 2026-11-02: add by m2/dev
$q=2$ distance ceiling; original, numerical QNMC2JVQMT
| URI | m2://inv/QNMC2JVQMT |
|---|---|
| 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.02392#WC0U, $q=2$ distance ceiling; original, numerical (statement). In W066HQZQBF/e1, proposition 23
History
- 2026-10-29: add by m2/v0.4.12
David Benney QNMC4PB8K4
| URI | m2://inv/QNMC4PB8K4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Benney, David Benney (topic). Also Wikidata Q22978958
History
- 2026-11-02: add by m2/dev
Annette Werner QNMM4EX0RX
| URI | m2://inv/QNMM4EX0RX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annette Werner, Annette Werner (topic). Also Wikidata Q6577679
History
- 2026-11-02: add by m2/dev
QNMMBZWAVG QNMMBZWAVG
| URI | m2://inv/QNMMBZWAVG |
|---|---|
| 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.05712#U7AH (statement). In 44Q2H3DWNW/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Notation QNMS8W6YX9
| URI | m2://inv/QNMS8W6YX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbershop paradox#CJ4F, Notation (definition)
History
- 2026-11-02: add by m2/dev
QNMT58RRQF QNMT58RRQF
| URI | m2://inv/QNMT58RRQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07280#EV1Q (statement). In 1FJKW4WGEN/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
QNMT7GNB8N QNMT7GNB8N
| URI | m2://inv/QNMT7GNB8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#AU6C (statement). In DH84PYVRCF/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
Applications QNMZ3T55WC
| URI | m2://inv/QNMZ3T55WC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time dependent vector field#Z62Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Retraction decomposition QNMZVRAJY2
| URI | m2://inv/QNMZVRAJY2 |
|---|---|
| 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.39700#06J9, Retraction decomposition (statement). In E7W2HDNEKJ/e1, lemma H.8
History
- 2026-10-30: add by m2/v0.4.12
QNN00A8AVP QNN00A8AVP
| URI | m2://inv/QNN00A8AVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#R7NE (statement). In TXBXCPP0QH/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Definition QNN43B9WM5
| URI | m2://inv/QNN43B9WM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (set theory)#455J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Terminating series for the Hermite \(B\)-components QNN6X2DXGP
| URI | m2://inv/QNN6X2DXGP |
|---|---|
| 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 2609.22027#2KRO, Terminating series for the Hermite \(B\)-components (statement)
History
- 2026-11-02: add by m2/v0.6.17
QNN795FH6R QNN795FH6R
| URI | m2://inv/QNN795FH6R |
|---|---|
| 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.33154#WMHY (statement). In N28DEYRBW7/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
QNNAH6PBF8 QNNAH6PBF8
| URI | m2://inv/QNNAH6PBF8 |
|---|---|
| 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.10469#6X8M (statement). In Q39BEKW6D9/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Alessandro Figà Talamanca QNNC8GCZDM
| URI | m2://inv/QNNC8GCZDM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandro Figà Talamanca, Alessandro Figà Talamanca (topic). Also Wikidata Q3610011
History
- 2026-11-02: add by m2/dev
Global monotonicity and exclusion of closed loops QNNEA6B8DH
| URI | m2://inv/QNNEA6B8DH |
|---|---|
| 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.28024#H14I, Global monotonicity and exclusion of closed loops (statement)
History
- 2026-11-01: add by m2/v0.6.15
QNNEXNJ5WG QNNEXNJ5WG
| URI | m2://inv/QNNEXNJ5WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.04099#RXJD (statement). In QPJ6FWG5HD/e1, proposition 2.80
History
- 2026-10-29: add by m2/v0.4.12
Key identity QNNPBFY9BT
| URI | m2://inv/QNNPBFY9BT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#CJIV, Key identity (statement). In 3TJ2FWXQ0D/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Julian Cole QNP57YEGGH
| URI | m2://inv/QNP57YEGGH |
|---|---|
| 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 Q1451285, Julian Cole (unknown). Also nLab Julian Cole
History
- 2026-10-26: add by m2/dev
QNP821MPRJ QNP821MPRJ
| URI | m2://inv/QNP821MPRJ |
|---|---|
| Kind | definition |
| 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#5I77 (definition). In CY1FE8W1ZW/e1, definition 0.27
History
- 2026-10-27: add by m2/v0.3.5
Examples QNPCA7YYBQ
| URI | m2://inv/QNPCA7YYBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnew's theorem#GNC5, Examples (example)
History
- 2026-11-02: add by m2/dev
non-Euclidean geometry QNPDT2EB7P
| URI | m2://inv/QNPDT2EB7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Non-Euclidean geometry SPCYMFN5V2 |
Mentions
- wikidata: Wikidata Q233858, non-Euclidean geometry (topic). Also MathWorld Non-EuclideanGeometry, ProofWiki Definition:Non-Euclidean_Geometry
- wikipedia: Wikipedia Non-Euclidean geometry, Non-Euclidean geometry (definition). Also Wikidata Q233858
History
- 2026-10-26: add by m2/dev
Quandle QNPGKNPJJZ
| URI | m2://inv/QNPGKNPJJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Racks and quandles#3SH7, Quandle (unknown)
History
- 2026-11-02: add by m2/dev
Theorem QNPJCRTXS8
| URI | m2://inv/QNPJCRTXS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#ODQY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
QNPXK51XG6 QNPXK51XG6
| URI | m2://inv/QNPXK51XG6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.11969#066P (definition). In 9N4EV3GRM7/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Cognitive elite QNQ0QNF4DD
| URI | m2://inv/QNQ0QNF4DD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Bell Curve#C8E0, Cognitive elite (unknown)
History
- 2026-11-02: add by m2/dev
Properties QNQ90EZ9CP
| URI | m2://inv/QNQ90EZ9CP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple integral#9AV5, Properties (statement)
History
- 2026-11-02: add by m2/dev
QNQCEENXBS QNQCEENXBS
| URI | m2://inv/QNQCEENXBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.08010#NZ5O (statement). In 2S89BG5WPH/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Cardinality QNQGYD7RFF
| URI | m2://inv/QNQGYD7RFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#936B, Cardinality (definition)
History
- 2026-11-02: add by m2/dev
QNQK5ZAMFB QNQK5ZAMFB
| URI | m2://inv/QNQK5ZAMFB |
|---|---|
| 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.01828#1BQZ (statement). In RQMJY73C8Q/e1, theorem III.2
History
- 2026-10-29: add by m2/v0.4.12
Heinz Engl QNQKTYGVN0
| URI | m2://inv/QNQKTYGVN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinz Engl, Heinz Engl (topic). Also Wikidata Q1600177
History
- 2026-11-02: add by m2/dev
QNQNGMSC6R QNQNGMSC6R
| URI | m2://inv/QNQNGMSC6R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-3 (example). In E9HS8K3A52, example, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
QNQPCC1ARP QNQPCC1ARP
| URI | m2://inv/QNQPCC1ARP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21892#PIH7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Egan conjecture QNQPTQ267K
| URI | m2://inv/QNQPTQ267K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JH2B, Egan conjecture (statement)
History
- 2026-11-02: add by m2/dev
cf.\ \protect QNQRNVYBJ2
| URI | m2://inv/QNQRNVYBJ2 |
|---|---|
| Kind | conjecture |
| 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.28848#J5PF, cf.\ \protect (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
QNQS4T9E66 QNQS4T9E66
| URI | m2://inv/QNQS4T9E66 |
|---|---|
| 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.20145#7OU0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
QNQVS8JVHM QNQVS8JVHM
| URI | m2://inv/QNQVS8JVHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/standard-models.tex#prop:thq-standard (statement). In PKGMM3P5QY, prop, section 49.4
History
- 2026-11-01: add by m2/v0.6.13
Modern approach to the composition law QNQWA2JPBA
| URI | m2://inv/QNQWA2JPBA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss composition law#FH28, Modern approach to the composition law (statement)
History
- 2026-11-02: add by m2/dev
Joseph L. Fleiss QNR11G4R3J
| URI | m2://inv/QNR11G4R3J |
|---|---|
| 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#0GCU, Joseph L. Fleiss (unknown)
History
- 2026-11-02: add by m2/dev
QNR8XBTW60 QNR8XBTW60
| URI | m2://inv/QNR8XBTW60 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#29P7 (example). In V7VCEA0VAA/e1, example 5.6
History
- 2026-10-29: add by m2/v0.4.10
No-win situation QNR9QT59AJ
| URI | m2://inv/QNR9QT59AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-win situation, No-win situation (definition). Also Wikidata Q3375237
History
- 2026-11-02: add by m2/dev
QNRFCTSE25 QNRFCTSE25
| URI | m2://inv/QNRFCTSE25 |
|---|---|
| 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.09404#UUPF (statement). In D7CZZ48FRN/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
QNRFSZGDE0 QNRFSZGDE0
| URI | m2://inv/QNRFSZGDE0 |
|---|---|
| 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.29326#XWX4 (statement). In 3F83V6VKKA/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.6
QNRZ4PYCMW QNRZ4PYCMW
| URI | m2://inv/QNRZ4PYCMW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.13548#ZMFV (definition). In EQF1ZQ5K1S/e1, definition 3.19
History
- 2026-10-27: add by m2/v0.4.0
Heine–Cantor theorem QNRZJXCW86
| URI | m2://inv/QNRZJXCW86 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard calculus#TOWV, Heine–Cantor theorem (statement)
History
- 2026-11-02: add by m2/dev
Equatorial wave QNS5KJSR5P
| URI | m2://inv/QNS5KJSR5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equatorial wave, Equatorial wave (definition). Also Wikidata Q530080
History
- 2026-11-02: add by m2/dev
Lemma (X^{\#} is closed in \mathbb{K}^X) QNS9CJCS5V
| URI | m2://inv/QNS9CJCS5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Alaoglu theorem#AOTY, Lemma (X^{\#} is closed in \mathbb{K}^X) (statement)
History
- 2026-11-02: add by m2/dev
A4 polytope QNSFYF2RXQ
| URI | m2://inv/QNSFYF2RXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A4 polytope, A4 polytope (definition). Also Wikidata Q21067802
History
- 2026-11-02: add by m2/dev
Forced spectral Galerkin solutions QNSM3B1ZH0
| URI | m2://inv/QNSM3B1ZH0 |
|---|---|
| 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.33033#WUH4, Forced spectral Galerkin solutions (statement). In AJWBAHJ8VD/e1, theorem 9.1
History
- 2026-10-31: add by m2/v0.5.6
Lee Hyang-sook QNSNFBKSTP
| URI | m2://inv/QNSNFBKSTP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee Hyang-sook, Lee Hyang-sook (topic). Also Wikidata Q97209708
History
- 2026-11-02: add by m2/dev
First incompleteness theorem QNSTYGWFB4
| URI | m2://inv/QNSTYGWFB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's incompleteness theorems#4FOG, First incompleteness theorem (statement)
History
- 2026-11-02: add by m2/dev
Victor Jamet QNSY4R0GD1
| URI | m2://inv/QNSY4R0GD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Jamet, Victor Jamet (topic). Also Wikidata Q24203544
History
- 2026-11-02: add by m2/dev
QNSYF5A3SY QNSYF5A3SY
| URI | m2://inv/QNSYF5A3SY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-quantifiers.tex#thm:strong-generalization (statement). In PKGMM3P5QY, thm, section 8.9
History
- 2026-11-01: add by m2/v0.6.13
Properties QNT1TQRNR3
| URI | m2://inv/QNT1TQRNR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#7DSD, Properties (statement)
History
- 2026-11-02: add by m2/dev
concentric circles QNT3ENE1ET
| URI | m2://inv/QNT3ENE1ET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q67251689, concentric circles (unknown). Also MathWorld ConcentricCircles
History
- 2026-10-26: add by m2/dev
Examples QNT3HRREPX
| URI | m2://inv/QNT3HRREPX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connectivity (graph theory)#4NPA, Examples (example)
History
- 2026-11-02: add by m2/dev
argument QNT9X63YC1
| URI | m2://inv/QNT9X63YC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex plane#0MMJ, argument (definition)
- wikipedia: Wikipedia Complex plane#DJIU, modulus (definition)
- wikipedia: Wikipedia Complex plane#SK7W, absolute value (definition)
History
- 2026-11-02: add by m2/dev
Properties QNTK5D4WW0
| URI | m2://inv/QNTK5D4WW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colossally abundant number#JLKC, Properties (statement)
History
- 2026-11-02: add by m2/dev
QNTNT1NE9H QNTNT1NE9H
| URI | m2://inv/QNTNT1NE9H |
|---|---|
| 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.06724#T9R0 (statement). In W5XG3PGVF1/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Minimum phase QNTRT9F570
| URI | m2://inv/QNTRT9F570 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum phase, Minimum phase (definition). Also Wikidata Q489593
History
- 2026-11-02: add by m2/dev
Dual standard-range bound QNTXQ5ZEAN
| URI | m2://inv/QNTXQ5ZEAN |
|---|---|
| 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.33365#W8BA, Dual standard-range bound (statement). In MCXCMR7V0T/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
QNTXTKHA3F QNTXTKHA3F
| URI | m2://inv/QNTXTKHA3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 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 math/0512416#GSII (statement). In WJD9YPGGYH/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
QNVEGSJWB6 QNVEGSJWB6
| URI | m2://inv/QNVEGSJWB6 |
|---|---|
| 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.03126#FPQP (definition). In ZJ6VQCRDVR/e1, definition 9
History
- 2026-10-29: add by m2/v0.4.12
QNVKW9R7PB QNVKW9R7PB
| URI | m2://inv/QNVKW9R7PB |
|---|---|
| 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 2403.15255#GVGA (statement). In G691MXMYW0/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.4.0
QNVMNSWVKJ QNVMNSWVKJ
| URI | m2://inv/QNVMNSWVKJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#G6W9 (definition). In 2RC8WXQ9ET/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Sharon-Lise Normand QNVXND5PXN
| URI | m2://inv/QNVXND5PXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RWM4, Sharon-Lise Normand (topic)
History
- 2026-11-02: add by m2/dev
Definition QNW5CXB4DN
| URI | m2://inv/QNW5CXB4DN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact Lie algebra#SMGQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sixfold convexity and the high-mass profile QNW8K7S7HG
| URI | m2://inv/QNW8K7S7HG |
|---|---|
| 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#V57G, Sixfold convexity and the high-mass profile (statement). In 9YAE8FNQST/e1, corollary 15.20
History
- 2026-10-30: add by m2/v0.4.12
In terms of invariant formula QNW9EMP3MH
| URI | m2://inv/QNW9EMP3MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior derivative#ALJ1, In terms of invariant formula (statement)
History
- 2026-11-02: add by m2/dev
Hall QNWDDR6M12
| URI | m2://inv/QNWDDR6M12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#3W15, Hall (topic)
History
- 2026-11-02: add by m2/dev
Al-Karaji QNWEJDTGE2
| URI | m2://inv/QNWEJDTGE2 |
|---|---|
| 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 Q461062, Al-Karaji (unknown). Also ProofWiki Mathematician:Abu_Bakr_al-Karaji
History
- 2026-10-26: add by m2/dev
Properties QNWEY6HT4D
| URI | m2://inv/QNWEY6HT4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniquely colorable graph#4FP4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement of the theorem QNX2KG7JXD
| URI | m2://inv/QNX2KG7JXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin's formula#JZ8E, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Abel's binomial theorem QNX4YAFZ3K
| URI | m2://inv/QNX4YAFZ3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8T3F, Abel's binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
QNX5GX5A50 QNX5GX5A50
| URI | m2://inv/QNX5GX5A50 |
|---|---|
| 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.24363#ZFQ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QNX5ZMH4NQ QNX5ZMH4NQ
| URI | m2://inv/QNX5ZMH4NQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness.tex#cor:consistency-soundness (statement). In PKGMM3P5QY, cor, section 15.11
History
- 2026-11-01: add by m2/v0.6.13
Hans Munthe-Kaas QNX7A2X85Q
| URI | m2://inv/QNX7A2X85Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Munthe-Kaas, Hans Munthe-Kaas (topic). Also Wikidata Q29534071
History
- 2026-11-02: add by m2/dev
one and only one QNXDN6JPBJ
| URI | m2://inv/QNXDN6JPBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#TPU9, one and only one (definition)
History
- 2026-11-02: add by m2/dev
QNXFGMHEH9 QNXFGMHEH9
| URI | m2://inv/QNXFGMHEH9 |
|---|---|
| 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 2609.21013#D09T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Duke of Mantua QNXKQ5ACMH
| URI | m2://inv/QNXKQ5ACMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#G190, Duke of Mantua (unknown)
History
- 2026-11-02: add by m2/dev
Frequency analysis QNXMDYQHR4
| URI | m2://inv/QNXMDYQHR4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency analysis, Frequency analysis (topic). Also Wikidata Q565636
History
- 2026-11-02: add by m2/dev
Definition QNXPC08G59
| URI | m2://inv/QNXPC08G59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite kernel#IK4I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Walter Lewis Baily Jr. QNXTC524AE
| URI | m2://inv/QNXTC524AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Lewis Baily Jr., Walter Lewis Baily Jr. (topic). Also Wikidata Q15453052
History
- 2026-11-02: add by m2/dev
Properties QNXY2EF7YF
| URI | m2://inv/QNXY2EF7YF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead product#FZB6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Burgers' equation QNXZ3BGS95
| URI | m2://inv/QNXZ3BGS95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Burgers' equation NEGHXN8RE1 |
Mentions
- wikidata: Wikidata Q1014918, Burgers' equation (unknown). Also MathWorld BurgersEquation
- wikipedia: Wikipedia Burgers' equation, Burgers' equation (definition). Also Wikidata Q1014918
History
- 2026-10-26: add by m2/dev
sign QNY5DECTE4
| URI | m2://inv/QNY5DECTE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#6JCT, sign (definition)
History
- 2026-11-02: add by m2/dev
QNY5V3J9Q3 QNY5V3J9Q3
| URI | m2://inv/QNY5V3J9Q3 |
|---|---|
| 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.03272#T6YX (statement). In H9ZC46G7BX/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
QNY6SHFXFW QNY6SHFXFW
| URI | m2://inv/QNY6SHFXFW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21732#822O (definition). In 6DJDRXDQNB/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
$\sim$ sees all arities QNY7V1X2E7
| URI | m2://inv/QNY7V1X2E7 |
|---|---|
| Kind | statement |
| 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#H4TK, $\sim$ sees all arities (statement)
History
- 2026-11-01: add by m2/v0.6.15
QNYBQFZP8H QNYBQFZP8H
| URI | m2://inv/QNYBQFZP8H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#6W6O (example)
History
- 2026-11-01: add by m2/v0.6.15
QNYCP25SHY QNYCP25SHY
| URI | m2://inv/QNYCP25SHY |
|---|---|
| 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.24353#3XR4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
fundamental theorem of Riemannian geometry QNYDQ0YPYK
| URI | m2://inv/QNYDQ0YPYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fundamental theorem of Riemannian geometry 78JRW8KTH8 |
Mentions
- wikidata: Wikidata Q2185349, fundamental theorem of Riemannian geometry (statement). Also nLab fundamental theorem of Riemannian geometry
- wikipedia: Wikipedia Fundamental theorem of Riemannian geometry, Fundamental theorem of Riemannian geometry (statement). Also Wikidata Q2185349
History
- 2026-10-26: add by m2/dev
QNYKMR8TMR QNYKMR8TMR
| URI | m2://inv/QNYKMR8TMR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
N-group QNYW59SJSR
| URI | m2://inv/QNYW59SJSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-group (category theory), N-group (definition). Also Wikidata Q6951485
History
- 2026-11-02: add by m2/dev
QNZ3NMY81M QNZ3NMY81M
| URI | m2://inv/QNZ3NMY81M |
|---|---|
| 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.10527#OWMI (statement). In 9AXPPWBA9R/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
QNZ3WMFWXR QNZ3WMFWXR
| URI | m2://inv/QNZ3WMFWXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#TSMD (statement). In ZJQB9W60T6/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Robert Brandenberger QNZ5T73JX9
| URI | m2://inv/QNZ5T73JX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#EY52, Robert Brandenberger (unknown)
History
- 2026-11-02: add by m2/dev
QNZJV21AVF QNZJV21AVF
| URI | m2://inv/QNZJV21AVF |
|---|---|
| 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.39700#OP9U (statement). In E7W2HDNEKJ/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
domain of holomorphy QNZK124R14
| URI | m2://inv/QNZK124R14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Domain of holomorphy 4487CSC0MB |
Mentions
- wikidata: Wikidata Q1625065, domain of holomorphy (unknown). Also EoM Domain_of_holomorphy, nLab domain of holomorphy
- wikipedia: Wikipedia Domain of holomorphy, Domain of holomorphy (definition). Also Wikidata Q1625065
History
- 2026-10-26: add by m2/dev
Anders Martin-Löf QNZK8TWXQV
| URI | m2://inv/QNZK8TWXQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#URG2, Anders Martin-Löf (topic)
History
- 2026-11-02: add by m2/dev
QNZPD8S074 QNZPD8S074
| URI | m2://inv/QNZPD8S074 |
|---|---|
| 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 2609.38793#82O6 (definition). In T2N92YSY5R/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
degree of a polynomial QNZX912T8Z
| URI | m2://inv/QNZX912T8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Degree of a polynomial 0DPF6WRZW6 |
Mentions
- wikidata: Wikidata Q1473607, degree of a polynomial (definition). Also MathWorld PolynomialDegree, ProofWiki Definition:Degree_of_Polynomial
- wikipedia: Wikipedia Degree of a polynomial, Degree of a polynomial (definition). Also Wikidata Q1473607
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent