Inventory rows A4
The cards of the rows of the inventory whose ids start with A4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Concave galleries A403CVX4DS
| URI | m2://inv/A403CVX4DS |
|---|---|
| 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#1PDM, Concave galleries (statement). In FSD8NE3XSR/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.4.0
Procedure A40AV1416H
| URI | m2://inv/A40AV1416H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-subset meet-in-the-middle attack#SW81, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Examples A40E7PWCEN
| URI | m2://inv/A40E7PWCEN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective metric space#QXC2, Examples (example)
History
- 2026-11-02: add by m2/dev
A40H7N5MT1 A40H7N5MT1
| URI | m2://inv/A40H7N5MT1 |
|---|---|
| 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 2610.00660#K8M2 (definition). In FF8A8FP4FB/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
A40JYGD5ZB A40JYGD5ZB
| URI | m2://inv/A40JYGD5ZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#E0T6 (statement). In F5XF5VXTXY/e1, lemma 6.10
History
- 2026-10-30: add by m2/v0.4.12
Local tree-width A40M9Y7AQX
| URI | m2://inv/A40M9Y7AQX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#RZFX, Local tree-width (definition). In BVAWVRS3R9/e1, definition 2.22
History
- 2026-10-28: add by m2/v0.4.2
Definition A40QADYTFV
| URI | m2://inv/A40QADYTFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrovacuum solution#18ME, Definition (definition)
History
- 2026-11-02: add by m2/dev
Projective balancing A40R9P4KBQ
| URI | m2://inv/A40R9P4KBQ |
|---|---|
| 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#HBJ8, Projective balancing (statement). In 5FZGDECW2R/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
A40SAX4X0S A40SAX4X0S
| URI | m2://inv/A40SAX4X0S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-277 (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
A416P9KJFK A416P9KJFK
| URI | m2://inv/A416P9KJFK |
|---|---|
| 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.00113#BN0Q (statement). In R9PP1Y2EP4/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Stuart Levenbach A421KF4Q70
| URI | m2://inv/A421KF4Q70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stuart Levenbach, Stuart Levenbach (topic). Also Wikidata Q136675109
History
- 2026-11-02: add by m2/dev
A423HB1NS9 A423HB1NS9
| URI | m2://inv/A423HB1NS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#L7TU (statement). In DQ6P0P6N78/e1, corollary 1.6
History
- 2026-10-30: add by m2/v0.4.12
Citro, Constance F. A4244CQ5FT
| URI | m2://inv/A4244CQ5FT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FACV, Citro, Constance F. (unknown)
History
- 2026-11-02: add by m2/dev
A425SQQAHS A425SQQAHS
| URI | m2://inv/A425SQQAHS |
|---|---|
| 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.17547#4070 (definition). In XJ59TDP4HA/e1, definition 3.11
History
- 2026-10-28: add by m2/v0.4.2
Kai Lai Chung A42629YT3M
| URI | m2://inv/A42629YT3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#6OUB, Kai Lai Chung (topic)
History
- 2026-11-02: add by m2/dev
Dorette Pronk A426JV9C9E
| URI | m2://inv/A426JV9C9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorette Pronk, Dorette Pronk (topic). Also Wikidata Q102254996
History
- 2026-11-02: add by m2/dev
Application A427MKHKDH
| URI | m2://inv/A427MKHKDH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypostatic abstraction#AIO3, Application (example)
History
- 2026-11-02: add by m2/dev
Fallacy of four terms A427WY593D
| URI | m2://inv/A427WY593D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#6NXN, Fallacy of four terms (definition)
History
- 2026-11-02: add by m2/dev
Stability A4286313YB
| URI | m2://inv/A4286313YB |
|---|---|
| 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#4VOU, Stability (statement). In NKXTXH59P1/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
Next-in-line effect A42B85YKWV
| URI | m2://inv/A42B85YKWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#HPPP, Next-in-line effect (unknown)
History
- 2026-11-02: add by m2/dev
A42CKNSDW3 A42CKNSDW3
| URI | m2://inv/A42CKNSDW3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#DOC4 (example). In EVFX1R7ZDD/e1, example 8
History
- 2026-10-30: add by m2/v0.4.12
Specific formulas A42HYEH1X9
| URI | m2://inv/A42HYEH1X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backward differentiation formula#IXML, Specific formulas (statement)
History
- 2026-11-02: add by m2/dev
Rost invariant A42MTFM14T
| URI | m2://inv/A42MTFM14T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rost invariant, Rost invariant (definition). Also Wikidata Q17102845
History
- 2026-11-02: add by m2/dev
Dictionary A42SDC2YF5
| URI | m2://inv/A42SDC2YF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40290#C3AT, Dictionary (statement). In 4K1CNBYJHF/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
A42TQAWJF8 A42TQAWJF8
| URI | m2://inv/A42TQAWJF8 |
|---|---|
| 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 math/0003117#ECL7 (definition). In WD2NCBV9F0/e1, definition 6.13
History
- 2026-10-27: add by m2/v0.3.5
Definition A42TRJ8DSQ
| URI | m2://inv/A42TRJ8DSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Online matrix-vector multiplication problem#AG8Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
A431XA94Z7 A431XA94Z7
| URI | m2://inv/A431XA94Z7 |
|---|---|
| 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.09354#3IU3 (statement). In 5VAJC29KA2/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.10
A43DZEH9KN A43DZEH9KN
| URI | m2://inv/A43DZEH9KN |
|---|---|
| Kind | example |
| 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#ED88 (example)
History
- 2026-11-02: add by m2/v0.6.18
nowhere dense set A43EJQMTHJ
| URI | m2://inv/A43EJQMTHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Nowhere dense set 0KSM23SN3H |
Mentions
- wikidata: Wikidata Q1991405, nowhere dense set (unknown). Also MathWorld NowhereDense, nLab nowhere dense set
- wikipedia: Wikipedia Nowhere dense set, Nowhere dense set (definition). Also Wikidata Q1991405
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Will Rogers phenomenon A43FW7YJDA
| URI | m2://inv/A43FW7YJDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7W0G, Will Rogers phenomenon (definition)
History
- 2026-11-02: add by m2/dev
A43K9J1B0Y A43K9J1B0Y
| URI | m2://inv/A43K9J1B0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#9JUE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Combinatorial topology A43SXN141H
| URI | m2://inv/A43SXN141H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#K8DF, Combinatorial topology (definition)
History
- 2026-11-02: add by m2/dev
A43T2PCEXD A43T2PCEXD
| URI | m2://inv/A43T2PCEXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#R80V (statement). In WEP0PNJW09/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
Hamming code A43V8A8N9P
| URI | m2://inv/A43V8A8N9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FDCM, Hamming code (definition)
History
- 2026-11-02: add by m2/dev
A445JN86J6 A445JN86J6
| URI | m2://inv/A445JN86J6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11N05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114728164 (topic)
History
- 2026-10-26: add by m2/dev
Example 4 A44CWX13FV
| URI | m2://inv/A44CWX13FV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessity and sufficiency#1KKY, Example 4 (example)
History
- 2026-11-02: add by m2/dev
Statement of the conjecture A44G4VR25G
| URI | m2://inv/A44G4VR25G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory conjecture#Z80X, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
A44HKTN1KV A44HKTN1KV
| URI | m2://inv/A44HKTN1KV |
|---|---|
| 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.15674#AK2N (statement). In JCTZTK951T/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Vector bundle A44RQQQE13
| URI | m2://inv/A44RQQQE13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#ZCB5, Vector bundle (definition)
- wikipedia: Wikipedia List of differential geometry topics#EMMF, Vector bundle (definition)
History
- 2026-11-02: add by m2/dev
Every symmetric scalar source A4528GC6JS
| URI | m2://inv/A4528GC6JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#A6JK, Every symmetric scalar source (statement). In 9YAE8FNQST/e1, corollary 23.3
History
- 2026-10-30: add by m2/v0.4.12
A452P0Z1JA A452P0Z1JA
| URI | m2://inv/A452P0Z1JA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#JNJG (definition)
History
- 2026-11-02: add by m2/v0.6.17
A45F0PQR0J A45F0PQR0J
| URI | m2://inv/A45F0PQR0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.04314#XIB9 (statement). In AKWTE0M6PE/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
Hierarchy theorems A45P3YWM1N
| URI | m2://inv/A45P3YWM1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational complexity theory#UD8M, Hierarchy theorems (statement)
History
- 2026-11-02: add by m2/dev
Example A45PHP4HP9
| URI | m2://inv/A45PHP4HP9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian network#0O65, Example (example)
History
- 2026-11-02: add by m2/dev
A45TWQHPS8 A45TWQHPS8
| URI | m2://inv/A45TWQHPS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.28411#6K4A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Concordance correlation coefficient A45YBXBDQV
| URI | m2://inv/A45YBXBDQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concordance correlation coefficient, Concordance correlation coefficient (definition). Also Wikidata Q5158906
History
- 2026-11-02: add by m2/dev
Methods A466CRZFYV
| URI | m2://inv/A466CRZFYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic simulation#0CJQ, Methods (definition)
History
- 2026-11-02: add by m2/dev
transversality A46DVZJ01J
| URI | m2://inv/A46DVZJ01J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2300767, transversality (unknown). Also MathWorld TransversalIntersection
History
- 2026-10-26: add by m2/dev
Turán–Kubilius inequality A46HMS0KZQ
| URI | m2://inv/A46HMS0KZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#N2OJ, Turán–Kubilius inequality (statement)
History
- 2026-11-02: add by m2/dev
Example A479NW5CZN
| URI | m2://inv/A479NW5CZN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner–Eckart theorem#TVG2, Example (example)
History
- 2026-11-02: add by m2/dev
A47G1PTAHG A47G1PTAHG
| URI | m2://inv/A47G1PTAHG |
|---|---|
| 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.20345#0OTX (statement). In WVRRST04WS/e1, lemma 9
History
- 2026-10-27: add by m2/v0.4.2
Frank Plumpton Ramsey A47H5KQRY8
| URI | m2://inv/A47H5KQRY8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#5M7I, Frank Plumpton Ramsey (topic)
History
- 2026-11-02: add by m2/dev
History: the lemma that is not Burnside's A47J177HJV
| URI | m2://inv/A47J177HJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnside's lemma#RAYB, History: the lemma that is not Burnside's (statement)
History
- 2026-11-02: add by m2/dev
Equivariant pointed $C^\infty$ convergence A47PBAZB98
| URI | m2://inv/A47PBAZB98 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#O4F9, Equivariant pointed $C^\infty$ convergence (definition). In T3BY4TXYT4/e1, definition 1.8
History
- 2026-10-28: add by m2/v0.4.2
A47S2QEH3K A47S2QEH3K
| URI | m2://inv/A47S2QEH3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#8C7S (statement). In R604B78EVK/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Definitions A47TPY93BA
| URI | m2://inv/A47TPY93BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric logic#5VHZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Bézout domain A47VWFFNF6
| URI | m2://inv/A47VWFFNF6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bézout domain HGEX40P0Z0 |
Mentions
- wikidata: Wikidata Q2386260, Bézout domain (concept). Also nLab Bézout domain
- wikipedia: Wikipedia Bézout domain, Bézout domain (definition). Also Wikidata Q2386260
History
- 2026-10-26: add by m2/dev
Samuel Karlin A4853C6ESM
| URI | m2://inv/A4853C6ESM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YNE3, Samuel Karlin (unknown)
History
- 2026-11-02: add by m2/dev
A48CH59DF7 A48CH59DF7
| URI | m2://inv/A48CH59DF7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-88 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
A48VS72B1J A48VS72B1J
| URI | m2://inv/A48VS72B1J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
birational geometry A48WVV8KBH
| URI | m2://inv/A48WVV8KBH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Birational geometry 51YVV85GWB |
Mentions
- wikidata: Wikidata Q1879333, birational geometry (topic). Also nLab birational geometry
- wikipedia: Wikipedia Birational geometry, Birational geometry (topic). Also Wikidata Q1879333
History
- 2026-10-26: add by m2/dev
Hermitian operator A495TFYDG2
| URI | m2://inv/A495TFYDG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6533897, Hermitian operator (unknown). Also MathWorld HermitianOperator
History
- 2026-10-26: add by m2/dev
Perfectly inelastic collision A498QMPKTP
| URI | m2://inv/A498QMPKTP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inelastic collision#ILBI, Perfectly inelastic collision (unknown)
History
- 2026-11-02: add by m2/dev
Definition A49DN0CQVR
| URI | m2://inv/A49DN0CQVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution on a linear algebraic group#P54H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Complexification part II\index{complexification} A49NE5PK00
| URI | m2://inv/A49NE5PK00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:complexificationpt2, Complexification part II\index{complexification} (statement). In VNMV985MXX, prop, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
A49NF90DK6 A49NF90DK6
| URI | m2://inv/A49NF90DK6 |
|---|---|
| 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.29677#VW94 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A49RQ6NSSJ A49RQ6NSSJ
| URI | m2://inv/A49RQ6NSSJ |
|---|---|
| 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.27524#VGWB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Circular motion A49V965MJ0
| URI | m2://inv/A49V965MJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular motion, Circular motion (definition). Also Wikidata Q715746
History
- 2026-11-02: add by m2/dev
Liao Shantao A49VT8W0Z6
| URI | m2://inv/A49VT8W0Z6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liao Shantao, Liao Shantao (topic). Also Wikidata Q11064329
History
- 2026-11-02: add by m2/dev
Cyclotomic realization of the cotangent punctured line A49XEVGCVY
| URI | m2://inv/A49XEVGCVY |
|---|---|
| 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.04214#ITRK, Cyclotomic realization of the cotangent punctured line (statement). In HWY7AQ4KT2/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
A4AD2WFB9C A4AD2WFB9C
| URI | m2://inv/A4AD2WFB9C |
|---|---|
| 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#3WPS (statement). In TC5QA4AB4Z/e1, lemma 3.35
History
- 2026-10-30: add by m2/v0.4.12
A4AJMJRWZV A4AJMJRWZV
| URI | m2://inv/A4AJMJRWZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#thm:unions and intersections of images (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
A4AQ00XWNV A4AQ00XWNV
| URI | m2://inv/A4AQ00XWNV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2509.20257#8N7J (example). In 9NDZ6GG9XZ/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Mary Sandoval A4AQ1P3ESY
| URI | m2://inv/A4AQ1P3ESY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Sandoval, Mary Sandoval (topic). Also Wikidata Q102166245
History
- 2026-11-02: add by m2/dev
Algebraic properties A4B5B48JTW
| URI | m2://inv/A4B5B48JTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robertson graph#DM11, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Stokes' formula A4B5YWV8ES
| URI | m2://inv/A4B5YWV8ES |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#81ZO, Stokes' formula (statement)
History
- 2026-11-02: add by m2/dev
Definition A4B7BMWFGR
| URI | m2://inv/A4B7BMWFGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-network#XMXW, Definition (definition)
History
- 2026-11-02: add by m2/dev
A4B7XT61ED A4B7XT61ED
| URI | m2://inv/A4B7XT61ED |
|---|---|
| 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 2403.15255#N410 (statement). In G691MXMYW0/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.0
A4B81R174Z A4B81R174Z
| URI | m2://inv/A4B81R174Z |
|---|---|
| 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.17677#VUUF (statement). In 5E9G06XJKC/e1, lemma G.21
History
- 2026-10-28: add by m2/v0.4.2
Kepler (Martian crater) A4B8WC5HCJ
| URI | m2://inv/A4B8WC5HCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#LR9F, Kepler (Martian crater) (unknown)
History
- 2026-11-02: add by m2/dev
Computation A4BAXBVJR8
| URI | m2://inv/A4BAXBVJR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (linear algebra)#LSK3, Computation (definition)
History
- 2026-11-02: add by m2/dev
A4BFW0KF68 A4BFW0KF68
| URI | m2://inv/A4BFW0KF68 |
|---|---|
| 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.09506#8TEU (statement). In AQC7E6RAT4/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem A4BHVZDW93
| URI | m2://inv/A4BHVZDW93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-divergence#CVGC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
A4BQS1YNKE A4BQS1YNKE
| URI | m2://inv/A4BQS1YNKE |
|---|---|
| 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#0KBJ (statement). In FXEJE0PWEP/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
Tolerant sequence A4BRT6DJAZ
| URI | m2://inv/A4BRT6DJAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolerant sequence, Tolerant sequence (definition). Also Wikidata Q7814226
History
- 2026-11-02: add by m2/dev
Time-integrable weighted pointwise velocity A4BTKWCWX6
| URI | m2://inv/A4BTKWCWX6 |
|---|---|
| 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.13248#HLTA, Time-integrable weighted pointwise velocity (statement). In MGMC5SREP3/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Direct sum of permutations A4BWC0Q9CE
| URI | m2://inv/A4BWC0Q9CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#KAH3, Direct sum of permutations (definition)
History
- 2026-11-02: add by m2/dev
Opinion poll A4BWXZ7RDW
| URI | m2://inv/A4BWXZ7RDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#64I5, Opinion poll (definition)
History
- 2026-11-02: add by m2/dev
Schema for horizontal dials A4C1AG8RX8
| URI | m2://inv/A4C1AG8RX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schema for horizontal dials, Schema for horizontal dials (definition). Also Wikidata Q25304141
History
- 2026-11-02: add by m2/dev
A4C1B5Q24V A4C1B5Q24V
| URI | m2://inv/A4C1B5Q24V |
|---|---|
| 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#L07T (definition). In GW23NX78SB/e1, definition 2.25
History
- 2026-10-28: add by m2/v0.4.2
Thomas–Fermi equation A4C1EEMBYM
| URI | m2://inv/A4C1EEMBYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas–Fermi equation, Thomas–Fermi equation (definition). Also Wikidata Q48996300
History
- 2026-11-02: add by m2/dev
James Clerk Maxwell A4C280RK3M
| URI | m2://inv/A4C280RK3M |
|---|---|
| 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 Q9095, James Clerk Maxwell (unknown). Also nLab James Clerk Maxwell, ProofWiki Mathematician:James_Clerk_Maxwell
- wikipedia: Wikipedia James Clerk Maxwell, James Clerk Maxwell (topic). Also Wikidata Q9095
History
- 2026-10-26: add by m2/dev
A4C2B44ZYG A4C2B44ZYG
| URI | m2://inv/A4C2B44ZYG |
|---|---|
| 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.12481#YC5I (definition). In TD288AK3EJ/e1, definition 14
History
- 2026-10-28: add by m2/v0.4.2
A4CF35VKTQ A4CF35VKTQ
| URI | m2://inv/A4CF35VKTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08434#YVK2 (statement). In VN8087G2FC/e1, corollary 8.13
History
- 2026-10-29: add by m2/v0.4.10
A4CFMWQ5WF A4CFMWQ5WF
| URI | m2://inv/A4CFMWQ5WF |
|---|---|
| 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.06438#121Z (statement). In Z633BH3HER/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Albrecht Fröhlich A4CZ8C5WWP
| URI | m2://inv/A4CZ8C5WWP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albrecht Fröhlich, Albrecht Fröhlich (topic). Also Wikidata Q451721
History
- 2026-11-02: add by m2/dev
Theorem A4CZ8C6JEV
| URI | m2://inv/A4CZ8C6JEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear relation#SJ5L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Corollary A4D2WA5KFE
| URI | m2://inv/A4D2WA5KFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau kernel#7FKQ, Corollary (statement)
History
- 2026-11-02: add by m2/dev
A4D80P6DR6 A4D80P6DR6
| URI | m2://inv/A4D80P6DR6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#S7YL (definition). In CY1FE8W1ZW/e1, definition 0.175
History
- 2026-10-27: add by m2/v0.3.5
A4DCGNBNSE A4DCGNBNSE
| URI | m2://inv/A4DCGNBNSE |
|---|---|
| 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#7DGF (statement). In TNC658NVMQ/e1, corollary 8.7
History
- 2026-10-28: add by m2/v0.4.2
Dextral shear A4DCRV7CYZ
| URI | m2://inv/A4DCRV7CYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinistral and dextral#5DPA, Dextral shear (unknown)
History
- 2026-11-02: add by m2/dev
A4DGADEG0H A4DGADEG0H
| URI | m2://inv/A4DGADEG0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#9K31 (statement). In DPJ15KW23C/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Example A4DNKSPKZT
| URI | m2://inv/A4DNKSPKZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized p-value#LU3D, Example (example)
History
- 2026-11-02: add by m2/dev
A4DSP20HA1 A4DSP20HA1
| URI | m2://inv/A4DSP20HA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#M126 (statement). In TZXEMCBK5V/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
A4DXX4QEBZ A4DXX4QEBZ
| URI | m2://inv/A4DXX4QEBZ |
|---|---|
| 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.31811#2S5T (statement). In A8ZBZW9RNA/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Definitions A4E1YM81YC
| URI | m2://inv/A4E1YM81YC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic manifold#Z7DX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
A4E5JZPZME A4E5JZPZME
| URI | m2://inv/A4E5JZPZME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2303.09207#F1KH (statement). In 9DQKY7KGE8/e1, lemma C.11
History
- 2026-10-31: add by m2/v0.5.6
Projection plane A4E8CHAT29
| URI | m2://inv/A4E8CHAT29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection plane, Projection plane (definition). Also Wikidata Q16948080
History
- 2026-11-02: add by m2/dev
A4EGVBYW3V A4EGVBYW3V
| URI | m2://inv/A4EGVBYW3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#GA8P (statement). In VNE8N0D2FB/e1, lemma 1.14
History
- 2026-10-31: add by m2/v0.5.6
Shoshana Kamin A4EK48XRP9
| URI | m2://inv/A4EK48XRP9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UG11, Shoshana Kamin (topic)
History
- 2026-11-02: add by m2/dev
A4ET0EW00B A4ET0EW00B
| URI | m2://inv/A4ET0EW00B |
|---|---|
| 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 2609.33584#XXM9 (statement). In 3HFBAWQCA1/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
A4EX574VB5 A4EX574VB5
| URI | m2://inv/A4EX574VB5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.04758#L6WD (problem). In DRWDJG2G3S/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.3.5
A4EY714DRS A4EY714DRS
| URI | m2://inv/A4EY714DRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#9TCE (statement). In DWKWF242Y0/e1, lemma 20
History
- 2026-10-30: add by m2/v0.4.12
A4F024JZC6 A4F024JZC6
| URI | m2://inv/A4F024JZC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#TYEB (statement). In QX77AN49J0/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
A4F850Y7DT A4F850Y7DT
| URI | m2://inv/A4F850Y7DT |
|---|---|
| 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.38014#Z5AO (statement). In F3X5W4E0AJ/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Global data storage capacity A4FBAG9X52
| URI | m2://inv/A4FBAG9X52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data storage#2N3U, Global data storage capacity (unknown)
History
- 2026-11-02: add by m2/dev
Pumping lemma A4FXVAW6ZE
| URI | m2://inv/A4FXVAW6ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#KGXJ, Pumping lemma (statement)
History
- 2026-11-02: add by m2/dev
Scott–Potter set theory A4G4NYADXY
| URI | m2://inv/A4G4NYADXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#5FI3, Scott–Potter set theory (definition)
- wikipedia: Wikipedia List of first-order theories#QLTE, Scott–Potter set theory (definition)
History
- 2026-11-02: add by m2/dev
A4G5G5PPT4 A4G5G5PPT4
| URI | m2://inv/A4G5G5PPT4 |
|---|---|
| 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.17547#18IT (definition). In XJ59TDP4HA/e1, definition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Lynn Schreyer A4G63TV0WH
| URI | m2://inv/A4G63TV0WH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynn Schreyer, Lynn Schreyer (topic). Also Wikidata Q102167789
History
- 2026-11-02: add by m2/dev
A4GCCD113D A4GCCD113D
| URI | m2://inv/A4GCCD113D |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#EM0U (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Harish-Chandra integral A4GFC2WPWP
| URI | m2://inv/A4GFC2WPWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra integral, Harish-Chandra integral (definition). Also Wikidata Q107300918
History
- 2026-11-02: add by m2/dev
A4GQGXQ8X0 A4GQGXQ8X0
| URI | m2://inv/A4GQGXQ8X0 |
|---|---|
| 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.38539#PDYD (statement). In 6H78W2WZ5G/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Examples A4GW1XK0KY
| URI | m2://inv/A4GW1XK0KY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal morphism#UOR6, Examples (example)
History
- 2026-11-02: add by m2/dev
Taylor circle A4GWRXMHAF
| URI | m2://inv/A4GWRXMHAF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q365086, Taylor circle (concept). Also MathWorld TaylorCircle
- wikipedia: Wikipedia Taylor circle, Taylor circle (definition). Also Wikidata Q365086
History
- 2026-10-26: add by m2/dev
Theorem of Hadamard and de la Vallée-Poussin A4H5T0KW8R
| URI | m2://inv/A4H5T0KW8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#CAW2, Theorem of Hadamard and de la Vallée-Poussin (statement)
History
- 2026-11-02: add by m2/dev
Negative-sign Hermitian CMA A4H68MVKGG
| URI | m2://inv/A4H68MVKGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.25762#HA26, Negative-sign Hermitian CMA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Threshold gates under product measures A4HFS5FJQZ
| URI | m2://inv/A4HFS5FJQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#MKJC, Threshold gates under product measures (statement). In MBJA03ES8N/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
A4HM3Z5200 A4HM3Z5200
| URI | m2://inv/A4HM3Z5200 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#08OJ (statement). In XYCBKM4WKY/e1, theorem 64
History
- 2026-10-27: add by m2/v0.3.5
History of calculus A4HRH20R1E
| URI | m2://inv/A4HRH20R1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of calculus, History of calculus (definition). Also Wikidata Q2338709
History
- 2026-11-02: add by m2/dev
Denying the antecedent A4HTJ67M9C
| URI | m2://inv/A4HTJ67M9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#F5TS, Denying the antecedent (definition)
History
- 2026-11-02: add by m2/dev
Complete classification of the relations among $s$, $\bs$, and $C$ A4HW9WDE3D
| URI | m2://inv/A4HW9WDE3D |
|---|---|
| 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.23781#BJQI, Complete classification of the relations among $s$, $\bs$, and $C$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition A4HWTA4PM3
| URI | m2://inv/A4HWTA4PM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BF-graph#YH8F, Definition (definition)
History
- 2026-11-02: add by m2/dev
rest mass A4J1JZH7Q5
| URI | m2://inv/A4J1JZH7Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1097654, rest mass (definition). Also ProofWiki Definition:Rest_Mass
- wikipedia: Wikipedia Invariant mass, Invariant mass (definition). Also Wikidata Q1097654
History
- 2026-10-26: add by m2/dev
Five Corners, Washington A4J639XG2Z
| URI | m2://inv/A4J639XG2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MBGL, Five Corners, Washington (unknown)
History
- 2026-11-02: add by m2/dev
A4J8DWYG3J A4J8DWYG3J
| URI | m2://inv/A4J8DWYG3J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22263#WAQM (example)
History
- 2026-11-02: add by m2/v0.6.17
Deviate (statistics) A4JK4ZNFBS
| URI | m2://inv/A4JK4ZNFBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realization (probability)#LEJJ, Deviate (statistics) (unknown)
History
- 2026-11-02: add by m2/dev
Valentin Poénaru A4JK601FQ4
| URI | m2://inv/A4JK601FQ4 |
|---|---|
| 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#2NQC, Valentin Poénaru (topic)
History
- 2026-11-02: add by m2/dev
A4JMW4S0AB A4JMW4S0AB
| URI | m2://inv/A4JMW4S0AB |
|---|---|
| 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.35467#ULMS (statement). In FK89DQ9J4S/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Richard Arenstorf A4JNMP8M51
| URI | m2://inv/A4JNMP8M51 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Arenstorf, Richard Arenstorf (topic). Also Wikidata Q7323771
History
- 2026-11-02: add by m2/dev
A4JT57DQJ2 A4JT57DQJ2
| URI | m2://inv/A4JT57DQJ2 |
|---|---|
| Kind | statement |
| 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#QJDE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pareto distribution A4JVDSP1K0
| URI | m2://inv/A4JVDSP1K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#8LPR, Pareto distribution (definition)
History
- 2026-11-02: add by m2/dev
$H^1_0([0,1])$ and its application to the one-dimensional Dirichlet problem A4JZCTKXEJ
| URI | m2://inv/A4JZCTKXEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > $H^1_0([0,1])$ and its application to the one-dimensional Dirichlet problem, $H^1_0([0,1])$ and its application to the one-dimensional Dirichlet problem (unknown)
History
- 2026-10-26: add by m2/dev
A4K1FGQ82Q A4K1FGQ82Q
| URI | m2://inv/A4K1FGQ82Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
Meta-optimization A4KHBE0X47
| URI | m2://inv/A4KHBE0X47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meta-optimization, Meta-optimization (definition). Also Wikidata Q6822261
History
- 2026-11-02: add by m2/dev
A4KJKY6J8W A4KJKY6J8W
| URI | m2://inv/A4KJKY6J8W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise:intoneconvex (exercise). In E59CDZA4DP, exercise, section 11.1.5
History
- 2026-11-01: add by m2/v0.6.13
Contourlet A4KQMFGTPA
| URI | m2://inv/A4KQMFGTPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contourlet, Contourlet (definition). Also Wikidata Q5165589
History
- 2026-11-02: add by m2/dev
orthomodular lattice A4KSNTYQN4
| URI | m2://inv/A4KSNTYQN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121504301, orthomodular lattice (unknown). Also EoM Orthomodular_lattice
History
- 2026-10-26: add by m2/dev
Sterbenz lemma A4KWGRMQ60
| URI | m2://inv/A4KWGRMQ60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sterbenz lemma#5L3O, Sterbenz lemma (statement)
History
- 2026-11-02: add by m2/dev
Further examples A4M7VBRJP6
| URI | m2://inv/A4M7VBRJP6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruled surface#8PUP, Further examples (example)
History
- 2026-11-02: add by m2/dev
reflexive sheaf A4MBSZP79W
| URI | m2://inv/A4MBSZP79W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#UU3F, reflexive sheaf (definition)
History
- 2026-11-02: add by m2/dev
combinatory terms A4MSZ77DNT
| URI | m2://inv/A4MSZ77DNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WH3M, combinatory terms (definition)
History
- 2026-11-02: add by m2/dev
Shulba sutras A4MT3R20F5
| URI | m2://inv/A4MT3R20F5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#G8M1, Shulba sutras (unknown)
History
- 2026-11-02: add by m2/dev
Properties A4N2B3ZZG3
| URI | m2://inv/A4N2B3ZZG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieudonné determinant#ECLV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hegel's reception in France A4N3KY8JHG
| URI | m2://inv/A4N3KY8JHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Wilhelm Friedrich Hegel#E4GB, Hegel's reception in France (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert scheme A4N83Y5R47
| URI | m2://inv/A4N83Y5R47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#A575, Hilbert scheme (definition)
History
- 2026-11-02: add by m2/dev
Žiberna, Aleš A4N9MFMBAM
| URI | m2://inv/A4N9MFMBAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NMLP, Žiberna, Aleš (topic)
History
- 2026-11-02: add by m2/dev
$N=4$, $m=5$ A4NQQG2WAK
| URI | m2://inv/A4NQQG2WAK |
|---|---|
| Kind | example |
| 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.36088#ZFT1, $N=4$, $m=5$ (example). In QJD3MZMJHW/e1, example 4.4
History
- 2026-10-30: add by m2/v0.4.12
A4NVG2JQBD A4NVG2JQBD
| URI | m2://inv/A4NVG2JQBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#RBCT (statement). In H3FDP8S1Z7/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
Compact Slings A4P7MNFHF9
| URI | m2://inv/A4P7MNFHF9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#KBD9, Compact Slings (definition). In FPSGZ5S6YF/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
semidirect sum A4PAAGKGS3
| URI | m2://inv/A4PAAGKGS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q67173031, semidirect sum (unknown). Also nLab semidirect product Lie algebra
History
- 2026-10-26: add by m2/dev
Alma Johanna Ruubel A4PCAC5FP9
| URI | m2://inv/A4PCAC5FP9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alma Johanna Ruubel, Alma Johanna Ruubel (topic). Also Wikidata Q16407350
History
- 2026-11-02: add by m2/dev
A4PFDMHFCM A4PFDMHFCM
| URI | m2://inv/A4PFDMHFCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#IEGA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coverage for independent sampling A4PFHKNJMG
| URI | m2://inv/A4PFHKNJMG |
|---|---|
| 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.10080#RS83, Coverage for independent sampling (statement). In N6EBNRZCYX/e1, lemma A.17
History
- 2026-10-29: add by m2/v0.4.10
Properties of the evolute A4PJJX58JG
| URI | m2://inv/A4PJJX58JG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evolute#XP24, Properties of the evolute (statement)
History
- 2026-11-02: add by m2/dev
A4PT73YK5P A4PT73YK5P
| URI | m2://inv/A4PT73YK5P |
|---|---|
| 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.15504#ELN8 (statement). In AZ8SEW6HAV/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Centered-disk hard-wall ratio A4PY49GR75
| URI | m2://inv/A4PY49GR75 |
|---|---|
| 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.25307#6CLF, Centered-disk hard-wall ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
Susan Landau A4Q4CJKWG7
| URI | m2://inv/A4Q4CJKWG7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Landau, Susan Landau (topic). Also Wikidata Q11766
History
- 2026-11-02: add by m2/dev
the twist is trivialised by $L$ A4QAH23S9S
| URI | m2://inv/A4QAH23S9S |
|---|---|
| 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.09298#9TIJ, the twist is trivialised by $L$ (statement). In 1SPQ4J3AWY/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Decimal notation A4QJG4FMEM
| URI | m2://inv/A4QJG4FMEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decimal#2VP8, Decimal notation (definition)
History
- 2026-11-02: add by m2/dev
Definition A4QMZK5SWQ
| URI | m2://inv/A4QMZK5SWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free Lie algebra#I68A, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications A4QSK4VGDM
| URI | m2://inv/A4QSK4VGDM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golod–Shafarevich theorem#5C82, Applications (example)
History
- 2026-11-02: add by m2/dev
A4R288F0KR A4R288F0KR
| URI | m2://inv/A4R288F0KR |
|---|---|
| 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 2412.01742#QQTQ (statement). In GYH7R98PPA/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
A4R2NCB3KY A4R2NCB3KY
| URI | m2://inv/A4R2NCB3KY |
|---|---|
| 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 2208.04502#BLMD (statement). In BT6E9BXXF3/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Elja Arjas A4R3YF8JMX
| URI | m2://inv/A4R3YF8JMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elja Arjas, Elja Arjas (topic). Also Wikidata Q16162493
History
- 2026-11-02: add by m2/dev
Examples A4R6WQ11ZZ
| URI | m2://inv/A4R6WQ11ZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedoid#IYNC, Examples (example)
History
- 2026-11-02: add by m2/dev
A4R973BBD2 A4R973BBD2
| URI | m2://inv/A4R973BBD2 |
|---|---|
| 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.03835#H84U (statement). In KAYGQMQPGS/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.12
\textbf{Suboptimality under Model Error A4RA3B3CBM
| URI | m2://inv/A4RA3B3CBM |
|---|---|
| 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.02791#9NWC, \textbf{Suboptimality under Model Error (statement). In TT9BA4VMTW/e1, lemma A.9
History
- 2026-10-29: add by m2/v0.4.12
A4RER1EHAP A4RER1EHAP
| URI | m2://inv/A4RER1EHAP |
|---|---|
| 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.14741#66ED (statement). In RK1VPWWX9E/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Statement A4RJCHJ5N7
| URI | m2://inv/A4RJCHJ5N7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-gap theorem#6ZYW, Statement (statement)
History
- 2026-11-02: add by m2/dev
A4RS78ACZ9 A4RS78ACZ9
| URI | m2://inv/A4RS78ACZ9 |
|---|---|
| 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 2509.21444#ECL2 (statement). In CTVPA2FQT1/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.0
Jouffret, Esprit A4RYJSBF6A
| URI | m2://inv/A4RYJSBF6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TH7X, Jouffret, Esprit (unknown)
History
- 2026-11-02: add by m2/dev
A4S2B9RDMD A4S2B9RDMD
| URI | m2://inv/A4S2B9RDMD |
|---|---|
| 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.01390#6TF2 (statement). In KDKXM018ES/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
radical A4S2FFQ2S2
| URI | m2://inv/A4S2FFQ2S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#96WL, radical (definition)
History
- 2026-11-02: add by m2/dev
A4S7GQ14RZ A4S7GQ14RZ
| URI | m2://inv/A4S7GQ14RZ |
|---|---|
| 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.00379#P6EE (statement). In BTSCWAGACB/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Examples A4SBCMESM0
| URI | m2://inv/A4SBCMESM0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoscalar#97C7, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition A4SE7N4MPV
| URI | m2://inv/A4SE7N4MPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant measure#3GW2, Definition (definition)
History
- 2026-11-02: add by m2/dev
A4SP91RQPQ A4SP91RQPQ
| URI | m2://inv/A4SP91RQPQ |
|---|---|
| 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.24078#CJ51 (statement)
History
- 2026-11-02: add by m2/v0.6.17
A4SPG4Y0T8 A4SPG4Y0T8
| URI | m2://inv/A4SPG4Y0T8 |
|---|---|
| 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#U4RB (statement). In 8Z47D12KSX/e1, theorem 10.15
History
- 2026-10-29: add by m2/v0.4.10
Theorem A4SSS36NBF
| URI | m2://inv/A4SSS36NBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countable set#IUPC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
A4SYX26BWA A4SYX26BWA
| URI | m2://inv/A4SYX26BWA |
|---|---|
| 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.32906#M4O9 (statement). In R589MXXHX4/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Trace identity and compactness A4T1HQCMK5
| URI | m2://inv/A4T1HQCMK5 |
|---|---|
| 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.20270#NGWQ, Trace identity and compactness (statement). In GV0QGZH67P/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.4.2
Victor Klee A4T954WF5A
| URI | m2://inv/A4T954WF5A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#6SEG, Victor Klee (unknown)
History
- 2026-11-02: add by m2/dev
Full inverse A4T9FA8W2J
| URI | m2://inv/A4T9FA8W2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#6UTI, Full inverse (unknown)
History
- 2026-11-02: add by m2/dev
Information source (mathematics) A4TA3P5Q60
| URI | m2://inv/A4TA3P5Q60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#42ET, Information source (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Properties A4TBVA721N
| URI | m2://inv/A4TBVA721N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erlang distribution#ELO7, Properties (statement)
History
- 2026-11-02: add by m2/dev
A4TG10F9FW A4TG10F9FW
| URI | m2://inv/A4TG10F9FW |
|---|---|
| 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.20237#J2AZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
A4TG55JYWR A4TG55JYWR
| URI | m2://inv/A4TG55JYWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#67QF (statement). In W9Z6S1PDTP/e1, proposition 5.9
History
- 2026-10-30: add by m2/v0.4.12
rational A4TGZZSC22
| URI | m2://inv/A4TGZZSC22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#FBDO, rational (definition)
History
- 2026-11-02: add by m2/dev
A4TNE3PCTH A4TNE3PCTH
| URI | m2://inv/A4TNE3PCTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#JJ9N (statement). In CEKW9CNVVW/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
A4TS3K2BBW A4TS3K2BBW
| URI | m2://inv/A4TS3K2BBW |
|---|---|
| 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#8NKG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Doubling-oriented Doche–Icart–Kohel curve A4TSN2JV0D
| URI | m2://inv/A4TSN2JV0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubling-oriented Doche–Icart–Kohel curve, Doubling-oriented Doche–Icart–Kohel curve (definition). Also Wikidata Q5300169
History
- 2026-11-02: add by m2/dev
A4TTB3F5A9 A4TTB3F5A9
| URI | m2://inv/A4TTB3F5A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#4KWJ (statement). In M7NEWDTM32/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
An example of a sampling design A4TWNC7VZR
| URI | m2://inv/A4TWNC7VZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling design#JZDH, An example of a sampling design (example)
History
- 2026-11-02: add by m2/dev
680 (number) A4TWV0WGQ8
| URI | m2://inv/A4TWV0WGQ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#MKIX, 680 (number) (unknown)
History
- 2026-11-02: add by m2/dev
M. Suzuki A4V1FJH5ND
| URI | m2://inv/A4V1FJH5ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#TISA, M. Suzuki (unknown)
History
- 2026-11-02: add by m2/dev
A4V4WJPCDF A4V4WJPCDF
| URI | m2://inv/A4V4WJPCDF |
|---|---|
| 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.20798#IGBX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Stacked polytope A4V5HW47W5
| URI | m2://inv/A4V5HW47W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stacked polytope, Stacked polytope (definition). Also Wikidata Q25303758
History
- 2026-11-02: add by m2/dev
Definition A4V5T7WAZE
| URI | m2://inv/A4V5T7WAZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential tilting#IJBK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sierpinski carpet A4VDTQ50K7
| URI | m2://inv/A4VDTQ50K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#BTV6, Sierpinski carpet (definition)
- wikipedia: Wikipedia List of mathematical shapes#MI5J, Sierpinski carpet (definition)
History
- 2026-11-02: add by m2/dev
A4VJ00SX9X A4VJ00SX9X
| URI | m2://inv/A4VJ00SX9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04069#NQRN (statement). In ZA7WXGZYWC/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Local-to-global comparison A4VNBJWD2A
| URI | m2://inv/A4VNBJWD2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00525#IXPB, Local-to-global comparison (statement). In JN34PDDXH8/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Square pyramidal number ( A000330 ) n(n+1)(2n+1)/6 is squarefree. A4VNVGTYY5
| URI | m2://inv/A4VNVGTYY5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193607, Square pyramidal number ( A000330 ) n(n+1)(2n+1)/6 is squarefree. (object). Also OEIS A119356
History
- 2026-10-26: add by m2/dev
A4VS6J3JRH A4VS6J3JRH
| URI | m2://inv/A4VS6J3JRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2212.02556#T38X (statement). In 78QQZYTGTD/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Examples A4VZ16PJM2
| URI | m2://inv/A4VZ16PJM2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler characteristic#ERBN, Examples (example)
History
- 2026-11-02: add by m2/dev
Fedor Bogomolov A4W47575QP
| URI | m2://inv/A4W47575QP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fedor Bogomolov, Fedor Bogomolov (topic). Also Wikidata Q451163
History
- 2026-11-02: add by m2/dev
path, 3- A4W96TYBDY
| URI | m2://inv/A4W96TYBDY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/path-3, path, 3- (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Hugo Christiaan Hamaker A4W9CP8QYM
| URI | m2://inv/A4W9CP8QYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugo Christiaan Hamaker, Hugo Christiaan Hamaker (topic). Also Wikidata Q2032000
History
- 2026-11-02: add by m2/dev
Idele class group A4WBS32QQ4
| URI | m2://inv/A4WBS32QQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#F05V, Idele class group (definition)
History
- 2026-11-02: add by m2/dev
Applications A4WFD2B0P1
| URI | m2://inv/A4WFD2B0P1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-estimator#L9VQ, Applications (example)
History
- 2026-11-02: add by m2/dev
A4WM9319B5 A4WM9319B5
| URI | m2://inv/A4WM9319B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1006.3331#ENZ3 (statement). In AY6WYB9RR3/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
A4WXBK9CH8 A4WXBK9CH8
| URI | m2://inv/A4WXBK9CH8 |
|---|---|
| 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#1EM7 (statement). In DW7FVA587C/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Fractal landscape A4WYSFXPW5
| URI | m2://inv/A4WYSFXPW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#IBCP, Fractal landscape (definition)
History
- 2026-11-02: add by m2/dev
Clark–Ocone theorem A4X0JWCZKE
| URI | m2://inv/A4X0JWCZKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XIGE, Clark–Ocone theorem (statement)
History
- 2026-11-02: add by m2/dev
A4X0V526XC A4X0V526XC
| URI | m2://inv/A4X0V526XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#5W4H (statement). In WBXAW9G4JB/e1, corollary C.7
History
- 2026-10-29: add by m2/v0.4.12
exact-cardinality random sources A4X7JXAJC6
| URI | m2://inv/A4X7JXAJC6 |
|---|---|
| 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.20351#BYO1, exact-cardinality random sources (statement)
History
- 2026-11-02: add by m2/v0.6.18
A4X7K71HTG A4X7K71HTG
| URI | m2://inv/A4X7K71HTG |
|---|---|
| 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.23872#0KCS (statement)
History
- 2026-11-02: add by m2/v0.6.17
A4X8EEMJE4 A4X8EEMJE4
| URI | m2://inv/A4X8EEMJE4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-5 (statement). In E9HS8K3A52, theorem, section 10.4.3
History
- 2026-11-01: add by m2/v0.6.13
A4XA1V78AW A4XA1V78AW
| URI | m2://inv/A4XA1V78AW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#DLKR (problem)
History
- 2026-11-01: add by m2/v0.6.15
High-probability bound for iterated barycenters A4XEHNM15K
| URI | m2://inv/A4XEHNM15K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#RJRS, High-probability bound for iterated barycenters (statement). In YXZX6Z8S6A/e1, corollary 5.12
History
- 2026-10-28: add by m2/v0.4.2
ScaLAPACK A4XGQ26K53
| URI | m2://inv/A4XGQ26K53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#19D8, ScaLAPACK (unknown)
History
- 2026-11-02: add by m2/dev
A4XHR9X122 A4XHR9X122
| URI | m2://inv/A4XHR9X122 |
|---|---|
| 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#6E8M (statement)
History
- 2026-11-01: add by m2/v0.6.15
A4XK5SE0QC A4XK5SE0QC
| URI | m2://inv/A4XK5SE0QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#S0YP (statement). In GGW2N4JHXM/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
A4XYE2J1AQ A4XYE2J1AQ
| URI | m2://inv/A4XYE2J1AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#XKYF (statement). In 5KR3MHYVV6/e1, corollary 5.9
History
- 2026-10-28: add by m2/v0.4.2
Nagata ring A4Y0DTWJJ7
| URI | m2://inv/A4Y0DTWJJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagata ring, Nagata ring (definition). Also Wikidata Q6958665
History
- 2026-11-02: add by m2/dev
well-ordered set A4Y1XVC8KD
| URI | m2://inv/A4Y1XVC8KD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54561312, well-ordered set (concept). Also EoM Well-ordered_set, MathWorld WellOrderedSet, ProofWiki Definition:Well-Ordered_Set
History
- 2026-10-26: add by m2/dev
Finite interpolation A4Y2T6DV4H
| URI | m2://inv/A4Y2T6DV4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#16CB, Finite interpolation (statement). In 7NS75J7HAM/e1, lemma 5.7
History
- 2026-10-31: add by m2/v0.5.6
homotopy, group A4Y4MZNPAA
| URI | m2://inv/A4Y4MZNPAA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/homotopy-group, homotopy, group (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Double turnstile A4YB0EP26Q
| URI | m2://inv/A4YB0EP26Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double turnstile, Double turnstile (definition). Also Wikidata Q5300115
History
- 2026-11-02: add by m2/dev
A4YBE8NYDS A4YBE8NYDS
| URI | m2://inv/A4YBE8NYDS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
A4YHACH81D A4YHACH81D
| URI | m2://inv/A4YHACH81D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28650#PLM4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Jacobian A4YQYHNV6M
| URI | m2://inv/A4YQYHNV6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#3HZO, Jacobian (definition)
History
- 2026-11-02: add by m2/dev
A4YVFQF1X1 A4YVFQF1X1
| URI | m2://inv/A4YVFQF1X1 |
|---|---|
| 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 2205.13464#EI7L (statement). In JPYGC2R3FC/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.6
Variations A4YXPY6946
| URI | m2://inv/A4YXPY6946 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danzer set#9D30, Variations (statement)
History
- 2026-11-02: add by m2/dev
A4Z3EFSZNY A4Z3EFSZNY
| URI | m2://inv/A4Z3EFSZNY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barker code#FNXQ (problem)
History
- 2026-11-02: add by m2/dev
Torus knot A4Z9KRHK0B
| URI | m2://inv/A4Z9KRHK0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#1SMS, Torus knot (definition)
- wikipedia: Wikipedia List of topologies#8S6H, Torus knot (definition)
History
- 2026-11-02: add by m2/dev
A4ZEY3SFT4 A4ZEY3SFT4
| URI | m2://inv/A4ZEY3SFT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.19669#PJUZ (statement). In 1QPAA94Q76/e1, lemma 42
History
- 2026-10-28: add by m2/v0.4.2
Definition A4ZGVWBK7F
| URI | m2://inv/A4ZGVWBK7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic function#BTYF, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of letters used in mathematics and science A4ZGW8RHDW
| URI | m2://inv/A4ZGW8RHDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#ZBMP, List of letters used in mathematics and science (topic)
History
- 2026-11-02: add by m2/dev
A4ZQ0PB0EA A4ZQ0PB0EA
| URI | m2://inv/A4ZQ0PB0EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#C73X (statement). In SD28S3K7BT/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.12
Frobenioid A4ZR0EYQ39
| URI | m2://inv/A4ZR0EYQ39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#DZNR, Frobenioid (definition)
History
- 2026-11-02: add by m2/dev
Example A4ZT0SKF5P
| URI | m2://inv/A4ZT0SKF5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stan (software)#6M9O, Example (example)
History
- 2026-11-02: add by m2/dev
Itô calculus A4ZWGQR55N
| URI | m2://inv/A4ZWGQR55N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô calculus, Itô calculus (definition). Also Wikidata Q947053
History
- 2026-11-02: add by m2/dev
degree of a continuous mapping A4ZYWSKTDY
| URI | m2://inv/A4ZYWSKTDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Degree of a continuous map TMFG2P912R |
Mentions
- wikidata: Wikidata Q306564, degree of a continuous mapping (unknown). Also MathWorld BrouwerDegree
- wikipedia: Wikipedia Degree of a continuous mapping, Degree of a continuous mapping (definition). Also Wikidata Q306564
History
- 2026-10-26: add by m2/dev