Inventory rows DF
The cards of the rows of the inventory whose ids start with DF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cone tracing DF01SCZ3CX
| URI | m2://inv/DF01SCZ3CX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#QL8R, Cone tracing (unknown)
History
- 2026-11-02: add by m2/dev
DF01WXC4Y7 DF01WXC4Y7
| URI | m2://inv/DF01WXC4Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15869#K9Q0 (statement). In 5VRP29WZEK/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
DF02D8836M DF02D8836M
| URI | m2://inv/DF02D8836M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-7-3.xml#act-1-7-3 (exercise). In 907G4C4EJ1, activity, section 1.7.4
History
- 2026-11-01: add by m2/v0.6.13
DF06YXNV49 DF06YXNV49
| URI | m2://inv/DF06YXNV49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#CIPG (statement). In J7ZX3WWRQP/e1, corollary 2.26
History
- 2026-10-28: add by m2/v0.4.2
DF0E190YZ1 DF0E190YZ1
| URI | m2://inv/DF0E190YZ1 |
|---|---|
| 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.11377#8PS3 (statement). In YCV4YA6FC2/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.3
Birgit Speh DF0R3XEAT1
| URI | m2://inv/DF0R3XEAT1 |
|---|---|
| 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#49M1, Birgit Speh (topic)
History
- 2026-11-02: add by m2/dev
DF0WHK1B88 DF0WHK1B88
| URI | m2://inv/DF0WHK1B88 |
|---|---|
| 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 2211.14214#4E34 (statement). In SY85Y9E45A/e1, theorem 21
History
- 2026-10-27: add by m2/v0.3.5
DF0WYH8TY6 DF0WYH8TY6
| URI | m2://inv/DF0WYH8TY6 |
|---|---|
| Kind | conjecture |
| 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 0809.4587#AX7M (conjecture). In KQ8JPHDKKE/e1, conjecture 9.5.5
History
- 2026-10-27: add by m2/v0.3.5
Samuel Kou DF16JXCR2S
| URI | m2://inv/DF16JXCR2S |
|---|---|
| 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#XDSA, Samuel Kou (topic)
History
- 2026-11-02: add by m2/dev
DF18653ME6 DF18653ME6
| URI | m2://inv/DF18653ME6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12351#5HFL (statement). In G1S5YM8TSR/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Miklós Schweitzer Competition DF18NSK1G0
| URI | m2://inv/DF18NSK1G0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#K30S, Miklós Schweitzer Competition (definition)
History
- 2026-11-02: add by m2/dev
DF1APBQ5QG DF1APBQ5QG
| URI | m2://inv/DF1APBQ5QG |
|---|---|
| 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.10086#VC4D (statement). In NP9X9CAK19/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.10
DF1DRBT6P4 DF1DRBT6P4
| URI | m2://inv/DF1DRBT6P4 |
|---|---|
| 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.07963#12OU (definition). In HAGJKEZ1CK/e1, definition 4.6
History
- 2026-10-29: add by m2/v0.4.10
small icosicosidodecahedron DF1EQ6KK5E
| URI | m2://inv/DF1EQ6KK5E |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718107, small icosicosidodecahedron (unknown). Also MathWorld SmallIcosicosidodecahedron
- wikipedia: Wikipedia Small icosicosidodecahedron, Small icosicosidodecahedron (object). Also Wikidata Q2718107
History
- 2026-10-26: add by m2/dev
Examples DF1RATH1FD
| URI | m2://inv/DF1RATH1FD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semimartingale#RS94, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition DF1S2NWSKA
| URI | m2://inv/DF1S2NWSKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence algebra#GITH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties DF1S7BD0YC
| URI | m2://inv/DF1S7BD0YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kempner function#JSAC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulas DF1SG57D7D
| URI | m2://inv/DF1SG57D7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tesseract#KQ7W, Formulas (statement)
History
- 2026-11-02: add by m2/dev
DF1V7ZFDF4 DF1V7ZFDF4
| URI | m2://inv/DF1V7ZFDF4 |
|---|---|
| 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.26477#WIAS (statement)
History
- 2026-11-01: add by m2/v0.6.15
DF27CCXTS0 DF27CCXTS0
| URI | m2://inv/DF27CCXTS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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.20932#YI5U (statement). In FV78KV64B9/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Definition DF2HB7N4P9
| URI | m2://inv/DF2HB7N4P9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized integer gamma distribution#1XEJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
DF2HYYK8S5 DF2HYYK8S5
| URI | m2://inv/DF2HYYK8S5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#TE1L (definition). In 7WV4JVGEN1/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.0
Normal-exponential-gamma distribution DF2TFHMQQV
| URI | m2://inv/DF2TFHMQQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#03PN, Normal-exponential-gamma distribution (topic)
History
- 2026-11-02: add by m2/dev
Properties DF2W2H92BR
| URI | m2://inv/DF2W2H92BR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative ring#XPRH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Existence of the candidates DF3175P8AM
| URI | m2://inv/DF3175P8AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#7SMC, Existence of the candidates (statement)
History
- 2026-11-01: add by m2/v0.6.15
DF3275REX2 DF3275REX2
| URI | m2://inv/DF3275REX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#IJ1F (statement). In R81S9R1XNR/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.3
Laplace–Runge–Lenz vector DF32PJ8MWK
| URI | m2://inv/DF32PJ8MWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace–Runge–Lenz vector, Laplace–Runge–Lenz vector (definition). Also Wikidata Q1153324
History
- 2026-11-02: add by m2/dev
Examples DF390AX9QB
| URI | m2://inv/DF390AX9QB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unipotent#QE46, Examples (example)
History
- 2026-11-02: add by m2/dev
Proof DF3BJPCC5X
| URI | m2://inv/DF3BJPCC5X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/refproofs.tex#proof-2, Proof (proof). In PKGMM3P5QY, proof, section 73.11
History
- 2026-11-01: add by m2/v0.6.13
DF3NXKTG33 DF3NXKTG33
| URI | m2://inv/DF3NXKTG33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#OX7L (statement). In V7SN19J84T/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
Mendel--Naor DF3SNAJFAV
| URI | m2://inv/DF3SNAJFAV |
|---|---|
| Kind | problem |
| 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.21445#LABV, Mendel--Naor (problem). In 6XM9AETJT7/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.4.2
What survives a noisy verifier DF3WSQEMJP
| URI | m2://inv/DF3WSQEMJP |
|---|---|
| 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.12211#09HA, What survives a noisy verifier (statement). In WBC7PQTVYC/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.2
DF40NGPN74 DF40NGPN74
| URI | m2://inv/DF40NGPN74 |
|---|---|
| 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 2501.12834#P9BA (statement). In 25JX9GN5TE/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Valentin Naboth DF414GYVNK
| URI | m2://inv/DF414GYVNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#DAOJ, Valentin Naboth (unknown)
History
- 2026-11-02: add by m2/dev
DF4FZYW7G2 DF4FZYW7G2
| URI | m2://inv/DF4FZYW7G2 |
|---|---|
| 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.27301#ZIPQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
U-shaped certification tradeoff DF4MCXFNN8
| URI | m2://inv/DF4MCXFNN8 |
|---|---|
| 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.21139#MVJ0, U-shaped certification tradeoff (statement). In E3NM0QN6KK/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
DF4ME8P49M DF4ME8P49M
| URI | m2://inv/DF4ME8P49M |
|---|---|
| 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.24030#4WA3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
DF504T2VH9 DF504T2VH9
| URI | m2://inv/DF504T2VH9 |
|---|---|
| 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.19464#QQ3T (statement). In G8JCZ109A9/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
DF510VR4B6 DF510VR4B6
| URI | m2://inv/DF510VR4B6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-45 (exercise). In E59CDZA4DP, exercise, section 5.5.4
History
- 2026-11-01: add by m2/v0.6.13
Vicsek fractal DF510X1XXN
| URI | m2://inv/DF510X1XXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3080268, Vicsek fractal (unknown). Also MathWorld BoxFractal
- wikipedia: Wikipedia Vicsek fractal, Vicsek fractal (definition). Also Wikidata Q3080268
History
- 2026-10-26: add by m2/dev
Poincaré conjecture DF51TCCMZ0
| URI | m2://inv/DF51TCCMZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#T7E6, Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
Corollary DF5ADDJQMQ
| URI | m2://inv/DF5ADDJQMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem on formal functions#60HF, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Göran Dillner DF5H395A6D
| URI | m2://inv/DF5H395A6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Göran Dillner, Göran Dillner (topic). Also Wikidata Q20095476
History
- 2026-11-02: add by m2/dev
Examples DF5K0F5Q42
| URI | m2://inv/DF5K0F5Q42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete numbering#KDZ4, Examples (example)
History
- 2026-11-02: add by m2/dev
Special cases DF5R33QRZ6
| URI | m2://inv/DF5R33QRZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conical surface#2ALF, Special cases (statement)
History
- 2026-11-02: add by m2/dev
DF6343C43V DF6343C43V
| URI | m2://inv/DF6343C43V |
|---|---|
| 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.35325#Q9F5 (statement). In GHT5WXFA4E/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
ROT13 DF68YD5K6G
| URI | m2://inv/DF68YD5K6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ROT13, ROT13 (definition). Also Wikidata Q666455
History
- 2026-11-02: add by m2/dev
Green's theorem DF6GGFCXHK
| URI | m2://inv/DF6GGFCXHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#BZ6K, Green's theorem (statement)
History
- 2026-11-02: add by m2/dev
DF6HSYCXN9 DF6HSYCXN9
| URI | m2://inv/DF6HSYCXN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#UR5Y (statement). In 8HYS0MFE25/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Algorithm \(\FindPlane\ DF6J2WBBJK
| URI | m2://inv/DF6J2WBBJK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#ZUOQ, Algorithm \(\FindPlane\ (definition). In 1YY0P4ZS0T/e1, definition 19
History
- 2026-10-29: add by m2/v0.4.10
Disjunction elimination DF6MK39A3B
| URI | m2://inv/DF6MK39A3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunction elimination, Disjunction elimination (definition). Also Wikidata Q5282265
History
- 2026-11-02: add by m2/dev
DF6P07PQQV DF6P07PQQV
| URI | m2://inv/DF6P07PQQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#QII8 (statement). In 2QP93JHYNB/e1, lemma 8.12
History
- 2026-10-27: add by m2/v0.4.2
DF7213XK2G DF7213XK2G
| URI | m2://inv/DF7213XK2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#DQVF (statement). In RZWJ0AT8W5/e1, theorem 4.8
History
- 2026-10-31: add by m2/v0.5.6
DF752WG56J DF752WG56J
| URI | m2://inv/DF752WG56J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#SIB2 (definition). In VNE8N0D2FB/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
$\lambda$-Diophantine type DF75F5KTQH
| URI | m2://inv/DF75F5KTQH |
|---|---|
| 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.15700#HZ7A, $\lambda$-Diophantine type (definition). In S95MSZ7MDR/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Birectified 9-cube DF7AZR571N
| URI | m2://inv/DF7AZR571N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 9-cubes#C9D6, Birectified 9-cube (unknown)
History
- 2026-11-02: add by m2/dev
DF7GETT533 DF7GETT533
| URI | m2://inv/DF7GETT533 |
|---|---|
| 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.37026#M2F9 (statement). In QGZPH9W8GY/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
Nonlinear strictification DF832YSDMS
| URI | m2://inv/DF832YSDMS |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#3TE4, Nonlinear strictification (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
DF89G9KXN5 DF89G9KXN5
| URI | m2://inv/DF89G9KXN5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#U5R2 (definition). In P7KT88N75Q/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
DF8EW6YDN5 DF8EW6YDN5
| URI | m2://inv/DF8EW6YDN5 |
|---|---|
| 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.28597#717V (statement)
History
- 2026-11-01: add by m2/v0.6.15
DF8F5EJ8HG DF8F5EJ8HG
| URI | m2://inv/DF8F5EJ8HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#VKXT (statement). In G2PA4KAGRP/e1, theorem 3.17
History
- 2026-10-27: add by m2/v0.3.6
DF8KYNZB6C DF8KYNZB6C
| URI | m2://inv/DF8KYNZB6C |
|---|---|
| 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.22074#WME2 (definition). In F3BKXXPR3K/e1, definition A.1
History
- 2026-10-27: add by m2/v0.4.2
Fixed-datum norm inflation DF8P2AMDP0
| URI | m2://inv/DF8P2AMDP0 |
|---|---|
| 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.24962#CJPP, Fixed-datum norm inflation (statement)
History
- 2026-11-01: add by m2/v0.6.15
eat the males during mating DF8RDJD231
| URI | m2://inv/DF8RDJD231 |
|---|---|
| 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#8R6V, eat the males during mating (unknown)
History
- 2026-11-02: add by m2/dev
Dual closure DF8VSZ0TRF
| URI | m2://inv/DF8VSZ0TRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure operator#2O1B, Dual closure (unknown)
History
- 2026-11-02: add by m2/dev
Properties DF8XNGVT2T
| URI | m2://inv/DF8XNGVT2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor rank decomposition#4A7I, Properties (statement)
History
- 2026-11-02: add by m2/dev
DF9AYW4ZC3 DF9AYW4ZC3
| URI | m2://inv/DF9AYW4ZC3 |
|---|---|
| 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.01924#PVCM (definition). In CB89152EQW/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Examples DF9CN1FGJT
| URI | m2://inv/DF9CN1FGJT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure (mathematical logic)#RQKP, Examples (example)
History
- 2026-11-02: add by m2/dev
P-morphism DF9ED9W0YY
| URI | m2://inv/DF9ED9W0YY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke semantics#PBCD, P-morphism (unknown)
History
- 2026-11-02: add by m2/dev
DF9HZT02ZT DF9HZT02ZT
| URI | m2://inv/DF9HZT02ZT |
|---|---|
| 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.39455#8MWQ (statement). In HW4Y4TMEZ3/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Canonical correspondence analysis DF9KEZXVNP
| URI | m2://inv/DF9KEZXVNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical correspondence analysis, Canonical correspondence analysis (definition). Also Wikidata Q16851643
History
- 2026-11-02: add by m2/dev
Theorem (geometric representation) DF9QJFB03Y
| URI | m2://inv/DF9QJFB03Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz triangle#T1XI, Theorem (geometric representation) (statement)
History
- 2026-11-02: add by m2/dev
DF9T0EW0AG DF9T0EW0AG
| URI | m2://inv/DF9T0EW0AG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#HFNR (example). In ZPT9XCCAPQ/e1, example 1.3.2
History
- 2026-10-31: add by m2/v0.5.6
quadratic Lie algebra DFA013VXNZ
| URI | m2://inv/DFA013VXNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7268353, quadratic Lie algebra (unknown). Also nLab metric Lie algebra
- wikipedia: Wikipedia Quadratic Lie algebra, Quadratic Lie algebra (definition). Also Wikidata Q7268353
History
- 2026-10-26: add by m2/dev
DFA0JRDV81 DFA0JRDV81
| URI | m2://inv/DFA0JRDV81 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-1 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Girsanov, , Theorem 5.1, Chapter 3 DFA5WF60G9
| URI | m2://inv/DFA5WF60G9 |
|---|---|
| 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.32446#S4ZB, Girsanov, , Theorem 5.1, Chapter 3 (statement). In W1KVJEGJ1W/e1, theorem B.1
History
- 2026-10-31: add by m2/v0.5.6
DFAA2QPE9H DFAA2QPE9H
| URI | m2://inv/DFAA2QPE9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#YI0I (statement). In FDYZFDHZH9/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Wigner D-matrix DFAFV8WSCB
| URI | m2://inv/DFAFV8WSCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wigner D-matrix QQPC9ASQHR |
Mentions
- wikidata: Wikidata Q3299244, Wigner D-matrix (unknown). Also MathWorld WignerD-Function
- wikipedia: Wikipedia Wigner D-matrix, Wigner D-matrix (definition). Also Wikidata Q3299244
History
- 2026-10-26: add by m2/dev
DFAGR9EH36 DFAGR9EH36
| URI | m2://inv/DFAGR9EH36 |
|---|---|
| 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.04675#RN4S (statement). In RDXNFF2CZP/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.12
DFAK4YG2WE DFAK4YG2WE
| URI | m2://inv/DFAK4YG2WE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#1HM5 (statement). In NGZ5AZ70NN/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Information bottleneck method DFANSVZQAP
| URI | m2://inv/DFANSVZQAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KKE6, Information bottleneck method (definition)
- wikipedia: Wikipedia List of mathematics-based methods#9XCS, Information bottleneck method (definition)
History
- 2026-11-02: add by m2/dev
The Hurwitz–Radon theorem DFANZFH4EX
| URI | m2://inv/DFANZFH4EX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz problem#HIMW, The Hurwitz–Radon theorem (statement)
History
- 2026-11-02: add by m2/dev
Sequent DFAZ994S08
| URI | m2://inv/DFAZ994S08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#QROB, Sequent (definition)
History
- 2026-11-02: add by m2/dev
Bingham distribution DFBHTC9QMX
| URI | m2://inv/DFBHTC9QMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bingham distribution, Bingham distribution (definition). Also Wikidata Q4914219
History
- 2026-11-02: add by m2/dev
DFBRP9TBQ4 DFBRP9TBQ4
| URI | m2://inv/DFBRP9TBQ4 |
|---|---|
| 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.16554#A82P (statement). In GWNT8HEZG1/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.6
A4 lattice DFC1QHBGDY
| URI | m2://inv/DFC1QHBGDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cell honeycomb#BGY7, A4 lattice (unknown)
History
- 2026-11-02: add by m2/dev
DFC73DY2TH DFC73DY2TH
| URI | m2://inv/DFC73DY2TH |
|---|---|
| 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.17817#U8MM (statement). In M8TSJ24RC2/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Cauchy, sequence DFCATFQ56H
| URI | m2://inv/DFCATFQ56H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.1/cauchy-sequence, Cauchy, sequence (concept). In N54F33XE07, index, section B.3.1
History
- 2026-11-01: add by m2/v0.6.13
Discrete modulus DFCJSTGGXM
| URI | m2://inv/DFCJSTGGXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremal length#V9QV, Discrete modulus (unknown)
History
- 2026-11-02: add by m2/dev
Mid-range DFCPPY4R2T
| URI | m2://inv/DFCPPY4R2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SX45, Mid-range (definition)
History
- 2026-11-02: add by m2/dev
weak DFCV7SZYHX
| URI | m2://inv/DFCV7SZYHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#AJZ9, weak (definition)
History
- 2026-11-02: add by m2/dev
Permutation box DFD1MSPW3B
| URI | m2://inv/DFD1MSPW3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#3GBW, Permutation box (definition)
History
- 2026-11-02: add by m2/dev
DFD7K8XYN3 DFD7K8XYN3
| URI | m2://inv/DFD7K8XYN3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 11.1.5
History
- 2026-11-01: add by m2/v0.6.13
Properties DFD9G0BNSN
| URI | m2://inv/DFD9G0BNSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiral similarity#6O2A, Properties (statement)
History
- 2026-11-02: add by m2/dev
Checkers DFDAXP363G
| URI | m2://inv/DFDAXP363G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#UCH7, Checkers (unknown)
History
- 2026-11-02: add by m2/dev
DFDFT4PMCW DFDFT4PMCW
| URI | m2://inv/DFDFT4PMCW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-59 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
Search over numerator coordinates DFDNVFY6KR
| URI | m2://inv/DFDNVFY6KR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#XYWE, Search over numerator coordinates (statement). In 1NY2SA03XF/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.10
Johann Heinrich Lambert DFDPF0C8QT
| URI | m2://inv/DFDPF0C8QT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#Y5GQ, Johann Heinrich Lambert (topic)
History
- 2026-11-02: add by m2/dev
Georges Darmois DFDR2Q99CQ
| URI | m2://inv/DFDR2Q99CQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#E4U1, Georges Darmois (topic)
History
- 2026-11-02: add by m2/dev
DFDXPAJQN2 DFDXPAJQN2
| URI | m2://inv/DFDXPAJQN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-7 (definition). In E59CDZA4DP, defn, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Zsuzsa Ferge DFE2VBKX67
| URI | m2://inv/DFE2VBKX67 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zsuzsa Ferge, Zsuzsa Ferge (topic). Also Wikidata Q1000622
History
- 2026-11-02: add by m2/dev
DFE4G3ZQSA DFE4G3ZQSA
| URI | m2://inv/DFE4G3ZQSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#87F2 (statement). In 702AF3E4AF/e1, theorem 3.17
History
- 2026-10-30: add by m2/v0.4.12
Ted Stevens DFE64372A6
| URI | m2://inv/DFE64372A6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#NGYQ, Ted Stevens (unknown)
History
- 2026-11-02: add by m2/dev
Gordon Preston DFEDQ4T37N
| URI | m2://inv/DFEDQ4T37N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9BHX, Gordon Preston (topic)
History
- 2026-11-02: add by m2/dev
Vis viva DFEE42XCT7
| URI | m2://inv/DFEE42XCT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#G0QT, Vis viva (unknown)
History
- 2026-11-02: add by m2/dev
DFEGYR429T DFEGYR429T
| URI | m2://inv/DFEGYR429T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#5XAV (definition). In ZH0PFTZ12Y/e1, definition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Claus Peter Ortlieb DFEHFPH5SV
| URI | m2://inv/DFEHFPH5SV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7C45, Claus Peter Ortlieb (unknown)
History
- 2026-11-02: add by m2/dev
DFEJ9PGHGE DFEJ9PGHGE
| URI | m2://inv/DFEJ9PGHGE |
|---|---|
| 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.35683#FD2I (statement). In A4S9A3X494/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
DFEVVCFWPP DFEVVCFWPP
| URI | m2://inv/DFEVVCFWPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#96UK (statement). In PA6JQDSKQT/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Example DFF4FE50KR
| URI | m2://inv/DFF4FE50KR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic character#3RE8, Example (example)
History
- 2026-11-02: add by m2/dev
DFF562ZFMF DFF562ZFMF
| URI | m2://inv/DFF562ZFMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14162#613K (statement). In JC1XF1JE6J/e1, theorem 3.15
History
- 2026-10-27: add by m2/v0.3.5
DFF5ZYTDZP DFF5ZYTDZP
| URI | m2://inv/DFF5ZYTDZP |
|---|---|
| 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.11757#YEYX (statement). In VSJRVTHWWA/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.3
DFFDH3JWTG DFFDH3JWTG
| URI | m2://inv/DFFDH3JWTG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#GIE6 (definition). In 9F94CEQ1ZM/e1, definition 2.21
History
- 2026-10-27: add by m2/v0.3.5
DFFPBVK3MZ DFFPBVK3MZ
| URI | m2://inv/DFFPBVK3MZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#TUMW (definition). In V97F4YZ8B0/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Variants DFGCAWEZ9D
| URI | m2://inv/DFGCAWEZ9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product bundle#LZ5G, Variants (statement)
History
- 2026-11-02: add by m2/dev
DFGJ7PF13V DFGJ7PF13V
| URI | m2://inv/DFGJ7PF13V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#DQ68 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DFGVM1HF7H DFGVM1HF7H
| URI | m2://inv/DFGVM1HF7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#thm:equiv yields partition (statement). In P1C114YBXG, theorem, section A
History
- 2026-11-01: add by m2/v0.6.13
Ludwig Stickelberger DFGYYFSDZD
| URI | m2://inv/DFGYYFSDZD |
|---|---|
| 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#KU41, Ludwig Stickelberger (topic)
History
- 2026-11-02: add by m2/dev
Dedekind-finite ring DFH0T0NN1X
| URI | m2://inv/DFH0T0NN1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind-finite ring, Dedekind-finite ring (definition). Also Wikidata Q112160790
History
- 2026-11-02: add by m2/dev
DFH33MGP5P DFH33MGP5P
| URI | m2://inv/DFH33MGP5P |
|---|---|
| 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.22190#LH5Z (statement). In AM6Y5W3HGG/e1, theorem 8
History
- 2026-10-27: add by m2/v0.4.0
Hyperelliptic curve DFH5H4HNVS
| URI | m2://inv/DFH5H4HNVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TSYU, Hyperelliptic curve (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#MBV7, Hyperelliptic curve (definition)
- wikipedia: Wikipedia List of curves#U0Z7, Hyperelliptic curve (definition)
History
- 2026-11-02: add by m2/dev
Omega and agemo subgroup DFHBYF0GYG
| URI | m2://inv/DFHBYF0GYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega and agemo subgroup, Omega and agemo subgroup (definition). Also Wikidata Q7090038
History
- 2026-11-02: add by m2/dev
Insertion DFHDQXA2WC
| URI | m2://inv/DFHDQXA2WC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#442W, Insertion (problem). In S1KHNS8XQM/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Theorems on books DFHGGK87A5
| URI | m2://inv/DFHGGK87A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book (graph theory)#XU42, Theorems on books (statement)
History
- 2026-11-02: add by m2/dev
Properties DFHPYJ1F2T
| URI | m2://inv/DFHPYJ1F2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian topological space#AJHU, Properties (statement)
History
- 2026-11-02: add by m2/dev
DFHSP5PX5N DFHSP5PX5N
| URI | m2://inv/DFHSP5PX5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#ZHCZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
DFJ5YMAY42 DFJ5YMAY42
| URI | m2://inv/DFJ5YMAY42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 0902.4012#7VFK (statement). In 6FH16YESRH/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
OpenSSL exception DFJBE2ES5A
| URI | m2://inv/DFJBE2ES5A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenSSL#JE7R, OpenSSL exception (unknown)
History
- 2026-11-02: add by m2/dev
DFJFPMGEGJ DFJFPMGEGJ
| URI | m2://inv/DFJFPMGEGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#6ACZ (statement). In C8VC86B6H8/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Generalization DFJJVBNQGV
| URI | m2://inv/DFJJVBNQGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation#0CR2, Generalization (statement)
History
- 2026-11-02: add by m2/dev
DFJRGG0RM8 DFJRGG0RM8
| URI | m2://inv/DFJRGG0RM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#I2FV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Plus-state bound DFJWRR1MCZ
| URI | m2://inv/DFJWRR1MCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#5O88, Plus-state bound (statement). In P3RTT99C41/e1, proposition 9.5
History
- 2026-10-30: add by m2/v0.4.12
Jorge Nocedal DFK3X5C9H9
| URI | m2://inv/DFK3X5C9H9 |
|---|---|
| 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#0877, Jorge Nocedal (unknown)
History
- 2026-11-02: add by m2/dev
A separable target for one operator DFK4HHBTWF
| URI | m2://inv/DFK4HHBTWF |
|---|---|
| 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#GLKV, A separable target for one operator (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complex cobordism DFK8RWX87A
| URI | m2://inv/DFK8RWX87A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complex cobordism 5CZHFNY9F3 |
Mentions
- wikidata: Wikidata Q5156571, Complex cobordism (unknown). Also nLab cobordism cohomology theory
- wikipedia: Wikipedia Complex cobordism, Complex cobordism (definition). Also Wikidata Q5156571
History
- 2026-10-26: add by m2/dev
b-open, b-closed DFKB61ZWT8
| URI | m2://inv/DFKB61ZWT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#EB9N, b-open, b-closed (definition)
History
- 2026-11-02: add by m2/dev
DFKRBG4P2G DFKRBG4P2G
| URI | m2://inv/DFKRBG4P2G |
|---|---|
| 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.31615#N56J (statement). In TNV6XTEWEG/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
DFKS1K9SME DFKS1K9SME
| URI | m2://inv/DFKS1K9SME |
|---|---|
| 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.09810#A5EN (statement). In B6PCH930FV/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Frobenius covariant DFKV7RK4VD
| URI | m2://inv/DFKV7RK4VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#1J6U, Frobenius covariant (definition)
History
- 2026-11-02: add by m2/dev
DFKW63Q4ZK DFKW63Q4ZK
| URI | m2://inv/DFKW63Q4ZK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Gaven Martin DFM2JFCAXV
| URI | m2://inv/DFM2JFCAXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FSXW, Gaven Martin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QHOF, Gaven Martin (topic)
History
- 2026-11-02: add by m2/dev
DFMCG59PWV DFMCG59PWV
| URI | m2://inv/DFMCG59PWV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#sintro:closedbrine-example (example). In E9HS8K3A52, example, section 10.1.2
History
- 2026-11-01: add by m2/v0.6.13
DFMPDH69HN DFMPDH69HN
| URI | m2://inv/DFMPDH69HN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#Y68H (definition). In R81S9R1XNR/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.3
DFMVM7Z39F DFMVM7Z39F
| URI | m2://inv/DFMVM7Z39F |
|---|---|
| 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 2605.24355#P6HC (statement). In VV3AJMWWCR/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.6
DFN7GC9AYZ DFN7GC9AYZ
| URI | m2://inv/DFN7GC9AYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#XETQ (statement). In QV16PHDXKJ/e1, proposition 4.9
History
- 2026-10-31: add by m2/v0.5.6
Friedrich Otto Rudolf Sturm DFNJXF018Z
| URI | m2://inv/DFNJXF018Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CPH7, Friedrich Otto Rudolf Sturm (topic)
History
- 2026-11-02: add by m2/dev
A binomial identity DFNN8V0P94
| URI | m2://inv/DFNN8V0P94 |
|---|---|
| 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#28Q5, A binomial identity (statement). In QPJ6FWG5HD/e1, lemma 2.95
History
- 2026-10-29: add by m2/v0.4.12
DFNXGSVE0G DFNXGSVE0G
| URI | m2://inv/DFNXGSVE0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#VD1M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nathaniel Bowditch DFNZFKKG13
| URI | m2://inv/DFNZFKKG13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathaniel Bowditch, Nathaniel Bowditch (topic). Also Wikidata Q1356911
History
- 2026-11-02: add by m2/dev
Paradigm DFP36JV7VM
| URI | m2://inv/DFP36JV7VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradigm (experimental), Paradigm (definition). Also Wikidata Q2668126
History
- 2026-11-02: add by m2/dev
convex DFP4GPWD6X
| URI | m2://inv/DFP4GPWD6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#5ZL6, convex (definition)
History
- 2026-11-02: add by m2/dev
DFP79X930Z DFP79X930Z
| URI | m2://inv/DFP79X930Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.13122#Z3C4 (statement). In PX2GWH86PN/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.5
Hilbert's tenth problem DFPBBHB1AD
| URI | m2://inv/DFPBBHB1AD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9L98, Hilbert's tenth problem (problem)
History
- 2026-11-02: add by m2/dev
DFPSRPY4RR DFPSRPY4RR
| URI | m2://inv/DFPSRPY4RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#857X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Conductors under norm pullback DFPWY61BZZ
| URI | m2://inv/DFPWY61BZZ |
|---|---|
| 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.30301#6ZM7, Conductors under norm pullback (statement). In 7NS75J7HAM/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
DFQ4H1GRG6 DFQ4H1GRG6
| URI | m2://inv/DFQ4H1GRG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#NTA1 (statement). In C6R0DAA279/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Definition DFQ64HWCVD
| URI | m2://inv/DFQ64HWCVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator subgroup#U565, Definition (definition)
History
- 2026-11-02: add by m2/dev
DFQAXHW92C DFQAXHW92C
| URI | m2://inv/DFQAXHW92C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#SPIN (statement). In HP3TM356J6/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
DFQJGD6JG9 DFQJGD6JG9
| URI | m2://inv/DFQJGD6JG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08145#GSHZ (statement). In N0QVPPFFC3/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Lie subgroup DFQPXGAGWA
| URI | m2://inv/DFQPXGAGWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group#8FJI, Lie subgroup (unknown)
History
- 2026-11-02: add by m2/dev
DFQRGNTJBX DFQRGNTJBX
| URI | m2://inv/DFQRGNTJBX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#J4GC (definition). In T3BY4TXYT4/e1, definition 6.8
History
- 2026-10-28: add by m2/v0.4.2
ICS Latam DFQWCTTW5Z
| URI | m2://inv/DFQWCTTW5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polls in Venezuela#T7AR, ICS Latam (unknown)
History
- 2026-11-02: add by m2/dev
Methods DFR076GG4S
| URI | m2://inv/DFR076GG4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fair random assignment#I47Q, Methods (definition)
History
- 2026-11-02: add by m2/dev
subsequence DFR1QF25ZZ
| URI | m2://inv/DFR1QF25ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Subsequence 0F1PR74BRX |
Mentions
- wikidata: Wikidata Q1332977, subsequence (unknown). Also MathWorld Subsequence
- wikipedia: Wikipedia Subsequence, Subsequence (definition). Also Wikidata Q1332977
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DFR44870JZ DFR44870JZ
| URI | m2://inv/DFR44870JZ |
|---|---|
| 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.13898#YSQA (definition). In 44EVK9BPC9/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Beulah Russell DFR5M0GTB7
| URI | m2://inv/DFR5M0GTB7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beulah Russell, Beulah Russell (topic). Also Wikidata Q111805289
History
- 2026-11-02: add by m2/dev
DFR94ND5E5 DFR94ND5E5
| URI | m2://inv/DFR94ND5E5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#R753 (definition). In HX63A1PH1W/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.3
DFRDGCDK2V DFRDGCDK2V
| URI | m2://inv/DFRDGCDK2V |
|---|---|
| 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 2609.30823#19UR (definition). In 1YHQ9YNQ68/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Stochastic simulation DFRFZ9D1ZN
| URI | m2://inv/DFRFZ9D1ZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic simulation, Stochastic simulation (definition). Also Wikidata Q4180825
History
- 2026-11-02: add by m2/dev
Hadamard transform DFRG75DV54
| URI | m2://inv/DFRG75DV54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#GJF9, Hadamard transform (definition)
History
- 2026-11-02: add by m2/dev
DFRMJQNMCZ DFRMJQNMCZ
| URI | m2://inv/DFRMJQNMCZ |
|---|---|
| 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.13792#A26Z (statement). In ZH0PFTZ12Y/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
John Tate DFRPGS39EB
| URI | m2://inv/DFRPGS39EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#UCBV, John Tate (topic)
History
- 2026-11-02: add by m2/dev
dialgebra DFRR5G819H
| URI | m2://inv/DFRR5G819H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19596859, dialgebra (unknown). Also nLab dialgebra
- wikipedia: Wikipedia Dialgebra, Dialgebra (definition). Also Wikidata Q19596859
History
- 2026-10-26: add by m2/dev
DFRRD507QS DFRRD507QS
| URI | m2://inv/DFRRD507QS |
|---|---|
| Kind | example |
| 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.36181#4SWL (example). In 1KSE33PVS6/e1, example 10
History
- 2026-10-30: add by m2/v0.4.12
DFRRZJD55M DFRRZJD55M
| URI | m2://inv/DFRRZJD55M |
|---|---|
| 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.29537#02NS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polynomial transport to a cyclic product in the constructed range DFRWDZMZTM
| URI | m2://inv/DFRWDZMZTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#RS4J, Polynomial transport to a cyclic product in the constructed range (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simply connected DFS1DW278J
| URI | m2://inv/DFS1DW278J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#M23N, Simply connected (definition)
- wikipedia: Wikipedia List of algebraic topology topics#EXC7, Simply connected (definition)
- wikipedia: Wikipedia List of general topology topics#K6NW, Simply connected (definition)
History
- 2026-11-02: add by m2/dev
DFS8R3TRS8 DFS8R3TRS8
| URI | m2://inv/DFS8R3TRS8 |
|---|---|
| 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.01796#NB7Q (statement). In JC3PAB5DRC/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
Statistics department DFSH5NM5CE
| URI | m2://inv/DFSH5NM5CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics department (Anguilla), Statistics department (definition). Also Wikidata Q7604436
History
- 2026-11-02: add by m2/dev
DFSP0CT0GC DFSP0CT0GC
| URI | m2://inv/DFSP0CT0GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#X2WP (statement). In F3BKXXPR3K/e1, theorem 4.20
History
- 2026-10-27: add by m2/v0.4.2
DFT5PX8A97 DFT5PX8A97
| URI | m2://inv/DFT5PX8A97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#HLUL (statement). In 29EH04FH4B/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
DFT771PJ45 DFT771PJ45
| URI | m2://inv/DFT771PJ45 |
|---|---|
| Kind | example |
| 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.16554#Q882 (example). In GWNT8HEZG1/e1, example 4.12
History
- 2026-10-27: add by m2/v0.3.6
DFTQDBTW2H DFTQDBTW2H
| URI | m2://inv/DFTQDBTW2H |
|---|---|
| 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 2203.16454#FLT8 (statement). In BD8G9W4ZRQ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
DFTT0CK03F DFTT0CK03F
| URI | m2://inv/DFTT0CK03F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#G9G3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DFTYGMT14H DFTYGMT14H
| URI | m2://inv/DFTYGMT14H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#INZ8 (statement). In 1R7H0ZAHWA/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
DFV2KKB5PW DFV2KKB5PW
| URI | m2://inv/DFV2KKB5PW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#TM8M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equivalent definitions DFV8TW7SNN
| URI | m2://inv/DFV8TW7SNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic dominance#6Q48, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
DFVGZRTDWY DFVGZRTDWY
| URI | m2://inv/DFVGZRTDWY |
|---|---|
| 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 2104.00162#SKGA (definition). In HVGT9D84WV/e1, definition 1.11
History
- 2026-10-27: add by m2/v0.3.5
Additional authenticated data DFVJENTX9S
| URI | m2://inv/DFVJENTX9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authenticated encryption#J4H9, Additional authenticated data (unknown)
History
- 2026-11-02: add by m2/dev
F\"ollmer's drift DFVM5ZNQG0
| URI | m2://inv/DFVM5ZNQG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11809#NYN7, F\"ollmer's drift (statement). In YQXYSNW78V/e1, proposition 27
History
- 2026-10-27: add by m2/v0.3.5
Tomek Bartoszyński DFVP0JRDS7
| URI | m2://inv/DFVP0JRDS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#02J4, Tomek Bartoszyński (topic)
History
- 2026-11-02: add by m2/dev
Kramers–Wannier duality DFVPAYJZP7
| URI | m2://inv/DFVPAYJZP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramers–Wannier duality, Kramers–Wannier duality (definition). Also Wikidata Q6436046
History
- 2026-11-02: add by m2/dev
DFVPJBX2QE DFVPJBX2QE
| URI | m2://inv/DFVPJBX2QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#U0NR (statement). In 68AE571S4P/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Farey sequence DFVYT29HH5
| URI | m2://inv/DFVYT29HH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#4K0H, Farey sequence (definition)
History
- 2026-11-02: add by m2/dev
DFW1310Y4G DFW1310Y4G
| URI | m2://inv/DFW1310Y4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#B7UC (statement)
History
- 2026-11-01: add by m2/v0.6.15
LYM inequality DFW2K8NBV0
| URI | m2://inv/DFW2K8NBV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > LYM inequality, LYM inequality (unknown). Also Mathlib Finset.lubell_yamamoto_meshalkin_inequality_sum_card_div_choose
History
- 2026-10-26: add by m2/dev
Predrag Cvitanović DFW2R6KK35
| URI | m2://inv/DFW2R6KK35 |
|---|---|
| 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 Q2108318, Predrag Cvitanović (unknown). Also nLab Predrag Cvitanović
History
- 2026-10-26: add by m2/dev
DFW4BKNZJ2 DFW4BKNZJ2
| URI | m2://inv/DFW4BKNZJ2 |
|---|---|
| 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 2212.11038#FAET (statement). In M3E3ARMJXK/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
Pivot position DFW9HP2QNP
| URI | m2://inv/DFW9HP2QNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pivot element#Y5DH, Pivot position (unknown)
History
- 2026-11-02: add by m2/dev
DFWBQZZZG6 DFWBQZZZG6
| URI | m2://inv/DFWBQZZZG6 |
|---|---|
| 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#HDG0 (statement). In GSN5YTQS2K/e1, theorem 1.16
History
- 2026-10-31: add by m2/v0.5.6
Octal DFX0FQ4VMV
| URI | m2://inv/DFX0FQ4VMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#XUMP, Octal (definition)
History
- 2026-11-02: add by m2/dev
percentile DFX2Z4F13J
| URI | m2://inv/DFX2Z4F13J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2913954, percentile (unknown). Also MathWorld Percentile
- wikipedia: Wikipedia Percentile, Percentile (definition). Also Wikidata Q2913954
History
- 2026-10-26: add by m2/dev
Spin representation DFXKAXQH1P
| URI | m2://inv/DFXKAXQH1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin representation, Spin representation (definition). Also Wikidata Q17103552
History
- 2026-11-02: add by m2/dev
DFY962XSAV DFY962XSAV
| URI | m2://inv/DFY962XSAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#SPM5 (statement). In 4WPYBTARS2/e1, lemma 4.19
History
- 2026-10-29: add by m2/v0.4.12
Finite root formula for the resolvent DFYB81D202
| URI | m2://inv/DFYB81D202 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#9TRW, Finite root formula for the resolvent (statement). In FDDA562VCA/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
Failure of diagonalizability DFYF9MNZD1
| URI | m2://inv/DFYF9MNZD1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#3TPE, Failure of diagonalizability (example). In MS13WE3CSD/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
DFYJGGCKN1 DFYJGGCKN1
| URI | m2://inv/DFYJGGCKN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#81BI (statement)
History
- 2026-11-01: add by m2/v0.6.15
DFYV7AMD9Z DFYV7AMD9Z
| URI | m2://inv/DFYV7AMD9Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#QM03 (definition)
History
- 2026-11-02: add by m2/v0.6.18
András Mathé DFYWWS3WFC
| URI | m2://inv/DFYWWS3WFC |
|---|---|
| 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#X5CY, András Mathé (unknown)
History
- 2026-11-02: add by m2/dev
Definition (Invariant measure) DFYYN39NSM
| URI | m2://inv/DFYYN39NSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#I8I1, Definition (Invariant measure) (definition)
History
- 2026-11-02: add by m2/dev
DFYYNJ46TW DFYYNJ46TW
| URI | m2://inv/DFYYNJ46TW |
|---|---|
| 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.40345#PHWR (statement). In WK0PT95WW1/e1, proposition 5.14
History
- 2026-10-30: add by m2/v0.4.12
Albert Ingham DFYZ722K76
| URI | m2://inv/DFYZ722K76 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WRYN, Albert Ingham (topic)
History
- 2026-11-02: add by m2/dev
DFYZ7Y1RT0 DFYZ7Y1RT0
| URI | m2://inv/DFYZ7Y1RT0 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37450#VRPT (conjecture). In FP05Z6EBV4/e1, conjecture 4.1
History
- 2026-10-30: add by m2/v0.4.12
Niels Henrik Abel DFZ2NWWZR6
| URI | m2://inv/DFZ2NWWZR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124115, Niels Henrik Abel (unknown). Also nLab Niels Henrik Abel
- wikipedia: Wikipedia Niels Henrik Abel, Niels Henrik Abel (topic). Also Wikidata Q124115
History
- 2026-10-26: add by m2/dev
Integrating the Lagrange multiplier DFZ5YW29CN
| URI | m2://inv/DFZ5YW29CN |
|---|---|
| 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#N5LX, Integrating the Lagrange multiplier (statement). In QPJ6FWG5HD/e1, lemma 1.10
History
- 2026-10-29: add by m2/v0.4.12
Theorem DFZ8P458YG
| URI | m2://inv/DFZ8P458YG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk#666X, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DFZSA5122Y DFZSA5122Y
| URI | m2://inv/DFZSA5122Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35287#YSI9 (statement). In BPPBAWGPHJ/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12