Inventory rows 6J
The cards of the rows of the inventory whose ids start with 6J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Almost stacked configurations on odd cycles 6J08KFXPGJ
| URI | m2://inv/6J08KFXPGJ |
|---|---|
| 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.09650#LVCU, Almost stacked configurations on odd cycles (statement). In 628KM8869P/e1, theorem 4.11
History
- 2026-10-29: add by m2/v0.4.10
6J09CMKQRY 6J09CMKQRY
| URI | m2://inv/6J09CMKQRY |
|---|---|
| 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.39700#C1OP (statement). In E7W2HDNEKJ/e1, theorem 7.26
History
- 2026-10-30: add by m2/v0.4.12
6J0A2673Y0 6J0A2673Y0
| URI | m2://inv/6J0A2673Y0 |
|---|---|
| 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.03856#HS37 (statement). In HTBRYNPHSJ/e1, lemma 6.11
History
- 2026-10-29: add by m2/v0.4.12
6J0EZHBBTE 6J0EZHBBTE
| URI | m2://inv/6J0EZHBBTE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-20 (proof). In N54F33XE07, proof, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
6J0JQ92ZHJ 6J0JQ92ZHJ
| URI | m2://inv/6J0JQ92ZHJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-59 (exercise). In E59CDZA4DP, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
6J0KZYY23D 6J0KZYY23D
| URI | m2://inv/6J0KZYY23D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#05L6 (statement). In M8TSJ24RC2/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
Applications 6J0VANTVDM
| URI | m2://inv/6J0VANTVDM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 0.999...#J1ZS, Applications (example)
History
- 2026-11-02: add by m2/dev
6J0W03BHGV 6J0W03BHGV
| URI | m2://inv/6J0W03BHGV |
|---|---|
| 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.02506#HG5S (statement). In 3JKRBZWJ33/e1, corollary 4.15
History
- 2026-10-29: add by m2/v0.4.12
6J0WGTGVDN 6J0WGTGVDN
| URI | m2://inv/6J0WGTGVDN |
|---|---|
| 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#R19H (statement). In AQWX60Z563/e1, corollary A.6
History
- 2026-10-28: add by m2/v0.4.2
Shreeram Shankar Abhyankar 6J0WM6PEC4
| URI | m2://inv/6J0WM6PEC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RE73, Shreeram Shankar Abhyankar (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CA5V, Shreeram Shankar Abhyankar (topic)
History
- 2026-11-02: add by m2/dev
Jürgen Herzog 6J0X7FPBSX
| URI | m2://inv/6J0X7FPBSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jürgen Herzog, Jürgen Herzog (topic). Also Wikidata Q79052321
History
- 2026-11-02: add by m2/dev
Recovery of the Average Discrete Hessian 6J11RNG13H
| URI | m2://inv/6J11RNG13H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16705#HOB4, Recovery of the Average Discrete Hessian (statement). In B48YQVGAF5/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.2
6J16N806JW 6J16N806JW
| URI | m2://inv/6J16N806JW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
6J1830MEKM 6J1830MEKM
| URI | m2://inv/6J1830MEKM |
|---|---|
| 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.23871#DJEV (statement)
History
- 2026-11-02: add by m2/v0.6.17
6J1A3RCGK9 6J1A3RCGK9
| URI | m2://inv/6J1A3RCGK9 |
|---|---|
| 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.16657#O0RW (statement). In SRQ37RX6MK/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
6J1D13YY1H 6J1D13YY1H
| URI | m2://inv/6J1D13YY1H |
|---|---|
| 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#QMOQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
6J1Z15HBQX 6J1Z15HBQX
| URI | m2://inv/6J1Z15HBQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38953#V3UJ (statement). In 3CRBMY85R5/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Separating words problem 6J1Z8GW58K
| URI | m2://inv/6J1Z8GW58K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separating words problem, Separating words problem (conjecture). Also Wikidata Q25304554
History
- 2026-11-02: add by m2/dev
Szemer\'edi Graph Regularity Lemma 6J1ZQ8E6YB
| URI | m2://inv/6J1ZQ8E6YB |
|---|---|
| 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.38772#TTWS, Szemer\'edi Graph Regularity Lemma (statement). In 1C3R5NAQAP/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Applications 6J27ZD2BJQ
| URI | m2://inv/6J27ZD2BJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Depth-first search#KEYR, Applications (example)
History
- 2026-11-02: add by m2/dev
Random tree 6J2EAA47KW
| URI | m2://inv/6J2EAA47KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random tree, Random tree (definition). Also Wikidata Q14942679
History
- 2026-11-02: add by m2/dev
6J2H9SWJME 6J2H9SWJME
| URI | m2://inv/6J2H9SWJME |
|---|---|
| Kind | example |
| 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.07828#YVCU (example). In TWGMVT1N1G/e1, example 8.6
History
- 2026-10-29: add by m2/v0.4.10
Proper forcing axiom 6J2HQY75J8
| URI | m2://inv/6J2HQY75J8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper forcing axiom, Proper forcing axiom (statement). Also Wikidata Q749043
History
- 2026-11-02: add by m2/dev
$\eta $-expansion 6J2J6BTWE8
| URI | m2://inv/6J2J6BTWE8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.5/eta-expansion, $\eta $-expansion (concept). In N54F33XE07, index, section A.5
History
- 2026-11-01: add by m2/v0.6.13
Symmetries 6J2SQ65105
| URI | m2://inv/6J2SQ65105 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant bracket#2R1O, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Gaussian elimination and matrix multiplication 6J2SSR2RAA
| URI | m2://inv/6J2SSR2RAA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#activity-3, Gaussian elimination and matrix multiplication (exercise). In 649HGZKE96, activity, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
V. S. Huzurbazar 6J339RQRRQ
| URI | m2://inv/6J339RQRRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#IVA2, V. S. Huzurbazar (unknown)
History
- 2026-11-02: add by m2/dev
6J3AD8VGTM 6J3AD8VGTM
| URI | m2://inv/6J3AD8VGTM |
|---|---|
| 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.09084#R06V (statement). In F5VT2K2QYX/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
6J3NK74CPR 6J3NK74CPR
| URI | m2://inv/6J3NK74CPR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-5-chain.xml#example-4 (example). In 907G4C4EJ1, example, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
6J3Q0MWH23 6J3Q0MWH23
| URI | m2://inv/6J3Q0MWH23 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#CF93 (example). In 3THDT8WNF7/e1, example 2
History
- 2026-10-29: add by m2/v0.4.12
6J3S84JZJ6 6J3S84JZJ6
| URI | m2://inv/6J3S84JZJ6 |
|---|---|
| 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 2610.10796#D4B3 (statement). In 9YDW0QJZ6K/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
6J3XT8DN83 6J3XT8DN83
| URI | m2://inv/6J3XT8DN83 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-18 (proof). In N54F33XE07, proof, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
6J3YX3NJ2Z 6J3YX3NJ2Z
| URI | m2://inv/6J3YX3NJ2Z |
|---|---|
| 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.18226#XPSR (statement). In B3EHT1FRM5/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Singular integral operators are singular operators 6J3Z8NSY31
| URI | m2://inv/6J3Z8NSY31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#34ES, Singular integral operators are singular operators (statement)
History
- 2026-11-01: add by m2/v0.6.15
6J40MF6Q7H 6J40MF6Q7H
| URI | m2://inv/6J40MF6Q7H |
|---|---|
| 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 2604.23212#9PYJ (statement). In 4X12V9RS0D/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
6J4CGPPVTT 6J4CGPPVTT
| URI | m2://inv/6J4CGPPVTT |
|---|---|
| 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.07040#9RPF (statement). In KMNXNW7FHP/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 6J4SD0WC02
| URI | m2://inv/6J4SD0WC02 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes parameters#4QQU, Properties (statement)
History
- 2026-11-02: add by m2/dev
6J4YYM1HDY 6J4YYM1HDY
| URI | m2://inv/6J4YYM1HDY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21914#R4G3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
6J53S76JC5 6J53S76JC5
| URI | m2://inv/6J53S76JC5 |
|---|---|
| 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.21477#5IVY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mainstream stereotypes 6J55XZXEVS
| URI | m2://inv/6J55XZXEVS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereotype#Z2YU, Mainstream stereotypes (unknown)
History
- 2026-11-02: add by m2/dev
Problem solving 6J567SXX3D
| URI | m2://inv/6J567SXX3D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem solving#7FEA, Problem solving (problem)
History
- 2026-11-02: add by m2/dev
6J5DMKYFMT 6J5DMKYFMT
| URI | m2://inv/6J5DMKYFMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#50ES (statement). In 9YAE8FNQST/e1, theorem 26.1
History
- 2026-10-30: add by m2/v0.4.12
Convergence of the GGDPC graph distance 6J5JMWD7F2
| URI | m2://inv/6J5JMWD7F2 |
|---|---|
| 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.01050#HF7W, Convergence of the GGDPC graph distance (statement). In 48NN33SAH7/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 6J5PBME5YT
| URI | m2://inv/6J5PBME5YT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language identification in the limit#0P7Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Carmichael's totient function conjecture 6J5S52MRSZ
| URI | m2://inv/6J5S52MRSZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#57VB, Carmichael's totient function conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Tetris 6J6AAB1J1Q
| URI | m2://inv/6J6AAB1J1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#YQG2, Tetris (unknown)
History
- 2026-11-02: add by m2/dev
ad hominem 6J6CH0XTSZ
| URI | m2://inv/6J6CH0XTSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#T3WH, ad hominem (definition)
History
- 2026-11-02: add by m2/dev
Local Weyl rigidity 6J6D8WTM2G
| URI | m2://inv/6J6D8WTM2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#QYYF, Local Weyl rigidity (statement). In X1AGBB90EH/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Bidiagonalization 6J6JQ9SWC5
| URI | m2://inv/6J6JQ9SWC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidiagonalization, Bidiagonalization (definition). Also Wikidata Q4904167
History
- 2026-11-02: add by m2/dev
6J6TNWEAQ0 6J6TNWEAQ0
| URI | m2://inv/6J6TNWEAQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#94CW (statement). In FK89DQ9J4S/e1, lemma 6.9
History
- 2026-10-30: add by m2/v0.4.12
6J6V2ERE0A 6J6V2ERE0A
| URI | m2://inv/6J6V2ERE0A |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#A3ON (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
6J73KHYXY2 6J73KHYXY2
| URI | m2://inv/6J73KHYXY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.01410#IITH (statement). In BE0P5W2W3T/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Adaptive Contiguity Estimate 6J782G4NS8
| URI | m2://inv/6J782G4NS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16705#A6VZ, Adaptive Contiguity Estimate (statement). In B48YQVGAF5/e1, theorem 6.10
History
- 2026-10-28: add by m2/v0.4.2
Logarithm of the mean for a prescribed support 6J7H8STXRQ
| URI | m2://inv/6J7H8STXRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.12619#VDFK, Logarithm of the mean for a prescribed support (statement). In 7F8KACT5AJ/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Proof of \thmref{thm:Rothstein} 6J7JDRPNP1
| URI | m2://inv/6J7JDRPNP1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-11, Proof of \thmref{thm:Rothstein} (proof). In VNMV985MXX, proof, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
subnormal subgroup 6J7P3MW8AF
| URI | m2://inv/6J7P3MW8AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Subnormal subgroup FKTQ1WBMKM |
Mentions
- wikidata: Wikidata Q2361983, subnormal subgroup (unknown). Also EoM Subnormal_subgroup, MathWorld SubnormalSubgroup
- wikipedia: Wikipedia Subnormal subgroup, Subnormal subgroup (definition). Also Wikidata Q2361983
History
- 2026-10-26: add by m2/dev
tangent vector 6J7P5S22FQ
| URI | m2://inv/6J7P5S22FQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/tangent-vector, tangent vector (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
6J7WJQRS66 6J7WJQRS66
| URI | m2://inv/6J7WJQRS66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13042#IENF (statement). In 4QA108C07Y/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
Cosmic space 6J7Y526SQP
| URI | m2://inv/6J7Y526SQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic space, Cosmic space (definition). Also Wikidata Q5174145
History
- 2026-11-02: add by m2/dev
6J7YFVE04S 6J7YFVE04S
| URI | m2://inv/6J7YFVE04S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#ZU09 (statement). In CTVPA2FQT1/e1, lemma 8.3.1
History
- 2026-10-27: add by m2/v0.4.0
Gregg Zuckerman 6J85QFTT2W
| URI | m2://inv/6J85QFTT2W |
|---|---|
| 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 Q5606612, Gregg Zuckerman (unknown). Also nLab Gregg Zuckerman
- wikipedia: Wikipedia Gregg Zuckerman, Gregg Zuckerman (topic). Also Wikidata Q5606612
History
- 2026-10-26: add by m2/dev
6J85ZT15DK 6J85ZT15DK
| URI | m2://inv/6J85ZT15DK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#1DDN (example). In DGE917KQSQ/e1, example 7.1
History
- 2026-10-27: add by m2/v0.4.2
6J86J2TNW2 6J86J2TNW2
| URI | m2://inv/6J86J2TNW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.12263#3TZS (statement). In 3Z029EZBBS/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
The rough anti-peeling 6J8JGBZPV8
| URI | m2://inv/6J8JGBZPV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#S4MG, The rough anti-peeling (statement). In 9JHMTYGWFQ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
Turing Machine (band) 6J8PQDFDWW
| URI | m2://inv/6J8PQDFDWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#9CT5, Turing Machine (band) (unknown)
History
- 2026-11-02: add by m2/dev
6J8XFJMQH2 6J8XFJMQH2
| URI | m2://inv/6J8XFJMQH2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#WZ81 (definition). In 6M96RM3T7N/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Winnie Sun 6J928DKYVN
| URI | m2://inv/6J928DKYVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#0OFQ, Winnie Sun (unknown)
History
- 2026-11-02: add by m2/dev
Institute of Applied Physics and Computational Mathematics 6J9499AVF4
| URI | m2://inv/6J9499AVF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Applied Physics and Computational Mathematics, Institute of Applied Physics and Computational Mathematics (definition). Also Wikidata Q6039862
History
- 2026-11-02: add by m2/dev
Kung Ching Chang 6J966QDF3R
| URI | m2://inv/6J966QDF3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XFRH, Kung Ching Chang (unknown)
History
- 2026-11-02: add by m2/dev
Statement 6J9G0TD0XH
| URI | m2://inv/6J9G0TD0XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 17-animal inheritance puzzle#E2K4, Statement (statement)
History
- 2026-11-02: add by m2/dev
6J9K5KH62K 6J9K5KH62K
| URI | m2://inv/6J9K5KH62K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#IW72 (statement). In NS3RZ26JC7/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
6J9K6E2PFB 6J9K6E2PFB
| URI | m2://inv/6J9K6E2PFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/structural-induction.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 44.5
History
- 2026-11-01: add by m2/v0.6.13
Radius of Concavity for the Class $\mathcal{S}_e^*$ 6J9RN3XSVZ
| URI | m2://inv/6J9RN3XSVZ |
|---|---|
| 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 2609.26154#N05I, Radius of Concavity for the Class $\mathcal{S}_e^*$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
6J9T5HMKKR 6J9T5HMKKR
| URI | m2://inv/6J9T5HMKKR |
|---|---|
| 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 2208.07784#NYHW (statement). In X0GJCD9768/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.0
Algorithm 6JA0KFMXZK
| URI | m2://inv/6JA0KFMXZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#7YXM, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Random-center and path accounting 6JA3XMPYVT
| URI | m2://inv/6JA3XMPYVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#SJAA, Random-center and path accounting (statement). In TP61DYMBMK/e1, lemma 24
History
- 2026-10-28: add by m2/v0.4.2
Envy-free cake-cutting 6JA5FXYWXT
| URI | m2://inv/6JA5FXYWXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#CIBU, Envy-free cake-cutting (unknown)
History
- 2026-11-02: add by m2/dev
6JAE31YZ5K 6JAE31YZ5K
| URI | m2://inv/6JAE31YZ5K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#example-3 (example). In 649HGZKE96, example, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
6JAPT1GVH3 6JAPT1GVH3
| URI | m2://inv/6JAPT1GVH3 |
|---|---|
| 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.21692#XFKU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Parameterized complexity 6JB53PY7K0
| URI | m2://inv/6JB53PY7K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#FU58, Parameterized complexity (topic)
History
- 2026-11-02: add by m2/dev
6JB65GWZ0M 6JB65GWZ0M
| URI | m2://inv/6JB65GWZ0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#3AQY (definition). In S8NB83KQX3/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
Definition 6JB890T1JQ
| URI | m2://inv/6JB890T1JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential spectrum#MDNS, Definition (definition)
History
- 2026-11-02: add by m2/dev
6JBBEM614W 6JBBEM614W
| URI | m2://inv/6JBBEM614W |
|---|---|
| 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.17240#XWUQ (statement). In 59BZ4V9RQW/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
6JBBQ3T4S3 6JBBQ3T4S3
| URI | m2://inv/6JBBQ3T4S3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20135#XY6X (conjecture). In ZQQEN3J866/e1, conjecture A
History
- 2026-10-27: add by m2/v0.4.2
6JBPVR1BZV 6JBPVR1BZV
| URI | m2://inv/6JBPVR1BZV |
|---|---|
| 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 2602.19452#0166 (statement). In 3GF75S0XJ0/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.4.0
Eichler–Shimura isomorphism 6JBRME1PE9
| URI | m2://inv/6JBRME1PE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eichler–Shimura isomorphism, Eichler–Shimura isomorphism (definition). Also Wikidata Q5348730
History
- 2026-11-02: add by m2/dev
Abelian and Tauberian theorems 6JBZ73SNA0
| URI | m2://inv/6JBZ73SNA0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TUKQ, Abelian and Tauberian theorems (statement)
History
- 2026-11-02: add by m2/dev
Doubling and Poincaré for tamed metric measure spaces 6JC15TN2ND
| URI | m2://inv/6JC15TN2ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#5PIX, Doubling and Poincaré for tamed metric measure spaces (statement). In R81S9R1XNR/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
6JC3SSEK9T 6JC3SSEK9T
| URI | m2://inv/6JC3SSEK9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03449#HD80 (statement). In 3XM05SYQ8D/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
6JC4CEY2VA 6JC4CEY2VA
| URI | m2://inv/6JC4CEY2VA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#982Q (example)
History
- 2026-11-02: add by m2/v0.6.18
Law of large numbers, binomial distribution and central limit theorem 6JC92F8NNY
| URI | m2://inv/6JC92F8NNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli process#SOHZ, Law of large numbers, binomial distribution and central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
6JCDZ4K0R2 6JCDZ4K0R2
| URI | m2://inv/6JCDZ4K0R2 |
|---|---|
| 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.37593#N16O (statement). In YTF96VHKAH/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem 6JCTTV2VC9
| URI | m2://inv/6JCTTV2VC9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski functional#UJRW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Method of reasoning 6JCWQYK14H
| URI | m2://inv/6JCWQYK14H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reason#JMY6, Method of reasoning (unknown)
History
- 2026-11-02: add by m2/dev
Definition 6JCZ4WHT0A
| URI | m2://inv/6JCZ4WHT0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicity-one theorem#05N3, Definition (definition)
History
- 2026-11-02: add by m2/dev
6JDEZ19ENF 6JDEZ19ENF
| URI | m2://inv/6JDEZ19ENF |
|---|---|
| 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 2501.17009#BHU0 (statement). In PESAKD6SSW/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
Emmanuel Candès 6JDRTQGRN0
| URI | m2://inv/6JDRTQGRN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2X4K, Emmanuel Candès (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9TAS, Emmanuel Candès (unknown)
History
- 2026-11-02: add by m2/dev
List of mathematical topics in relativity 6JDTFF68FF
| URI | m2://inv/6JDTFF68FF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity, List of mathematical topics in relativity (topic). Also Wikidata Q6627334
History
- 2026-11-02: add by m2/dev
unitary group 6JDTY9QCJ8
| URI | m2://inv/6JDTY9QCJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > unitary group, unitary group (unknown). Also Mathlib Matrix.unitaryGroup
- mathlib_undergrad: mathlib_undergrad Group Theory > Classical automorphism groups > unitary group, unitary group (unknown). Also Mathlib Matrix.unitaryGroup
History
- 2026-10-26: add by m2/dev
6JDWQ13ZEV 6JDWQ13ZEV
| URI | m2://inv/6JDWQ13ZEV |
|---|---|
| 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.21935#9PXA (statement). In YDNK7E99JW/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
6JE372N8PK 6JE372N8PK
| URI | m2://inv/6JE372N8PK |
|---|---|
| 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.39269#HOVA (example). In HS4X20TX33/e1, example 0.18
History
- 2026-10-30: add by m2/v0.4.12
6JE3KEX4RY 6JE3KEX4RY
| URI | m2://inv/6JE3KEX4RY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/nonstandard-arithmetic.tex#thm:non-std (statement). In PKGMM3P5QY, thm, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
trimean 6JE7RWFHCB
| URI | m2://inv/6JE7RWFHCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7842161, trimean (unknown). Also MathWorld Trimean
- wikipedia: Wikipedia Trimean, Trimean (definition). Also Wikidata Q7842161
History
- 2026-10-26: add by m2/dev
6JE901PVJF 6JE901PVJF
| URI | m2://inv/6JE901PVJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27846#WUV7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6JEK120Z3A 6JEK120Z3A
| URI | m2://inv/6JEK120Z3A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#ASKB (definition). In E8FP48FJMZ/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Theorem 6JEXZT2D8F
| URI | m2://inv/6JEXZT2D8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism#ENSX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Paul F. Velleman 6JF3ZHPWDE
| URI | m2://inv/6JF3ZHPWDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VMK0, Paul F. Velleman (topic)
History
- 2026-11-02: add by m2/dev
Consequences of empty lists of formulas 6JFA24A8YS
| URI | m2://inv/6JFA24A8YS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent#E7G2, Consequences of empty lists of formulas (statement)
History
- 2026-11-02: add by m2/dev
6JFGHBSTEX 6JFGHBSTEX
| URI | m2://inv/6JFGHBSTEX |
|---|---|
| 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 2511.07697#PA7D (statement). In 57P5P33HS3/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Leo Corry 6JFK7T4ZY5
| URI | m2://inv/6JFK7T4ZY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OVL1, Leo Corry (topic)
History
- 2026-11-02: add by m2/dev
6JFQ95C80P 6JFQ95C80P
| URI | m2://inv/6JFQ95C80P |
|---|---|
| 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 2404.05965#C1DW (statement). In GD1GED3FZ3/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.3.5
Logica Universalis 6JFRF33HS1
| URI | m2://inv/6JFRF33HS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logica Universalis, Logica Universalis (definition). Also Wikidata Q6667475
History
- 2026-11-02: add by m2/dev
Derivative of $\Sigma_n$ 6JFTD06BEX
| URI | m2://inv/6JFTD06BEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#K30H, Derivative of $\Sigma_n$ (statement). In 54NQGN1BWM/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
washer 6JFZ4D0D9H
| URI | m2://inv/6JFZ4D0D9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#6X7W, washer (definition)
History
- 2026-11-02: add by m2/dev
Y. Ritov 6JGEF8YM4M
| URI | m2://inv/6JGEF8YM4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NA9M, Y. Ritov (unknown)
History
- 2026-11-02: add by m2/dev
6JGXFXCAEB 6JGXFXCAEB
| URI | m2://inv/6JGXFXCAEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#Q112 (statement)
History
- 2026-11-02: add by m2/v0.6.17
John Patterson 6JHAFC9G09
| URI | m2://inv/6JHAFC9G09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6QXD, John Patterson (unknown)
History
- 2026-11-02: add by m2/dev
Barton Zwiebach 6JHH4XQEZD
| URI | m2://inv/6JHH4XQEZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#7262, Barton Zwiebach (unknown)
History
- 2026-11-02: add by m2/dev
6JHHGMJYZQ 6JHHGMJYZQ
| URI | m2://inv/6JHHGMJYZQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#C2Q8 (definition). In 1P8D88DKG5/e1, definition A.3
History
- 2026-10-27: add by m2/v0.3.5
Jill DeMatteis 6JHPDTFVW3
| URI | m2://inv/6JHPDTFVW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#JRKG, Jill DeMatteis (unknown)
History
- 2026-11-02: add by m2/dev
data structure 6JJ4H9ASNN
| URI | m2://inv/6JJ4H9ASNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q175263, data structure (unknown). Also MathWorld DataStructure
- wikipedia: Wikipedia Data structure, Data structure (definition). Also Wikidata Q175263
History
- 2026-10-26: add by m2/dev
Guy David 6JJ6WEXEJ2
| URI | m2://inv/6JJ6WEXEJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RFXW, Guy David (topic)
History
- 2026-11-02: add by m2/dev
Subset 6JJ725174W
| URI | m2://inv/6JJ725174W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#P8C8, Subset (definition)
History
- 2026-11-02: add by m2/dev
6JJ87Q1FZ0 6JJ87Q1FZ0
| URI | m2://inv/6JJ87Q1FZ0 |
|---|---|
| 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 2610.00453#85GO (definition). In ESPJMBH2R2/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
$\UP$ set 6JJ8Q08XC1
| URI | m2://inv/6JJ8Q08XC1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#Z89E, $\UP$ set (definition). In GW23NX78SB/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
6JJ90BSSMM 6JJ90BSSMM
| URI | m2://inv/6JJ90BSSMM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/connectives.tex#ex-1 (example). In PKGMM3P5QY, ex, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
David Hilbert 6JJMB61YAS
| URI | m2://inv/6JJMB61YAS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#CRWN, David Hilbert (topic)
History
- 2026-11-02: add by m2/dev
6JJNCG7EZ5 6JJNCG7EZ5
| URI | m2://inv/6JJNCG7EZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#3VS0 (statement). In NSYR6W27FP/e1, proposition 4.16
History
- 2026-10-27: add by m2/v0.3.5
Rhombitetrapentagonal tiling 6JJT116YVZ
| URI | m2://inv/6JJT116YVZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombitetrapentagonal tiling, Rhombitetrapentagonal tiling (object). Also Wikidata Q7321291
History
- 2026-11-02: add by m2/dev
9-simplex 6JJXH49V36
| URI | m2://inv/6JJXH49V36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#M7IS, 9-simplex (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0EI1, 9-simplex (definition)
History
- 2026-11-02: add by m2/dev
Definitions 6JJYQTBEGH
| URI | m2://inv/6JJYQTBEGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarke generalized derivative#LH8T, Definitions (definition)
History
- 2026-11-02: add by m2/dev
6JK6CE864H 6JK6CE864H
| URI | m2://inv/6JK6CE864H |
|---|---|
| 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.38772#1HF2 (statement). In 1C3R5NAQAP/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
6JKH35A126 6JKH35A126
| URI | m2://inv/6JKH35A126 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#721I (statement)
History
- 2026-11-02: add by m2/v0.6.18
Multidimensional Hardy inequality near the boundary 6JKWM561H1
| URI | m2://inv/6JKWM561H1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy's inequality#8WSJ, Multidimensional Hardy inequality near the boundary (statement)
History
- 2026-11-02: add by m2/dev
6JM21T0SG1 6JM21T0SG1
| URI | m2://inv/6JM21T0SG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#7WM4 (statement). In MBHJA0HT06/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Properties 6JM2W831N4
| URI | m2://inv/6JM2W831N4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological vector space#20HM, Properties (statement)
History
- 2026-11-02: add by m2/dev
An unreachable record removes the attack at any belief 6JM6XRQMFZ
| URI | m2://inv/6JM6XRQMFZ |
|---|---|
| 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.00902#SQZX, An unreachable record removes the attack at any belief (statement). In 1BYMXTH5MW/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.12
Basic properties of the margin class 6JM96WVV5C
| URI | m2://inv/6JM96WVV5C |
|---|---|
| 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.21363#CSSM, Basic properties of the margin class (statement). In YPH7NS5AAQ/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.4.2
squaring the square 6JMJG020MS
| URI | m2://inv/6JMJG020MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2994174, squaring the square (unknown). Also MathWorld MrsPerkinssQuilt, MathWorld PerfectSquareDissection
- wikipedia: Wikipedia Squaring the square, Squaring the square (definition). Also Wikidata Q2994174
History
- 2026-10-26: add by m2/dev
Bidirected graph 6JMM50VZWC
| URI | m2://inv/6JMM50VZWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidirected graph, Bidirected graph (definition). Also Wikidata Q4904180
History
- 2026-11-02: add by m2/dev
Theorem 6JMPMCNMGE
| URI | m2://inv/6JMPMCNMGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riordan array#Q9VF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Continuous probability distribution 6JMSY12CN7
| URI | m2://inv/6JMSY12CN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H0RG, Continuous probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Representations 6JMZ5TV6YW
| URI | m2://inv/6JMZ5TV6YW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 2#LTKA, Representations (definition)
History
- 2026-11-02: add by m2/dev
Encrypted Title Key 6JN3J7J7MK
| URI | m2://inv/6JN3J7J7MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encrypted Title Key, Encrypted Title Key (definition). Also Wikidata Q5375614
History
- 2026-11-02: add by m2/dev
Algebraic identity 6JN3TWN4S1
| URI | m2://inv/6JN3TWN4S1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's four-square identity#W0H5, Algebraic identity (statement)
History
- 2026-11-02: add by m2/dev
Examples 6JN5EA3RYH
| URI | m2://inv/6JN5EA3RYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman's diamond lemma#MNS2, Examples (example)
History
- 2026-11-02: add by m2/dev
Mullvad 6JN9SACJ4Z
| URI | m2://inv/6JN9SACJ4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mullvad, Mullvad (definition). Also Wikidata Q47008412
History
- 2026-11-02: add by m2/dev
Johann Wilhelm Andreas Pfaff 6JNB90P5QS
| URI | m2://inv/6JNB90P5QS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Wilhelm Andreas Pfaff, Johann Wilhelm Andreas Pfaff (topic). Also Wikidata Q71296
History
- 2026-11-02: add by m2/dev
NUTS statistical regions of Liechtenstein 6JNCVG81R2
| URI | m2://inv/6JNCVG81R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NUTS statistical regions of Liechtenstein, NUTS statistical regions of Liechtenstein (definition). Also Wikidata Q1497166
History
- 2026-11-02: add by m2/dev
The jet embedding is a change of chart 6JNF71MECA
| URI | m2://inv/6JNF71MECA |
|---|---|
| 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.02637#ZUFR, The jet embedding is a change of chart (statement). In 5Z2H5XJ6EM/e1, corollary S3.2
History
- 2026-10-29: add by m2/v0.4.12
Social Weather Stations 6JNGE6P83A
| URI | m2://inv/6JNGE6P83A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#00GS, Social Weather Stations (unknown)
History
- 2026-11-02: add by m2/dev
6JNJZMWYYY 6JNJZMWYYY
| URI | m2://inv/6JNJZMWYYY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.2051#R599 (definition). In JYRVG8P8KC/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Outgroup favoritism 6JNYSRE61A
| URI | m2://inv/6JNYSRE61A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#DIK3, Outgroup favoritism (unknown)
History
- 2026-11-02: add by m2/dev
Structural rigidity 6JNZJTZ569
| URI | m2://inv/6JNZJTZ569 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural rigidity, Structural rigidity (definition). Also Wikidata Q7625050
History
- 2026-11-02: add by m2/dev
6JP6XER9FE 6JP6XER9FE
| URI | m2://inv/6JP6XER9FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#IMN3 (statement). In ATSYBWEMMP/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
Shifted drawdown energy 6JP9VA54FZ
| URI | m2://inv/6JP9VA54FZ |
|---|---|
| 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.20187#TYQT, Shifted drawdown energy (statement). In N280AVNNBY/e1, lemma B.8
History
- 2026-10-27: add by m2/v0.4.2
Uniformization 6JPDBTQGYW
| URI | m2://inv/6JPDBTQGYW |
|---|---|
| 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.16059#KF6Y, Uniformization (statement). In 51W7AECQDA/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Certified Gaussian inequality 6JPJNFJ7T8
| URI | m2://inv/6JPJNFJ7T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#IVBF, Certified Gaussian inequality (statement). In DQB4YR2DFH/e1, proposition 13.2
History
- 2026-10-29: add by m2/v0.4.12
6JPN0VCC01 6JPN0VCC01
| URI | m2://inv/6JPN0VCC01 |
|---|---|
| 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.00789#A342 (statement). In 4WPYBTARS2/e1, proposition 2.27
History
- 2026-10-29: add by m2/v0.4.12
6JPT2WSPVV 6JPT2WSPVV
| URI | m2://inv/6JPT2WSPVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#CC3H (statement). In M4ZVJWM8YA/e1, corollary A.19
History
- 2026-10-27: add by m2/v0.4.2
Alan Turing Centenary Conference 6JPWES6N4V
| URI | m2://inv/6JPWES6N4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#RONN, Alan Turing Centenary Conference (unknown)
History
- 2026-11-02: add by m2/dev
Wealthy Babcock 6JPWZSFE0N
| URI | m2://inv/6JPWZSFE0N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wealthy Babcock, Wealthy Babcock (topic). Also Wikidata Q21607990
History
- 2026-11-02: add by m2/dev
6JPY1W1CH8 6JPY1W1CH8
| URI | m2://inv/6JPY1W1CH8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#P4SL (example). In VN084GGZGK/e1, example 4.20
History
- 2026-10-28: add by m2/v0.4.3
Function extensionality 6JPYY5FK8M
| URI | m2://inv/6JPYY5FK8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#axiom:funext, Function extensionality (statement). In N54F33XE07, axiom, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
Quantum Algorithms for OPI 6JQ0CW63WQ
| URI | m2://inv/6JQ0CW63WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#F08U, Quantum Algorithms for OPI (statement). In 1F26AF81XP/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
Quadratic normal form 6JQ2P0D5AH
| URI | m2://inv/6JQ2P0D5AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38212#RQ3Z, Quadratic normal form (statement). In 5821K2RD8J/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
6JQ9VT6ZQZ 6JQ9VT6ZQZ
| URI | m2://inv/6JQ9VT6ZQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21915#1RN8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
6JQA8C47E2 6JQA8C47E2
| URI | m2://inv/6JQA8C47E2 |
|---|---|
| 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.21675#5PFL (statement). In TB1294GY5X/e1, theorem 3.21
History
- 2026-10-27: add by m2/v0.4.2
Order of accuracy 6JQCDA0Q9T
| URI | m2://inv/6JQCDA0Q9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of accuracy, Order of accuracy (definition). Also Wikidata Q7100567
History
- 2026-11-02: add by m2/dev
6JQG8MY8GS 6JQG8MY8GS
| URI | m2://inv/6JQG8MY8GS |
|---|---|
| Kind | statement |
| 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#2JOM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hans Reichenbach 6JQJNE8RW7
| URI | m2://inv/6JQJNE8RW7 |
|---|---|
| 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 Q170147, Hans Reichenbach (unknown). Also nLab Hans Reichenbach
- wikipedia: Wikipedia Hans Reichenbach, Hans Reichenbach (topic). Also Wikidata Q170147
History
- 2026-10-26: add by m2/dev
Hilbert's inequality 6JQMAQKCG0
| URI | m2://inv/6JQMAQKCG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert's inequality G4R4MWWP3C |
Mentions
- wikidata: Wikidata Q3153998, Hilbert's inequality (unknown). Also MathWorld HilbertsInequality
- wikipedia: Wikipedia Hilbert's inequality, Hilbert's inequality (statement). Also Wikidata Q3153998
History
- 2026-10-26: add by m2/dev
Clifford's theorem on special divisors 6JQQG2VDXT
| URI | m2://inv/6JQQG2VDXT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FZ87, Clifford's theorem on special divisors (conjecture)
History
- 2026-11-02: add by m2/dev
recursion principle, for $\Sn^1$ 6JQT5J3GEB
| URI | m2://inv/6JQT5J3GEB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/recursion-principle-for-sn-1, recursion principle, for $\Sn^1$ (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem 6JQWRA150N
| URI | m2://inv/6JQWRA150N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hille–Yosida theorem#CJ7Y, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
6JQXVTKP16 6JQXVTKP16
| URI | m2://inv/6JQXVTKP16 |
|---|---|
| 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 2412.14956#6OX7 (definition). In T8BQ6HHZYT/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
6JQY7YE65X 6JQY7YE65X
| URI | m2://inv/6JQY7YE65X |
|---|---|
| Kind | definition |
| 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 2610.05259#RXW6 (definition). In X1J5HKPS3R/e1, definition 1.19
History
- 2026-10-29: add by m2/v0.4.10
Fractional-order system 6JQZH5SGM0
| URI | m2://inv/6JQZH5SGM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional-order system, Fractional-order system (definition). Also Wikidata Q17014617
History
- 2026-11-02: add by m2/dev
The Mathematical Diary 6JR2YVZK5V
| URI | m2://inv/6JR2YVZK5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Mathematical Diary, The Mathematical Diary (definition). Also Wikidata Q7750653
History
- 2026-11-02: add by m2/dev
6JR3RZA9G0 6JR3RZA9G0
| URI | m2://inv/6JR3RZA9G0 |
|---|---|
| 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.02751#HLMP (statement). In MWGXPXF3BW/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.12
6JR4ZGXGDS 6JR4ZGXGDS
| URI | m2://inv/6JR4ZGXGDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#AD2Z (statement). In NVTHDNQQ4Q/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Almagest 6JRB3Y5S0Z
| URI | m2://inv/6JRB3Y5S0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q155952, Almagest (unknown). Also ProofWiki Book:Claudius_Ptolemy/Almagest
- wikipedia: Wikipedia Almagest, Almagest (definition). Also Wikidata Q155952
History
- 2026-10-26: add by m2/dev
Proper base change theorem 6JRC9E2Y5S
| URI | m2://inv/6JRC9E2Y5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UQZQ, Proper base change theorem (statement)
History
- 2026-11-02: add by m2/dev
6JRK2T9AG3 6JRK2T9AG3
| URI | m2://inv/6JRK2T9AG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/relations.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 44.3
History
- 2026-11-01: add by m2/v0.6.13
6JRQ9VGEY1 6JRQ9VGEY1
| URI | m2://inv/6JRQ9VGEY1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#PV0R (example)
History
- 2026-11-01: add by m2/v0.6.15
6JRS9SHQ83 6JRS9SHQ83
| URI | m2://inv/6JRS9SHQ83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#BTMA (statement). In B9EX6K51RD/e1, lemma 4.20
History
- 2026-10-28: add by m2/v0.4.2
Expansion of the defect coefficients 6JRYC2HHF7
| URI | m2://inv/6JRYC2HHF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#3G4J, Expansion of the defect coefficients (statement). In A7HTYWJNCX/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Initial regular cap 6JS4596SFN
| URI | m2://inv/6JS4596SFN |
|---|---|
| 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 2610.05204#OSN6, Initial regular cap (statement). In ET0TQ8YF7Z/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Bäcklund transform 6JS6WG37DS
| URI | m2://inv/6JS6WG37DS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bäcklund transform SS62J715AZ |
Mentions
- wikidata: Wikidata Q3537515, Bäcklund transform (concept). Also MathWorld BaecklundTransformation
- wikipedia: Wikipedia Bäcklund transform, Bäcklund transform (definition). Also Wikidata Q3537515
History
- 2026-10-26: add by m2/dev
6JSF31WB2H 6JSF31WB2H
| URI | m2://inv/6JSF31WB2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#E09X (statement). In 8ZKPJ3CBDF/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
6JSFZQAKCB 6JSFZQAKCB
| URI | m2://inv/6JSFZQAKCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#XV6I (statement). In 55WT8DME6Y/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
6JSGY1WPM9 6JSGY1WPM9
| URI | m2://inv/6JSGY1WPM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31242#BASZ (statement). In 3NPRR9546C/e1, lemma 2.9
History
- 2026-10-31: add by m2/v0.5.6
Component-pair whole-block exact cover 6JSKHSZ0BB
| URI | m2://inv/6JSKHSZ0BB |
|---|---|
| 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.20492#62ID, Component-pair whole-block exact cover (statement)
History
- 2026-11-02: add by m2/v0.6.18
A half-derivative commutator estimate 6JSMM8318K
| URI | m2://inv/6JSMM8318K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#ZRWT, A half-derivative commutator estimate (statement). In RHBS9QDHC3/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Example 6JSSWMXFAB
| URI | m2://inv/6JSSWMXFAB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median absolute deviation#QJ8N, Example (example)
History
- 2026-11-02: add by m2/dev
Local rule 6JSV3YD6JB
| URI | m2://inv/6JSV3YD6JB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#LLV0, Local rule (definition)
History
- 2026-11-01: add by m2/v0.6.15
6JT55T630N 6JT55T630N
| URI | m2://inv/6JT55T630N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#8NMH (statement). In BSWNH3NW1M/e1, theorem 4.11
History
- 2026-10-27: add by m2/v0.4.0
Pseudo-tensor category 6JT5B2RRAK
| URI | m2://inv/6JT5B2RRAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-tensor category, Pseudo-tensor category (definition). Also Wikidata Q137919968
History
- 2026-11-02: add by m2/dev
Definition 6JTA8MVPYN
| URI | m2://inv/6JTA8MVPYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nimber#5W7S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Planar reentry equations 6JTRK76VC8
| URI | m2://inv/6JTRK76VC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#052A, Planar reentry equations (unknown)
History
- 2026-11-02: add by m2/dev
orthogonal spectrum 6JTYQ2X8YY
| URI | m2://inv/6JTYQ2X8YY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56826460, orthogonal spectrum (unknown). Also nLab orthogonal spectrum
History
- 2026-10-26: add by m2/dev
locally connected space 6JV38SE84K
| URI | m2://inv/6JV38SE84K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Locally connected space FDVAHRJKF3 |
Mentions
- wikidata: Wikidata Q865967, locally connected space (unknown). Also MathWorld LocallyConnected
- wikipedia: Wikipedia Locally connected space, Locally connected space (definition). Also Wikidata Q865967
History
- 2026-10-26: add by m2/dev
Tabular sample complexity, detailed form 6JV3STM644
| URI | m2://inv/6JV3STM644 |
|---|---|
| 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.04117#R7BL, Tabular sample complexity, detailed form (statement). In 65E9N3DFYP/e1, theorem C.4
History
- 2026-10-29: add by m2/v0.4.12
Shrinkage (statistics) 6JVCGDTE70
| URI | m2://inv/6JVCGDTE70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#500I, Shrinkage (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Doob martingale 6JVSV2YP06
| URI | m2://inv/6JVSV2YP06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob martingale, Doob martingale (definition). Also Wikidata Q1972209
History
- 2026-11-02: add by m2/dev
6JVTWDNNN0 6JVTWDNNN0
| URI | m2://inv/6JVTWDNNN0 |
|---|---|
| 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 1010.3284#PHDU (statement). In 7D3VBRZGMY/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Icosikaienneagon 6JW2QYMB30
| URI | m2://inv/6JW2QYMB30 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#0GNM, Icosikaienneagon (topic)
History
- 2026-11-02: add by m2/dev
Badly Approximable Laurent series 6JW3DMETY5
| URI | m2://inv/6JW3DMETY5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#4E5P, Badly Approximable Laurent series (definition). In YVQKT91MYN/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Cutoff function 6JW5SEZH3D
| URI | m2://inv/6JW5SEZH3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mollifier#M8F5, Cutoff function (unknown)
History
- 2026-11-02: add by m2/dev
Examples 6JW6AKXRG8
| URI | m2://inv/6JW6AKXRG8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal curve#ZVXH, Examples (example)
History
- 2026-11-02: add by m2/dev
Alfred Horn 6JW6XZG3G4
| URI | m2://inv/6JW6XZG3G4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Horn, Alfred Horn (topic). Also Wikidata Q761863
History
- 2026-11-02: add by m2/dev
Tampering 6JWQCACGPV
| URI | m2://inv/6JWQCACGPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tampering (quality control), Tampering (definition). Also Wikidata Q7681777
History
- 2026-11-02: add by m2/dev
core 6JWQRXVWM8
| URI | m2://inv/6JWQRXVWM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4SLS, core (definition)
History
- 2026-11-02: add by m2/dev
Example 6JWWVHMKJ4
| URI | m2://inv/6JWWVHMKJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jumping line#Y8C0, Example (example)
History
- 2026-11-02: add by m2/dev
Snake lemma 6JX33A01N8
| URI | m2://inv/6JX33A01N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological algebra#CMCS, Snake lemma (statement)
History
- 2026-11-02: add by m2/dev
Applied Psychological Measurement 6JX6HNF5KZ
| URI | m2://inv/6JX6HNF5KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applied Psychological Measurement, Applied Psychological Measurement (definition). Also Wikidata Q4781564
History
- 2026-11-02: add by m2/dev
Definition 6JXA0KH8JT
| URI | m2://inv/6JXA0KH8JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collapsing algebra#DAG1, Definition (definition)
History
- 2026-11-02: add by m2/dev
absolute continuity 6JXFZDMEQ6
| URI | m2://inv/6JXFZDMEQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Absolute continuity ZT6F4C2YHK |
Mentions
- wikidata: Wikidata Q332504, absolute continuity (unknown). Also EoM Absolute_continuity, MathWorld AbsolutelyContinuous
- wikipedia: Wikipedia Absolute continuity, Absolute continuity (definition). Also Wikidata Q332504
History
- 2026-10-26: add by m2/dev
Generalized Riesel number 6JXQN9BWDG
| URI | m2://inv/6JXQN9BWDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesel number#EPZH, Generalized Riesel number (unknown)
History
- 2026-11-02: add by m2/dev
6JXRFQXB5A 6JXRFQXB5A
| URI | m2://inv/6JXRFQXB5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 26-XX, 46-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.27570#WH1G (statement)
History
- 2026-11-01: add by m2/v0.6.15
6JXS0FNA42 6JXS0FNA42
| URI | m2://inv/6JXS0FNA42 |
|---|---|
| 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#ATAS (statement). In H52QQS8WZA/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Dyson transform 6JXT0RQCXZ
| URI | m2://inv/6JXT0RQCXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Dyson transform, Dyson transform (unknown). Also Mathlib Finset.addDysonETransform
History
- 2026-10-26: add by m2/dev
Schreier–Sims algorithm 6JXTH1057P
| URI | m2://inv/6JXTH1057P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schreier–Sims algorithm, Schreier–Sims algorithm (definition). Also Wikidata Q7432874
History
- 2026-11-02: add by m2/dev
Zdzisław Krygowski 6JXV3QSD0F
| URI | m2://inv/6JXV3QSD0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zdzisław Krygowski, Zdzisław Krygowski (topic). Also Wikidata Q3850336
History
- 2026-11-02: add by m2/dev
Chain (algebraic topology) 6JY0P66KCV
| URI | m2://inv/6JY0P66KCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#M8TH, Chain (algebraic topology) (definition)
History
- 2026-11-02: add by m2/dev
6JY3TB1BWW 6JY3TB1BWW
| URI | m2://inv/6JY3TB1BWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#AUMU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kepler orbit 6JY67GM0ZS
| URI | m2://inv/6JY67GM0ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#JPPL, Kepler orbit (definition)
History
- 2026-11-02: add by m2/dev
Alberto E. Sagastume Berra 6JYNK4ZXG8
| URI | m2://inv/6JYNK4ZXG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B1HP, Alberto E. Sagastume Berra (unknown)
History
- 2026-11-02: add by m2/dev
6JYNS20VC8 6JYNS20VC8
| URI | m2://inv/6JYNS20VC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#009A (statement). In XM98BX97RT/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
6JYQHM8BMK 6JYQHM8BMK
| URI | m2://inv/6JYQHM8BMK |
|---|---|
| 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.01998#CVRJ (statement). In 71YD1PGG8E/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Applications 6JYWQGN6V2
| URI | m2://inv/6JYWQGN6V2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path cover#JMYW, Applications (example)
History
- 2026-11-02: add by m2/dev
Remark 6JYWY48SKR
| URI | m2://inv/6JYWY48SKR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological quantum field theory#VLXI, Remark (unknown)
History
- 2026-11-02: add by m2/dev
6JYZVZMXG9 6JYZVZMXG9
| URI | m2://inv/6JYZVZMXG9 |
|---|---|
| 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.27056#YYOG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shimon Even 6JZ0Y392XM
| URI | m2://inv/6JZ0Y392XM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ILW1, Shimon Even (unknown)
History
- 2026-11-02: add by m2/dev
Positive constant term 6JZ1HV99J4
| URI | m2://inv/6JZ1HV99J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#TRA1, Positive constant term (statement). In YCRZC9SDCE/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Sturm--Liouville problem, regular 6JZ4F4PDY6
| URI | m2://inv/6JZ4F4PDY6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.1.1/sturm-liouville-problem-regular, Sturm--Liouville problem, regular (concept). In E9HS8K3A52, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Gabriele Nebe 6JZ56H8P2Q
| URI | m2://inv/6JZ56H8P2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#KMLQ, Gabriele Nebe (topic)
History
- 2026-11-02: add by m2/dev
Sprite (computer graphics) 6JZ9SHMNGQ
| URI | m2://inv/6JZ9SHMNGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#9YQJ, Sprite (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
6JZAC9PYEH 6JZAC9PYEH
| URI | m2://inv/6JZAC9PYEH |
|---|---|
| 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 2310.14879#TNCR (statement). In 3VZ55B2N0D/e1, lemma 5.30
History
- 2026-10-27: add by m2/v0.4.0
Goals of null hypothesis tests 6JZBAJ1EX7
| URI | m2://inv/6JZBAJ1EX7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical hypothesis test#ZBBT, Goals of null hypothesis tests (statement)
History
- 2026-11-02: add by m2/dev
6JZCMJ7G6J 6JZCMJ7G6J
| URI | m2://inv/6JZCMJ7G6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#W5PA (statement). In 9JZJTRRVR1/e1, proposition 2.25
History
- 2026-10-29: add by m2/v0.4.12
6JZGMV78A5 6JZGMV78A5
| URI | m2://inv/6JZGMV78A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#UXF3 (statement). In NSP90G5XCQ/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.12
Bigraded Poisson algebra 6JZKG2P1NM
| URI | m2://inv/6JZKG2P1NM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#EQAR, Bigraded Poisson algebra (definition). In MS13WE3CSD/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
6JZTPQNP5T 6JZTPQNP5T
| URI | m2://inv/6JZTPQNP5T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#NM79 (definition). In 19GENJ3NCP/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Klein paradox 6JZWH7F1Y1
| URI | m2://inv/6JZWH7F1Y1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein paradox, Klein paradox (statement). Also Wikidata Q2383018
History
- 2026-11-02: add by m2/dev