Inventory rows W4
The cards of the rows of the inventory whose ids start with W4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Formulation W405R7VERG
| URI | m2://inv/W405R7VERG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized estimating equation#YC2V, Formulation (definition)
History
- 2026-11-02: add by m2/dev
W409J52GRB W409J52GRB
| URI | m2://inv/W409J52GRB |
|---|---|
| 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.18043#8TPE (statement). In 64TAHFQTMD/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Sylvester's theorem W40CHMQQW1
| URI | m2://inv/W40CHMQQW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand's postulate#P0Y0, Sylvester's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition W40VA2R8XY
| URI | m2://inv/W40VA2R8XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function (convex analysis)#KTSP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Common free cuts W40Z64M1AP
| URI | m2://inv/W40Z64M1AP |
|---|---|
| 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.29671#1GYH, Common free cuts (statement)
History
- 2026-11-01: add by m2/v0.6.15
W410Y5EVRQ W410Y5EVRQ
| URI | m2://inv/W410Y5EVRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#LQEP (statement). In GXHKRV5BPY/e1, proposition C.2
History
- 2026-10-29: add by m2/v0.4.10
W414PEHD66 W414PEHD66
| URI | m2://inv/W414PEHD66 |
|---|---|
| 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.05696#OWHE (statement). In MG81A9XJTQ/e1, lemma V.4
History
- 2026-10-29: add by m2/v0.4.10
W41E4P8DJK W41E4P8DJK
| URI | m2://inv/W41E4P8DJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.39317#1RYH (statement). In QM1T8JDK4A/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
W41EG7XX3D W41EG7XX3D
| URI | m2://inv/W41EG7XX3D |
|---|---|
| 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 2412.12141#4W8A (statement). In V980ZMH759/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
W41FMB3S8F W41FMB3S8F
| URI | m2://inv/W41FMB3S8F |
|---|---|
| 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 2610.02042#8JW6 (statement). In P3HWTYFDBX/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
Diffusion process W41G5KER2W
| URI | m2://inv/W41G5KER2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1M2D, Diffusion process (definition)
History
- 2026-11-02: add by m2/dev
The rank-two Kloosterman local calculation W41TBNFN25
| URI | m2://inv/W41TBNFN25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#XH2W, The rank-two Kloosterman local calculation (statement). In QPJ6FWG5HD/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
W4246K4TZV W4246K4TZV
| URI | m2://inv/W4246K4TZV |
|---|---|
| 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.25367#BM9B (statement)
History
- 2026-11-01: add by m2/v0.6.15
W4247A7449 W4247A7449
| URI | m2://inv/W4247A7449 |
|---|---|
| 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.15517#BEAP (statement). In C87H6KZSBM/e1, corollary
History
- 2026-10-28: add by m2/v0.4.2
Variants W425J0QBJP
| URI | m2://inv/W425J0QBJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace splitting problem#QAU5, Variants (statement)
History
- 2026-11-02: add by m2/dev
Alexander Ostrowski W425ZJ8GVJ
| URI | m2://inv/W425ZJ8GVJ |
|---|---|
| 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 Q64975, Alexander Ostrowski (unknown). Also nLab Alexander Ostrowski, ProofWiki Mathematician:Alexander_Markowich_Ostrowski
- wikipedia: Wikipedia Alexander Ostrowski, Alexander Ostrowski (topic). Also Wikidata Q64975
History
- 2026-10-26: add by m2/dev
W426AYBNMK W426AYBNMK
| URI | m2://inv/W426AYBNMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#3A6K (statement). In S26QVW5613/e1, proposition 2.3.2
History
- 2026-10-30: add by m2/v0.4.12
W426K04RQ3 W426K04RQ3
| URI | m2://inv/W426K04RQ3 |
|---|---|
| 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.09001#SA8X (statement). In HJC1JJZRSH/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Stochastic process W428K80E2P
| URI | m2://inv/W428K80E2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#W64I, Stochastic process (definition)
History
- 2026-11-02: add by m2/dev
Polystick W429NE060Q
| URI | m2://inv/W429NE060Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7226991, Polystick (unknown). Also MathWorld Polystick
- wikipedia: Wikipedia Polystick, Polystick (definition). Also Wikidata Q7226991
History
- 2026-10-26: add by m2/dev
W42CSECDBQ W42CSECDBQ
| URI | m2://inv/W42CSECDBQ |
|---|---|
| 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.32440#KOVB (statement). In 8WP6FQHZBM/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Cairns and Nikolayevsky W42K9CX257
| URI | m2://inv/W42K9CX257 |
|---|---|
| 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.06340#1MYA, Cairns and Nikolayevsky (statement). In PKNZPECH82/e1, theorem 9.2
History
- 2026-10-29: add by m2/v0.4.10
W42N3E6KFS W42N3E6KFS
| URI | m2://inv/W42N3E6KFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05018#O5HB (statement). In QFZSPBES9B/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
W42QJVJC6B W42QJVJC6B
| URI | m2://inv/W42QJVJC6B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#9MA8 (definition). In 4WPYBTARS2/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.12
SaTScan W42RJPDPGV
| URI | m2://inv/W42RJPDPGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SaTScan, SaTScan (definition). Also Wikidata Q116909867
History
- 2026-11-02: add by m2/dev
William C. Krumbein W42SHQB565
| URI | m2://inv/W42SHQB565 |
|---|---|
| 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#JOZ5, William C. Krumbein (unknown)
History
- 2026-11-02: add by m2/dev
Open questions W42VW99R3J
| URI | m2://inv/W42VW99R3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetration#6URV, Open questions (statement)
History
- 2026-11-02: add by m2/dev
Statement W42YFZG7A8
| URI | m2://inv/W42YFZG7A8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fueter–Pólya theorem#S1AF, Statement (statement)
History
- 2026-11-02: add by m2/dev
W433QFQP95 W433QFQP95
| URI | m2://inv/W433QFQP95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:transport-is-given (statement). In N54F33XE07, lem, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
W437C04WXZ W437C04WXZ
| URI | m2://inv/W437C04WXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#GUXR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Original-law complex links W4394CW6G0
| URI | m2://inv/W4394CW6G0 |
|---|---|
| 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.05498#ZNTH, Original-law complex links (statement). In TJT32RQ9GC/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
Explicit logical-qudit count for $\mathcal Q(p,d)$; original W43CRPYGQE
| URI | m2://inv/W43CRPYGQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#YIW1, Explicit logical-qudit count for $\mathcal Q(p,d)$; original (statement). In W066HQZQBF/e1, corollary 9
History
- 2026-10-29: add by m2/v0.4.12
W43DDS60P4 W43DDS60P4
| URI | m2://inv/W43DDS60P4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#J41Y (statement). In V5PVKDKGGG/e1, proposition 6.11
History
- 2026-10-28: add by m2/v0.4.2
W43FJHFDWM W43FJHFDWM
| URI | m2://inv/W43FJHFDWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.03231#ONJQ (statement). In 3Y76AQQGF0/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
W43QEZ49ZV W43QEZ49ZV
| URI | m2://inv/W43QEZ49ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28501#RGNN (statement)
History
- 2026-11-01: add by m2/v0.6.15
W43QXTEDSN W43QXTEDSN
| URI | m2://inv/W43QXTEDSN |
|---|---|
| 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 2409.19687#GAL3 (statement). In GWP0HYMDE3/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.6
W440Y49M0M W440Y49M0M
| URI | m2://inv/W440Y49M0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-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.21507#JQN2 (statement). In 879ZDHVK7N/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
Examples W4456W9QCD
| URI | m2://inv/W4456W9QCD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quintic threefold#7QUB, Examples (example)
History
- 2026-11-02: add by m2/dev
Transitivity W446PD4CJ2
| URI | m2://inv/W446PD4CJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#defn-2, Transitivity (definition). In PKGMM3P5QY, defn, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
W44M84ETGW W44M84ETGW
| URI | m2://inv/W44M84ETGW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
W44R2Q8QQJ W44R2Q8QQJ
| URI | m2://inv/W44R2Q8QQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2103.08272#YVCA (statement). In H72E12TYHA/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.0
Smooth PL consequences W44RXX1B4P
| URI | m2://inv/W44RXX1B4P |
|---|---|
| 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.09356#LVS1, Smooth PL consequences (statement). In 3VVGPXWH6R/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Olav Kallenberg W44T7ZQSN1
| URI | m2://inv/W44T7ZQSN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olav Kallenberg, Olav Kallenberg (topic). Also Wikidata Q3710485
History
- 2026-11-02: add by m2/dev
W44ZKS09S0 W44ZKS09S0
| URI | m2://inv/W44ZKS09S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36135#J447 (statement). In H96A235409/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Edward George Effros W451358BVV
| URI | m2://inv/W451358BVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward George Effros, Edward George Effros (topic). Also Wikidata Q80208915
History
- 2026-11-02: add by m2/dev
Giulio Aleni W453KC9H1Y
| URI | m2://inv/W453KC9H1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#B7GS, Giulio Aleni (unknown)
History
- 2026-11-02: add by m2/dev
W455XJBGX6 W455XJBGX6
| URI | m2://inv/W455XJBGX6 |
|---|---|
| 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 2303.14022#0US4 (statement). In NSYR6W27FP/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.5
W45BY2JAV9 W45BY2JAV9
| URI | m2://inv/W45BY2JAV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#EDNQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
W45H5DG6K3 W45H5DG6K3
| URI | m2://inv/W45H5DG6K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#KVLB (statement). In 1WCXV5PVZA/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
W45JXMYJ17 W45JXMYJ17
| URI | m2://inv/W45JXMYJ17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#PQ1Z (statement). In 6HXD74FA4S/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
W45N213BYH W45N213BYH
| URI | m2://inv/W45N213BYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#ex:digraph (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
Applications W45N578BZS
| URI | m2://inv/W45N578BZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conversational scoreboard#CO1N, Applications (example)
History
- 2026-11-02: add by m2/dev
W45PSHWR1C W45PSHWR1C
| URI | m2://inv/W45PSHWR1C |
|---|---|
| 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.16631#ULGQ (statement). In T735PRQNJB/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
real W461X1YR05
| URI | m2://inv/W461X1YR05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#XAYX, real (definition)
History
- 2026-11-02: add by m2/dev
Covariance function W4631F5SKS
| URI | m2://inv/W4631F5SKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FZ2F, Covariance function (definition)
History
- 2026-11-02: add by m2/dev
Properties W469HW9BP5
| URI | m2://inv/W469HW9BP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel metric#QJX8, Properties (statement)
History
- 2026-11-02: add by m2/dev
W46CQ0EXD9 W46CQ0EXD9
| URI | m2://inv/W46CQ0EXD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:eqv-levelwise (statement). In N54F33XE07, lem, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
W46KMN2KGE W46KMN2KGE
| URI | m2://inv/W46KMN2KGE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
W46P0Z7SMJ W46P0Z7SMJ
| URI | m2://inv/W46P0Z7SMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#FY34 (statement). In BJGS6ZCQ12/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.6
Small object argument W46SADWM3A
| URI | m2://inv/W46SADWM3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small object argument, Small object argument (definition). Also Wikidata Q133844248
History
- 2026-11-02: add by m2/dev
W4708CWVBF W4708CWVBF
| URI | m2://inv/W4708CWVBF |
|---|---|
| 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 2502.08738#I5T2 (statement). In 9GMTVSTAVN/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Dirac delta function W47710405T
| URI | m2://inv/W47710405T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms#NWIN, Dirac delta function (definition)
History
- 2026-11-02: add by m2/dev
Nonlinear recurrence relations W47F0GHA8S
| URI | m2://inv/W47F0GHA8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear system#9X1I, Nonlinear recurrence relations (unknown)
History
- 2026-11-02: add by m2/dev
Biconditional introduction W47Y732K8Z
| URI | m2://inv/W47Y732K8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconditional introduction#LK84, Biconditional introduction (statement)
History
- 2026-11-02: add by m2/dev
W482V3CB4C W482V3CB4C
| URI | m2://inv/W482V3CB4C |
|---|---|
| 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.11468#I8OU (statement). In FR4FDRHZJT/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Edward M. Hartwell W483V0Z7WT
| URI | m2://inv/W483V0Z7WT |
|---|---|
| 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#7WSZ, Edward M. Hartwell (unknown)
History
- 2026-11-02: add by m2/dev
Example W489K3VP67
| URI | m2://inv/W489K3VP67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal complement#0KOG, Example (example)
History
- 2026-11-02: add by m2/dev
Cobweb model W48CD9BYHD
| URI | m2://inv/W48CD9BYHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobweb model, Cobweb model (definition). Also Wikidata Q593544
History
- 2026-11-02: add by m2/dev
Ruzsa–Szemerédi problem W48E8EN983
| URI | m2://inv/W48E8EN983 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruzsa–Szemerédi problem, Ruzsa–Szemerédi problem (problem). Also Wikidata Q62760546
History
- 2026-11-02: add by m2/dev
W48MSPCQBH W48MSPCQBH
| URI | m2://inv/W48MSPCQBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39260#FBI6 (statement). In ZNDB1AZZSA/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
W48TEYVHT2 W48TEYVHT2
| URI | m2://inv/W48TEYVHT2 |
|---|---|
| Kind | conjecture |
| 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 2506.09840#1M7U (conjecture). In Y7TWHSF2HC/e1, conjecture 5.4
History
- 2026-10-27: add by m2/v0.3.5
W492F6MMSV W492F6MMSV
| URI | m2://inv/W492F6MMSV |
|---|---|
| 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.17411#AXW4 (statement). In 73QW05MWQB/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
W493MA42YM W493MA42YM
| URI | m2://inv/W493MA42YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#MCWJ (statement). In FRMCKEGVJZ/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
W496EZ832S W496EZ832S
| URI | m2://inv/W496EZ832S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#POUC (statement). In 9B0X8YPF3P/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
W49C883B5J W49C883B5J
| URI | m2://inv/W49C883B5J |
|---|---|
| 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.28509#3F9E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition W49HFA3BDD
| URI | m2://inv/W49HFA3BDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doyle spiral#PVYJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Continuity, attainment and interiority W49J98EM2H
| URI | m2://inv/W49J98EM2H |
|---|---|
| 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#OKM1, Continuity, attainment and interiority (statement). In NKXTXH59P1/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
Order-6 triangular hosohedral honeycomb W49T5PZ393
| URI | m2://inv/W49T5PZ393 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#VRGM, Order-6 triangular hosohedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Integrability conditions for differential systems W49Z5DWAYV
| URI | m2://inv/W49Z5DWAYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrability conditions for differential systems, Integrability conditions for differential systems (definition). Also Wikidata Q382583
History
- 2026-11-02: add by m2/dev
A. R. Rao W4A0GX8YY6
| URI | m2://inv/W4A0GX8YY6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A. R. Rao, A. R. Rao (topic). Also Wikidata Q27478317
History
- 2026-11-02: add by m2/dev
Patrick Delorme W4A42S735K
| URI | m2://inv/W4A42S735K |
|---|---|
| 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#A8FF, Patrick Delorme (unknown)
History
- 2026-11-02: add by m2/dev
W4A6QRS542 W4A6QRS542
| URI | m2://inv/W4A6QRS542 |
|---|---|
| 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 2609.34011#97CY (statement). In RAXRNDW2Z0/e1, corollary B
History
- 2026-10-30: add by m2/v0.4.12
W4A9WQ0PTB W4A9WQ0PTB
| URI | m2://inv/W4A9WQ0PTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.22058#CWJK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Energy estimate for the elliptic projection W4AAPE6JRV
| URI | m2://inv/W4AAPE6JRV |
|---|---|
| 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.01504#1QNA, Energy estimate for the elliptic projection (statement). In JAVB10Q2YZ/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.12
star product W4AATAJFDR
| URI | m2://inv/W4AATAJFDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7601281, star product (unknown). Also nLab star product
- wikipedia: Wikipedia Star product, Star product (definition). Also Wikidata Q7601281
History
- 2026-10-26: add by m2/dev
W4ADFRF6NX W4ADFRF6NX
| URI | m2://inv/W4ADFRF6NX |
|---|---|
| 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 2212.06621#QKLM (statement). In DB223AABTH/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
W4AEM0K4EH W4AEM0K4EH
| URI | m2://inv/W4AEM0K4EH |
|---|---|
| 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.29641#IBC3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetric Grassmann-type formula W4AJAZPQDC
| URI | m2://inv/W4AJAZPQDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#JJ6B, Symmetric Grassmann-type formula (statement). In HA9B7PD0YV/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Definition W4AW2Q744Y
| URI | m2://inv/W4AW2Q744Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voorhoeve index#HL96, Definition (definition)
History
- 2026-11-02: add by m2/dev
Doob's upcrossing inequality W4AW34Q0JN
| URI | m2://inv/W4AW34Q0JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob's martingale convergence theorems#N6N8, Doob's upcrossing inequality (statement)
History
- 2026-11-02: add by m2/dev
W4BC5QFN9V W4BC5QFN9V
| URI | m2://inv/W4BC5QFN9V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-8-1.xml#act-1-8-1 (exercise). In 907G4C4EJ1, activity, section 1.8.3
History
- 2026-11-01: add by m2/v0.6.13
W4BEFSMXVB W4BEFSMXVB
| URI | m2://inv/W4BEFSMXVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#prop-2 (statement). In E59CDZA4DP, prop, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
Statement W4BF6BW319
| URI | m2://inv/W4BF6BW319 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McKay conjecture#W9Y3, Statement (statement)
History
- 2026-11-02: add by m2/dev
Alexandroff plank W4BKDQ92JG
| URI | m2://inv/W4BKDQ92JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#HE5F, Alexandroff plank (unknown)
History
- 2026-11-02: add by m2/dev
W4BS2P18CR W4BS2P18CR
| URI | m2://inv/W4BS2P18CR |
|---|---|
| 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#PHM5 (statement). In WYDHWYFRFK/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Examples W4BSDHBWR6
| URI | m2://inv/W4BSDHBWR6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Wijngaarden grammar#TVKT, Examples (example)
History
- 2026-11-02: add by m2/dev
Nonnegative and positive ambient Ricci curvature W4BXNN57PJ
| URI | m2://inv/W4BXNN57PJ |
|---|---|
| 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 2609.32001#UPY8, Nonnegative and positive ambient Ricci curvature (statement). In 5FZGDECW2R/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
W4C5KWBK7C W4C5KWBK7C
| URI | m2://inv/W4C5KWBK7C |
|---|---|
| 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.20422#1CYU (statement). In HCH89W5Y2C/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.2
W4CA9ASXR4 W4CA9ASXR4
| URI | m2://inv/W4CA9ASXR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25983#Z2O0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
W4CFZRWC1Y W4CFZRWC1Y
| URI | m2://inv/W4CFZRWC1Y |
|---|---|
| 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#DL68 (statement). In BDN507RN7J/e1, proposition 5.2.1
History
- 2026-10-30: add by m2/v0.4.12
Emanuel Parzen W4CHV8D34P
| URI | m2://inv/W4CHV8D34P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TGLY, Emanuel Parzen (topic)
History
- 2026-11-02: add by m2/dev
W4CKPB6ND5 W4CKPB6ND5
| URI | m2://inv/W4CKPB6ND5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_eulerham.ptx#thm_graphs_dirac (statement). In QKM9DD2H56, theorem, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
William Hovgaard W4CVK9S77R
| URI | m2://inv/W4CVK9S77R |
|---|---|
| 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#FJQW, William Hovgaard (unknown)
History
- 2026-11-02: add by m2/dev
irreflexivity, of apartness W4CZZZWXA4
| URI | m2://inv/W4CZZZWXA4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/irreflexivity-of-apartness, irreflexivity, of apartness (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
W4D9CJ0458 W4D9CJ0458
| URI | m2://inv/W4D9CJ0458 |
|---|---|
| Kind | definition |
| 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.21627#1C8J (definition). In 4Z44S003HM/e1, definition 3
History
- 2026-10-27: add by m2/v0.4.2
W4DB6F5XRB W4DB6F5XRB
| URI | m2://inv/W4DB6F5XRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#U60P (statement). In NGZ5AZ70NN/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Beth Gladen W4DFAPPSWH
| URI | m2://inv/W4DFAPPSWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beth Gladen, Beth Gladen (topic). Also Wikidata Q102266464
History
- 2026-11-02: add by m2/dev
Ronald G. Douglas W4DG4H5R0Y
| URI | m2://inv/W4DG4H5R0Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q3E7, Ronald G. Douglas (topic)
History
- 2026-11-02: add by m2/dev
Keith number W4DGDF0MRB
| URI | m2://inv/W4DGDF0MRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#G0WF, Keith number (definition)
History
- 2026-11-02: add by m2/dev
Definitions W4DRSXNBCK
| URI | m2://inv/W4DRSXNBCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy category of chain complexes#GKST, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Five Creeks Township, Clay County, Kansas W4DSZYPTRV
| URI | m2://inv/W4DSZYPTRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#V1BD, Five Creeks Township, Clay County, Kansas (unknown)
History
- 2026-11-02: add by m2/dev
Main theorem W4DX3TNK1C
| URI | m2://inv/W4DX3TNK1C |
|---|---|
| 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 2609.24323#DVXY, Main theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
W4DZ3WDDG0 W4DZ3WDDG0
| URI | m2://inv/W4DZ3WDDG0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#GNJ6 (definition). In REDG6QVHM3/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Intervening variable W4E1W6TSEX
| URI | m2://inv/W4E1W6TSEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X6A9, Intervening variable (definition)
History
- 2026-11-02: add by m2/dev
Two Harbors W4EC1KRP1X
| URI | m2://inv/W4EC1KRP1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6XSO, Two Harbors (unknown)
History
- 2026-11-02: add by m2/dev
Bandle--Levine--Zhang W4EFR5E39H
| URI | m2://inv/W4EFR5E39H |
|---|---|
| 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.22458#IW6Z, Bandle--Levine--Zhang (statement)
History
- 2026-11-02: add by m2/v0.6.17
Andrew Strominger W4ES1DRRHK
| URI | m2://inv/W4ES1DRRHK |
|---|---|
| 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 Q507732, Andrew Strominger (unknown). Also nLab Andrew Strominger
History
- 2026-10-26: add by m2/dev
W4EYR5KEHV W4EYR5KEHV
| URI | m2://inv/W4EYR5KEHV |
|---|---|
| Kind | problem |
| 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.12808#WI5A (problem). In 9S39XMSAPD/e1, problem 2.9
History
- 2026-10-28: add by m2/v0.4.2
Convergent cross mapping W4F13CV70M
| URI | m2://inv/W4F13CV70M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergent cross mapping, Convergent cross mapping (definition). Also Wikidata Q599709
History
- 2026-11-02: add by m2/dev
Definition and example W4F31QSQW6
| URI | m2://inv/W4F31QSQW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order polytope#YVH5, Definition and example (definition)
History
- 2026-11-02: add by m2/dev
Armadillo W4F9JTHCM5
| URI | m2://inv/W4F9JTHCM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#S5LA, Armadillo (unknown)
History
- 2026-11-02: add by m2/dev
Pedal curve W4FBZ3XT11
| URI | m2://inv/W4FBZ3XT11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#XKGE, Pedal curve (definition)
- wikipedia: Wikipedia List of curves#B0OR, Pedal curve (definition)
History
- 2026-11-02: add by m2/dev
W4FKHHQMHR W4FKHHQMHR
| URI | m2://inv/W4FKHHQMHR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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 2609.24610#69R9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
W4FP449ERJ W4FP449ERJ
| URI | m2://inv/W4FP449ERJ |
|---|---|
| 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 2610.05194#MBKP (statement). In 77R8YQ16JH/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
W4FPZGWSHB W4FPZGWSHB
| URI | m2://inv/W4FPZGWSHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.22560#4TD0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cristina Pereyra W4FQ70VVCP
| URI | m2://inv/W4FQ70VVCP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristina Pereyra, Cristina Pereyra (topic). Also Wikidata Q53870408
History
- 2026-11-02: add by m2/dev
Valentine Joseph W4FT1ZAPW7
| URI | m2://inv/W4FT1ZAPW7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valentine Joseph, Valentine Joseph (topic). Also Wikidata Q37906157
History
- 2026-11-02: add by m2/dev
Residuated Boolean algebra W4FV457732
| URI | m2://inv/W4FV457732 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residuated Boolean algebra, Residuated Boolean algebra (definition). Also Wikidata Q7315522
History
- 2026-11-02: add by m2/dev
Point–line–plane postulate W4G4WJFPSC
| URI | m2://inv/W4G4WJFPSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point–line–plane postulate, Point–line–plane postulate (definition). Also Wikidata Q7208409
History
- 2026-11-02: add by m2/dev
Backward Euler method W4G5DCHFXA
| URI | m2://inv/W4G5DCHFXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#8774, Backward Euler method (definition)
History
- 2026-11-02: add by m2/dev
Pseudoconic W4G7FEPYKX
| URI | m2://inv/W4G7FEPYKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map projection#DFO0, Pseudoconic (unknown)
History
- 2026-11-02: add by m2/dev
constructive, set theory W4G9HGFRFJ
| URI | m2://inv/W4G9HGFRFJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/constructive-set-theory, constructive, set theory (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
W4GB84JMTN W4GB84JMTN
| URI | m2://inv/W4GB84JMTN |
|---|---|
| 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.35920#SLHW (statement). In 5D5HW98PTH/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Gordon H. Clark W4GCRZ31MP
| URI | m2://inv/W4GCRZ31MP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#C3HS, Gordon H. Clark (unknown)
History
- 2026-11-02: add by m2/dev
W4GF9ZWTFH W4GF9ZWTFH
| URI | m2://inv/W4GF9ZWTFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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.24131#J6X1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Alexander M. Mood W4GFVQ3VY7
| URI | m2://inv/W4GFVQ3VY7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#7I3K, Alexander M. Mood (topic)
History
- 2026-11-02: add by m2/dev
W4GHQSRKZ6 W4GHQSRKZ6
| URI | m2://inv/W4GHQSRKZ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-79 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Iván Guzmán de Rojas W4GHZV4PGR
| URI | m2://inv/W4GHZV4PGR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iván Guzmán de Rojas, Iván Guzmán de Rojas (topic). Also Wikidata Q5691809
History
- 2026-11-02: add by m2/dev
W4GWD0RR03 W4GWD0RR03
| URI | m2://inv/W4GWD0RR03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#M6UZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
W4GZ7Q2DM4 W4GZ7Q2DM4
| URI | m2://inv/W4GZ7Q2DM4 |
|---|---|
| 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 1803.10042#51KW (statement). In 718SP8YERQ/e1, corollary A5
History
- 2026-10-27: add by m2/v0.3.5
W4H1X3V5Y8 W4H1X3V5Y8
| URI | m2://inv/W4H1X3V5Y8 |
|---|---|
| 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 2608.24190#1YJQ (statement). In DW7FVA587C/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.3.5
W4H691WB11 W4H691WB11
| URI | m2://inv/W4H691WB11 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#prob:unit_cubed (exercise). In RZP28ERRZV, problem, section 17.4
History
- 2026-11-01: add by m2/v0.6.13
Gromoll–Meyer sphere W4H7PN0X0T
| URI | m2://inv/W4H7PN0X0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromoll–Meyer sphere, Gromoll–Meyer sphere (definition). Also Wikidata Q16831631
History
- 2026-11-02: add by m2/dev
Viviani's theorem W4H813P3TE
| URI | m2://inv/W4H813P3TE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q852183, Viviani's theorem (statement). Also Wikidata Q852183
- thousand_plus: thousand_plus Q852183, Viviani's theorem (statement). Also Wikidata Q852183, Wikipedia Viviani's theorem
- wikidata: Wikidata Q852183, Viviani's theorem (statement). Also MathWorld VivianisTheorem
- wikipedia: Wikipedia Viviani's theorem, Viviani's theorem (statement). Also Wikidata Q852183
History
- 2026-10-26: add by m2/dev
Local eigenvalue deviations in the complex exterior W4HKJ1J16N
| URI | m2://inv/W4HKJ1J16N |
|---|---|
| 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.05498#TJQG, Local eigenvalue deviations in the complex exterior (statement). In TJT32RQ9GC/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
W4HY84P31W W4HY84P31W
| URI | m2://inv/W4HY84P31W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 82.5
History
- 2026-11-01: add by m2/v0.6.13
Properties and principles W4J2CBKH6N
| URI | m2://inv/W4J2CBKH6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective topos#LC4S, Properties and principles (statement)
History
- 2026-11-02: add by m2/dev
Jean-Pierre Kahane W4J80MAFY2
| URI | m2://inv/W4J80MAFY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Pierre Kahane, Jean-Pierre Kahane (topic). Also Wikidata Q550171
History
- 2026-11-02: add by m2/dev
W4JFAEKAYZ W4JFAEKAYZ
| URI | m2://inv/W4JFAEKAYZ |
|---|---|
| Kind | definition |
| 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 2102.09374#KS4S (definition). In TGAHH1F8K5/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Joseph Raphson W4JFHZZM98
| URI | m2://inv/W4JFHZZM98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DGE2, Joseph Raphson (topic)
History
- 2026-11-02: add by m2/dev
List of things named after Joseph-Louis Lagrange W4JGPH1KGT
| URI | m2://inv/W4JGPH1KGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange, List of things named after Joseph-Louis Lagrange (topic). Also Wikidata Q15634298
History
- 2026-11-02: add by m2/dev
W4JJYPSDKJ W4JJYPSDKJ
| URI | m2://inv/W4JJYPSDKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#NFT8 (statement). In 6KR7Z5ETRY/e1, lemma 2.47
History
- 2026-10-27: add by m2/v0.3.5
W4JKZWMHVZ W4JKZWMHVZ
| URI | m2://inv/W4JKZWMHVZ |
|---|---|
| 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.24739#PBEC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Axiomatic geometry W4JRZ2CAX8
| URI | m2://inv/W4JRZ2CAX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DA30, Axiomatic geometry (definition)
History
- 2026-11-02: add by m2/dev
Applications W4K00XCY33
| URI | m2://inv/W4K00XCY33 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-unification#5JT2, Applications (example)
History
- 2026-11-02: add by m2/dev
Notation for specific clones W4K6YPCPNA
| URI | m2://inv/W4K6YPCPNA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#Q57T, Notation for specific clones (definition). In GW23NX78SB/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
W4KAMT2910 W4KAMT2910
| URI | m2://inv/W4KAMT2910 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09314#ZCRS (statement). In Z04N0B3R0V/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
W4KCV38S37 W4KCV38S37
| URI | m2://inv/W4KCV38S37 |
|---|---|
| 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.22296#YCW9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
W4KGN0HYX5 W4KGN0HYX5
| URI | m2://inv/W4KGN0HYX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#IDLH (statement). In V0MA250K2P/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Orlicz space W4KN7RHZ8F
| URI | m2://inv/W4KN7RHZ8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz space, Orlicz space (definition). Also Wikidata Q3058185
History
- 2026-11-02: add by m2/dev
Hub labels W4KWEHK8X9
| URI | m2://inv/W4KWEHK8X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hub labels, Hub labels (definition). Also Wikidata Q39498739
History
- 2026-11-02: add by m2/dev
Pinch point W4M2603S0D
| URI | m2://inv/W4M2603S0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#W62O, Pinch point (definition)
History
- 2026-11-02: add by m2/dev
W4M4WS5RQK W4M4WS5RQK
| URI | m2://inv/W4M4WS5RQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#YLDE (statement). In NSP90G5XCQ/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
W4M7521GFQ W4M7521GFQ
| URI | m2://inv/W4M7521GFQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.01087#EM8I (definition). In 7QXAZXGNPQ/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
W4M7SSEPVY W4M7SSEPVY
| URI | m2://inv/W4M7SSEPVY |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#DSHU (unknown). In 4YJH4FPWDA/e1, unknown 3.14
History
- 2026-10-30: add by m2/v0.4.12
Pick's theorem W4MB9R88TR
| URI | m2://inv/W4MB9R88TR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer lattice#ET5A, Pick's theorem (statement)
History
- 2026-11-02: add by m2/dev
Winsorising W4MGYJSPM9
| URI | m2://inv/W4MGYJSPM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1RAP, Winsorising (definition)
History
- 2026-11-02: add by m2/dev
Definition W4MTTV3QR2
| URI | m2://inv/W4MTTV3QR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank ring#8ZI0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joseph Kohn W4N2AENFPD
| URI | m2://inv/W4N2AENFPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#86P1, Joseph Kohn (unknown)
History
- 2026-11-02: add by m2/dev
Examples W4N40K3VNN
| URI | m2://inv/W4N40K3VNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrelled set#QXOU, Examples (example)
History
- 2026-11-02: add by m2/dev
Dynamic response W4N8GJVE6C
| URI | m2://inv/W4N8GJVE6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vibration#CAGT, Dynamic response (unknown)
History
- 2026-11-02: add by m2/dev
W4NJG9MZP7 W4NJG9MZP7
| URI | m2://inv/W4NJG9MZP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#D33E (statement). In VEXM27M8Q1/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.3
W4NT31GM4T W4NT31GM4T
| URI | m2://inv/W4NT31GM4T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23279#MGQ2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Uniform Nonvanishing in Unit Cubes W4NWC5VCC4
| URI | m2://inv/W4NWC5VCC4 |
|---|---|
| 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.28993#7O0Y, Uniform Nonvanishing in Unit Cubes (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction W4NYXMBNE4
| URI | m2://inv/W4NYXMBNE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wagner graph#573T, Construction (definition)
History
- 2026-11-02: add by m2/dev
W4P01ZE8TW W4P01ZE8TW
| URI | m2://inv/W4P01ZE8TW |
|---|---|
| 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 0911.1417#OJ0W (statement). In BBD7TZW79R/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
constructive set theory W4P68BG1TY
| URI | m2://inv/W4P68BG1TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5164501, constructive set theory (unknown). Also nLab constructive set theory
- wikipedia: Wikipedia Constructive set theory, Constructive set theory (definition). Also Wikidata Q5164501
History
- 2026-10-26: add by m2/dev
W4P9Z4KK48 W4P9Z4KK48
| URI | m2://inv/W4P9Z4KK48 |
|---|---|
| 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.13884#GA78 (statement). In N2NQ3QJYTW/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
W4PV77W78P W4PV77W78P
| URI | m2://inv/W4PV77W78P |
|---|---|
| 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.09561#ZT13 (statement). In WDV5E2CVTR/e1, theorem 6.11
History
- 2026-10-29: add by m2/v0.4.10
Fraser spiral illusion W4Q64SJDJP
| URI | m2://inv/W4Q64SJDJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1451327, Fraser spiral illusion (unknown). Also MathWorld FrasersSpiral
History
- 2026-10-26: add by m2/dev
W4Q97ZDNAV W4Q97ZDNAV
| URI | m2://inv/W4Q97ZDNAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#AGE3 (statement). In DG9TF5X0EG/e1, theorem 13
History
- 2026-10-27: add by m2/v0.4.0
Cauchy distribution W4Q9HNXV0X
| URI | m2://inv/W4Q9HNXV0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#A89J, Cauchy distribution (definition)
History
- 2026-11-02: add by m2/dev
Common-control intensity estimate W4Q9ZQWTHZ
| URI | m2://inv/W4Q9ZQWTHZ |
|---|---|
| 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.32083#3VNT, Common-control intensity estimate (statement). In 7H843YN8HK/e1, lemma A.5
History
- 2026-10-31: add by m2/v0.5.6
W4QDQBVDK2 W4QDQBVDK2
| URI | m2://inv/W4QDQBVDK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.15771#ZXUD (statement). In F2243YZX7A/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Principle of structure (the situation) W4QEW477KD
| URI | m2://inv/W4QEW477KD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interdependence theory#PVDG, Principle of structure (the situation) (statement)
History
- 2026-11-02: add by m2/dev
type, of booleans W4QGBCZWVG
| URI | m2://inv/W4QGBCZWVG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.8/type-of-booleans, type, of booleans (concept). In N54F33XE07, index, section A.8
History
- 2026-11-01: add by m2/v0.6.13
Example W4QTTJK3DF
| URI | m2://inv/W4QTTJK3DF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#ISOR, Example (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
W4QVQ2G2XA W4QVQ2G2XA
| URI | m2://inv/W4QVQ2G2XA |
|---|---|
| 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#J6Z3 (statement). In RYFV9HGWWZ/e1, proposition 28
History
- 2026-10-27: add by m2/v0.3.5
Terminology W4QWXKJ4TC
| URI | m2://inv/W4QWXKJ4TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic function#0Y11, Terminology (definition)
History
- 2026-11-02: add by m2/dev
time domain W4R9BC2X06
| URI | m2://inv/W4R9BC2X06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#CR5V, time domain (definition)
History
- 2026-11-02: add by m2/dev
Tryte W4RBC43PCQ
| URI | m2://inv/W4RBC43PCQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary numeral system#1EIC, Tryte (unknown)
History
- 2026-11-02: add by m2/dev
W4RGMNM8XR W4RGMNM8XR
| URI | m2://inv/W4RGMNM8XR |
|---|---|
| Kind | definition |
| 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#ZHDD (definition). In PF5JJ9DS8Q/e1, definition 7.2.2
History
- 2026-10-28: add by m2/v0.4.2
Corollary W4RTFD1506
| URI | m2://inv/W4RTFD1506 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism#XS1L, Corollary (statement)
History
- 2026-11-02: add by m2/dev
W4RTJBSCNY W4RTJBSCNY
| URI | m2://inv/W4RTJBSCNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#7WV4 (statement). In 40YZ43TS8K/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
W4S1KFVNRW W4S1KFVNRW
| URI | m2://inv/W4S1KFVNRW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.24545#TWNS (definition)
History
- 2026-11-01: add by m2/v0.6.15
W4S2R07WWT W4S2R07WWT
| URI | m2://inv/W4S2R07WWT |
|---|---|
| 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 1406.2996#DKNG (statement). In 6XENXFC77F/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Network meta-analysis W4S2VHY98G
| URI | m2://inv/W4S2VHY98G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meta-analysis#FV7M, Network meta-analysis (unknown)
History
- 2026-11-02: add by m2/dev
Gian Francesco Giudice W4S9YSPQST
| URI | m2://inv/W4S9YSPQST |
|---|---|
| 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 Q3762636, Gian Francesco Giudice (unknown). Also nLab Gian Giudice
History
- 2026-10-26: add by m2/dev
Boris Galerkin W4SEK9TQCE
| URI | m2://inv/W4SEK9TQCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#C9UM, Boris Galerkin (topic)
History
- 2026-11-02: add by m2/dev
Time negligibility of achronal sets W4SF6DVVS3
| URI | m2://inv/W4SF6DVVS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.21775#FQD0, Time negligibility of achronal sets (statement). In KM3Q791JY0/e1, proposition 3.16
History
- 2026-10-27: add by m2/v0.4.2
W4SGBPQ4D7 W4SGBPQ4D7
| URI | m2://inv/W4SGBPQ4D7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#08AD (statement). In W3G9Z9B32N/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Examples W4SGPKQG8H
| URI | m2://inv/W4SGPKQG8H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gluing schemes#NQJ6, Examples (example)
History
- 2026-11-02: add by m2/dev
W4SJFXE6KT W4SJFXE6KT
| URI | m2://inv/W4SJFXE6KT |
|---|---|
| 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.06556#2XRX (statement). In KW8C7VE9XR/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
W4SP0R3FRW W4SP0R3FRW
| URI | m2://inv/W4SP0R3FRW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Generalized Cauchy data set for $L^1$ sources W4ST3NZ3GR
| URI | m2://inv/W4ST3NZ3GR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17519#NCS5, Generalized Cauchy data set for $L^1$ sources (definition). In H2DNTQ5MKV/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Definition W4T2MPBM8K
| URI | m2://inv/W4T2MPBM8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration dimension#LDV5, Definition (definition)
History
- 2026-11-02: add by m2/dev
adjacent W4T5RFRGFA
| URI | m2://inv/W4T5RFRGFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/adjacent, adjacent (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
All finite natural Clifford semirings W4T91PZEBA
| URI | m2://inv/W4T91PZEBA |
|---|---|
| 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#0FEC, All finite natural Clifford semirings (statement). In DR7BK4CQ0V/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.3
W4TA035J13 W4TA035J13
| URI | m2://inv/W4TA035J13 |
|---|---|
| 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#RZOQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
projective linear group W4TG905N53
| URI | m2://inv/W4TG905N53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2997419, projective linear group (unknown). Also MathWorld ProjectiveGeneralLinearGroup
- wikipedia: Wikipedia Projective linear group, Projective linear group (definition). Also Wikidata Q2997419
History
- 2026-10-26: add by m2/dev
W4TNRWGPGM W4TNRWGPGM
| URI | m2://inv/W4TNRWGPGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#AVXY (statement). In TNC658NVMQ/e1, theorem 6.9
History
- 2026-10-28: add by m2/v0.4.2
Heat-weight gain W4V77WMAK1
| URI | m2://inv/W4V77WMAK1 |
|---|---|
| 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#FQTA, Heat-weight gain (statement). In 98GNJ4MS7Q/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
International Union of History and Philosophy of Science W4V96H0F0Q
| URI | m2://inv/W4V96H0F0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Union of History and Philosophy of Science, International Union of History and Philosophy of Science (definition). Also Wikidata Q6054107
History
- 2026-11-02: add by m2/dev
W4VAJK6W5R W4VAJK6W5R
| URI | m2://inv/W4VAJK6W5R |
|---|---|
| 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.36827#2ZZK (statement). In VSHAQTB2CA/e1, corollary E.3
History
- 2026-10-30: add by m2/v0.4.12
Monotone transformation W4VTGT0CH8
| URI | m2://inv/W4VTGT0CH8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonic function#2MDH, Monotone transformation (unknown)
History
- 2026-11-02: add by m2/dev
Transitivity of Standardization W4VWEEJYKW
| URI | m2://inv/W4VWEEJYKW |
|---|---|
| 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 2609.37578#XGTU, Transitivity of Standardization (statement). In D7NDCWSDJE/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
W4VYJABJZR W4VYJABJZR
| URI | m2://inv/W4VYJABJZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#B0E5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Earthquake theorem W4WF3MGREC
| URI | m2://inv/W4WF3MGREC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earthquake map#SB6H, Earthquake theorem (statement)
History
- 2026-11-02: add by m2/dev
Anti-involution W4WJEWA2AP
| URI | m2://inv/W4WJEWA2AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-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.37524#N2FN, Anti-involution (statement). In 4GTJAPF7Q3/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Confidence interval W4WQ31MF0M
| URI | m2://inv/W4WQ31MF0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3P7Z, Confidence interval (definition)
History
- 2026-11-02: add by m2/dev
Bollob\'as, Daykin and Erd\H{o}s W4WVXVKJV9
| URI | m2://inv/W4WVXVKJV9 |
|---|---|
| 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 2610.16203#SEI0, Bollob\'as, Daykin and Erd\H{o}s (statement). In 43TBS9P2PX/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
Paul Habibi W4WWNRAWGT
| URI | m2://inv/W4WWNRAWGT |
|---|---|
| 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#313E, Paul Habibi (unknown)
History
- 2026-11-02: add by m2/dev
Conductors of tensor constructions W4WX54CD7C
| URI | m2://inv/W4WX54CD7C |
|---|---|
| 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.03081#PNHO, Conductors of tensor constructions (statement). In TX0H26X4VX/e1, corollary 8.23
History
- 2026-10-29: add by m2/v0.4.12
W4WXHXMV17 W4WXHXMV17
| URI | m2://inv/W4WXHXMV17 |
|---|---|
| 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#5P1R (statement). In 66H5YPQCYV/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Non-example W4X3YN3FRD
| URI | m2://inv/W4X3YN3FRD |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group#3HUK, Non-example (counterexample)
History
- 2026-11-02: add by m2/dev
Real simple Lie algebra W4X4VB9Z81
| URI | m2://inv/W4X4VB9Z81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple Lie algebra#M8KL, Real simple Lie algebra (unknown)
History
- 2026-11-02: add by m2/dev
checkers W4XEP292ME
| URI | m2://inv/W4XEP292ME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1293, checkers (unknown). Also MathWorld Checkers
- wikidata: Wikidata Q2180601, English draughts (unknown). Also MathWorld Checkers
History
- 2026-10-26: add by m2/dev
Coarse displacement bounds W4XGTV2H91
| URI | m2://inv/W4XGTV2H91 |
|---|---|
| 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.21328#5MYI, Coarse displacement bounds (statement). In BJXVV4ZF7B/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Seán Dineen W4XM9TZKR5
| URI | m2://inv/W4XM9TZKR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seán Dineen, Seán Dineen (topic). Also Wikidata Q102121580
History
- 2026-11-02: add by m2/dev
Small parameters and the uniform upper tail W4XNCKT2GG
| URI | m2://inv/W4XNCKT2GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#TLAD, Small parameters and the uniform upper tail (statement). In 9QDRMZX8EY/e1, lemma 25
History
- 2026-10-30: add by m2/v0.4.12
Example W4XQ1EDSAT
| URI | m2://inv/W4XQ1EDSAT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#VK81, Example (example)
History
- 2026-11-02: add by m2/dev
W4XV4G9JYM W4XV4G9JYM
| URI | m2://inv/W4XV4G9JYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#70WO (statement). In 4H727T2YAS/e1, proposition 7.5
History
- 2026-10-29: add by m2/v0.4.12
W4XW7EEQ0X W4XW7EEQ0X
| URI | m2://inv/W4XW7EEQ0X |
|---|---|
| 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.11693#53DU (statement). In F8QNPNTBTZ/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Manava W4XWSNPN10
| URI | m2://inv/W4XWSNPN10 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#457J, Manava (unknown)
History
- 2026-11-02: add by m2/dev
Variants W4XXB72AC8
| URI | m2://inv/W4XXB72AC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revelation principle#5V3N, Variants (statement)
History
- 2026-11-02: add by m2/dev
Proposition 18 W4Y3RMTXBP
| URI | m2://inv/W4Y3RMTXBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of exhaustion#5XUN, Proposition 18 (statement)
History
- 2026-11-02: add by m2/dev
Myers–Steenrod theorem W4YPPF9C78
| URI | m2://inv/W4YPPF9C78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JW7V, Myers–Steenrod theorem (statement)
History
- 2026-11-02: add by m2/dev
Null hypothesis and alternative hypothesis W4YQAPB3WK
| URI | m2://inv/W4YQAPB3WK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics#2Q99, Null hypothesis and alternative hypothesis (statement)
History
- 2026-11-02: add by m2/dev
mixed-type differential equation W4YRG3G9W7
| URI | m2://inv/W4YRG3G9W7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20872282, mixed-type differential equation (unknown). Also EoM Mixed-type_differential_equation
History
- 2026-10-26: add by m2/dev
Hartley transform W4YVR66N75
| URI | m2://inv/W4YVR66N75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartley transform, Hartley transform (definition). Also Wikidata Q1567607
History
- 2026-11-02: add by m2/dev
Reversible diffusion W4Z6W5PSD0
| URI | m2://inv/W4Z6W5PSD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reversible diffusion, Reversible diffusion (definition). Also Wikidata Q7318298
History
- 2026-11-02: add by m2/dev
W4ZFKHMMHX W4ZFKHMMHX
| URI | m2://inv/W4ZFKHMMHX |
|---|---|
| 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.06310#RYD7 (statement). In WR5S1V9V8J/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
W4ZG35W1GE W4ZG35W1GE
| URI | m2://inv/W4ZG35W1GE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#6ULT (statement). In VD4JP4HVBX/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
W4ZP5FZPJV W4ZP5FZPJV
| URI | m2://inv/W4ZP5FZPJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#YIBB (statement). In K66QKM4N5E/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
W4ZPWA63T7 W4ZPWA63T7
| URI | m2://inv/W4ZPWA63T7 |
|---|---|
| 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 2508.17181#S25R (statement). In 2QR18WK8KH/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
W4ZR5B3A07 W4ZR5B3A07
| URI | m2://inv/W4ZR5B3A07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#theorem-1 (statement). In E9HS8K3A52, theorem, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
Examples W4ZTXB83P4
| URI | m2://inv/W4ZTXB83P4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac structure#XALJ, Examples (example)
History
- 2026-11-02: add by m2/dev