Inventory rows PP
The cards of the rows of the inventory whose ids start with PP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
In terms of axioms PP0BPZPSTB
| URI | m2://inv/PP0BPZPSTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior derivative#ODAP, In terms of axioms (statement)
History
- 2026-11-02: add by m2/dev
Lester Dubins PP0CQ08SJM
| URI | m2://inv/PP0CQ08SJM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#0G0R, Lester Dubins (topic)
History
- 2026-11-02: add by m2/dev
Generalization PP135EFAXX
| URI | m2://inv/PP135EFAXX |
|---|---|
| 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.06108#CUDK, Generalization (statement). In D3WKY1PW64/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.10
PP16TJQAA1 PP16TJQAA1
| URI | m2://inv/PP16TJQAA1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-43 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Definition PP16ZJ545C
| URI | m2://inv/PP16ZJ545C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (variational analysis)#UNDW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lietz PP17WYXCS3
| URI | m2://inv/PP17WYXCS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#2WTX, Lietz (statement). In XJ59TDP4HA/e1, theorem 4.14
History
- 2026-10-28: add by m2/v0.4.2
Examples PP187PHY2A
| URI | m2://inv/PP187PHY2A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Serre theory#X4LL, Examples (example)
History
- 2026-11-02: add by m2/dev
PP1BV2F4S2 PP1BV2F4S2
| URI | m2://inv/PP1BV2F4S2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.15385#EZJE (statement). In HBZXCMYPME/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
PP1J8B6HAX PP1J8B6HAX
| URI | m2://inv/PP1J8B6HAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.06555#NL8Z (statement). In 5GDDS20Q3D/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
PP1PYCZ9ER PP1PYCZ9ER
| URI | m2://inv/PP1PYCZ9ER |
|---|---|
| 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 2212.11038#OYMF (statement). In M3E3ARMJXK/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
equivariant Lipschitz tubular retraction PP1XC04RRN
| URI | m2://inv/PP1XC04RRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#UQ1T, equivariant Lipschitz tubular retraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
PP1Z5QD7B4 PP1Z5QD7B4
| URI | m2://inv/PP1Z5QD7B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#904I (statement). In Y1K8WE4MDP/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.10
Ecological study PP1ZG14M9C
| URI | m2://inv/PP1ZG14M9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LNY0, Ecological study (definition)
History
- 2026-11-02: add by m2/dev
Longest increasing subsequence PP295R2ZTP
| URI | m2://inv/PP295R2ZTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest increasing subsequence, Longest increasing subsequence (definition). Also Wikidata Q4183855
History
- 2026-11-02: add by m2/dev
Gustave Dumas PP296FWAWS
| URI | m2://inv/PP296FWAWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustave Dumas, Gustave Dumas (topic). Also Wikidata Q37728185
History
- 2026-11-02: add by m2/dev
PP2FXF9WR1 PP2FXF9WR1
| URI | m2://inv/PP2FXF9WR1 |
|---|---|
| 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.09483#4993 (statement). In N1MQ8F9JN6/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Order-6 apeirogonal tiling PP2H583MYZ
| URI | m2://inv/PP2H583MYZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 apeirogonal tiling, Order-6 apeirogonal tiling (object). Also Wikidata Q48783997
History
- 2026-11-02: add by m2/dev
Applications PP2H7Z2WHR
| URI | m2://inv/PP2H7Z2WHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant of motion#T077, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties of the cotangent complex PP2TGHN8R9
| URI | m2://inv/PP2TGHN8R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent complex#WA7C, Properties of the cotangent complex (statement)
History
- 2026-11-02: add by m2/dev
PP2TVWHZEE PP2TVWHZEE
| URI | m2://inv/PP2TVWHZEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#U43E (statement)
History
- 2026-11-01: add by m2/v0.6.15
PP2WFQMWTE PP2WFQMWTE
| URI | m2://inv/PP2WFQMWTE |
|---|---|
| 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.24795#LV0J (statement)
History
- 2026-11-01: add by m2/v0.6.15
PP2XXDTPAN PP2XXDTPAN
| URI | m2://inv/PP2XXDTPAN |
|---|---|
| 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.39449#L7DC (statement). In GWC70X14RG/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
PP30RWG0K2 PP30RWG0K2
| URI | m2://inv/PP30RWG0K2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#ZAAR (statement). In FR51ART4NF/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
PP31F7BMBH PP31F7BMBH
| URI | m2://inv/PP31F7BMBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#6TTD (statement)
History
- 2026-11-01: add by m2/v0.6.15
sentences PP31R3SGMP
| URI | m2://inv/PP31R3SGMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#5M8V, sentences (definition)
History
- 2026-11-02: add by m2/dev
PP3E62JJ4W PP3E62JJ4W
| URI | m2://inv/PP3E62JJ4W |
|---|---|
| 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.19852#X5FE (statement). In SPW2D8X2PG/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
convertibility of terms PP3ETZ0K7M
| URI | m2://inv/PP3ETZ0K7M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/convertibility-of-terms, convertibility of terms (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Joan Birman PP3GDTSSCF
| URI | m2://inv/PP3GDTSSCF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QGUN, Joan Birman (topic)
History
- 2026-11-02: add by m2/dev
Big q-Laguerre polynomials PP3KCJW9PB
| URI | m2://inv/PP3KCJW9PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big q-Laguerre polynomials, Big q-Laguerre polynomials (definition). Also Wikidata Q4906759
History
- 2026-11-02: add by m2/dev
PP3MW8V25Z PP3MW8V25Z
| URI | m2://inv/PP3MW8V25Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#L5I7 (statement). In 66H5YPQCYV/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Examples PP40R8Z0FZ
| URI | m2://inv/PP40R8Z0FZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlocal operator#WGRD, Examples (example)
History
- 2026-11-02: add by m2/dev
Hubble–Lemaître law PP41BBZ8N1
| URI | m2://inv/PP41BBZ8N1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q179916, Hubble–Lemaître law (unknown). Also nLab Hubble's law
- wikipedia: Wikipedia Hubble's law, Hubble's law (statement). Also Wikidata Q179916
History
- 2026-10-26: add by m2/dev
Young's lattice PP45X42VWS
| URI | m2://inv/PP45X42VWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#VTK1, Young's lattice (definition)
History
- 2026-11-02: add by m2/dev
Ratio test for sequences PP47HE0QKZ
| URI | m2://inv/PP47HE0QKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#seq:ratiotest, Ratio test for sequences (statement). In E59CDZA4DP, lemma, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
Oscillatory Cauchy transforms with half a derivative PP4B85PFZT
| URI | m2://inv/PP4B85PFZT |
|---|---|
| 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.13753#66NL, Oscillatory Cauchy transforms with half a derivative (statement). In AHM0PBKZZN/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Definitions PP4GC24TXE
| URI | m2://inv/PP4GC24TXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical test theory#D2MZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
PP4W3BBSJM PP4W3BBSJM
| URI | m2://inv/PP4W3BBSJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2508.21045#GTVG (statement). In CGA36VE1C5/e1, lemma 10.1.1
History
- 2026-10-27: add by m2/v0.3.6
weakly linear order PP52V8KKZS
| URI | m2://inv/PP52V8KKZS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/weakly-linear-order, weakly linear order (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Petr Hořava PP576PW9Z9
| URI | m2://inv/PP576PW9Z9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#LT9P, Petr Hořava (unknown)
History
- 2026-11-02: add by m2/dev
PP5CM55NYX PP5CM55NYX
| URI | m2://inv/PP5CM55NYX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-24 (proof). In VNMV985MXX, proof, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
PP5JAAC6F7 PP5JAAC6F7
| URI | m2://inv/PP5JAAC6F7 |
|---|---|
| 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 2502.08738#TCDC (example). In 9GMTVSTAVN/e1, example 5
History
- 2026-10-27: add by m2/v0.3.5
PP5Y3GT46T PP5Y3GT46T
| URI | m2://inv/PP5Y3GT46T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#WRB7 (statement). In SD43497T8C/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Bondareva–Shapley theorem PP640W8H56
| URI | m2://inv/PP640W8H56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1W56, Bondareva–Shapley theorem (statement)
History
- 2026-11-02: add by m2/dev
List of dimensionless quantities PP67CG6QGY
| URI | m2://inv/PP67CG6QGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dimensionless quantities, List of dimensionless quantities (topic). Also Wikidata Q25303659
History
- 2026-11-02: add by m2/dev
Identity link PP6BKE7V5Y
| URI | m2://inv/PP6BKE7V5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized linear model#4719, Identity link (statement)
History
- 2026-11-02: add by m2/dev
Contracted Bianchi identities PP6JQB65A0
| URI | m2://inv/PP6JQB65A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contracted Bianchi identities, Contracted Bianchi identities (definition). Also Wikidata Q54833676
History
- 2026-11-02: add by m2/dev
Reformulations of the twin-prime conjecture PP6NSCADKN
| URI | m2://inv/PP6NSCADKN |
|---|---|
| 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.13365#RWWU, Reformulations of the twin-prime conjecture (statement). In YMBTSX10FF/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.2
PP6RDX3CQ1 PP6RDX3CQ1
| URI | m2://inv/PP6RDX3CQ1 |
|---|---|
| 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.38772#VM4E (statement). In 1C3R5NAQAP/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
Jan Koenderink PP7EQHH55F
| URI | m2://inv/PP7EQHH55F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Koenderink, Jan Koenderink (topic). Also Wikidata Q21594960
History
- 2026-11-02: add by m2/dev
PP7Y6VV3N5 PP7Y6VV3N5
| URI | m2://inv/PP7Y6VV3N5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-3 (example). In PKGMM3P5QY, ex, section 15.7
History
- 2026-11-01: add by m2/v0.6.13
PP88PD1VBR PP88PD1VBR
| URI | m2://inv/PP88PD1VBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#D7VT (statement). In 5E9G06XJKC/e1, lemma F.37
History
- 2026-10-28: add by m2/v0.4.2
Definitions PP8AR9G2BG
| URI | m2://inv/PP8AR9G2BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonoid#2I4P, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Mixed contraction PP8B2TVJ99
| URI | m2://inv/PP8B2TVJ99 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#BI7C, Mixed contraction (definition). In MS13WE3CSD/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Application of Hotelling's lemma PP8JJEBBCF
| URI | m2://inv/PP8JJEBBCF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hotelling's lemma#UJZS, Application of Hotelling's lemma (example)
History
- 2026-11-02: add by m2/dev
PP8Y5DP423 PP8Y5DP423
| URI | m2://inv/PP8Y5DP423 |
|---|---|
| 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 2205.06433#E1BB (statement). In 628PJKD3EV/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
PP978F4CHE PP978F4CHE
| URI | m2://inv/PP978F4CHE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-2.xml#activity-3 (exercise). In 649HGZKE96, activity, section 5.2.3
History
- 2026-11-01: add by m2/v0.6.13
PP98Z75M4Q PP98Z75M4Q
| URI | m2://inv/PP98Z75M4Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#MQS7 (definition). In KBH265QSBT/e1, definition 8.8
History
- 2026-10-29: add by m2/v0.4.10
John Dalgleish Donaldson PP9ASHHDTR
| URI | m2://inv/PP9ASHHDTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#12KZ, John Dalgleish Donaldson (unknown)
History
- 2026-11-02: add by m2/dev
Statement PP9C9VC6Q5
| URI | m2://inv/PP9C9VC6Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reiss relation#DQBL, Statement (statement)
History
- 2026-11-02: add by m2/dev
Erdős–Ko–Rado theorem PP9FHWXDNA
| URI | m2://inv/PP9FHWXDNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OO21, Erdős–Ko–Rado theorem (statement)
History
- 2026-11-02: add by m2/dev
PP9GAGTSJ4 PP9GAGTSJ4
| URI | m2://inv/PP9GAGTSJ4 |
|---|---|
| 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.07049#S7KM (statement). In GMF552ESG6/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
Statement PP9JW3ZQDD
| URI | m2://inv/PP9JW3ZQDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Favard's theorem#6AZZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Adele Merritt PP9YQP9TC4
| URI | m2://inv/PP9YQP9TC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele Merritt, Adele Merritt (topic). Also Wikidata Q102260986
History
- 2026-11-02: add by m2/dev
PPA04M1KYV PPA04M1KYV
| URI | m2://inv/PPA04M1KYV |
|---|---|
| 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 2609.36045#FPWG (statement). In F0E8YBV0Z0/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Application PPA1K11BN8
| URI | m2://inv/PPA1K11BN8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief structure#OLOD, Application (example)
History
- 2026-11-02: add by m2/dev
M. Vali Siadat PPA6C3QJJ2
| URI | m2://inv/PPA6C3QJJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#8AUG, M. Vali Siadat (topic)
History
- 2026-11-02: add by m2/dev
Jacobi field PPAM1Z5ANN
| URI | m2://inv/PPAM1Z5ANN |
|---|---|
| Kind | definition |
| 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 2610.17004#FI32, Jacobi field (definition). In XNJGNMS6H0/e1, definition B.10
History
- 2026-10-28: add by m2/v0.4.2
Application PPAN9S48KJ
| URI | m2://inv/PPAN9S48KJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional differential equation#73NV, Application (example)
History
- 2026-11-02: add by m2/dev
Fallacy of the undistributed middle PPANJM4M4Q
| URI | m2://inv/PPANJM4M4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of the undistributed middle, Fallacy of the undistributed middle (definition). Also Wikidata Q2893770
History
- 2026-11-02: add by m2/dev
COST Hata model PPAZC5N6MK
| URI | m2://inv/PPAZC5N6MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COST Hata model, COST Hata model (definition). Also Wikidata Q5013523
History
- 2026-11-02: add by m2/dev
5900 PPB11NAXRD
| URI | m2://inv/PPB11NAXRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5000 (number)#91C5, 5900 (unknown)
History
- 2026-11-02: add by m2/dev
PPB6RG9S4D PPB6RG9S4D
| URI | m2://inv/PPB6RG9S4D |
|---|---|
| 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#NIGU (statement). In 12JKZ8EN52/e1, proposition 8.24
History
- 2026-10-27: add by m2/v0.3.5
Evdokimov's algorithm PPBBCXJ7S8
| URI | m2://inv/PPBBCXJ7S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evdokimov's algorithm, Evdokimov's algorithm (definition). Also Wikidata Q65091551
History
- 2026-11-02: add by m2/dev
David Kinderlehrer PPBMBB63E7
| URI | m2://inv/PPBMBB63E7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Kinderlehrer, David Kinderlehrer (topic). Also Wikidata Q14912007
History
- 2026-11-02: add by m2/dev
PPBP1P5ZBT PPBP1P5ZBT
| URI | m2://inv/PPBP1P5ZBT |
|---|---|
| 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 1809.06512#4KF2 (statement). In RY2X22P6XW/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Previous methods within a OT framework PPBVFKMJKS
| URI | m2://inv/PPBVFKMJKS |
|---|---|
| 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.01199#WHFO, Previous methods within a OT framework (statement). In XZ4MRWR77Q/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Applications PPC3J2RDFZ
| URI | m2://inv/PPC3J2RDFZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal string#VBV4, Applications (example)
History
- 2026-11-02: add by m2/dev
Fish Tank (thought experiment) PPC46R23GN
| URI | m2://inv/PPC46R23GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital Morse theory#QSDJ, Fish Tank (thought experiment) (unknown)
History
- 2026-11-02: add by m2/dev
Pedometric mapping PPC5JZ4PX3
| URI | m2://inv/PPC5JZ4PX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#55W7, Pedometric mapping (definition)
History
- 2026-11-02: add by m2/dev
PPCCC1TESA PPCCC1TESA
| URI | m2://inv/PPCCC1TESA |
|---|---|
| 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.23341#NX5P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dimensions 16 to 20 and 22 PPCCZBJFYY
| URI | m2://inv/PPCCZBJFYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#4XS1, Dimensions 16 to 20 and 22 (statement)
History
- 2026-11-02: add by m2/v0.6.17
PPCR1KBTRQ PPCR1KBTRQ
| URI | m2://inv/PPCR1KBTRQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Examples PPCSMH56RH
| URI | m2://inv/PPCSMH56RH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic problems on convex sets#C0LP, Examples (example)
History
- 2026-11-02: add by m2/dev
Affine Hessian addition laws PPCSXH2RSH
| URI | m2://inv/PPCSXH2RSH |
|---|---|
| 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#QNKI, Affine Hessian addition laws (statement). In 88GEN3Z5VG/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.10
Schmudgen Positivstellensatz PPCYES0KB9
| URI | m2://inv/PPCYES0KB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krivine–Stengle Positivstellensatz#ODK2, Schmudgen Positivstellensatz (unknown)
History
- 2026-11-02: add by m2/dev
orthogonal, with respect to a weight PPD4Q3MPHB
| URI | m2://inv/PPD4Q3MPHB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.1.2/orthogonal-with-respect-to-a-weight, orthogonal, with respect to a weight (concept). In E9HS8K3A52, index, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
PPD8101X5G PPD8101X5G
| URI | m2://inv/PPD8101X5G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-10 (example). In RZP28ERRZV, example, section 21.5
History
- 2026-11-01: add by m2/v0.6.13
rank of a set of vectors PPD8B9SMA1
| URI | m2://inv/PPD8B9SMA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > rank of a set of vectors, rank of a set of vectors (unknown). Also Mathlib Set.finrank
History
- 2026-10-26: add by m2/dev
Examples PPD9BNGT92
| URI | m2://inv/PPD9BNGT92 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient stack#DX8D, Examples (example)
History
- 2026-11-02: add by m2/dev
PPDBQ02A99 PPDBQ02A99
| URI | m2://inv/PPDBQ02A99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2407.07642#X5FG (statement). In 27HQYN07NQ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
Enigma PPDFTV4EWN
| URI | m2://inv/PPDFTV4EWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#IKEI, Enigma (unknown)
History
- 2026-11-02: add by m2/dev
PPE38ERQ2M PPE38ERQ2M
| URI | m2://inv/PPE38ERQ2M |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#5OWJ (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Weierstrass PPE3PXXPRJ
| URI | m2://inv/PPE3PXXPRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#49V3, Weierstrass (definition)
History
- 2026-11-02: add by m2/dev
PPEA626E71 PPEA626E71
| URI | m2://inv/PPEA626E71 |
|---|---|
| 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 2609.33651#SS53 (statement). In 69DBD2HKGK/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
PPEEV0DZD9 PPEEV0DZD9
| URI | m2://inv/PPEEV0DZD9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 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.23469#268N (definition)
History
- 2026-11-02: add by m2/v0.6.17
Larson--Li--Payne--Proudfoot PPEMHT84E0
| URI | m2://inv/PPEMHT84E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#V0SQ, Larson--Li--Payne--Proudfoot (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples PPESMQM1JS
| URI | m2://inv/PPESMQM1JS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial set#JRAA, Examples (example)
History
- 2026-11-02: add by m2/dev
Orthogonal complement PPEXXYVRYZ
| URI | m2://inv/PPEXXYVRYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#WBYC, Orthogonal complement (definition)
History
- 2026-11-02: add by m2/dev
Definition PPEZT0E96W
| URI | m2://inv/PPEZT0E96W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comma category#Q0JH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example PPF1KXG43F
| URI | m2://inv/PPF1KXG43F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis#MMPX, Example (example)
History
- 2026-11-02: add by m2/dev
PPF29QD577 PPF29QD577
| URI | m2://inv/PPF29QD577 |
|---|---|
| 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.23287#MX84 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hyperbolic discounting PPF6BE645V
| URI | m2://inv/PPF6BE645V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#3V4D, Hyperbolic discounting (unknown)
History
- 2026-11-02: add by m2/dev
PPF86HNHMN PPF86HNHMN
| URI | m2://inv/PPF86HNHMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#3TQQ (statement). In CHC3T113Y4/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
PPFD4SKRXQ PPFD4SKRXQ
| URI | m2://inv/PPFD4SKRXQ |
|---|---|
| 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.39307#0OH5 (statement). In QFBGPGRP1P/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Smooth cluster packet PPFGDZN4QR
| URI | m2://inv/PPFGDZN4QR |
|---|---|
| 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.27813#C72X, Smooth cluster packet (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications PPFJXTW2T8
| URI | m2://inv/PPFJXTW2T8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirror symmetry (string theory)#I3DI, Applications (example)
History
- 2026-11-02: add by m2/dev
Complementary error function PPFM517T5E
| URI | m2://inv/PPFM517T5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#X25M, Complementary error function (definition)
History
- 2026-11-02: add by m2/dev
PPFRMD5130 PPFRMD5130
| URI | m2://inv/PPFRMD5130 |
|---|---|
| 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 2411.05198#H28E (statement). In NJWY6HPFHG/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
environmental economics PPFSAY0QQE
| URI | m2://inv/PPFSAY0QQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 91B76 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q753291, environmental economics (topic)
History
- 2026-10-26: add by m2/dev
Generalized semi-infinite programming PPFT93MF4G
| URI | m2://inv/PPFT93MF4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#DERO, Generalized semi-infinite programming (definition)
History
- 2026-11-02: add by m2/dev
PPFTYCC28J PPFTYCC28J
| URI | m2://inv/PPFTYCC28J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-5.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 2.5.3
History
- 2026-11-01: add by m2/v0.6.13
Properties PPFYCBJHWF
| URI | m2://inv/PPFYCBJHWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiconformal mapping#F62O, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dual linear program PPFZVMG3EN
| URI | m2://inv/PPFZVMG3EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual linear program, Dual linear program (definition). Also Wikidata Q910436
History
- 2026-11-02: add by m2/dev
Uniformization theorem PPG9BK9GTK
| URI | m2://inv/PPG9BK9GTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#V89U, Uniformization theorem (statement)
History
- 2026-11-02: add by m2/dev
chromatic index PPGEEFH3MM
| URI | m2://inv/PPGEEFH3MM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.4.2/chromatic-index, chromatic index (concept). In Y91XFCEVHQ, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
Explicit odd-alphabet indistinguishability PPGHRQ6855
| URI | m2://inv/PPGHRQ6855 |
|---|---|
| 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 2609.38228#PL1V, Explicit odd-alphabet indistinguishability (statement). In 9YAE8FNQST/e1, theorem 31.10
History
- 2026-10-30: add by m2/v0.4.12
$\eps$-enclosures are provable PPGJ3629R0
| URI | m2://inv/PPGJ3629R0 |
|---|---|
| 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 2506.08233#4DTH, $\eps$-enclosures are provable (statement). In 2TXXQ2575Y/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
PPGJD1CSW5 PPGJD1CSW5
| URI | m2://inv/PPGJD1CSW5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#CAZ9 (definition). In BDN507RN7J/e1, definition 3.3.4
History
- 2026-10-30: add by m2/v0.4.12
PPGKNP1JS1 PPGKNP1JS1
| URI | m2://inv/PPGKNP1JS1 |
|---|---|
| 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.16203#JC7V (statement). In 43TBS9P2PX/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Theorem PPGQNCSMRP
| URI | m2://inv/PPGQNCSMRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#42FE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition PPGTHQY1BM
| URI | m2://inv/PPGTHQY1BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bispherical coordinates#D1M4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Iterated function system PPH5XEQ2PE
| URI | m2://inv/PPH5XEQ2PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated function system, Iterated function system (definition). Also Wikidata Q1502167
History
- 2026-11-02: add by m2/dev
Prime cofactors PPH60EH3QH
| URI | m2://inv/PPH60EH3QH |
|---|---|
| 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.15262#JBPQ, Prime cofactors (statement). In C44HVXWYRF/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
PPHB1CWCX1 PPHB1CWCX1
| URI | m2://inv/PPHB1CWCX1 |
|---|---|
| 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.31798#O25U (statement). In HPHBJ4Y04B/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
List of continents by GDP PPHBJSV7WT
| URI | m2://inv/PPHBJSV7WT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continents by GDP, List of continents by GDP (topic). Also Wikidata Q17090638
History
- 2026-11-02: add by m2/dev
PPHDW6FCPQ PPHDW6FCPQ
| URI | m2://inv/PPHDW6FCPQ |
|---|---|
| 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.32599#6PQY (statement). In E1Y93JNBJA/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
Diallo Sène PPHHPCV5HH
| URI | m2://inv/PPHHPCV5HH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diallo Sène, Diallo Sène (topic). Also Wikidata Q100233625
History
- 2026-11-02: add by m2/dev
Vectors in $W$ and $W^\perp$ PPHKJA13TY
| URI | m2://inv/PPHKJA13TY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#ula-proteus-6-2-intesectionorth-v1, Vectors in $W$ and $W^\perp$ (exercise). In 649HGZKE96, exercise, section 6.2.5
History
- 2026-11-01: add by m2/v0.6.13
PPHPKJ3KN7 PPHPKJ3KN7
| URI | m2://inv/PPHPKJ3KN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12481#FMFY (statement). In TD288AK3EJ/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
G PPHR02CQSY
| URI | m2://inv/PPHR02CQSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#JWKS, G (definition)
History
- 2026-11-02: add by m2/dev
PPHT4Z7AC9 PPHT4Z7AC9
| URI | m2://inv/PPHT4Z7AC9 |
|---|---|
| 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 2304.08149#N2OW (statement). In K16E32N55W/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
PPHZXZ304K PPHZXZ304K
| URI | m2://inv/PPHZXZ304K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_combinations.ptx#example-2 (example). In QKM9DD2H56, example, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Superellipse PPJ4QEM9VE
| URI | m2://inv/PPJ4QEM9VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#2VUV, Superellipse (definition)
- wikipedia: Wikipedia List of mathematical shapes#EF5U, Superellipse (definition)
- wikipedia: Wikipedia List of curves#QDWO, Superellipse (definition)
History
- 2026-11-02: add by m2/dev
PPJ59RG7MR PPJ59RG7MR
| URI | m2://inv/PPJ59RG7MR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#DDRV (statement). In R0Q0RV8XCF/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.2
PPJ7XEAZP8 PPJ7XEAZP8
| URI | m2://inv/PPJ7XEAZP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/relations.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 44.3
History
- 2026-11-01: add by m2/v0.6.13
path PPJB5DS4KR
| URI | m2://inv/PPJB5DS4KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#K9QR, path (definition)
History
- 2026-11-02: add by m2/dev
Genius PPJJ9KBK3J
| URI | m2://inv/PPJJ9KBK3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genius (mathematics software), Genius (definition). Also Wikidata Q4039330
History
- 2026-11-02: add by m2/dev
Generalizations PPJTY9DT9J
| URI | m2://inv/PPJTY9DT9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean Pythagorean triples problem#JL4P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Formal definition PPJXHENH46
| URI | m2://inv/PPJXHENH46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric relation#J3WB, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
PPK626CQ79 PPK626CQ79
| URI | m2://inv/PPK626CQ79 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#YN77 (definition). In X923ZEY423/e1, definition 1.5.1
History
- 2026-10-27: add by m2/v0.3.5
Properties PPKAMFAXKW
| URI | m2://inv/PPKAMFAXKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tiny Encryption Algorithm#ZBZU, Properties (statement)
History
- 2026-11-02: add by m2/dev
PPKD949TJ2 PPKD949TJ2
| URI | m2://inv/PPKD949TJ2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.05417#4CPR (example). In RGHZ863Q26/e1, example 1.3
History
- 2026-10-27: add by m2/v0.3.5
A two-step model, end to end PPKE4DPFV0
| URI | m2://inv/PPKE4DPFV0 |
|---|---|
| Kind | example |
| 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#Q0SI, A two-step model, end to end (example)
History
- 2026-11-01: add by m2/v0.6.15
Villarceau circles PPKGS1MW29
| URI | m2://inv/PPKGS1MW29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2510719, Villarceau circles (unknown). Also MathWorld VillarceauCircles
- wikipedia: Wikipedia Villarceau circles, Villarceau circles (definition). Also Wikidata Q2510719
History
- 2026-10-26: add by m2/dev
Ultrametric space PPKHN5A5FY
| URI | m2://inv/PPKHN5A5FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#GPYY, Ultrametric space (definition)
History
- 2026-11-02: add by m2/dev
PPKK0W831J PPKK0W831J
| URI | m2://inv/PPKK0W831J |
|---|---|
| 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.02628#QOGI (statement). In G4S9C5M1A4/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
PPKNQM79BH PPKNQM79BH
| URI | m2://inv/PPKNQM79BH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Fair Play For Women PPKQ6WTQ0B
| URI | m2://inv/PPKQ6WTQ0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2021–2022 United Kingdom censuses#KI1E, Fair Play For Women (unknown)
History
- 2026-11-02: add by m2/dev
PPKTP0QSF9 PPKTP0QSF9
| URI | m2://inv/PPKTP0QSF9 |
|---|---|
| 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.21645#3E0U (statement)
History
- 2026-11-02: add by m2/v0.6.18
PPM05X9X1W PPM05X9X1W
| URI | m2://inv/PPM05X9X1W |
|---|---|
| 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 2609.24701#9HL8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PPM0K2PC2E PPM0K2PC2E
| URI | m2://inv/PPM0K2PC2E |
|---|---|
| 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 2601.15403#JVBK (statement). In BSWNH3NW1M/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Continuous dual Hahn polynomials PPM2BDRAKD
| URI | m2://inv/PPM2BDRAKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn polynomials#8SJN, Continuous dual Hahn polynomials (unknown)
History
- 2026-11-02: add by m2/dev
PPM4CSDVRS PPM4CSDVRS
| URI | m2://inv/PPM4CSDVRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop:intervaldef (statement). In E59CDZA4DP, prop, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Examples PPM8F40ZDH
| URI | m2://inv/PPM8F40ZDH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphism group#W66T, Examples (example)
History
- 2026-11-02: add by m2/dev
Basic stability bounds PPMBMFEJQM
| URI | m2://inv/PPMBMFEJQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#58KI, Basic stability bounds (statement). In KCY80F2YGP/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
PPMCGAY6QB PPMCGAY6QB
| URI | m2://inv/PPMCGAY6QB |
|---|---|
| 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.40023#69PO (statement). In JW9ARS9AQE/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Applications PPMN4J6HMZ
| URI | m2://inv/PPMN4J6HMZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost sure hypothesis testing#5ZNA, Applications (example)
History
- 2026-11-02: add by m2/dev
PPMRJ5N6G0 PPMRJ5N6G0
| URI | m2://inv/PPMRJ5N6G0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
PPMV4SDVAF PPMV4SDVAF
| URI | m2://inv/PPMV4SDVAF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#GPJ5 (definition). In 2WZQC0TKVK/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
The pointwise stabilizer of \(E(G)\ PPN032D8K1
| URI | m2://inv/PPN032D8K1 |
|---|---|
| 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.14135#LP8P, The pointwise stabilizer of \(E(G)\ (statement). In C304J64Q79/e1, theorem 8.5
History
- 2026-10-28: add by m2/v0.4.2
PPN1DAENFY PPN1DAENFY
| URI | m2://inv/PPN1DAENFY |
|---|---|
| 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#GKCX (statement). In RK0JCSYK33/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Zhu algebra PPN5KKXAM5
| URI | m2://inv/PPN5KKXAM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhu algebra, Zhu algebra (definition). Also Wikidata Q123311680
History
- 2026-11-02: add by m2/dev
Examples PPN7CGJ10X
| URI | m2://inv/PPN7CGJ10X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawvere–Tierney topology#J8NE, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement of Büchi's problem PPN9NKWBRP
| URI | m2://inv/PPN9NKWBRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi's problem#WDBT, Statement of Büchi's problem (statement)
History
- 2026-11-02: add by m2/dev
PPNG1E0438 PPNG1E0438
| URI | m2://inv/PPNG1E0438 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13142#E70X (statement). In KYW4YMVQAB/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.2
Drucker–Prager yield criterion PPNH3GKTAP
| URI | m2://inv/PPNH3GKTAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drucker–Prager yield criterion, Drucker–Prager yield criterion (statement). Also Wikidata Q421507
History
- 2026-11-02: add by m2/dev
Lie quadric PPNNZK1Z8T
| URI | m2://inv/PPNNZK1Z8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie sphere geometry#RCUB, Lie quadric (unknown)
History
- 2026-11-02: add by m2/dev
Scale height PPNTW59QQ2
| URI | m2://inv/PPNTW59QQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale height, Scale height (definition). Also Wikidata Q548132
History
- 2026-11-02: add by m2/dev
Khmaladze, Estate V. PPNZSEZAK2
| URI | m2://inv/PPNZSEZAK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WGX8, Khmaladze, Estate V. (unknown)
History
- 2026-11-02: add by m2/dev
Datum reference PPP0Q9CXZ4
| URI | m2://inv/PPP0Q9CXZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Datum reference, Datum reference (definition). Also Wikidata Q1047519
History
- 2026-11-02: add by m2/dev
PPP4VP4BAR PPP4VP4BAR
| URI | m2://inv/PPP4VP4BAR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#72BB (definition). In ESDKTYDHC8/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.12
PPP8C2GS68 PPP8C2GS68
| URI | m2://inv/PPP8C2GS68 |
|---|---|
| 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 1310.6698#XIN0 (statement). In 7AQ7DMNZEY/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
PPP9QB2NN9 PPP9QB2NN9
| URI | m2://inv/PPP9QB2NN9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#ex-1 (example). In PKGMM3P5QY, ex, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
less-equal sign PPPF9Q7D5K
| URI | m2://inv/PPPF9Q7D5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#UQCL, less-equal sign (definition)
History
- 2026-11-02: add by m2/dev
Semantic --- \textsc{Subsump PPPQEW8BVF
| URI | m2://inv/PPPQEW8BVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#JW7J, Semantic --- \textsc{Subsump (statement). In CPYWHRTPKC/e1, lemma 7.46
History
- 2026-10-27: add by m2/v0.4.2
(smooth) direct sum of vector bundles PPPR5QPV8Z
| URI | m2://inv/PPPR5QPV8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) direct sum of vector bundles, (smooth) direct sum of vector bundles (unknown). Also Mathlib Bundle.Prod.contMDiffVectorBundle
History
- 2026-10-26: add by m2/dev
PPPXBSBS85 PPPXBSBS85
| URI | m2://inv/PPPXBSBS85 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22784#NKCK (definition)
History
- 2026-11-02: add by m2/v0.6.17
PPQ0F4P7C0 PPQ0F4P7C0
| URI | m2://inv/PPQ0F4P7C0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-55 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
PPQ2M88506 PPQ2M88506
| URI | m2://inv/PPQ2M88506 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor-9 (statement). In VNMV985MXX, cor, section E.2
History
- 2026-11-01: add by m2/v0.6.13
28 PPQ6C9CRA3
| URI | m2://inv/PPQ6C9CRA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 28 (number), 28 (definition). Also Wikidata Q587465
History
- 2026-11-02: add by m2/dev
PPQ6DPQ84S PPQ6DPQ84S
| URI | m2://inv/PPQ6DPQ84S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.24545#5LG9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
PPQ6JG01HF PPQ6JG01HF
| URI | m2://inv/PPQ6JG01HF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#I9B4 (statement). In 986DENWM1D/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
Applications PPQBWG7Y54
| URI | m2://inv/PPQBWG7Y54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval estimation#M60C, Applications (example)
History
- 2026-11-02: add by m2/dev
Rosalind Tanner PPQC1HB5R3
| URI | m2://inv/PPQC1HB5R3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#VZGV, Rosalind Tanner (unknown)
History
- 2026-11-02: add by m2/dev
Transform, clipping, and lighting PPQJ2KSSJM
| URI | m2://inv/PPQJ2KSSJM |
|---|---|
| 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#95GH, Transform, clipping, and lighting (unknown)
History
- 2026-11-02: add by m2/dev
Boughattas PPQKATA1XX
| URI | m2://inv/PPQKATA1XX |
|---|---|
| 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 1003.2117#66UU, Boughattas (statement). In H4D4RFNH2V/e1, theorem 3.15
History
- 2026-10-27: add by m2/v0.3.5
PPQNHHWC9E PPQNHHWC9E
| URI | m2://inv/PPQNHHWC9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#4HZQ (statement). In M98F6VRPZ2/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Applications PPQNV506B1
| URI | m2://inv/PPQNV506B1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-glacial rebound#D1R0, Applications (example)
History
- 2026-11-02: add by m2/dev
Cryptanalysis PPQPXQRX6C
| URI | m2://inv/PPQPXQRX6C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#J3Z4, Cryptanalysis (topic)
History
- 2026-11-02: add by m2/dev
PPQSCPQXJP PPQSCPQXJP
| URI | m2://inv/PPQSCPQXJP |
|---|---|
| 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.10773#1WWE (statement). In 744Y8ZPEV7/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Pannonia Prima PPQVJJEEVV
| URI | m2://inv/PPQVJJEEVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#E4TJ, Pannonia Prima (unknown)
History
- 2026-11-02: add by m2/dev
Sense of smell PPQYCJQWW2
| URI | m2://inv/PPQYCJQWW2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#65DM, Sense of smell (unknown)
History
- 2026-11-02: add by m2/dev
unigraph PPR8RWD6XW
| URI | m2://inv/PPR8RWD6XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130473407, unigraph (unknown). Also MathWorld UnigraphicGraph
- wikipedia: Wikipedia Unigraph, Unigraph (definition). Also Wikidata Q130473407
History
- 2026-10-26: add by m2/dev
PPR9F82VE2 PPR9F82VE2
| URI | m2://inv/PPR9F82VE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#51MO (statement). In 6WJ0R9YEBR/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
Pinwheel scheduling PPRCER1FS8
| URI | m2://inv/PPRCER1FS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinwheel scheduling, Pinwheel scheduling (definition). Also Wikidata Q65077715
History
- 2026-11-02: add by m2/dev
Example PPRH85X4SM
| URI | m2://inv/PPRH85X4SM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quater-imaginary base#VQU8, Example (example)
History
- 2026-11-02: add by m2/dev
PPRKMXFV8A PPRKMXFV8A
| URI | m2://inv/PPRKMXFV8A |
|---|---|
| Kind | example |
| 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.36811#52LN (example). In ZQDX8E43SQ/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
PPRN7F1D27 PPRN7F1D27
| URI | m2://inv/PPRN7F1D27 |
|---|---|
| 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 2306.00212#TA3X (statement). In C9GG9C1X65/e1, lemma 24
History
- 2026-10-27: add by m2/v0.3.5
PPRR3K6MNG PPRR3K6MNG
| URI | m2://inv/PPRR3K6MNG |
|---|---|
| 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 2409.03423#OP1Q (statement). In 8C5YCMN81V/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Formal definition PPRRD6HC6S
| URI | m2://inv/PPRRD6HC6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#KA4K, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
PPRX91XMVP PPRX91XMVP
| URI | m2://inv/PPRX91XMVP |
|---|---|
| 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.39103#3KLP (statement). In VGB0N93ES8/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Osculating plane PPS2SQY67D
| URI | m2://inv/PPS2SQY67D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#ZXP0, Osculating plane (definition)
History
- 2026-11-02: add by m2/dev
PPS4XEQ7DD PPS4XEQ7DD
| URI | m2://inv/PPS4XEQ7DD |
|---|---|
| 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#VIDH (statement). In RBBF0XNZ5E/e1, lemma 30
History
- 2026-10-27: add by m2/v0.3.5
Parabolic theorem on sums PPS6T1F1AV
| URI | m2://inv/PPS6T1F1AV |
|---|---|
| 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.21732#JC1B, Parabolic theorem on sums (statement). In 6DJDRXDQNB/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
PPS6T7GEMG PPS6T7GEMG
| URI | m2://inv/PPS6T7GEMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#B4MP (statement). In XHSKEPT3VD/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Roland Dobrushin PPSDMMFG2E
| URI | m2://inv/PPSDMMFG2E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roland Dobrushin, Roland Dobrushin (topic). Also Wikidata Q381357
History
- 2026-11-02: add by m2/dev
PPSK70WQ0S PPSK70WQ0S
| URI | m2://inv/PPSK70WQ0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#PL9U (statement). In GMRT5GHBZS/e1, theorem 6.5
History
- 2026-10-29: add by m2/v0.4.10
PPSKA3QXP7 PPSKA3QXP7
| URI | m2://inv/PPSKA3QXP7 |
|---|---|
| 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#G8WJ (statement). In DPJ15KW23C/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
PPSRJJ17XQ PPSRJJ17XQ
| URI | m2://inv/PPSRJJ17XQ |
|---|---|
| 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.14318#1RUA (statement). In HA4SZZJ831/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
PPSSVVMHF7 PPSSVVMHF7
| URI | m2://inv/PPSSVVMHF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#PCOI (statement). In 9ZD87293QS/e1, corollary 3.14
History
- 2026-10-27: add by m2/v0.4.0
PPSZ7Y997P PPSZ7Y997P
| URI | m2://inv/PPSZ7Y997P |
|---|---|
| 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.20010#NNPP (statement). In AK2DV65PRT/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.4.2
PPSZ8EQ4S7 PPSZ8EQ4S7
| URI | m2://inv/PPSZ8EQ4S7 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#XI2Z (conjecture). In 3KTZ6Z615H/e1, conjecture 8.2
History
- 2026-10-30: add by m2/v0.4.12
PPT00Y83ZR PPT00Y83ZR
| URI | m2://inv/PPT00Y83ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#Q8BB (statement). In 7CK21JGM5A/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
Psychiatric genetics PPT0V5F6AM
| URI | m2://inv/PPT0V5F6AM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychiatric genetics, Psychiatric genetics (definition). Also Wikidata Q7256235
History
- 2026-11-02: add by m2/dev
Definition PPT320PX1N
| URI | m2://inv/PPT320PX1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius manifold#8EX9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Circular segment PPT3QNDP65
| URI | m2://inv/PPT3QNDP65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#S28P, Circular segment (definition)
- wikipedia: Wikipedia List of mathematical shapes#FP9L, Circular segment (definition)
History
- 2026-11-02: add by m2/dev
PPT3RW9T28 PPT3RW9T28
| URI | m2://inv/PPT3RW9T28 |
|---|---|
| Kind | definition |
| 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.07190#34KJ (definition). In ZWS6Q4467X/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Formula Size and Restrictions PPT6WNYJ21
| URI | m2://inv/PPT6WNYJ21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bella Subbotovskaya#85YZ, Formula Size and Restrictions (statement)
History
- 2026-11-02: add by m2/dev
Touching lattices PPTA03WRTN
| URI | m2://inv/PPTA03WRTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#SR97, Touching lattices (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riesz representation; Lemma S3.1 PPTDC8BDXX
| URI | m2://inv/PPTDC8BDXX |
|---|---|
| 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 2102.11076#Y2YJ, Riesz representation; Lemma S3.1 (statement). In T9HZXHTQBJ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
The Atiyah–Bott formula PPTJGEJ81R
| URI | m2://inv/PPTJGEJ81R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli stack of principal bundles#JN1C, The Atiyah–Bott formula (statement)
History
- 2026-11-02: add by m2/dev
Gap metric PPTJYN8YET
| URI | m2://inv/PPTJYN8YET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gap metric, Gap metric (definition). Also Wikidata Q137377077
History
- 2026-11-02: add by m2/dev
PPTJZMRY3E PPTJZMRY3E
| URI | m2://inv/PPTJZMRY3E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#KQE3 (definition). In XHSKEPT3VD/e1, definition 7.2
History
- 2026-10-28: add by m2/v0.4.2
Huzurbazar, Snehalata V. PPTNGMG8NA
| URI | m2://inv/PPTNGMG8NA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#U7OI, Huzurbazar, Snehalata V. (topic)
History
- 2026-11-02: add by m2/dev
PPTNX93025 PPTNX93025
| URI | m2://inv/PPTNX93025 |
|---|---|
| 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 2011.08789#FAOL (statement). In 43AGRMP7T3/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.3.5
Journal of Modern Applied Statistical Methods PPTQCBCDXE
| URI | m2://inv/PPTQCBCDXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Modern Applied Statistical Methods, Journal of Modern Applied Statistical Methods (definition). Also Wikidata Q6295585
History
- 2026-11-02: add by m2/dev
A modification PPTT5YH2Z2
| URI | m2://inv/PPTT5YH2Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#30ME, A modification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Laguerre transform PPTY8119HB
| URI | m2://inv/PPTY8119HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#OZKJ, Laguerre transform (definition)
History
- 2026-11-02: add by m2/dev
Definition PPV31PZ3G8
| URI | m2://inv/PPV31PZ3G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximising measure#A1E5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem PPV661VBYM
| URI | m2://inv/PPV661VBYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular semigroup#SFAD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
List of things named after Charles Hermite PPVBTMZ80B
| URI | m2://inv/PPVBTMZ80B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite, List of things named after Charles Hermite (topic). Also Wikidata Q51845260
History
- 2026-11-02: add by m2/dev
Egerváry's theorem for edge-weighted graphs PPVDFZSC1V
| URI | m2://inv/PPVDFZSC1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (graph theory)#XKXC, Egerváry's theorem for edge-weighted graphs (statement)
History
- 2026-11-02: add by m2/dev
PPVFASPPF9 PPVFASPPF9
| URI | m2://inv/PPVFASPPF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#47TQ (statement). In H3FDP8S1Z7/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Aggregative game PPVFWA33WJ
| URI | m2://inv/PPVFWA33WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregative game, Aggregative game (definition). Also Wikidata Q15079586
History
- 2026-11-02: add by m2/dev
PPVH9TDSQ7 PPVH9TDSQ7
| URI | m2://inv/PPVH9TDSQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#BN2U (statement)
History
- 2026-11-01: add by m2/v0.6.15
PPVHZW9RP3 PPVHZW9RP3
| URI | m2://inv/PPVHZW9RP3 |
|---|---|
| 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#3L2P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions PPW6JX39DK
| URI | m2://inv/PPW6JX39DK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Zurbenko filter#9RZO, Extensions (statement)
History
- 2026-11-02: add by m2/dev
PPWFY0DC82 PPWFY0DC82
| URI | m2://inv/PPWFY0DC82 |
|---|---|
| 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 2205.09049#1PGG (statement). In 37S7MNMZ2F/e1, corollary 53
History
- 2026-10-27: add by m2/v0.3.5
PPWK8R3GTY PPWK8R3GTY
| URI | m2://inv/PPWK8R3GTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#definition-3 (definition). In RZP28ERRZV, definition, section 91.2
History
- 2026-11-01: add by m2/v0.6.13
Meier Eidelheit PPWQAD7CHF
| URI | m2://inv/PPWQAD7CHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meier Eidelheit, Meier Eidelheit (topic). Also Wikidata Q16159699
History
- 2026-11-02: add by m2/dev
Flux balance analysis PPWR1EPY65
| URI | m2://inv/PPWR1EPY65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flux balance analysis, Flux balance analysis (definition). Also Wikidata Q5463029
History
- 2026-11-02: add by m2/dev
PPWXPXC4TC PPWXPXC4TC
| URI | m2://inv/PPWXPXC4TC |
|---|---|
| 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.21808#AA7Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robbins, Naomi PPX7CXR23D
| URI | m2://inv/PPX7CXR23D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#76HT, Robbins, Naomi (topic)
History
- 2026-11-02: add by m2/dev
PPXEKR47KZ PPXEKR47KZ
| URI | m2://inv/PPXEKR47KZ |
|---|---|
| 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.05652#M0NW (statement). In 8BNPFYQDQX/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
PPXST6K8GY PPXST6K8GY
| URI | m2://inv/PPXST6K8GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#159W (statement). In B9EX6K51RD/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
PPXY7YA09J PPXY7YA09J
| URI | m2://inv/PPXY7YA09J |
|---|---|
| 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.20513#NK0T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Larman--Rogers PPY35HWRTW
| URI | m2://inv/PPY35HWRTW |
|---|---|
| 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.15424#WBA8, Larman--Rogers (statement). In C4081PN64B/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Equidistant PPY3W9WAA4
| URI | m2://inv/PPY3W9WAA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistant, Equidistant (definition). Also Wikidata Q4386982
History
- 2026-11-02: add by m2/dev
Uniform twisted first moments PPY75HM556
| URI | m2://inv/PPY75HM556 |
|---|---|
| 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#T26N, Uniform twisted first moments (statement). In 3K84E4150C/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Density matrix renormalization group PPYEX99J42
| URI | m2://inv/PPYEX99J42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density matrix renormalization group, Density matrix renormalization group (definition). Also Wikidata Q5259335
History
- 2026-11-02: add by m2/dev
PPYFQ5KY6C PPYFQ5KY6C
| URI | m2://inv/PPYFQ5KY6C |
|---|---|
| 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#G699 (statement). In KS30K5JXGB/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Friedman PPYHR2N2XM
| URI | m2://inv/PPYHR2N2XM |
|---|---|
| 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 2209.00108#TVGO, Friedman (statement). In V2G422ZMPW/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Adjoint identities for Majorana quasiderivations PPYHVRKNTF
| URI | m2://inv/PPYHVRKNTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#APT3, Adjoint identities for Majorana quasiderivations (statement). In NAM9ZMPHZ9/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
Definition PPYMB63FKM
| URI | m2://inv/PPYMB63FKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular matroid#YRIT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hypercomplex analysis PPYPJ0RJZ3
| URI | m2://inv/PPYPJ0RJZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercomplex analysis, Hypercomplex analysis (topic). Also Wikidata Q5957897
History
- 2026-11-02: add by m2/dev
Compound of five cubohemioctahedra PPYPY56MYB
| URI | m2://inv/PPYPY56MYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HP5C, Compound of five cubohemioctahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#25WO, Compound of five cubohemioctahedra (definition)
History
- 2026-11-02: add by m2/dev
Summa de arithmetica PPYQ5A5A1Z
| URI | m2://inv/PPYQ5A5A1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summa de arithmetica, Summa de arithmetica (definition). Also Wikidata Q19321855
History
- 2026-11-02: add by m2/dev
Bounds on differences PPYR9VYXZ2
| URI | m2://inv/PPYR9VYXZ2 |
|---|---|
| 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 1905.02785#CSA6, Bounds on differences (statement). In PF9KV74Q02/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
PPYV79NX4Y PPYV79NX4Y
| URI | m2://inv/PPYV79NX4Y |
|---|---|
| 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.40023#N78G (statement). In JW9ARS9AQE/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Bishop-Gromov inequality PPYVVZ1ZDM
| URI | m2://inv/PPYVVZ1ZDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1A9W, Bishop-Gromov inequality (statement)
History
- 2026-11-02: add by m2/dev
local co-minimality to expansion PPZ1HF17NQ
| URI | m2://inv/PPZ1HF17NQ |
|---|---|
| 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.28028#82E3, local co-minimality to expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alperin-McKay conjecture PPZ2M68N7T
| URI | m2://inv/PPZ2M68N7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McKay conjecture#9G1S, Alperin-McKay conjecture (unknown)
History
- 2026-11-02: add by m2/dev
PPZ368SSPE PPZ368SSPE
| URI | m2://inv/PPZ368SSPE |
|---|---|
| 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.13513#FOYX (statement). In BAGX2TDXM4/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
PPZ45GHT6Q PPZ45GHT6Q
| URI | m2://inv/PPZ45GHT6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#C80X (statement). In GHKR740SG3/e1, theorem 3.11
History
- 2026-10-31: add by m2/v0.5.6
Kan complex PPZ7ESKSD8
| URI | m2://inv/PPZ7ESKSD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#FCW6, Kan complex (definition)
History
- 2026-11-02: add by m2/dev
Secret decoder ring PPZHQB2AF7
| URI | m2://inv/PPZHQB2AF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secret decoder ring, Secret decoder ring (definition). Also Wikidata Q3374970
History
- 2026-11-02: add by m2/dev
PPZJKKC0D0 PPZJKKC0D0
| URI | m2://inv/PPZJKKC0D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.20798#QGKK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Charles Napoleon Moore PPZWMDX8NY
| URI | m2://inv/PPZWMDX8NY |
|---|---|
| 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#QOP4, Charles Napoleon Moore (topic)
History
- 2026-11-02: add by m2/dev
Unitary two-point suborbits and the three-point orbit number PPZYN9WVKH
| URI | m2://inv/PPZYN9WVKH |
|---|---|
| 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.15340#IJCW, Unitary two-point suborbits and the three-point orbit number (statement). In 9NVKKW8HDH/e1, theorem 2.35
History
- 2026-10-28: add by m2/v0.4.2