Inventory rows WF
The cards of the rows of the inventory whose ids start with WF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Reference-time design input: exact-Haar specialization WF02TGZTV1
| URI | m2://inv/WF02TGZTV1 |
|---|---|
| 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.16351#N492, Reference-time design input: exact-Haar specialization (statement). In 1QSV7EQE3T/e1, theorem S81
History
- 2026-10-28: add by m2/v0.4.2
Local color reduction WF0E54B9PG
| URI | m2://inv/WF0E54B9PG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#Y7JD, Local color reduction (statement). In 7Z3KQRFEVG/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
WF0EZZSZPD WF0EZZSZPD
| URI | m2://inv/WF0EZZSZPD |
|---|---|
| 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.26500#DFMP (statement)
History
- 2026-11-01: add by m2/v0.6.15
WF0KAS5NDZ WF0KAS5NDZ
| URI | m2://inv/WF0KAS5NDZ |
|---|---|
| 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 2011.08789#N5CM (definition). In 43AGRMP7T3/e1, definition 1.8
History
- 2026-10-27: add by m2/v0.3.5
Fibonacci, sequence WF0PBWNZDC
| URI | m2://inv/WF0PBWNZDC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.2/fibonacci-sequence, Fibonacci, sequence (concept). In QKM9DD2H56, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Jerry Kazdan WF0QTW2G6G
| URI | m2://inv/WF0QTW2G6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerry Kazdan, Jerry Kazdan (topic). Also Wikidata Q4411691
History
- 2026-11-02: add by m2/dev
WF0V01325A WF0V01325A
| URI | m2://inv/WF0V01325A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#proof-5 (proof). In RZP28ERRZV, proof, section 62.8
History
- 2026-11-01: add by m2/v0.6.13
Chernoff bound WF0ZDTPAGD
| URI | m2://inv/WF0ZDTPAGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JCJC, Chernoff bound (definition)
History
- 2026-11-02: add by m2/dev
WF10QS16J1 WF10QS16J1
| URI | m2://inv/WF10QS16J1 |
|---|---|
| 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.33278#LGU4 (statement). In QABBHZQZFR/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
WF1RMP6PB7 WF1RMP6PB7
| URI | m2://inv/WF1RMP6PB7 |
|---|---|
| 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 2502.04323#Y3M3 (statement). In MK60S6RKJP/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Definition WF1WRGGCPZ
| URI | m2://inv/WF1WRGGCPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satake diagram#HAUY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition WF1ZQC1ACR
| URI | m2://inv/WF1ZQC1ACR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic equipartition property#P4RF, Definition (definition)
History
- 2026-11-02: add by m2/dev
MD5 WF21DFHDEY
| URI | m2://inv/WF21DFHDEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MD5, MD5 (definition). Also Wikidata Q185235
History
- 2026-11-02: add by m2/dev
Hua's lemma WF26RHW86Z
| URI | m2://inv/WF26RHW86Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hua's lemma, Hua's lemma (statement). Also Wikidata Q5924839
History
- 2026-11-02: add by m2/dev
Perfect elimination ordering WF2ARYHRPK
| URI | m2://inv/WF2ARYHRPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chordal graph#SAO2, Perfect elimination ordering (unknown)
History
- 2026-11-02: add by m2/dev
Applications WF2G2EX41H
| URI | m2://inv/WF2G2EX41H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#YE00, Applications (example)
History
- 2026-11-02: add by m2/dev
Example WF2KBCFCCX
| URI | m2://inv/WF2KBCFCCX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point subring#1N29, Example (example)
History
- 2026-11-02: add by m2/dev
Font rasterization WF2MASWPPQ
| URI | m2://inv/WF2MASWPPQ |
|---|---|
| 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#HVPZ, Font rasterization (unknown)
History
- 2026-11-02: add by m2/dev
Incomplete elliptic integral of the third kind WF2P5WPYCN
| URI | m2://inv/WF2P5WPYCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic integral#CG9B, Incomplete elliptic integral of the third kind (unknown)
History
- 2026-11-02: add by m2/dev
Global strong solvability of the regularized problem WF2PH7JS4E
| URI | m2://inv/WF2PH7JS4E |
|---|---|
| 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.13613#HYKS, Global strong solvability of the regularized problem (statement). In 3HCT4TQ5PM/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
WF2QYDPBPE WF2QYDPBPE
| URI | m2://inv/WF2QYDPBPE |
|---|---|
| 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.29631#LLPQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
WF2SFGA956 WF2SFGA956
| URI | m2://inv/WF2SFGA956 |
|---|---|
| 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#4L59 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statistical Lab WF2Z8MPEVZ
| URI | m2://inv/WF2Z8MPEVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Lab, Statistical Lab (definition). Also Wikidata Q1524083
History
- 2026-11-02: add by m2/dev
WF2ZWT20AA WF2ZWT20AA
| URI | m2://inv/WF2ZWT20AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#Q2OK (statement). In 332PQD90SW/e1, theorem 3.13
History
- 2026-10-27: add by m2/v0.3.5
WF36V8EBQQ WF36V8EBQQ
| URI | m2://inv/WF36V8EBQQ |
|---|---|
| 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 2608.23797#KXM5 (statement). In PZCA01JXVR/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
Alexander R. A. Anderson WF36YH7JJS
| URI | m2://inv/WF36YH7JJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander R. A. Anderson, Alexander R. A. Anderson (topic). Also Wikidata Q63413745
History
- 2026-11-02: add by m2/dev
WF3EEHQY6Y WF3EEHQY6Y
| URI | m2://inv/WF3EEHQY6Y |
|---|---|
| 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.36818#MRY8 (statement). In SK6AP2B9JH/e1, corollary 5.8
History
- 2026-10-30: add by m2/v0.4.12
WF3PTB6YFM WF3PTB6YFM
| URI | m2://inv/WF3PTB6YFM |
|---|---|
| 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 2305.10202#6TW2 (statement). In ER06JKXR8B/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
WF3SEV0PCM WF3SEV0PCM
| URI | m2://inv/WF3SEV0PCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#04E0 (statement). In R2K4HZN8RW/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Example WF3SGT5GNS
| URI | m2://inv/WF3SGT5GNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system of divisors#RBW4, Example (example)
History
- 2026-11-02: add by m2/dev
Application WF3VS9WKXM
| URI | m2://inv/WF3VS9WKXM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabor–Wigner transform#WS3H, Application (example)
History
- 2026-11-02: add by m2/dev
WF40Y0TBS0 WF40Y0TBS0
| URI | m2://inv/WF40Y0TBS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#Z9DN (statement). In ZJQB9W60T6/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
WF42H47AAV WF42H47AAV
| URI | m2://inv/WF42H47AAV |
|---|---|
| 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 2608.23797#41B0 (statement). In PZCA01JXVR/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
vertex-connectivity WF4EVMWN09
| URI | m2://inv/WF4EVMWN09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q72898059, vertex-connectivity (unknown). Also MathWorld VertexConnectivity
- wikipedia: Wikipedia Vertex connectivity, Vertex connectivity (definition). Also Wikidata Q72898059
History
- 2026-10-26: add by m2/dev
Conditional intensity function WF4J1M1S45
| URI | m2://inv/WF4J1M1S45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process#L7H7, Conditional intensity function (unknown)
History
- 2026-11-02: add by m2/dev
WF4VSEP2MW WF4VSEP2MW
| URI | m2://inv/WF4VSEP2MW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#DR9H (definition)
History
- 2026-11-02: add by m2/v0.6.17
WF4XWZX8S5 WF4XWZX8S5
| URI | m2://inv/WF4XWZX8S5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2403.16388#J8LR (example). In HH4ADHZ8XD/e1, example 4.5
History
- 2026-10-27: add by m2/v0.4.0
Mapping spectrum WF59AM1PDB
| URI | m2://inv/WF59AM1PDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping spectrum, Mapping spectrum (definition). Also Wikidata Q25098921
History
- 2026-11-02: add by m2/dev
WF5EB1WFTC WF5EB1WFTC
| URI | m2://inv/WF5EB1WFTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#HXWJ (statement). In 2XBYZ1QP22/e1, theorem G
History
- 2026-10-27: add by m2/v0.3.5
WF5HKJSDQN WF5HKJSDQN
| URI | m2://inv/WF5HKJSDQN |
|---|---|
| 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 2011.12496#7MQ5 (statement). In 1DH15ZJFRZ/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
WF5NBA5TBZ WF5NBA5TBZ
| URI | m2://inv/WF5NBA5TBZ |
|---|---|
| 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.03337#SE73 (statement). In VH7EZDGTNA/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
Friedrich von Hermann WF60K6EJSY
| URI | m2://inv/WF60K6EJSY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich von Hermann, Friedrich von Hermann (topic). Also Wikidata Q91166
History
- 2026-11-02: add by m2/dev
Properties WF66239P0Q
| URI | m2://inv/WF66239P0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traced monoidal category#8C2C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Greedy subdivision WF6GQA312R
| URI | m2://inv/WF6GQA312R |
|---|---|
| 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.21476#3T1V, Greedy subdivision (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pointless topology WF6NH9EVTZ
| URI | m2://inv/WF6NH9EVTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#CILT, Pointless topology (definition)
History
- 2026-11-02: add by m2/dev
curve orientation WF6W572X1W
| URI | m2://inv/WF6W572X1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5196067, curve orientation (concept). Also MathWorld CurveOrientation
- wikipedia: Wikipedia Curve orientation, Curve orientation (definition). Also Wikidata Q5196067
History
- 2026-10-26: add by m2/dev
WF6Y6K9HJ7 WF6Y6K9HJ7
| URI | m2://inv/WF6Y6K9HJ7 |
|---|---|
| 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.00525#QKBG (statement). In JN34PDDXH8/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Difference engine WF6YZBGW23
| URI | m2://inv/WF6YZBGW23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference engine, Difference engine (definition). Also Wikidata Q628007
History
- 2026-11-02: add by m2/dev
WF6ZQH36F3 WF6ZQH36F3
| URI | m2://inv/WF6ZQH36F3 |
|---|---|
| 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 2610.12054#9FNH (statement). In 1A01NFHBGA/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.3
WF72EV770W WF72EV770W
| URI | m2://inv/WF72EV770W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#22QG (statement). In 8SVVEVGMNE/e1, proposition 4.21
History
- 2026-10-27: add by m2/v0.3.5
Hungarian Actuarial Society WF734ZRWTY
| URI | m2://inv/WF734ZRWTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hungarian Actuarial Society, Hungarian Actuarial Society (definition). Also Wikidata Q5942718
History
- 2026-11-02: add by m2/dev
Concavity and continuity of $\mathcal R_h$ WF76R9DRMF
| URI | m2://inv/WF76R9DRMF |
|---|---|
| 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 2610.05313#2CFA, Concavity and continuity of $\mathcal R_h$ (statement). In 8XPN1A2GR0/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Part number WF77MFNJRX
| URI | m2://inv/WF77MFNJRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Part number, Part number (definition). Also Wikidata Q3879409
History
- 2026-11-02: add by m2/dev
Examples WF7A0S05MS
| URI | m2://inv/WF7A0S05MS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy product#BCFK, Examples (example)
History
- 2026-11-02: add by m2/dev
WF7A76HC5K WF7A76HC5K
| URI | m2://inv/WF7A76HC5K |
|---|---|
| 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#O806 (statement). In RDXNFF2CZP/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.12
Flowchart WF7K87EPP1
| URI | m2://inv/WF7K87EPP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#N20K, Flowchart (unknown)
History
- 2026-11-02: add by m2/dev
WF7TTDS13M WF7TTDS13M
| URI | m2://inv/WF7TTDS13M |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#LE7J (unknown). In AQGEM4XAKD/e1, unknown 1.3
History
- 2026-10-27: add by m2/v0.3.5
Tanagra WF7VETV94H
| URI | m2://inv/WF7VETV94H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanagra (machine learning), Tanagra (definition). Also Wikidata Q3514922
History
- 2026-11-02: add by m2/dev
Coordinate linear space WF7XAEC69V
| URI | m2://inv/WF7XAEC69V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector space#JIDS, Coordinate linear space (unknown)
History
- 2026-11-02: add by m2/dev
WF7YJ9RS68 WF7YJ9RS68
| URI | m2://inv/WF7YJ9RS68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#4Q4X (statement)
History
- 2026-11-01: add by m2/v0.6.15
WF7ZKCJF20 WF7ZKCJF20
| URI | m2://inv/WF7ZKCJF20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-2 (definition). In E59CDZA4DP, defn, section 11.1.2
History
- 2026-11-01: add by m2/v0.6.13
Examples WF87NMDQTW
| URI | m2://inv/WF87NMDQTW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Nikodym theorem#VBA2, Examples (example)
History
- 2026-11-02: add by m2/dev
WF8BYE2KA7 WF8BYE2KA7
| URI | m2://inv/WF8BYE2KA7 |
|---|---|
| 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 2309.16041#73KU (statement). In 2GD6NWJVRM/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
WF8DE1103P WF8DE1103P
| URI | m2://inv/WF8DE1103P |
|---|---|
| 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.15316#GY6R (statement). In 3K84E4150C/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
Approximation of identity WF8DEX1W7P
| URI | m2://inv/WF8DEX1W7P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mollifier#AHSK, Approximation of identity (statement)
History
- 2026-11-02: add by m2/dev
data WF8ENS60RS
| URI | m2://inv/WF8ENS60RS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42848, data (unknown). Also nLab data
History
- 2026-10-26: add by m2/dev
WF8HZ69Q09 WF8HZ69Q09
| URI | m2://inv/WF8HZ69Q09 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#JFEO (definition). In Y1K8WE4MDP/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.10
Applications WF8M1Z1817
| URI | m2://inv/WF8M1Z1817 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of arithmetic#OCCO, Applications (example)
History
- 2026-11-02: add by m2/dev
Volume of solid of revolution WF902ZVNA3
| URI | m2://inv/WF902ZVNA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid of revolution#CPLS, Volume of solid of revolution (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms WF97TAYV32
| URI | m2://inv/WF97TAYV32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bit-reversal permutation#554I, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Master equation WF9E067Y6T
| URI | m2://inv/WF9E067Y6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LIM0, Master equation (definition)
- wikipedia: Wikipedia List of named differential equations#XTR8, Master equation (definition)
History
- 2026-11-02: add by m2/dev
WF9EH28G0K WF9EH28G0K
| URI | m2://inv/WF9EH28G0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#FR48 (statement). In 6F3GSDT2V1/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Wigner 3-j symbol WF9H4QAA5E
| URI | m2://inv/WF9H4QAA5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | 3-j symbol YJRJVZ998D |
Mentions
- wikidata: Wikidata Q2570568, Wigner 3-j symbol (unknown). Also MathWorld Wigner3j-Symbol
- wikipedia: Wikipedia 3-j symbol, 3-j symbol (definition). Also Wikidata Q2570568
History
- 2026-10-26: add by m2/dev
Linear algebra WF9HGM1SMW
| URI | m2://inv/WF9HGM1SMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7C7Z, Linear algebra (definition)
History
- 2026-11-02: add by m2/dev
Miracle Octad Generator WF9MD75H4E
| URI | m2://inv/WF9MD75H4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miracle Octad Generator, Miracle Octad Generator (definition). Also Wikidata Q6872431
History
- 2026-11-02: add by m2/dev
odd permutation WF9MGM0CYM
| URI | m2://inv/WF9MGM0CYM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78485917, odd permutation (unknown). Also MathWorld OddPermutation
History
- 2026-10-26: add by m2/dev
WF9PA021V0 WF9PA021V0
| URI | m2://inv/WF9PA021V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#G1G8 (statement). In M4ZVJWM8YA/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.4.2
WF9PW6MCS9 WF9PW6MCS9
| URI | m2://inv/WF9PW6MCS9 |
|---|---|
| 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#5DRR (statement). In 5B10HAY4C3/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
geodetic graph WF9TZ2K3KT
| URI | m2://inv/WF9TZ2K3KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104856863, geodetic graph (unknown). Also MathWorld GeodeticGraph
- wikipedia: Wikipedia Geodetic graph, Geodetic graph (definition). Also Wikidata Q104856863
History
- 2026-10-26: add by m2/dev
Algorithms WFA4RFJFWK
| URI | m2://inv/WFA4RFJFWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta skeleton#JEA0, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
complex vector WFA6FM7GAT
| URI | m2://inv/WFA6FM7GAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116768890, complex vector (unknown). Also MathWorld ComplexVector
History
- 2026-10-26: add by m2/dev
Numerical methods for ordinary differential equations WFA8ATG6F9
| URI | m2://inv/WFA8ATG6F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods for ordinary differential equations, Numerical methods for ordinary differential equations (definition). Also Wikidata Q541182
History
- 2026-11-02: add by m2/dev
Integer rectangles WFACFMBYTX
| URI | m2://inv/WFACFMBYTX |
|---|---|
| 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.37410#XU86, Integer rectangles (statement). In NX7D3FFFKM/e1, corollary 6.1
History
- 2026-10-30: add by m2/v0.4.12
Toussaint Loua WFADM8RK9G
| URI | m2://inv/WFADM8RK9G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toussaint Loua, Toussaint Loua (topic). Also Wikidata Q15286852
History
- 2026-11-02: add by m2/dev
WFAGD74C1X WFAGD74C1X
| URI | m2://inv/WFAGD74C1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#6UN0 (statement). In X47RYAZF8P/e1, corollary 3.14
History
- 2026-10-28: add by m2/v0.4.2
$T$ EIT WFAM5HVTX9
| URI | m2://inv/WFAM5HVTX9 |
|---|---|
| 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.25129#U9JN, $T$ EIT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weighted one-round theorem WFANDB9YXZ
| URI | m2://inv/WFANDB9YXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#TT9T, Weighted one-round theorem (statement). In WBXAW9G4JB/e1, theorem 10.1
History
- 2026-10-29: add by m2/v0.4.12
WFATCY7REJ WFATCY7REJ
| URI | m2://inv/WFATCY7REJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#6MKI (statement). In BDN507RN7J/e1, proposition 3.4.3
History
- 2026-10-30: add by m2/v0.4.12
Latin square property WFAW9BEPV2
| URI | m2://inv/WFAW9BEPV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasigroup#BXNQ, Latin square property (unknown)
History
- 2026-11-02: add by m2/dev
WFBA948M1W WFBA948M1W
| URI | m2://inv/WFBA948M1W |
|---|---|
| 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.23287#5CE4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
WFBCT8G16B WFBCT8G16B
| URI | m2://inv/WFBCT8G16B |
|---|---|
| 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 2511.08099#PV9J (conjecture). In 5NK801XBGA/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
Classical solution, case II: $V \geq 0$ WFBKG4Y3ZB
| URI | m2://inv/WFBKG4Y3ZB |
|---|---|
| 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 2110.12380#JM8R, Classical solution, case II: $V \geq 0$ (statement). In M6MQPEDQ8N/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
WFBMWN2VSE WFBMWN2VSE
| URI | m2://inv/WFBMWN2VSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#XSFP (statement). In 9TR5E527P5/e1, lemma 1.10
History
- 2026-10-29: add by m2/v0.4.10
Beauville–Laszlo WFBN8R8PJT
| URI | m2://inv/WFBN8R8PJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#PXF3, Beauville–Laszlo (definition)
History
- 2026-11-02: add by m2/dev
Notation WFBPPSAHX6
| URI | m2://inv/WFBPPSAHX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional factorial design#SUTN, Notation (definition)
History
- 2026-11-02: add by m2/dev
Definition WFBSA4DGMY
| URI | m2://inv/WFBSA4DGMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamagawa number#O138, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sequential extraction WFBXGM5NWR
| URI | m2://inv/WFBXGM5NWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#ANJD, Sequential extraction (statement). In WBXAW9G4JB/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
Side-approximation theorem WFC1NHWEB6
| URI | m2://inv/WFC1NHWEB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Side-approximation theorem, Side-approximation theorem (statement). Also Wikidata Q7508236
History
- 2026-11-02: add by m2/dev
WFC6E3N6XF WFC6E3N6XF
| URI | m2://inv/WFC6E3N6XF |
|---|---|
| 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.14236#RA2O (statement). In XEQD21EBTT/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
WFCD8EKVBX WFCD8EKVBX
| URI | m2://inv/WFCD8EKVBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#C9N9 (statement). In S7PNTM0GZC/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Parker Hitt WFCEC7F4EN
| URI | m2://inv/WFCEC7F4EN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parker Hitt, Parker Hitt (topic). Also Wikidata Q57771488
History
- 2026-11-02: add by m2/dev
Conley conjecture WFCHMTTGCF
| URI | m2://inv/WFCHMTTGCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conley conjecture, Conley conjecture (statement). Also Wikidata Q122963584
History
- 2026-11-02: add by m2/dev
Monotonicity-enhanced real bound WFCN21ABQR
| URI | m2://inv/WFCN21ABQR |
|---|---|
| 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#EVD6, Monotonicity-enhanced real bound (statement). In GHT5WXFA4E/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
Mean time to recovery WFD6G0R4AE
| URI | m2://inv/WFD6G0R4AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean time to recovery, Mean time to recovery (definition). Also Wikidata Q1915484
History
- 2026-11-02: add by m2/dev
Jakub Nakcjanowicz WFD9W42XR6
| URI | m2://inv/WFD9W42XR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jakub Nakcjanowicz, Jakub Nakcjanowicz (topic). Also Wikidata Q12657535
History
- 2026-11-02: add by m2/dev
Submaximal space WFD9YTKZZS
| URI | m2://inv/WFD9YTKZZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#O7Q9, Submaximal space (definition)
History
- 2026-11-02: add by m2/dev
WFDBNAQHSB WFDBNAQHSB
| URI | m2://inv/WFDBNAQHSB |
|---|---|
| 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 2310.13621#8COT (statement). In DG0EZ1BPV5/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.3.5
sumset WFDQBWCAP6
| URI | m2://inv/WFDQBWCAP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3489869, sumset (unknown). Also MathWorld Sumset
History
- 2026-10-26: add by m2/dev
Heine–Stieltjes polynomials WFDWY8NCKZ
| URI | m2://inv/WFDWY8NCKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Eduard Heine#TV04, Heine–Stieltjes polynomials (definition)
History
- 2026-11-02: add by m2/dev
Handshaking lemma WFE3RBJZR8
| URI | m2://inv/WFE3RBJZR8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree (graph theory)#1FQD, Handshaking lemma (statement)
History
- 2026-11-02: add by m2/dev
WFE4M1PQWH WFE4M1PQWH
| URI | m2://inv/WFE4M1PQWH |
|---|---|
| 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 2601.15403#KZK5 (statement). In BSWNH3NW1M/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.4.0
Gerald B. Whitham WFEAJC9C11
| URI | m2://inv/WFEAJC9C11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerald B. Whitham, Gerald B. Whitham (topic). Also Wikidata Q455572
History
- 2026-11-02: add by m2/dev
WFEM67P5QM WFEM67P5QM
| URI | m2://inv/WFEM67P5QM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#OICS (definition). In Z9HC1EDTQP/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
A non-example: Representation of $\Mat(V)$ WFEWDZ2W31
| URI | m2://inv/WFEWDZ2W31 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-11, A non-example: Representation of $\Mat(V)$ (example). In RZP28ERRZV, example, section 80.5
History
- 2026-11-01: add by m2/v0.6.13
WFF2GASBRY WFF2GASBRY
| URI | m2://inv/WFF2GASBRY |
|---|---|
| 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 2506.16491#CM1K (statement). In P9J6P06Y40/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Deformation datum WFF3M53JDQ
| URI | m2://inv/WFF3M53JDQ |
|---|---|
| Kind | definition |
| 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.20572#FK8W, Deformation datum (definition)
History
- 2026-11-02: add by m2/v0.6.18
Jean Jacod WFF5FVX2GY
| URI | m2://inv/WFF5FVX2GY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Jacod, Jean Jacod (topic). Also Wikidata Q38130288
History
- 2026-11-02: add by m2/dev
Extreme point WFFC26NZ4J
| URI | m2://inv/WFFC26NZ4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#KG0U, Extreme point (definition)
History
- 2026-11-02: add by m2/dev
WFFFKPXTC1 WFFFKPXTC1
| URI | m2://inv/WFFFKPXTC1 |
|---|---|
| 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.06875#YS79 (statement). In ZDT5J9KQVQ/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
WFFSK6BYJV WFFSK6BYJV
| URI | m2://inv/WFFSK6BYJV |
|---|---|
| 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.31276#GO6E (statement). In WYDHWYFRFK/e1, lemma 5.10
History
- 2026-10-31: add by m2/v0.5.6
Definition WFFTQMP3DK
| URI | m2://inv/WFFTQMP3DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval graph#OT7M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bennett, Alpert, and Goldstein’s S WFFVNPWSFE
| URI | m2://inv/WFFVNPWSFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#Y508, Bennett, Alpert, and Goldstein’s S (definition)
History
- 2026-11-02: add by m2/dev
$\lambda$-abstraction WFG50ZNJJH
| URI | m2://inv/WFG50ZNJJH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/lambda-abstraction, $\lambda$-abstraction (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
algorithm WFG56JVK26
| URI | m2://inv/WFG56JVK26 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/algorithm, algorithm (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Nan Laird WFG6N5PEDC
| URI | m2://inv/WFG6N5PEDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nan Laird, Nan Laird (topic). Also Wikidata Q6962218
History
- 2026-11-02: add by m2/dev
Ermanno Bencivenga WFG8QK264V
| URI | m2://inv/WFG8QK264V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ermanno Bencivenga, Ermanno Bencivenga (topic). Also Wikidata Q3731900
History
- 2026-11-02: add by m2/dev
WFGBZR3ZM7 WFGBZR3ZM7
| URI | m2://inv/WFGBZR3ZM7 |
|---|---|
| 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.01924#TXOC (statement). In CB89152EQW/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.12
Bound on the time derivative with an initial layer WFGRXN53X7
| URI | m2://inv/WFGRXN53X7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.02686#6ZZD, Bound on the time derivative with an initial layer (statement). In 5QWPNXQ32J/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
WFGSZY6NMQ WFGSZY6NMQ
| URI | m2://inv/WFGSZY6NMQ |
|---|---|
| Kind | statement |
| 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.39951#HPL0 (statement). In H343T48ZWE/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
WFGT076BE3 WFGT076BE3
| URI | m2://inv/WFGT076BE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13707#FWN4 (statement). In 3564GWRNSF/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
antisymmetric WFH0G87SVE
| URI | m2://inv/WFH0G87SVE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.10/antisymmetric, antisymmetric (concept). In QKM9DD2H56, index, section B.10
History
- 2026-11-01: add by m2/v0.6.13
Kőnig's theorem (set theory) WFHAM4BN59
| URI | m2://inv/WFHAM4BN59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#IWQ0, Kőnig's theorem (set theory) (statement)
History
- 2026-11-02: add by m2/dev
GCD domain WFHBR8XRX3
| URI | m2://inv/WFHBR8XRX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | GCD domain ACDEK1GD9G |
Mentions
- wikidata: Wikidata Q2851438, GCD domain (definition). Also ProofWiki Definition:GCD_Domain
- wikipedia: Wikipedia GCD domain, GCD domain (definition). Also Wikidata Q2851438
History
- 2026-10-26: add by m2/dev
Poincaré–Steklov operator WFHDW32K2H
| URI | m2://inv/WFHDW32K2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Steklov operator, Poincaré–Steklov operator (definition). Also Wikidata Q17099589
History
- 2026-11-02: add by m2/dev
WFHFCQMYSX WFHFCQMYSX
| URI | m2://inv/WFHFCQMYSX |
|---|---|
| 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.08193#2PPT (statement). In 8XAKGH8S2D/e1, corollary B
History
- 2026-10-29: add by m2/v0.4.10
WFHN18FEYD WFHN18FEYD
| URI | m2://inv/WFHN18FEYD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-139 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
WFHY0QN2JE WFHY0QN2JE
| URI | m2://inv/WFHY0QN2JE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#L1P9 (statement). In ETV3D93XYD/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Central homographic separation in arbitrary dimension WFHYJGA1ST
| URI | m2://inv/WFHYJGA1ST |
|---|---|
| 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.04136#15V1, Central homographic separation in arbitrary dimension (statement). In TBYTWR87F3/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Marta Lewicka WFJ22QNC0Z
| URI | m2://inv/WFJ22QNC0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marta Lewicka, Marta Lewicka (topic). Also Wikidata Q24259856
History
- 2026-11-02: add by m2/dev
WFJB6DM2G3 WFJB6DM2G3
| URI | m2://inv/WFJB6DM2G3 |
|---|---|
| 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.01071#WD60 (statement). In X1YF62ZFB6/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.12
Six Mile, Papua New Guinea WFJRJGSG3X
| URI | m2://inv/WFJRJGSG3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GNP3, Six Mile, Papua New Guinea (unknown)
History
- 2026-11-02: add by m2/dev
Kaneko, Zagier WFJYCZ0SQP
| URI | m2://inv/WFJYCZ0SQP |
|---|---|
| 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#PIMW, Kaneko, Zagier (conjecture). In FP05Z6EBV4/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
Definition WFK65FRMM4
| URI | m2://inv/WFK65FRMM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cliquish function#H4TS, Definition (definition)
History
- 2026-11-02: add by m2/dev
moment-generating function WFKFAVPGXV
| URI | m2://inv/WFKFAVPGXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Moment-generating function 0NNRNGKMFM |
Mentions
- wikidata: Wikidata Q535587, moment-generating function (unknown). Also MathWorld Moment-GeneratingFunction
- wikipedia: Wikipedia Moment generating function, Moment generating function (definition). Also Wikidata Q535587
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications WFKGB8AZ72
| URI | m2://inv/WFKGB8AZ72 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tire model#Q8J4, Applications (example)
History
- 2026-11-02: add by m2/dev
Ars inveniendi WFKH5GFFXY
| URI | m2://inv/WFKH5GFFXY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathesis universalis#X830, Ars inveniendi (unknown)
History
- 2026-11-02: add by m2/dev
WFKH9ZAH6Y WFKH9ZAH6Y
| URI | m2://inv/WFKH9ZAH6Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#GVI8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Ralph E. Gomory WFKVFM3ZMP
| URI | m2://inv/WFKVFM3ZMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O7WB, Ralph E. Gomory (unknown)
History
- 2026-11-02: add by m2/dev
WFKWRWFJ5E WFKWRWFJ5E
| URI | m2://inv/WFKWRWFJ5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#analysis-interval-ctb (statement). In N54F33XE07, thm, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Extensions WFM19YVWN0
| URI | m2://inv/WFM19YVWN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat kernel signature#F5KW, Extensions (statement)
History
- 2026-11-02: add by m2/dev
WFM5EVGXR4 WFM5EVGXR4
| URI | m2://inv/WFM5EVGXR4 |
|---|---|
| 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#ZD4C (statement). In G2PA4KAGRP/e1, proposition 5.11
History
- 2026-10-27: add by m2/v0.3.6
Siegel's conjecture WFM9HEV8Q7
| URI | m2://inv/WFM9HEV8Q7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular prime#DDLR, Siegel's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Datanalisis WFM9HTF316
| URI | m2://inv/WFM9HTF316 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polls in Venezuela#O67O, Datanalisis (unknown)
History
- 2026-11-02: add by m2/dev
Mixed-design analysis of variance WFMARNK9Q0
| URI | m2://inv/WFMARNK9Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZHMK, Mixed-design analysis of variance (definition)
History
- 2026-11-02: add by m2/dev
WFMCQ72EX0 WFMCQ72EX0
| URI | m2://inv/WFMCQ72EX0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-242 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Larry Brown WFMD9VJZVT
| URI | m2://inv/WFMD9VJZVT |
|---|---|
| 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#ONOC, Larry Brown (unknown)
History
- 2026-11-02: add by m2/dev
William Abikoff WFMG5C2KAY
| URI | m2://inv/WFMG5C2KAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Abikoff, William Abikoff (topic). Also Wikidata Q15854630
History
- 2026-11-02: add by m2/dev
WFMPDG7SH5 WFMPDG7SH5
| URI | m2://inv/WFMPDG7SH5 |
|---|---|
| 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.33932#G9HI (statement). In YPVF3ET43M/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Certificate and initial-condition data WFMQND63KA
| URI | m2://inv/WFMQND63KA |
|---|---|
| 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.33360#GWB5, Certificate and initial-condition data (statement). In GH6FSDK4YB/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
Spin (geometry) WFMS8QC63B
| URI | m2://inv/WFMS8QC63B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation#GTA8, Spin (geometry) (unknown)
History
- 2026-11-02: add by m2/dev
WFMWF300Q3 WFMWF300Q3
| URI | m2://inv/WFMWF300Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28674#UHGW (statement)
History
- 2026-11-01: add by m2/v0.6.15
WFN1DX4A4V WFN1DX4A4V
| URI | m2://inv/WFN1DX4A4V |
|---|---|
| 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.02199#BV5C (statement). In A8Q52DFW6S/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
H\"older continuity of $\nabla f$ WFND1T9RR9
| URI | m2://inv/WFND1T9RR9 |
|---|---|
| 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.08434#BB5D, H\"older continuity of $\nabla f$ (statement). In VN8087G2FC/e1, lemma 8.16
History
- 2026-10-29: add by m2/v0.4.10
WFNEKMDP3E WFNEKMDP3E
| URI | m2://inv/WFNEKMDP3E |
|---|---|
| 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 2609.24845#IJWW (definition)
History
- 2026-11-01: add by m2/v0.6.15
WFNFHH49KJ WFNFHH49KJ
| URI | m2://inv/WFNFHH49KJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#Z1O9 (definition). In X765ZXXVC3/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
WFNQR57A32 WFNQR57A32
| URI | m2://inv/WFNQR57A32 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#KVI9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Compatible truncations of a global PBF WFP0E3W3GF
| URI | m2://inv/WFP0E3W3GF |
|---|---|
| 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#39MB, Compatible truncations of a global PBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
WFP6W4J5PH WFP6W4J5PH
| URI | m2://inv/WFP6W4J5PH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#Z8LG (definition). In E1Y93JNBJA/e1, definition 1.11
History
- 2026-10-31: add by m2/v0.5.6
WFP75Z9Q74 WFP75Z9Q74
| URI | m2://inv/WFP75Z9Q74 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
WFPA7HQC23 WFPA7HQC23
| URI | m2://inv/WFPA7HQC23 |
|---|---|
| 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.23128#1SUJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Arity-four optimization WFPC37W9M7
| URI | m2://inv/WFPC37W9M7 |
|---|---|
| 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.04027#LY0W, Arity-four optimization (statement). In DQB4YR2DFH/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.12
In law WFPCJN5CSW
| URI | m2://inv/WFPCJN5CSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-reference#O5LR, In law (statement)
History
- 2026-11-02: add by m2/dev
WFPE9TM53X WFPE9TM53X
| URI | m2://inv/WFPE9TM53X |
|---|---|
| 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.31242#7J7C (statement). In 3NPRR9546C/e1, lemma 3.7
History
- 2026-10-31: add by m2/v0.5.6
Definition WFPEQGWF94
| URI | m2://inv/WFPEQGWF94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stably free module#VKWA, Definition (definition)
History
- 2026-11-02: add by m2/dev
WFPMXJYZHB WFPMXJYZHB
| URI | m2://inv/WFPMXJYZHB |
|---|---|
| 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 1512.06981#MXSP (definition). In X923ZEY423/e1, definition 1.1.1
History
- 2026-10-27: add by m2/v0.3.5
Row and column vectors WFPP6K3JKQ
| URI | m2://inv/WFPP6K3JKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row and column vectors, Row and column vectors (definition). Also Wikidata Q20294235
History
- 2026-11-02: add by m2/dev
Subgaussian convex-order comparison WFPPN6MX4P
| URI | m2://inv/WFPPN6MX4P |
|---|---|
| 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.07876#AN0F, Subgaussian convex-order comparison (statement). In DEP0CXZAST/e1, theorem 0.1
History
- 2026-10-29: add by m2/v0.4.10
WFPRMKHYET WFPRMKHYET
| URI | m2://inv/WFPRMKHYET |
|---|---|
| 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#H7B9 (statement). In CGA36VE1C5/e1, fact 12.5.1
History
- 2026-10-27: add by m2/v0.3.6
Connection to the Riemann hypothesis WFQ3Y1N6CZ
| URI | m2://inv/WFQ3Y1N6CZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mertens conjecture#JJJK, Connection to the Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
WFQ4GTS9VQ WFQ4GTS9VQ
| URI | m2://inv/WFQ4GTS9VQ |
|---|---|
| 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.01802#P8BO (definition). In XGPZ0G9E1Q/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Properties WFQ580S37G
| URI | m2://inv/WFQ580S37G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kappa calculus#FLDE, Properties (statement)
History
- 2026-11-02: add by m2/dev
WFQBEKG2SS WFQBEKG2SS
| URI | m2://inv/WFQBEKG2SS |
|---|---|
| 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 2601.15010#VK25 (statement). In K3WJ6ZN184/e1, proposition 9.1
History
- 2026-10-27: add by m2/v0.3.5
Electronic mail game WFQD9WC0B0
| URI | m2://inv/WFQD9WC0B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic mail game, Electronic mail game (definition). Also Wikidata Q128107039
History
- 2026-11-02: add by m2/dev
WFQN02NHCY WFQN02NHCY
| URI | m2://inv/WFQN02NHCY |
|---|---|
| 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 2606.02312#D46X (statement). In 1SZV94R22Y/e1, lemma 1.5
History
- 2026-10-27: add by m2/v0.3.5
$V$ as an $L^2$-valued process WFQNBXDY33
| URI | m2://inv/WFQNBXDY33 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#IMTW, $V$ as an $L^2$-valued process (example). In 7CADATJMAA/e1, example 3.4
History
- 2026-10-31: add by m2/v0.5.6
WFQT43FJN9 WFQT43FJN9
| URI | m2://inv/WFQT43FJN9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#LK3X (unknown). In QNBFHFZ3H0/e1, unknown 128
History
- 2026-10-28: add by m2/v0.4.2
Gudkov's conjecture WFQTYEEES7
| URI | m2://inv/WFQTYEEES7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gudkov's conjecture, Gudkov's conjecture (statement). Also Wikidata Q19921695
History
- 2026-11-02: add by m2/dev
Friction WFRHYETT6G
| URI | m2://inv/WFRHYETT6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friction, Friction (definition). Also Wikidata Q82580
History
- 2026-11-02: add by m2/dev
Quadratic classifier WFRM1D93YJ
| URI | m2://inv/WFRM1D93YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QKNI, Quadratic classifier (definition)
History
- 2026-11-02: add by m2/dev
Algorithm WFRRKFD03S
| URI | m2://inv/WFRRKFD03S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BassOmatic#BL85, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
biconditional WFRZ10GWYC
| URI | m2://inv/WFRZ10GWYC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/biconditional, biconditional (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
WFS728JWZJ WFS728JWZJ
| URI | m2://inv/WFS728JWZJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-300 (exercise). In VNMV985MXX, exercise, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Endpoints WFSBA9KBFD
| URI | m2://inv/WFSBA9KBFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#Q9B8, Endpoints (statement). In 65TJENWK7X/e1, lemma 47
History
- 2026-10-29: add by m2/v0.4.10
Oka's lemma WFSDX3EWJX
| URI | m2://inv/WFSDX3EWJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oka's lemma, Oka's lemma (statement). Also Wikidata Q7081688
History
- 2026-11-02: add by m2/dev
WFSGCS7CG9 WFSGCS7CG9
| URI | m2://inv/WFSGCS7CG9 |
|---|---|
| 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.19360#B9Q9 (statement). In MFCW5CY96C/e1, lemma 43
History
- 2026-10-28: add by m2/v0.4.2
Examples WFSH6GE50Q
| URI | m2://inv/WFSH6GE50Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNUnet#EB3T, Examples (example)
History
- 2026-11-02: add by m2/dev
WFT2METYKG WFT2METYKG
| URI | m2://inv/WFT2METYKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#QX47 (statement). In MQPBZX4DR6/e1, theorem 5.12
History
- 2026-10-28: add by m2/v0.4.2
Graph isomorphism problem WFT8Y17WR2
| URI | m2://inv/WFT8Y17WR2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph isomorphism problem, Graph isomorphism problem (conjecture). Also Wikidata Q3738036
History
- 2026-11-02: add by m2/dev
Knightian uncertainty WFTDPS4V29
| URI | m2://inv/WFTDPS4V29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knightian uncertainty, Knightian uncertainty (definition). Also Wikidata Q1548830
History
- 2026-11-02: add by m2/dev
A noncompact Liouville extension WFTE1210SW
| URI | m2://inv/WFTE1210SW |
|---|---|
| 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.20197#GG77, A noncompact Liouville extension (statement)
History
- 2026-11-02: add by m2/v0.6.18
A posteriori convergence of ABrA-GD WFTJGMKRW4
| URI | m2://inv/WFTJGMKRW4 |
|---|---|
| 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 2609.38741#GG0L, A posteriori convergence of ABrA-GD (statement). In 1SQH3PTYMD/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
WFTR1BA0FC WFTR1BA0FC
| URI | m2://inv/WFTR1BA0FC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#XPR7 (statement). In JFQY4CYHKP/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
October WFV7RTGJ2R
| URI | m2://inv/WFV7RTGJ2R |
|---|---|
| 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 Q124, October (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/October
History
- 2026-10-26: add by m2/dev
Examples WFV8CXJJJ8
| URI | m2://inv/WFV8CXJJJ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratifold#6P9V, Examples (example)
History
- 2026-11-02: add by m2/dev
Spherical polygon WFVGBKEFQE
| URI | m2://inv/WFVGBKEFQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical trigonometry#D8G8, Spherical polygon (unknown)
History
- 2026-11-02: add by m2/dev
Association fallacy WFVHQMR1EZ
| URI | m2://inv/WFVHQMR1EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association fallacy, Association fallacy (definition). Also Wikidata Q2915008
History
- 2026-11-02: add by m2/dev
WFVTPW05B3 WFVTPW05B3
| URI | m2://inv/WFVTPW05B3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinhardt cardinal#L1N7 (problem)
History
- 2026-11-02: add by m2/dev
contingency WFVV5PG92R
| URI | m2://inv/WFVV5PG92R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1359069, contingency (unknown). Also MathWorld Contingency
- wikipedia: Wikipedia Contingency (philosophy), Contingency (definition). Also Wikidata Q1359069
History
- 2026-10-26: add by m2/dev
Drift at radius reexpansions WFVXFZ791E
| URI | m2://inv/WFVXFZ791E |
|---|---|
| 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.15202#6PVR, Drift at radius reexpansions (statement). In X1FPG0KYBM/e1, lemma L.4
History
- 2026-10-28: add by m2/v0.4.2
Examples WFW4550FB7
| URI | m2://inv/WFW4550FB7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of sets#917K, Examples (example)
History
- 2026-11-02: add by m2/dev
WFWAAD0E4Y WFWAAD0E4Y
| URI | m2://inv/WFWAAD0E4Y |
|---|---|
| Kind | definition |
| 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.12857#TNFK (definition). In XJWQ6Y83F8/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
WFWBA2PM2S WFWBA2PM2S
| URI | m2://inv/WFWBA2PM2S |
|---|---|
| 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.13613#WNXT (statement). In 3HCT4TQ5PM/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Anti-terrorism WFWGPPJ53W
| URI | m2://inv/WFWGPPJ53W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#SPW1, Anti-terrorism (unknown)
History
- 2026-11-02: add by m2/dev
WFWPJ8D6FY WFWPJ8D6FY
| URI | m2://inv/WFWPJ8D6FY |
|---|---|
| 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 2108.03672#E3HV (statement). In EZZSZ1F071/e1, fact 1.14
History
- 2026-10-27: add by m2/v0.4.0
André Weil WFWQDY039V
| URI | m2://inv/WFWQDY039V |
|---|---|
| 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 Q323232, André Weil (unknown). Also nLab André Weil
- wikipedia: Wikipedia André Weil, André Weil (topic). Also Wikidata Q323232
History
- 2026-10-26: add by m2/dev
WFWSMMGDPE WFWSMMGDPE
| URI | m2://inv/WFWSMMGDPE |
|---|---|
| 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 1903.07030#PVX3 (statement). In 9H45HQE7AZ/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.5
WFX3FWKKY9 WFX3FWKKY9
| URI | m2://inv/WFX3FWKKY9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#DL5X (definition). In G1RP4JY5PE/e1, definition 5.4.5
History
- 2026-10-31: add by m2/v0.5.6
frequency domain WFX68BB9RC
| URI | m2://inv/WFX68BB9RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#6O6M, frequency domain (definition)
History
- 2026-11-02: add by m2/dev
Example WFX94XJTZH
| URI | m2://inv/WFX94XJTZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph#TR8Z, Example (example)
History
- 2026-11-02: add by m2/dev
WFXBFS13P9 WFXBFS13P9
| URI | m2://inv/WFXBFS13P9 |
|---|---|
| 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.37865#7YCU (statement). In 1ADMH800X0/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Reducibility of singular fibers WFXMJFAKCP
| URI | m2://inv/WFXMJFAKCP |
|---|---|
| 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.16731#SERU, Reducibility of singular fibers (statement). In D68KBZQ4Q6/e1, lemma 3.21
History
- 2026-10-28: add by m2/v0.4.2
305 (Number) WFXPZBSZQW
| URI | m2://inv/WFXPZBSZQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#N535, 305 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
WFXQ0FWMZB WFXQ0FWMZB
| URI | m2://inv/WFXQ0FWMZB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
Transport-of-intensity equation WFXV31C899
| URI | m2://inv/WFXV31C899 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport-of-intensity equation, Transport-of-intensity equation (definition). Also Wikidata Q96454946
History
- 2026-11-02: add by m2/dev
Anita K. Bahn WFXVT7HCJJ
| URI | m2://inv/WFXVT7HCJJ |
|---|---|
| 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#PD8H, Anita K. Bahn (topic)
History
- 2026-11-02: add by m2/dev
EPR paradox WFY0XRHWPW
| URI | m2://inv/WFY0XRHWPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden-variable theory#DMVY, EPR paradox (statement)
History
- 2026-11-02: add by m2/dev
WFY3F7VDFH WFY3F7VDFH
| URI | m2://inv/WFY3F7VDFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#definition-1 (definition). In RZP28ERRZV, definition, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
WFY5ZSE6B6 WFY5ZSE6B6
| URI | m2://inv/WFY5ZSE6B6 |
|---|---|
| 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.21534#31EV (statement)
History
- 2026-11-02: add by m2/v0.6.18
WFYBKGW27G WFYBKGW27G
| URI | m2://inv/WFYBKGW27G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/partial-functions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
Capped reflected finalizer WFYEJY5REC
| URI | m2://inv/WFYEJY5REC |
|---|---|
| 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.16248#UKX4, Capped reflected finalizer (statement). In TP61DYMBMK/e1, proposition 14
History
- 2026-10-28: add by m2/v0.4.2
WFYEVMS9G5 WFYEVMS9G5
| URI | m2://inv/WFYEVMS9G5 |
|---|---|
| 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.26500#AX15 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zoltán Füredi WFYJS3XRC8
| URI | m2://inv/WFYJS3XRC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zoltán Füredi, Zoltán Füredi (topic). Also Wikidata Q218916
History
- 2026-11-02: add by m2/dev
Campbell identity WFYKYFZZKQ
| URI | m2://inv/WFYKYFZZKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#UM1K, Campbell identity (statement)
History
- 2026-11-02: add by m2/dev
Applications WFYNCQM4J5
| URI | m2://inv/WFYNCQM4J5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strahler number#0TND, Applications (example)
History
- 2026-11-02: add by m2/dev
WFZ9AJ3WXD WFZ9AJ3WXD
| URI | m2://inv/WFZ9AJ3WXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#defn-5 (definition). In E59CDZA4DP, defn, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
WFZB710AZP WFZB710AZP
| URI | m2://inv/WFZB710AZP |
|---|---|
| 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.23803#3UP1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Moran's I WFZD31YA9C
| URI | m2://inv/WFZD31YA9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moran's I, Moran's I (definition). Also Wikidata Q3150399
History
- 2026-11-02: add by m2/dev
Complex polygon WFZJ703EWC
| URI | m2://inv/WFZJ703EWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex polygon, Complex polygon (definition). Also Wikidata Q5156594
History
- 2026-11-02: add by m2/dev
Nassif Ghoussoub WFZSF81C44
| URI | m2://inv/WFZSF81C44 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JOXE, Nassif Ghoussoub (topic)
History
- 2026-11-02: add by m2/dev