Inventory rows 6W
The cards of the rows of the inventory whose ids start with 6W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
face 6W01H4M58J
| URI | m2://inv/6W01H4M58J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.5/face, face (concept). In QKM9DD2H56, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Finite difference 6W0AJ4HDP8
| URI | m2://inv/6W0AJ4HDP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#77MS, Finite difference (definition)
History
- 2026-11-02: add by m2/dev
Richard White 6W0CPWTJ8C
| URI | m2://inv/6W0CPWTJ8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard White (mathematician), Richard White (topic). Also Wikidata Q18945764
History
- 2026-11-02: add by m2/dev
6W0HTQXTVF 6W0HTQXTVF
| URI | m2://inv/6W0HTQXTVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#KCB2 (statement). In 7ZBQ8WGQVB/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
=*{Lemma 2.25 6W0WSEHPVB
| URI | m2://inv/6W0WSEHPVB |
|---|---|
| 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.36922#ZHQV, =*{Lemma 2.25 (statement). In BMHWE5QTTR/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
6W0XH8JFRB 6W0XH8JFRB
| URI | m2://inv/6W0XH8JFRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.14045#97MI (statement). In KZ71GXT2B0/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Richard Brauer 6W10HFBCHZ
| URI | m2://inv/6W10HFBCHZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9G5P, Richard Brauer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#APVD, Richard Brauer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KPE2, Richard Brauer (topic)
- wikipedia: Wikipedia List of German mathematicians#LZI9, Richard Brauer (topic)
History
- 2026-11-02: add by m2/dev
Werner Weber 6W115ETKQ6
| URI | m2://inv/6W115ETKQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#HER2, Werner Weber (topic)
History
- 2026-11-02: add by m2/dev
6W16BTERTQ 6W16BTERTQ
| URI | m2://inv/6W16BTERTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#HG9U (statement). In XXN6KKXPYF/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
Two-body Dirac equations 6W1RX6EXKX
| URI | m2://inv/6W1RX6EXKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-body Dirac equations, Two-body Dirac equations (definition). Also Wikidata Q7858689
History
- 2026-11-02: add by m2/dev
Extremal combinatorics 6W1TMZAJGD
| URI | m2://inv/6W1TMZAJGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DSVE, Extremal combinatorics (definition)
History
- 2026-11-02: add by m2/dev
I-spline 6W1V8MSWEC
| URI | m2://inv/6W1V8MSWEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I-spline, I-spline (definition). Also Wikidata Q5967762
History
- 2026-11-02: add by m2/dev
Applications 6W204V6NHD
| URI | m2://inv/6W204V6NHD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chapman–Enskog theory#7HT8, Applications (example)
History
- 2026-11-02: add by m2/dev
Discrete choice 6W26JY36B9
| URI | m2://inv/6W26JY36B9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QOSV, Discrete choice (definition)
History
- 2026-11-02: add by m2/dev
Rationality of the Rogers sum 6W29G76HJ1
| URI | m2://inv/6W29G76HJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.18512#SUYU, Rationality of the Rogers sum (statement). In 11JNM66Z09/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
type 6W2AQD2M94
| URI | m2://inv/6W2AQD2M94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Type 9V71Q3SD1G |
Mentions
- wikidata: Wikidata Q834884, type (unknown). Also nLab type (in model theory)
- wikipedia: Wikipedia Type (model theory), Type (definition). Also Wikidata Q834884
History
- 2026-10-26: add by m2/dev
6W2BHEHMTC 6W2BHEHMTC
| URI | m2://inv/6W2BHEHMTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#41WF (statement). In GB0V23Q6C5/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Healthy user bias 6W2TMDFMBW
| URI | m2://inv/6W2TMDFMBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Healthy user bias, Healthy user bias (definition). Also Wikidata Q1592347
History
- 2026-11-02: add by m2/dev
6W2ZHVEYZY 6W2ZHVEYZY
| URI | m2://inv/6W2ZHVEYZY |
|---|---|
| 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.06546#JNCO (statement). In G6DK297DQN/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Willem de Sitter 6W39MATWJ0
| URI | m2://inv/6W39MATWJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#46LE, Willem de Sitter (unknown)
History
- 2026-11-02: add by m2/dev
6W3J1EYCSM 6W3J1EYCSM
| URI | m2://inv/6W3J1EYCSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#9A09 (statement). In 9WP2QGKMG8/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Isosurface 6W3MJ6MXM4
| URI | m2://inv/6W3MJ6MXM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical computational geometry topics#9D1W, Isosurface (unknown)
History
- 2026-11-02: add by m2/dev
6W3QVVTATN 6W3QVVTATN
| URI | m2://inv/6W3QVVTATN |
|---|---|
| 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.40189#GW8R (statement). In K2MDWD9V46/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
6W3SB64ACK 6W3SB64ACK
| URI | m2://inv/6W3SB64ACK |
|---|---|
| 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.21692#PX0T (statement). In CT4N0JGDP4/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
Algorithmic probability 6W3SFNJAKG
| URI | m2://inv/6W3SFNJAKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#HZVL, Algorithmic probability (definition)
History
- 2026-11-02: add by m2/dev
Invertibility of contact blocks 6W3WFW1TY3
| URI | m2://inv/6W3WFW1TY3 |
|---|---|
| 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.05652#BJSZ, Invertibility of contact blocks (statement). In 8BNPFYQDQX/e1, lemma 9.7
History
- 2026-10-29: add by m2/v0.4.10
6W3XC5TMEK 6W3XC5TMEK
| URI | m2://inv/6W3XC5TMEK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#QOLL (definition)
History
- 2026-11-01: add by m2/v0.6.15
6W3Y9GTWHY 6W3Y9GTWHY
| URI | m2://inv/6W3Y9GTWHY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.13510#5OZO (example). In Y75MQW7CFV/e1, example 2.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 6W3Z2QX8T0
| URI | m2://inv/6W3Z2QX8T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davies–Bouldin index#ICTO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 6W4C3VHPH7
| URI | m2://inv/6W4C3VHPH7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler spiral#UFP0, Applications (example)
History
- 2026-11-02: add by m2/dev
6W4CVGJBXJ 6W4CVGJBXJ
| URI | m2://inv/6W4CVGJBXJ |
|---|---|
| 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.12295#K5K0 (statement). In 6DZPR52HRP/e1, lemma 4.16
History
- 2026-10-28: add by m2/v0.4.2
6W4R44A1WY 6W4R44A1WY
| URI | m2://inv/6W4R44A1WY |
|---|---|
| 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 1002.0879#C91T (statement). In M0SQY5EZN5/e1, theorem 6.1.5
History
- 2026-10-27: add by m2/v0.3.5
Hyperbolic law of cosines 6W4WDMJDMB
| URI | m2://inv/6W4WDMJDMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic law of cosines, Hyperbolic law of cosines (statement). Also Wikidata Q17028374
History
- 2026-11-02: add by m2/dev
Carol S. Carson 6W4ZYFM16F
| URI | m2://inv/6W4ZYFM16F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol S. Carson, Carol S. Carson (topic). Also Wikidata Q43586286
History
- 2026-11-02: add by m2/dev
6W54WHEES3 6W54WHEES3
| URI | m2://inv/6W54WHEES3 |
|---|---|
| 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.21388#IGOL (statement). In 3X4E9KSVWV/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.2
Theorem 6W5EYT7DDM
| URI | m2://inv/6W5EYT7DDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#0YGQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Recursive least squares 6W5FZJEBTJ
| URI | m2://inv/6W5FZJEBTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M3YB, Recursive least squares (definition)
History
- 2026-11-02: add by m2/dev
Orthic triangle 6W5HKDFZ0C
| URI | m2://inv/6W5HKDFZ0C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthocenter#K9EO, Orthic triangle (unknown)
History
- 2026-11-02: add by m2/dev
Example 6W5J44CGAM
| URI | m2://inv/6W5J44CGAM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gateaux derivative#4YBH, Example (example)
History
- 2026-11-02: add by m2/dev
6W63W2FC04 6W63W2FC04
| URI | m2://inv/6W63W2FC04 |
|---|---|
| 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.28181#P0IF (statement)
History
- 2026-11-01: add by m2/v0.6.15
6W64WEZB87 6W64WEZB87
| URI | m2://inv/6W64WEZB87 |
|---|---|
| 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.21868#0U06 (statement). In WWAQEF0093/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.2
6W66BDVFD3 6W66BDVFD3
| URI | m2://inv/6W66BDVFD3 |
|---|---|
| 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.24325#LKLO (statement)
History
- 2026-11-01: add by m2/v0.6.15
6W67F672WR 6W67F672WR
| URI | m2://inv/6W67F672WR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-79 (proof). In VNMV985MXX, proof, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Zero-entropy exact tilings 6W69NT46VS
| URI | m2://inv/6W69NT46VS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#DWWO, Zero-entropy exact tilings (statement). In VGJVFCDV8A/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Zinovy Reichstein 6W6CC4H7FW
| URI | m2://inv/6W6CC4H7FW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zinovy Reichstein, Zinovy Reichstein (topic). Also Wikidata Q8072449
History
- 2026-11-02: add by m2/dev
6W6D4Q02GX 6W6D4Q02GX
| URI | m2://inv/6W6D4Q02GX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#SZME (statement). In 66H5YPQCYV/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Lubachevsky–Stillinger algorithm 6W6SDMX9KT
| URI | m2://inv/6W6SDMX9KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubachevsky–Stillinger algorithm, Lubachevsky–Stillinger algorithm (definition). Also Wikidata Q4060678
History
- 2026-11-02: add by m2/dev
Jean-Marie Souriau 6W6ZK2YVQX
| URI | m2://inv/6W6ZK2YVQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1384927, Jean-Marie Souriau (unknown). Also nLab Jean-Marie Souriau
History
- 2026-10-26: add by m2/dev
6W70Y2GT72 6W70Y2GT72
| URI | m2://inv/6W70Y2GT72 |
|---|---|
| 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 2505.08839#IP77 (statement). In HJPDS53MX4/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.0
Eternity 6W7378HKKM
| URI | m2://inv/6W7378HKKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eternity, Eternity (definition). Also Wikidata Q138045
History
- 2026-11-02: add by m2/dev
free tree 6W7BCRM4E6
| URI | m2://inv/6W7BCRM4E6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2493581, free tree (unknown). Also MathWorld FreeTree
History
- 2026-10-26: add by m2/dev
Thom space 6W7H3KJCTT
| URI | m2://inv/6W7H3KJCTT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Thom space 5MNYT3AFPH |
Mentions
- wikidata: Wikidata Q2421733, Thom space (concept). Also nLab Thom space
- wikipedia: Wikipedia Thom space, Thom space (definition). Also Wikidata Q2421733
History
- 2026-10-26: add by m2/dev
6W7R8ZRKQG 6W7R8ZRKQG
| URI | m2://inv/6W7R8ZRKQG |
|---|---|
| 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.01561#P541 (statement). In W4G7BCHYEW/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Kriyakramakari 6W7S57SB2Y
| URI | m2://inv/6W7S57SB2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kriyakramakari, Kriyakramakari (definition). Also Wikidata Q6438636
History
- 2026-11-02: add by m2/dev
relation, effective equivalence 6W7TY9EBF5
| URI | m2://inv/6W7TY9EBF5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/relation-effective-equivalence, relation, effective equivalence (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
6W7XCPCNFM 6W7XCPCNFM
| URI | m2://inv/6W7XCPCNFM |
|---|---|
| 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.08682#AOXN (statement). In Y306A1GPM5/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Peter D. T. A. Elliott 6W8DSPDFH6
| URI | m2://inv/6W8DSPDFH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter D. T. A. Elliott, Peter D. T. A. Elliott (topic). Also Wikidata Q7173511
History
- 2026-11-02: add by m2/dev
6W8G6GSTRY 6W8G6GSTRY
| URI | m2://inv/6W8G6GSTRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32282#DOJ5 (statement). In MF7XEPN4GV/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
Lagrange invariant 6W8HAE35XF
| URI | m2://inv/6W8HAE35XF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#ZO8C, Lagrange invariant (unknown)
History
- 2026-11-02: add by m2/dev
6W8WS0F578 6W8WS0F578
| URI | m2://inv/6W8WS0F578 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#SAOY (definition)
History
- 2026-11-02: add by m2/v0.6.17
Conditional Bernstein increment 6W8YP487W9
| URI | m2://inv/6W8YP487W9 |
|---|---|
| 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.19207#QA0I, Conditional Bernstein increment (statement). In BH3R0BA3PC/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Properties 6W9ASSJNS3
| URI | m2://inv/6W9ASSJNS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suspension (topology)#4UCG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fumiko Futamura 6W9TDA11PR
| URI | m2://inv/6W9TDA11PR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fumiko Futamura, Fumiko Futamura (topic). Also Wikidata Q102341422
History
- 2026-11-02: add by m2/dev
6W9Y6R0P70 6W9Y6R0P70
| URI | m2://inv/6W9Y6R0P70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#ZTHG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chenyang Xu 6WA9PFXDPA
| URI | m2://inv/6WA9PFXDPA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chenyang Xu, Chenyang Xu (topic). Also Wikidata Q24887202
History
- 2026-11-02: add by m2/dev
horizontal composition, of natural transformations 6WB6CJ5G0R
| URI | m2://inv/6WB6CJ5G0R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.2/horizontal-composition-of-natural-transformations, horizontal composition, of natural transformations (concept). In N54F33XE07, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem 6WB6TRV880
| URI | m2://inv/6WB6TRV880 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear form#HQNA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mills, Frederick C. 6WBFNDE53M
| URI | m2://inv/6WBFNDE53M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A50O, Mills, Frederick C. (unknown)
History
- 2026-11-02: add by m2/dev
6WBH9CRGBW 6WBH9CRGBW
| URI | m2://inv/6WBH9CRGBW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Olga Gil Medrano 6WBHN9RCGZ
| URI | m2://inv/6WBHN9RCGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olga Gil Medrano, Olga Gil Medrano (topic). Also Wikidata Q6049813
History
- 2026-11-02: add by m2/dev
Hypergeometric function of a matrix argument 6WBQ6X8F4V
| URI | m2://inv/6WBQ6X8F4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function of a matrix argument, Hypergeometric function of a matrix argument (definition). Also Wikidata Q5958021
History
- 2026-11-02: add by m2/dev
6WBSC43EB3 6WBSC43EB3
| URI | m2://inv/6WBSC43EB3 |
|---|---|
| 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 2204.13401#RR65 (statement). In B8MJT0GGW8/e1, lemma 4.21
History
- 2026-10-27: add by m2/v0.4.0
6WBSCCG67G 6WBSCCG67G
| URI | m2://inv/6WBSCCG67G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#HNLO (statement)
History
- 2026-11-01: add by m2/v0.6.15
6WBVVCTABF 6WBVVCTABF
| URI | m2://inv/6WBVVCTABF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#activity-3 (exercise). In 649HGZKE96, activity, section 3.4.4
History
- 2026-11-01: add by m2/v0.6.13
Woodin cardinal 6WBWG5BBB9
| URI | m2://inv/6WBWG5BBB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodin cardinal, Woodin cardinal (definition). Also Wikidata Q2548234
History
- 2026-11-02: add by m2/dev
Idempotency 6WC1DJWHAN
| URI | m2://inv/6WC1DJWHAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#8QC5, Idempotency (statement). In 718SP8YERQ/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Related theorems 6WC2H6EBJ9
| URI | m2://inv/6WC2H6EBJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (graph theory)#R2ST, Related theorems (statement)
History
- 2026-11-02: add by m2/dev
David Tyshler 6WC78NES0Z
| URI | m2://inv/6WC78NES0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#VIM5, David Tyshler (unknown)
History
- 2026-11-02: add by m2/dev
6WC9JXVD2D 6WC9JXVD2D
| URI | m2://inv/6WC9JXVD2D |
|---|---|
| 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.24463#TYTR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conservation laws 6WCFT87A2R
| URI | m2://inv/6WCFT87A2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reversible cellular automaton#R8IG, Conservation laws (statement)
History
- 2026-11-02: add by m2/dev
338 (number) 6WCGD1NH89
| URI | m2://inv/6WCGD1NH89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#7V6G, 338 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Additional flat holonomy 6WD5A9V62V
| URI | m2://inv/6WD5A9V62V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#7C2L, Additional flat holonomy (statement). In YWXVX6AX8F/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
Atiyah algebroid 6WD5GYQ902
| URI | m2://inv/6WD5GYQ902 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4815874, Atiyah algebroid (concept). Also nLab Atiyah Lie algebroid
- wikipedia: Wikipedia Atiyah algebroid, Atiyah algebroid (definition). Also Wikidata Q4815874
History
- 2026-10-26: add by m2/dev
6WD65Q7AHW 6WD65Q7AHW
| URI | m2://inv/6WD65Q7AHW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-1.xml#question-eigen-basis (example). In 649HGZKE96, question, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
6WD6YC59V5 6WD6YC59V5
| URI | m2://inv/6WD6YC59V5 |
|---|---|
| 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.26813#RZ5M (statement)
History
- 2026-11-01: add by m2/v0.6.15
6WDAAYQ2VT 6WDAAYQ2VT
| URI | m2://inv/6WDAAYQ2VT |
|---|---|
| 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 2609.38138#2J58 (problem). In G97FA99ZEF/e1, problem 5.4
History
- 2026-10-30: add by m2/v0.4.12
triangular distribution 6WDBVDE2BV
| URI | m2://inv/6WDBVDE2BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q686473, triangular distribution (unknown). Also MathWorld TriangularDistribution
- wikipedia: Wikipedia Triangular distribution, Triangular distribution (definition). Also Wikidata Q686473
History
- 2026-10-26: add by m2/dev
Reeh–Schlieder theorem 6WDCSVM0W2
| URI | m2://inv/6WDCSVM0W2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1555342, Reeh–Schlieder theorem (statement). Also Wikidata Q1555342
- thousand_plus: thousand_plus Q1555342, Reeh–Schlieder theorem (statement). Also Wikidata Q1555342, Wikipedia Reeh–Schlieder theorem
- wikipedia: Wikipedia Reeh–Schlieder theorem, Reeh–Schlieder theorem (statement). Also Wikidata Q1555342
History
- 2026-10-26: add by m2/dev
Dirichlet's principle 6WDFVHBBJ1
| URI | m2://inv/6WDFVHBBJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dirichlet's principle RKK3XHG4MR |
Mentions
- wikidata: Wikidata Q975727, Dirichlet's principle (unknown). Also MathWorld DirichletsPrinciple
- wikipedia: Wikipedia Dirichlet's principle, Dirichlet's principle (statement). Also Wikidata Q975727
History
- 2026-10-26: add by m2/dev
6WDK8BBTC8 6WDK8BBTC8
| URI | m2://inv/6WDK8BBTC8 |
|---|---|
| Kind | statement |
| 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#EMGD (statement). In 9NDZ6GG9XZ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
pointed cone 6WDKZPDEXK
| URI | m2://inv/6WDKZPDEXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Convex geometry > pointed cone, pointed cone (unknown). Also Mathlib PointedCone
History
- 2026-10-26: add by m2/dev
6WDMGMDGDH 6WDMGMDGDH
| URI | m2://inv/6WDMGMDGDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#R0RH (statement). In 4SPYEGKZ8J/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
The first fundamental theorem of welfare economics 6WDPC4106Y
| URI | m2://inv/6WDPC4106Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgeworth box#TQEH, The first fundamental theorem of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
Lexington 6WDV480ZA0
| URI | m2://inv/6WDV480ZA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#2B9P, Lexington (unknown)
History
- 2026-11-02: add by m2/dev
D/M/1 queue 6WDW9QX9BZ
| URI | m2://inv/6WDW9QX9BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2R51, D/M/1 queue (definition)
History
- 2026-11-02: add by m2/dev
Quadratic Frobenius test 6WDWZMBY0V
| URI | m2://inv/6WDWZMBY0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Frobenius test, Quadratic Frobenius test (definition). Also Wikidata Q17083547
History
- 2026-11-02: add by m2/dev
Southeast Asian Mathematical Society 6WDZTC9PGN
| URI | m2://inv/6WDZTC9PGN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#U6J0, Southeast Asian Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
6WE53PMA16 6WE53PMA16
| URI | m2://inv/6WE53PMA16 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-40 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Definition and properties 6WE7R2FKQ2
| URI | m2://inv/6WE7R2FKQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphic number#ZZ7E, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Theorem 6WEAHP02YT
| URI | m2://inv/6WEAHP02YT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic boundary value problem#8AW9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
6WEAHTWTCA 6WEAHTWTCA
| URI | m2://inv/6WEAHTWTCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#9G2Z (statement). In V06H8BAGEH/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.3
Definition 6WECD8K4E7
| URI | m2://inv/6WECD8K4E7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drag count#WGXN, Definition (definition)
History
- 2026-11-02: add by m2/dev
6WED2T45WB 6WED2T45WB
| URI | m2://inv/6WED2T45WB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-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.13213#RQLO (definition). In V97F4YZ8B0/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Applications 6WEF8EZPKK
| URI | m2://inv/6WEF8EZPKK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic topic model#9YXK, Applications (example)
History
- 2026-11-02: add by m2/dev
André plane 6WEG9F432W
| URI | m2://inv/6WEG9F432W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André plane, André plane (definition). Also Wikidata Q4760111
History
- 2026-11-02: add by m2/dev
6WEJ7MJRSR 6WEJ7MJRSR
| URI | m2://inv/6WEJ7MJRSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1810.06028#F4HS (statement). In ZPFHH6YJG3/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Static product-loss objective 6WEJJ26CZC
| URI | m2://inv/6WEJJ26CZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31641#M547, Static product-loss objective (statement). In XC2HE3KXPM/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
6WENTASD7T 6WENTASD7T
| URI | m2://inv/6WENTASD7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#22H7 (statement). In 47WN78VDDF/e1, corollary 4.9
History
- 2026-10-30: add by m2/v0.4.12
Statement 6WEP5A1R88
| URI | m2://inv/6WEP5A1R88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur decomposition#RZE4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Gessel's lattice path conjecture 6WESTFE8MJ
| URI | m2://inv/6WESTFE8MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ira Gessel#USAB, Gessel's lattice path conjecture (statement)
History
- 2026-11-02: add by m2/dev
6WEW3PZV7W 6WEW3PZV7W
| URI | m2://inv/6WEW3PZV7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#RS8P (statement). In V0MA250K2P/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
6WF8W96C1P 6WF8W96C1P
| URI | m2://inv/6WF8W96C1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#B6MR (statement). In H52QQS8WZA/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.3.5
Hopf maximum principle 6WFCX3F2Q1
| URI | m2://inv/6WFCX3F2Q1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf maximum principle, Hopf maximum principle (statement). Also Wikidata Q5900506
History
- 2026-11-02: add by m2/dev
Clarke generalized derivative 6WFHJ66PNH
| URI | m2://inv/6WFHJ66PNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#YUA4, Clarke generalized derivative (definition)
History
- 2026-11-02: add by m2/dev
6WFRDZT6K7 6WFRDZT6K7
| URI | m2://inv/6WFRDZT6K7 |
|---|---|
| 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.23341#A8MN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Courcelle's theorem 6WG19VWATH
| URI | m2://inv/6WG19VWATH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic of graphs#HZO5, Courcelle's theorem (statement)
History
- 2026-11-02: add by m2/dev
6WG2XQA055 6WG2XQA055
| URI | m2://inv/6WG2XQA055 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#ZP8D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Abstract analytic number theory 6WG92W709E
| URI | m2://inv/6WG92W709E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract analytic number theory, Abstract analytic number theory (topic). Also Wikidata Q4669935
History
- 2026-11-02: add by m2/dev
Clinical trial register 6WG9E6JH3G
| URI | m2://inv/6WG9E6JH3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preregistration (science)#KIHZ, Clinical trial register (unknown)
History
- 2026-11-02: add by m2/dev
6WGBS4E089 6WGBS4E089
| URI | m2://inv/6WGBS4E089 |
|---|---|
| Kind | definition |
| 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 2510.12502#AUVT (definition). In 3A4K47Y9F2/e1, definition 5.16
History
- 2026-10-27: add by m2/v0.4.0
adequate equivalence relation 6WGP5K9CVF
| URI | m2://inv/6WGP5K9CVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4682344, adequate equivalence relation (unknown). Also nLab adequate equivalence relation
- wikipedia: Wikipedia Adequate equivalence relation, Adequate equivalence relation (definition). Also Wikidata Q4682344
History
- 2026-10-26: add by m2/dev
Application 6WGQ48PZH1
| URI | m2://inv/6WGQ48PZH1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent and identically distributed random variables#GQNE, Application (example)
History
- 2026-11-02: add by m2/dev
Alessandro Strumia 6WGWFWG8ND
| URI | m2://inv/6WGWFWG8ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56849337, Alessandro Strumia (unknown). Also nLab Alessandro Strumia
History
- 2026-10-26: add by m2/dev
6WGWXD46J0 6WGWXD46J0
| URI | m2://inv/6WGWXD46J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#F7KM (statement). In PA6JQDSKQT/e1, proposition 7.7
History
- 2026-10-28: add by m2/v0.4.2
6WH0FDDY3C 6WH0FDDY3C
| URI | m2://inv/6WH0FDDY3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-23 (statement). In VNMV985MXX, thm, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
American Housing Survey 6WH7VGNJCJ
| URI | m2://inv/6WH7VGNJCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Housing Survey, American Housing Survey (definition). Also Wikidata Q4744030
History
- 2026-11-02: add by m2/dev
Schinzel's hypothesis H 6WHB3WDT92
| URI | m2://inv/6WHB3WDT92 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137885, Schinzel's hypothesis H (conjecture). Also MathWorld SchinzelsHypothesis
- wikipedia: Wikipedia Schinzel's hypothesis H, Schinzel's hypothesis H (conjecture). Also Wikidata Q137885
History
- 2026-10-26: add by m2/dev
quotient rule 6WHBZPEYHR
| URI | m2://inv/6WHBZPEYHR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.3.3/quotient-rule, quotient rule (concept). In 907G4C4EJ1, index, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
6WHCMWEGDY 6WHCMWEGDY
| URI | m2://inv/6WHCMWEGDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#LXB4 (statement). In KCY80F2YGP/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.3
Exhaustiveness in nonzero curvature 6WHD0KWCAW
| URI | m2://inv/6WHD0KWCAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20197#PV8T, Exhaustiveness in nonzero curvature (statement)
History
- 2026-11-02: add by m2/v0.6.18
Use 6WHG3BYCBN
| URI | m2://inv/6WHG3BYCBN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octagonal prism#02EI, Use (example)
History
- 2026-11-02: add by m2/dev
L. Schwartz kernel theorem 6WHKH6KTZS
| URI | m2://inv/6WHKH6KTZS |
|---|---|
| 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 math/0301148#0TDX, L. Schwartz kernel theorem (statement). In 5RE15848Z0/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
6WHN8ENRAB 6WHN8ENRAB
| URI | m2://inv/6WHN8ENRAB |
|---|---|
| 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.29148#NFQ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Amnon Pazy 6WHNQZ67HW
| URI | m2://inv/6WHNQZ67HW |
|---|---|
| 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 Q6800114, Amnon Pazy (unknown). Also ProofWiki Mathematician:Amnon_Pazy
- wikipedia: Wikipedia Amnon Pazy, Amnon Pazy (topic). Also Wikidata Q6800114
History
- 2026-10-26: add by m2/dev
6WHSJHTHRF 6WHSJHTHRF
| URI | m2://inv/6WHSJHTHRF |
|---|---|
| Kind | problem |
| 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.20135#F29E (problem). In ZQQEN3J866/e1, problem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Jurjen Ferdinand Koksma 6WHX3DBAJ0
| URI | m2://inv/6WHX3DBAJ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XAO1, Jurjen Ferdinand Koksma (topic)
History
- 2026-11-02: add by m2/dev
6WHXK9Q1WZ 6WHXK9Q1WZ
| URI | m2://inv/6WHXK9Q1WZ |
|---|---|
| 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 2609.20588#GRYT (definition)
History
- 2026-11-02: add by m2/v0.6.18
regular expression 6WJ29JKYPV
| URI | m2://inv/6WJ29JKYPV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > regular expression, regular expression (unknown). Also Mathlib RegularExpression
History
- 2026-10-26: add by m2/dev
Model step and level-set invariance 6WJ9RVPH8G
| URI | m2://inv/6WJ9RVPH8G |
|---|---|
| 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.06557#C2V8, Model step and level-set invariance (statement). In VV5CH6Y31D/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Pawula theorem 6WJSVYMDGE
| URI | m2://inv/6WJSVYMDGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramers–Moyal expansion#5KIR, Pawula theorem (statement)
History
- 2026-11-02: add by m2/dev
Fractional log-concavity 6WJXGQ2RPN
| URI | m2://inv/6WJXGQ2RPN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#TCOC, Fractional log-concavity (definition). In W5XG3PGVF1/e1, definition 1.21
History
- 2026-10-29: add by m2/v0.4.10
Definition 6WJXHR7EQG
| URI | m2://inv/6WJXHR7EQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plesiohedron#R025, Definition (definition)
History
- 2026-11-02: add by m2/dev
Integral group ring 6WJXVVZHBY
| URI | m2://inv/6WJXVVZHBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#MEE0, Integral group ring (definition)
History
- 2026-11-02: add by m2/dev
Wavelet packet decomposition 6WJZ5WPTNW
| URI | m2://inv/6WJZ5WPTNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#CKOP, Wavelet packet decomposition (definition)
History
- 2026-11-02: add by m2/dev
6WK0X3R0JX 6WK0X3R0JX
| URI | m2://inv/6WK0X3R0JX |
|---|---|
| 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#PIFL (statement)
History
- 2026-11-02: add by m2/v0.6.18
6WK5PG73GX 6WK5PG73GX
| URI | m2://inv/6WK5PG73GX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-5 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Boosted trees 6WKG5WA7SD
| URI | m2://inv/6WKG5WA7SD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient boosting#AJUS, Boosted trees (unknown)
History
- 2026-11-02: add by m2/dev
6WKJKG0CJQ 6WKJKG0CJQ
| URI | m2://inv/6WKJKG0CJQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfinitudeOfPrimes.tex#problem-1 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
6WKKEKT1DZ 6WKKEKT1DZ
| URI | m2://inv/6WKKEKT1DZ |
|---|---|
| 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.08912#N6YK (statement). In DK5QY64NGH/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
6WKPQKRNXR 6WKPQKRNXR
| URI | m2://inv/6WKPQKRNXR |
|---|---|
| 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 2504.13328#S62D (statement). In 736Q32FYCG/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
James Keener 6WKTC2PC12
| URI | m2://inv/6WKTC2PC12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Keener, James Keener (topic). Also Wikidata Q28835630
History
- 2026-11-02: add by m2/dev
6WKV3PV899 6WKV3PV899
| URI | m2://inv/6WKV3PV899 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#4T0C (statement). In SMTJDX0Q6R/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
6WM4RPJ7R7 6WM4RPJ7R7
| URI | m2://inv/6WM4RPJ7R7 |
|---|---|
| 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.07049#QQIK (statement). In GMF552ESG6/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
428 (number) 6WMEFC7K5C
| URI | m2://inv/6WMEFC7K5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#JBHQ, 428 (number) (unknown)
History
- 2026-11-02: add by m2/dev
6WMMCA1PAD 6WMMCA1PAD
| URI | m2://inv/6WMMCA1PAD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/lindstrom-proof.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 47.5
History
- 2026-11-01: add by m2/v0.6.13
6WN6A45JDS 6WN6A45JDS
| URI | m2://inv/6WN6A45JDS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#41QH (unknown). In 4YJH4FPWDA/e1, unknown 3.18
History
- 2026-10-30: add by m2/v0.4.12
Frederick J. Ernst 6WNCR1407S
| URI | m2://inv/6WNCR1407S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#5328, Frederick J. Ernst (unknown)
History
- 2026-11-02: add by m2/dev
Axioms 6WNG11AVVM
| URI | m2://inv/6WNG11AVVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo–Fraenkel set theory#OA0B, Axioms (statement)
History
- 2026-11-02: add by m2/dev
List of mathematical knots and links 6WNJHMCYXK
| URI | m2://inv/6WNJHMCYXK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links, List of mathematical knots and links (topic). Also Wikidata Q6627329
History
- 2026-11-02: add by m2/dev
State Statistics Committee 6WNKZTJRKX
| URI | m2://inv/6WNKZTJRKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State Statistics Committee, State Statistics Committee (definition). Also Wikidata Q4146845
History
- 2026-11-02: add by m2/dev
Convexity and arc moments 6WNXGX9H71
| URI | m2://inv/6WNXGX9H71 |
|---|---|
| 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.28503#O08K, Convexity and arc moments (statement)
History
- 2026-11-01: add by m2/v0.6.15
Minkowski Portal Refinement 6WP79TCHQ0
| URI | m2://inv/6WP79TCHQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski Portal Refinement, Minkowski Portal Refinement (definition). Also Wikidata Q6867860
History
- 2026-11-02: add by m2/dev
Properties 6WPASC8WXV
| URI | m2://inv/6WPASC8WXV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Solomon error correction#H550, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wendy Myrvold 6WPC3W5HNQ
| URI | m2://inv/6WPC3W5HNQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wendy Myrvold, Wendy Myrvold (topic). Also Wikidata Q68642045
History
- 2026-11-02: add by m2/dev
6WPNGBGPEQ 6WPNGBGPEQ
| URI | m2://inv/6WPNGBGPEQ |
|---|---|
| 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 2507.13548#UG3V (statement). In 4NVVK50D1P/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
Closed-world assumption 6WPNHQ271F
| URI | m2://inv/6WPNHQ271F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-world assumption, Closed-world assumption (definition). Also Wikidata Q1102454
History
- 2026-11-02: add by m2/dev
Ipse dixit 6WPNZK37ZR
| URI | m2://inv/6WPNZK37ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ipse dixit, Ipse dixit (definition). Also Wikidata Q760901
History
- 2026-11-02: add by m2/dev
6WPRDVF0NN 6WPRDVF0NN
| URI | m2://inv/6WPRDVF0NN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#GQ5W (statement). In QHFP0837Q8/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.12
Local SSM smoothness 6WQ5R4GWKB
| URI | m2://inv/6WQ5R4GWKB |
|---|---|
| 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.02659#WRL3, Local SSM smoothness (statement). In EV933413SJ/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
6WQ5XG8D6G 6WQ5XG8D6G
| URI | m2://inv/6WQ5XG8D6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#6ILS (statement). In 29D4TTE3J2/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
6WQ6RJPEVE 6WQ6RJPEVE
| URI | m2://inv/6WQ6RJPEVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#O0VN (statement). In X3RFXWN6FW/e1, corollary 3.15
History
- 2026-10-27: add by m2/v0.3.6
Examples 6WQ6SABZHE
| URI | m2://inv/6WQ6SABZHE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faraday effect#6XWO, Examples (example)
History
- 2026-11-02: add by m2/dev
6WQAWDY769 6WQAWDY769
| URI | m2://inv/6WQAWDY769 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#QCZ0 (statement). In BQQK9JDJ9F/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
6WQB1991MQ 6WQB1991MQ
| URI | m2://inv/6WQB1991MQ |
|---|---|
| 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#CCPK (statement). In 5E9G06XJKC/e1, lemma F.41
History
- 2026-10-28: add by m2/v0.4.2
6WQB1X22T4 6WQB1X22T4
| URI | m2://inv/6WQB1X22T4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-7 (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
Second moment method 6WQHQHGRNM
| URI | m2://inv/6WQHQHGRNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FI7K, Second moment method (definition)
History
- 2026-11-02: add by m2/dev
Construction 6WQQFK4279
| URI | m2://inv/6WQQFK4279 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler tour technique#8MC8, Construction (definition)
History
- 2026-11-02: add by m2/dev
6WR17J0FA3 6WR17J0FA3
| URI | m2://inv/6WR17J0FA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24320#87I5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6WR784N1F2 6WR784N1F2
| URI | m2://inv/6WR784N1F2 |
|---|---|
| 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.18277#NM7X (statement). In YFRNY7S92A/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Local innovation moments 6WR9QXTERY
| URI | m2://inv/6WR9QXTERY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#RSIQ, Local innovation moments (statement)
History
- 2026-11-02: add by m2/v0.6.17
Richard Courant 6WR9SB1DCS
| URI | m2://inv/6WR9SB1DCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KNQQ, Richard Courant (topic)
History
- 2026-11-02: add by m2/dev
\emph{$t$-motives associated with Drinfeld modules 6WRCGC9MZ9
| URI | m2://inv/6WRCGC9MZ9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#IZPE, \emph{$t$-motives associated with Drinfeld modules (unknown)
History
- 2026-11-02: add by m2/v0.6.17
6WRCHY5QQA 6WRCHY5QQA
| URI | m2://inv/6WRCHY5QQA |
|---|---|
| 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#BZSW (statement). In ZA7WXGZYWC/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Peterson–Stein formula 6WRD0GAQHW
| URI | m2://inv/6WRD0GAQHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peterson–Stein formula, Peterson–Stein formula (statement). Also Wikidata Q7178271
History
- 2026-11-02: add by m2/dev
6WRD1FXX73 6WRD1FXX73
| URI | m2://inv/6WRD1FXX73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#5RM5 (statement). In 879ZDHVK7N/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.4.2
Tiles admitting a factor of iid tiling 6WRPCN2B93
| URI | m2://inv/6WRPCN2B93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.01511#ZMMF, Tiles admitting a factor of iid tiling (statement). In QA7EPHDTV2/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.0
Icosioctagon 6WRS3BKCQV
| URI | m2://inv/6WRS3BKCQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QO79, Icosioctagon (definition)
History
- 2026-11-02: add by m2/dev
zero capacity of critical manifolds 6WRY3NYWGM
| URI | m2://inv/6WRY3NYWGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#XGKZ, zero capacity of critical manifolds (statement). In CBCCH5VTMQ/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.12
Construction 6WS073EF6X
| URI | m2://inv/6WS073EF6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini–Study metric#0M6S, Construction (definition)
History
- 2026-11-02: add by m2/dev
6WSB9TE5TR 6WSB9TE5TR
| URI | m2://inv/6WSB9TE5TR |
|---|---|
| Kind | conjecture |
| 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.21762#YCDP (conjecture). In CYDJ6JGD4A/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.4.2
Reduced row echelon 6WSKG41SHF
| URI | m2://inv/6WSKG41SHF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row echelon form#L5K5, Reduced row echelon (unknown)
History
- 2026-11-02: add by m2/dev
Recursive construction in the $r$-direction 6WSM3ZB14D
| URI | m2://inv/6WSM3ZB14D |
|---|---|
| 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 2609.25957#VNJQ, Recursive construction in the $r$-direction (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert transform 6WSMM61KZE
| URI | m2://inv/6WSMM61KZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#7NUM, Hilbert transform (definition)
- wikipedia: Wikipedia List of transforms#RCAY, Hilbert transform (definition)
History
- 2026-11-02: add by m2/dev
Pink, , Proposition 8.1 6WSPV5EC35
| URI | m2://inv/6WSPV5EC35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#Q3R1, Pink, , Proposition 8.1 (statement). In E3EK0ESPA7/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
complex torus 6WSSCKW8Y3
| URI | m2://inv/6WSSCKW8Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complex torus Y7MA6KBE9M |
Mentions
- wikidata: Wikidata Q5156610, complex torus (unknown). Also nLab complex torus
- wikipedia: Wikipedia Complex torus, Complex torus (definition). Also Wikidata Q5156610
History
- 2026-10-26: add by m2/dev
Theorems and theories 6WT022NX93
| URI | m2://inv/6WT022NX93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem#WDFE, Theorems and theories (statement)
History
- 2026-11-02: add by m2/dev
6WT6T379FG 6WT6T379FG
| URI | m2://inv/6WT6T379FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00869#VDR2 (statement). In 63JMKC4GZE/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
spherical parallelogram 6WT91WHQQK
| URI | m2://inv/6WT91WHQQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#W16T, spherical parallelogram (definition)
History
- 2026-11-02: add by m2/dev
6WT9FPAR4J 6WT9FPAR4J
| URI | m2://inv/6WT9FPAR4J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/translation-N2i.tex#prop:N2-to-G2 (statement). In PKGMM3P5QY, prop, section 58.5
History
- 2026-11-01: add by m2/v0.6.13
6WT9KXGYB1 6WT9KXGYB1
| URI | m2://inv/6WT9KXGYB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:modal-char (statement). In N54F33XE07, thm, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
6WTDB56WZM 6WTDB56WZM
| URI | m2://inv/6WTDB56WZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#EV5D (statement). In YQT2APQPWD/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
6WTDFTQQA4 6WTDFTQQA4
| URI | m2://inv/6WTDFTQQA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#BZ65 (statement). In 9B5TNEBJHV/e1, lemma 1.7
History
- 2026-10-29: add by m2/v0.4.10
Chen--Li classification theorem 6WTGJXDNE6
| URI | m2://inv/6WTGJXDNE6 |
|---|---|
| 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.10086#O4Q0, Chen--Li classification theorem (statement). In NP9X9CAK19/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
6WTK3K9KGH 6WTK3K9KGH
| URI | m2://inv/6WTK3K9KGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#AQ85 (statement). In AQWX60Z563/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
6WTKHB8F3X 6WTKHB8F3X
| URI | m2://inv/6WTKHB8F3X |
|---|---|
| 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 1909.03896#ALBR (statement). In CX9RVPQVBM/e1, theorem 22
History
- 2026-10-27: add by m2/v0.3.5
Milo Sumner 6WTZEN2ZSX
| URI | m2://inv/6WTZEN2ZSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milo Sumner, Milo Sumner (topic). Also Wikidata Q87992586
History
- 2026-11-02: add by m2/dev
Annals of Statistics 6WV11TJJ8X
| URI | m2://inv/6WV11TJJ8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annals of Statistics, Annals of Statistics (definition). Also Wikidata Q564421
History
- 2026-11-02: add by m2/dev
6WV4WCHH6R 6WV4WCHH6R
| URI | m2://inv/6WV4WCHH6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05582#QBFA (statement). In 9X4TANWWWR/e1, fact 2.1
History
- 2026-10-29: add by m2/v0.4.10
6WVBXE4RRW 6WVBXE4RRW
| URI | m2://inv/6WVBXE4RRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#CAPP (statement). In 1MPH7GCFJ2/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Applications 6WVMEQCECW
| URI | m2://inv/6WVMEQCECW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard probability space#48B6, Applications (example)
History
- 2026-11-02: add by m2/dev
6WVT9WMS6B 6WVT9WMS6B
| URI | m2://inv/6WVT9WMS6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#IE6B (statement). In 6GK9EJMWY4/e1, lemma 3.13
History
- 2026-10-31: add by m2/v0.5.6
nitrogen-15 6WVTTK1BP5
| URI | m2://inv/6WVTTK1BP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3271953, nitrogen-15 (definition). Also ProofWiki Definition:Nitrogen/15
History
- 2026-10-26: add by m2/dev
6WVZ7VHT9A 6WVZ7VHT9A
| URI | m2://inv/6WVZ7VHT9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#983Z (statement). In 3REM2EXQK7/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
normal scheme 6WVZTTEGVG
| URI | m2://inv/6WVZTTEGVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Normal scheme EK261G1XP9 |
Mentions
- wikidata: Wikidata Q7051829, normal scheme (unknown). Also EoM Normal_scheme
- wikipedia: Wikipedia Normal scheme, Normal scheme (definition). Also Wikidata Q7051829
History
- 2026-10-26: add by m2/dev
6WW16HH4EY 6WW16HH4EY
| URI | m2://inv/6WW16HH4EY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#DAGM (example). In Q5Z178SAHP/e1, example 5.11
History
- 2026-10-30: add by m2/v0.4.12
6WW5QFJNMS 6WW5QFJNMS
| URI | m2://inv/6WW5QFJNMS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#AAEH (definition). In G02N9D40B9/e1, definition 3.1.2
History
- 2026-10-29: add by m2/v0.4.10
Fredholm alternative, Sturm--Liouville problems 6WWEAHB3ZM
| URI | m2://inv/6WWEAHB3ZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.1.3/fredholm-alternative-sturm-liouville-problems, Fredholm alternative, Sturm--Liouville problems (concept). In E9HS8K3A52, index, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
6WWEZ2DN7K 6WWEZ2DN7K
| URI | m2://inv/6WWEZ2DN7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#W4WL (statement)
History
- 2026-11-02: add by m2/v0.6.17
1 000 000 000 000 000 6WWFJ5QZS5
| URI | m2://inv/6WWFJ5QZS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#G6DT, 1 000 000 000 000 000 (unknown)
History
- 2026-11-02: add by m2/dev
Specialized Legendre--twist normalization 6WWHAAN0NT
| URI | m2://inv/6WWHAAN0NT |
|---|---|
| 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.03121#G2B6, Specialized Legendre--twist normalization (statement). In T50D36FB04/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
6WWJM4BM1M 6WWJM4BM1M
| URI | m2://inv/6WWJM4BM1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#T52O (statement). In 2XBYZ1QP22/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
change of variables to spherical co-ordinates 6WWMB8YPGS
| URI | m2://inv/6WWMB8YPGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > change of variables to spherical co-ordinates, change of variables to spherical co-ordinates (unknown)
History
- 2026-10-26: add by m2/dev
Theorem 6WX4GJ2Q43
| URI | m2://inv/6WX4GJ2Q43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute convergence#L0BP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Alternation 6WXPZEA2DA
| URI | m2://inv/6WXPZEA2DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternation (geometry), Alternation (definition). Also Wikidata Q3849911
History
- 2026-11-02: add by m2/dev
6WY0SMCG0C 6WY0SMCG0C
| URI | m2://inv/6WY0SMCG0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#1XEP (statement). In SFQBJBTW8K/e1, lemma 14.6
History
- 2026-10-27: add by m2/v0.3.5
Holland's schema theorem 6WY23SMQT5
| URI | m2://inv/6WY23SMQT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LFG0, Holland's schema theorem (statement)
History
- 2026-11-02: add by m2/dev
Special cases 6WY3CWG22X
| URI | m2://inv/6WY3CWG22X |
|---|---|
| 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.39449#O3I6, Special cases (statement). In GWC70X14RG/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Yang–Mills moduli space 6WY8GW0R6J
| URI | m2://inv/6WY8GW0R6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills moduli space, Yang–Mills moduli space (definition). Also Wikidata Q135911439
History
- 2026-11-02: add by m2/dev
Mal'cev's criterion 6WYXQR764V
| URI | m2://inv/6WYXQR764V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mal'cev's criterion, Mal'cev's criterion (statement). Also Wikidata Q123577573
History
- 2026-11-02: add by m2/dev
Leading asymptotics 6WZ15H52AX
| URI | m2://inv/6WZ15H52AX |
|---|---|
| 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 2610.10821#E4G9, Leading asymptotics (statement). In RWNP4FEE65/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.3
6WZ3GR3Q3T 6WZ3GR3Q3T
| URI | m2://inv/6WZ3GR3Q3T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.39254#OLQC (definition). In A59MZ9H284/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
╳ 6WZ6Z6GHRB
| URI | m2://inv/6WZ6Z6GHRB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box-drawing characters#XE3C, ╳ (unknown)
History
- 2026-11-02: add by m2/dev
6WZ7CZHRKS 6WZ7CZHRKS
| URI | m2://inv/6WZ7CZHRKS |
|---|---|
| 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.09648#V0P2 (statement). In WB9PTPN54H/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
6WZA0HFN19 6WZA0HFN19
| URI | m2://inv/6WZA0HFN19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00344#AXJK (statement). In WNA8D3Y1RA/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
6WZBK7F9XY 6WZBK7F9XY
| URI | m2://inv/6WZBK7F9XY |
|---|---|
| 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.14803#JT52 (statement). In VAEVDTBD3B/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Royal Statistical Society of Belgium 6WZDGK7EJQ
| URI | m2://inv/6WZDGK7EJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Royal Statistical Society of Belgium, Royal Statistical Society of Belgium (definition). Also Wikidata Q48749313
History
- 2026-11-02: add by m2/dev
Application 6WZE4TVREY
| URI | m2://inv/6WZE4TVREY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance intersection#ZYZ7, Application (example)
History
- 2026-11-02: add by m2/dev
Applications 6WZGF9NMD9
| URI | m2://inv/6WZGF9NMD9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized pencil-of-function method#AWO3, Applications (example)
History
- 2026-11-02: add by m2/dev
6WZM38S400 6WZM38S400
| URI | m2://inv/6WZM38S400 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-43 (proof). In N54F33XE07, proof, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
6WZMBB7SFZ 6WZMBB7SFZ
| URI | m2://inv/6WZMBB7SFZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#FWVY (definition). In ZH0PFTZ12Y/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
6WZR0D9ZRJ 6WZR0D9ZRJ
| URI | m2://inv/6WZR0D9ZRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33697#CJ2W (definition). In Q6GGQ29TRC/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
6WZTKFFPS2 6WZTKFFPS2
| URI | m2://inv/6WZTKFFPS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#ZUKI (statement)
History
- 2026-11-02: add by m2/v0.6.18