Inventory rows 7J
The cards of the rows of the inventory whose ids start with 7J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem 7J06G64GEZ
| URI | m2://inv/7J06G64GEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#8YME, Theorem (statement)
History
- 2026-11-02: add by m2/dev
7J0AGT675Y 7J0AGT675Y
| URI | m2://inv/7J0AGT675Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#BLMN (statement). In D1DFM4WYEW/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
7J0FWBBQ8G 7J0FWBBQ8G
| URI | m2://inv/7J0FWBBQ8G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#MJH1 (definition)
History
- 2026-11-02: add by m2/v0.6.18
7J0KB7B0FW 7J0KB7B0FW
| URI | m2://inv/7J0KB7B0FW |
|---|---|
| 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.30407#LV4C (statement). In HNY6N561H5/e1, proposition 2.9
History
- 2026-10-31: add by m2/v0.5.6
Examples 7J0MQBRSG7
| URI | m2://inv/7J0MQBRSG7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation (topology)#MWPO, Examples (example)
History
- 2026-11-02: add by m2/dev
lazy caterer's sequence 7J0NR9XDWG
| URI | m2://inv/7J0NR9XDWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2259070, lazy caterer's sequence (object). Also MathWorld CircleDivisionbyLines, OEIS A000124
- wikipedia: Wikipedia Lazy caterer's sequence, Lazy caterer's sequence (definition). Also Wikidata Q2259070
History
- 2026-10-26: add by m2/dev
7J0V9A2A4K 7J0V9A2A4K
| URI | m2://inv/7J0V9A2A4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17009#8LNC (statement). In PESAKD6SSW/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
Witold Hurewicz 7J17FX7SDV
| URI | m2://inv/7J17FX7SDV |
|---|---|
| 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 Q1930684, Witold Hurewicz (unknown). Also nLab Witold Hurewicz
- wikipedia: Wikipedia Witold Hurewicz, Witold Hurewicz (topic). Also Wikidata Q1930684
History
- 2026-10-26: add by m2/dev
Generalizing Theorem 3.1.5 7J17PE0ZKP
| URI | m2://inv/7J17PE0ZKP |
|---|---|
| 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.22685#MG2K, Generalizing Theorem 3.1.5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
7J1PKVPXE0 7J1PKVPXE0
| URI | m2://inv/7J1PKVPXE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#X0EB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaussian isoperimetric inequality 7J1Q8ED617
| URI | m2://inv/7J1Q8ED617 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8RMQ, Gaussian isoperimetric inequality (statement)
- wikipedia: Wikipedia List of inequalities#5211, Gaussian isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
Cross-race effect 7J1SNSAQA2
| URI | m2://inv/7J1SNSAQA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#96QO, Cross-race effect (unknown)
History
- 2026-11-02: add by m2/dev
7J1TTFQERJ 7J1TTFQERJ
| URI | m2://inv/7J1TTFQERJ |
|---|---|
| Kind | statement |
| 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 2610.22247#10YJ (statement). In SBNH1MWND8/e1, proposition 23
History
- 2026-10-27: add by m2/v0.4.0
7J21Y2Q7RN 7J21Y2Q7RN
| URI | m2://inv/7J21Y2Q7RN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2602.15812#4EST (definition). In GAAZD3SGPN/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Thistlethwaite's algorithm 7J2C8RT265
| URI | m2://inv/7J2C8RT265 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morwen Thistlethwaite#1LAF, Thistlethwaite's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Kolmogorov's zero–one law 7J2CVN5N8N
| URI | m2://inv/7J2CVN5N8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#61RX, Kolmogorov's zero–one law (statement)
History
- 2026-11-02: add by m2/dev
7J2GHRRPZB 7J2GHRRPZB
| URI | m2://inv/7J2GHRRPZB |
|---|---|
| Kind | definition |
| 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 2609.25967#HKU9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Estimating equations 7J2SWK45TN
| URI | m2://inv/7J2SWK45TN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimating equations, Estimating equations (definition). Also Wikidata Q5401384
History
- 2026-11-02: add by m2/dev
7J2ZQZYP4M 7J2ZQZYP4M
| URI | m2://inv/7J2ZQZYP4M |
|---|---|
| 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.13137#S6D0 (statement). In NH77XVB03X/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
7J326714D5 7J326714D5
| URI | m2://inv/7J326714D5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#DSSG (definition). In Y8A35AV31M/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
7J3G23PMG1 7J3G23PMG1
| URI | m2://inv/7J3G23PMG1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Hilbert's paradox 7J3G9QZZG2
| URI | m2://inv/7J3G9QZZG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann universe#G7FB, Hilbert's paradox (statement)
History
- 2026-11-02: add by m2/dev
7J3K7NQY2K 7J3K7NQY2K
| URI | m2://inv/7J3K7NQY2K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Particle in a one-dimensional lattice 7J3P2SCSWX
| URI | m2://inv/7J3P2SCSWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle in a one-dimensional lattice, Particle in a one-dimensional lattice (definition). Also Wikidata Q178825
History
- 2026-11-02: add by m2/dev
7J3Q46XTC8 7J3Q46XTC8
| URI | m2://inv/7J3Q46XTC8 |
|---|---|
| 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.20588#UMC1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Daniel Huybrechts 7J4AHQ4J8A
| URI | m2://inv/7J4AHQ4J8A |
|---|---|
| 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 Q1161188, Daniel Huybrechts (unknown). Also nLab Daniel Huybrechts
- wikipedia: Wikipedia Daniel Huybrechts, Daniel Huybrechts (topic). Also Wikidata Q1161188
History
- 2026-10-26: add by m2/dev
7J4AZE3AJC 7J4AZE3AJC
| URI | m2://inv/7J4AZE3AJC |
|---|---|
| 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.25391#TAZB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 7J4E1T2C8E
| URI | m2://inv/7J4E1T2C8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel integral#ENMR, Properties (statement)
History
- 2026-11-02: add by m2/dev
7J4G53KMNN 7J4G53KMNN
| URI | m2://inv/7J4G53KMNN |
|---|---|
| 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 2610.07770#CY75 (statement). In 6GHT4P7E8X/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
7J4GW7PR9H 7J4GW7PR9H
| URI | m2://inv/7J4GW7PR9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#KRWA (statement)
History
- 2026-11-02: add by m2/v0.6.17
7J4J7Y54ZD 7J4J7Y54ZD
| URI | m2://inv/7J4J7Y54ZD |
|---|---|
| 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 1804.06366#S0OQ (statement). In 89XYDVXG38/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Completeness (statistics) 7J4JYAMK5S
| URI | m2://inv/7J4JYAMK5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HP2Z, Completeness (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Bounded Geometry 7J4MN75N91
| URI | m2://inv/7J4MN75N91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#JIO4, Bounded Geometry (statement). In WRE0P7V6Z3/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
7J4NZMTAP4 7J4NZMTAP4
| URI | m2://inv/7J4NZMTAP4 |
|---|---|
| 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.14914#7SFL (statement). In CHC3T113Y4/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
7J4T2Q5R6N 7J4T2Q5R6N
| URI | m2://inv/7J4T2Q5R6N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2110.11143#KX6V (definition). In VTVC0TCWSB/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Rochelle Martinez 7J4VKC7AFM
| URI | m2://inv/7J4VKC7AFM |
|---|---|
| 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#VROI, Rochelle Martinez (unknown)
History
- 2026-11-02: add by m2/dev
7J4VVP4W1A 7J4VVP4W1A
| URI | m2://inv/7J4VVP4W1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm-1 (statement). In N54F33XE07, thm, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
St\"{o}hr 7J4WNKPB8P
| URI | m2://inv/7J4WNKPB8P |
|---|---|
| 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 2610.19470#2K8I, St\"{o}hr (statement). In Y24F6WTV90/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
completely metrizable space 7J4YNBCKXY
| URI | m2://inv/7J4YNBCKXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156532, completely metrizable space (definition). Also ProofWiki Definition:Completely_Metrizable_Topology
- wikipedia: Wikipedia Completely metrizable space, Completely metrizable space (definition). Also Wikidata Q5156532
History
- 2026-10-26: add by m2/dev
7J50KE1C0K 7J50KE1C0K
| URI | m2://inv/7J50KE1C0K |
|---|---|
| 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.00358#Q30N (statement). In C5WGCSPM6W/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
7J52CA62G3 7J52CA62G3
| URI | m2://inv/7J52CA62G3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#GU0C (example)
History
- 2026-11-02: add by m2/v0.6.17
Algorithms 7J52JHK69Z
| URI | m2://inv/7J52JHK69Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degeneracy (graph theory)#GVQU, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Fixed points and convergence 7J54HZDDSP
| URI | m2://inv/7J54HZDDSP |
|---|---|
| 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.10993#KNE2, Fixed points and convergence (statement). In 1JCPN0K7DB/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.3
Excosecant 7J5DSKV16Z
| URI | m2://inv/7J5DSKV16Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#9ZFU, Excosecant (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 7J5JE0PXF0
| URI | m2://inv/7J5JE0PXF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural filtration#ED19, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
injective 7J5M1DRV8Q
| URI | m2://inv/7J5M1DRV8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#04LJ, injective (definition)
History
- 2026-11-02: add by m2/dev
inductive hypothesis 7J5MTC8VT1
| URI | m2://inv/7J5MTC8VT1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.8/inductive-hypothesis, inductive hypothesis (concept). In QKM9DD2H56, index, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
7J5MZGH56Z 7J5MZGH56Z
| URI | m2://inv/7J5MZGH56Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#proof-5 (proof). In RZP28ERRZV, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
7J5QA2P991 7J5QA2P991
| URI | m2://inv/7J5QA2P991 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2610.20956#XM5A (statement). In X9WFC1D9ZS/e1, proposition 29
History
- 2026-10-27: add by m2/v0.4.2
Applications 7J5TFBAKZD
| URI | m2://inv/7J5TFBAKZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plummer model#H9QS, Applications (example)
History
- 2026-11-02: add by m2/dev
7J6ET4EST3 7J6ET4EST3
| URI | m2://inv/7J6ET4EST3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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.28742#FA1Z (example)
History
- 2026-11-01: add by m2/v0.6.15
Steinberg representation 7J6FTPHWV4
| URI | m2://inv/7J6FTPHWV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinberg representation, Steinberg representation (definition). Also Wikidata Q7606832
History
- 2026-11-02: add by m2/dev
cohomotopy set 7J6VMCHRBK
| URI | m2://inv/7J6VMCHRBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5141401, cohomotopy set (unknown). Also EoM Cohomotopy_group, MathWorld CohomotopyGroup, nLab cohomotopy
- wikipedia: Wikipedia Cohomotopy set, Cohomotopy set (definition). Also Wikidata Q5141401
History
- 2026-10-26: add by m2/dev
Rounded cube 7J77EEG9DX
| URI | m2://inv/7J77EEG9DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squircle#MURT, Rounded cube (unknown)
History
- 2026-11-02: add by m2/dev
polyhedral compound 7J7BE6TGHX
| URI | m2://inv/7J7BE6TGHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2394700, polyhedral compound (unknown). Also MathWorld PolyhedronCompound
- wikipedia: Wikipedia Polytope compound, Polytope compound (definition). Also Wikidata Q2394700
History
- 2026-10-26: add by m2/dev
Zernike polynomials 7J7CF0092V
| URI | m2://inv/7J7CF0092V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#DDTO, Zernike polynomials (definition)
History
- 2026-11-02: add by m2/dev
Diffeomorphism 7J7ER4K4Z5
| URI | m2://inv/7J7ER4K4Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#ZBM2, Diffeomorphism (definition)
History
- 2026-11-02: add by m2/dev
Examples 7J7N4NBC5M
| URI | m2://inv/7J7N4NBC5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell polynomials#RG9M, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 7J7PCDW8JH
| URI | m2://inv/7J7PCDW8JH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed figure#6BRL, Properties (statement)
History
- 2026-11-02: add by m2/dev
7J7T10EJ40 7J7T10EJ40
| URI | m2://inv/7J7T10EJ40 |
|---|---|
| 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.11271#EKVN (statement). In HF7J38T8Y6/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.3
Grigori Olshanski 7J7T3W1A34
| URI | m2://inv/7J7T3W1A34 |
|---|---|
| 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#WLT2, Grigori Olshanski (unknown)
History
- 2026-11-02: add by m2/dev
algebra for a monad 7J7YVD03HA
| URI | m2://inv/7J7YVD03HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#RDT8, algebra for a monad (definition)
History
- 2026-11-02: add by m2/dev
Fredholm number 7J7YZ2HD3X
| URI | m2://inv/7J7YZ2HD3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental number#ZQBX, Fredholm number (unknown)
History
- 2026-11-02: add by m2/dev
Alexander Mikhailov 7J848QFM67
| URI | m2://inv/7J848QFM67 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#B50E, Alexander Mikhailov (unknown)
History
- 2026-11-02: add by m2/dev
7J85GZPT3Y 7J85GZPT3Y
| URI | m2://inv/7J85GZPT3Y |
|---|---|
| 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 2610.07828#TS88 (definition). In TWGMVT1N1G/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.10
7J8HABPSZV 7J8HABPSZV
| URI | m2://inv/7J8HABPSZV |
|---|---|
| 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 2606.02312#JC5X (statement). In 1SZV94R22Y/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Duffin–Schaeffer theorem 7J8JS7EXCK
| URI | m2://inv/7J8JS7EXCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#XNTP, Duffin–Schaeffer theorem (statement)
History
- 2026-11-02: add by m2/dev
Gangesha Upadhyaya 7J8WAQBM5N
| URI | m2://inv/7J8WAQBM5N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#RB55, Gangesha Upadhyaya (topic)
History
- 2026-11-02: add by m2/dev
7J8WT34N6K 7J8WT34N6K
| URI | m2://inv/7J8WT34N6K |
|---|---|
| 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 1001.3646#JUPY (statement). In 46QFY2X6A0/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 7J9091DF2E
| URI | m2://inv/7J9091DF2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical semiring#JXNN, Definition (definition)
History
- 2026-11-02: add by m2/dev
7J90DSJ4ZK 7J90DSJ4ZK
| URI | m2://inv/7J90DSJ4ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#8ASF (statement). In YKD51BX3XB/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
Verena Huber-Dyson 7J99AN9EFY
| URI | m2://inv/7J99AN9EFY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#05TE, Verena Huber-Dyson (topic)
History
- 2026-11-02: add by m2/dev
7J9HFG5D88 7J9HFG5D88
| URI | m2://inv/7J9HFG5D88 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#RT3D (definition). In HH35K7S17H/e1, definition 6.5
History
- 2026-10-29: add by m2/v0.4.10
7J9JQ8ER81 7J9JQ8ER81
| URI | m2://inv/7J9JQ8ER81 |
|---|---|
| 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.30544#1JD6 (statement). In CB35ZBBBPT/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
7J9QQ90ZQH 7J9QQ90ZQH
| URI | m2://inv/7J9QQ90ZQH |
|---|---|
| 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 2510.12502#UO1U (statement). In 3A4K47Y9F2/e1, lemma 3.28
History
- 2026-10-27: add by m2/v0.4.0
self-avoiding polygon 7J9W98Z5XS
| URI | m2://inv/7J9W98Z5XS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121120796, self-avoiding polygon (unknown). Also MathWorld Self-AvoidingPolygon
History
- 2026-10-26: add by m2/dev
Metric lifting 7J9XDQ2NDD
| URI | m2://inv/7J9XDQ2NDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#OQIE, Metric lifting (statement)
History
- 2026-11-01: add by m2/v0.6.15
$m$-accretive operators 7JA2M4G64E
| URI | m2://inv/7JA2M4G64E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#ZYMY, $m$-accretive operators (definition)
History
- 2026-11-01: add by m2/v0.6.15
simple 7JA3HJADYP
| URI | m2://inv/7JA3HJADYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#TKXU, simple (definition)
History
- 2026-11-02: add by m2/dev
Heartbeat 7JAA5FAFDC
| URI | m2://inv/7JAA5FAFDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heartbeat (computing), Heartbeat (definition). Also Wikidata Q17021880
History
- 2026-11-02: add by m2/dev
Compactness 7JAR88GQZ5
| URI | m2://inv/7JAR88GQZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:proves-compact, Compactness (statement). In PKGMM3P5QY, prop, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Applications 7JAT6RZXSZ
| URI | m2://inv/7JAT6RZXSZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bent function#HDQN, Applications (example)
History
- 2026-11-02: add by m2/dev
7JB2FH3EPR 7JB2FH3EPR
| URI | m2://inv/7JB2FH3EPR |
|---|---|
| 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.06419#FIBJ (statement). In JSZRXT3W3E/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
Algorithms 7JB9KEZQT1
| URI | m2://inv/7JB9KEZQT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data stream clustering#CWJ5, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Schreier refinement theorem 7JBA4QCDPF
| URI | m2://inv/7JBA4QCDPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#X7KV, Schreier refinement theorem (statement)
History
- 2026-11-02: add by m2/dev
Master theorem 7JBCJKF0G7
| URI | m2://inv/7JBCJKF0G7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q922367, Master theorem (analysis of algorithms) (statement). Also Wikidata Q922367
- thousand_plus: thousand_plus Q922367, Master theorem (analysis of algorithms) (statement). Also Wikidata Q922367, Wikipedia Master theorem (analysis of algorithms)
- wikipedia: Wikipedia Master theorem (analysis of algorithms), Master theorem (statement). Also Wikidata Q922367
History
- 2026-10-26: add by m2/dev
7JBPQERQP2 7JBPQERQP2
| URI | m2://inv/7JBPQERQP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#GPVC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7JC2RDM0TA
| URI | m2://inv/7JC2RDM0TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic variation#JRN1, Definition (definition)
History
- 2026-11-02: add by m2/dev
7JCAG9KNEW 7JCAG9KNEW
| URI | m2://inv/7JCAG9KNEW |
|---|---|
| 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 2610.11757#DCWZ (definition). In VSJRVTHWWA/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.3
7JCM9WHQJ7 7JCM9WHQJ7
| URI | m2://inv/7JCM9WHQJ7 |
|---|---|
| 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.33451#JWMN (statement). In HGP7BN6QFD/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Identifiability 7JCPE7ZNX0
| URI | m2://inv/7JCPE7ZNX0 |
|---|---|
| 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#0CZO, Identifiability (statement). In KP94WJVJXY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
7JCXS78FR1 7JCXS78FR1
| URI | m2://inv/7JCXS78FR1 |
|---|---|
| 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.12740#IGFC (statement). In HKYRZSZPEC/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
7JDF953VMP 7JDF953VMP
| URI | m2://inv/7JDF953VMP |
|---|---|
| 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 2207.11097#YFIU (statement). In 13H5BTAXHF/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
probability, conditional 7JDRXETHC7
| URI | m2://inv/7JDRXETHC7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.2/probability-conditional, probability, conditional (concept). In QKM9DD2H56, index, section 10.2
History
- 2026-11-01: add by m2/v0.6.13
Factorization of binomial numbers 7JDSZ976R0
| URI | m2://inv/7JDSZ976R0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial number#K8FR, Factorization of binomial numbers (unknown)
History
- 2026-11-02: add by m2/dev
Flag varieties of $\mathrm{SL}_{n+1}(\C)$ 7JDWSMZEXV
| URI | m2://inv/7JDWSMZEXV |
|---|---|
| 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#T76C, Flag varieties of $\mathrm{SL}_{n+1}(\C)$ (example)
History
- 2026-11-02: add by m2/v0.6.17
Participation bias 7JE582C4HE
| URI | m2://inv/7JE582C4HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Participation bias, Participation bias (definition). Also Wikidata Q7140425
History
- 2026-11-02: add by m2/dev
Surreal Numbers 7JE92V6C7P
| URI | m2://inv/7JE92V6C7P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24845083, Surreal Numbers (unknown). Also ProofWiki Book:D.E._Knuth/Surreal_Numbers
History
- 2026-10-26: add by m2/dev
Kähler surfaces 7JEBTVGZ8S
| URI | m2://inv/7JEBTVGZ8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#VNBR, Kähler surfaces (definition)
History
- 2026-11-02: add by m2/dev
Ladner's theorem 7JEDRQJC8E
| URI | m2://inv/7JEDRQJC8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#R4U8, Ladner's theorem (definition)
History
- 2026-11-02: add by m2/dev
7JEK2QSKHD 7JEK2QSKHD
| URI | m2://inv/7JEK2QSKHD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#OD19 (definition). In TTNKABAYVB/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
7JEKG6962E 7JEKG6962E
| URI | m2://inv/7JEKG6962E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/ch.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 69.1
History
- 2026-11-01: add by m2/v0.6.13
international mile 7JEP29AV1G
| URI | m2://inv/7JEP29AV1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61750260, international mile (definition). Also ProofWiki Definition:Imperial/Length/International_Mile
History
- 2026-10-26: add by m2/dev
7JF02CJ9Y7 7JF02CJ9Y7
| URI | m2://inv/7JF02CJ9Y7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-8 (example). In RZP28ERRZV, example, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
Green lumber fallacy 7JFBG8DKPM
| URI | m2://inv/7JFBG8DKPM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antifragile (book)#FTV7, Green lumber fallacy (unknown)
History
- 2026-11-02: add by m2/dev
7JFMDC268E 7JFMDC268E
| URI | m2://inv/7JFMDC268E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#EWQ2 (statement). In PZCA01JXVR/e1, corollary 6.7
History
- 2026-10-27: add by m2/v0.3.5
7JFTRHR0R4 7JFTRHR0R4
| URI | m2://inv/7JFTRHR0R4 |
|---|---|
| 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.32981#MYSD (statement). In AXDF7YN2RW/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
7JG3B0Q6HE 7JG3B0Q6HE
| URI | m2://inv/7JG3B0Q6HE |
|---|---|
| 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.01932#77FW (statement). In XDKWW6NR0K/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
7JG8WMFVKA 7JG8WMFVKA
| URI | m2://inv/7JG8WMFVKA |
|---|---|
| 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 2011.14561#JEUF (statement). In V2XJJJX1Z8/e1, corollary 3.10
History
- 2026-10-27: add by m2/v0.3.5
Theorem 7JG99NK74S
| URI | m2://inv/7JG99NK74S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luce's choice axiom#UORJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
≝ 7JGD98021M
| URI | m2://inv/7JGD98021M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definition#CMEZ, ≝ (unknown)
History
- 2026-11-02: add by m2/dev
Corollary of Schur's Lemma 7JGJ9NPKXB
| URI | m2://inv/7JGJ9NPKXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's lemma#QY0Q, Corollary of Schur's Lemma (statement)
History
- 2026-11-02: add by m2/dev
Unit interval 7JGNVX7YYD
| URI | m2://inv/7JGNVX7YYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#995O, Unit interval (definition)
- wikipedia: Wikipedia List of examples in general topology#TLZI, Unit interval (definition)
History
- 2026-11-02: add by m2/dev
7JGQ46EACW 7JGQ46EACW
| URI | m2://inv/7JGQ46EACW |
|---|---|
| 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.22090#H4IB (statement). In NKJWGF050C/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
Giorgi Japaridze 7JGVH48D3T
| URI | m2://inv/7JGVH48D3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#82UB, Giorgi Japaridze (topic)
History
- 2026-11-02: add by m2/dev
7JH2D88G5F 7JH2D88G5F
| URI | m2://inv/7JH2D88G5F |
|---|---|
| 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 2302.06189#HNB9 (statement). In N5ZSHXYYV6/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
product under wedges 7JH5YB2KYW
| URI | m2://inv/7JH5YB2KYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#LJDC, product under wedges (statement). In XX1J2REXY2/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Bar chart 7JH9G6TEK3
| URI | m2://inv/7JH9G6TEK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N3AI, Bar chart (definition)
- wikipedia: Wikipedia List of graphical methods#CDLC, Bar chart (definition)
- wikipedia: Wikipedia List of graphical methods#UH77, Bar chart (definition)
History
- 2026-11-02: add by m2/dev
linearly dependent 7JHBM8NP4R
| URI | m2://inv/7JHBM8NP4R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.4.2/linearly-dependent, linearly dependent (concept). In 649HGZKE96, index, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
Shichinohe 7JHCWDXY0J
| URI | m2://inv/7JHCWDXY0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KJ7R, Shichinohe (unknown)
History
- 2026-11-02: add by m2/dev
7JHCYG4PTH 7JHCYG4PTH
| URI | m2://inv/7JHCYG4PTH |
|---|---|
| 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 2609.37112#HBE3 (statement). In 5B10HAY4C3/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Anastasia Ivanova 7JHDVD15VE
| URI | m2://inv/7JHDVD15VE |
|---|---|
| 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#6CNB, Anastasia Ivanova (unknown)
History
- 2026-11-02: add by m2/dev
7JHE17HJZJ 7JHE17HJZJ
| URI | m2://inv/7JHE17HJZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#DJXH (statement)
History
- 2026-11-02: add by m2/v0.6.17
7JHNPDM1AG 7JHNPDM1AG
| URI | m2://inv/7JHNPDM1AG |
|---|---|
| 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.39491#ANIB (statement). In 9R00V9TGVT/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Bromberg \& Ulcigrai 7JHQ03N1V0
| URI | m2://inv/7JHQ03N1V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#OH0O, Bromberg \& Ulcigrai (statement). In WRE0P7V6Z3/e1, theorem 1.8
History
- 2026-10-30: add by m2/v0.4.12
7JHSCN4D7M 7JHSCN4D7M
| URI | m2://inv/7JHSCN4D7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#6PJ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tetrahexagonal tiling 7JHVDKZD25
| URI | m2://inv/7JHVDKZD25 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahexagonal tiling, Tetrahexagonal tiling (object). Also Wikidata Q7706533
History
- 2026-11-02: add by m2/dev
Fictitious play 7JHY1W5V3P
| URI | m2://inv/7JHY1W5V3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fictitious play, Fictitious play (definition). Also Wikidata Q1411116
History
- 2026-11-02: add by m2/dev
7JJ2FN4DJC 7JJ2FN4DJC
| URI | m2://inv/7JJ2FN4DJC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#UJPQ (definition). In KJC9FRS3C2/e1, definition 8.1
History
- 2026-10-28: add by m2/v0.4.2
7JJAWNTVGJ 7JJAWNTVGJ
| URI | m2://inv/7JJAWNTVGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#22D5 (statement). In BT6E9BXXF3/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
fractional differences 7JJB2E1KK2
| URI | m2://inv/7JJB2E1KK2 |
|---|---|
| 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#YJ65, fractional differences (statement)
History
- 2026-11-01: add by m2/v0.6.15
7JK269SMKM 7JK269SMKM
| URI | m2://inv/7JK269SMKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2306.12846#VTUG (statement). In D6XA7JXZF3/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
Multi-prover interactive proof 7JK64203MX
| URI | m2://inv/7JK64203MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interactive proof system#I0DB, Multi-prover interactive proof (unknown)
History
- 2026-11-02: add by m2/dev
Definition 7JKENDTVG2
| URI | m2://inv/7JKENDTVG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key encapsulation mechanism#ZOQ1, Definition (definition)
History
- 2026-11-02: add by m2/dev
7JKK0KPPQ1 7JKK0KPPQ1
| URI | m2://inv/7JKK0KPPQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#KRAS (statement). In VN084GGZGK/e1, theorem 5.18
History
- 2026-10-28: add by m2/v0.4.3
7JKKJJX5WP 7JKKJJX5WP
| URI | m2://inv/7JKKJJX5WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#I07U (statement). In 42XHT97E64/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 7JKZQM1Y87
| URI | m2://inv/7JKZQM1Y87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic polynomial#QGQ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 7JM06WYQV4
| URI | m2://inv/7JM06WYQV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NP-completeness#RUY9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conway notation 7JM8A56CX3
| URI | m2://inv/7JM8A56CX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#L7DM, Conway notation (definition)
History
- 2026-11-02: add by m2/dev
7JMCRX0KBM 7JMCRX0KBM
| URI | m2://inv/7JMCRX0KBM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.38556#TK37 (definition). In GC2H0HS7ZM/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
discrete group 7JMEFT7RBN
| URI | m2://inv/7JMEFT7RBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1361055, discrete group (unknown). Also nLab discrete group
- wikipedia: Wikipedia Discrete group, Discrete group (definition). Also Wikidata Q1361055
History
- 2026-10-26: add by m2/dev
truncated cube 7JMXEECNSG
| URI | m2://inv/7JMXEECNSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864480, truncated cube (object). Also MathWorld TruncatedCube
- wikipedia: Wikipedia Truncated cube, Truncated cube (definition). Also Wikidata Q864480
History
- 2026-10-26: add by m2/dev
7JN06EDQSQ 7JN06EDQSQ
| URI | m2://inv/7JN06EDQSQ |
|---|---|
| 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.34011#HCNA (statement). In RAXRNDW2Z0/e1, corollary F
History
- 2026-10-30: add by m2/v0.4.12
7JN69WQREY 7JN69WQREY
| URI | m2://inv/7JN69WQREY |
|---|---|
| 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.26769#MVQF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compactness for a uniformly spanning \(C^{1,1}\) flow family 7JNA977Q37
| URI | m2://inv/7JNA977Q37 |
|---|---|
| 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.20215#6A30, Compactness for a uniformly spanning \(C^{1,1}\) flow family (statement)
History
- 2026-11-02: add by m2/v0.6.18
OpenEpi 7JNBH99FKP
| URI | m2://inv/7JNBH99FKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenEpi, OpenEpi (definition). Also Wikidata Q7095785
History
- 2026-11-02: add by m2/dev
7JNFSE4CN6 7JNFSE4CN6
| URI | m2://inv/7JNFSE4CN6 |
|---|---|
| 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 2110.14727#UQ8Z (statement). In EZTB8NZGVT/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.0
Mark H. Holmes 7JNHPFC8VH
| URI | m2://inv/7JNHPFC8VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark H. Holmes, Mark H. Holmes (topic). Also Wikidata Q87742724
History
- 2026-11-02: add by m2/dev
7JNKK81XN9 7JNKK81XN9
| URI | m2://inv/7JNKK81XN9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-32 (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Theorems 7JNQ3YEZHW
| URI | m2://inv/7JNQ3YEZHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#E3Q4, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Otto Mühlendyck 7JNQEFCKH5
| URI | m2://inv/7JNQEFCKH5 |
|---|---|
| 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#OYTR, Otto Mühlendyck (unknown)
History
- 2026-11-02: add by m2/dev
Examples 7JNRTFZ0MH
| URI | m2://inv/7JNRTFZ0MH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal matrix#KK4U, Examples (example)
History
- 2026-11-02: add by m2/dev
Asymptotic Bayes-minimax risk 7JNT46ABWN
| URI | m2://inv/7JNT46ABWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#4348, Asymptotic Bayes-minimax risk (statement)
History
- 2026-11-01: add by m2/v0.6.15
Borcherds algebra 7JP0Q15EVM
| URI | m2://inv/7JP0Q15EVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#PUZX, Borcherds algebra (definition)
History
- 2026-11-02: add by m2/dev
7JP2EGNR4T 7JP2EGNR4T
| URI | m2://inv/7JP2EGNR4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#Q6D4 (statement). In E7W2HDNEKJ/e1, theorem 6.5
History
- 2026-10-30: add by m2/v0.4.12
1971 United Kingdom census 7JP41C0KXK
| URI | m2://inv/7JP41C0KXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1971 United Kingdom census, 1971 United Kingdom census (definition). Also Wikidata Q21274971
History
- 2026-11-02: add by m2/dev
Extension--Composition Distribution 7JPCQBR2HQ
| URI | m2://inv/7JPCQBR2HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#GWJG, Extension--Composition Distribution (statement). In CPYWHRTPKC/e1, lemma 2.26
History
- 2026-10-27: add by m2/v0.4.2
7JPE5F8YAA 7JPE5F8YAA
| URI | m2://inv/7JPE5F8YAA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-21 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
The quotient missed by the primary cup 7JPHPYZ3T0
| URI | m2://inv/7JPHPYZ3T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.20649#ZD21, The quotient missed by the primary cup (statement). In XDTM624YPE/e1, proposition 18.3
History
- 2026-10-27: add by m2/v0.4.2
trihedron 7JPNHSTBHZ
| URI | m2://inv/7JPNHSTBHZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28649187, trihedron (unknown). Also MathWorld Trihedron
History
- 2026-10-26: add by m2/dev
Axioms 7JPP56C2FN
| URI | m2://inv/7JPP56C2FN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott–Potter set theory#3TDH, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Eleanor Jones 7JQ18NBMC9
| URI | m2://inv/7JQ18NBMC9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleanor Jones, Eleanor Jones (topic). Also Wikidata Q15733740
History
- 2026-11-02: add by m2/dev
7JQAV0JYRW 7JQAV0JYRW
| URI | m2://inv/7JQAV0JYRW |
|---|---|
| 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.20588#J6X9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
7JQCK3YW2Y 7JQCK3YW2Y
| URI | m2://inv/7JQCK3YW2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#5F7Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
7JQK21KT5E 7JQK21KT5E
| URI | m2://inv/7JQK21KT5E |
|---|---|
| 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.21491#BDTW (statement)
History
- 2026-11-02: add by m2/v0.6.18
7JQK9JGS4R 7JQK9JGS4R
| URI | m2://inv/7JQK9JGS4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#ZU7D (definition)
History
- 2026-11-02: add by m2/dev
I. Richard Savage 7JQQJ983ZT
| URI | m2://inv/7JQQJ983ZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I. Richard Savage, I. Richard Savage (topic). Also Wikidata Q102090196
History
- 2026-11-02: add by m2/dev
skips are hollow simplices 7JQRHQGCN7
| URI | m2://inv/7JQRHQGCN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#CAOP, skips are hollow simplices (statement). In PCAS8S14J6/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
7JQTESF6W5 7JQTESF6W5
| URI | m2://inv/7JQTESF6W5 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#YYYR (unknown). In AQGEM4XAKD/e1, unknown 1.13
History
- 2026-10-27: add by m2/v0.3.5
7JR8WS9FA0 7JR8WS9FA0
| URI | m2://inv/7JR8WS9FA0 |
|---|---|
| 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.08288#RN65 (statement). In CHVWYJM7RM/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
7JRAR54BHS 7JRAR54BHS
| URI | m2://inv/7JRAR54BHS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08753#L3ED (definition). In J9P361Z1CX/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Radius sharpness for contraction 7JRDKNA6YF
| URI | m2://inv/7JRDKNA6YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#B8KO, Radius sharpness for contraction (statement). In FTPW1SZ8D3/e1, lemma A.15
History
- 2026-10-30: add by m2/v0.4.12
Statement 7JREMTXFA0
| URI | m2://inv/7JREMTXFA0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skolem–Noether theorem#1UJ8, Statement (statement)
History
- 2026-11-02: add by m2/dev
Uses 7JRMF7P5Z5
| URI | m2://inv/7JRMF7P5Z5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented Reality Sandtable#PYK5, Uses (example)
History
- 2026-11-02: add by m2/dev
Applications 7JRN3DH7A9
| URI | m2://inv/7JRN3DH7A9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative signal-flow graph#QX0P, Applications (example)
History
- 2026-11-02: add by m2/dev
Exact noisy ordering separation 7JRYB614M6
| URI | m2://inv/7JRYB614M6 |
|---|---|
| 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.12211#2ISI, Exact noisy ordering separation (statement). In WBC7PQTVYC/e1, theorem 13
History
- 2026-10-28: add by m2/v0.4.2
7JS15RCC14 7JS15RCC14
| URI | m2://inv/7JS15RCC14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#18V1 (statement). In W9A0Z2NBMA/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.12
Example 7JS556SNGF
| URI | m2://inv/7JS556SNGF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue field#N44M, Example (example)
History
- 2026-11-02: add by m2/dev
7JS6799DYM 7JS6799DYM
| URI | m2://inv/7JS6799DYM |
|---|---|
| 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 2403.02207#MD2G (statement). In 1T3ZYPQZF0/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.6
7JSARKEZRK 7JSARKEZRK
| URI | m2://inv/7JSARKEZRK |
|---|---|
| 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 2605.00407#ZGGW (statement). In TVFD0G3F2W/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
cocontinuous functor 7JSD8QRMCW
| URI | m2://inv/7JSD8QRMCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140159449, cocontinuous functor (unknown). Also nLab cocontinuous functor, nLab preserved colimit
History
- 2026-10-26: add by m2/dev
Data-driven LQR 7JSFT7ME9S
| URI | m2://inv/7JSFT7ME9S |
|---|---|
| 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.25431#UKGG, Data-driven LQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Geometry processing 7JSP21CCFG
| URI | m2://inv/7JSP21CCFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#D0SM, Geometry processing (definition)
History
- 2026-11-02: add by m2/dev
Local constant power Fr\'echet regression 7JSQ6C1H19
| URI | m2://inv/7JSQ6C1H19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#TOCZ, Local constant power Fr\'echet regression (statement). In FTPW1SZ8D3/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Closed timelike curve 7JSQG3CNNT
| URI | m2://inv/7JSQG3CNNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed timelike curve, Closed timelike curve (definition). Also Wikidata Q1876815
History
- 2026-11-02: add by m2/dev
7JSRC66NCY 7JSRC66NCY
| URI | m2://inv/7JSRC66NCY |
|---|---|
| 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.24314#BYQO (statement)
History
- 2026-11-01: add by m2/v0.6.15
7JSS2972CZ 7JSS2972CZ
| URI | m2://inv/7JSS2972CZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-6 (example). In PKGMM3P5QY, ex, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
7JT05RFH2P 7JT05RFH2P
| URI | m2://inv/7JT05RFH2P |
|---|---|
| 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.13898#YGJR (statement). In 44EVK9BPC9/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Separated pencil-type Levi-flats 7JT33G1G9E
| URI | m2://inv/7JT33G1G9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#RXVO, Separated pencil-type Levi-flats (statement). In Z0SAF18JPP/e1, theorem 12.2
History
- 2026-10-28: add by m2/v0.4.2
Phyllis Chinn 7JT3806Z29
| URI | m2://inv/7JT3806Z29 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#75EC, Phyllis Chinn (topic)
History
- 2026-11-02: add by m2/dev
7JT52P81S8 7JT52P81S8
| URI | m2://inv/7JT52P81S8 |
|---|---|
| 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.24206#F64G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy's integral formula 7JTB1MH57M
| URI | m2://inv/7JTB1MH57M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#FF18, Cauchy's integral formula (statement)
- wikipedia: Wikipedia List of mathematical proofs#I7CR, Cauchy's integral formula (statement)
- wikipedia: Wikipedia List of complex analysis topics#7I19, Cauchy's integral formula (statement)
History
- 2026-11-02: add by m2/dev
7JTJE8ZM10 7JTJE8ZM10
| URI | m2://inv/7JTJE8ZM10 |
|---|---|
| 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 2610.13291#NEWL (statement). In D16PSAVVWV/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Gödel's incompleteness theorems 7JV31KAYSC
| URI | m2://inv/7JV31KAYSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#EPG9, Gödel's incompleteness theorems (statement)
History
- 2026-11-02: add by m2/dev
Properties 7JV69J4ACN
| URI | m2://inv/7JV69J4ACN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variogram#T1JA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lotka–Volterra equations 7JV6K0Z6JJ
| URI | m2://inv/7JV6K0Z6JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Lotka–Volterra equations 00Y5QZ82AA |
Mentions
- wikidata: Wikidata Q150052, Lotka–Volterra equations (unknown). Also MathWorld Lotka-VolterraEquations
- wikipedia: Wikipedia Lotka–Volterra equations, Lotka–Volterra equations (definition). Also Wikidata Q150052
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Monotonicity and phase floors 7JV7NEYCKS
| URI | m2://inv/7JV7NEYCKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#YTH7, Monotonicity and phase floors (statement). In 65TJENWK7X/e1, proposition 75
History
- 2026-10-29: add by m2/v0.4.10
7JV8BAK2FT 7JV8BAK2FT
| URI | m2://inv/7JV8BAK2FT |
|---|---|
| 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#YCMF (statement). In E7BPGPP9Z5/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
7JV96A0SDQ 7JV96A0SDQ
| URI | m2://inv/7JV96A0SDQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.10930#AUBI (example). In HX63A1PH1W/e1, example 8.34
History
- 2026-10-28: add by m2/v0.4.3
noisy 7JV9RA9KNN
| URI | m2://inv/7JV9RA9KNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#9G1F, noisy (unknown)
History
- 2026-11-02: add by m2/dev
7JVCQQ141F 7JVCQQ141F
| URI | m2://inv/7JVCQQ141F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#ED88 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7JVEMGQPD3 7JVEMGQPD3
| URI | m2://inv/7JVEMGQPD3 |
|---|---|
| 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 2609.37706#KBAT (statement). In 6YY27KRJFN/e1, proposition 6.24
History
- 2026-10-30: add by m2/v0.4.12
Notation 7JVKH48YX6
| URI | m2://inv/7JVKH48YX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biharmonic equation#HJNL, Notation (definition)
History
- 2026-11-02: add by m2/dev
Interquartile mean 7JVMX8C4YS
| URI | m2://inv/7JVMX8C4YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MYQY, Interquartile mean (definition)
History
- 2026-11-02: add by m2/dev
7JVPF36TN1 7JVPF36TN1
| URI | m2://inv/7JVPF36TN1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Jaroslav Kurzweil 7JVS5BSP1G
| URI | m2://inv/7JVS5BSP1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaroslav Kurzweil, Jaroslav Kurzweil (topic). Also Wikidata Q2873450
History
- 2026-11-02: add by m2/dev
Choice of the constants 7JW37XAQ8Y
| URI | m2://inv/7JW37XAQ8Y |
|---|---|
| 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.24739#98D7, Choice of the constants (statement)
History
- 2026-11-01: add by m2/v0.6.15
7JW9N952C6 7JW9N952C6
| URI | m2://inv/7JW9N952C6 |
|---|---|
| Kind | example |
| 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 2405.02275#BVAJ (example). In 1QXCNGRWV1/e1, example 3.13
History
- 2026-10-27: add by m2/v0.3.5
7JWDGW8W57 7JWDGW8W57
| URI | m2://inv/7JWDGW8W57 |
|---|---|
| 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.24412#7VRY (statement)
History
- 2026-11-01: add by m2/v0.6.15
7JWGXFG9AF 7JWGXFG9AF
| URI | m2://inv/7JWGXFG9AF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11809#JT2X (definition). In YQXYSNW78V/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Examples 7JWNQYWAMS
| URI | m2://inv/7JWNQYWAMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin's conjecture on primitive roots#EXXJ, Examples (example)
History
- 2026-11-02: add by m2/dev
type, coproduct 7JWNYXNFNK
| URI | m2://inv/7JWNYXNFNK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.7/type-coproduct, type, coproduct (concept). In N54F33XE07, index, section A.7
History
- 2026-11-01: add by m2/v0.6.13
7JWPEAZYGD 7JWPEAZYGD
| URI | m2://inv/7JWPEAZYGD |
|---|---|
| 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#FO64 (statement). In ZF1Y3HZMZ9/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
7JWPPVN8DW 7JWPPVN8DW
| URI | m2://inv/7JWPPVN8DW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 2.1.5
History
- 2026-11-01: add by m2/v0.6.13
Graphon version of counting lemma 7JWT4K0T1P
| URI | m2://inv/7JWT4K0T1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting lemma#N80H, Graphon version of counting lemma (statement)
History
- 2026-11-02: add by m2/dev
Polyhedron Formula 7JWTQYRXYN
| URI | m2://inv/7JWTQYRXYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 13, Polyhedron Formula (statement)
History
- 2026-10-26: add by m2/dev
Algebraically compact module 7JWY4YC99G
| URI | m2://inv/7JWY4YC99G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraically compact module, Algebraically compact module (definition). Also Wikidata Q4724027
History
- 2026-11-02: add by m2/dev
Shujie Ma 7JWZ3M5QRW
| URI | m2://inv/7JWZ3M5QRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shujie Ma, Shujie Ma (topic). Also Wikidata Q102385037
History
- 2026-11-02: add by m2/dev
7JX67FDRDP 7JX67FDRDP
| URI | m2://inv/7JX67FDRDP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:translations (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
7JX9E55M9B 7JX9E55M9B
| URI | m2://inv/7JX9E55M9B |
|---|---|
| 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 2308.05715#RCA2 (definition). In FC0SB9JFWH/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Theft Act 1968 7JXAGD31QQ
| URI | m2://inv/7JXAGD31QQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#34NA, Theft Act 1968 (unknown)
History
- 2026-11-02: add by m2/dev
7JXV797C1Q 7JXV797C1Q
| URI | m2://inv/7JXV797C1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#8P05 (statement). In ZR53K3E0FR/e1, theorem 30
History
- 2026-10-27: add by m2/v0.3.6
Arnold–Kuiper–Massey theorem 7JXVSF870H
| URI | m2://inv/7JXVSF870H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold–Kuiper–Massey theorem, Arnold–Kuiper–Massey theorem (statement). Also Wikidata Q141352771
History
- 2026-11-02: add by m2/dev
Beta normal form 7JXZ32YVY9
| URI | m2://inv/7JXZ32YVY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta normal form, Beta normal form (definition). Also Wikidata Q4897305
History
- 2026-11-02: add by m2/dev
SHACAL 7JY3GYQE5T
| URI | m2://inv/7JY3GYQE5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SHACAL, SHACAL (definition). Also Wikidata Q474055
History
- 2026-11-02: add by m2/dev
Strictly positive measure 7JY3V8B3K1
| URI | m2://inv/7JY3V8B3K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strictly positive measure, Strictly positive measure (definition). Also Wikidata Q4025690
History
- 2026-11-02: add by m2/dev
meagre 7JY4YZAXQ3
| URI | m2://inv/7JY4YZAXQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#OTRL, meagre (definition)
History
- 2026-11-02: add by m2/dev
right-handed coordinate system 7JYCGH652G
| URI | m2://inv/7JYCGH652G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2135634, right-handed coordinate system (unknown). Also MathWorld Right-HandedCoordinateSystem
History
- 2026-10-26: add by m2/dev
Pocock, Stuart 7JYGXSNSX0
| URI | m2://inv/7JYGXSNSX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VVEM, Pocock, Stuart (unknown)
History
- 2026-11-02: add by m2/dev
European Society for Mathematical and Theoretical Biology 7JYKE4E2WS
| URI | m2://inv/7JYKE4E2WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#72UN, European Society for Mathematical and Theoretical Biology (definition)
History
- 2026-11-02: add by m2/dev
Cognitive holding power 7JYKEW6JMH
| URI | m2://inv/7JYKEW6JMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cognitive holding power, Cognitive holding power (definition). Also Wikidata Q5141210
History
- 2026-11-02: add by m2/dev
Gautam Kamath 7JYM1V3V1F
| URI | m2://inv/7JYM1V3V1F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gautam Kamath, Gautam Kamath (topic). Also Wikidata Q103379263
History
- 2026-11-02: add by m2/dev
upper bound 7JYRFMPA9G
| URI | m2://inv/7JYRFMPA9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#C8WP, upper bound (definition)
History
- 2026-11-02: add by m2/dev
Delta (finance) 7JYTN8BZW8
| URI | m2://inv/7JYTN8BZW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#CTH4, Delta (finance) (unknown)
History
- 2026-11-02: add by m2/dev
Examples 7JYTYMN59P
| URI | m2://inv/7JYTYMN59P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain complex#JWH9, Examples (example)
History
- 2026-11-02: add by m2/dev
7JZ21SQYXW 7JZ21SQYXW
| URI | m2://inv/7JZ21SQYXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#7QU1 (statement). In X47RYAZF8P/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
7JZ4HRYQ2A 7JZ4HRYQ2A
| URI | m2://inv/7JZ4HRYQ2A |
|---|---|
| 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 2502.08738#9YV9 (statement). In 9GMTVSTAVN/e1, lemma 6.13
History
- 2026-10-27: add by m2/v0.3.5
An example 7JZ7FFGRA0
| URI | m2://inv/7JZ7FFGRA0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion#RQH2, An example (example)
History
- 2026-11-02: add by m2/dev
independent set 7JZB5FFNBM
| URI | m2://inv/7JZB5FFNBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Independent set 08ANQHHG3P |
Mentions
- wikidata: Wikidata Q1060343, independent set (unknown). Also MathWorld IndependentVertexSet
- wikipedia: Wikipedia Independent set (graph theory), Independent set (definition). Also Wikidata Q1060343
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7JZDJ62H5A 7JZDJ62H5A
| URI | m2://inv/7JZDJ62H5A |
|---|---|
| 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.08050#RRZM (statement). In K9Q0GZXRN3/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
7JZHAVZFZM 7JZHAVZFZM
| URI | m2://inv/7JZHAVZFZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/definitions.tex#defn-11 (definition). In PKGMM3P5QY, defn, section 28.7
History
- 2026-11-01: add by m2/v0.6.13
Definition 7JZHJRQ8B6
| URI | m2://inv/7JZHJRQ8B6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expansive homeomorphism#HYQ0, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of knot theory topics 7JZJ66K2ER
| URI | m2://inv/7JZJ66K2ER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics, List of knot theory topics (topic). Also Wikidata Q6624683
History
- 2026-11-02: add by m2/dev
Kelley 7JZVAQ7Y71
| URI | m2://inv/7JZVAQ7Y71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#BHTJ, Kelley (definition)
History
- 2026-11-02: add by m2/dev
7JZVWNPHEY 7JZVWNPHEY
| URI | m2://inv/7JZVWNPHEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06546#CEN3 (statement). In G6DK297DQN/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
7JZWGKJJ3M 7JZWGKJJ3M
| URI | m2://inv/7JZWGKJJ3M |
|---|---|
| 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.35323#JZQF (statement). In 5CKPXBWSCX/e1, lemma 2.14
History
- 2026-10-30: add by m2/v0.4.12