Inventory rows 6G
The cards of the rows of the inventory whose ids start with 6G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
6G06TXV6HC 6G06TXV6HC
| URI | m2://inv/6G06TXV6HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#SX12 (statement). In 6S5EH3388Z/e1, lemma 2.11
History
- 2026-10-30: add by m2/v0.4.12
Dual representation 6G0ATQE2GF
| URI | m2://inv/6G0ATQE2GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual representation, Dual representation (definition). Also Wikidata Q3427408
History
- 2026-11-02: add by m2/dev
Lagrange's theorem 6G0DFYGBZG
| URI | m2://inv/6G0DFYGBZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has the name of the subject of its article, and a person decides if they are one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange's theorem (group theory)#WXXF, Lagrange's theorem (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
6G0FNHG1A3 6G0FNHG1A3
| URI | m2://inv/6G0FNHG1A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#definition-7 (definition). In RZP28ERRZV, definition, section 22.10
History
- 2026-11-01: add by m2/v0.6.13
Asymmetric Lovász local lemma 6G0H424FKB
| URI | m2://inv/6G0H424FKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovász local lemma#OMRL, Asymmetric Lovász local lemma (statement)
History
- 2026-11-02: add by m2/dev
6G0P6JY6DK 6G0P6JY6DK
| URI | m2://inv/6G0P6JY6DK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#6WNN (statement). In CSW6NG0FRN/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Applications 6G12WHYKY9
| URI | m2://inv/6G12WHYKY9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-three-in-line problem#DHIF, Applications (example)
History
- 2026-11-02: add by m2/dev
6G139R6QJD 6G139R6QJD
| URI | m2://inv/6G139R6QJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#DKPO (statement)
History
- 2026-11-01: add by m2/v0.6.15
6G1AVQYX3A 6G1AVQYX3A
| URI | m2://inv/6G1AVQYX3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15736#RENB (statement). In 17WP1JCDAV/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
$T_1$ counting operator 6G1DF12AJ3
| URI | m2://inv/6G1DF12AJ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#CUGS, $T_1$ counting operator (definition). In JBAQ7DTW7B/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Emmett Keeler 6G1GF64PQ1
| URI | m2://inv/6G1GF64PQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmett Keeler, Emmett Keeler (topic). Also Wikidata Q65767059
History
- 2026-11-02: add by m2/dev
Pointwise density bound with coordinate-weight error 6G1J8V9SC2
| URI | m2://inv/6G1J8V9SC2 |
|---|---|
| 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.05498#YTIE, Pointwise density bound with coordinate-weight error (statement). In TJT32RQ9GC/e1, lemma 6.15
History
- 2026-10-29: add by m2/v0.4.10
Drag coefficient examples 6G1NS0KKD6
| URI | m2://inv/6G1NS0KKD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drag coefficient#Q9LL, Drag coefficient examples (example)
History
- 2026-11-02: add by m2/dev
6G1SS5C0ZT 6G1SS5C0ZT
| URI | m2://inv/6G1SS5C0ZT |
|---|---|
| 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.20568#U2LZ (statement). In BCD0ATARNZ/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.4.2
Applications 6G278ZB5EK
| URI | m2://inv/6G278ZB5EK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank–Wolfe algorithm#YFJT, Applications (example)
History
- 2026-11-02: add by m2/dev
6G2A9XEWVR 6G2A9XEWVR
| URI | m2://inv/6G2A9XEWVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#SJSS (statement). In 7WV4JVGEN1/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
6G2C3VXYA6 6G2C3VXYA6
| URI | m2://inv/6G2C3VXYA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#5VQR (statement). In XEQD21EBTT/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
6G2DDJ3F0J 6G2DDJ3F0J
| URI | m2://inv/6G2DDJ3F0J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Oliver Edmunds Glenn 6G2PDGB1ZA
| URI | m2://inv/6G2PDGB1ZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oliver Edmunds Glenn, Oliver Edmunds Glenn (topic). Also Wikidata Q7087512
History
- 2026-11-02: add by m2/dev
Heights in geodesy 6G2SF3VACD
| URI | m2://inv/6G2SF3VACD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesy#8SON, Heights in geodesy (unknown)
History
- 2026-11-02: add by m2/dev
6G2X9MYJBR 6G2X9MYJBR
| URI | m2://inv/6G2X9MYJBR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#SV80 (definition). In 8H0KHK7AMN/e1, definition 1.7
History
- 2026-10-30: add by m2/v0.4.12
Construction 6G2Z9HFWF6
| URI | m2://inv/6G2Z9HFWF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of 5-cube and 5-orthoplex#RFUA, Construction (definition)
History
- 2026-11-02: add by m2/dev
6G38B2GYC7 6G38B2GYC7
| URI | m2://inv/6G38B2GYC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/ls-property.tex#thm:abstract-p-isom (statement). In PKGMM3P5QY, thm, section 48.1
History
- 2026-11-01: add by m2/v0.6.13
6G3AS4QBNR 6G3AS4QBNR
| URI | m2://inv/6G3AS4QBNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#VTML (statement). In 2381M4GBTT/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
second Chang graph 6G3BZRYQXD
| URI | m2://inv/6G3BZRYQXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3477029, second Chang graph (unknown). Also House of Graphs 6626
History
- 2026-10-26: add by m2/dev
Ioannes Paulus II Peninsula 6G3C169WT7
| URI | m2://inv/6G3C169WT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#07OI, Ioannes Paulus II Peninsula (unknown)
History
- 2026-11-02: add by m2/dev
Ronald J. Stern 6G3EN16K21
| URI | m2://inv/6G3EN16K21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z69Y, Ronald J. Stern (topic)
History
- 2026-11-02: add by m2/dev
6G3J9SNBBN 6G3J9SNBBN
| URI | m2://inv/6G3J9SNBBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26041#5JWT (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of Taiwanese mathematicians 6G3JC94YBF
| URI | m2://inv/6G3JC94YBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians, List of Taiwanese mathematicians (topic). Also Wikidata Q135655629
History
- 2026-11-02: add by m2/dev
Major theorems 6G3JCNY1PM
| URI | m2://inv/6G3JCNY1PM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Better-quasi-ordering#9RA8, Major theorems (statement)
History
- 2026-11-02: add by m2/dev
Dimension theorem for vector spaces 6G3P1DFK08
| URI | m2://inv/6G3P1DFK08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0MTW, Dimension theorem for vector spaces (statement)
History
- 2026-11-02: add by m2/dev
Tim Roughgarden 6G3P7YA6Y5
| URI | m2://inv/6G3P7YA6Y5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FL92, Tim Roughgarden (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#84O3, Tim Roughgarden (unknown)
History
- 2026-11-02: add by m2/dev
Kronecker's theorem 6G3SRNYHBV
| URI | m2://inv/6G3SRNYHBV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#problem-4, Kronecker's theorem (exercise). In RZP28ERRZV, problem, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
Applications 6G3WY1SZTX
| URI | m2://inv/6G3WY1SZTX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density functional theory#0RY7, Applications (example)
History
- 2026-11-02: add by m2/dev
6G41K8B8VQ 6G41K8B8VQ
| URI | m2://inv/6G41K8B8VQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-27 (proof). In N54F33XE07, proof, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Discrete coupling continuity 6G42GR4YHR
| URI | m2://inv/6G42GR4YHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#YEVZ, Discrete coupling continuity (statement). In X705R2Q780/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Arthur Schoenflies 6G4BM5YZF9
| URI | m2://inv/6G4BM5YZF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Y2GD, Arthur Schoenflies (unknown)
History
- 2026-11-02: add by m2/dev
6G4C9RDNQ8 6G4C9RDNQ8
| URI | m2://inv/6G4C9RDNQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#02RN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cauchy--Euler equation 6G4D909K2M
| URI | m2://inv/6G4D909K2M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.1.1/cauchy-euler-equation, Cauchy--Euler equation (concept). In E9HS8K3A52, index, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Uses 6G4E1ZC3SZ
| URI | m2://inv/6G4E1ZC3SZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SAS language#8TOP, Uses (example)
History
- 2026-11-02: add by m2/dev
6G4G1BJE36 6G4G1BJE36
| URI | m2://inv/6G4G1BJE36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15316#R88A (statement). In 3K84E4150C/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Field-completion theorem 6G4JT5AAM9
| URI | m2://inv/6G4JT5AAM9 |
|---|---|
| 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.21534#NMVW, Field-completion theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
6G4NTTSX6W 6G4NTTSX6W
| URI | m2://inv/6G4NTTSX6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#Y7UI (statement). In FAJ10EJMYE/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
6G4T2GJFHQ 6G4T2GJFHQ
| URI | m2://inv/6G4T2GJFHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27151#NGA1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Optimism bias 6G4Y1D7ZBC
| URI | m2://inv/6G4Y1D7ZBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#ZMIO, Optimism bias (definition)
History
- 2026-11-02: add by m2/dev
Definition 6G5019XTQB
| URI | m2://inv/6G5019XTQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule 184#OGPT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Discrete phase-type distribution 6G57BYM5AX
| URI | m2://inv/6G57BYM5AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete phase-type distribution, Discrete phase-type distribution (definition). Also Wikidata Q5282057
History
- 2026-11-02: add by m2/dev
Spectral invariant 6G5CT5AG80
| URI | m2://inv/6G5CT5AG80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#KZSL, Spectral invariant (definition)
History
- 2026-11-02: add by m2/dev
6G5E36CCX1 6G5E36CCX1
| URI | m2://inv/6G5E36CCX1 |
|---|---|
| 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 2609.23903#O5BE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Newton-Laplace equation 6G5FDV657Q
| URI | m2://inv/6G5FDV657Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Speed of sound#CCCI, Newton-Laplace equation (unknown)
History
- 2026-11-02: add by m2/dev
6G5FMAB8FW 6G5FMAB8FW
| URI | m2://inv/6G5FMAB8FW |
|---|---|
| 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.07280#0T8S (statement). In 1FJKW4WGEN/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
6G5FVN21T5 6G5FVN21T5
| URI | m2://inv/6G5FVN21T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21692#CBUZ (statement). In CT4N0JGDP4/e1, lemma C.3
History
- 2026-10-27: add by m2/v0.4.2
6G5M6P63NA 6G5M6P63NA
| URI | m2://inv/6G5M6P63NA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05396#VC2O (definition). In WMVRX5GV9P/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.10
Definition 6G5QYS5XEA
| URI | m2://inv/6G5QYS5XEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic varieties#1IA8, Definition (definition)
History
- 2026-11-02: add by m2/dev
6G5SMZERCD 6G5SMZERCD
| URI | m2://inv/6G5SMZERCD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#thm:FTC (exercise). In RZP28ERRZV, sproblem, section 31.5
History
- 2026-11-01: add by m2/v0.6.13
Thomas Banchoff 6G6PGYN9GE
| URI | m2://inv/6G6PGYN9GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Banchoff, Thomas Banchoff (topic). Also Wikidata Q3164395
History
- 2026-11-02: add by m2/dev
6G6S1JGDHT 6G6S1JGDHT
| URI | m2://inv/6G6S1JGDHT |
|---|---|
| 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.24578#GGJ1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bernard Bolzano 6G6V9N14N5
| URI | m2://inv/6G6V9N14N5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#0N90, Bernard Bolzano (topic)
History
- 2026-11-02: add by m2/dev
6G6WP8JQ27 6G6WP8JQ27
| URI | m2://inv/6G6WP8JQ27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13931#RPJS (statement). In EXA79VR78Q/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Algebraic topology 6G6ZH52NKH
| URI | m2://inv/6G6ZH52NKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic topology (object), Algebraic topology (definition). Also Wikidata Q4724021
History
- 2026-11-02: add by m2/dev
Good event 6G757AXF39
| URI | m2://inv/6G757AXF39 |
|---|---|
| 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.14988#TKX8, Good event (statement). In B29M4E6KGC/e1, lemma H.12
History
- 2026-10-28: add by m2/v0.4.2
6G7P554ZJ5 6G7P554ZJ5
| URI | m2://inv/6G7P554ZJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#VNSP (statement). In CCRSWBXWXW/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
6G7P58H2YC 6G7P58H2YC
| URI | m2://inv/6G7P58H2YC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#6DTM (definition). In G02N9D40B9/e1, definition 1.1.3
History
- 2026-10-29: add by m2/v0.4.10
6G7S1Y25BY 6G7S1Y25BY
| URI | m2://inv/6G7S1Y25BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#MLX4 (statement). In M4ZVJWM8YA/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.4.2
Pólya's theorem 6G7ZXVPYXV
| URI | m2://inv/6G7ZXVPYXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#FXW1, Pólya's theorem (statement). In SBZNH932ZV/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
theory of ordered rings 6G82CB7BDW
| URI | m2://inv/6G82CB7BDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13J25 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114701876, theory of ordered rings (topic)
History
- 2026-10-26: add by m2/dev
upper triangular matrix 6G82VYGQY8
| URI | m2://inv/6G82VYGQY8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.1.4/upper-triangular-matrix, upper triangular matrix (concept). In 649HGZKE96, index, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
6G85R31YPE 6G85R31YPE
| URI | m2://inv/6G85R31YPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#TILW (statement). In ETRT1R1CQ8/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
6G8AA9EMPG 6G8AA9EMPG
| URI | m2://inv/6G8AA9EMPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#RCYB (statement). In F2XATDBRK4/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.2
Properties 6G8BW89M6P
| URI | m2://inv/6G8BW89M6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindrical σ-algebra#CUBY, Properties (statement)
History
- 2026-11-02: add by m2/dev
irregular prime 6G8KBDWZMX
| URI | m2://inv/6G8KBDWZMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q119790302, irregular prime (unknown). Also EoM Irregular_prime_number, MathWorld IrregularPrime, OEIS A000928
History
- 2026-10-26: add by m2/dev
6G8R1SSK5H 6G8R1SSK5H
| URI | m2://inv/6G8R1SSK5H |
|---|---|
| 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 2609.31783#4LF0 (statement). In CGNVT4C47F/e1, theorem 4.5
History
- 2026-10-31: add by m2/v0.5.6
multiple root 6G93Z0GGZ0
| URI | m2://inv/6G93Z0GGZ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24040925, multiple root (unknown). Also MathWorld MultipleRoot
History
- 2026-10-26: add by m2/dev
Jacques Tilouine 6G96EZ0Z82
| URI | m2://inv/6G96EZ0Z82 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Tilouine, Jacques Tilouine (topic). Also Wikidata Q26700430
History
- 2026-11-02: add by m2/dev
Microplane model for constitutive laws of materials 6G99W875JG
| URI | m2://inv/6G99W875JG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microplane model for constitutive laws of materials, Microplane model for constitutive laws of materials (statement). Also Wikidata Q25111892
History
- 2026-11-02: add by m2/dev
6G9E04ZS08 6G9E04ZS08
| URI | m2://inv/6G9E04ZS08 |
|---|---|
| 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.26896#XF3N (statement)
History
- 2026-11-01: add by m2/v0.6.15
6G9TQS4ZXE 6G9TQS4ZXE
| URI | m2://inv/6G9TQS4ZXE |
|---|---|
| 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.12736#FVA9 (definition). In 5350Q52F6P/e1, definition 8.2
History
- 2026-10-28: add by m2/v0.4.2
6G9Y1GVWDN 6G9Y1GVWDN
| URI | m2://inv/6G9Y1GVWDN |
|---|---|
| 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 2607.00323#KXUP (statement). In BPRFEQY7W4/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
Nonlinear optimization 6GA60BEC87
| URI | m2://inv/6GA60BEC87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#TZKX, Nonlinear optimization (definition)
History
- 2026-11-02: add by m2/dev
Nicolai Jasnogrodsky 6GA8A1SANB
| URI | m2://inv/6GA8A1SANB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#1FFX, Nicolai Jasnogrodsky (unknown)
History
- 2026-11-02: add by m2/dev
doubly even number 6GA962JKTC
| URI | m2://inv/6GA962JKTC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135752634, doubly even number (unknown). Also MathWorld DoublyEvenNumber, OEIS A008586
History
- 2026-10-26: add by m2/dev
6GAC7XCFSZ 6GAC7XCFSZ
| URI | m2://inv/6GAC7XCFSZ |
|---|---|
| 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 2208.05288#7N5U (definition). In RTW3GDYPND/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.0
6GADT5WFX6 6GADT5WFX6
| URI | m2://inv/6GADT5WFX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#RPZC (statement). In B8A6BPP922/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Hedgehog space 6GAHVH3H4R
| URI | m2://inv/6GAHVH3H4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedgehog space, Hedgehog space (definition). Also Wikidata Q4053718
History
- 2026-11-02: add by m2/dev
6GAKED1MQF 6GAKED1MQF
| URI | m2://inv/6GAKED1MQF |
|---|---|
| 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 2211.04758#91R0 (statement). In DRWDJG2G3S/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Geary's C 6GAMDKHWP3
| URI | m2://inv/6GAMDKHWP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X6RU, Geary's C (definition)
History
- 2026-11-02: add by m2/dev
6GAQCS0SVR 6GAQCS0SVR
| URI | m2://inv/6GAQCS0SVR |
|---|---|
| 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.01225#S8ML (statement). In MFR807V4YG/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Diameter sign 6GAWQAZMG7
| URI | m2://inv/6GAWQAZMG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diameter#BP55, Diameter sign (unknown)
History
- 2026-11-02: add by m2/dev
Hadamard variance 6GAXAKWZMB
| URI | m2://inv/6GAXAKWZMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#OALD, Hadamard variance (unknown)
History
- 2026-11-02: add by m2/dev
List of things named after Adrien-Marie Legendre 6GAZP809DS
| URI | m2://inv/6GAZP809DS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#VWRO, List of things named after Adrien-Marie Legendre (topic)
History
- 2026-11-02: add by m2/dev
6GB4P0DQ9T 6GB4P0DQ9T
| URI | m2://inv/6GB4P0DQ9T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#2DV9 (example). In PF5JJ9DS8Q/e1, example 3.1.2
History
- 2026-10-28: add by m2/v0.4.2
Tangential quadrilateral 6GBAQCEN0R
| URI | m2://inv/6GBAQCEN0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics#MDAW, Tangential quadrilateral (definition)
- wikipedia: Wikipedia List of mathematical shapes#BWMX, Tangential quadrilateral (definition)
History
- 2026-11-02: add by m2/dev
GBDE 6GC08KRCYF
| URI | m2://inv/6GC08KRCYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GBDE, GBDE (definition). Also Wikidata Q5512938
History
- 2026-11-02: add by m2/dev
Construction 6GC4D122NW
| URI | m2://inv/6GC4D122NW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decagon#BI8V, Construction (definition)
History
- 2026-11-02: add by m2/dev
Expected number of new $3$-tails 6GCDN7GTVV
| URI | m2://inv/6GCDN7GTVV |
|---|---|
| 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 2610.07379#9LJK, Expected number of new $3$-tails (statement). In N0EVQ46HBR/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
bounded function 6GCGE9SNBS
| URI | m2://inv/6GCGE9SNBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#FNVW, bounded function (definition)
History
- 2026-11-02: add by m2/dev
6GCSAZWD6E 6GCSAZWD6E
| URI | m2://inv/6GCSAZWD6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#4UPP (statement). In V6EPE8XHAD/e1, lemma 12.3
History
- 2026-10-29: add by m2/v0.4.10
Applications 6GCWG3S6CV
| URI | m2://inv/6GCWG3S6CV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual calculus#8DQD, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications 6GCWQKVMNR
| URI | m2://inv/6GCWQKVMNR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Massey product#EWAI, Applications (example)
History
- 2026-11-02: add by m2/dev
Weighted-depth martingale 6GDAFCV4S8
| URI | m2://inv/6GDAFCV4S8 |
|---|---|
| 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 2610.00614#QTWR, Weighted-depth martingale (statement). In NC5Z77F6H4/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Formulation 6GDQQ048Q5
| URI | m2://inv/6GDQQ048Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane–plane intersection#457U, Formulation (definition)
History
- 2026-11-02: add by m2/dev
6GE10B6R96 6GE10B6R96
| URI | m2://inv/6GE10B6R96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#XK4Q (statement). In 332PQD90SW/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
6GEAQ4E40B 6GEAQ4E40B
| URI | m2://inv/6GEAQ4E40B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02484#RVLW (statement). In D1V0MQZTFQ/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
Uses 6GEM1C2JRZ
| URI | m2://inv/6GEM1C2JRZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming#99VF, Uses (example)
History
- 2026-11-02: add by m2/dev
Exponential time hypothesis 6GENPRHDHV
| URI | m2://inv/6GENPRHDHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#V19P, Exponential time hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Stoffer, David S. 6GEPVSVTEN
| URI | m2://inv/6GEPVSVTEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HABZ, Stoffer, David S. (topic)
History
- 2026-11-02: add by m2/dev
6GEQJT566P 6GEQJT566P
| URI | m2://inv/6GEQJT566P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#thm:nonenum-pownat (statement). In PKGMM3P5QY, thm, section 83.8
History
- 2026-11-01: add by m2/v0.6.13
6GER1MSP0H 6GER1MSP0H
| URI | m2://inv/6GER1MSP0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#2GTN (statement). In C8VC86B6H8/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
6GF2CE7MS9 6GF2CE7MS9
| URI | m2://inv/6GF2CE7MS9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23822#AK0V (definition)
History
- 2026-11-02: add by m2/v0.6.17
Bs space 6GF3DSWJSJ
| URI | m2://inv/6GF3DSWJSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bs space, Bs space (definition). Also Wikidata Q4982017
History
- 2026-11-02: add by m2/dev
Corrected local-window approximation for the target CEV process 6GF5T5TTB2
| URI | m2://inv/6GF5T5TTB2 |
|---|---|
| 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.05864#M1TN, Corrected local-window approximation for the target CEV process (statement). In 31QPXWDZSH/e1, lemma B.7
History
- 2026-10-29: add by m2/v0.4.10
6GFCSMKPS3 6GFCSMKPS3
| URI | m2://inv/6GFCSMKPS3 |
|---|---|
| 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 2508.13122#M972 (statement). In PX2GWH86PN/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
OjAlgo 6GFDR2GZF8
| URI | m2://inv/6GFDR2GZF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OjAlgo, OjAlgo (definition). Also Wikidata Q16928042
History
- 2026-11-02: add by m2/dev
Hippasus 6GFE97APNA
| URI | m2://inv/6GFE97APNA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#YDRV, Hippasus (topic)
History
- 2026-11-02: add by m2/dev
Closed semiring 6GFHA3X79A
| URI | m2://inv/6GFHA3X79A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiregular element#M94I, Closed semiring (unknown)
History
- 2026-11-02: add by m2/dev
6GFMQ49QB0 6GFMQ49QB0
| URI | m2://inv/6GFMQ49QB0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Control variates 6GFP58GZKQ
| URI | m2://inv/6GFP58GZKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control variates, Control variates (definition). Also Wikidata Q3554721
History
- 2026-11-02: add by m2/dev
Ermelinda DeLaViña 6GFXWQZXV6
| URI | m2://inv/6GFXWQZXV6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ermelinda DeLaViña, Ermelinda DeLaViña (topic). Also Wikidata Q50233656
History
- 2026-11-02: add by m2/dev
Minimum maximal independent set 6GG21GMR9W
| URI | m2://inv/6GG21GMR9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#1A9M, Minimum maximal independent set (definition)
History
- 2026-11-02: add by m2/dev
6GG8K11MD3 6GG8K11MD3
| URI | m2://inv/6GG8K11MD3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#912O (example). In 5XKHZKEGAF/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
Approximation formulas 6GG9MF8TR7
| URI | m2://inv/6GG9MF8TR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition function (number theory)#IMAY, Approximation formulas (statement)
History
- 2026-11-02: add by m2/dev
6GGBY1A6AC 6GGBY1A6AC
| URI | m2://inv/6GGBY1A6AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24463#BNXM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Meta-regression 6GGEMS2H4P
| URI | m2://inv/6GGEMS2H4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meta-regression, Meta-regression (definition). Also Wikidata Q6822263
History
- 2026-11-02: add by m2/dev
Regular Lorentz-force representation 6GGH75MMHZ
| URI | m2://inv/6GGH75MMHZ |
|---|---|
| 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.13248#EWXS, Regular Lorentz-force representation (statement). In MGMC5SREP3/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
6GGJR57243 6GGJR57243
| URI | m2://inv/6GGJR57243 |
|---|---|
| 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.25718#20F2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Artin 6GGKBFK5PJ
| URI | m2://inv/6GGKBFK5PJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#L9C8, Michael Artin (topic)
History
- 2026-11-02: add by m2/dev
Weighted kinetic compactness 6GGMK5Q6P1
| URI | m2://inv/6GGMK5Q6P1 |
|---|---|
| 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.05312#7W1V, Weighted kinetic compactness (statement). In 1CMMK399WQ/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
6GGPPQ009Q 6GGPPQ009Q
| URI | m2://inv/6GGPPQ009Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 33.4
History
- 2026-11-01: add by m2/v0.6.13
6GGR17ZJCS 6GGR17ZJCS
| URI | m2://inv/6GGR17ZJCS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-64 (proof). In VNMV985MXX, proof, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
6GGTJMBNRM 6GGTJMBNRM
| URI | m2://inv/6GGTJMBNRM |
|---|---|
| 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.26496#NCBL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 6GGTT4GJ7F
| URI | m2://inv/6GGTT4GJ7F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability radius#JKID, Examples (example)
History
- 2026-11-02: add by m2/dev
6GGWETWS6K 6GGWETWS6K
| URI | m2://inv/6GGWETWS6K |
|---|---|
| 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 2405.10580#W8J3 (statement). In FXEJE0PWEP/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.3.5
6GGX8VTTGB 6GGX8VTTGB
| URI | m2://inv/6GGX8VTTGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#3LLJ (statement). In TC5QA4AB4Z/e1, proposition 4.32
History
- 2026-10-30: add by m2/v0.4.12
6GGXB0NS9T 6GGXB0NS9T
| URI | m2://inv/6GGXB0NS9T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.13129#RO23 (definition). In J5Z1JD5VKR/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Functor, unit, and compatibility with $\flat$ 6GH5HEDNW3
| URI | m2://inv/6GH5HEDNW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#0EQN, Functor, unit, and compatibility with $\flat$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
6GH5PCY410 6GH5PCY410
| URI | m2://inv/6GH5PCY410 |
|---|---|
| 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.03341#HH7F (statement). In 3G1H5ASBVE/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
6GHJ9P0NBW 6GHJ9P0NBW
| URI | m2://inv/6GHJ9P0NBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13076#Q29L (statement). In K7GJA4WGV7/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Phillip Griffiths 6GHMT2B6NF
| URI | m2://inv/6GHMT2B6NF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#89AG, Phillip Griffiths (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#1VPJ, Phillip Griffiths (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3XRS, Phillip Griffiths (topic)
History
- 2026-11-02: add by m2/dev
6GHVNSFVCH 6GHVNSFVCH
| URI | m2://inv/6GHVNSFVCH |
|---|---|
| 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#WY3D (statement). In D6XA7JXZF3/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Binomial distribution 6GHWRJTP79
| URI | m2://inv/6GHWRJTP79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#ZCHY, Binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Reflection defects 6GJ0AVTJJ4
| URI | m2://inv/6GJ0AVTJJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#LHL7, Reflection defects (statement). In 59016RQTW6/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
6GJ2A3HWH4 6GJ2A3HWH4
| URI | m2://inv/6GJ2A3HWH4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-3 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
6GJ41JNMXD 6GJ41JNMXD
| URI | m2://inv/6GJ41JNMXD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#IYVH (definition). In T8BQ6HHZYT/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Computer animation 6GJAAKE4HB
| URI | m2://inv/6GJAAKE4HB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#TGKM, Computer animation (unknown)
History
- 2026-11-02: add by m2/dev
6GJNSQWHB0 6GJNSQWHB0
| URI | m2://inv/6GJNSQWHB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#EYB3 (statement). In 9WP2QGKMG8/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Austrian Society of Operations Research 6GJXE643BZ
| URI | m2://inv/6GJXE643BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Austrian Society of Operations Research, Austrian Society of Operations Research (definition). Also Wikidata Q25231133
History
- 2026-11-02: add by m2/dev
Properties 6GJXJWJ9EQ
| URI | m2://inv/6GJXJWJ9EQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank–Wolfe algorithm#XWYK, Properties (statement)
History
- 2026-11-02: add by m2/dev
vector-valued function 6GK0KY8WYF
| URI | m2://inv/6GK0KY8WYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Vector-valued function 018GTRS7A4 |
Mentions
- wikidata: Wikidata Q1375954, vector-valued function (unknown). Also MathWorld VectorFunction
- wikipedia: Wikipedia Vector-valued function, Vector-valued function (definition). Also Wikidata Q1375954
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Factorwise tightness 6GK9DPXQ2E
| URI | m2://inv/6GK9DPXQ2E |
|---|---|
| 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.05558#N15K, Factorwise tightness (statement). In VBS62KXK7J/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Blanche Descartes 6GKCPVYJ8A
| URI | m2://inv/6GKCPVYJ8A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blanche Descartes, Blanche Descartes (topic). Also Wikidata Q4924839
History
- 2026-11-02: add by m2/dev
Definition 6GKNHBSY33
| URI | m2://inv/6GKNHBSY33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lieb–Liniger model#6DMW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Matching pursuit 6GKRZWF99H
| URI | m2://inv/6GKRZWF99H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching pursuit, Matching pursuit (definition). Also Wikidata Q6786281
History
- 2026-11-02: add by m2/dev
Enrico Betti 6GKXRY99B0
| URI | m2://inv/6GKXRY99B0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#8LX1, Enrico Betti (topic)
History
- 2026-11-02: add by m2/dev
6GM08HXRK0 6GM08HXRK0
| URI | m2://inv/6GM08HXRK0 |
|---|---|
| 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.31304#45AF (statement). In 3YK9MDW1D2/e1, corollary 2.5
History
- 2026-10-31: add by m2/v0.5.6
6GM1AZNXY2 6GM1AZNXY2
| URI | m2://inv/6GM1AZNXY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#WVCE (statement). In Q6HRJP4AWA/e1, proposition 8.7
History
- 2026-10-29: add by m2/v0.4.12
Paul Émile Appell 6GM1QJKY68
| URI | m2://inv/6GM1QJKY68 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#VSUR, Paul Émile Appell (topic)
History
- 2026-11-02: add by m2/dev
6GM45B2HK6 6GM45B2HK6
| URI | m2://inv/6GM45B2HK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#W8ZX (statement). In GWNT8HEZG1/e1, theorem 3.22
History
- 2026-10-27: add by m2/v0.3.6
Cover 6GM6ZH2HM7
| URI | m2://inv/6GM6ZH2HM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover (algebra), Cover (definition). Also Wikidata Q16952335
History
- 2026-11-02: add by m2/dev
6GMAQT7D45 6GMAQT7D45
| URI | m2://inv/6GMAQT7D45 |
|---|---|
| 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.20480#11GT (statement). In BK4359JSC3/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.4.2
Primefree sequence 6GMGHPJRJG
| URI | m2://inv/6GMGHPJRJG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7243388, Primefree sequence (concept). Also MathWorld PrimefreeSequence
- wikipedia: Wikipedia Primefree sequence, Primefree sequence (object). Also Wikidata Q7243388
History
- 2026-10-26: add by m2/dev
Results 6GMHN770EE
| URI | m2://inv/6GMHN770EE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crutchfield situation#TJ1X, Results (statement)
History
- 2026-11-02: add by m2/dev
6GMKMZQ2HC 6GMKMZQ2HC
| URI | m2://inv/6GMKMZQ2HC |
|---|---|
| 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#JOXN (statement). In VN084GGZGK/e1, proposition 4.15
History
- 2026-10-28: add by m2/v0.4.3
Near-factorization 6GMPPRQ13A
| URI | m2://inv/6GMPPRQ13A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20197#PSGY, Near-factorization (statement)
History
- 2026-11-02: add by m2/v0.6.18
RSA Secret-Key Challenge 6GMPSABRT5
| URI | m2://inv/6GMPSABRT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA Secret-Key Challenge, RSA Secret-Key Challenge (definition). Also Wikidata Q2990952
History
- 2026-11-02: add by m2/dev
Properties 6GMY1SAHHT
| URI | m2://inv/6GMY1SAHHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nu-transform#WKDU, Properties (statement)
History
- 2026-11-02: add by m2/dev
6GN900RYPM 6GN900RYPM
| URI | m2://inv/6GN900RYPM |
|---|---|
| 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 2606.20229#K36K (statement). In 1B85G2QJC2/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.6
UrQMD 6GNDQ9EDXG
| URI | m2://inv/6GNDQ9EDXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#DMI4, UrQMD (unknown)
History
- 2026-11-02: add by m2/dev
Theodore Motzkin 6GNGYKX75D
| URI | m2://inv/6GNGYKX75D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#IAWM, Theodore Motzkin (topic)
History
- 2026-11-02: add by m2/dev
Geoffrey Ingram Taylor 6GNY77AHNP
| URI | m2://inv/6GNY77AHNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#2NVD, Geoffrey Ingram Taylor (topic)
History
- 2026-11-02: add by m2/dev
``Euclidean algorithm'' 6GNYSKXMF8
| URI | m2://inv/6GNYSKXMF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#claim-1, ``Euclidean algorithm'' (statement). In RZP28ERRZV, claim, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
6GNZ5BKM26 6GNZ5BKM26
| URI | m2://inv/6GNZ5BKM26 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#UIBH (definition). In P5SY7AVP5E/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.12
6GP82BZSMZ 6GP82BZSMZ
| URI | m2://inv/6GP82BZSMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#W1BQ (statement). In F3BKXXPR3K/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.4.2
6GP99PXEW4 6GP99PXEW4
| URI | m2://inv/6GP99PXEW4 |
|---|---|
| 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 2103.12669#T74Z (definition). In ZA6XNBA90V/e1, definition 3.16
History
- 2026-10-27: add by m2/v0.3.5
Lemma 11 in ; Lemma S6 6GPNHN3KEN
| URI | m2://inv/6GPNHN3KEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#NW7S, Lemma 11 in ; Lemma S6 (statement). In 4X12V9RS0D/e1, lemma G.2
History
- 2026-10-27: add by m2/v0.3.5
Sobolev decomposition and embeddings 6GPP71PTEF
| URI | m2://inv/6GPP71PTEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03745#G7P1, Sobolev decomposition and embeddings (statement). In YWXVX6AX8F/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
computation rule, for dependent pair type 6GPTHKQ6CT
| URI | m2://inv/6GPTHKQ6CT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.6/computation-rule-for-dependent-pair-type, computation rule, for dependent pair type (concept). In N54F33XE07, index, section A.6
History
- 2026-11-01: add by m2/v0.6.13
Inequality 6GPTTN2H0Y
| URI | m2://inv/6GPTTN2H0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical equality#403V, Inequality (statement)
History
- 2026-11-02: add by m2/dev
6GQ2P9PRC0 6GQ2P9PRC0
| URI | m2://inv/6GQ2P9PRC0 |
|---|---|
| Kind | statement |
| 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 2610.21092#V8G5 (statement). In AGJE43FTF8/e1, proposition 8.8
History
- 2026-10-27: add by m2/v0.4.2
6GQ81TJJFW 6GQ81TJJFW
| URI | m2://inv/6GQ81TJJFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#RUJG (statement). In R2K4HZN8RW/e1, proposition 5.11
History
- 2026-10-30: add by m2/v0.4.12
Applications 6GQHV8HR50
| URI | m2://inv/6GQHV8HR50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered hexagonal number#0JWT, Applications (example)
History
- 2026-11-02: add by m2/dev
6GQM3G5QTN 6GQM3G5QTN
| URI | m2://inv/6GQM3G5QTN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-14 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
529 (number) 6GQWK7YSZP
| URI | m2://inv/6GQWK7YSZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#GRC4, 529 (number) (unknown)
History
- 2026-11-02: add by m2/dev
The advantage of non-linear encoding over scalar and vector linear encoding 6GQZDQHG74
| URI | m2://inv/6GQZDQHG74 |
|---|---|
| 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.08202#6NUI, The advantage of non-linear encoding over scalar and vector linear encoding (statement). In N7XJ16700B/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
Formal definition 6GR9GBR77R
| URI | m2://inv/6GR9GBR77R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centipede game#1DW3, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Statement 6GRJSS4QET
| URI | m2://inv/6GRJSS4QET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie–Palais theorem#HDDO, Statement (statement)
History
- 2026-11-02: add by m2/dev
6GRK9PTS26 6GRK9PTS26
| URI | m2://inv/6GRK9PTS26 |
|---|---|
| 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.31910#ZGW1 (statement). In E4EK1XXPY4/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
Atiyah–Bott fixed-point theorem 6GRQGTM7YM
| URI | m2://inv/6GRQGTM7YM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q755986, Atiyah–Bott fixed-point theorem (statement). Also Wikidata Q755986
- thousand_plus: thousand_plus Q755986, Atiyah–Bott fixed-point theorem (statement). Also Wikidata Q755986, Wikipedia Atiyah–Bott fixed-point theorem
- wikipedia: Wikipedia Atiyah–Bott fixed-point theorem, Atiyah–Bott fixed-point theorem (statement). Also Wikidata Q755986
History
- 2026-10-26: add by m2/dev
6GRSH6EYZR 6GRSH6EYZR
| URI | m2://inv/6GRSH6EYZR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.13129#JHCS (example). In J5Z1JD5VKR/e1, example 2.4
History
- 2026-10-27: add by m2/v0.4.0
Fraňková–Helly selection theorem 6GS0XPY7W3
| URI | m2://inv/6GS0XPY7W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JIDM, Fraňková–Helly selection theorem (statement)
History
- 2026-11-02: add by m2/dev
Stewart Shapiro 6GS16J3TM9
| URI | m2://inv/6GS16J3TM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#IVEN, Stewart Shapiro (topic)
History
- 2026-11-02: add by m2/dev
Generalizations 6GS19WN285
| URI | m2://inv/6GS19WN285 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#XN49, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
6GS8KQZ5EB 6GS8KQZ5EB
| URI | m2://inv/6GS8KQZ5EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26808#BUB6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6GSBJAGX97 6GSBJAGX97
| URI | m2://inv/6GSBJAGX97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#D2FR (statement). In 5RE15848Z0/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
6GSBXERYP1 6GSBXERYP1
| URI | m2://inv/6GSBXERYP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#9NSM (statement). In 9JZJTRRVR1/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
6GSCDK91NT 6GSCDK91NT
| URI | m2://inv/6GSCDK91NT |
|---|---|
| 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.25896#K3TR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Deane Montgomery 6GSKJ5QQAT
| URI | m2://inv/6GSKJ5QQAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P79W, Deane Montgomery (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8QLN, Deane Montgomery (topic)
History
- 2026-11-02: add by m2/dev
Hasse--Weil 6GSVQ9P9MZ
| URI | m2://inv/6GSVQ9P9MZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#ERI7, Hasse--Weil (statement). In N4M6B8EMCW/e1, theorem 2.8
History
- 2026-10-31: add by m2/v0.5.6
Regenerative process 6GSX3Y864J
| URI | m2://inv/6GSX3Y864J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regenerative process, Regenerative process (definition). Also Wikidata Q7308048
History
- 2026-11-02: add by m2/dev
Landau's constants 6GSYWK59S1
| URI | m2://inv/6GSYWK59S1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ER8H, Landau's constants (conjecture)
History
- 2026-11-02: add by m2/dev
integrally closed domain 6GT0M8J196
| URI | m2://inv/6GT0M8J196 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Integrally closed domain H20P600HQS |
Mentions
- wikidata: Wikidata Q2851427, integrally closed domain (unknown). Also LMFDB knowl ring.integrally_closed, MathWorld IntegrallyClosed
- wikipedia: Wikipedia Integrally closed domain, Integrally closed domain (definition). Also Wikidata Q2851427
History
- 2026-10-26: add by m2/dev
6GT173WB7B 6GT173WB7B
| URI | m2://inv/6GT173WB7B |
|---|---|
| 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 2609.23605#MVXX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Critical dimension 6GTBE3DYZE
| URI | m2://inv/6GTBE3DYZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical dimension, Critical dimension (definition). Also Wikidata Q3028070
History
- 2026-11-02: add by m2/dev
MTBUR 6GTE0A4RV0
| URI | m2://inv/6GTE0A4RV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean time between failures#QDPG, MTBUR (unknown)
History
- 2026-11-02: add by m2/dev
Characterization of channel equivalence 6GTFKJKY6P
| URI | m2://inv/6GTFKJKY6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#6WHS, Characterization of channel equivalence (statement). In 718SP8YERQ/e1, lemma A1
History
- 2026-10-27: add by m2/v0.3.5
6GTPFSVH2P 6GTPFSVH2P
| URI | m2://inv/6GTPFSVH2P |
|---|---|
| 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 2206.05392#VTG2 (statement). In 58D1ZC82DW/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Cartan subgroup 6GTT19EAMV
| URI | m2://inv/6GTT19EAMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#OVSZ, Cartan subgroup (definition)
History
- 2026-11-02: add by m2/dev
alpha particle 6GTV59X5SE
| URI | m2://inv/6GTV59X5SE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q103517, alpha particle (unknown). Also nLab alpha particle
History
- 2026-10-26: add by m2/dev
10 6GTX66544A
| URI | m2://inv/6GTX66544A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23806, 10 (statement). Also MathWorld 10, ProofWiki 10
- wikipedia: Wikipedia 10, 10 (definition). Also Wikidata Q23806
History
- 2026-10-26: add by m2/dev
6GV2FMP317 6GV2FMP317
| URI | m2://inv/6GV2FMP317 |
|---|---|
| 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.21256#X6Z8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6GV2ZGKH12 6GV2ZGKH12
| URI | m2://inv/6GV2ZGKH12 |
|---|---|
| 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 2409.19687#BFFS (statement). In GWP0HYMDE3/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
Lindstr\"om's Theorem 6GV4EYS85A
| URI | m2://inv/6GV4EYS85A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/lindstrom-proof.tex#thm:lindstrom, Lindstr\"om's Theorem (statement). In PKGMM3P5QY, thm, section 47.5
History
- 2026-11-01: add by m2/v0.6.13
Carsten Thomassen 6GV4HW26C8
| URI | m2://inv/6GV4HW26C8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WK1Z, Carsten Thomassen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V8TM, Carsten Thomassen (topic)
History
- 2026-11-02: add by m2/dev
6GV815084E 6GV815084E
| URI | m2://inv/6GV815084E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_markov-chains.ptx#thm_regular (statement). In QKM9DD2H56, theorem, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
Ibn Hamza al-Maghribi 6GV8KPKV7R
| URI | m2://inv/6GV8KPKV7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibn Hamza al-Maghribi, Ibn Hamza al-Maghribi (topic). Also Wikidata Q4119124
History
- 2026-11-02: add by m2/dev
Dual formulation of the covariance matrix optimization problem 6GVC7400YJ
| URI | m2://inv/6GVC7400YJ |
|---|---|
| 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.01855#WMDO, Dual formulation of the covariance matrix optimization problem (statement). In MM8P5CJR18/e1, proposition 5.14
History
- 2026-10-29: add by m2/v0.4.12
The positive-curvature kernel obstruction 6GVG81WDCE
| URI | m2://inv/6GVG81WDCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#1EQ6, The positive-curvature kernel obstruction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants 6GVHZ8VDFK
| URI | m2://inv/6GVHZ8VDFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumeration reducibility#CX8T, Variants (statement)
History
- 2026-11-02: add by m2/dev
6GVK39MNWM 6GVK39MNWM
| URI | m2://inv/6GVK39MNWM |
|---|---|
| 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 0803.0074#OJFN (statement). In NWJEN5GWFV/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
6GVS39YQXP 6GVS39YQXP
| URI | m2://inv/6GVS39YQXP |
|---|---|
| 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.05708#Q8JJ (statement). In 3BJPFGJNSS/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
6GVY94FSG1 6GVY94FSG1
| URI | m2://inv/6GVY94FSG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#1N70 (statement). In AQWX60Z563/e1, corollary A.5
History
- 2026-10-28: add by m2/v0.4.2
Estimation error 6GW0F7XKR7
| URI | m2://inv/6GW0F7XKR7 |
|---|---|
| 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.04671#1K3G, Estimation error (statement). In BYP65TRGDT/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
Examples 6GW1G9BBF1
| URI | m2://inv/6GW1G9BBF1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremal orders of an arithmetic function#DTCH, Examples (example)
History
- 2026-11-02: add by m2/dev
6GW4E21HMD 6GW4E21HMD
| URI | m2://inv/6GW4E21HMD |
|---|---|
| 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 2610.08891#RYI7 (statement). In W3T7MN4ZNR/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
6GW89K54ZH 6GW89K54ZH
| URI | m2://inv/6GW89K54ZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#OS5J (statement). In V5PVKDKGGG/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
Jarque–Bera test 6GWFXF08CJ
| URI | m2://inv/6GWFXF08CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jarque–Bera test, Jarque–Bera test (definition). Also Wikidata Q1600560
History
- 2026-11-02: add by m2/dev
closed category 6GWRMB5Y79
| URI | m2://inv/6GWRMB5Y79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5135329, closed category (unknown). Also EoM Closed_category, nLab closed category
- wikipedia: Wikipedia Closed category, Closed category (definition). Also Wikidata Q5135329
History
- 2026-10-26: add by m2/dev
Constant strain triangle element 6GWTZHXJ5A
| URI | m2://inv/6GWTZHXJ5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant strain triangle element, Constant strain triangle element (definition). Also Wikidata Q5163670
History
- 2026-11-02: add by m2/dev
subalgebra 6GWYJBVVPY
| URI | m2://inv/6GWYJBVVPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#AUDJ, subalgebra (definition)
History
- 2026-11-02: add by m2/dev
The extreme case: a power-law distribution 6GX06ZBSCQ
| URI | m2://inv/6GX06ZBSCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat-tailed distribution#OSBF, The extreme case: a power-law distribution (statement)
History
- 2026-11-02: add by m2/dev
6GXCWJFCTK 6GXCWJFCTK
| URI | m2://inv/6GXCWJFCTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30113#4GDK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kepler problem 6GXJCJM15S
| URI | m2://inv/6GXJCJM15S |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#QSW4, Kepler problem (problem)
History
- 2026-11-02: add by m2/dev
6GXQ60VT4D 6GXQ60VT4D
| URI | m2://inv/6GXQ60VT4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39919#JNXK (statement). In D3NAXHM4DV/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Formula 6GXZ11RBWJ
| URI | m2://inv/6GXZ11RBWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rice's formula#UA3P, Formula (statement)
History
- 2026-11-02: add by m2/dev
6GXZ68NG8B 6GXZ68NG8B
| URI | m2://inv/6GXZ68NG8B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#NGRG (definition)
History
- 2026-11-02: add by m2/v0.6.17
6GY3QW2655 6GY3QW2655
| URI | m2://inv/6GY3QW2655 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#CRWQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
6GY9TR2QYS 6GY9TR2QYS
| URI | m2://inv/6GY9TR2QYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#QP5J (statement). In XCSQ27P0XW/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.0
Applications 6GYJBQVYEQ
| URI | m2://inv/6GYJBQVYEQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lens (geometry)#MXXR, Applications (example)
History
- 2026-11-02: add by m2/dev
Akima spline 6GYPN25FAQ
| URI | m2://inv/6GYPN25FAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akima spline, Akima spline (definition). Also Wikidata Q65079098
History
- 2026-11-02: add by m2/dev
Amit Garg 6GYRVTMA7X
| URI | m2://inv/6GYRVTMA7X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#VCUG, Amit Garg (topic)
History
- 2026-11-02: add by m2/dev
Abel polynomials 6GYTCM55YN
| URI | m2://inv/6GYTCM55YN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3395686, Abel polynomials (concept). Also MathWorld AbelPolynomial
- wikipedia: Wikipedia Abel polynomials, Abel polynomials (definition). Also Wikidata Q3395686
History
- 2026-10-26: add by m2/dev
6GZ1M328K5 6GZ1M328K5
| URI | m2://inv/6GZ1M328K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#definition-2 (definition). In RZP28ERRZV, definition, section 101.1
History
- 2026-11-01: add by m2/v0.6.13
6GZ62Z1S01 6GZ62Z1S01
| URI | m2://inv/6GZ62Z1S01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#VD1N (statement). In NSYR6W27FP/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Integral closure 6GZABCPQCX
| URI | m2://inv/6GZABCPQCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#D3GK, Integral closure (definition)
History
- 2026-11-02: add by m2/dev
Application 6GZAMFGPTQ
| URI | m2://inv/6GZAMFGPTQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse Pythagorean theorem#3IUG, Application (example)
History
- 2026-11-02: add by m2/dev
6GZG9AD3MK 6GZG9AD3MK
| URI | m2://inv/6GZG9AD3MK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#lem:sat-halts (statement). In PKGMM3P5QY, lem, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
P Kesava Menon 6GZJFP5RSA
| URI | m2://inv/6GZJFP5RSA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P Kesava Menon, P Kesava Menon (topic). Also Wikidata Q7121267
History
- 2026-11-02: add by m2/dev
W. G. Brown 6GZMR1YVTJ
| URI | m2://inv/6GZMR1YVTJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5Y16, W. G. Brown (topic)
History
- 2026-11-02: add by m2/dev
6GZRPHCR9D 6GZRPHCR9D
| URI | m2://inv/6GZRPHCR9D |
|---|---|
| Kind | conjecture |
| 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.19249#D68O (conjecture). In 2X586J6KQ1/e1, conjecture 4.4
History
- 2026-10-28: add by m2/v0.4.2
Linear regularity of the marginal sets 6GZXBCX340
| URI | m2://inv/6GZXBCX340 |
|---|---|
| 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.04264#QI7H, Linear regularity of the marginal sets (statement). In 5YRJ4HGY4N/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12