Inventory rows WR
The cards of the rows of the inventory whose ids start with WR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties WR050DKPBA
| URI | m2://inv/WR050DKPBA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal matrix#YMJB, Properties (statement)
History
- 2026-11-02: add by m2/dev
WR0C2B2R4G WR0C2B2R4G
| URI | m2://inv/WR0C2B2R4G |
|---|---|
| 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.33015#CKNJ (statement). In W6Y6NPK648/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.5
WR0MC8YYNN WR0MC8YYNN
| URI | m2://inv/WR0MC8YYNN |
|---|---|
| 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.29623#D3O7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WR0P2JYVK4 WR0P2JYVK4
| URI | m2://inv/WR0P2JYVK4 |
|---|---|
| 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.03288#883P (statement). In ZHP1MFSACN/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.12
constant WR0QKPNX59
| URI | m2://inv/WR0QKPNX59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#AFOD, constant (definition)
History
- 2026-11-02: add by m2/dev
k-edge-connected graph WR0VJX2BY6
| URI | m2://inv/WR0VJX2BY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3034655, k-edge-connected graph (unknown). Also MathWorld k-Edge-ConnectedGraph
- wikipedia: Wikipedia Edge connectivity, Edge connectivity (definition). Also Wikidata Q3034655
History
- 2026-10-26: add by m2/dev
Predictive analytics WR0XDRR071
| URI | m2://inv/WR0XDRR071 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L1JP, Predictive analytics (definition)
History
- 2026-11-02: add by m2/dev
Properties WR0YFQ7TZN
| URI | m2://inv/WR0YFQ7TZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed preordered set#0P54, Properties (statement)
History
- 2026-11-02: add by m2/dev
WR13VQRD6J WR13VQRD6J
| URI | m2://inv/WR13VQRD6J |
|---|---|
| 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.26496#E9LI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition WR15HT1BAA
| URI | m2://inv/WR15HT1BAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger derivatives#HKQS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
WR1AZA3NW6 WR1AZA3NW6
| URI | m2://inv/WR1AZA3NW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#0N0S (statement). In D64RQ09KBP/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.12
Substitution--Extension Commutation WR1DTRMFA7
| URI | m2://inv/WR1DTRMFA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#94VI, Substitution--Extension Commutation (statement). In CPYWHRTPKC/e1, lemma 2.30
History
- 2026-10-27: add by m2/v0.4.2
Omnitruncated simplicial honeycomb WR1DZ04KEA
| URI | m2://inv/WR1DZ04KEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnitruncated simplicial honeycomb, Omnitruncated simplicial honeycomb (definition). Also Wikidata Q17077760
History
- 2026-11-02: add by m2/dev
WR1HFY9KJP WR1HFY9KJP
| URI | m2://inv/WR1HFY9KJP |
|---|---|
| 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 2204.10840#XYXF (statement). In EMS1MAJZ4X/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.6
Billy James Pettis WR1JSFR115
| URI | m2://inv/WR1JSFR115 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Billy James Pettis, Billy James Pettis (topic). Also Wikidata Q863137
History
- 2026-11-02: add by m2/dev
$p$-series WR1KFKHVAQ
| URI | m2://inv/WR1KFKHVAQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.5.5/p-series, $p$-series (concept). In E59CDZA4DP, index, section 10.5.5
History
- 2026-11-01: add by m2/v0.6.13
Harish–Chandra's regularity theorem WR1KFPE1ED
| URI | m2://inv/WR1KFPE1ED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1V7I, Harish–Chandra's regularity theorem (statement)
History
- 2026-11-02: add by m2/dev
Great triambic icosahedron WR1TK18PVE
| URI | m2://inv/WR1TK18PVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great triambic icosahedron, Great triambic icosahedron (definition). Also Wikidata Q108326561
History
- 2026-11-02: add by m2/dev
matrix multiplication WR20Z14FKD
| URI | m2://inv/WR20Z14FKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Matrix multiplication 032Q9FB8MT |
Mentions
- wikidata: Wikidata Q1049914, matrix multiplication (unknown). Also MathWorld MatrixMultiplication
- wikipedia: Wikipedia Matrix multiplication, Matrix multiplication (definition). Also Wikidata Q1049914
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Semantic validity WR22WRA4NN
| URI | m2://inv/WR22WRA4NN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Validity (logic)#BQZX, Semantic validity (unknown)
History
- 2026-11-02: add by m2/dev
stable WR23V8KX9K
| URI | m2://inv/WR23V8KX9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#FL6P, stable (definition)
History
- 2026-11-02: add by m2/dev
Jim Stasheff WR296GKSY9
| URI | m2://inv/WR296GKSY9 |
|---|---|
| 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 Q1680242, Jim Stasheff (unknown). Also nLab Jim Stasheff
History
- 2026-10-26: add by m2/dev
Monogenic field WR299PE4NF
| URI | m2://inv/WR299PE4NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6901589, Monogenic field (unknown). Also LMFDB knowl nf.monogenic
- wikipedia: Wikipedia Monogenic field, Monogenic field (definition). Also Wikidata Q6901589
History
- 2026-10-26: add by m2/dev
Giraud's axioms WR2A361WT2
| URI | m2://inv/WR2A361WT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topos#F7PX, Giraud's axioms (statement)
History
- 2026-11-02: add by m2/dev
Tropical curve WR2A3HWHPK
| URI | m2://inv/WR2A3HWHPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical geometry#TETQ, Tropical curve (unknown)
History
- 2026-11-02: add by m2/dev
WR2BXQPDFP WR2BXQPDFP
| URI | m2://inv/WR2BXQPDFP |
|---|---|
| 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.10233#KVWV (statement). In QR9WE79ERQ/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
WR2CD0TD11 WR2CD0TD11
| URI | m2://inv/WR2CD0TD11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15877#S20J (definition). In F3W750X9N6/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
completion, Rezk WR2WKJN0RT
| URI | m2://inv/WR2WKJN0RT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2/completion-rezk, completion, Rezk (concept). In N54F33XE07, index, section 2
History
- 2026-11-01: add by m2/v0.6.13
WR2Z2DV63R WR2Z2DV63R
| URI | m2://inv/WR2Z2DV63R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#PRK5 (statement). In AR26SZ8JGN/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Theorem WR306PA6J8
| URI | m2://inv/WR306PA6J8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz's automorphisms theorem#7DPQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
A convergent form with diverging components WR34WY59MJ
| URI | m2://inv/WR34WY59MJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#DM4P, A convergent form with diverging components (example)
History
- 2026-11-02: add by m2/v0.6.17
WR3NRQ7AZN WR3NRQ7AZN
| URI | m2://inv/WR3NRQ7AZN |
|---|---|
| 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.26592#48X8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WR41VPKASN WR41VPKASN
| URI | m2://inv/WR41VPKASN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#PA89 (statement)
History
- 2026-11-02: add by m2/v0.6.18
WR45JTY4X7 WR45JTY4X7
| URI | m2://inv/WR45JTY4X7 |
|---|---|
| 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.10243#HOG2 (statement). In 6N7EAD1PYD/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
WR48J0QP5B WR48J0QP5B
| URI | m2://inv/WR48J0QP5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#LUB5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Averaging WR48PFZYMX
| URI | m2://inv/WR48PFZYMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#4HFU, Averaging (statement). In TNREX5GDK2/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Degenerate points filling the support WR4ENCFB0S
| URI | m2://inv/WR4ENCFB0S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-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.15180#DOVH, Degenerate points filling the support (example). In AMRWRJDNKJ/e1, example 9.8
History
- 2026-10-28: add by m2/v0.4.2
cocountable topology WR4FAEXMNW
| URI | m2://inv/WR4FAEXMNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5139908, cocountable topology (definition). Also ProofWiki Definition:Countable_Complement_Topology
- wikipedia: Wikipedia Cocountable topology, Cocountable topology (definition). Also Wikidata Q5139908
History
- 2026-10-26: add by m2/dev
Hans Weinberger WR4HY94B0X
| URI | m2://inv/WR4HY94B0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9PT8, Hans Weinberger (topic)
History
- 2026-11-02: add by m2/dev
Nakayama's conjecture WR4YGH1E6V
| URI | m2://inv/WR4YGH1E6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nakayama's conjecture, Nakayama's conjecture (statement). Also Wikidata Q17078523
History
- 2026-11-02: add by m2/dev
Generalization (mathematics) WR4Z2Y9SYY
| URI | m2://inv/WR4Z2Y9SYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalization#B199, Generalization (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Module WR5279CKY4
| URI | m2://inv/WR5279CKY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#HTNH, Module (definition)
History
- 2026-11-02: add by m2/dev
WR52QXMVXR WR52QXMVXR
| URI | m2://inv/WR52QXMVXR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 15.4
History
- 2026-11-01: add by m2/v0.6.13
WR5BCQ3RM4 WR5BCQ3RM4
| URI | m2://inv/WR5BCQ3RM4 |
|---|---|
| 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.20134#DQNN (statement)
History
- 2026-11-02: add by m2/v0.6.18
WR5BK9SBYF WR5BK9SBYF
| URI | m2://inv/WR5BK9SBYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#IASN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Zoel García de Galdeano WR5BQ3QRD7
| URI | m2://inv/WR5BQ3QRD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9XHE, Zoel García de Galdeano (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P038, Zoel García de Galdeano (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T16C, Zoel García de Galdeano (topic)
History
- 2026-11-02: add by m2/dev
WR5F330623 WR5F330623
| URI | m2://inv/WR5F330623 |
|---|---|
| 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 2606.16311#3F5Q (definition). In 3G0HCK0DVA/e1, definition A.1
History
- 2026-10-27: add by m2/v0.3.5
Length three WR5RPT5NWE
| URI | m2://inv/WR5RPT5NWE |
|---|---|
| Kind | example |
| 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.04214#8LG8, Length three (example). In HWY7AQ4KT2/e1, example 2.9
History
- 2026-10-29: add by m2/v0.4.12
WR5RVNJK33 WR5RVNJK33
| URI | m2://inv/WR5RVNJK33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#DE3F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition WR5V3CNMYW
| URI | m2://inv/WR5V3CNMYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution (logic)#XOQ2, Definition (definition)
History
- 2026-11-02: add by m2/dev
WR5Z29R8TB WR5Z29R8TB
| URI | m2://inv/WR5Z29R8TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#XWY9 (statement). In W9A0Z2NBMA/e1, theorem 19
History
- 2026-10-29: add by m2/v0.4.12
Norm and composition estimates for the flow WR607V49ED
| URI | m2://inv/WR607V49ED |
|---|---|
| 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 2410.06788#KRFT, Norm and composition estimates for the flow (statement). In B2VE3JQZD3/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
Werner Heisenberg WR642ABFWK
| URI | m2://inv/WR642ABFWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LX8B, Werner Heisenberg (unknown)
History
- 2026-11-02: add by m2/dev
Feller's paradox WR660Y4TPG
| URI | m2://inv/WR660Y4TPG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palm calculus#P5KZ, Feller's paradox (statement)
History
- 2026-11-02: add by m2/dev
Preference WR6C7FS4X8
| URI | m2://inv/WR6C7FS4X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preference (economics), Preference (definition). Also Wikidata Q1416170
History
- 2026-11-02: add by m2/dev
Comparison of SHA functions WR6GBPAZS1
| URI | m2://inv/WR6GBPAZS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Hash Algorithms#W5PA, Comparison of SHA functions (unknown)
History
- 2026-11-02: add by m2/dev
WR6GHH8DX7 WR6GHH8DX7
| URI | m2://inv/WR6GHH8DX7 |
|---|---|
| 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.25038#MI2Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
WR6T1V81GT WR6T1V81GT
| URI | m2://inv/WR6T1V81GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21540#3OZP (statement)
History
- 2026-11-02: add by m2/v0.6.18
solid figure WR6XTTTHEN
| URI | m2://inv/WR6XTTTHEN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q937946, solid figure (unknown). Also MathWorld Solid
History
- 2026-10-26: add by m2/dev
WR70CXMRM2 WR70CXMRM2
| URI | m2://inv/WR70CXMRM2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#7R2L (definition). In 89XYDVXG38/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
\tc{Ax1GenTwoScott WR723GFAZ2
| URI | m2://inv/WR723GFAZ2 |
|---|---|
| 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.36279#NMFR, \tc{Ax1GenTwoScott (statement). In HX1QA0MJYV/e1, theorem 16
History
- 2026-10-30: add by m2/v0.4.12
Smooth coarea formula WR746EA31A
| URI | m2://inv/WR746EA31A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth coarea formula, Smooth coarea formula (statement). Also Wikidata Q7546417
History
- 2026-11-02: add by m2/dev
WR78HK45A2 WR78HK45A2
| URI | m2://inv/WR78HK45A2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#proof-3 (proof). In RZP28ERRZV, proof, section 35.4
History
- 2026-11-01: add by m2/v0.6.13
Implementations WR7A7DZMQT
| URI | m2://inv/WR7A7DZMQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wide and narrow data#UFYZ, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Lucas' theorem WR7A97G7A2
| URI | m2://inv/WR7A97G7A2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#8NPK, Lucas' theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
WR7DKA30MM WR7DKA30MM
| URI | m2://inv/WR7DKA30MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#3M3T (statement). In NC5ZRF6F8N/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
WR7E8XT3P1 WR7E8XT3P1
| URI | m2://inv/WR7E8XT3P1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:incons (statement). In PKGMM3P5QY, prop, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Notations WR7MQ9QR1C
| URI | m2://inv/WR7MQ9QR1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversive congruential generator#185Q, Notations (definition)
History
- 2026-11-02: add by m2/dev
Veridicality WR7SAEW3PX
| URI | m2://inv/WR7SAEW3PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veridicality, Veridicality (definition). Also Wikidata Q7921318
History
- 2026-11-02: add by m2/dev
Jaak Peetre WR82K2FJKX
| URI | m2://inv/WR82K2FJKX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IN6Q, Jaak Peetre (topic)
History
- 2026-11-02: add by m2/dev
Roman numerals WR8BJ3Z4G8
| URI | m2://inv/WR8BJ3Z4G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38918, Roman numerals (definition). Also MathWorld RomanNumerals, ProofWiki Definition:Roman_Numerals
- wikipedia: Wikipedia Roman numerals, Roman numerals (definition). Also Wikidata Q38918
History
- 2026-10-26: add by m2/dev
WR8BVHCHRJ WR8BVHCHRJ
| URI | m2://inv/WR8BVHCHRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.23884#98WO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pollyanna Creep WR8F166785
| URI | m2://inv/WR8F166785 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#11YR, Pollyanna Creep (definition)
History
- 2026-11-02: add by m2/dev
WR8PVWJMY0 WR8PVWJMY0
| URI | m2://inv/WR8PVWJMY0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idoneal number#SI8J (problem)
History
- 2026-11-02: add by m2/dev
type WR8X4HXRVZ
| URI | m2://inv/WR8X4HXRVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#C2C7, type (definition)
History
- 2026-11-02: add by m2/dev
WR8Y5TC45Q WR8Y5TC45Q
| URI | m2://inv/WR8Y5TC45Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.22317#D3MX (statement). In 2W5Z97BBW4/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
WR8Z2AHGZ0 WR8Z2AHGZ0
| URI | m2://inv/WR8Z2AHGZ0 |
|---|---|
| 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.38188#0FE2 (statement). In 7615KVXDB5/e1, corollary 2.11
History
- 2026-10-30: add by m2/v0.4.12
WR9VDDX5C3 WR9VDDX5C3
| URI | m2://inv/WR9VDDX5C3 |
|---|---|
| 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 2411.05198#94LV (statement). In NJWY6HPFHG/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Applications WR9WDYZTCR
| URI | m2://inv/WR9WDYZTCR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodograph#ZSHZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Marginal variable WRA9DZ5609
| URI | m2://inv/WRA9DZ5609 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5371, Marginal variable (definition)
History
- 2026-11-02: add by m2/dev
D4 polytope WRAN98E824
| URI | m2://inv/WRAN98E824 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D4 polytope, D4 polytope (definition). Also Wikidata Q21067806
History
- 2026-11-02: add by m2/dev
Competitive Lotka–Volterra equations WRAXK99CZH
| URI | m2://inv/WRAXK99CZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive Lotka–Volterra equations, Competitive Lotka–Volterra equations (definition). Also Wikidata Q5156344
History
- 2026-11-02: add by m2/dev
Cohen-Seidenberg theorems WRB9XWHVZW
| URI | m2://inv/WRB9XWHVZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#C3WM, Cohen-Seidenberg theorems (statement)
History
- 2026-11-02: add by m2/dev
Cumulative accuracy profile WRBABE87HH
| URI | m2://inv/WRBABE87HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZWYU, Cumulative accuracy profile (definition)
History
- 2026-11-02: add by m2/dev
Theorem WRBBM9WH4A
| URI | m2://inv/WRBBM9WH4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral equation#E8PM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
WRBBY0Y3KA WRBBY0Y3KA
| URI | m2://inv/WRBBY0Y3KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#X5KA (statement). In KBH265QSBT/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Slow ODE global asymptotic stability WRBGE7EBC7
| URI | m2://inv/WRBGE7EBC7 |
|---|---|
| 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.27741#27OY, Slow ODE global asymptotic stability (statement)
History
- 2026-11-01: add by m2/v0.6.15
WRBJPSCRHE WRBJPSCRHE
| URI | m2://inv/WRBJPSCRHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08885#YA85 (statement). In B4RHB3CF12/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Mogens Niss WRBPR3A3B2
| URI | m2://inv/WRBPR3A3B2 |
|---|---|
| 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#4QZB, Mogens Niss (unknown)
History
- 2026-11-02: add by m2/dev
The Rayleigh criterion WRBQPX79D7
| URI | m2://inv/WRBQPX79D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular resolution#DE2H, The Rayleigh criterion (statement)
History
- 2026-11-02: add by m2/dev
WRBTSKZGG9 WRBTSKZGG9
| URI | m2://inv/WRBTSKZGG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2306.12846#MRON (statement). In D6XA7JXZF3/e1, corollary 4.12
History
- 2026-10-27: add by m2/v0.3.5
Applications WRBYWHNSBQ
| URI | m2://inv/WRBYWHNSBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval graph#ZJAR, Applications (example)
History
- 2026-11-02: add by m2/dev
WRC1TBZRGY WRC1TBZRGY
| URI | m2://inv/WRC1TBZRGY |
|---|---|
| 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 2405.10580#U095 (statement). In FXEJE0PWEP/e1, lemma 9.3
History
- 2026-10-27: add by m2/v0.3.5
WRCENK9SKS WRCENK9SKS
| URI | m2://inv/WRCENK9SKS |
|---|---|
| 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#IW5N (statement). In DB223AABTH/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
WRCMS0XY0Q WRCMS0XY0Q
| URI | m2://inv/WRCMS0XY0Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#7IKF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations WRCP1VPE7V
| URI | m2://inv/WRCP1VPE7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative neighborhood graph#UFIH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
WRCQ5P7M0Y WRCQ5P7M0Y
| URI | m2://inv/WRCQ5P7M0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#HL5M (statement)
History
- 2026-11-01: add by m2/v0.6.15
WRCQQ2JN1K WRCQQ2JN1K
| URI | m2://inv/WRCQQ2JN1K |
|---|---|
| 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.20094#AMHN (statement)
History
- 2026-11-02: add by m2/v0.6.18
WRCV6BTA6T WRCV6BTA6T
| URI | m2://inv/WRCV6BTA6T |
|---|---|
| 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.29152#VGBJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
WRD0YCW059 WRD0YCW059
| URI | m2://inv/WRD0YCW059 |
|---|---|
| Kind | definition |
| 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.24795#DP3C (definition)
History
- 2026-11-01: add by m2/v0.6.15
Neutral network (uncorrelated) WRD8R873WA
| URI | m2://inv/WRD8R873WA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural cut-off#9C11, Neutral network (uncorrelated) (unknown)
History
- 2026-11-02: add by m2/dev
WRDJH976Y6 WRDJH976Y6
| URI | m2://inv/WRDJH976Y6 |
|---|---|
| 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.15340#T8WG (statement). In 9NVKKW8HDH/e1, theorem 2.81
History
- 2026-10-28: add by m2/v0.4.2
Kinematic geometry WRDMX7V4Z5
| URI | m2://inv/WRDMX7V4Z5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Euclidean geometry#SZ6G, Kinematic geometry (unknown)
History
- 2026-11-02: add by m2/dev
Office for National Statistics WRDSZ9DW3R
| URI | m2://inv/WRDSZ9DW3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Office for National Statistics, Office for National Statistics (definition). Also Wikidata Q1334971
History
- 2026-11-02: add by m2/dev
Simplicial vertex WRDWZK2NWN
| URI | m2://inv/WRDWZK2NWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial vertex, Simplicial vertex (definition). Also Wikidata Q133850409
History
- 2026-11-02: add by m2/dev
Riemann sum WRE2H0TF6Y
| URI | m2://inv/WRE2H0TF6Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Riemann sum 0HBY48G8G1 |
Mentions
- wikidata: Wikidata Q1156903, Riemann sum (concept). Also MathWorld RiemannSum
- wikipedia: Wikipedia Riemann sum, Riemann sum (definition). Also Wikidata Q1156903
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
WRE3C6RNRV WRE3C6RNRV
| URI | m2://inv/WRE3C6RNRV |
|---|---|
| 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.14914#T76F (statement). In CHC3T113Y4/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
WREV232TS0 WREV232TS0
| URI | m2://inv/WREV232TS0 |
|---|---|
| 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.29824#9GF0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
William H. Bossert WREX4PB0HZ
| URI | m2://inv/WREX4PB0HZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William H. Bossert, William H. Bossert (topic). Also Wikidata Q102078634
History
- 2026-11-02: add by m2/dev
Data clustering WRF1MPFFH1
| URI | m2://inv/WRF1MPFFH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4HP3, Data clustering (definition)
- wikipedia: Wikipedia List of partition topics#N9A3, Data clustering (definition)
History
- 2026-11-02: add by m2/dev
Hexadecagon WRF2A7YVD2
| URI | m2://inv/WRF2A7YVD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#J3N3, Hexadecagon (definition)
History
- 2026-11-02: add by m2/dev
WRF46D1ZXR WRF46D1ZXR
| URI | m2://inv/WRF46D1ZXR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.15535#QGOC (definition). In 73A9KWZJRD/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Tunneling beyond semi-excited states WRFF8FPXDZ
| URI | m2://inv/WRFF8FPXDZ |
|---|---|
| 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 2609.28076#3UBT, Tunneling beyond semi-excited states (statement)
History
- 2026-11-01: add by m2/v0.6.15
WRFG49T1QB WRFG49T1QB
| URI | m2://inv/WRFG49T1QB |
|---|---|
| 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 2609.32650#MUDF (statement). In PHXJ87HKYB/e1, lemma 2.8
History
- 2026-10-31: add by m2/v0.5.6
WRFNYDER3R WRFNYDER3R
| URI | m2://inv/WRFNYDER3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#QL96 (definition). In NGZ5AZ70NN/e1, definition 5.7
History
- 2026-10-28: add by m2/v0.4.2
List of things named after Johann Lambert WRFP7Y759A
| URI | m2://inv/WRFP7Y759A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#5YQX, List of things named after Johann Lambert (unknown)
History
- 2026-11-02: add by m2/dev
Speed of light in vacuum WRG027TN4H
| URI | m2://inv/WRG027TN4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#1QBL, Speed of light in vacuum (unknown)
History
- 2026-11-02: add by m2/dev
WRG2JY29GV WRG2JY29GV
| URI | m2://inv/WRG2JY29GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#IT09 (statement). In HH35K7S17H/e1, lemma A.35
History
- 2026-10-29: add by m2/v0.4.10
Ambiguity aversion WRG9RJJ6KG
| URI | m2://inv/WRG9RJJ6KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguity aversion, Ambiguity aversion (definition). Also Wikidata Q4741446
History
- 2026-11-02: add by m2/dev
WRGKM1A877 WRGKM1A877
| URI | m2://inv/WRGKM1A877 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-3 (example). In RZP28ERRZV, example, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Cole–Hopf transformation WRGTSJETMG
| URI | m2://inv/WRGTSJETMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cole–Hopf transformation, Cole–Hopf transformation (definition). Also Wikidata Q116980355
History
- 2026-11-02: add by m2/dev
Definition WRGYMEY9N8
| URI | m2://inv/WRGYMEY9N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous embedding#OVH0, Definition (definition)
History
- 2026-11-02: add by m2/dev
WRH90MCEBK WRH90MCEBK
| URI | m2://inv/WRH90MCEBK |
|---|---|
| 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 2609.26619#2B2E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples WRHB8BN8R2
| URI | m2://inv/WRHB8BN8R2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution of singularities#5DQH, Examples (example)
History
- 2026-11-02: add by m2/dev
Emmanuel Breuillard WRHC77NXX8
| URI | m2://inv/WRHC77NXX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmanuel Breuillard, Emmanuel Breuillard (topic). Also Wikidata Q1338194
History
- 2026-11-02: add by m2/dev
arrangement of hyperplanes WRHR5WHVP3
| URI | m2://inv/WRHR5WHVP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperplane arrangement N602W0WAVT |
Mentions
- wikidata: Wikidata Q4795851, arrangement of hyperplanes (unknown). Also nLab arrangement of hyperplanes
- wikipedia: Wikipedia Arrangement of hyperplanes, Arrangement of hyperplanes (definition). Also Wikidata Q4795851
History
- 2026-10-26: add by m2/dev
WRHW1NPW1E WRHW1NPW1E
| URI | m2://inv/WRHW1NPW1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#OFAQ (statement). In TC5QA4AB4Z/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
WRJ221ZJ90 WRJ221ZJ90
| URI | m2://inv/WRJ221ZJ90 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#OYAQ (conjecture). In MZ60NP20BH/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.4.0
WRJ5SVD2D1 WRJ5SVD2D1
| URI | m2://inv/WRJ5SVD2D1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#B6FD (example). In X88HPQ0W8C/e1, example 2.24
History
- 2026-10-27: add by m2/v0.3.5
Maria Laura Moura Mouzinho Leite Lopes WRJK4BTZQ1
| URI | m2://inv/WRJK4BTZQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Laura Moura Mouzinho Leite Lopes, Maria Laura Moura Mouzinho Leite Lopes (topic). Also Wikidata Q21020163
History
- 2026-11-02: add by m2/dev
Finite-horizon Birkhoff error halving WRJSXPG00Z
| URI | m2://inv/WRJSXPG00Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#ZF3S, Finite-horizon Birkhoff error halving (statement). In D64RQ09KBP/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
mathematics, proof-relevant WRK46EC7SR
| URI | m2://inv/WRK46EC7SR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/mathematics-proof-relevant, mathematics, proof-relevant (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
WRK50XZH0P WRK50XZH0P
| URI | m2://inv/WRK50XZH0P |
|---|---|
| Kind | definition |
| 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.15217#C3ZJ (definition). In G70Q2FB591/e1, definition 4.8
History
- 2026-10-28: add by m2/v0.4.2
WRKC2G6JAP WRKC2G6JAP
| URI | m2://inv/WRKC2G6JAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#5Z06 (statement). In 47WN78VDDF/e1, corollary 5.8
History
- 2026-10-30: add by m2/v0.4.12
WRKMNA6PZY WRKMNA6PZY
| URI | m2://inv/WRKMNA6PZY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#EDEI (definition)
History
- 2026-11-01: add by m2/v0.6.15
WRKN5YSE7W WRKN5YSE7W
| URI | m2://inv/WRKN5YSE7W |
|---|---|
| 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.20480#XSHK (statement). In BK4359JSC3/e1, corollary 6.11
History
- 2026-10-27: add by m2/v0.4.2
WRKNTK38SA WRKNTK38SA
| URI | m2://inv/WRKNTK38SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.06308#TR9B (statement). In F8BXF46972/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Examples WRKR3FY62M
| URI | m2://inv/WRKR3FY62M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center (ring theory)#YN3T, Examples (example)
History
- 2026-11-02: add by m2/dev
WRKXBTPEJV WRKXBTPEJV
| URI | m2://inv/WRKXBTPEJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 50.7
History
- 2026-11-01: add by m2/v0.6.13
Banach limit WRKXKK8TG6
| URI | m2://inv/WRKXKK8TG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach limit, Banach limit (definition). Also Wikidata Q806060
History
- 2026-11-02: add by m2/dev
Compound of twelve tetrahedra with rotational freedom WRM3Z9KGSH
| URI | m2://inv/WRM3Z9KGSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of twelve tetrahedra with rotational freedom, Compound of twelve tetrahedra with rotational freedom (definition). Also Wikidata Q5156903
History
- 2026-11-02: add by m2/dev
P-adic Hodge theory WRM44SAT1H
| URI | m2://inv/WRM44SAT1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic Hodge theory, P-adic Hodge theory (definition). Also Wikidata Q7116911
History
- 2026-11-02: add by m2/dev
Compatibility of the Euler correction WRM774N8FW
| URI | m2://inv/WRM774N8FW |
|---|---|
| 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.04189#VV5M, Compatibility of the Euler correction (statement). In 1KRZ5ACTKE/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
WRMBQ542C5 WRMBQ542C5
| URI | m2://inv/WRMBQ542C5 |
|---|---|
| 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 2609.29399#BGL5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WRMZMQHBA5 WRMZMQHBA5
| URI | m2://inv/WRMZMQHBA5 |
|---|---|
| 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 2404.05451#HDQI (statement). In 5YMFYAFFJ7/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
copper-63 WRN1RDSDWC
| URI | m2://inv/WRN1RDSDWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3031418, copper-63 (definition). Also ProofWiki Definition:Copper/63
History
- 2026-10-26: add by m2/dev
Louis de Branges de Bourcia WRNH0V42XK
| URI | m2://inv/WRNH0V42XK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis de Branges de Bourcia, Louis de Branges de Bourcia (topic). Also Wikidata Q644237
History
- 2026-11-02: add by m2/dev
mixed tensor WRNTTWNFPJ
| URI | m2://inv/WRNTTWNFPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6884018, mixed tensor (unknown). Also MathWorld MixedTensor
- wikipedia: Wikipedia Mixed tensor, Mixed tensor (definition). Also Wikidata Q6884018
History
- 2026-10-26: add by m2/dev
Risk coefficient WRP3247702
| URI | m2://inv/WRP3247702 |
|---|---|
| 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.33360#ADUU, Risk coefficient (definition). In GH6FSDK4YB/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Sixty Six, South Carolina WRPB5NA7W4
| URI | m2://inv/WRPB5NA7W4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WYKA, Sixty Six, South Carolina (unknown)
History
- 2026-11-02: add by m2/dev
WRPDJ5SPAE WRPDJ5SPAE
| URI | m2://inv/WRPDJ5SPAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#N5NE (statement). In H52QQS8WZA/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Lewandowski-Kurowicka-Joe distribution WRPFN0DXZJ
| URI | m2://inv/WRPFN0DXZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#WV1T, Lewandowski-Kurowicka-Joe distribution (definition)
History
- 2026-11-02: add by m2/dev
Melnikov group WRPMXF1XZ6
| URI | m2://inv/WRPMXF1XZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melnikov group, Melnikov group (definition). Also Wikidata Q141431366
History
- 2026-11-02: add by m2/dev
WRPXEGYVY4 WRPXEGYVY4
| URI | m2://inv/WRPXEGYVY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.13100#8O17 (statement). In CC6S1HVK0T/e1, theorem 5.17
History
- 2026-10-28: add by m2/v0.4.2
Point source WRQ8JZ9XE9
| URI | m2://inv/WRQ8JZ9XE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point source, Point source (definition). Also Wikidata Q2552709
History
- 2026-11-02: add by m2/dev
Free independence WRQAJHKKDC
| URI | m2://inv/WRQAJHKKDC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#8VZ2, Free independence (example). In 7V3HG30ZGW/e1, example 4.8
History
- 2026-10-27: add by m2/v0.4.0
Michael Griebel WRQMFW0KJT
| URI | m2://inv/WRQMFW0KJT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Griebel, Michael Griebel (topic). Also Wikidata Q6830798
History
- 2026-11-02: add by m2/dev
Communications on Stochastic Analysis WRQMMFPM75
| URI | m2://inv/WRQMMFPM75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#0UP3, Communications on Stochastic Analysis (unknown)
History
- 2026-11-02: add by m2/dev
Policy switch at stopping times WRQSV65P9R
| URI | m2://inv/WRQSV65P9R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39274#4AMW, Policy switch at stopping times (example). In HVC7RVEM6V/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
computational statistics WRRDXDJMXN
| URI | m2://inv/WRRDXDJMXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#Z8GN, computational statistics (definition)
History
- 2026-11-02: add by m2/dev
WRRP0B3YZT WRRP0B3YZT
| URI | m2://inv/WRRP0B3YZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#6SV7 (statement). In ZH0PFTZ12Y/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
William Leybourn WRRSX8XDPD
| URI | m2://inv/WRRSX8XDPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Leybourn, William Leybourn (topic). Also Wikidata Q8014557
History
- 2026-11-02: add by m2/dev
WRRXH3WSPW WRRXH3WSPW
| URI | m2://inv/WRRXH3WSPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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.21090#G20R (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties WRRYX5JKPV
| URI | m2://inv/WRRYX5JKPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Mangoldt function#M75E, Properties (statement)
History
- 2026-11-02: add by m2/dev
WRRZ3PKJTN WRRZ3PKJTN
| URI | m2://inv/WRRZ3PKJTN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#QFNE (definition). In KJC9FRS3C2/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
History of probability WRRZW8HN9M
| URI | m2://inv/WRRZW8HN9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#ZZYN, History of probability (definition)
History
- 2026-11-02: add by m2/dev
Universal C*-algebra WRS14673KN
| URI | m2://inv/WRS14673KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal C*-algebra, Universal C*-algebra (definition). Also Wikidata Q7893894
History
- 2026-11-02: add by m2/dev
Diversity benefit under per-labeler normalization WRSA78EG56
| URI | m2://inv/WRSA78EG56 |
|---|---|
| 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.18935#733C, Diversity benefit under per-labeler normalization (statement). In HPEEJY1S3S/e1, theorem 21
History
- 2026-10-28: add by m2/v0.4.2
Special cases WRSADCA5WT
| URI | m2://inv/WRSADCA5WT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal bipyramid#OKL0, Special cases (statement)
History
- 2026-11-02: add by m2/dev
WRSBWEEETB WRSBWEEETB
| URI | m2://inv/WRSBWEEETB |
|---|---|
| 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.26600#YIKL (statement)
History
- 2026-11-01: add by m2/v0.6.15
WRSC1DPC32 WRSC1DPC32
| URI | m2://inv/WRSC1DPC32 |
|---|---|
| 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 2207.12181#388B (statement). In FSD8NE3XSR/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.0
WRSD6874VJ WRSD6874VJ
| URI | m2://inv/WRSD6874VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#B4DY (statement)
History
- 2026-11-02: add by m2/v0.6.17
WRSF1DXDKF WRSF1DXDKF
| URI | m2://inv/WRSF1DXDKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#I3Q4 (statement). In BF0RYHPMS1/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Convex hull WRSGX4WB09
| URI | m2://inv/WRSGX4WB09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#LSJX, Convex hull (definition)
History
- 2026-11-02: add by m2/dev
Variants WRSQNQ9R7B
| URI | m2://inv/WRSQNQ9R7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint satisfaction problem#MVY8, Variants (statement)
History
- 2026-11-02: add by m2/dev
van Est WRSV211QMT
| URI | m2://inv/WRSV211QMT |
|---|---|
| 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.05216#CVGB, van Est (statement). In J1VCHM6V0S/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
WRSVQME30Z WRSVQME30Z
| URI | m2://inv/WRSVQME30Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#OL5P (definition). In 3VPC1GGZ3E/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.3.5
Asher Peres WRSXCNMKS3
| URI | m2://inv/WRSXCNMKS3 |
|---|---|
| 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 Q340101, Asher Peres (unknown). Also nLab Asher Peres
History
- 2026-10-26: add by m2/dev
WRSZCR6BKF WRSZCR6BKF
| URI | m2://inv/WRSZCR6BKF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#RXXD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Symplectic transformation WRTDB89ZHV
| URI | m2://inv/WRTDB89ZHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic matrix#8UG1, Symplectic transformation (unknown)
History
- 2026-11-02: add by m2/dev
WRTDNJ2QJG WRTDNJ2QJG
| URI | m2://inv/WRTDNJ2QJG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#4CU1 (definition). In BZ54C9SKYS/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
WRTWK48ET0 WRTWK48ET0
| URI | m2://inv/WRTWK48ET0 |
|---|---|
| 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 2512.08487#5EYY (statement). In 77TVQVYN0Z/e1, proposition 28
History
- 2026-10-27: add by m2/v0.3.6
6502 (number) WRTX39XJW8
| URI | m2://inv/WRTX39XJW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6000 (number)#5OOQ, 6502 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Philip Hartman WRTX8SXJCF
| URI | m2://inv/WRTX8SXJCF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Hartman, Philip Hartman (topic). Also Wikidata Q2086221
History
- 2026-11-02: add by m2/dev
Zauner's conjecture WRVDYTXKF8
| URI | m2://inv/WRVDYTXKF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIC-POVM#KE7X, Zauner's conjecture (statement)
History
- 2026-11-02: add by m2/dev
WRVEM8S64R WRVEM8S64R
| URI | m2://inv/WRVEM8S64R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18329#9K3P (statement). In 3VWEPEFHN3/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
type WRVFK64456
| URI | m2://inv/WRVFK64456 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#953R, type (definition)
History
- 2026-11-02: add by m2/dev
WRVG86316Z WRVG86316Z
| URI | m2://inv/WRVG86316Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#MZ7Q (statement). In 8Z47D12KSX/e1, proposition 10.10
History
- 2026-10-29: add by m2/v0.4.10
Whitehead product WRVHN4XZPH
| URI | m2://inv/WRVHN4XZPH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Whitehead product QKEE8AT2NR |
Mentions
- wikidata: Wikidata Q7996042, Whitehead product (concept). Also nLab Whitehead product
- wikipedia: Wikipedia Whitehead product, Whitehead product (definition). Also Wikidata Q7996042
History
- 2026-10-26: add by m2/dev
propositional, resizing WRVMX5Q762
| URI | m2://inv/WRVMX5Q762 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Hilbert spectral analysis WRVR75YBSJ
| URI | m2://inv/WRVR75YBSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert spectral analysis, Hilbert spectral analysis (definition). Also Wikidata Q5761228
History
- 2026-11-02: add by m2/dev
WRVTYE00DS WRVTYE00DS
| URI | m2://inv/WRVTYE00DS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22374#01QJ (definition)
History
- 2026-11-02: add by m2/v0.6.17
WRW23DFS0A WRW23DFS0A
| URI | m2://inv/WRW23DFS0A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#I0TK (definition). In 12RSHWCNMX/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
Erdős–Tetali theorem WRW27T8QY8
| URI | m2://inv/WRW27T8QY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Tetali theorem, Erdős–Tetali theorem (statement). Also Wikidata Q30694447
History
- 2026-11-02: add by m2/dev
Compound of six pentagonal prisms WRW8136984
| URI | m2://inv/WRW8136984 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of six pentagonal prisms, Compound of six pentagonal prisms (definition). Also Wikidata Q5156881
History
- 2026-11-02: add by m2/dev
WRWBHKH1GG WRWBHKH1GG
| URI | m2://inv/WRWBHKH1GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#9T7V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Marstrand's theorem WRWCXGYT32
| URI | m2://inv/WRWCXGYT32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff density#GUDS, Marstrand's theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniform comparison WRWD3RFQS3
| URI | m2://inv/WRWD3RFQS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27851#W6LF, Uniform comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
coherator WRWEW59K3Z
| URI | m2://inv/WRWEW59K3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#2X16, coherator (definition)
History
- 2026-11-02: add by m2/dev
WRWKJ57ZQX WRWKJ57ZQX
| URI | m2://inv/WRWKJ57ZQX |
|---|---|
| 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 2207.12181#ZVDQ (statement). In FSD8NE3XSR/e1, corollary 6.5
History
- 2026-10-27: add by m2/v0.4.0
Definition WRWQNB68ZP
| URI | m2://inv/WRWQNB68ZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided Hopf algebra#YB9K, Definition (definition)
History
- 2026-11-02: add by m2/dev
WRWT5DFYDF WRWT5DFYDF
| URI | m2://inv/WRWT5DFYDF |
|---|---|
| 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.38865#4H8A (statement). In TFZNHCE6EV/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Mahouton Norbert Hounkonnou WRX5HJDX03
| URI | m2://inv/WRX5HJDX03 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahouton Norbert Hounkonnou, Mahouton Norbert Hounkonnou (topic). Also Wikidata Q12894830
History
- 2026-11-02: add by m2/dev
Uniformizable/Uniformisable WRX6J1V338
| URI | m2://inv/WRX6J1V338 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ZS86, Uniformizable/Uniformisable (definition)
History
- 2026-11-02: add by m2/dev
Ira Gessel WRX6SRN3T0
| URI | m2://inv/WRX6SRN3T0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U4XD, Ira Gessel (topic)
History
- 2026-11-02: add by m2/dev
WRX94KNG77 WRX94KNG77
| URI | m2://inv/WRX94KNG77 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
The Lang–Steinberg theorem WRXAYMGYEY
| URI | m2://inv/WRXAYMGYEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lang's theorem#BER1, The Lang–Steinberg theorem (statement)
History
- 2026-11-02: add by m2/dev
Krieger–Nelson Prize WRXC1EYBK9
| URI | m2://inv/WRXC1EYBK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krieger–Nelson Prize, Krieger–Nelson Prize (definition). Also Wikidata Q1354618
History
- 2026-11-02: add by m2/dev
Thompson groups WRXGZ1CRER
| URI | m2://inv/WRXGZ1CRER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thompson groups, Thompson groups (definition). Also Wikidata Q4150823
History
- 2026-11-02: add by m2/dev
W boson WRXPBD9DD2
| URI | m2://inv/WRXPBD9DD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1029485, W boson (unknown). Also nLab W-boson
History
- 2026-10-26: add by m2/dev
WRXW0MR68X WRXW0MR68X
| URI | m2://inv/WRXW0MR68X |
|---|---|
| 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.26713#TX37 (statement)
History
- 2026-11-01: add by m2/v0.6.15
En-ring WRY8HAYN0B
| URI | m2://inv/WRY8HAYN0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia En-ring, En-ring (definition). Also Wikidata Q16941317
History
- 2026-11-02: add by m2/dev
Weakly chained diagonally dominant matrix WRYA3QZ6MX
| URI | m2://inv/WRYA3QZ6MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly chained diagonally dominant matrix, Weakly chained diagonally dominant matrix (definition). Also Wikidata Q28455755
History
- 2026-11-02: add by m2/dev
WRYHTSSXX8 WRYHTSSXX8
| URI | m2://inv/WRYHTSSXX8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
WRYR17N71X WRYR17N71X
| URI | m2://inv/WRYR17N71X |
|---|---|
| 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.35030#QCBA (statement). In DPT4P2BTEW/e1, lemma 5.10
History
- 2026-10-30: add by m2/v0.4.12
antiderivative of a continuous function WRZ134HSH6
| URI | m2://inv/WRZ134HSH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > antiderivative of a continuous function, antiderivative of a continuous function (unknown). Also Mathlib Continuous.deriv_integral
History
- 2026-10-26: add by m2/dev
WRZ1VD1RP4 WRZ1VD1RP4
| URI | m2://inv/WRZ1VD1RP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#M0A8 (statement). In C6R0DAA279/e1, corollary 2.1
History
- 2026-10-30: add by m2/v0.4.12
WRZA8AD1TW WRZA8AD1TW
| URI | m2://inv/WRZA8AD1TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13229#J29J (statement). In 4WN20N5Z57/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
Grothendieck fibration WRZAYEVEXV
| URI | m2://inv/WRZAYEVEXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#M60X, Grothendieck fibration (definition)
History
- 2026-11-02: add by m2/dev
Good process WRZERYDZMH
| URI | m2://inv/WRZERYDZMH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18445#IZOA, Good process (definition). In X63FGXZP4F/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
WRZX5FVE85 WRZX5FVE85
| URI | m2://inv/WRZX5FVE85 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 55.8
History
- 2026-11-01: add by m2/v0.6.13