Inventory rows 4J
The cards of the rows of the inventory whose ids start with 4J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Construction 4J01PT5TD0
| URI | m2://inv/4J01PT5TD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schubert calculus#G3D7, Construction (definition)
History
- 2026-11-02: add by m2/dev
4J06VCNPV5 4J06VCNPV5
| URI | m2://inv/4J06VCNPV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#I19I (statement). In D6F8XGF5SS/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.6
4J07DJ8DYS 4J07DJ8DYS
| URI | m2://inv/4J07DJ8DYS |
|---|---|
| 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.02579#6ZPF (statement). In CBTJDYHH34/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
Definitions 4J0AQHYREB
| URI | m2://inv/4J0AQHYREB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma distribution#GGRF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
4J0HJ8AQ8D 4J0HJ8AQ8D
| URI | m2://inv/4J0HJ8AQ8D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 4J0NMWEMS9
| URI | m2://inv/4J0NMWEMS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlated equilibrium#VJQK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
4J0PN1YJZP 4J0PN1YJZP
| URI | m2://inv/4J0PN1YJZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1909.03896#7F8S (statement). In CX9RVPQVBM/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Simplification of the posteriori error covariance formula 4J0T6GQMM4
| URI | m2://inv/4J0T6GQMM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman filter#N4S0, Simplification of the posteriori error covariance formula (statement)
History
- 2026-11-02: add by m2/dev
4J0XB0WAAW 4J0XB0WAAW
| URI | m2://inv/4J0XB0WAAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1006.3331#PK8K (statement). In AY6WYB9RR3/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Turing (cipher) 4J12964VSM
| URI | m2://inv/4J12964VSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#OI3U, Turing (cipher) (unknown)
History
- 2026-11-02: add by m2/dev
4J146AA9P0 4J146AA9P0
| URI | m2://inv/4J146AA9P0 |
|---|---|
| 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 2406.07116#SJQS (statement). In 5B030CB2RK/e1, lemma 11.1
History
- 2026-10-27: add by m2/v0.3.6
Generalized multidimensional scaling 4J1AE457RR
| URI | m2://inv/4J1AE457RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized multidimensional scaling, Generalized multidimensional scaling (definition). Also Wikidata Q5532496
History
- 2026-11-02: add by m2/dev
4J1CKF0W8P 4J1CKF0W8P
| URI | m2://inv/4J1CKF0W8P |
|---|---|
| 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.37584#0W8A (statement). In 66F6N3BJWV/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
Multiple of the median 4J1T5TTAG6
| URI | m2://inv/4J1T5TTAG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple of the median, Multiple of the median (definition). Also Wikidata Q1941294
History
- 2026-11-02: add by m2/dev
4J20PE5MZA 4J20PE5MZA
| URI | m2://inv/4J20PE5MZA |
|---|---|
| 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 2301.02848#QQME (statement). In G6WQDW52TJ/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.6
4J2B65FX43 4J2B65FX43
| URI | m2://inv/4J2B65FX43 |
|---|---|
| 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.28597#ANHG (statement)
History
- 2026-11-01: add by m2/v0.6.15
s-m-n theorem 4J2CDYBFT4
| URI | m2://inv/4J2CDYBFT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#W873, s-m-n theorem (definition)
History
- 2026-11-02: add by m2/dev
L\'evy and Egorov 4J2D82VSN8
| URI | m2://inv/4J2D82VSN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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.20683#TUNH, L\'evy and Egorov (statement)
History
- 2026-11-02: add by m2/v0.6.18
Selberg trace formula 4J2E3GJHJ3
| URI | m2://inv/4J2E3GJHJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#9OKR, Selberg trace formula (statement)
History
- 2026-11-02: add by m2/dev
statistical hypothesis testing 4J2HENCZG8
| URI | m2://inv/4J2HENCZG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#4JQW, statistical hypothesis testing (definition)
History
- 2026-11-02: add by m2/dev
Multicenter trial 4J2MVF3N9V
| URI | m2://inv/4J2MVF3N9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicenter trial, Multicenter trial (definition). Also Wikidata Q6934595
History
- 2026-11-02: add by m2/dev
Lawvere 4J2YFAHKSK
| URI | m2://inv/4J2YFAHKSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#QABP, Lawvere (definition)
History
- 2026-11-02: add by m2/dev
4J31EXY801 4J31EXY801
| URI | m2://inv/4J31EXY801 |
|---|---|
| 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.09001#4MVP (statement). In HJC1JJZRSH/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.10
grouped data 4J3771GA2V
| URI | m2://inv/4J3771GA2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#ANFZ, grouped data (definition)
History
- 2026-11-02: add by m2/dev
4J3AH9MQ6Y 4J3AH9MQ6Y
| URI | m2://inv/4J3AH9MQ6Y |
|---|---|
| Kind | definition |
| 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.10262#IXWO (definition). In MVSGDTN2PB/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
4J3KEH71HE 4J3KEH71HE
| URI | m2://inv/4J3KEH71HE |
|---|---|
| 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.16785#PKO3 (statement). In SXQQZ2MYKV/e1, corollary 16
History
- 2026-10-28: add by m2/v0.4.2
4J3KY4RB48 4J3KY4RB48
| URI | m2://inv/4J3KY4RB48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05820#3YCQ (statement). In S8EGCJQ0JV/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
4J4FVXEFTV 4J4FVXEFTV
| URI | m2://inv/4J4FVXEFTV |
|---|---|
| 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.05471#N4TQ (statement). In WDWF9WKNK1/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Ergun equation 4J4JCVTA3M
| URI | m2://inv/4J4JCVTA3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergun equation, Ergun equation (definition). Also Wikidata Q4476531
History
- 2026-11-02: add by m2/dev
Few collisions 4J4KWTX2RA
| URI | m2://inv/4J4KWTX2RA |
|---|---|
| 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.15631#SWHK, Few collisions (statement). In AF465QFRGQ/e1, lemma II.9
History
- 2026-10-28: add by m2/v0.4.2
Futoshiki 4J4SDHH9SV
| URI | m2://inv/4J4SDHH9SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Futoshiki, Futoshiki (definition). Also Wikidata Q1402407
History
- 2026-11-02: add by m2/dev
4J4SQVEFJB 4J4SQVEFJB
| URI | m2://inv/4J4SQVEFJB |
|---|---|
| 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.07546#XJM3 (statement). In H9YE46CGFN/e1, fact 4
History
- 2026-10-29: add by m2/v0.4.10
4J4ZXZDA3V 4J4ZXZDA3V
| URI | m2://inv/4J4ZXZDA3V |
|---|---|
| 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.40282#6BOZ (statement). In P86RWY99S2/e1, theorem 4.0.1
History
- 2026-10-30: add by m2/v0.4.12
pseudoforest 4J5497H13N
| URI | m2://inv/4J5497H13N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7254793, pseudoforest (unknown). Also MathWorld Pseudoforest
- wikipedia: Wikipedia Pseudoforest, Pseudoforest (definition). Also Wikidata Q7254793
History
- 2026-10-26: add by m2/dev
4J5E8HWHAF 4J5E8HWHAF
| URI | m2://inv/4J5E8HWHAF |
|---|---|
| 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.29304#52RM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wei Pu 4J5HYANVHV
| URI | m2://inv/4J5HYANVHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#VCOB, Wei Pu (unknown)
History
- 2026-11-02: add by m2/dev
Jan S. Hesthaven 4J5J5FSX2X
| URI | m2://inv/4J5J5FSX2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan S. Hesthaven, Jan S. Hesthaven (topic). Also Wikidata Q90744457
History
- 2026-11-02: add by m2/dev
cosine of integer multiple of pi 4J5J8DM3SE
| URI | m2://inv/4J5J8DM3SE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141458519, cosine of integer multiple of pi (statement). Also ProofWiki Cosine_of_Integer_Multiple_of_Pi
History
- 2026-10-26: add by m2/dev
Ruth Barcan Marcus 4J5JZY5S34
| URI | m2://inv/4J5JZY5S34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Q2FZ, Ruth Barcan Marcus (topic)
- wikipedia: Wikipedia List of logicians#TP85, Ruth Barcan Marcus (topic)
History
- 2026-11-02: add by m2/dev
Edward Willes 4J5WTVPVTK
| URI | m2://inv/4J5WTVPVTK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Willes (bishop), Edward Willes (topic). Also Wikidata Q1294098
History
- 2026-11-02: add by m2/dev
chromatic 4J678T3DYS
| URI | m2://inv/4J678T3DYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#GDCE, chromatic (definition)
History
- 2026-11-02: add by m2/dev
Yao's principle 4J67P84DRR
| URI | m2://inv/4J67P84DRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yao's principle, Yao's principle (statement). Also Wikidata Q8049023
History
- 2026-11-02: add by m2/dev
Cotangent space 4J6H04RV3K
| URI | m2://inv/4J6H04RV3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent space, Cotangent space (definition). Also Wikidata Q1713076
History
- 2026-11-02: add by m2/dev
galaxy rotation curve 4J72WS3Z2V
| URI | m2://inv/4J72WS3Z2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1475614, galaxy rotation curve (unknown). Also nLab galaxy rotation curve
- wikipedia: Wikipedia Galaxy rotation curve, Galaxy rotation curve (definition). Also Wikidata Q1475614
History
- 2026-10-26: add by m2/dev
4J79WGJ58C 4J79WGJ58C
| URI | m2://inv/4J79WGJ58C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21034#QA0L (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pythagorean expectation 4J7D3PP72Q
| URI | m2://inv/4J7D3PP72Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#49G6, Pythagorean expectation (definition)
History
- 2026-11-02: add by m2/dev
Frobenius automorphism 4J7KQR3GNX
| URI | m2://inv/4J7KQR3GNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#JHSH, Frobenius automorphism (definition)
History
- 2026-11-02: add by m2/dev
4J7MB81ZWC 4J7MB81ZWC
| URI | m2://inv/4J7MB81ZWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#YZM2 (statement). In D64RQ09KBP/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.12
Formal definitions 4J7VRXHDF1
| URI | m2://inv/4J7VRXHDF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral#2WC0, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Repulsion for isolated bad Gram points 4J81WADVD3
| URI | m2://inv/4J81WADVD3 |
|---|---|
| Kind | conjecture |
| 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 2406.06548#EQ2Z, Repulsion for isolated bad Gram points (conjecture). In SCC2N3WNYE/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
4J832X07TP 4J832X07TP
| URI | m2://inv/4J832X07TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#043P (statement). In 5E9G06XJKC/e1, lemma C.23
History
- 2026-10-28: add by m2/v0.4.2
Half-range Fourier series 4J86EY939F
| URI | m2://inv/4J86EY939F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-range Fourier series, Half-range Fourier series (definition). Also Wikidata Q5641809
History
- 2026-11-02: add by m2/dev
free monoid 4J8ERBRS5R
| URI | m2://inv/4J8ERBRS5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Free monoid CV013KHVJG |
Mentions
- wikidata: Wikidata Q5500266, free monoid (unknown). Also nLab free monoid
- wikipedia: Wikipedia Free monoid, Free monoid (definition). Also Wikidata Q5500266
History
- 2026-10-26: add by m2/dev
Stencil buffer 4J8H1B23ZJ
| URI | m2://inv/4J8H1B23ZJ |
|---|---|
| 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#ORLW, Stencil buffer (unknown)
History
- 2026-11-02: add by m2/dev
Local thermodynamic equilibrium 4J8JB300CK
| URI | m2://inv/4J8JB300CK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic equilibrium#VPOW, Local thermodynamic equilibrium (unknown)
History
- 2026-11-02: add by m2/dev
Tamás Hausel 4J8KTMZ7KD
| URI | m2://inv/4J8KTMZ7KD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamás Hausel, Tamás Hausel (topic). Also Wikidata Q6165077
History
- 2026-11-02: add by m2/dev
Example 4J8PP8571R
| URI | m2://inv/4J8PP8571R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spt function#5AMC, Example (example)
History
- 2026-11-02: add by m2/dev
monomial 4J8S2Z02FT
| URI | m2://inv/4J8S2Z02FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#B7EE, monomial (definition)
History
- 2026-11-02: add by m2/dev
4J8V4D0T8W 4J8V4D0T8W
| URI | m2://inv/4J8V4D0T8W |
|---|---|
| Kind | definition |
| 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.12857#1M4F (definition). In XJWQ6Y83F8/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
4J8W71D239 4J8W71D239
| URI | m2://inv/4J8W71D239 |
|---|---|
| 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.06312#X9JV (statement). In Y3HBJMCC4D/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
involution 4J90NN52WF
| URI | m2://inv/4J90NN52WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#N943, involution (definition)
History
- 2026-11-02: add by m2/dev
branching quantifier 4J93C557NR
| URI | m2://inv/4J93C557NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Q34G, branching quantifier (definition)
History
- 2026-11-02: add by m2/dev
4J97EC3SWD 4J97EC3SWD
| URI | m2://inv/4J97EC3SWD |
|---|---|
| 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.28674#YCUT (statement)
History
- 2026-11-01: add by m2/v0.6.15
4J982VDKBA 4J982VDKBA
| URI | m2://inv/4J982VDKBA |
|---|---|
| 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.36321#FEZ9 (statement). In 3KTZ6Z615H/e1, lemma 5.14
History
- 2026-10-30: add by m2/v0.4.12
4J99KYQB28 4J99KYQB28
| URI | m2://inv/4J99KYQB28 |
|---|---|
| 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.23994#CWQV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Friedrich Wilhelm Bessel 4J9CSSQ9QN
| URI | m2://inv/4J9CSSQ9QN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Wilhelm Bessel, Friedrich Wilhelm Bessel (topic). Also Wikidata Q75845
History
- 2026-11-02: add by m2/dev
John Caulfield Hannyngton 4J9G8GTZXN
| URI | m2://inv/4J9G8GTZXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Caulfield Hannyngton, John Caulfield Hannyngton (topic). Also Wikidata Q106812020
History
- 2026-11-02: add by m2/dev
Truncated cuboctahedral graph 4J9J0TDM5G
| URI | m2://inv/4J9J0TDM5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated cuboctahedron#K45L, Truncated cuboctahedral graph (unknown)
History
- 2026-11-02: add by m2/dev
Modularity theorem 4J9M5CTXB2
| URI | m2://inv/4J9M5CTXB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular elliptic curve#KE44, Modularity theorem (statement)
History
- 2026-11-02: add by m2/dev
Well-connected 4J9R5634JX
| URI | m2://inv/4J9R5634JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#991R, Well-connected (definition)
History
- 2026-11-02: add by m2/dev
The method 4J9V2NNWW0
| URI | m2://inv/4J9V2NNWW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-implicit Euler method#UFJC, The method (definition)
History
- 2026-11-02: add by m2/dev
Algorithms 4J9YHRQF0X
| URI | m2://inv/4J9YHRQF0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex hull of a simple polygon#2V94, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Five Ways, Victoria 4J9ZEJK4HS
| URI | m2://inv/4J9ZEJK4HS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BU4I, Five Ways, Victoria (unknown)
History
- 2026-11-02: add by m2/dev
Shape moiré 4J9ZXYVMP4
| URI | m2://inv/4J9ZXYVMP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape moiré, Shape moiré (definition). Also Wikidata Q7489232
History
- 2026-11-02: add by m2/dev
4JA43A392B 4JA43A392B
| URI | m2://inv/4JA43A392B |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 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 2509.16523#V4Q7 (conjecture). In CJPFYRFY41/e1, conjecture 4
History
- 2026-10-27: add by m2/v0.3.5
Genuine equivariant chain complexes 4JA4JAZ8MF
| URI | m2://inv/4JA4JAZ8MF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#URIL, Genuine equivariant chain complexes (definition). In A1GWWGRXPA/e1, definition 3.47
History
- 2026-10-27: add by m2/v0.4.2
4JANHZE83H 4JANHZE83H
| URI | m2://inv/4JANHZE83H |
|---|---|
| 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#YV6Z (statement). In EXASSFT73P/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
4JANNYQ005 4JANNYQ005
| URI | m2://inv/4JANNYQ005 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#2GY1 (definition). In R6RF3P6D5A/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
4JAPMCPXFZ 4JAPMCPXFZ
| URI | m2://inv/4JAPMCPXFZ |
|---|---|
| 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.12047#GW1T (statement). In ZF1Y3HZMZ9/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
4JAQQH656Y 4JAQQH656Y
| URI | m2://inv/4JAQQH656Y |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.21971#70MM (problem). In R6KSZ9H8CY/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
4JAWTAZM3Y 4JAWTAZM3Y
| URI | m2://inv/4JAWTAZM3Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.18777#JWAD (definition). In TFZDPHDF7V/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.6
4JB2G4P2HQ 4JB2G4P2HQ
| URI | m2://inv/4JB2G4P2HQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31489#OUZG (definition). In ZKBG58PN1J/e1, definition 5.4
History
- 2026-10-31: add by m2/v0.5.6
4JB70RAH9T 4JB70RAH9T
| URI | m2://inv/4JB70RAH9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#WIMS (statement). In PA6JQDSKQT/e1, corollary 6.10
History
- 2026-10-28: add by m2/v0.4.2
Definition 4JBH90Q46E
| URI | m2://inv/4JBH90Q46E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine monoid#1V1E, Definition (definition)
History
- 2026-11-02: add by m2/dev
4JBQJE60R9 4JBQJE60R9
| URI | m2://inv/4JBQJE60R9 |
|---|---|
| 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.32977#7ITQ (statement). In 4KT9TK3MG4/e1, lemma D.17
History
- 2026-10-31: add by m2/v0.5.6
Smooth data fidelity 4JBTZ8WVS8
| URI | m2://inv/4JBTZ8WVS8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#S3FE, Smooth data fidelity (definition). In XJVZSGCX5V/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
mathematics award 4JBZSBJHMM
| URI | m2://inv/4JBZSBJHMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25536240, mathematics award (unknown). Also MathWorld MathematicsPrizes
History
- 2026-10-26: add by m2/dev
Generalizations 4JC1BBF5RR
| URI | m2://inv/4JC1BBF5RR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random utility model#173R, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
History of logarithms 4JC7QA691Q
| URI | m2://inv/4JC7QA691Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of logarithms, History of logarithms (definition). Also Wikidata Q22615167
History
- 2026-11-02: add by m2/dev
4JC7YY8NH4 4JC7YY8NH4
| URI | m2://inv/4JC7YY8NH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#CFRQ (statement). In 9J7TJYKGYX/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Symmetry 4JCD0H40G7
| URI | m2://inv/4JCD0H40G7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal tiling-triangular tiling honeycomb#I3XL, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
4JCDKWYNPZ 4JCDKWYNPZ
| URI | m2://inv/4JCDKWYNPZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 99.1
History
- 2026-11-01: add by m2/v0.6.13
4JCMYEMSYG 4JCMYEMSYG
| URI | m2://inv/4JCMYEMSYG |
|---|---|
| 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.23994#6GZU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Runcic 5-cubes 4JCSD1SQWQ
| URI | m2://inv/4JCSD1SQWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcic 5-cubes, Runcic 5-cubes (definition). Also Wikidata Q5033579
History
- 2026-11-02: add by m2/dev
4JD65G3C6E 4JD65G3C6E
| URI | m2://inv/4JD65G3C6E |
|---|---|
| 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.35153#K4N9 (statement). In RNDAAR1ER9/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Formal definition 4JD6A2FFPP
| URI | m2://inv/4JD6A2FFPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zipf's law#W5I4, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
monoid 4JD8K4T9W2
| URI | m2://inv/4JD8K4T9W2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/monoid, monoid (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Proof-theoretic semantics 4JD9Z96QQ9
| URI | m2://inv/4JD9Z96QQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof-theoretic semantics, Proof-theoretic semantics (definition). Also Wikidata Q7249983
History
- 2026-11-02: add by m2/dev
Restriction structure 4JDBSP1854
| URI | m2://inv/4JDBSP1854 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20207#HM81, Restriction structure (statement)
History
- 2026-11-02: add by m2/v0.6.18
Graded-commutative ring 4JDJ3RR25Z
| URI | m2://inv/4JDJ3RR25Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded-commutative ring, Graded-commutative ring (definition). Also Wikidata Q28458059
History
- 2026-11-02: add by m2/dev
Henselian 4JDP7Q5K84
| URI | m2://inv/4JDP7Q5K84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#MOS6, Henselian (definition)
History
- 2026-11-02: add by m2/dev
Kleptography 4JDVPVA7ZF
| URI | m2://inv/4JDVPVA7ZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleptography, Kleptography (topic). Also Wikidata Q1526275
History
- 2026-11-02: add by m2/dev
Example 4JE2QSHH1A
| URI | m2://inv/4JE2QSHH1A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum likelihood estimation#93U4, Example (example)
History
- 2026-11-02: add by m2/dev
Curve448 4JE8YDB7YY
| URI | m2://inv/4JE8YDB7YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve448, Curve448 (definition). Also Wikidata Q55608705
History
- 2026-11-02: add by m2/dev
4JEB2KV0M8 4JEB2KV0M8
| URI | m2://inv/4JEB2KV0M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#KB7V (statement). In 332PQD90SW/e1, theorem 2.15
History
- 2026-10-27: add by m2/v0.3.5
Haim Shapira 4JEVP3FAGP
| URI | m2://inv/4JEVP3FAGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haim Shapira, Haim Shapira (topic). Also Wikidata Q7060763
History
- 2026-11-02: add by m2/dev
L1-norm principal component analysis 4JEY1XH0CJ
| URI | m2://inv/4JEY1XH0CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L1-norm principal component analysis, L1-norm principal component analysis (definition). Also Wikidata Q55616352
History
- 2026-11-02: add by m2/dev
Dunford–Pettis property 4JEYMPJ4G3
| URI | m2://inv/4JEYMPJ4G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dunford–Pettis property, Dunford–Pettis property (definition). Also Wikidata Q1265637
History
- 2026-11-02: add by m2/dev
4JFBN7HC1T 4JFBN7HC1T
| URI | m2://inv/4JFBN7HC1T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#example-5 (example). In RZP28ERRZV, example, section 43.5
History
- 2026-11-01: add by m2/v0.6.13
Kähler manifold 4JFBXJVWNJ
| URI | m2://inv/4JFBXJVWNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#9ZCP, Kähler manifold (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#Q8Q5, Kähler manifold (definition)
- wikipedia: Wikipedia List of string theory topics#432T, Kähler manifold (definition)
- wikipedia: Wikipedia List of manifolds#9XEB, Kähler manifold (definition)
- wikipedia: Wikipedia List of manifolds#V468, Kähler manifold (definition)
History
- 2026-11-02: add by m2/dev
4JFJ526Q31 4JFJ526Q31
| URI | m2://inv/4JFJ526Q31 |
|---|---|
| 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.06875#NQOD (statement). In ZDT5J9KQVQ/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Skew-merged permutation 4JFR65SZ37
| URI | m2://inv/4JFR65SZ37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-merged permutation, Skew-merged permutation (definition). Also Wikidata Q56289975
History
- 2026-11-02: add by m2/dev
4JFW4925JD 4JFW4925JD
| URI | m2://inv/4JFW4925JD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
4JG0Z4V4WE 4JG0Z4V4WE
| URI | m2://inv/4JG0Z4V4WE |
|---|---|
| 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.25656#EMFM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 4JG58TTBYS
| URI | m2://inv/4JG58TTBYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy index#70GU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sebastian Georg Manuel Wolfgang Pauli 4JG8MY0C42
| URI | m2://inv/4JG8MY0C42 |
|---|---|
| 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 Q102253171, Sebastian Georg Manuel Wolfgang Pauli (unknown). Also nLab Sebastian Pauli
History
- 2026-10-26: add by m2/dev
♯P-complete 4JG9QCTPNB
| URI | m2://inv/4JG9QCTPNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ♯P-complete, ♯P-complete (definition). Also Wikidata Q841545
History
- 2026-11-02: add by m2/dev
4JGDDQQDRT 4JGDDQQDRT
| URI | m2://inv/4JGDDQQDRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#KL28 (statement). In ZHP1MFSACN/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.12
Induction on !!{formula}s 4JGF8630B4
| URI | m2://inv/4JGF8630B4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#defn-4, Induction on !!{formula}s (definition). In PKGMM3P5QY, defn, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
4JGP0FY6ZY 4JGP0FY6ZY
| URI | m2://inv/4JGP0FY6ZY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 43.7
History
- 2026-11-01: add by m2/v0.6.13
theory of eigenspaces 4JGPKM8GQ5
| URI | m2://inv/4JGPKM8GQ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 15A18 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114702204, theory of eigenspaces (topic)
History
- 2026-10-26: add by m2/dev
Jane Kister 4JGV7YFKFF
| URI | m2://inv/4JGV7YFKFF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#5A7A, Jane Kister (topic)
History
- 2026-11-02: add by m2/dev
4JH43Y4Q8C 4JH43Y4Q8C
| URI | m2://inv/4JH43Y4Q8C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.03058#N0NM (definition). In STV2W9WA1K/e1, definition 0.8
History
- 2026-10-27: add by m2/v0.4.0
4JH4XQN4W5 4JH4XQN4W5
| URI | m2://inv/4JH4XQN4W5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#5F5S (definition). In 8Z47D12KSX/e1, definition 4.14
History
- 2026-10-29: add by m2/v0.4.10
The affine Klein family 4JH5X0T525
| URI | m2://inv/4JH5X0T525 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#OHD2, The affine Klein family (definition). In XX1J2REXY2/e1, definition 4.8
History
- 2026-10-28: add by m2/v0.4.2
4JH8RBNPMN 4JH8RBNPMN
| URI | m2://inv/4JH8RBNPMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35383#69X3 (statement). In HSR4748706/e1, corollary 2.7
History
- 2026-10-30: add by m2/v0.4.12
Properties 4JH9NJB6QJ
| URI | m2://inv/4JH9NJB6QJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered ring#37VC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Comeback of Vincent's theorem 4JHD2TC26J
| URI | m2://inv/4JHD2TC26J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent's theorem#MBN4, Comeback of Vincent's theorem (statement)
History
- 2026-11-02: add by m2/dev
4JHDTZ00W9 4JHDTZ00W9
| URI | m2://inv/4JHDTZ00W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#W57M (statement). In 68AE571S4P/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
graph 4JHM3WF3J7
| URI | m2://inv/4JHM3WF3J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#QYSI, graph (definition)
History
- 2026-11-02: add by m2/dev
4JHNW856FZ 4JHNW856FZ
| URI | m2://inv/4JHNW856FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#1Y2W (statement). In XXN6KKXPYF/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Key theorems 4JHVZTJFNG
| URI | m2://inv/4JHVZTJFNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy theory#1K5P, Key theorems (statement)
History
- 2026-11-02: add by m2/dev
Algorithmically random sequence 4JHW8QYTPW
| URI | m2://inv/4JHW8QYTPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmically random sequence, Algorithmically random sequence (definition). Also Wikidata Q612552
History
- 2026-11-02: add by m2/dev
4JHZGRQZW4 4JHZGRQZW4
| URI | m2://inv/4JHZGRQZW4 |
|---|---|
| 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.03520#M1OG (statement). In CSRZ9CWK69/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Example 4JJ07AP5PA
| URI | m2://inv/4JJ07AP5PA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat topology#T6NV, Example (example)
History
- 2026-11-02: add by m2/dev
4JJ0AY49T9 4JJ0AY49T9
| URI | m2://inv/4JJ0AY49T9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#NEMQ (definition). In G1RP4JY5PE/e1, definition 2.1.3
History
- 2026-10-31: add by m2/v0.5.6
4JJBCH0AH0 4JJBCH0AH0
| URI | m2://inv/4JJBCH0AH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1810.06028#POCT (definition). In ZPFHH6YJG3/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Example 4JJCJ9T347
| URI | m2://inv/4JJCJ9T347 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular measure#TI8R, Example (example)
History
- 2026-11-02: add by m2/dev
4JJDX283X9 4JJDX283X9
| URI | m2://inv/4JJDX283X9 |
|---|---|
| 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 2503.19528#E9OE (statement). In EM5955MDHN/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
Categorical logic 4JJKCZCVTF
| URI | m2://inv/4JJKCZCVTF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#K0W0, Categorical logic (topic)
History
- 2026-11-02: add by m2/dev
4JJQ7MX29S 4JJQ7MX29S
| URI | m2://inv/4JJQ7MX29S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-4.xml#activity-1 (exercise). In 649HGZKE96, activity, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Applications 4JJTT8F416
| URI | m2://inv/4JJTT8F416 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inviscid flow#1BG5, Applications (example)
History
- 2026-11-02: add by m2/dev
4JJVRCZA4R 4JJVRCZA4R
| URI | m2://inv/4JJVRCZA4R |
|---|---|
| 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#8FMN (example)
History
- 2026-11-02: add by m2/v0.6.18
4JJWE46RRG 4JJWE46RRG
| URI | m2://inv/4JJWE46RRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#JCKO (statement). In H3FDP8S1Z7/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
4JK1KMBMQA 4JK1KMBMQA
| URI | m2://inv/4JK1KMBMQA |
|---|---|
| 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 2405.13323#NJ2W (statement). In 5KN5GD38KG/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
4JKH2ZEJKP 4JKH2ZEJKP
| URI | m2://inv/4JKH2ZEJKP |
|---|---|
| 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.00339#O3SY (statement). In ZRG6NY1ECH/e1, lemma 36
History
- 2026-10-30: add by m2/v0.4.12
discrete law 4JKHNMSKED
| URI | m2://inv/4JKHNMSKED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > discrete law, discrete law (unknown). Also Mathlib PMF
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > discrete law, discrete law (unknown). Also Mathlib PMF
History
- 2026-10-26: add by m2/dev
Regularized interval contraction 4JKJ7SR6N4
| URI | m2://inv/4JKJ7SR6N4 |
|---|---|
| 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.27799#N87L, Regularized interval contraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Georgy Voronoy 4JKKVYXR9J
| URI | m2://inv/4JKKVYXR9J |
|---|---|
| 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#GYAS, Georgy Voronoy (topic)
History
- 2026-11-02: add by m2/dev
SPSS 4JKKZDEBPC
| URI | m2://inv/4JKKZDEBPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#JLZE, SPSS (definition)
History
- 2026-11-02: add by m2/dev
Polynomial contraction 4JKRWTG32C
| URI | m2://inv/4JKRWTG32C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10546#Z7D9, Polynomial contraction (statement). In K5R5RRPMQ5/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
Examples 4JKSX8C2CH
| URI | m2://inv/4JKSX8C2CH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat manifold#QXDX, Examples (example)
History
- 2026-11-02: add by m2/dev
4JM0RBQRYX 4JM0RBQRYX
| URI | m2://inv/4JM0RBQRYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#VC70 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4JMBA7CJQY 4JMBA7CJQY
| URI | m2://inv/4JMBA7CJQY |
|---|---|
| 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 2509.05577#EP19 (statement). In EFWBREMZAP/e1, theorem 0.3
History
- 2026-10-27: add by m2/v0.3.5
Perron--Frobenius 4JMPXP4SQ6
| URI | m2://inv/4JMPXP4SQ6 |
|---|---|
| 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.06653#FFFT, Perron--Frobenius (statement). In 9D2N76AJAT/e1, theorem D.3
History
- 2026-10-29: add by m2/v0.4.10
Hardy–Littlewood maximal function 4JN04PRS2F
| URI | m2://inv/4JN04PRS2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3075250, Hardy–Littlewood maximal theorem (statement). Also Wikidata Q3075250
- thousand_plus: thousand_plus Q3075250, Hardy–Littlewood maximal theorem (statement). Also Wikidata Q3075250, Wikipedia Hardy–Littlewood maximal theorem
- wikipedia: Wikipedia Hardy–Littlewood maximal function, Hardy–Littlewood maximal function (definition). Also Wikidata Q3075250
History
- 2026-10-26: add by m2/dev
4JN07DTNDW 4JN07DTNDW
| URI | m2://inv/4JN07DTNDW |
|---|---|
| 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 math/9201244#NM9U (statement). In 7D3HCN21MK/e1, theorem 3.13
History
- 2026-10-27: add by m2/v0.3.5
Sampling methods 4JN7HD2Y2Y
| URI | m2://inv/4JN7HD2Y2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling (statistics)#NIIZ, Sampling methods (definition)
History
- 2026-11-02: add by m2/dev
4JNC5HBSQP 4JNC5HBSQP
| URI | m2://inv/4JNC5HBSQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#MWN6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Summed area table 4JNH3K33FA
| URI | m2://inv/4JNH3K33FA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5865, Summed area table (unknown)
History
- 2026-11-02: add by m2/dev
Higgs field 4JNMTSA4HY
| URI | m2://inv/4JNMTSA4HY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2094142, Higgs field (unknown). Also nLab Higgs field
History
- 2026-10-26: add by m2/dev
Noureddine El Karoui 4JNVTHY2V4
| URI | m2://inv/4JNVTHY2V4 |
|---|---|
| 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#SQS7, Noureddine El Karoui (unknown)
History
- 2026-11-02: add by m2/dev
convexity of $g_N$ 4JP0TVEQET
| URI | m2://inv/4JP0TVEQET |
|---|---|
| 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#AQL6, convexity of $g_N$ (statement). In 94RBNQA07A/e1, proposition 5.17
History
- 2026-10-27: add by m2/v0.3.5
4JP1ENTRJN 4JP1ENTRJN
| URI | m2://inv/4JP1ENTRJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.07961#HYQZ (statement). In 4DK4VRKZVM/e1, corollary 1.8
History
- 2026-10-27: add by m2/v0.3.5
4JP5QW3AS6 4JP5QW3AS6
| URI | m2://inv/4JP5QW3AS6 |
|---|---|
| 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 0805.4273#WW6S (statement). In ZX3NV58FRX/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Existence and regularity of transportation network geometric flow $(T_t)$ 4JPE2PA9DT
| URI | m2://inv/4JPE2PA9DT |
|---|---|
| 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#HXZM, Existence and regularity of transportation network geometric flow $(T_t)$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frank Verstraete 4JPMR2D3ZP
| URI | m2://inv/4JPMR2D3ZP |
|---|---|
| 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 Q5490109, Frank Verstraete (unknown). Also nLab Frank Verstraete
History
- 2026-10-26: add by m2/dev
Confusability graph 4JPPK0RKHN
| URI | m2://inv/4JPPK0RKHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon capacity of a graph#9A0B, Confusability graph (unknown)
History
- 2026-11-02: add by m2/dev
4JPQRMKG5W 4JPQRMKG5W
| URI | m2://inv/4JPQRMKG5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#33I0 (statement). In 702AF3E4AF/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
4JQ4C3Y30R 4JQ4C3Y30R
| URI | m2://inv/4JQ4C3Y30R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-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.27192#IFJC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Perturbed deterministic resolvent 4JQBCSKVA5
| URI | m2://inv/4JQBCSKVA5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#X58Z, Perturbed deterministic resolvent (definition). In 4KYENHR0J8/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
Definition 4JQDR4RNSW
| URI | m2://inv/4JQDR4RNSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact embedding#5JGJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
integer sequence 4JQME5D4WB
| URI | m2://inv/4JQME5D4WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2297602, integer sequence (unknown). Also MathWorld IntegerSequence
- wikipedia: Wikipedia Integer sequence, Integer sequence (definition). Also Wikidata Q2297602
History
- 2026-10-26: add by m2/dev
Six-Milles, New Brunswick 4JQQJZPG7H
| URI | m2://inv/4JQQJZPG7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SG8Q, Six-Milles, New Brunswick (unknown)
History
- 2026-11-02: add by m2/dev
cohomotopy group 4JQTTP90F2
| URI | m2://inv/4JQTTP90F2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#PDHT, cohomotopy group (definition)
History
- 2026-11-02: add by m2/dev
Properties 4JQXBDRAJQ
| URI | m2://inv/4JQXBDRAJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectilinear Steiner tree#2AWV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Explicit discretization error for the SetConv instantiation 4JQYR76374
| URI | m2://inv/4JQYR76374 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35531#ADZY, Explicit discretization error for the SetConv instantiation (statement). In 6VBKRCMF4K/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
4JR8SRB3WG 4JR8SRB3WG
| URI | m2://inv/4JR8SRB3WG |
|---|---|
| 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 2607.27272#EYIO (statement). In BDEA3TDATY/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
4JR8W9C4M6 4JR8W9C4M6
| URI | m2://inv/4JR8W9C4M6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 60.5
History
- 2026-11-01: add by m2/v0.6.13
4JREYDP072 4JREYDP072
| URI | m2://inv/4JREYDP072 |
|---|---|
| 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 2306.08237#FTWF (statement). In E22A2MFR4Y/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.6
Definitions 4JREZT1MEW
| URI | m2://inv/4JREZT1MEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary tree#5QOT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Society of Applied Mathematics and Mechanics 4JRHH8J092
| URI | m2://inv/4JRHH8J092 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#VAF4, Society of Applied Mathematics and Mechanics (unknown)
History
- 2026-11-02: add by m2/dev
Non-explosion and strong solution 4JRM45PHR5
| URI | m2://inv/4JRM45PHR5 |
|---|---|
| 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 2609.37944#NP6A, Non-explosion and strong solution (statement). In KP94WJVJXY/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Polytopal KKMS theorem (Komiya) 4JRS9WN9S7
| URI | m2://inv/4JRS9WN9S7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#OUJD, Polytopal KKMS theorem (Komiya) (statement)
History
- 2026-11-02: add by m2/dev
Szymanski's conjecture 4JRSBDHSC5
| URI | m2://inv/4JRSBDHSC5 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6PJQ, Szymanski's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
A. V. Skorokhod 4JRW8APMKQ
| URI | m2://inv/4JRW8APMKQ |
|---|---|
| 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#KF8N, A. V. Skorokhod (unknown)
History
- 2026-11-02: add by m2/dev
Lemma 4JRZ5DZNK4
| URI | m2://inv/4JRZ5DZNK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dolbeault cohomology#UH88, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Definition 3 4JS6CQ0BKC
| URI | m2://inv/4JS6CQ0BKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#8NFK, Definition 3 (definition)
History
- 2026-11-02: add by m2/dev
Brill's relation 4JSCZJVVH1
| URI | m2://inv/4JSCZJVVH1 |
|---|---|
| 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.03612#2RRG, Brill's relation (statement). In REDG6QVHM3/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.12
Carlos Castillo-Chavez 4JSE9F0PDM
| URI | m2://inv/4JSE9F0PDM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LJ9T, Carlos Castillo-Chavez (topic)
History
- 2026-11-02: add by m2/dev
Anti-commutator 4JSHMBXW87
| URI | m2://inv/4JSHMBXW87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator#JJB2, Anti-commutator (unknown)
History
- 2026-11-02: add by m2/dev
Wright, Elizur 4JSSK1CEPZ
| URI | m2://inv/4JSSK1CEPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RU9E, Wright, Elizur (unknown)
History
- 2026-11-02: add by m2/dev
Generic polynomial 4JSYH2GC6Q
| URI | m2://inv/4JSYH2GC6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic polynomial, Generic polynomial (definition). Also Wikidata Q5532677
History
- 2026-11-02: add by m2/dev
Finitely generated monoid 4JT08VPMCD
| URI | m2://inv/4JT08VPMCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid#3FCM, Finitely generated monoid (unknown)
History
- 2026-11-02: add by m2/dev
Ultraintuitionism 4JT4Y5ACCK
| URI | m2://inv/4JT4Y5ACCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FONS, Ultraintuitionism (definition)
History
- 2026-11-02: add by m2/dev
4JV6SSNKQG 4JV6SSNKQG
| URI | m2://inv/4JV6SSNKQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#3TOH (statement). In F71MS1F637/e1, lemma 5.11
History
- 2026-10-30: add by m2/v0.4.12
4JV78W2WX1 4JV78W2WX1
| URI | m2://inv/4JV78W2WX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:whitehead1 (statement). In N54F33XE07, cor, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Raquel Prado 4JV7VEX3J0
| URI | m2://inv/4JV7VEX3J0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raquel Prado, Raquel Prado (topic). Also Wikidata Q57915928
History
- 2026-11-02: add by m2/dev
Definition 4JV9NT2A59
| URI | m2://inv/4JV9NT2A59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grunwald–Winstein equation#99U5, Definition (definition)
History
- 2026-11-02: add by m2/dev
4JVBDG1VA9 4JVBDG1VA9
| URI | m2://inv/4JVBDG1VA9 |
|---|---|
| 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 2609.21933#TLRR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Orthogonal polynomials 4JVC9YV0KN
| URI | m2://inv/4JVC9YV0KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#33QK, Orthogonal polynomials (definition)
History
- 2026-11-02: add by m2/dev
4JVE0TJYVD 4JVE0TJYVD
| URI | m2://inv/4JVE0TJYVD |
|---|---|
| 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.13850#CCEQ (statement). In KJY735KSMF/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
4JVNM6FJGT 4JVNM6FJGT
| URI | m2://inv/4JVNM6FJGT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
4JVPDZXBB4 4JVPDZXBB4
| URI | m2://inv/4JVPDZXBB4 |
|---|---|
| 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.09078#SNJD (statement). In B4GK8NEZM9/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Brocard axis 4JVSWV3XY2
| URI | m2://inv/4JVSWV3XY2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128799116, Brocard axis (concept). Also MathWorld BrocardAxis
History
- 2026-10-26: add by m2/dev
4JVWETXMP1 4JVWETXMP1
| URI | m2://inv/4JVWETXMP1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#GUU4 (definition). In M4JGP708F4/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.12
History of complex analysis 4JW3ZNDXW6
| URI | m2://inv/4JW3ZNDXW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex analysis#QK89, History of complex analysis (unknown)
History
- 2026-11-02: add by m2/dev
4JW7HBJ2AX 4JW7HBJ2AX
| URI | m2://inv/4JW7HBJ2AX |
|---|---|
| Kind | example |
| 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 1903.07030#4V7D (example). In 9H45HQE7AZ/e1, example 3.38
History
- 2026-10-27: add by m2/v0.3.5
Odds 4JW91XYFR8
| URI | m2://inv/4JW91XYFR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4R3N, Odds (definition)
- wikipedia: Wikipedia List of probability topics#37YP, Odds (definition)
History
- 2026-11-02: add by m2/dev
Craig A. Hill 4JWJS2008P
| URI | m2://inv/4JWJS2008P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craig A. Hill, Craig A. Hill (topic). Also Wikidata Q125179367
History
- 2026-11-02: add by m2/dev
Applications 4JWJX1GDDQ
| URI | m2://inv/4JWJX1GDDQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 lattice#IWKR, Applications (example)
History
- 2026-11-02: add by m2/dev
4JX0SYJ4CS 4JX0SYJ4CS
| URI | m2://inv/4JX0SYJ4CS |
|---|---|
| Kind | definition |
| 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.21622#661N (definition). In H21X3FHNYJ/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Prace z Logiki 4JX1FRH742
| URI | m2://inv/4JX1FRH742 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#S83U, Prace z Logiki (unknown)
History
- 2026-11-02: add by m2/dev
Wiener–Araya graph 4JX44D3NV0
| URI | m2://inv/4JX44D3NV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115546, Wiener–Araya graph (unknown). Also House of Graphs 1431, MathWorld Wiener-ArayaGraph
- wikipedia: Wikipedia Wiener–Araya graph, Wiener–Araya graph (definition). Also Wikidata Q3115546
History
- 2026-10-26: add by m2/dev
4JX751T32X 4JX751T32X
| URI | m2://inv/4JX751T32X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#6Z88 (unknown)
History
- 2026-11-02: add by m2/dev
axiom, of choice 4JXBTXSH50
| URI | m2://inv/4JXBTXSH50 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.8/axiom-of-choice, axiom, of choice (concept). In N54F33XE07, index, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Ovidiu Savin 4JXMNGTTZE
| URI | m2://inv/4JXMNGTTZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ovidiu Savin, Ovidiu Savin (topic). Also Wikidata Q15710746
History
- 2026-11-02: add by m2/dev
Tõnu Möls 4JXNB74XTZ
| URI | m2://inv/4JXNB74XTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tõnu Möls, Tõnu Möls (topic). Also Wikidata Q12377537
History
- 2026-11-02: add by m2/dev
Initial value theorem 4JXQ8YG28K
| URI | m2://inv/4JXQ8YG28K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 44-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4272300, Initial value theorem (statement). Also Wikidata Q4272300
- thousand_plus: thousand_plus Q4272300, Initial value theorem (statement). Also Wikidata Q4272300, Wikipedia Initial value theorem
- wikipedia: Wikipedia Initial value theorem, Initial value theorem (statement). Also Wikidata Q4272300
History
- 2026-10-26: add by m2/dev
Feldman-Propp 4JXVGA2EDS
| URI | m2://inv/4JXVGA2EDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 1704.04089#GIY9, Feldman-Propp (statement). In T126FDFXT5/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Fiona Steele 4JXWD9SV4P
| URI | m2://inv/4JXWD9SV4P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiona Steele, Fiona Steele (topic). Also Wikidata Q52497942
History
- 2026-11-02: add by m2/dev
4JXWZH7YGJ 4JXWZH7YGJ
| URI | m2://inv/4JXWZH7YGJ |
|---|---|
| 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.05696#F5ZS (statement). In MG81A9XJTQ/e1, proposition B.1
History
- 2026-10-29: add by m2/v0.4.10
Hadamard's lemma 4JY8DA8YSW
| URI | m2://inv/4JY8DA8YSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#GZ62, Hadamard's lemma (statement)
History
- 2026-11-02: add by m2/dev
Kazhdan's theorem 4JYGH5Y0DT
| URI | m2://inv/4JYGH5Y0DT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic variety#DFD4, Kazhdan's theorem (statement)
History
- 2026-11-02: add by m2/dev
Lemma 4JYJP0TKCA
| URI | m2://inv/4JYJP0TKCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar decomposition#J0D7, Lemma (statement)
History
- 2026-11-02: add by m2/dev
4JYPJWGG1Z 4JYPJWGG1Z
| URI | m2://inv/4JYPJWGG1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#CMMU (statement). In Y8XQT02BBF/e1, lemma 2.48
History
- 2026-10-28: add by m2/v0.4.2
4JYRY09KP2 4JYRY09KP2
| URI | m2://inv/4JYRY09KP2 |
|---|---|
| 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.10107#HF20 (statement). In ZHNJ8MSXHW/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
4JYXW1W5Q5 4JYXW1W5Q5
| URI | m2://inv/4JYXW1W5Q5 |
|---|---|
| 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.36877#RAGS (statement). In FYS6VV5M99/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
James Waterman Glover 4JZ4N6DS1X
| URI | m2://inv/4JZ4N6DS1X |
|---|---|
| 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#00QM, James Waterman Glover (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#S5NY, James Waterman Glover (topic)
History
- 2026-11-02: add by m2/dev
Soundness (Interactive Proof) 4JZ4RYANPY
| URI | m2://inv/4JZ4RYANPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interactive proof system#MUTO, Soundness (Interactive Proof) (unknown)
History
- 2026-11-02: add by m2/dev
4JZ4Y62QXA 4JZ4Y62QXA
| URI | m2://inv/4JZ4Y62QXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2501.09848#C6T5 (statement). In HF7YNMW39N/e1, theorem picture
History
- 2026-10-27: add by m2/v0.4.0
Linda M. Haines 4JZBVG9W7S
| URI | m2://inv/4JZBVG9W7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda M. Haines, Linda M. Haines (topic). Also Wikidata Q43916734
History
- 2026-11-02: add by m2/dev
4JZD6ZPS8S 4JZD6ZPS8S
| URI | m2://inv/4JZD6ZPS8S |
|---|---|
| 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 2209.00108#8RZW (definition). In V2G422ZMPW/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Journal of Differential Geometry 4JZDJ075KV
| URI | m2://inv/4JZDJ075KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Differential Geometry, Journal of Differential Geometry (definition). Also Wikidata Q6295090
History
- 2026-11-02: add by m2/dev
Eric Anders Carlen 4JZF3C1KM8
| URI | m2://inv/4JZF3C1KM8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric Anders Carlen, Eric Anders Carlen (topic). Also Wikidata Q24851524
History
- 2026-11-02: add by m2/dev