Inventory rows P8
The cards of the rows of the inventory whose ids start with P8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
P8040DXV04 P8040DXV04
| URI | m2://inv/P8040DXV04 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#0ZAU (definition)
History
- 2026-11-02: add by m2/v0.6.17
P806WNK68T P806WNK68T
| URI | m2://inv/P806WNK68T |
|---|---|
| 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.08382#SB0L (statement). In GYMGDQS25R/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.10
P809E7J3FS P809E7J3FS
| URI | m2://inv/P809E7J3FS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#51R3 (statement). In 47WN78VDDF/e1, lemma 3.17
History
- 2026-10-30: add by m2/v0.4.12
Vertex operator algebra P809ZTZCV7
| URI | m2://inv/P809ZTZCV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#R871, Vertex operator algebra (definition)
- wikipedia: Wikipedia List of string theory topics#UZIC, Vertex operator algebra (definition)
History
- 2026-11-02: add by m2/dev
P80FWPC8WM P80FWPC8WM
| URI | m2://inv/P80FWPC8WM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#W8T4 (statement). In E31CZYM2H8/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
P80NMBMHRQ P80NMBMHRQ
| URI | m2://inv/P80NMBMHRQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-160 (exercise). In VNMV985MXX, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Exterior fractional TBC P80SAXZZ03
| URI | m2://inv/P80SAXZZ03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06631#SEHJ, Exterior fractional TBC (statement). In QR4SD83TFR/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
P80TTC369J P80TTC369J
| URI | m2://inv/P80TTC369J |
|---|---|
| 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.40156#ZX6M (statement). In PP8BEHWK33/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
P80V33VB4X P80V33VB4X
| URI | m2://inv/P80V33VB4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#OALC (statement). In J4P6HXMJCH/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
P811F5DRTY P811F5DRTY
| URI | m2://inv/P811F5DRTY |
|---|---|
| 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.03222#A1YU (statement). In BB0JGNK4YF/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
P811VD9F11 P811VD9F11
| URI | m2://inv/P811VD9F11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#J2MF (statement). In GM3S19KFDH/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
P81503KSJW P81503KSJW
| URI | m2://inv/P81503KSJW |
|---|---|
| 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#9A3E (statement). In XEQD21EBTT/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
P816SVNWGD P816SVNWGD
| URI | m2://inv/P816SVNWGD |
|---|---|
| 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.10813#DIEH (statement). In G8F4P7GDMA/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
$p$-Cheeger energy P81CZ9AYNR
| URI | m2://inv/P81CZ9AYNR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#W1VY, $p$-Cheeger energy (definition). In KM3Q791JY0/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Bendixson's inequality P81ENR8Q57
| URI | m2://inv/P81ENR8Q57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#BAWC, Bendixson's inequality (statement)
History
- 2026-11-02: add by m2/dev
P81K8FXYF0 P81K8FXYF0
| URI | m2://inv/P81K8FXYF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20391#1Q0B (statement). In CTAS41TRM2/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.2
P81Q1MRHQB P81Q1MRHQB
| URI | m2://inv/P81Q1MRHQB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#DU29 (definition). In 41NFABHFXH/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Existence of a bounded 1-steep function P81XT3K607
| URI | m2://inv/P81XT3K607 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#6W6N, Existence of a bounded 1-steep function (statement). In KM3Q791JY0/e1, lemma 2.21
History
- 2026-10-27: add by m2/v0.4.2
N-1 P820RG0AHS
| URI | m2://inv/P820RG0AHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#DIHM, N-1 (definition)
History
- 2026-11-02: add by m2/dev
Definition P820VSV2NK
| URI | m2://inv/P820VSV2NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding DFT#H3R9, Definition (definition)
History
- 2026-11-02: add by m2/dev
P822K7W66C P822K7W66C
| URI | m2://inv/P822K7W66C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#cardplustimescommute (statement). In PKGMM3P5QY, prop, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
P82EFWXGMB P82EFWXGMB
| URI | m2://inv/P82EFWXGMB |
|---|---|
| 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#91RT (statement). In F3BKXXPR3K/e1, corollary 3.73
History
- 2026-10-27: add by m2/v0.4.2
Examples P82SW65BQB
| URI | m2://inv/P82SW65BQB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clutching construction#QBYX, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalizations P82V8MAYS3
| URI | m2://inv/P82V8MAYS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vakhitov–Kolokolov stability criterion#GI2C, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Numbering P82W6N549A
| URI | m2://inv/P82W6N549A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numbering (computability theory), Numbering (definition). Also Wikidata Q362019
History
- 2026-11-02: add by m2/dev
P82XDJPG01 P82XDJPG01
| URI | m2://inv/P82XDJPG01 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
P832R08XJ0 P832R08XJ0
| URI | m2://inv/P832R08XJ0 |
|---|---|
| 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.15593#6IC6 (statement). In PREJREM4BB/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Vandermonde matrix P83327NN2K
| URI | m2://inv/P83327NN2K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Vandermonde matrix Q3JWBZ7EFY |
Mentions
- wikidata: Wikidata Q579544, Vandermonde matrix (concept). Also MathWorld VandermondeMatrix
- wikipedia: Wikipedia Vandermonde matrix, Vandermonde matrix (definition). Also Wikidata Q579544
History
- 2026-10-26: add by m2/dev
P833XHNTHE P833XHNTHE
| URI | m2://inv/P833XHNTHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#AR3J (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications P838FN1EFW
| URI | m2://inv/P838FN1EFW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Info-gap decision theory#S8P8, Applications (example)
History
- 2026-11-02: add by m2/dev
Symmetry P83CNPKVS3
| URI | m2://inv/P83CNPKVS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwinger function#LDR4, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Real polar P83CNTN033
| URI | m2://inv/P83CNTN033 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar set#TXVN, Real polar (unknown)
History
- 2026-11-02: add by m2/dev
P83FQXVGPP P83FQXVGPP
| URI | m2://inv/P83FQXVGPP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24424#NBYY (example). In RQHGZ4AA5T/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.6
CompStat P83MQQC0KC
| URI | m2://inv/P83MQQC0KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CompStat, CompStat (definition). Also Wikidata Q4383418
History
- 2026-11-02: add by m2/dev
Statement P83R5G2JPG
| URI | m2://inv/P83R5G2JPG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sister Beiter conjecture#MIXU, Statement (statement)
History
- 2026-11-02: add by m2/dev
Examples P83XTE2Z6P
| URI | m2://inv/P83XTE2Z6P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple (mathematics)#0Z0K, Examples (example)
History
- 2026-11-02: add by m2/dev
P8452PAF3V P8452PAF3V
| URI | m2://inv/P8452PAF3V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30961#WXHE (example). In FFG2DDWEVB/e1, example 3.26
History
- 2026-10-31: add by m2/v0.5.6
Neighbourhood base/basis P84B1HNYZX
| URI | m2://inv/P84B1HNYZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#TDXS, Neighbourhood base/basis (definition)
History
- 2026-11-02: add by m2/dev
Completeness: The Strong Axiom of Revealed Preferences (SARP) P84DZ9E5DK
| URI | m2://inv/P84DZ9E5DK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revealed preference#2G0J, Completeness: The Strong Axiom of Revealed Preferences (SARP) (statement)
History
- 2026-11-02: add by m2/dev
P84F4SE2T0 P84F4SE2T0
| URI | m2://inv/P84F4SE2T0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-71 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
P84WR2XW3Q P84WR2XW3Q
| URI | m2://inv/P84WR2XW3Q |
|---|---|
| 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.08638#XQTW (statement). In 113VZ5XX7J/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
Vladimir Markov P858Y443TR
| URI | m2://inv/P858Y443TR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Markov (mathematician), Vladimir Markov (topic). Also Wikidata Q176685
History
- 2026-11-02: add by m2/dev
Properties P859C2XQZD
| URI | m2://inv/P859C2XQZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter quantifier#06XZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
The hyperfinite-factor counterexample P859MJE5KN
| URI | m2://inv/P859MJE5KN |
|---|---|
| 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#PII3, The hyperfinite-factor counterexample (statement). In Q6HRJP4AWA/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Scientific wild-ass guess P85BA8W2V8
| URI | m2://inv/P85BA8W2V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific wild-ass guess, Scientific wild-ass guess (definition). Also Wikidata Q17146921
History
- 2026-11-02: add by m2/dev
P85ESWW7F6 P85ESWW7F6
| URI | m2://inv/P85ESWW7F6 |
|---|---|
| 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 2605.30285#9EI9 (statement). In YMY0NNSM27/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.6
P85PCBJSQV P85PCBJSQV
| URI | m2://inv/P85PCBJSQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#K4F4 (statement). In PZCA01JXVR/e1, proposition 1.6
History
- 2026-10-27: add by m2/v0.3.5
Del Pezzo surface P861AQQ3E5
| URI | m2://inv/P861AQQ3E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#SIWG, Del Pezzo surface (definition)
- wikipedia: Wikipedia List of manifolds#CPW4, Del Pezzo surface (definition)
History
- 2026-11-02: add by m2/dev
Largest empty sphere P86426NE0R
| URI | m2://inv/P86426NE0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#T2FP, Largest empty sphere (definition)
History
- 2026-11-02: add by m2/dev
Arai psi function P8664E71P7
| URI | m2://inv/P8664E71P7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal collapsing function#M3ER, Arai psi function (unknown)
History
- 2026-11-02: add by m2/dev
P86CVCPF2G P86CVCPF2G
| URI | m2://inv/P86CVCPF2G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-286 (exercise). In VNMV985MXX, exercise, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Lemma P86GY0W21N
| URI | m2://inv/P86GY0W21N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR#APIW, Lemma (statement)
History
- 2026-11-02: add by m2/dev
trace class operator P86QHYT0XQ
| URI | m2://inv/P86QHYT0XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Trace class operator Z2CP530WDE |
Mentions
- wikidata: Wikidata Q977297, trace class operator (unknown). Also MathWorld Trace-ClassOperator, nLab trace-class operator
- wikipedia: Wikipedia Trace class, Trace class (definition). Also Wikidata Q977297
History
- 2026-10-26: add by m2/dev
Zariski P86W4XFJEJ
| URI | m2://inv/P86W4XFJEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#EI81, Zariski (definition)
History
- 2026-11-02: add by m2/dev
Derivation from the fluctuation theorem and the central limit theorem P86WZC23VT
| URI | m2://inv/P86WZC23VT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green–Kubo relations#GHP6, Derivation from the fluctuation theorem and the central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
P86XD9NH11 P86XD9NH11
| URI | m2://inv/P86XD9NH11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25004#JQQZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Factor-resolved formula for the rectangular Weyl matrix P87962WSTZ
| URI | m2://inv/P87962WSTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 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.26066#ET00, Factor-resolved formula for the rectangular Weyl matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples P87EE73Y6W
| URI | m2://inv/P87EE73Y6W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annihilator (ring theory)#0E14, Examples (example)
History
- 2026-11-02: add by m2/dev
704 (number) P87QJMAXV5
| URI | m2://inv/P87QJMAXV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#SUGW, 704 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Ralph Kaufmann P87RXP892Q
| URI | m2://inv/P87RXP892Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47545545, Ralph Kaufmann (unknown). Also nLab Ralph Kaufmann
- wikipedia: Wikipedia Ralph Kaufmann, Ralph Kaufmann (topic). Also Wikidata Q47545545
History
- 2026-10-26: add by m2/dev
metagyrate diminished rhombicosidodecahedron P87S45WRMX
| URI | m2://inv/P87S45WRMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2182515, metagyrate diminished rhombicosidodecahedron (object). Also MathWorld MetagyrateDiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Metagyrate diminished rhombicosidodecahedron, Metagyrate diminished rhombicosidodecahedron (definition). Also Wikidata Q2182515
History
- 2026-10-26: add by m2/dev
$w_3=7$; rigorous P87SPDH6TC
| URI | m2://inv/P87SPDH6TC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.18859#R8ZH, $w_3=7$; rigorous (statement). In EVRAASXEDY/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
P87V61Z8DM P87V61Z8DM
| URI | m2://inv/P87V61Z8DM |
|---|---|
| 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.29943#MMN1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ihara's lemma P87XT4N54F
| URI | m2://inv/P87XT4N54F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ihara's lemma, Ihara's lemma (statement). Also Wikidata Q17042978
History
- 2026-11-02: add by m2/dev
equal-area projection P87YVXAKF6
| URI | m2://inv/P87YVXAKF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q761699, equal-area projection (unknown). Also MathWorld Equal-AreaProjection
History
- 2026-10-26: add by m2/dev
Golomb graph P87ZP6KAEY
| URI | m2://inv/P87ZP6KAEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115486, Golomb graph (unknown). Also House of Graphs 1112, MathWorld GolombGraph
- wikipedia: Wikipedia Golomb graph, Golomb graph (definition). Also Wikidata Q3115486
History
- 2026-10-26: add by m2/dev
P88116EJTF P88116EJTF
| URI | m2://inv/P88116EJTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#RS7A (statement). In DPJ15KW23C/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Theorem P881Z66BJS
| URI | m2://inv/P881Z66BJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz–Pettis theorem#A23U, Theorem (statement)
History
- 2026-11-02: add by m2/dev
P882YKWADC P882YKWADC
| URI | m2://inv/P882YKWADC |
|---|---|
| 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.20110#2L8Z (statement). In 1SAMKN4477/e1, lemma C.1
History
- 2026-10-27: add by m2/v0.4.2
P88657G87D P88657G87D
| URI | m2://inv/P88657G87D |
|---|---|
| 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.11700#91J2 (statement). In RW9AZQ1YZ2/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.3
Generalized entropy index P88AJX7ZZ3
| URI | m2://inv/P88AJX7ZZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized entropy index, Generalized entropy index (definition). Also Wikidata Q254487
History
- 2026-11-02: add by m2/dev
Flatness for $C^1$-metrics P88J7ECY87
| URI | m2://inv/P88J7ECY87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#88SP, Flatness for $C^1$-metrics (statement). In J99PFFJXPE/e1, theorem 3.21
History
- 2026-10-27: add by m2/v0.3.6
P88XNZWCEK P88XNZWCEK
| URI | m2://inv/P88XNZWCEK |
|---|---|
| Kind | definition |
| 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 2610.04382#807T (definition). In 7VW8XD28G1/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
P8930YN5NX P8930YN5NX
| URI | m2://inv/P8930YN5NX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#EC1M (statement). In 793KXAR957/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
P8947YT43A P8947YT43A
| URI | m2://inv/P8947YT43A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#V4OJ (definition). In JQH3FHYPW3/e1, definition 2.20
History
- 2026-10-28: add by m2/v0.4.2
P89CZV4MXW P89CZV4MXW
| URI | m2://inv/P89CZV4MXW |
|---|---|
| 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.40274#2KAW (statement). In 7ZDNJC9MST/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Schröder–Bernstein problems and Schröder–Bernstein theorems P89DFZJAF2
| URI | m2://inv/P89DFZJAF2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder–Bernstein property#DX5H, Schröder–Bernstein problems and Schröder–Bernstein theorems (problem)
History
- 2026-11-02: add by m2/dev
P89N1FVXY2 P89N1FVXY2
| URI | m2://inv/P89N1FVXY2 |
|---|---|
| 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.03728#SZ6P (statement). In NXR84SNM8F/e1, proposition 13.6
History
- 2026-10-29: add by m2/v0.4.12
RCCE P89YJPJMH4
| URI | m2://inv/P89YJPJMH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk communication#762I, RCCE (unknown)
History
- 2026-11-02: add by m2/dev
P89ZAZZ503 P89ZAZZ503
| URI | m2://inv/P89ZAZZ503 |
|---|---|
| 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 2508.02432#7MC5 (statement). In B366ACYB37/e1, lemma 3.23
History
- 2026-10-27: add by m2/v0.3.5
$t$-Step Evaluation Dataset P8A6ZHRS95
| URI | m2://inv/P8A6ZHRS95 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#X7RQ, $t$-Step Evaluation Dataset (definition). In 6KAZWJ8RFX/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Věra Kůrková P8ABEDXJWX
| URI | m2://inv/P8ABEDXJWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CW9O, Věra Kůrková (topic)
History
- 2026-11-02: add by m2/dev
Jonathan Rougier P8ABF41WSS
| URI | m2://inv/P8ABF41WSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Rougier (statistician), Jonathan Rougier (topic). Also Wikidata Q46996203
History
- 2026-11-02: add by m2/dev
P8AK9NGP6T P8AK9NGP6T
| URI | m2://inv/P8AK9NGP6T |
|---|---|
| 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 2410.10337#1I37 (statement). In RBBF0XNZ5E/e1, lemma 25
History
- 2026-10-27: add by m2/v0.3.5
P8AKRPXH9Z P8AKRPXH9Z
| URI | m2://inv/P8AKRPXH9Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.31
History
- 2026-11-01: add by m2/v0.6.13
Ronald Kantowski P8APQS2MRG
| URI | m2://inv/P8APQS2MRG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#H0GE, Ronald Kantowski (unknown)
History
- 2026-11-02: add by m2/dev
Essential spectrum and an initial resolvent block P8AYE5B4V7
| URI | m2://inv/P8AYE5B4V7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#6GRA, Essential spectrum and an initial resolvent block (statement). In FDDA562VCA/e1, proposition 2.33
History
- 2026-10-29: add by m2/v0.4.10
Definition P8B0S3FRTM
| URI | m2://inv/P8B0S3FRTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering graph#YPIB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniqueness theorem for Poisson's equation P8BG9ZSGZJ
| URI | m2://inv/P8BG9ZSGZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniqueness theorem for Poisson's equation, Uniqueness theorem for Poisson's equation (statement). Also Wikidata Q7886967
History
- 2026-11-02: add by m2/dev
P8BKKR0VZ9 P8BKKR0VZ9
| URI | m2://inv/P8BKKR0VZ9 |
|---|---|
| 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.19285#7KNF (statement). In 6DJR9DKY5W/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Pentagonal cupola P8BRNFBRR4
| URI | m2://inv/P8BRNFBRR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UR8C, Pentagonal cupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IS25, Pentagonal cupola (definition)
History
- 2026-11-02: add by m2/dev
P8BWG8KXWK P8BWG8KXWK
| URI | m2://inv/P8BWG8KXWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#Y1QB (statement). In Q3NMYW8ANH/e1, lemma 1.6
History
- 2026-10-27: add by m2/v0.4.2
Glossary of Principia Mathematica P8C1F2V17C
| URI | m2://inv/P8C1F2V17C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica, Glossary of Principia Mathematica (topic). Also Wikidata Q18160277
History
- 2026-11-02: add by m2/dev
Basic-sector comparison P8CC84B786
| URI | m2://inv/P8CC84B786 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#N2I5, Basic-sector comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples P8CCZMNXEG
| URI | m2://inv/P8CCZMNXEG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothness#1HUL, Examples (example)
History
- 2026-11-02: add by m2/dev
P8CDMDTX3R P8CDMDTX3R
| URI | m2://inv/P8CDMDTX3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.02158#KYDG (statement). In PCV12VAD47/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
History and Philosophy of Logic P8CH4301YS
| URI | m2://inv/P8CH4301YS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#RXZW, History and Philosophy of Logic (unknown)
History
- 2026-11-02: add by m2/dev
Trihexagonal tiling P8CJ7ZN5Z5
| URI | m2://inv/P8CJ7ZN5Z5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#L3TE, Trihexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
P8CP80KARB P8CP80KARB
| URI | m2://inv/P8CP80KARB |
|---|---|
| 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.07299#1RU1 (statement). In M70KP0BZ99/e1, corollary 4.9
History
- 2026-10-29: add by m2/v0.4.10
poise P8CT8YESYS
| URI | m2://inv/P8CT8YESYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2100949, poise (definition). Also ProofWiki Definition:Poise
History
- 2026-10-26: add by m2/dev
totally bounded P8CTG87X4X
| URI | m2://inv/P8CTG87X4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#LEMI, totally bounded (definition)
History
- 2026-11-02: add by m2/dev
Forsythe conjecture P8CWR9FSXB
| URI | m2://inv/P8CWR9FSXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate gradient method#TKNJ, Forsythe conjecture (statement)
History
- 2026-11-02: add by m2/dev
P8CY08604S P8CY08604S
| URI | m2://inv/P8CY08604S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 69.5
History
- 2026-11-01: add by m2/v0.6.13
No-deleting theorem P8CZPAPBPR
| URI | m2://inv/P8CZPAPBPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7269076, No-deleting theorem (statement). Also Wikidata Q7269076
- thousand_plus: thousand_plus Q7269076, No-deleting theorem (statement). Also Wikidata Q7269076, Wikipedia No-deleting theorem
- wikipedia: Wikipedia No-deleting theorem, No-deleting theorem (statement). Also Wikidata Q7269076
History
- 2026-10-26: add by m2/dev
category, product of P8D3AQB9JZ
| URI | m2://inv/P8D3AQB9JZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.5/category-product-of, category, product of (concept). In N54F33XE07, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Definitions P8D9VWMPJH
| URI | m2://inv/P8D9VWMPJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing vector field#J213, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Special cases P8DFS6XQQ8
| URI | m2://inv/P8DFS6XQQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCH code#CKDU, Special cases (statement)
History
- 2026-11-02: add by m2/dev
P8DJCWFETA P8DJCWFETA
| URI | m2://inv/P8DJCWFETA |
|---|---|
| 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 2404.06445#OO15 (statement). In 12JKZ8EN52/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Round-robin scheduling P8DKGM7N7R
| URI | m2://inv/P8DKGM7N7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PBDP, Round-robin scheduling (unknown)
History
- 2026-11-02: add by m2/dev
P8DQASR1ZW P8DQASR1ZW
| URI | m2://inv/P8DQASR1ZW |
|---|---|
| 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#YX13 (statement). In M4ZVJWM8YA/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Related results P8E131HR36
| URI | m2://inv/P8E131HR36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodall's conjecture#GQXN, Related results (statement)
History
- 2026-11-02: add by m2/dev
List of moments of inertia P8EAYK88W4
| URI | m2://inv/P8EAYK88W4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#VLCW, List of moments of inertia (unknown)
History
- 2026-11-02: add by m2/dev
Indira Chatterji P8EDDCF5YW
| URI | m2://inv/P8EDDCF5YW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indira Chatterji, Indira Chatterji (topic). Also Wikidata Q102226595
History
- 2026-11-02: add by m2/dev
Panconnectivity P8EEMFZYEG
| URI | m2://inv/P8EEMFZYEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panconnectivity, Panconnectivity (definition). Also Wikidata Q7130383
History
- 2026-11-02: add by m2/dev
Poincaré disk model P8EERJS1EE
| URI | m2://inv/P8EERJS1EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#WS4T, Poincaré disk model (definition)
History
- 2026-11-02: add by m2/dev
Onion Transport Lemma P8EGZXA922
| URI | m2://inv/P8EGZXA922 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20391#VIEI, Onion Transport Lemma (statement). In CTAS41TRM2/e1, lemma 9.5
History
- 2026-10-27: add by m2/v0.4.2
group P8EQHAR07C
| URI | m2://inv/P8EQHAR07C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#CVHL, group (definition)
History
- 2026-11-02: add by m2/dev
Two-body problem P8EW2GM9M4
| URI | m2://inv/P8EW2GM9M4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-body problem, Two-body problem (problem). Also Wikidata Q232976
History
- 2026-11-02: add by m2/dev
Folded subcritical direction P8F0QJ2ZFB
| URI | m2://inv/P8F0QJ2ZFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#Z1X7, Folded subcritical direction (statement). In 7MVPNFPRKB/e1, proposition 9.9
History
- 2026-10-30: add by m2/v0.4.12
Challenging P8F866XFK2
| URI | m2://inv/P8F866XFK2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-48, Challenging (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Particle in a one-dimensional lattice (periodic potential) P8FNYM5VHZ
| URI | m2://inv/P8FNYM5VHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#KEGA, Particle in a one-dimensional lattice (periodic potential) (definition)
History
- 2026-11-02: add by m2/dev
P8FPTAR57M P8FPTAR57M
| URI | m2://inv/P8FPTAR57M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_prop-integers.ptx#theorem-3 (statement). In QKM9DD2H56, theorem, section B.15
History
- 2026-11-01: add by m2/v0.6.13
P8FSJ2A3JH P8FSJ2A3JH
| URI | m2://inv/P8FSJ2A3JH |
|---|---|
| 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.23873#9LSQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Geodesic length of a projected step P8FT9N17WA
| URI | m2://inv/P8FT9N17WA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#RM7O, Geodesic length of a projected step (statement). In A7HTYWJNCX/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
P8FW6F47H4 P8FW6F47H4
| URI | m2://inv/P8FW6F47H4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#CTP8 (definition). In KJC9FRS3C2/e1, definition 8.2
History
- 2026-10-28: add by m2/v0.4.2
P8G90CVJBP P8G90CVJBP
| URI | m2://inv/P8G90CVJBP |
|---|---|
| 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.13792#GAD3 (statement). In ZH0PFTZ12Y/e1, corollary 4.22
History
- 2026-10-28: add by m2/v0.4.2
P8G9NNEE0Q P8G9NNEE0Q
| URI | m2://inv/P8G9NNEE0Q |
|---|---|
| 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.00317#YAJ9 (statement). In 7WNX3ZXWKB/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Yu. V. Chekanov P8GCWJD8WR
| URI | m2://inv/P8GCWJD8WR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LEHK, Yu. V. Chekanov (unknown)
History
- 2026-11-02: add by m2/dev
P8GRTS6E9R P8GRTS6E9R
| URI | m2://inv/P8GRTS6E9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop-5 (statement). In E59CDZA4DP, prop, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
P8GSYBHKKC P8GSYBHKKC
| URI | m2://inv/P8GSYBHKKC |
|---|---|
| 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 2610.05232#5K34 (statement). In DA3VN96YX2/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
P8H6HQTKTB P8H6HQTKTB
| URI | m2://inv/P8H6HQTKTB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
An annihilator in even dimension P8HFD2B7C8
| URI | m2://inv/P8HFD2B7C8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#MWIS, An annihilator in even dimension (statement). In 88GEN3Z5VG/e1, lemma 8.13
History
- 2026-10-29: add by m2/v0.4.10
P8HJRGSSQT P8HJRGSSQT
| URI | m2://inv/P8HJRGSSQT |
|---|---|
| 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.20110#1JQI (statement). In 1SAMKN4477/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.4.2
linear-algebraic P8HQ897M5C
| URI | m2://inv/P8HQ897M5C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of problems in loop theory and quasigroup theory#C5LW, linear-algebraic (topic)
History
- 2026-11-02: add by m2/dev
Number of sinks P8HVA2K5RT
| URI | m2://inv/P8HVA2K5RT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#7XU0, Number of sinks (statement). In CHPJWBREES/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Locally discrete collection P8HWWK45VW
| URI | m2://inv/P8HWWK45VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally discrete collection, Locally discrete collection (definition). Also Wikidata Q6664676
History
- 2026-11-02: add by m2/dev
P8J6EV2T7X P8J6EV2T7X
| URI | m2://inv/P8J6EV2T7X |
|---|---|
| Kind | example |
| 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.31484#CHLH (example). In 1RDQ10G87W/e1, example 3.8
History
- 2026-10-31: add by m2/v0.5.6
Yom Tov Lipman Lipkin P8J6Z759TJ
| URI | m2://inv/P8J6Z759TJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yom Tov Lipman Lipkin, Yom Tov Lipman Lipkin (topic). Also Wikidata Q15965068
History
- 2026-11-02: add by m2/dev
Nonnegative-degree abutment P8J9GX2NAJ
| URI | m2://inv/P8J9GX2NAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#CKZW, Nonnegative-degree abutment (statement). In G3D1YR20BJ/e1, corollary 3.32
History
- 2026-10-29: add by m2/v0.4.12
P8JTNV491K P8JTNV491K
| URI | m2://inv/P8JTNV491K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.06795#839J (statement). In 32MMSEVHYN/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
busy beaver P8JZKNKJFM
| URI | m2://inv/P8JZKNKJFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- thousand_plus: thousand_plus Q1427965, Determination of the fifth Busy Beaver value (statement). Also Wikidata Q1427965
- wikidata: Wikidata Q1427965, busy beaver (unknown). Also MathWorld BusyBeaver
- wikipedia: Wikipedia Busy beaver, Busy beaver (definition). Also Wikidata Q1427965
History
- 2026-10-26: add by m2/dev
Artin conductor P8KHW04JKS
| URI | m2://inv/P8KHW04JKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#705Q, Artin conductor (definition)
History
- 2026-11-02: add by m2/dev
simplicial, sets P8KM35T618
| URI | m2://inv/P8KM35T618 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u2/simplicial-sets, simplicial, sets (concept). In N54F33XE07, index, section u1.u2
History
- 2026-11-01: add by m2/v0.6.13
Eurobarometer P8KNW2GSR9
| URI | m2://inv/P8KNW2GSR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eurobarometer, Eurobarometer (definition). Also Wikidata Q748216
History
- 2026-11-02: add by m2/dev
Bihari–LaSalle inequality P8KY9M8H6K
| URI | m2://inv/P8KY9M8H6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#4Z35, Bihari–LaSalle inequality (statement)
History
- 2026-11-02: add by m2/dev
type, inductive, generalizations P8M6M7E69R
| URI | m2://inv/P8M6M7E69R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/type-inductive-generalizations, type, inductive, generalizations (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
CRYPTREC P8M9QWD4DP
| URI | m2://inv/P8M9QWD4DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CRYPTREC, CRYPTREC (definition). Also Wikidata Q1024309
History
- 2026-11-02: add by m2/dev
Petrus Ramus P8MCCY82GD
| URI | m2://inv/P8MCCY82GD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SKW8, Petrus Ramus (topic)
History
- 2026-11-02: add by m2/dev
Bour's minimal surface P8MG0D1FVX
| URI | m2://inv/P8MG0D1FVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#I6P2, Bour's minimal surface (definition)
History
- 2026-11-02: add by m2/dev
Symmetric Boolean function P8MNM8793Z
| URI | m2://inv/P8MNM8793Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#ZPAU, Symmetric Boolean function (definition)
History
- 2026-11-02: add by m2/dev
P8MQ6R341V P8MQ6R341V
| URI | m2://inv/P8MQ6R341V |
|---|---|
| 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 2506.07061#5ARZ (statement). In G2PA4KAGRP/e1, theorem 3.14
History
- 2026-10-27: add by m2/v0.3.6
P8MRSSNSA6 P8MRSSNSA6
| URI | m2://inv/P8MRSSNSA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#B1Y7 (statement). In 3GE9PS9AH0/e1, proposition 2.0.1
History
- 2026-10-27: add by m2/v0.3.5
Definition P8MXDXEZEQ
| URI | m2://inv/P8MXDXEZEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial moment#2C0P, Definition (definition)
History
- 2026-11-02: add by m2/dev
P8N0G2BB2R P8N0G2BB2R
| URI | m2://inv/P8N0G2BB2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#UGC2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vitali covering lemma P8N9W9PQQ2
| URI | m2://inv/P8N9W9PQQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali covering lemma#1PYV, Vitali covering lemma (statement)
History
- 2026-11-02: add by m2/dev
Examples P8NE3MCNK4
| URI | m2://inv/P8NE3MCNK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated set#FX1R, Examples (example)
History
- 2026-11-02: add by m2/dev
P8NH6W97TS P8NH6W97TS
| URI | m2://inv/P8NH6W97TS |
|---|---|
| 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.16883#5HUU (statement). In TYS9N30M63/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
P8NJJYP5A5 P8NJJYP5A5
| URI | m2://inv/P8NJJYP5A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#GT89 (statement). In M7NEWDTM32/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Peierls bracket P8NR9FSX3H
| URI | m2://inv/P8NR9FSX3H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7160905, Peierls bracket (concept). Also nLab Peierls bracket
History
- 2026-10-26: add by m2/dev
Methods P8NZ6F70Q9
| URI | m2://inv/P8NZ6F70Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum chromodynamics#WHWJ, Methods (definition)
History
- 2026-11-02: add by m2/dev
P8P25403K4 P8P25403K4
| URI | m2://inv/P8P25403K4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#example-2 (example). In E9HS8K3A52, example, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Parallel axis theorem P8PBDMPYA6
| URI | m2://inv/P8PBDMPYA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JS88, Parallel axis theorem (statement)
History
- 2026-11-02: add by m2/dev
Weyl group P8PGQTAA5X
| URI | m2://inv/P8PGQTAA5X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q768074, Weyl group (concept). Also EoM Weyl_group, MathWorld WeylGroup, nLab Weyl group
- wikipedia: Wikipedia Weyl group, Weyl group (definition). Also Wikidata Q768074
History
- 2026-10-26: add by m2/dev
P8PK7TFY23 P8PK7TFY23
| URI | m2://inv/P8PK7TFY23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#K4EX (statement)
History
- 2026-11-02: add by m2/v0.6.17
P8PPTPC78E P8PPTPC78E
| URI | m2://inv/P8PPTPC78E |
|---|---|
| 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#5WS2 (statement). In D1V0MQZTFQ/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.12
Example P8PT96NE75
| URI | m2://inv/P8PT96NE75 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinomial expansion#VXLC, Example (example)
History
- 2026-11-02: add by m2/dev
Contributions of Leonhard Euler to mathematics P8PZ47YHKV
| URI | m2://inv/P8PZ47YHKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contributions of Leonhard Euler to mathematics, Contributions of Leonhard Euler to mathematics (definition). Also Wikidata Q89692800
History
- 2026-11-02: add by m2/dev
primality is a covering failure P8Q133GGVA
| URI | m2://inv/P8Q133GGVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05617#L6WO, primality is a covering failure (statement). In 5JP3JTYAXK/e1, theorem 9.6
History
- 2026-10-29: add by m2/v0.4.10
Quadratic residuosity problem P8Q23B9EVJ
| URI | m2://inv/P8Q23B9EVJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic residuosity problem, Quadratic residuosity problem (problem). Also Wikidata Q3406257
History
- 2026-11-02: add by m2/dev
Applications P8QFX6TJRM
| URI | m2://inv/P8QFX6TJRM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector spherical harmonics#1B3W, Applications (example)
History
- 2026-11-02: add by m2/dev
Functional boxplot P8QGR39Z8Q
| URI | m2://inv/P8QGR39Z8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AABT, Functional boxplot (definition)
History
- 2026-11-02: add by m2/dev
P8QK9GFDB6 P8QK9GFDB6
| URI | m2://inv/P8QK9GFDB6 |
|---|---|
| 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#7H5G (statement). In B8A6BPP922/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
cubic graph P8QNJHFK9E
| URI | m2://inv/P8QNJHFK9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1374495, cubic graph (definition). Also MathWorld CubicGraph, ProofWiki Definition:Cubic_Graph
- wikipedia: Wikipedia Cubic graph, Cubic graph (definition). Also Wikidata Q1374495
History
- 2026-10-26: add by m2/dev
P8R82T2T2J P8R82T2T2J
| URI | m2://inv/P8R82T2T2J |
|---|---|
| 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 1010.0868#2SRH (statement). In VZJNNRQXPM/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Example P8RSKBZBPR
| URI | m2://inv/P8RSKBZBPR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillator representation#U6RR, Example (example)
History
- 2026-11-02: add by m2/dev
P8RTBBB8E5 P8RTBBB8E5
| URI | m2://inv/P8RTBBB8E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29521#OMNT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weak duality theorem P8RWJYAW43
| URI | m2://inv/P8RWJYAW43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak duality#3O79, Weak duality theorem (statement)
History
- 2026-11-02: add by m2/dev
P8S2PKPXWK P8S2PKPXWK
| URI | m2://inv/P8S2PKPXWK |
|---|---|
| Kind | example |
| 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#MRW8 (example). In K7GJA4WGV7/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.2
L-space P8SF1T32BF
| URI | m2://inv/P8SF1T32BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#3KDZ, L-space (definition)
History
- 2026-11-02: add by m2/dev
Examples of Synthesized Teaching Dimension P8SNH7DCDS
| URI | m2://inv/P8SNH7DCDS |
|---|---|
| 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.27241#356N, Examples of Synthesized Teaching Dimension (statement)
History
- 2026-11-01: add by m2/v0.6.15
$k$-Stage Variational Scheme P8SNWJ5R4E
| URI | m2://inv/P8SNWJ5R4E |
|---|---|
| Kind | definition |
| 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.25489#NBPC, $k$-Stage Variational Scheme (definition)
History
- 2026-11-01: add by m2/v0.6.15
Optimality gap P8SR51AVY9
| URI | m2://inv/P8SR51AVY9 |
|---|---|
| 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.11619#1FEA, Optimality gap (statement). In HT2K76Y9WS/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.3
P8SV1XKR2V P8SV1XKR2V
| URI | m2://inv/P8SV1XKR2V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27628#BWNA (example)
History
- 2026-11-01: add by m2/v0.6.15
P8SYM0AATY P8SYM0AATY
| URI | m2://inv/P8SYM0AATY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#9TAX (example). In HX63A1PH1W/e1, example 4.29
History
- 2026-10-28: add by m2/v0.4.3
P8SYYG8M6X P8SYYG8M6X
| URI | m2://inv/P8SYYG8M6X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#example-3 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
Cartan subalgebra P8T3E3AFZJ
| URI | m2://inv/P8T3E3AFZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#W1ZN, Cartan subalgebra (definition)
History
- 2026-11-02: add by m2/dev
P8TPY14A80 P8TPY14A80
| URI | m2://inv/P8TPY14A80 |
|---|---|
| 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.20242#S9O0 (statement). In TAX627CRH2/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Receiver operating characteristic P8V8XM40T0
| URI | m2://inv/P8V8XM40T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BG2R, Receiver operating characteristic (definition)
History
- 2026-11-02: add by m2/dev
Naturalistic fallacy P8V96ECJH4
| URI | m2://inv/P8V96ECJH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naturalistic fallacy, Naturalistic fallacy (definition). Also Wikidata Q376789
History
- 2026-11-02: add by m2/dev
Frederick F. Stephan P8VA2V15TF
| URI | m2://inv/P8VA2V15TF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5LV4, Frederick F. Stephan (topic)
History
- 2026-11-02: add by m2/dev
Bcrypt P8VG69B54C
| URI | m2://inv/P8VG69B54C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bcrypt, Bcrypt (definition). Also Wikidata Q286896
History
- 2026-11-02: add by m2/dev
RetroShare P8VH6KTMFX
| URI | m2://inv/P8VH6KTMFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RetroShare, RetroShare (definition). Also Wikidata Q279182
History
- 2026-11-02: add by m2/dev
Early applications of Vincent's theorem P8VMY9YEZG
| URI | m2://inv/P8VMY9YEZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent's theorem#85XM, Early applications of Vincent's theorem (statement)
History
- 2026-11-02: add by m2/dev
P8VQ43DN03 P8VQ43DN03
| URI | m2://inv/P8VQ43DN03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#T9KU (statement). In KS30K5JXGB/e1, theorem 3.14
History
- 2026-10-28: add by m2/v0.4.2
Łoś's theorem P8VTJ3K5WD
| URI | m2://inv/P8VTJ3K5WD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultraproduct#GMAP, Łoś's theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic subgroup P8W4RCDDK3
| URI | m2://inv/P8W4RCDDK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic subgroup, Basic subgroup (definition). Also Wikidata Q4867054
History
- 2026-11-02: add by m2/dev
Ulrich Güntzer P8W6WPAZ42
| URI | m2://inv/P8W6WPAZ42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38222960, Ulrich Güntzer (unknown). Also nLab Ulrich Güntzer
History
- 2026-10-26: add by m2/dev
P8WCRSGNKZ P8WCRSGNKZ
| URI | m2://inv/P8WCRSGNKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#ALZI (statement). In N5ZM8MXJXH/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
P8WDPJYDB6 P8WDPJYDB6
| URI | m2://inv/P8WDPJYDB6 |
|---|---|
| Kind | example |
| 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 2609.36300#YDAW (example). In MNWD3Y6W56/e1, example 5.7
History
- 2026-10-30: add by m2/v0.4.12
Definition P8WY207799
| URI | m2://inv/P8WY207799 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wijsman convergence#GLWI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Power law graphs P8X1GTAEZK
| URI | m2://inv/P8X1GTAEZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian network#N08X, Power law graphs (statement)
History
- 2026-11-02: add by m2/dev
Anders Johan Lexell P8X86FEDVD
| URI | m2://inv/P8X86FEDVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anders Johan Lexell, Anders Johan Lexell (topic). Also Wikidata Q447071
History
- 2026-11-02: add by m2/dev
Erlangen program P8XJK68B1M
| URI | m2://inv/P8XJK68B1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Erlangen program 9QW65PGEPW |
Mentions
- wikidata: Wikidata Q315296, Erlangen program (definition). Also nLab Erlangen program, ProofWiki Definition:Erlangen_Program
- wikipedia: Wikipedia Erlangen program, Erlangen program (definition). Also Wikidata Q315296
History
- 2026-10-26: add by m2/dev
P8XN9YZ622 P8XN9YZ622
| URI | m2://inv/P8XN9YZ622 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#YJU2 (statement). In 5PN85N6EJF/e1, proposition D.5
History
- 2026-10-31: add by m2/v0.5.6
Illusory correlation P8XSJTCF49
| URI | m2://inv/P8XSJTCF49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#DSP0, Illusory correlation (unknown)
History
- 2026-11-02: add by m2/dev
Brian Glüss P8XWQ66MY2
| URI | m2://inv/P8XWQ66MY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian Glüss, Brian Glüss (topic). Also Wikidata Q29625824
History
- 2026-11-02: add by m2/dev
P8Y3DZJ1CM P8Y3DZJ1CM
| URI | m2://inv/P8Y3DZJ1CM |
|---|---|
| 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.15881#O9H0 (statement). In RK0JCSYK33/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Definition P8Y51K0GF6
| URI | m2://inv/P8Y51K0GF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monodromy#ODOA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Watkins snark P8Y9NG7JWH
| URI | m2://inv/P8Y9NG7JWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3487135, Watkins snark (unknown). Also House of Graphs 1427, MathWorld WatkinsSnark
- wikipedia: Wikipedia Watkins snark, Watkins snark (definition). Also Wikidata Q3487135
History
- 2026-10-26: add by m2/dev
Horton principle P8YEY5JNE8
| URI | m2://inv/P8YEY5JNE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horton principle, Horton principle (statement). Also Wikidata Q17081407
History
- 2026-11-02: add by m2/dev
P8YG85MFTW P8YG85MFTW
| URI | m2://inv/P8YG85MFTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#GG9T (statement)
History
- 2026-11-01: add by m2/v0.6.15
P8YGGQTMZY P8YGGQTMZY
| URI | m2://inv/P8YGGQTMZY |
|---|---|
| Kind | example |
| 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.01802#UFG8 (example). In XGPZ0G9E1Q/e1, example 5.7
History
- 2026-10-29: add by m2/v0.4.12
Chronological snobbery P8YM26W657
| URI | m2://inv/P8YM26W657 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#0DNQ, Chronological snobbery (definition)
History
- 2026-11-02: add by m2/dev
P8YQ2W520B P8YQ2W520B
| URI | m2://inv/P8YQ2W520B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#5OXH (statement). In R9GRCAWHG0/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
The Fundamental Theorem of Proper Forcing P8Z1CH3DVR
| URI | m2://inv/P8Z1CH3DVR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper forcing axiom#JAAP, The Fundamental Theorem of Proper Forcing (statement)
History
- 2026-11-02: add by m2/dev
Implicit function P8Z2WKY0C9
| URI | m2://inv/P8Z2WKY0C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#8C82, Implicit function (definition)
History
- 2026-11-02: add by m2/dev
P8ZCBE2T0Y P8ZCBE2T0Y
| URI | m2://inv/P8ZCBE2T0Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#ex-3 (example). In PKGMM3P5QY, ex, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
False-negative bound P8ZRRVAGAG
| URI | m2://inv/P8ZRRVAGAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08766#NLXS, False-negative bound (statement). In QA4JM9SHPA/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
Subspace bornology P8ZWP6R09T
| URI | m2://inv/P8ZWP6R09T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornology#C3HH, Subspace bornology (unknown)
History
- 2026-11-02: add by m2/dev