Inventory rows 20
The cards of the rows of the inventory whose ids start with 20. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
geometrodynamics 2004DSX53Z
| URI | m2://inv/2004DSX53Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1542117, geometrodynamics (unknown). Also nLab geometrodynamics
History
- 2026-10-26: add by m2/dev
2006KFZBZQ 2006KFZBZQ
| URI | m2://inv/2006KFZBZQ |
|---|---|
| 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 2610.13888#93NS (statement). In XJWYBPS14M/e1, proposition 6.8
History
- 2026-10-28: add by m2/v0.4.2
20087YB8BM 20087YB8BM
| URI | m2://inv/20087YB8BM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#W57O (definition). In XYYEJN00D8/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Solo Nunatak 2008WYQEGZ
| URI | m2://inv/2008WYQEGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HZUS, Solo Nunatak (unknown)
History
- 2026-11-02: add by m2/dev
200B61S7AP 200B61S7AP
| URI | m2://inv/200B61S7AP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#17KP (example). In FCMMB2EVAP/e1, example 4.4
History
- 2026-10-27: add by m2/v0.4.2
Count data 200H1T23RQ
| URI | m2://inv/200H1T23RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LOHD, Count data (definition)
History
- 2026-11-02: add by m2/dev
200HB5G21B 200HB5G21B
| URI | m2://inv/200HB5G21B |
|---|---|
| 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.36186#6WMF (definition). In 30PQN6JP7W/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
200HN6WQYD 200HN6WQYD
| URI | m2://inv/200HN6WQYD |
|---|---|
| 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.11823#IC83 (statement). In YNQHA63Z2B/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.3
tripolar coordinates 200JAKPPKS
| URI | m2://inv/200JAKPPKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2845837, tripolar coordinates (unknown). Also MathWorld TripolarCoordinates
History
- 2026-10-26: add by m2/dev
One clock, not two 200WD7K7FK
| URI | m2://inv/200WD7K7FK |
|---|---|
| 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.27908#YPU2, One clock, not two (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact-cardinality lower bound 20114CTWGK
| URI | m2://inv/20114CTWGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20351#99WS, Exact-cardinality lower bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
2011T7G06G 2011T7G06G
| URI | m2://inv/2011T7G06G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19453#KEK2 (definition). In TX82YAVS5V/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Claire Miller 201C02KZMX
| URI | m2://inv/201C02KZMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claire Miller, Claire Miller (topic). Also Wikidata Q90117623
History
- 2026-11-02: add by m2/dev
Oleg V. Besov 201H7AGFMR
| URI | m2://inv/201H7AGFMR |
|---|---|
| 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#HYA4, Oleg V. Besov (topic)
History
- 2026-11-02: add by m2/dev
201QQR1HJ4 201QQR1HJ4
| URI | m2://inv/201QQR1HJ4 |
|---|---|
| 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.39104#PC8B (statement). In V2NTW27MSJ/e1, proposition 2.15
History
- 2026-10-30: add by m2/v0.4.12
201TEBR4H1 201TEBR4H1
| URI | m2://inv/201TEBR4H1 |
|---|---|
| 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.21036#64YR (statement). In G0M4N3E0CG/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
20211KR8PW 20211KR8PW
| URI | m2://inv/20211KR8PW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#VQ25 (statement). In N0JJM098W2/e1, theorem 20
History
- 2026-10-27: add by m2/v0.4.0
20240ZGDEB 20240ZGDEB
| URI | m2://inv/20240ZGDEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#M5CM (statement). In ZNBQD5WH1M/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
20273NQR9X 20273NQR9X
| URI | m2://inv/20273NQR9X |
|---|---|
| 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 2212.14457#OBNF (statement). In PNRHHWGHM2/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.6
Antony Unwin 202G55GS3S
| URI | m2://inv/202G55GS3S |
|---|---|
| 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#F6XY, Antony Unwin (unknown)
History
- 2026-11-02: add by m2/dev
Strongly regular graphs 202XC5TF0T
| URI | m2://inv/202XC5TF0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > Strongly regular graphs, Strongly regular graphs (unknown). Also Mathlib SimpleGraph.IsSRGWith
History
- 2026-10-26: add by m2/dev
A rate not expressible by radicals 202Z3SRJCZ
| URI | m2://inv/202Z3SRJCZ |
|---|---|
| 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.15125#JX99, A rate not expressible by radicals (statement). In V5GT8NJKCM/e1, proposition H.2
History
- 2026-10-28: add by m2/v0.4.2
The $A_-$ spins at $L^3R^3$ 202ZRSF6YE
| URI | m2://inv/202ZRSF6YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#4P9E, The $A_-$ spins at $L^3R^3$ (statement). In 11JNM66Z09/e1, fact 20.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 2034H2FZFJ
| URI | m2://inv/2034H2FZFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson wavelet#JSLU, Definition (definition)
History
- 2026-11-02: add by m2/dev
2038M53YFY 2038M53YFY
| URI | m2://inv/2038M53YFY |
|---|---|
| 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 2602.03909#9EPJ (statement). In WWFAVFGPQQ/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.0
203EK7VX7R 203EK7VX7R
| URI | m2://inv/203EK7VX7R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.6
History
- 2026-11-01: add by m2/v0.6.13
203GTM9SQ3 203GTM9SQ3
| URI | m2://inv/203GTM9SQ3 |
|---|---|
| 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.35542#7QTU (statement). In ATVC0HYDKD/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
203JB6CDWA 203JB6CDWA
| URI | m2://inv/203JB6CDWA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#proof-1 (proof). In RZP28ERRZV, proof, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
Multibody system 203JMPHC1M
| URI | m2://inv/203JMPHC1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multibody system, Multibody system (definition). Also Wikidata Q1917564
History
- 2026-11-02: add by m2/dev
The flat directions are chain shifts 203NJ2TC4H
| URI | m2://inv/203NJ2TC4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#N8UL, The flat directions are chain shifts (statement). In 11JNM66Z09/e1, proposition 15.1
History
- 2026-10-28: add by m2/v0.4.2
syntactic category 203V56EZSX
| URI | m2://inv/203V56EZSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5253026, syntactic category (unknown). Also nLab syntactic category
History
- 2026-10-26: add by m2/dev
De Rham theorem 203YKMGJM1
| URI | m2://inv/203YKMGJM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham theorem, De Rham theorem (statement). Also Wikidata Q129064812
History
- 2026-11-02: add by m2/dev
Shuffle product 2043WTTGC1
| URI | m2://inv/2043WTTGC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shuffle algebra#2NM3, Shuffle product (unknown)
History
- 2026-11-02: add by m2/dev
Confidence and prediction bands 2050BZTKZP
| URI | m2://inv/2050BZTKZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence and prediction bands, Confidence and prediction bands (definition). Also Wikidata Q5160083
History
- 2026-11-02: add by m2/dev
205155Z3NN 205155Z3NN
| URI | m2://inv/205155Z3NN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#4XQ2 (statement). In HGE2NCQW29/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Jeri Mulrow 20521YNFMD
| URI | m2://inv/20521YNFMD |
|---|---|
| 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#PNLN, Jeri Mulrow (topic)
History
- 2026-11-02: add by m2/dev
205873WK53 205873WK53
| URI | m2://inv/205873WK53 |
|---|---|
| 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.20406#XJZ4 (statement). In 1YW6C6XGT3/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Properties 205BQF4FHF
| URI | m2://inv/205BQF4FHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocorrelation#MRHC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lorentz space 205CY2M1MM
| URI | m2://inv/205CY2M1MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz space, Lorentz space (definition). Also Wikidata Q6680542
History
- 2026-11-02: add by m2/dev
205FGS5X02 205FGS5X02
| URI | m2://inv/205FGS5X02 |
|---|---|
| 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 2208.05288#P3JQ (statement). In RTW3GDYPND/e1, theorem 3.22
History
- 2026-10-27: add by m2/v0.4.0
cf.\ 205W1XGNBB
| URI | m2://inv/205W1XGNBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#GYN7, cf.\ (statement). In GWNT8HEZG1/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.6
Damped vibration 205YFQAEV6
| URI | m2://inv/205YFQAEV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vibration#5TUD, Damped vibration (unknown)
History
- 2026-11-02: add by m2/dev
205ZEW8BSD 205ZEW8BSD
| URI | m2://inv/205ZEW8BSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#OWPR (statement). In R0Q0RV8XCF/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
Blundon's inequality 2065PM1P2E
| URI | m2://inv/2065PM1P2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle inequalities#1T1F, Blundon's inequality (unknown)
History
- 2026-11-02: add by m2/dev
G. A. Margulis 2065Q5P604
| URI | m2://inv/2065Q5P604 |
|---|---|
| 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#DLSO, G. A. Margulis (topic)
History
- 2026-11-02: add by m2/dev
Rng of square zero 2067WW9JXN
| URI | m2://inv/2067WW9JXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rng (algebra)#DGAU, Rng of square zero (unknown)
History
- 2026-11-02: add by m2/dev
206C8SNTWX 206C8SNTWX
| URI | m2://inv/206C8SNTWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14204#277H (statement). In GZAY1Y12YD/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
206EABW55V 206EABW55V
| URI | m2://inv/206EABW55V |
|---|---|
| Kind | example |
| 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#9LE7 (example)
History
- 2026-11-02: add by m2/v0.6.17
206G374KHN 206G374KHN
| URI | m2://inv/206G374KHN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#AQHV (problem)
History
- 2026-11-01: add by m2/v0.6.15
206JK4N3BF 206JK4N3BF
| URI | m2://inv/206JK4N3BF |
|---|---|
| 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.22338#YHDJ (example)
History
- 2026-11-02: add by m2/v0.6.17
Feasible movement-coupled rate for $p<\min\{q,2\}$ 206PCS40SE
| URI | m2://inv/206PCS40SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21880#2WLP, Feasible movement-coupled rate for $p<\min\{q,2\}$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Differentiable sphere theorem 206SM7M9HJ
| URI | m2://inv/206SM7M9HJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere theorem#ZC7S, Differentiable sphere theorem (statement)
History
- 2026-11-02: add by m2/dev
David Thissen 206ST5QS4D
| URI | m2://inv/206ST5QS4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Thissen, David Thissen (topic). Also Wikidata Q28924974
History
- 2026-11-02: add by m2/dev
Pseudonormal space 206Z442Q50
| URI | m2://inv/206Z442Q50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudonormal space, Pseudonormal space (definition). Also Wikidata Q7255183
History
- 2026-11-02: add by m2/dev
2070KR1441 2070KR1441
| URI | m2://inv/2070KR1441 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#VS1T (statement). In 9B5TNEBJHV/e1, lemma 3.22
History
- 2026-10-29: add by m2/v0.4.10
2072G9R354 2072G9R354
| URI | m2://inv/2072G9R354 |
|---|---|
| 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 2610.09133#5503 (statement). In E7BPGPP9Z5/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
Henri Brinkman 20747YMX1P
| URI | m2://inv/20747YMX1P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Brinkman, Henri Brinkman (topic). Also Wikidata Q15876219
History
- 2026-11-02: add by m2/dev
20796GQVGY 20796GQVGY
| URI | m2://inv/20796GQVGY |
|---|---|
| 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.03292#AQYY (statement). In SN2PBM95HT/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
computer algebra 207A3S699Y
| URI | m2://inv/207A3S699Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 68W30 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2670846, computer algebra (topic). Also MathWorld ComputerAlgebra, ProofWiki Definition:Computer_Algebra
- wikipedia: Wikipedia Computer algebra, Computer algebra (definition). Also Wikidata Q2670846
History
- 2026-10-26: add by m2/dev
axiom of pairing 207C4VY66G
| URI | m2://inv/207C4VY66G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q920796, axiom of pairing (statement). Also MathWorld AxiomoftheUnorderedPair, nLab axiom of pairing, ProofWiki Axiom:Axiom_of_Pairing
- wikipedia: Wikipedia Axiom of pairing, Axiom of pairing (statement). Also Wikidata Q920796
History
- 2026-10-26: add by m2/dev
obstruction theory 207E2VJT8J
| URI | m2://inv/207E2VJT8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#IBSJ, obstruction theory (definition)
History
- 2026-11-02: add by m2/dev
measure 207GW8BGZR
| URI | m2://inv/207GW8BGZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Measure PR11BZQQPG |
Mentions
- wikidata: Wikidata Q192276, measure (definition). Also EoM measure, MathWorld Measure, ProofWiki Definition:Measure_(Measure_Theory)
- wikipedia: Wikipedia Measure (mathematics), Measure (definition). Also Wikidata Q192276
History
- 2026-10-26: add by m2/dev
207HPC8258 207HPC8258
| URI | m2://inv/207HPC8258 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36089#E1G0 (statement). In AK4F10SNC0/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Emmanuel Grenier 207JQGT9F1
| URI | m2://inv/207JQGT9F1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmanuel Grenier, Emmanuel Grenier (topic). Also Wikidata Q1338267
History
- 2026-11-02: add by m2/dev
Theorem 207W1BAVVZ
| URI | m2://inv/207W1BAVVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform limit theorem#783B, Theorem (statement)
History
- 2026-11-02: add by m2/dev
List of axioms 20837YA2EB
| URI | m2://inv/20837YA2EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms, List of axioms (topic). Also Wikidata Q3632199
History
- 2026-11-02: add by m2/dev
edges and hosts 20838FZBGZ
| URI | m2://inv/20838FZBGZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#A582, edges and hosts (definition). In JY50YXMH5N/e1, definition 9
History
- 2026-10-29: add by m2/v0.4.12
Yang, Zeng and Zhang\chg 20853N79VY
| URI | m2://inv/20853N79VY |
|---|---|
| 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.24353#CNOU, Yang, Zeng and Zhang\chg (statement)
History
- 2026-11-01: add by m2/v0.6.15
208618CHS0 208618CHS0
| URI | m2://inv/208618CHS0 |
|---|---|
| Kind | example |
| 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#OYG9 (example). In ATSYBWEMMP/e1, example 6.4
History
- 2026-10-29: add by m2/v0.4.10
2087CBAN89 2087CBAN89
| URI | m2://inv/2087CBAN89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28200#C2N0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2089JA6SYJ 2089JA6SYJ
| URI | m2://inv/2089JA6SYJ |
|---|---|
| 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.10576#NECC (statement). In N3ZA5MDZBW/e1, corollary 11
History
- 2026-10-29: add by m2/v0.4.10
A subspace of $\real^4$ 208A42HR8D
| URI | m2://inv/208A42HR8D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#example-2, A subspace of $\real^4$ (example). In 649HGZKE96, example, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
Example 208DQBFFYV
| URI | m2://inv/208DQBFFYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similarity matrix#VLVF, Example (example)
History
- 2026-11-02: add by m2/dev
208FY6F66A 208FY6F66A
| URI | m2://inv/208FY6F66A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08885#TNMM (statement). In B4RHB3CF12/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Algorithm selection 208K68SY5A
| URI | m2://inv/208K68SY5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm selection, Algorithm selection (definition). Also Wikidata Q28324862
History
- 2026-11-02: add by m2/dev
Algorithms 208KM6DQB3
| URI | m2://inv/208KM6DQB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative inverse#O26I, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
208MNTCFZD 208MNTCFZD
| URI | m2://inv/208MNTCFZD |
|---|---|
| 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#KBMF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Explicit smooth realization 208MXPBRDZ
| URI | m2://inv/208MXPBRDZ |
|---|---|
| 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.03298#IO5J, Explicit smooth realization (statement). In 9SBZP218SM/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Connie M. Borror 208V9H0CD8
| URI | m2://inv/208V9H0CD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connie M. Borror, Connie M. Borror (topic). Also Wikidata Q42639393
History
- 2026-11-02: add by m2/dev
merge sort 208WMV3VZC
| URI | m2://inv/208WMV3VZC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.2/merge-sort, merge sort (concept). In QKM9DD2H56, index, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
208XJTD8SV 208XJTD8SV
| URI | m2://inv/208XJTD8SV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#VROL (statement)
History
- 2026-11-01: add by m2/v0.6.15
2094VANNXA 2094VANNXA
| URI | m2://inv/2094VANNXA |
|---|---|
| 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.28306#XEB9 (example)
History
- 2026-11-01: add by m2/v0.6.15
2097JY0Q6X 2097JY0Q6X
| URI | m2://inv/2097JY0Q6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06755#X8WZ (statement). In DKEX05SEXS/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
2098NDWH2W 2098NDWH2W
| URI | m2://inv/2098NDWH2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#GEFP (statement)
History
- 2026-11-01: add by m2/v0.6.15
209FEBGFF6 209FEBGFF6
| URI | m2://inv/209FEBGFF6 |
|---|---|
| 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.09129#M1N3 (statement). In Z1RZSF68XZ/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.10
209K7H7MGN 209K7H7MGN
| URI | m2://inv/209K7H7MGN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/complete-ce-sets.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Alternative existence result for the primal problem 209Z2B8MND
| URI | m2://inv/209Z2B8MND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#O8XN, Alternative existence result for the primal problem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Peng Shige 20ANAPZT80
| URI | m2://inv/20ANAPZT80 |
|---|---|
| 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#10EL, Peng Shige (topic)
History
- 2026-11-02: add by m2/dev
20AXB4BQ4W 20AXB4BQ4W
| URI | m2://inv/20AXB4BQ4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12352#7SAY (statement). In EXASSFT73P/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
20B2CJW0C9 20B2CJW0C9
| URI | m2://inv/20B2CJW0C9 |
|---|---|
| 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.33241#1BB1 (statement). In NX6QV01PCE/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Truncated order-6 pentagonal tiling 20BDSGT1QH
| URI | m2://inv/20BDSGT1QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-6 pentagonal tiling, Truncated order-6 pentagonal tiling (definition). Also Wikidata Q17078635
History
- 2026-11-02: add by m2/dev
20BEJ0N5TE 20BEJ0N5TE
| URI | m2://inv/20BEJ0N5TE |
|---|---|
| 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.11395#TZ46 (statement). In T3W7SMWQ73/e1, theorem 19
History
- 2026-10-28: add by m2/v0.4.3
Modal companion 20BHXFD8SP
| URI | m2://inv/20BHXFD8SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal companion, Modal companion (definition). Also Wikidata Q10363531
History
- 2026-11-02: add by m2/dev
List of convexity topics 20BRJJ5MYW
| URI | m2://inv/20BRJJ5MYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#G7GT, List of convexity topics (topic)
History
- 2026-11-02: add by m2/dev
hereditary ring 20BWABZ5BH
| URI | m2://inv/20BWABZ5BH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hereditary ring 89VBQH8HNS |
Mentions
- wikidata: Wikidata Q847887, hereditary ring (definition). Also ProofWiki Definition:Hereditary_Ring
- wikipedia: Wikipedia Hereditary ring, Hereditary ring (definition). Also Wikidata Q847887
History
- 2026-10-26: add by m2/dev
20C5BZ1F97 20C5BZ1F97
| URI | m2://inv/20C5BZ1F97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#1WZJ (statement). In DGE917KQSQ/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
20C5HSP9QY 20C5HSP9QY
| URI | m2://inv/20C5HSP9QY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29723#REOK (statement)
History
- 2026-11-01: add by m2/v0.6.15
20C9KG4H6Z 20C9KG4H6Z
| URI | m2://inv/20C9KG4H6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#LXXU (statement). In GHKR740SG3/e1, proposition 17.5
History
- 2026-10-31: add by m2/v0.5.6
20CC0F69VX 20CC0F69VX
| URI | m2://inv/20CC0F69VX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#89WJ (statement). In 8HYS0MFE25/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
20CERRAZ6E 20CERRAZ6E
| URI | m2://inv/20CERRAZ6E |
|---|---|
| Kind | definition |
| 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 2104.00162#K7OE (definition). In HVGT9D84WV/e1, definition 1.34
History
- 2026-10-27: add by m2/v0.3.5
Werner projection 20CHKVRV7Q
| URI | m2://inv/20CHKVRV7Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2328498, Werner projection (unknown). Also MathWorld WernerProjection
History
- 2026-10-26: add by m2/dev
Statement 20CXE29DCJ
| URI | m2://inv/20CXE29DCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability integral transform#K64Y, Statement (statement)
History
- 2026-11-02: add by m2/dev
Examples 20D8QR7NJB
| URI | m2://inv/20D8QR7NJB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite half#V3PE, Examples (example)
History
- 2026-11-02: add by m2/dev
Potential temperature 20DCFMQ02H
| URI | m2://inv/20DCFMQ02H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential temperature, Potential temperature (definition). Also Wikidata Q760765
History
- 2026-11-02: add by m2/dev
A simple example 20DEY0H6EJ
| URI | m2://inv/20DEY0H6EJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lacunary function#V5Z2, A simple example (example)
History
- 2026-11-02: add by m2/dev
Analytically normal ring 20DFMCHBEM
| URI | m2://inv/20DFMCHBEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytically normal ring, Analytically normal ring (definition). Also Wikidata Q13902359
History
- 2026-11-02: add by m2/dev
John McKay 20DK5WA291
| URI | m2://inv/20DK5WA291 |
|---|---|
| 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 Q1701035, John McKay (unknown). Also nLab John McKay
- wikipedia: Wikipedia John McKay (mathematician), John McKay (topic). Also Wikidata Q1701035
History
- 2026-10-26: add by m2/dev
20DQ40BYK8 20DQ40BYK8
| URI | m2://inv/20DQ40BYK8 |
|---|---|
| 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 1610.01054#J3VO (statement). In WNTFRFJ8SE/e1, corollary III.2
History
- 2026-10-27: add by m2/v0.3.5
First-hitting-time model 20E4FTQT6F
| URI | m2://inv/20E4FTQT6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ETN7, First-hitting-time model (definition)
History
- 2026-11-02: add by m2/dev
20EACC0A24 20EACC0A24
| URI | m2://inv/20EACC0A24 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#RK1T (unknown). In QNBFHFZ3H0/e1, unknown 90
History
- 2026-10-28: add by m2/v0.4.2
Variance preserving convolution 20EG6DWDDQ
| URI | m2://inv/20EG6DWDDQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32446#QAOR, Variance preserving convolution (example). In W1KVJEGJ1W/e1, example 3.1
History
- 2026-10-31: add by m2/v0.5.6
Applications 20EJSP4P6V
| URI | m2://inv/20EJSP4P6V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrator#0PXN, Applications (example)
History
- 2026-11-02: add by m2/dev
20EP0188AX 20EP0188AX
| URI | m2://inv/20EP0188AX |
|---|---|
| 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#QZLB (statement). In 3VZ55B2N0D/e1, corollary 5.17
History
- 2026-10-27: add by m2/v0.4.0
20ESCYE3JD 20ESCYE3JD
| URI | m2://inv/20ESCYE3JD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#MJTD (statement). In 2WZQC0TKVK/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
20EW6B6EFN 20EW6B6EFN
| URI | m2://inv/20EW6B6EFN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:changeofvarcoverbyrects (exercise). In E59CDZA4DP, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Raleigh plot 20F7HV0B2A
| URI | m2://inv/20F7HV0B2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raleigh plot, Raleigh plot (definition). Also Wikidata Q118906037
History
- 2026-11-02: add by m2/dev
Applications 20FAJV8BZT
| URI | m2://inv/20FAJV8BZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended fluctuation analysis#XAFD, Applications (example)
History
- 2026-11-02: add by m2/dev
20FJM0SPA6 20FJM0SPA6
| URI | m2://inv/20FJM0SPA6 |
|---|---|
| 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.19694#WSNA (statement). In EP0M4RSZ9P/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
20FXM4WVZ1 20FXM4WVZ1
| URI | m2://inv/20FXM4WVZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#9ULR (statement). In YXRKS451PK/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
20G4CQ78M9 20G4CQ78M9
| URI | m2://inv/20G4CQ78M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#HHRY (statement). In KWB9M5YH9G/e1, proposition 2.14
History
- 2026-10-31: add by m2/v0.5.6
Examples 20G4TKYBG6
| URI | m2://inv/20G4TKYBG6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration using parametric derivatives#UWW1, Examples (example)
History
- 2026-11-02: add by m2/dev
Harry Pollard 20G8Y75KXQ
| URI | m2://inv/20G8Y75KXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M4QK, Harry Pollard (topic)
History
- 2026-11-02: add by m2/dev
Exponent 20GA47Z6B7
| URI | m2://inv/20GA47Z6B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#IZ1S, Exponent (definition)
History
- 2026-11-02: add by m2/dev
20GBCJ91YP 20GBCJ91YP
| URI | m2://inv/20GBCJ91YP |
|---|---|
| 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 2606.00589#AGGH (statement). In C8JAGP8VCQ/e1, lemma 8.3
History
- 2026-10-27: add by m2/v0.3.5
Chebotarev's density theorem 20GDXQK3M9
| URI | m2://inv/20GDXQK3M9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Chebotarev's density theorem X8VKW5Y1CZ |
Mentions
- mathlib_1000: mathlib_1000 Q1425529, Chebotarev's density theorem (statement). Also Wikidata Q1425529
- thousand_plus: thousand_plus Q1425529, Chebotarev's density theorem (statement). Also Wikidata Q1425529, Wikipedia Chebotarev's density theorem
- wikidata: Wikidata Q1425529, Chebotarev's density theorem (statement). Also MathWorld ChebotarevDensityTheorem
- wikipedia: Wikipedia Chebotarev density theorem, Chebotarev density theorem (statement). Also Wikidata Q1425529
History
- 2026-10-26: add by m2/dev
20GE147A39 20GE147A39
| URI | m2://inv/20GE147A39 |
|---|---|
| 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.10598#S2HG (statement). In WQ9TXX4E5C/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
20GN8277X4 20GN8277X4
| URI | m2://inv/20GN8277X4 |
|---|---|
| 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.03327#P002 (statement). In EBNXA84CPM/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Berge graph 20GRRZM4WD
| URI | m2://inv/20GRRZM4WD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect graph#472F, Berge graph (unknown)
History
- 2026-11-02: add by m2/dev
20H1AY6P6R 20H1AY6P6R
| URI | m2://inv/20H1AY6P6R |
|---|---|
| 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.36181#LYDI (statement). In 1KSE33PVS6/e1, proposition 56
History
- 2026-10-30: add by m2/v0.4.12
20H5WYDW07 20H5WYDW07
| URI | m2://inv/20H5WYDW07 |
|---|---|
| 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.17602#4LPX (statement). In BH62508WHJ/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Discrete sine transform 20HDBB5SNX
| URI | m2://inv/20HDBB5SNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#MH92, Discrete sine transform (definition)
History
- 2026-11-02: add by m2/dev
20HJ6VQ5WK 20HJ6VQ5WK
| URI | m2://inv/20HJ6VQ5WK |
|---|---|
| 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.30892#GBI2 (statement). In F7C1RM5VA4/e1, lemma 5.4
History
- 2026-10-31: add by m2/v0.5.6
Game semantics 20HV0TC531
| URI | m2://inv/20HV0TC531 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#NB2Y, Game semantics (definition)
History
- 2026-11-02: add by m2/dev
20HWCWJQGC 20HWCWJQGC
| URI | m2://inv/20HWCWJQGC |
|---|---|
| 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 2607.26169#5YOI (statement). In Q46QV3B0NF/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Runge–Kutta method 20HYNTWPTJ
| URI | m2://inv/20HYNTWPTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runge–Kutta method (SDE), Runge–Kutta method (definition). Also Wikidata Q7379855
History
- 2026-11-02: add by m2/dev
Example 20J1D0VCJM
| URI | m2://inv/20J1D0VCJM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasinormal mode#M10F, Example (example)
History
- 2026-11-02: add by m2/dev
20J4A5XPVJ 20J4A5XPVJ
| URI | m2://inv/20J4A5XPVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34946#86WH (statement). In Y27BAB2BB4/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
20JG5W2VJX 20JG5W2VJX
| URI | m2://inv/20JG5W2VJX |
|---|---|
| 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 2509.10268#3NCB (statement). In YR15TN4V4F/e1, lemma S2
History
- 2026-10-27: add by m2/v0.3.5
Elaine Cohen 20JR8NXTG4
| URI | m2://inv/20JR8NXTG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elaine Cohen, Elaine Cohen (topic). Also Wikidata Q57915535
History
- 2026-11-02: add by m2/dev
20JX86JTWC 20JX86JTWC
| URI | m2://inv/20JX86JTWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#QJ6F (statement). In SBZNH932ZV/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
20JYX9T2W5 20JYX9T2W5
| URI | m2://inv/20JYX9T2W5 |
|---|---|
| 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.19300#PQ1P (statement). In S6S4RD5VXJ/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
20K9WS8G4J 20K9WS8G4J
| URI | m2://inv/20K9WS8G4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#9NTY (statement)
History
- 2026-11-01: add by m2/v0.6.15
20KCSVC6GW 20KCSVC6GW
| URI | m2://inv/20KCSVC6GW |
|---|---|
| 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 2412.20238#SAIP (statement). In V8CA0STSPB/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Argument from marginal cases 20KKBGEMWK
| URI | m2://inv/20KKBGEMWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from marginal cases, Argument from marginal cases (definition). Also Wikidata Q651439
History
- 2026-11-02: add by m2/dev
Constrained least squares 20KVNVYFPV
| URI | m2://inv/20KVNVYFPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constrained least squares, Constrained least squares (definition). Also Wikidata Q56291526
History
- 2026-11-02: add by m2/dev
Clark, Colin 20KWTY2KEK
| URI | m2://inv/20KWTY2KEK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#L9UA, Clark, Colin (unknown)
History
- 2026-11-02: add by m2/dev
20MWHM472D 20MWHM472D
| URI | m2://inv/20MWHM472D |
|---|---|
| Kind | example |
| 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.38548#7PYI (example). In Z7ZFV3HM1S/e1, example 3.7
History
- 2026-10-30: add by m2/v0.4.12
Shadowsocks 20MWMVJS0N
| URI | m2://inv/20MWMVJS0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shadowsocks, Shadowsocks (definition). Also Wikidata Q18382753
History
- 2026-11-02: add by m2/dev
20NA78KW70 20NA78KW70
| URI | m2://inv/20NA78KW70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#J5ZU (statement). In 317GZJ38HS/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
The law of haversines 20NCF393Q0
| URI | m2://inv/20NCF393Q0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haversine formula#9C15, The law of haversines (statement)
History
- 2026-11-02: add by m2/dev
20NCJBJZWR 20NCJBJZWR
| URI | m2://inv/20NCJBJZWR |
|---|---|
| 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.21507#QLL3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Canonical realisation 20NCJYY65N
| URI | m2://inv/20NCJYY65N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40290#830V, Canonical realisation (definition). In 4K1CNBYJHF/e1, definition 9.1
History
- 2026-10-30: add by m2/v0.4.12
Igor Klebanov 20NZ6BQ8SH
| URI | m2://inv/20NZ6BQ8SH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1239168, Igor Klebanov (unknown). Also nLab Igor Klebanov
History
- 2026-10-26: add by m2/dev
Example 20P4F9EC7E
| URI | m2://inv/20P4F9EC7E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid partitioning#YAXJ, Example (example)
History
- 2026-11-02: add by m2/dev
All Students Take Calculus 20P8N9MWWN
| URI | m2://inv/20P8N9MWWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mnemonics in trigonometry#VAVD, All Students Take Calculus (unknown)
History
- 2026-11-02: add by m2/dev
Quillen's Theorem B 20PDQF22W5
| URI | m2://inv/20PDQF22W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen's theorems A and B#0E20, Quillen's Theorem B (statement)
History
- 2026-11-02: add by m2/dev
Informal main construction 20PHZRPWC6
| URI | m2://inv/20PHZRPWC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#ZUJ3, Informal main construction (statement). In 7MVPNFPRKB/e1, theorem 1.10
History
- 2026-10-30: add by m2/v0.4.12
semi-local 20PMXFEYR6
| URI | m2://inv/20PMXFEYR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#LKO6, semi-local (definition)
History
- 2026-11-02: add by m2/dev
20Q6MEHZ70 20Q6MEHZ70
| URI | m2://inv/20Q6MEHZ70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#XDIH (statement). In R6SEBXARYC/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
20Q7AM0CSZ 20Q7AM0CSZ
| URI | m2://inv/20Q7AM0CSZ |
|---|---|
| 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.20097#LHNO (statement)
History
- 2026-11-02: add by m2/v0.6.18
20QDFRJ49F 20QDFRJ49F
| URI | m2://inv/20QDFRJ49F |
|---|---|
| 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.11056#5E3T (statement). In 1NDB3SAG7K/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.3
Matrix determinant lemma 20QGXCZH8P
| URI | m2://inv/20QGXCZH8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#Z8GI, Matrix determinant lemma (statement)
- wikipedia: Wikipedia List of lemmas#K98Q, Matrix determinant lemma (statement)
History
- 2026-11-02: add by m2/dev
convergence, general case 20QN22X1ZQ
| URI | m2://inv/20QN22X1ZQ |
|---|---|
| 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 2204.07227#8PTO, convergence, general case (statement). In R85Z7ZZGBC/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Seeing and Being Seen in the Later Medieval World 20R3JBJR0V
| URI | m2://inv/20R3JBJR0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seeing and Being Seen in the Later Medieval World, Seeing and Being Seen in the Later Medieval World (definition). Also Wikidata Q139450649
History
- 2026-11-02: add by m2/dev
Jech–Kunen tree 20R3RX973V
| URI | m2://inv/20R3RX973V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jech–Kunen tree, Jech–Kunen tree (definition). Also Wikidata Q18359212
History
- 2026-11-02: add by m2/dev
John Allen Paulos 20RANW1XX0
| URI | m2://inv/20RANW1XX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Allen Paulos, John Allen Paulos (topic). Also Wikidata Q1256698
History
- 2026-11-02: add by m2/dev
20RC6805Z7 20RC6805Z7
| URI | m2://inv/20RC6805Z7 |
|---|---|
| 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.33679#YLQX (statement). In 3N9E9T6AF5/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
20REZRRY5D 20REZRRY5D
| URI | m2://inv/20REZRRY5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#ZNTD (statement). In 47WN78VDDF/e1, theorem 3.22
History
- 2026-10-30: add by m2/v0.4.12
20RHE0VXRS 20RHE0VXRS
| URI | m2://inv/20RHE0VXRS |
|---|---|
| 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.11031#70WE (statement). In 9DMJXFRQN9/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.3
20RKPNKS1M 20RKPNKS1M
| URI | m2://inv/20RKPNKS1M |
|---|---|
| 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.22272#JAAZ (statement). In 4VZV5V0YD6/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.0
20RP6YNTH3 20RP6YNTH3
| URI | m2://inv/20RP6YNTH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30207#2UXK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Soundness 20RQCKE07Z
| URI | m2://inv/20RQCKE07Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#O9Z9, Soundness (statement). In B8MJT0GGW8/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0
Political Game theory 20RT1ZDNNP
| URI | m2://inv/20RT1ZDNNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game theory#0H57, Political Game theory (unknown)
History
- 2026-11-02: add by m2/dev
Rui Song 20RTWPCWYH
| URI | m2://inv/20RTWPCWYH |
|---|---|
| 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#EF3L, Rui Song (topic)
History
- 2026-11-02: add by m2/dev
Another holomorphic $1$-form: $d(z^2) = 2z \cdot dz$ 20RYK1THAB
| URI | m2://inv/20RYK1THAB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/forms.tex#example-2, Another holomorphic $1$-form: $d(z^2) = 2z \cdot dz$ (example). In RZP28ERRZV, example, section 84.2
History
- 2026-11-01: add by m2/v0.6.13
Clausius–Duhem inequality 20S3V0Q0JV
| URI | m2://inv/20S3V0Q0JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#NG5T, Clausius–Duhem inequality (statement)
History
- 2026-11-02: add by m2/dev
Circular algebraic curve 20S8Q37M29
| URI | m2://inv/20S8Q37M29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular algebraic curve, Circular algebraic curve (definition). Also Wikidata Q5121655
History
- 2026-11-02: add by m2/dev
interpolation between energy wells 20SB2FFMA5
| URI | m2://inv/20SB2FFMA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#A5EJ, interpolation between energy wells (statement). In 94RBNQA07A/e1, proposition 5.28
History
- 2026-10-27: add by m2/v0.3.5
20SHD1CKDR 20SHD1CKDR
| URI | m2://inv/20SHD1CKDR |
|---|---|
| Kind | definition |
| 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 1408.1555#QPSK (definition). In S1F2QW24YW/e1, definition B.1
History
- 2026-10-27: add by m2/v0.3.5
20SPES2GVK 20SPES2GVK
| URI | m2://inv/20SPES2GVK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-1 (proof). In E59CDZA4DP, proof, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Joseph Gallian 20SS5KS7V2
| URI | m2://inv/20SS5KS7V2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MDFK, Joseph Gallian (topic)
History
- 2026-11-02: add by m2/dev
triple integral 20SYEJ21T3
| URI | m2://inv/20SYEJ21T3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Triple integral 0698M7C7AX |
Mentions
- wikidata: Wikidata Q110660584, triple integral (unknown). Also MathWorld TripleIntegral
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Continuity 20SZHHFENZ
| URI | m2://inv/20SZHHFENZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-scale calculus#DARI, Continuity (statement)
History
- 2026-11-02: add by m2/dev
tropical geometry 20TPV2W4C3
| URI | m2://inv/20TPV2W4C3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tropical geometry 7YTC3BHK60 |
Mentions
- wikidata: Wikidata Q2982669, tropical geometry (topic). Also nLab tropical geometry
- wikipedia: Wikipedia Tropical geometry, Tropical geometry (definition). Also Wikidata Q2982669
History
- 2026-10-26: add by m2/dev
Distance between two parallel lines 20TR5RESJK
| URI | m2://inv/20TR5RESJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance between two parallel lines, Distance between two parallel lines (definition). Also Wikidata Q17007861
History
- 2026-11-02: add by m2/dev
Formal statement 20V5F375YF
| URI | m2://inv/20V5F375YF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius determinant theorem#ZXSR, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Patti Frazer Lock 20V9YB4ZFF
| URI | m2://inv/20V9YB4ZFF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patti Frazer Lock, Patti Frazer Lock (topic). Also Wikidata Q83617400
History
- 2026-11-02: add by m2/dev
20VFGSBK75 20VFGSBK75
| URI | m2://inv/20VFGSBK75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#RS56 (statement)
History
- 2026-11-02: add by m2/v0.6.17
20VHBNCC21 20VHBNCC21
| URI | m2://inv/20VHBNCC21 |
|---|---|
| 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 2312.06581#ZSOY (statement). In WXJ2V3HA2R/e1, corollary G.1
History
- 2026-10-27: add by m2/v0.3.5
20VTVGBK3N 20VTVGBK3N
| URI | m2://inv/20VTVGBK3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13076#9HVE (statement). In K7GJA4WGV7/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
quantized 20VXNYMEEC
| URI | m2://inv/20VXNYMEEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#A7I2, quantized (definition)
History
- 2026-11-02: add by m2/dev
Knuth–Bendix completion algorithm 20W4M62BZ2
| URI | m2://inv/20W4M62BZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#D9P7, Knuth–Bendix completion algorithm (definition)
History
- 2026-11-02: add by m2/dev
20W5FPCJE4 20W5FPCJE4
| URI | m2://inv/20W5FPCJE4 |
|---|---|
| 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 2411.16655#URG4 (statement). In EJHAXRV685/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
20W8Q6E5PR 20W8Q6E5PR
| URI | m2://inv/20W8Q6E5PR |
|---|---|
| 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.15877#Y5Y5 (statement). In F3W750X9N6/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
20WGJ627A9 20WGJ627A9
| URI | m2://inv/20WGJ627A9 |
|---|---|
| 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.08226#WX5Q (statement). In V6EPE8XHAD/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.10
Examples 20WYR8VB7W
| URI | m2://inv/20WYR8VB7W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruhat decomposition#JH5I, Examples (example)
History
- 2026-11-02: add by m2/dev
20WZ5TAHV4 20WZ5TAHV4
| URI | m2://inv/20WZ5TAHV4 |
|---|---|
| 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 2506.00952#1S3K (statement). In GX0TV70D4N/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Erdős conjecture on arithmetic progressions 20XE2RJW94
| URI | m2://inv/20XE2RJW94 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#HI4M, Erdős conjecture on arithmetic progressions (conjecture)
History
- 2026-11-02: add by m2/dev
Dennis Hejhal 20XEYG2SFB
| URI | m2://inv/20XEYG2SFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dennis Hejhal, Dennis Hejhal (topic). Also Wikidata Q1189188
History
- 2026-11-02: add by m2/dev
Gaussian velocity in $\R^2$: the logarithmic regime to second order 20XJEVJ41D
| URI | m2://inv/20XJEVJ41D |
|---|---|
| Kind | example |
| 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.15086#ZXQJ, Gaussian velocity in $\R^2$: the logarithmic regime to second order (example). In V60MVF3KQ1/e1, example 6.5
History
- 2026-10-28: add by m2/v0.4.2
Sharafutdinov's retraction 20XMJTYPB5
| URI | m2://inv/20XMJTYPB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharafutdinov's retraction, Sharafutdinov's retraction (definition). Also Wikidata Q4393711
History
- 2026-11-02: add by m2/dev
Transportation network properties preserved under locally Lipschitz pushforward 20XSDS86SC
| URI | m2://inv/20XSDS86SC |
|---|---|
| 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.24451#61HB, Transportation network properties preserved under locally Lipschitz pushforward (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 20XSG2VJC4
| URI | m2://inv/20XSG2VJC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvable space#TI68, Properties (statement)
History
- 2026-11-02: add by m2/dev
20XVAKH2A6 20XVAKH2A6
| URI | m2://inv/20XVAKH2A6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/inference-patterns.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 44.9.7
History
- 2026-11-01: add by m2/v0.6.13
20XW91W0FV 20XW91W0FV
| URI | m2://inv/20XW91W0FV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.23072#ICNR (statement). In FW08HEAPKW/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
20Y0X51BGH 20Y0X51BGH
| URI | m2://inv/20Y0X51BGH |
|---|---|
| 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.17129#26S8 (statement). In TCZWAMNYCV/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
20Y2AFBD1N 20Y2AFBD1N
| URI | m2://inv/20Y2AFBD1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#BMYE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bernoulli automorphism 20Y7MF3E7Y
| URI | m2://inv/20Y7MF3E7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli scheme#01WR, Bernoulli automorphism (unknown)
History
- 2026-11-02: add by m2/dev
Deliberation 20YEHX4VZF
| URI | m2://inv/20YEHX4VZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deliberation, Deliberation (definition). Also Wikidata Q358652
History
- 2026-11-02: add by m2/dev
Cohen–Hewitt factorization theorem 20YFNXM9HK
| URI | m2://inv/20YFNXM9HK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Hewitt factorization theorem, Cohen–Hewitt factorization theorem (statement). Also Wikidata Q18206043
History
- 2026-11-02: add by m2/dev
Minimax approximation algorithm 20YMSMJCEQ
| URI | m2://inv/20YMSMJCEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax approximation algorithm, Minimax approximation algorithm (definition). Also Wikidata Q6865376
History
- 2026-11-02: add by m2/dev
First-order invariance to the proposal fit 20YPERZ9P0
| URI | m2://inv/20YPERZ9P0 |
|---|---|
| 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.17403#ZFFN, First-order invariance to the proposal fit (statement). In 9EMNMAW8YH/e1, theorem 22
History
- 2026-10-28: add by m2/v0.4.2
Bhramar Mukherjee 20YXTVXNKV
| URI | m2://inv/20YXTVXNKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhramar Mukherjee, Bhramar Mukherjee (topic). Also Wikidata Q65930870
History
- 2026-11-02: add by m2/dev
Polynomial decomposition 20Z8FVFJDJ
| URI | m2://inv/20Z8FVFJDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#ASE0, Polynomial decomposition (definition)
History
- 2026-11-02: add by m2/dev
quotient ring 20Z8XK08MP
| URI | m2://inv/20Z8XK08MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Quotient ring 0076HWHGHQ |
Mentions
- mathlib_overview: mathlib_overview General algebra > Ideals and quotients > quotient ring, quotient ring (unknown). Also Mathlib Ideal.Quotient.ring
- mathlib_undergrad: mathlib_undergrad Ring Theory > Ideals and Quotients > quotient rings, quotient rings (unknown). Also Mathlib Ideal.Quotient.ring
- wikidata: Wikidata Q619436, quotient ring (definition). Also Mathlib Ideal.Quotient.ring, MathWorld QuotientRing, nLab quotient ring, ProofWiki Definition:Quotient_Ring
- wikipedia: Wikipedia Quotient ring, Quotient ring (definition). Also Wikidata Q619436
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
KG-84 20Z9BCJPEV
| URI | m2://inv/20Z9BCJPEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KG-84, KG-84 (definition). Also Wikidata Q3191392
History
- 2026-11-02: add by m2/dev
Aman matrices 20Z9K82W05
| URI | m2://inv/20Z9K82W05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#W4RY, Aman matrices (unknown)
History
- 2026-11-02: add by m2/dev
Lynn Compton 20ZAKENPSA
| URI | m2://inv/20ZAKENPSA |
|---|---|
| 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#7TDF, Lynn Compton (unknown)
History
- 2026-11-02: add by m2/dev
20ZCTAA787 20ZCTAA787
| URI | m2://inv/20ZCTAA787 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#6BKZ (statement). In BVAWVRS3R9/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
20ZGH6BJZX 20ZGH6BJZX
| URI | m2://inv/20ZGH6BJZX |
|---|---|
| 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#C2T9 (example). In 3THDT8WNF7/e1, example 11
History
- 2026-10-29: add by m2/v0.4.12
Examples 20ZKR2P0DG
| URI | m2://inv/20ZKR2P0DG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial linear space#S0W1, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 20ZNGJ96E1
| URI | m2://inv/20ZNGJ96E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-rank#I50Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
20ZRZVA3GK 20ZRZVA3GK
| URI | m2://inv/20ZRZVA3GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#7UEC (statement). In AR26SZ8JGN/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
20ZVJC48W8 20ZVJC48W8
| URI | m2://inv/20ZVJC48W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#KTCQ (statement). In GW23NX78SB/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Czesław Lejewski 20ZX64S2ZW
| URI | m2://inv/20ZX64S2ZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Czesław Lejewski, Czesław Lejewski (topic). Also Wikidata Q5202118
History
- 2026-11-02: add by m2/dev