Inventory rows ZD
The cards of the rows of the inventory whose ids start with ZD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ZD05WVJXGR ZD05WVJXGR
| URI | m2://inv/ZD05WVJXGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#K5US (statement). In QX77AN49J0/e1, theorem 7.10
History
- 2026-10-27: add by m2/v0.4.2
Poisson distribution ZD079KWA21
| URI | m2://inv/ZD079KWA21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VLEY, Poisson distribution (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#OMLA, Poisson distribution (definition)
History
- 2026-11-02: add by m2/dev
ZD0DH601W4 ZD0DH601W4
| URI | m2://inv/ZD0DH601W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27798#2XAR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem LFT3 ZD0JC952HJ
| URI | m2://inv/ZD0JC952HJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#1V5L, Theorem LFT3 (statement)
History
- 2026-11-02: add by m2/dev
The edge hypothesis for the Parisi variables ZD0PF77PT0
| URI | m2://inv/ZD0PF77PT0 |
|---|---|
| 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.06490#TK0K, The edge hypothesis for the Parisi variables (statement). In NKXTXH59P1/e1, lemma D.9
History
- 2026-10-29: add by m2/v0.4.10
Examples ZD0SVRKBEY
| URI | m2://inv/ZD0SVRKBEY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain#5SGI, Examples (example)
History
- 2026-11-02: add by m2/dev
Explicit computation ZD122Z3FB2
| URI | m2://inv/ZD122Z3FB2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#example-2, Explicit computation (example). In RZP28ERRZV, example, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
ZD13RN5YD7 ZD13RN5YD7
| URI | m2://inv/ZD13RN5YD7 |
|---|---|
| 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.11886#IW2U (definition). In T0APQY74CA/e1, definition 5
History
- 2026-10-28: add by m2/v0.4.3
ZD17ZZEAMY ZD17ZZEAMY
| URI | m2://inv/ZD17ZZEAMY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 61.9
History
- 2026-11-01: add by m2/v0.6.13
The ground-state reference law ZD1FZZAHTB
| URI | m2://inv/ZD1FZZAHTB |
|---|---|
| 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#1QRP, The ground-state reference law (statement). In 9YAE8FNQST/e1, corollary 21.7
History
- 2026-10-30: add by m2/v0.4.12
ZD1GY867K3 ZD1GY867K3
| URI | m2://inv/ZD1GY867K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#0C3C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Nina Virchenko ZD1R8YBPF2
| URI | m2://inv/ZD1R8YBPF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nina Virchenko, Nina Virchenko (topic). Also Wikidata Q12093452
History
- 2026-11-02: add by m2/dev
ZD1VGSQ3DH ZD1VGSQ3DH
| URI | m2://inv/ZD1VGSQ3DH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-10 (example). In 649HGZKE96, example, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
David A. Freedman ZD1VT0E52X
| URI | m2://inv/ZD1VT0E52X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David A. Freedman, David A. Freedman (topic). Also Wikidata Q5230463
History
- 2026-11-02: add by m2/dev
ZD2ASZ1S2N ZD2ASZ1S2N
| URI | m2://inv/ZD2ASZ1S2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20460#FDFW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Intermittency ZD2ECW5PK7
| URI | m2://inv/ZD2ECW5PK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intermittency, Intermittency (definition). Also Wikidata Q1666248
History
- 2026-11-02: add by m2/dev
2021–2022 United Kingdom censuses ZD2XEVVHN9
| URI | m2://inv/ZD2XEVVHN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2021–2022 United Kingdom censuses, 2021–2022 United Kingdom censuses (definition). Also Wikidata Q16970190
History
- 2026-11-02: add by m2/dev
Tail-sum and Poissonized integral formulas ZD2Z2QD1QC
| URI | m2://inv/ZD2Z2QD1QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#E6SJ, Tail-sum and Poissonized integral formulas (statement). In H9X9WZ17TT/e1, proposition 25
History
- 2026-10-31: add by m2/v0.5.6
Mannheimer, Renato ZD2ZZDQ3YP
| URI | m2://inv/ZD2ZZDQ3YP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XQK4, Mannheimer, Renato (unknown)
History
- 2026-11-02: add by m2/dev
ZD30J33V9K ZD30J33V9K
| URI | m2://inv/ZD30J33V9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:RC-lt-open (statement). In N54F33XE07, lem, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Accuracy of the estimated direction ZD39GG19BK
| URI | m2://inv/ZD39GG19BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#JR3X, Accuracy of the estimated direction (statement). In 8JDQ9FWFRK/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Numerical solvers for elliptic boundary value problems ZD3B7DZ06X
| URI | m2://inv/ZD3B7DZ06X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic boundary value problem#7GX4, Numerical solvers for elliptic boundary value problems (unknown)
History
- 2026-11-02: add by m2/dev
ZD3KCN8P7T ZD3KCN8P7T
| URI | m2://inv/ZD3KCN8P7T |
|---|---|
| Kind | example |
| 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.37337#SRMN (example). In 813JGZV08G/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
Properties ZD3RCQHV7V
| URI | m2://inv/ZD3RCQHV7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundedly generated group#7UP3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Error function ZD43SF7AN4
| URI | m2://inv/ZD43SF7AN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#5T9N, Error function (definition)
History
- 2026-11-02: add by m2/dev
ZD4Q7Q5KBX ZD4Q7Q5KBX
| URI | m2://inv/ZD4Q7Q5KBX |
|---|---|
| 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.15982#35HZ (statement). In KB50SHR229/e1, proposition D.1
History
- 2026-10-28: add by m2/v0.4.2
ZD5EKT42M8 ZD5EKT42M8
| URI | m2://inv/ZD5EKT42M8 |
|---|---|
| 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.31102#4MD1 (statement). In 7CADATJMAA/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Use ZD5FAPST12
| URI | m2://inv/ZD5FAPST12 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanh-sinh quadrature#COU5, Use (example)
History
- 2026-11-02: add by m2/dev
Linear and affine maps over a finite field ZD5J3JWBQD
| URI | m2://inv/ZD5J3JWBQD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#Q9GQ, Linear and affine maps over a finite field (example). In 4W7ARR1DAR/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.2
ZD5X062NN3 ZD5X062NN3
| URI | m2://inv/ZD5X062NN3 |
|---|---|
| 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#FJN5 (definition). In R81S9R1XNR/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Theta (finance) ZD5ZWD07D4
| URI | m2://inv/ZD5ZWD07D4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#LG7L, Theta (finance) (unknown)
History
- 2026-11-02: add by m2/dev
ZD602VKY3Y ZD602VKY3Y
| URI | m2://inv/ZD602VKY3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.38556#S1JC (statement). In GC2H0HS7ZM/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
Exact fixed-total target ZD602X6NEA
| URI | m2://inv/ZD602X6NEA |
|---|---|
| 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.39633#2SZ6, Exact fixed-total target (statement). In B339AJZP2S/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Source Theory (Physics) ZD63EPGC7R
| URI | m2://inv/ZD63EPGC7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian Schwinger#NN47, Source Theory (Physics) (unknown)
History
- 2026-11-02: add by m2/dev
Construction ZD6AT2WDSE
| URI | m2://inv/ZD6AT2WDSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney topologies#9SNC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Max Tegmark ZD6CD41A1G
| URI | m2://inv/ZD6CD41A1G |
|---|---|
| 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 Q2076321, Max Tegmark (unknown). Also nLab Max Tegmark
History
- 2026-10-26: add by m2/dev
Hessian matrix ZD6MN46NG3
| URI | m2://inv/ZD6MN46NG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > Hessian matrix, Hessian matrix (unknown)
History
- 2026-10-26: add by m2/dev
Ugly duckling theorem ZD6V3ACDYV
| URI | m2://inv/ZD6V3ACDYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IHE0, Ugly duckling theorem (statement)
History
- 2026-11-02: add by m2/dev
Invariant loss and invariant prior ZD70B4EKJR
| URI | m2://inv/ZD70B4EKJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-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.29348#8YQV, Invariant loss and invariant prior (definition)
History
- 2026-11-01: add by m2/v0.6.15
Key ceremony ZD70PY33XQ
| URI | m2://inv/ZD70PY33XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key ceremony, Key ceremony (definition). Also Wikidata Q17081982
History
- 2026-11-02: add by m2/dev
ZD7635MS3D ZD7635MS3D
| URI | m2://inv/ZD7635MS3D |
|---|---|
| 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.00775#ACM9 (statement). In WVHA7H05QC/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
ZD7KFM0X04 ZD7KFM0X04
| URI | m2://inv/ZD7KFM0X04 |
|---|---|
| Kind | definition |
| 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.16631#WAOS (definition). In T735PRQNJB/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Pseudo-random number sampling ZD7SEDVZZF
| URI | m2://inv/ZD7SEDVZZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J6LW, Pseudo-random number sampling (definition)
- wikipedia: Wikipedia List of numerical analysis topics#R5BN, Pseudo-random number sampling (definition)
History
- 2026-11-02: add by m2/dev
Bifundamental representation ZD7ZT3W32F
| URI | m2://inv/ZD7ZT3W32F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bifundamental representation, Bifundamental representation (definition). Also Wikidata Q4904816
History
- 2026-11-02: add by m2/dev
ZD837A1DGS ZD837A1DGS
| URI | m2://inv/ZD837A1DGS |
|---|---|
| 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 1806.00752#NDFN (statement). In GGW2N4JHXM/e1, proposition 19
History
- 2026-10-27: add by m2/v0.3.5
ZD83J012MF ZD83J012MF
| URI | m2://inv/ZD83J012MF |
|---|---|
| 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.21098#TYWR (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZD83QMPBNV ZD83QMPBNV
| URI | m2://inv/ZD83QMPBNV |
|---|---|
| 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 2609.22240#2BUE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Application ZD85RXYZZP
| URI | m2://inv/ZD85RXYZZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Euclidean space#9SQX, Application (example)
History
- 2026-11-02: add by m2/dev
ZD89W9PDNM ZD89W9PDNM
| URI | m2://inv/ZD89W9PDNM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#ex-quad-diff (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
ZD8G2CSE03 ZD8G2CSE03
| URI | m2://inv/ZD8G2CSE03 |
|---|---|
| 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.33926#0WCV (statement). In 1XF3T5HXNV/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
Planning Horizon Theorem ZD8KNVBCWG
| URI | m2://inv/ZD8KNVBCWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic lot-size model#UGKI, Planning Horizon Theorem (statement)
History
- 2026-11-02: add by m2/dev
Nine windows ZD8TDK6T0Q
| URI | m2://inv/ZD8TDK6T0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine windows, Nine windows (definition). Also Wikidata Q130323209
History
- 2026-11-02: add by m2/dev
Epitaph of Stevinus ZD8Z63SDMD
| URI | m2://inv/ZD8Z63SDMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon Stevin#1PND, Epitaph of Stevinus (unknown)
History
- 2026-11-02: add by m2/dev
Kneser's theorem ZD926BD4FD
| URI | m2://inv/ZD926BD4FD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#L4UD, Kneser's theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties ZD9B1EZ96K
| URI | m2://inv/ZD9B1EZ96K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature (topology)#XCMC, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZD9BY7VXJT ZD9BY7VXJT
| URI | m2://inv/ZD9BY7VXJT |
|---|---|
| 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-46 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Random sample ZD9D16ZXCS
| URI | m2://inv/ZD9D16ZXCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S7AH, Random sample (definition)
History
- 2026-11-02: add by m2/dev
ZD9FM4N7KD ZD9FM4N7KD
| URI | m2://inv/ZD9FM4N7KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21103#U7N4 (statement). In VZCZEDCG8J/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.4.2
Hilbert Spaces and Fourier analysis ZD9GT7K09X
| URI | m2://inv/ZD9GT7K09X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#OWGQ, Hilbert Spaces and Fourier analysis (unknown)
History
- 2026-11-02: add by m2/dev
ZD9P6QS01M ZD9P6QS01M
| URI | m2://inv/ZD9P6QS01M |
|---|---|
| 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 2209.00108#1ETX (statement). In V2G422ZMPW/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
ZDA7251F7H ZDA7251F7H
| URI | m2://inv/ZDA7251F7H |
|---|---|
| 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.21283#VZLX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Duckworth–Lewis–Stern method ZDABEBXMKR
| URI | m2://inv/ZDABEBXMKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duckworth–Lewis–Stern method, Duckworth–Lewis–Stern method (definition). Also Wikidata Q1263570
History
- 2026-11-02: add by m2/dev
Quartan prime ZDB0FSGT28
| URI | m2://inv/ZDB0FSGT28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartan prime, Quartan prime (definition). Also Wikidata Q7269240
History
- 2026-11-02: add by m2/dev
ZDB1QGBVRW ZDB1QGBVRW
| URI | m2://inv/ZDB1QGBVRW |
|---|---|
| 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#MWL6 (definition)
History
- 2026-11-02: add by m2/v0.6.18
ZDB47XM8PH ZDB47XM8PH
| URI | m2://inv/ZDB47XM8PH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12803#WQ3Z (statement). In 98GNJ4MS7Q/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
Laurie Brown ZDB775S51A
| URI | m2://inv/ZDB775S51A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurie Brown (physicist), Laurie Brown (topic). Also Wikidata Q1808331
History
- 2026-11-02: add by m2/dev
ZDB7N5HQK6 ZDB7N5HQK6
| URI | m2://inv/ZDB7N5HQK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04673#Y1PK (statement). In KKC0CT44FJ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Algorithm ZDB87D0TNP
| URI | m2://inv/ZDB87D0TNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwards curve#ABJR, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Definition ZDBEKYHCJQ
| URI | m2://inv/ZDBEKYHCJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectization#ZW9T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Excess estimate ZDBQ888WF5
| URI | m2://inv/ZDBQ888WF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#AT32, Excess estimate (statement). In HHQ6P3RRB8/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.3
ZDBS3RA4Q0 ZDBS3RA4Q0
| URI | m2://inv/ZDBS3RA4Q0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.16411#1RCX (proof). In QQ222ZDZC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
ZDBVXH13P5 ZDBVXH13P5
| URI | m2://inv/ZDBVXH13P5 |
|---|---|
| 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.25823#TQJZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction ZDBW34W6MG
| URI | m2://inv/ZDBW34W6MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuleaux polygon#5D24, Construction (definition)
History
- 2026-11-02: add by m2/dev
Opportunistic TLS ZDBX3XFZ9F
| URI | m2://inv/ZDBX3XFZ9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opportunistic TLS, Opportunistic TLS (definition). Also Wikidata Q1435358
History
- 2026-11-02: add by m2/dev
Fast mixing of SYK ZDC092J2Z2
| URI | m2://inv/ZDC092J2Z2 |
|---|---|
| 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.05953#L1KA, Fast mixing of SYK (statement). In P3XHJ1VB8C/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
ZDC1AH7JWX ZDC1AH7JWX
| URI | m2://inv/ZDC1AH7JWX |
|---|---|
| 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.21298#0APP (statement). In AXWM2MBYXV/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.4.2
Daniel Kan ZDC7FTFJAS
| URI | m2://inv/ZDC7FTFJAS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MRDP, Daniel Kan (topic)
History
- 2026-11-02: add by m2/dev
Examples ZDCCR2VBB5
| URI | m2://inv/ZDCCR2VBB5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper motion#WDEC, Examples (example)
History
- 2026-11-02: add by m2/dev
vampire number ZDCSG7KAYD
| URI | m2://inv/ZDCSG7KAYD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2306943, vampire number (concept). Also MathWorld VampireNumber, OEIS A014575
- wikipedia: Wikipedia Vampire number, Vampire number (definition). Also Wikidata Q2306943
History
- 2026-10-26: add by m2/dev
Conditional probability table ZDCTBPCB67
| URI | m2://inv/ZDCTBPCB67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional probability table, Conditional probability table (definition). Also Wikidata Q16950858
History
- 2026-11-02: add by m2/dev
Saturated model ZDCTR69VKQ
| URI | m2://inv/ZDCTR69VKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#IY4F, Saturated model (definition)
History
- 2026-11-02: add by m2/dev
Unary numeral system ZDD111CKBN
| URI | m2://inv/ZDD111CKBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#TS2F, Unary numeral system (definition)
History
- 2026-11-02: add by m2/dev
Wieferich prime ZDD59GPGVZ
| URI | m2://inv/ZDD59GPGVZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#72HJ, Wieferich prime (conjecture)
History
- 2026-11-02: add by m2/dev
Tango bundle ZDD5NQ0SMH
| URI | m2://inv/ZDD5NQ0SMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tango bundle, Tango bundle (definition). Also Wikidata Q7683108
History
- 2026-11-02: add by m2/dev
The short-column bound ZDDHV1JPQ7
| URI | m2://inv/ZDDHV1JPQ7 |
|---|---|
| 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.17675#UA2E, The short-column bound (statement). In 7NMQ6QBYKZ/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
subgroup ZDDVCQCYB4
| URI | m2://inv/ZDDVCQCYB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Subgroup 0X1JXT47GA |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > subgroup, subgroup (unknown). Also Mathlib Subgroup
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > subgroup, subgroup (unknown). Also Mathlib Subgroup
- wikidata: Wikidata Q466109, subgroup (definition). Also EoM Subgroup, LMFDB knowl group.subgroup, Mathlib Subgroup, MathWorld Subgroup, nLab subgroup, ProofWiki Definition:Subgroup
- wikipedia: Wikipedia Subgroup, Subgroup (definition). Also Wikidata Q466109
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Jacobi triple product ZDDVRB851C
| URI | m2://inv/ZDDVRB851C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jacobi triple product JFP2DGMNXT |
Mentions
- wikidata: Wikidata Q507393, Jacobi triple product (unknown). Also MathWorld JacobiTripleProduct, nLab Jacobi triple product
- wikipedia: Wikipedia Jacobi triple product, Jacobi triple product (definition). Also Wikidata Q507393
History
- 2026-10-26: add by m2/dev
Definition ZDDWJTVZFB
| URI | m2://inv/ZDDWJTVZFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous q-Jacobi polynomials#FMA8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Union rule ZDE0MGA225
| URI | m2://inv/ZDE0MGA225 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#IDH3, Union rule (statement). In TNREX5GDK2/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Application ZDE7SCNXFC
| URI | m2://inv/ZDE7SCNXFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional sphere#KNV1, Application (example)
History
- 2026-11-02: add by m2/dev
ZDE9DZKGE3 ZDE9DZKGE3
| URI | m2://inv/ZDE9DZKGE3 |
|---|---|
| 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#RWBG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Doob martingale ZDEQT0KAZW
| URI | m2://inv/ZDEQT0KAZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OWI1, Doob martingale (definition)
History
- 2026-11-02: add by m2/dev
Camillo De Lellis ZDERWTFCCB
| URI | m2://inv/ZDERWTFCCB |
|---|---|
| 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#2QF6, Camillo De Lellis (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EJD2, Camillo De Lellis (topic)
History
- 2026-11-02: add by m2/dev
ZDEWM5MY23 ZDEWM5MY23
| URI | m2://inv/ZDEWM5MY23 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-40 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
ZDF06BFTNW ZDF06BFTNW
| URI | m2://inv/ZDF06BFTNW |
|---|---|
| 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.27957#6YL3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Serre twist sheaf ZDF10ZR13Y
| URI | m2://inv/ZDF10ZR13Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#NYDM, Serre twist sheaf (definition)
History
- 2026-11-02: add by m2/dev
univariate polynomial ZDF7J61TDE
| URI | m2://inv/ZDF7J61TDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91031942, univariate polynomial (unknown). Also MathWorld UnivariatePolynomial
History
- 2026-10-26: add by m2/dev
Yakov Sinai ZDF8ES88RG
| URI | m2://inv/ZDF8ES88RG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FCP1, Yakov Sinai (topic)
History
- 2026-11-02: add by m2/dev
Generalizations ZDFCZPJ3N2
| URI | m2://inv/ZDFCZPJ3N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden–Thompson inequality#U94P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
ZDFMG5B9B7 ZDFMG5B9B7
| URI | m2://inv/ZDFMG5B9B7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#U7HN (statement). In 8Z47D12KSX/e1, proposition 8.4
History
- 2026-10-29: add by m2/v0.4.10
ZDFW312EBB ZDFW312EBB
| URI | m2://inv/ZDFW312EBB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#YLUQ (definition). In S26QVW5613/e1, definition 5.5.1
History
- 2026-10-30: add by m2/v0.4.12
Stericated 6-simplexes ZDFXPXASY5
| URI | m2://inv/ZDFXPXASY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stericated 6-simplexes, Stericated 6-simplexes (definition). Also Wikidata Q7611316
History
- 2026-11-02: add by m2/dev
ZDG1V5TJ0F ZDG1V5TJ0F
| URI | m2://inv/ZDG1V5TJ0F |
|---|---|
| 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 2601.01000#KJIA (statement). In RYFV9HGWWZ/e1, proposition 41
History
- 2026-10-27: add by m2/v0.3.5
James Joseph Sylvester ZDG6JD4J7K
| URI | m2://inv/ZDG6JD4J7K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#NUQ3, James Joseph Sylvester (topic)
History
- 2026-11-02: add by m2/dev
Properties ZDG7BENHAR
| URI | m2://inv/ZDG7BENHAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility (ring theory)#LG3Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZDGDAZZ0YQ ZDGDAZZ0YQ
| URI | m2://inv/ZDGDAZZ0YQ |
|---|---|
| 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.00775#NVIO (statement). In WVHA7H05QC/e1, corollary 2.29
History
- 2026-10-29: add by m2/v0.4.12
ZDGF5D1C0Z ZDGF5D1C0Z
| URI | m2://inv/ZDGF5D1C0Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
ZDGGQ500VR ZDGGQ500VR
| URI | m2://inv/ZDGGQ500VR |
|---|---|
| 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#DPEC (statement). In 9YAE8FNQST/e1, corollary 6.8
History
- 2026-10-30: add by m2/v0.4.12
Tibor Szele ZDGH37WEBR
| URI | m2://inv/ZDGH37WEBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tibor Szele, Tibor Szele (topic). Also Wikidata Q600847
History
- 2026-11-02: add by m2/dev
ZDGN24HK6M ZDGN24HK6M
| URI | m2://inv/ZDGN24HK6M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Examples ZDGW0BPCBX
| URI | m2://inv/ZDGW0BPCBX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strange loop#YGST, Examples (example)
History
- 2026-11-02: add by m2/dev
Window function ZDGZSMRF45
| URI | m2://inv/ZDGZSMRF45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JZOA, Window function (definition)
History
- 2026-11-02: add by m2/dev
López-Hernanz, Rosas ZDH3BYC9C1
| URI | m2://inv/ZDH3BYC9C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01520#RRDR, López-Hernanz, Rosas (statement). In GTZYR8QA3G/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Yingqi Zhao ZDHA447QQ7
| URI | m2://inv/ZDHA447QQ7 |
|---|---|
| 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#X5BP, Yingqi Zhao (unknown)
History
- 2026-11-02: add by m2/dev
impossible trident ZDHAC12PBY
| URI | m2://inv/ZDHAC12PBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q660994, impossible trident (unknown). Also MathWorld ImpossibleFork
- wikipedia: Wikipedia Impossible trident, Impossible trident (definition). Also Wikidata Q660994
History
- 2026-10-26: add by m2/dev
ZDJF7A2301 ZDJF7A2301
| URI | m2://inv/ZDJF7A2301 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.12486#BV8Q (statement). In 3343AEAXB3/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
disc integration ZDJVJ8A6M4
| URI | m2://inv/ZDJVJ8A6M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#EG61, disc integration (definition)
History
- 2026-11-02: add by m2/dev
ZDJY9NDYHF ZDJY9NDYHF
| URI | m2://inv/ZDJY9NDYHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20178#6MGU (statement). In Z53NCTCEXE/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Θ10 ZDKA0CWD0H
| URI | m2://inv/ZDKA0CWD0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Θ10, Θ10 (definition). Also Wikidata Q8083982
History
- 2026-11-02: add by m2/dev
Edison ZDKDRXREP6
| URI | m2://inv/ZDKDRXREP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#9PYQ, Edison (unknown)
History
- 2026-11-02: add by m2/dev
Regular Cauchy sequence ZDKHFKGZZC
| URI | m2://inv/ZDKHFKGZZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy sequence#9089, Regular Cauchy sequence (unknown)
History
- 2026-11-02: add by m2/dev
ZDKMPV76FZ ZDKMPV76FZ
| URI | m2://inv/ZDKMPV76FZ |
|---|---|
| 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.19250#L9HB (statement). In FRJPR9GBCH/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Examples ZDKNVYKEM5
| URI | m2://inv/ZDKNVYKEM5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-manifold#UA1F, Examples (example)
History
- 2026-11-02: add by m2/dev
tetracontaoctagon ZDKPA1MBDM
| URI | m2://inv/ZDKPA1MBDM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25304284, tetracontaoctagon (unknown). Also MathWorld Octatetracontagon
History
- 2026-10-26: add by m2/dev
Type safety ZDM12FMJFY
| URI | m2://inv/ZDM12FMJFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type safety, Type safety (definition). Also Wikidata Q736866
History
- 2026-11-02: add by m2/dev
Sam Yot ZDM1WXXC53
| URI | m2://inv/ZDM1WXXC53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PLIF, Sam Yot (unknown)
History
- 2026-11-02: add by m2/dev
Genus of a multiplicative sequence ZDM29Q5Z6B
| URI | m2://inv/ZDM29Q5Z6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus of a multiplicative sequence, Genus of a multiplicative sequence (definition). Also Wikidata Q5533833
History
- 2026-11-02: add by m2/dev
List of Borussia Dortmund records and statistics ZDM4TKN4WQ
| URI | m2://inv/ZDM4TKN4WQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics, List of Borussia Dortmund records and statistics (topic). Also Wikidata Q123376941
History
- 2026-11-02: add by m2/dev
ZDM4VB1W9N ZDM4VB1W9N
| URI | m2://inv/ZDM4VB1W9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20568#DJJ3 (statement). In BCD0ATARNZ/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.4.2
Dirichlet-to-Neumann matching ZDM70EDTVB
| URI | m2://inv/ZDM70EDTVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2501.09848#7UZE, Dirichlet-to-Neumann matching (statement). In HF7YNMW39N/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.4.0
Example ZDMPWQ9Z1J
| URI | m2://inv/ZDMPWQ9Z1J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Kovalevskaya theorem#VSC2, Example (example)
History
- 2026-11-02: add by m2/dev
Gamma ZDMQ5N939E
| URI | m2://inv/ZDMQ5N939E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#K4KD, Gamma (definition)
History
- 2026-11-02: add by m2/dev
ZDMSFV5KC4 ZDMSFV5KC4
| URI | m2://inv/ZDMSFV5KC4 |
|---|---|
| Kind | statement |
| 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#LX7Q (statement). In CGA36VE1C5/e1, lemma 5.0.1
History
- 2026-10-27: add by m2/v0.3.6
ZDMV5NT0GV ZDMV5NT0GV
| URI | m2://inv/ZDMV5NT0GV |
|---|---|
| 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.35460#FERO (statement). In R515NECVME/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
ZDMW8GV2R5 ZDMW8GV2R5
| URI | m2://inv/ZDMW8GV2R5 |
|---|---|
| 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.38250#JEM4 (statement). In 5KDV984W48/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
ZDN44PA0HG ZDN44PA0HG
| URI | m2://inv/ZDN44PA0HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#YNSS (statement). In 2BET1RE1F6/e1, lemma 3.16
History
- 2026-10-31: add by m2/v0.5.6
Ogden tables ZDN6CFT0K0
| URI | m2://inv/ZDN6CFT0K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JN5P, Ogden tables (definition)
History
- 2026-11-02: add by m2/dev
Earth-Moon L1 ZDNWARYJQ3
| URI | m2://inv/ZDNWARYJQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange point#H29D, Earth-Moon L1 (unknown)
History
- 2026-11-02: add by m2/dev
Gauss–Legendre quadrature ZDP52TZJ0K
| URI | m2://inv/ZDP52TZJ0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Legendre quadrature, Gauss–Legendre quadrature (definition). Also Wikidata Q85762846
History
- 2026-11-02: add by m2/dev
the hat ZDP64GCHNN
| URI | m2://inv/ZDP64GCHNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118110536, the hat (unknown). Also MathWorld HatPolykite
History
- 2026-10-26: add by m2/dev
Properties ZDP8P1PHBX
| URI | m2://inv/ZDP8P1PHBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex quadratic polynomial#LSNV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Great inverted snub icosidodecahedron ZDP8ZX7X1P
| URI | m2://inv/ZDP8ZX7X1P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4XP4, Great inverted snub icosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
ZDPA7JJM9J ZDPA7JJM9J
| URI | m2://inv/ZDPA7JJM9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#XUM7 (statement). In 66H5YPQCYV/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
ZDPCF47Q68 ZDPCF47Q68
| URI | m2://inv/ZDPCF47Q68 |
|---|---|
| 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.03437#HO07 (definition). In EDTV1EDV7M/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
ZDPD9WFRWX ZDPD9WFRWX
| URI | m2://inv/ZDPD9WFRWX |
|---|---|
| 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 2505.04063#O4MF (statement). In TFH7T63DX9/e1, lemma S.7
History
- 2026-10-27: add by m2/v0.3.5
Harish-Chandra ZDPDYX9R3G
| URI | m2://inv/ZDPDYX9R3G |
|---|---|
| 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#RSVE, Harish-Chandra (topic)
History
- 2026-11-02: add by m2/dev
Uniformity of the Hole ZDPG19MDXV
| URI | m2://inv/ZDPG19MDXV |
|---|---|
| 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 2603.16304#5JU8, Uniformity of the Hole (statement). In NEGP0YBA3C/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.6
ZDQ7B8NXMF ZDQ7B8NXMF
| URI | m2://inv/ZDQ7B8NXMF |
|---|---|
| Kind | example |
| 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#0LPU (example). In 1QSCT53ZED/e1, example 9.10
History
- 2026-10-27: add by m2/v0.4.0
Examples ZDQ841Z746
| URI | m2://inv/ZDQ841Z746 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization (commutative algebra)#7T41, Examples (example)
History
- 2026-11-02: add by m2/dev
ZDQ8MXVGDP ZDQ8MXVGDP
| URI | m2://inv/ZDQ8MXVGDP |
|---|---|
| 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 1905.00573#61NW (statement). In 74RNQVBM2G/e1, theorem 3.21
History
- 2026-10-27: add by m2/v0.3.5
ZDQP3JNJB4 ZDQP3JNJB4
| URI | m2://inv/ZDQP3JNJB4 |
|---|---|
| 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.40023#J10R (statement). In JW9ARS9AQE/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Erlang distribution ZDQXRP037G
| URI | m2://inv/ZDQXRP037G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q762448, Erlang distribution (unknown). Also MathWorld ErlangDistribution
- wikipedia: Wikipedia Erlang distribution, Erlang distribution (definition). Also Wikidata Q762448
History
- 2026-10-26: add by m2/dev
Relaxed control ZDQXYNQTJ8
| URI | m2://inv/ZDQXYNQTJ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32083#E3WU, Relaxed control (definition). In 7H843YN8HK/e1, definition 3.4
History
- 2026-10-31: add by m2/v0.5.6
ZDR07WP92Z ZDR07WP92Z
| URI | m2://inv/ZDR07WP92Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.38742#CJ1O (statement). In TSXBJB0EXK/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Envelope domination ZDRBKW19XF
| URI | m2://inv/ZDRBKW19XF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#JFXY, Envelope domination (statement). In G3E1P350Z6/e1, lemma 7.15
History
- 2026-10-29: add by m2/v0.4.10
Friedman, Milton ZDRDQ52DR0
| URI | m2://inv/ZDRDQ52DR0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3DLU, Friedman, Milton (unknown)
History
- 2026-11-02: add by m2/dev
ZDRFMA598Y ZDRFMA598Y
| URI | m2://inv/ZDRFMA598Y |
|---|---|
| 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.21540#W9O6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Isotropic dilations ZDRPE0HS93
| URI | m2://inv/ZDRPE0HS93 |
|---|---|
| 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 2609.36237#SPV2, Isotropic dilations (example). In JNBMSFE14N/e1, example 3.10
History
- 2026-10-30: add by m2/v0.4.12
Numerical methods for beam propagation ZDRR17DQJC
| URI | m2://inv/ZDRR17DQJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beam propagation method#ZDPP, Numerical methods for beam propagation (unknown)
History
- 2026-11-02: add by m2/dev
Frame ZDS54Y634Z
| URI | m2://inv/ZDS54Y634Z |
|---|---|
| Kind | definition |
| 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.26537#HR0X, Frame (definition)
History
- 2026-11-01: add by m2/v0.6.15
ZDSGQKM6MQ ZDSGQKM6MQ
| URI | m2://inv/ZDSGQKM6MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.17626#XB3N (statement). In 54ATJS74DT/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
ZDSJ9JXMB6 ZDSJ9JXMB6
| URI | m2://inv/ZDSJ9JXMB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.15385#VH4P (statement). In HBZXCMYPME/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Examples ZDSN79FX7C
| URI | m2://inv/ZDSN79FX7C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#VQ6G, Examples (example)
History
- 2026-11-02: add by m2/dev
Sigurður Helgason ZDT4744A95
| URI | m2://inv/ZDT4744A95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigurður Helgason (mathematician), Sigurður Helgason (topic). Also Wikidata Q1601312
History
- 2026-11-02: add by m2/dev
Elementary properties ZDT5HMQ7VP
| URI | m2://inv/ZDT5HMQ7VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łukasiewicz–Moisil algebra#6T3G, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
Applications ZDTA4JXT30
| URI | m2://inv/ZDTA4JXT30 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex hull#ROXJ, Applications (example)
History
- 2026-11-02: add by m2/dev
ZDTDSKSQQK ZDTDSKSQQK
| URI | m2://inv/ZDTDSKSQQK |
|---|---|
| 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.20002#NE18 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZDTMN42MG3 ZDTMN42MG3
| URI | m2://inv/ZDTMN42MG3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40290#Q5MM (definition). In 4K1CNBYJHF/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
multicover nerve theorem naturality ZDTTEEY1Y0
| URI | m2://inv/ZDTTEEY1Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#KF9V, multicover nerve theorem naturality (statement). In PF5JJ9DS8Q/e1, proposition 7.4.3
History
- 2026-10-28: add by m2/v0.4.2
Gelfond–Schneider theorem ZDTYEA0VAC
| URI | m2://inv/ZDTYEA0VAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schanuel's conjecture#E9S2, Gelfond–Schneider theorem (statement)
History
- 2026-11-02: add by m2/dev
ZDV05TZ8XQ ZDV05TZ8XQ
| URI | m2://inv/ZDV05TZ8XQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35396#5VAY (statement). In 51N4SF53EV/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Many capped gains force signed width ZDV0ATPFR2
| URI | m2://inv/ZDV0ATPFR2 |
|---|---|
| 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.31782#NS33, Many capped gains force signed width (statement). In YAYP5VZ94H/e1, lemma 7.1
History
- 2026-10-31: add by m2/v0.5.6
Formal definition ZDV30SAAAF
| URI | m2://inv/ZDV30SAAAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda cube#9JHE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Pythagoras ZDV3P7RYGP
| URI | m2://inv/ZDV3P7RYGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#FXKX, List of things named after Pythagoras (topic)
History
- 2026-11-02: add by m2/dev
Multiverse ZDV3RJV8KH
| URI | m2://inv/ZDV3RJV8KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiverse (set theory), Multiverse (definition). Also Wikidata Q30704603
History
- 2026-11-02: add by m2/dev
ZDV58DNK9B ZDV58DNK9B
| URI | m2://inv/ZDV58DNK9B |
|---|---|
| Kind | example |
| 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.10790#WXFO (example). In HHQ6P3RRB8/e1, example 1.3
History
- 2026-10-28: add by m2/v0.4.3
ZDVBZDJ32T ZDVBZDJ32T
| URI | m2://inv/ZDVBZDJ32T |
|---|---|
| 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.39706#6ILD (statement). In 79Y8JJMKP4/e1, lemma 9.2
History
- 2026-10-30: add by m2/v0.4.12
Erwin Bolthausen ZDVF3GA0DA
| URI | m2://inv/ZDVF3GA0DA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#T1RS, Erwin Bolthausen (topic)
History
- 2026-11-02: add by m2/dev
Δ ZDVGM02QAN
| URI | m2://inv/ZDVGM02QAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#72D7, Δ (definition)
History
- 2026-11-02: add by m2/dev
Method of Chester–Friedman–Ursell ZDVHHR8J39
| URI | m2://inv/ZDVHHR8J39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of Chester–Friedman–Ursell, Method of Chester–Friedman–Ursell (definition). Also Wikidata Q116207247
History
- 2026-11-02: add by m2/dev
Conformal loop ensemble ZDVN7YY3E0
| URI | m2://inv/ZDVN7YY3E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal loop ensemble, Conformal loop ensemble (definition). Also Wikidata Q5160253
History
- 2026-11-02: add by m2/dev
ZDVPHG5RAY ZDVPHG5RAY
| URI | m2://inv/ZDVPHG5RAY |
|---|---|
| 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 1701.00518#RB8M (statement). In T93MM0ADE2/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
ZDVVWSPC3H ZDVVWSPC3H
| URI | m2://inv/ZDVVWSPC3H |
|---|---|
| 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 2510.09873#AC2U (statement). In KNB3ZCNC9Q/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.3.5
ZDW5HB51A9 ZDW5HB51A9
| URI | m2://inv/ZDW5HB51A9 |
|---|---|
| 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.15877#BZRY (definition). In F3W750X9N6/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
ZDWADAZYHD ZDWADAZYHD
| URI | m2://inv/ZDWADAZYHD |
|---|---|
| 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.20679#FEJG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties ZDWDYQKYR4
| URI | m2://inv/ZDWDYQKYR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multinomial distribution#HZUT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Application ZDWNBDKMZ9
| URI | m2://inv/ZDWNBDKMZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman–Minc inequality#WCUA, Application (example)
History
- 2026-11-02: add by m2/dev
Theorem on formal functions ZDWQ7Q6X94
| URI | m2://inv/ZDWQ7Q6X94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem on formal functions, Theorem on formal functions (statement). Also Wikidata Q7782347
History
- 2026-11-02: add by m2/dev
conservation law ZDX3WVB432
| URI | m2://inv/ZDX3WVB432 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205805, conservation law (definition). Also ProofWiki Definition:Laws_of_Conservation
- wikipedia: Wikipedia Conservation law, Conservation law (statement). Also Wikidata Q205805
History
- 2026-10-26: add by m2/dev
Rodolphe Nicolas Raclis ZDX6M855P6
| URI | m2://inv/ZDX6M855P6 |
|---|---|
| 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#8YGC, Rodolphe Nicolas Raclis (unknown)
History
- 2026-11-02: add by m2/dev
Definitions ZDX6PVV3JC
| URI | m2://inv/ZDX6PVV3JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi-system#98NP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
ZDX9C115ZH ZDX9C115ZH
| URI | m2://inv/ZDX9C115ZH |
|---|---|
| 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.12014#P7BC (statement). In DR7BK4CQ0V/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.3
Mutual fund separation theorem ZDXBC0DGDJ
| URI | m2://inv/ZDXBC0DGDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ASV6, Mutual fund separation theorem (statement)
History
- 2026-11-02: add by m2/dev
ZDXJZ4BQYT ZDXJZ4BQYT
| URI | m2://inv/ZDXJZ4BQYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21305#KD2G (statement)
History
- 2026-11-02: add by m2/v0.6.18
Penrhyndeudraeth ZDXQVCT06Y
| URI | m2://inv/ZDXQVCT06Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3GB3, Penrhyndeudraeth (unknown)
History
- 2026-11-02: add by m2/dev
Alignments of random points ZDXW7JC42X
| URI | m2://inv/ZDXW7JC42X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D2R2, Alignments of random points (definition)
History
- 2026-11-02: add by m2/dev
ZDXWC2PB7X ZDXWC2PB7X
| URI | m2://inv/ZDXWC2PB7X |
|---|---|
| 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 2604.10080#TFG7 (definition). In KM2FWKP93A/e1, definition 7.2
History
- 2026-10-27: add by m2/v0.4.0
same span and combinatorial inverse ZDXX8QVZF1
| URI | m2://inv/ZDXX8QVZF1 |
|---|---|
| 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.39511#VBZ0, same span and combinatorial inverse (statement). In 6W9H24A378/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
ZDY76BX5NE ZDY76BX5NE
| URI | m2://inv/ZDY76BX5NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#MEG0 (statement). In HMNKENER22/e1, proposition 7.7
History
- 2026-10-29: add by m2/v0.4.12
Canadians ZDY9S9X7GF
| URI | m2://inv/ZDY9S9X7GF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5.3/canadians, Canadians (concept). In Y91XFCEVHQ, index, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
Vladimirov absolute continuity ZDYAEG4PY6
| URI | m2://inv/ZDYAEG4PY6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27414#Z9G0, Vladimirov absolute continuity (example)
History
- 2026-11-01: add by m2/v0.6.15
ZDYYTT9XHR ZDYYTT9XHR
| URI | m2://inv/ZDYYTT9XHR |
|---|---|
| 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.37112#C1D3 (statement). In 5B10HAY4C3/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
ZDZA52QMYZ ZDZA52QMYZ
| URI | m2://inv/ZDZA52QMYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:whiteheadn (statement). In N54F33XE07, thm, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
ZDZBTWY2R9 ZDZBTWY2R9
| URI | m2://inv/ZDZBTWY2R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11700#XP3J (statement). In RW9AZQ1YZ2/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.3
yin and yang ZDZC5FDWPD
| URI | m2://inv/ZDZC5FDWPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62744, yin and yang (unknown). Also MathWorld Yin-Yang
History
- 2026-10-26: add by m2/dev
ZDZGFX85MC ZDZGFX85MC
| URI | m2://inv/ZDZGFX85MC |
|---|---|
| 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 2609.30067#LW67 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example ZDZQVWTHWC
| URI | m2://inv/ZDZQVWTHWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skein relation#HGTB, Example (example)
History
- 2026-11-02: add by m2/dev
ZDZZR0ZYK1 ZDZZR0ZYK1
| URI | m2://inv/ZDZZR0ZYK1 |
|---|---|
| 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 2412.20238#TNLN (example). In V8CA0STSPB/e1, example 20
History
- 2026-10-27: add by m2/v0.3.5