Inventory rows CN
The cards of the rows of the inventory whose ids start with CN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Micha Perles CN06JA09MC
| URI | m2://inv/CN06JA09MC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EURY, Micha Perles (topic)
History
- 2026-11-02: add by m2/dev
Geary, Roy C. CN08HP121C
| URI | m2://inv/CN08HP121C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#26ZA, Geary, Roy C. (topic)
History
- 2026-11-02: add by m2/dev
First law CN0FYJTS6V
| URI | m2://inv/CN0FYJTS6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler's laws of planetary motion#IMSK, First law (statement)
History
- 2026-11-02: add by m2/dev
third fundamental form CN0NS2A168
| URI | m2://inv/CN0NS2A168 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25099907, third fundamental form (concept). Also MathWorld ThirdFundamentalForm
- wikipedia: Wikipedia Third fundamental form, Third fundamental form (definition). Also Wikidata Q25099907
History
- 2026-10-26: add by m2/dev
Proposition two CN0PZZ6KE4
| URI | m2://inv/CN0PZZ6KE4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurement of a Circle#84EH, Proposition two (statement)
History
- 2026-11-02: add by m2/dev
Isomorphism of Reeb graphs CN0TSM1A6T
| URI | m2://inv/CN0TSM1A6T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#DOKO, Isomorphism of Reeb graphs (definition). In ZJ6VQCRDVR/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.12
Anytime-valid type-I guarantee; Ville CN11AF3BJQ
| URI | m2://inv/CN11AF3BJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#Q4X9, Anytime-valid type-I guarantee; Ville (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example CN16VABA26
| URI | m2://inv/CN16VABA26 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose transform#HT1N, Example (example)
History
- 2026-11-02: add by m2/dev
Plücker's conoid CN19A4KXFE
| URI | m2://inv/CN19A4KXFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7205923, Plücker's conoid (unknown). Also MathWorld PlueckersConoid
- wikipedia: Wikipedia Plücker's conoid, Plücker's conoid (definition). Also Wikidata Q7205923
History
- 2026-10-26: add by m2/dev
totally positive matrix CN1B88K6E5
| URI | m2://inv/CN1B88K6E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Totally positive matrix 5GN0RYRVBA |
Mentions
- wikidata: Wikidata Q3893192, totally positive matrix (unknown). Also MathWorld TotallyPositiveMatrix, nLab totally positive matrix
- wikipedia: Wikipedia Totally positive matrix, Totally positive matrix (definition). Also Wikidata Q3893192
History
- 2026-10-26: add by m2/dev
Extended Grünbaum--Heppes--Straszewicz theorem, Theorem 7.1 CN1CPZG5HG
| URI | m2://inv/CN1CPZG5HG |
|---|---|
| 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.06340#RSBL, Extended Grünbaum--Heppes--Straszewicz theorem, Theorem 7.1 (statement). In PKNZPECH82/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
CN1HDC8SCS CN1HDC8SCS
| URI | m2://inv/CN1HDC8SCS |
|---|---|
| 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.17541#V5MX (statement). In 9PHDBFMHH6/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
CN1VQHA6GV CN1VQHA6GV
| URI | m2://inv/CN1VQHA6GV |
|---|---|
| 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.04876#VM6N (statement). In 2TNAKVC0YP/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
CN1Y96MJHX CN1Y96MJHX
| URI | m2://inv/CN1Y96MJHX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#investigation-2 (exercise). In Y91XFCEVHQ, investigation, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
CN21JBBKCX CN21JBBKCX
| URI | m2://inv/CN21JBBKCX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#T98W (definition). In Z1RZSF68XZ/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
CN23YN031N CN23YN031N
| URI | m2://inv/CN23YN031N |
|---|---|
| Kind | definition |
| 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.13429#SXH8 (definition). In B2VB5T5WQD/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Tauberian theorems CN2QAP971K
| URI | m2://inv/CN2QAP971K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Brendan Kennedy#HM5Q, Tauberian theorems (statement)
History
- 2026-11-02: add by m2/dev
CN2QZQYA0V CN2QZQYA0V
| URI | m2://inv/CN2QZQYA0V |
|---|---|
| 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.13556#RMCZ (statement). In 5ZB8N3YY72/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
disjunctive normal form CN2SAXWJ5G
| URI | m2://inv/CN2SAXWJ5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Disjunctive normal form 06S4WGSEQA |
Mentions
- wikidata: Wikidata Q903789, disjunctive normal form (unknown). Also MathWorld DisjunctiveNormalForm
- wikipedia: Wikipedia Disjunctive normal form, Disjunctive normal form (definition). Also Wikidata Q903789
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
McDiarmid's Inequality (Bennett form) CN2WXY6N5F
| URI | m2://inv/CN2WXY6N5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDiarmid's inequality#D89P, McDiarmid's Inequality (Bennett form) (statement)
History
- 2026-11-02: add by m2/dev
Laguerre I lower bidiagonal factors CN2ZCFPS8K
| URI | m2://inv/CN2ZCFPS8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#J2R6, Laguerre I lower bidiagonal factors (statement)
History
- 2026-11-01: add by m2/v0.6.15
CN3GWTA50H CN3GWTA50H
| URI | m2://inv/CN3GWTA50H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#YBFD (statement). In X1AGBB90EH/e1, lemma 7.23
History
- 2026-10-28: add by m2/v0.4.2
Modified Kumaraswamy distribution CN3VA4NM6F
| URI | m2://inv/CN3VA4NM6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Kumaraswamy distribution, Modified Kumaraswamy distribution (definition). Also Wikidata Q131007754
History
- 2026-11-02: add by m2/dev
Arkadi Nemirovski CN3Y3DKV0T
| URI | m2://inv/CN3Y3DKV0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4DJN, Arkadi Nemirovski (unknown)
History
- 2026-11-02: add by m2/dev
Polar Bear CN3Z86JT7B
| URI | m2://inv/CN3Z86JT7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar Bear (cipher), Polar Bear (definition). Also Wikidata Q7209007
History
- 2026-11-02: add by m2/dev
CN43XAJBR2 CN43XAJBR2
| URI | m2://inv/CN43XAJBR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#56KU (statement). In E7BPGPP9Z5/e1, theorem 6.9
History
- 2026-10-29: add by m2/v0.4.10
CN45ZF2Z5B CN45ZF2Z5B
| URI | m2://inv/CN45ZF2Z5B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#M6SW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Paul Gauduchon CN4EJQS84Y
| URI | m2://inv/CN4EJQS84Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Gauduchon, Paul Gauduchon (topic). Also Wikidata Q15455382
History
- 2026-11-02: add by m2/dev
CN4F4HWJJK CN4F4HWJJK
| URI | m2://inv/CN4F4HWJJK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
Generalization CN4W5JWY4M
| URI | m2://inv/CN4W5JWY4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#O2S7, Generalization (statement)
History
- 2026-11-02: add by m2/dev
$j$-stratum CN4Y4R3NQ3
| URI | m2://inv/CN4Y4R3NQ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#9D75, $j$-stratum (definition). In HXFA55BREZ/e1, definition C.5
History
- 2026-10-29: add by m2/v0.4.10
Rate of convergence CN4YFEZ55K
| URI | m2://inv/CN4YFEZ55K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#WFZ8, Rate of convergence (definition)
History
- 2026-11-02: add by m2/dev
Laguerre polynomial CN5484Y1N8
| URI | m2://inv/CN5484Y1N8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Laguerre polynomials WAMRHWW82R |
Mentions
- wikidata: Wikidata Q1124546, Laguerre polynomial (concept). Also EoM Laguerre_polynomials, MathWorld LaguerrePolynomial
- wikipedia: Wikipedia Laguerre polynomials, Laguerre polynomials (definition). Also Wikidata Q1124546
History
- 2026-10-26: add by m2/dev
Applications CN57BTRY03
| URI | m2://inv/CN57BTRY03 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gram matrix#X1O5, Applications (example)
History
- 2026-11-02: add by m2/dev
Gerhard Weikum CN593E1X53
| URI | m2://inv/CN593E1X53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K3EH, Gerhard Weikum (unknown)
History
- 2026-11-02: add by m2/dev
Dual form of the Pucci maximum principle CN5AK6D7M8
| URI | m2://inv/CN5AK6D7M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19410#ZI7X, Dual form of the Pucci maximum principle (statement). In GRESY1RPK6/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
CN5E1P86XJ CN5E1P86XJ
| URI | m2://inv/CN5E1P86XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#VO8O (statement). In V6EPE8XHAD/e1, lemma 10.5
History
- 2026-10-29: add by m2/v0.4.10
Moser's number CN5QPY7WQE
| URI | m2://inv/CN5QPY7WQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#C6OH, Moser's number (definition)
- wikipedia: Wikipedia List of scientific constants named after people#LH57, Moser's number (definition)
History
- 2026-11-02: add by m2/dev
Shinichiro Tomonaga CN5Z45NZ0K
| URI | m2://inv/CN5Z45NZ0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184563, Shinichiro Tomonaga (unknown). Also nLab Shin'ichirō Tomonaga
History
- 2026-10-26: add by m2/dev
The discovery of the completeness theorems CN5ZWDFN9Z
| URI | m2://inv/CN5ZWDFN9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leon Henkin#XHJV, The discovery of the completeness theorems (statement)
History
- 2026-11-02: add by m2/dev
Stein-manifold version CN68DV0DNJ
| URI | m2://inv/CN68DV0DNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12497#BRQE, Stein-manifold version (statement). In Z0SAF18JPP/e1, theorem 13.1
History
- 2026-10-28: add by m2/v0.4.2
CN6EV3ZAGN CN6EV3ZAGN
| URI | m2://inv/CN6EV3ZAGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#DAWY (statement). In VG8AF124T3/e1, corollary 7.9
History
- 2026-10-28: add by m2/v0.4.2
Lasker–Noether theorem CN6FPR46E9
| URI | m2://inv/CN6FPR46E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#A4GA, Lasker–Noether theorem (definition)
History
- 2026-11-02: add by m2/dev
Applications CN6NC96RHA
| URI | m2://inv/CN6NC96RHA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalised hyperbolic distribution#Q1VG, Applications (example)
History
- 2026-11-02: add by m2/dev
Computation CN6V6E8V9N
| URI | m2://inv/CN6V6E8V9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delannoy number#SRYM, Computation (definition)
History
- 2026-11-02: add by m2/dev
J-function CN6WQH2MQ4
| URI | m2://inv/CN6WQH2MQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#1P5V, J-function (definition)
History
- 2026-11-02: add by m2/dev
Uses CN76CJXDM4
| URI | m2://inv/CN76CJXDM4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concordant pair#A9ZH, Uses (example)
History
- 2026-11-02: add by m2/dev
Diego Rodríguez CN7HPWAY1Q
| URI | m2://inv/CN7HPWAY1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diego Rodríguez (mathematician), Diego Rodríguez (topic). Also Wikidata Q3819512
History
- 2026-11-02: add by m2/dev
singular solution CN7HS53FH4
| URI | m2://inv/CN7HS53FH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 35B40 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Singular solution 0Q2MDD13G4 |
Mentions
- wikidata: Wikidata Q4338245, singular solution (topic)
- wikipedia: Wikipedia Singular solution, Singular solution (definition). Also Wikidata Q4338245
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Ziggurat algorithm CN7JP8CZMY
| URI | m2://inv/CN7JP8CZMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#B3FP, Ziggurat algorithm (definition)
History
- 2026-11-02: add by m2/dev
CN7PHFW8HS CN7PHFW8HS
| URI | m2://inv/CN7PHFW8HS |
|---|---|
| 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.40054#XJ22 (statement). In CA4C9PFM1E/e1, lemma 5.3.2
History
- 2026-10-30: add by m2/v0.4.12
Examples CN7PTE8WV9
| URI | m2://inv/CN7PTE8WV9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#4PY6, Examples (example)
History
- 2026-11-02: add by m2/dev
Probabilistic Turing machine CN858QYCAT
| URI | m2://inv/CN858QYCAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic Turing machine, Probabilistic Turing machine (definition). Also Wikidata Q1191836
History
- 2026-11-02: add by m2/dev
CN899YV8RT CN899YV8RT
| URI | m2://inv/CN899YV8RT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.12
History
- 2026-11-01: add by m2/v0.6.13
CN89MNW1AE CN89MNW1AE
| URI | m2://inv/CN89MNW1AE |
|---|---|
| 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.05784#8MOK (statement). In 6NVP3YRWVA/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Hautus Lemma for controllability CN8F0WTX8P
| URI | m2://inv/CN8F0WTX8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hautus lemma#JB4V, Hautus Lemma for controllability (statement)
History
- 2026-11-02: add by m2/dev
Bulk encryption CN8FKPH88W
| URI | m2://inv/CN8FKPH88W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#KYIV, Bulk encryption (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations CN8HK4Q8N5
| URI | m2://inv/CN8HK4Q8N5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Ko–Rado theorem#JHUP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Best response CN8JHKW9JM
| URI | m2://inv/CN8JHKW9JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Best response, Best response (definition). Also Wikidata Q2733833
History
- 2026-11-02: add by m2/dev
Basic theorem CN8KHAXVHA
| URI | m2://inv/CN8KHAXVHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville's theorem (differential algebra)#KEO6, Basic theorem (statement)
History
- 2026-11-02: add by m2/dev
Folded subband lower bound CN8TM7STAR
| URI | m2://inv/CN8TM7STAR |
|---|---|
| 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 2610.19416#HZRX, Folded subband lower bound (statement). In TJVWQ0ZSGY/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Residual sum of squares CN90SEWSHB
| URI | m2://inv/CN90SEWSHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual sum of squares, Residual sum of squares (definition). Also Wikidata Q15096882
History
- 2026-11-02: add by m2/dev
Demographics of Aguascalientes CN91TCYYPQ
| URI | m2://inv/CN91TCYYPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Aguascalientes, Demographics of Aguascalientes (definition). Also Wikidata Q5255974
History
- 2026-11-02: add by m2/dev
List of topics related to CN9DBQPQNR
| URI | m2://inv/CN9DBQPQNR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#Z4N5, List of topics related to (topic)
History
- 2026-11-02: add by m2/dev
Elimination of the pressure defects CN9JQHYM2T
| URI | m2://inv/CN9JQHYM2T |
|---|---|
| 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.24960#NRVF, Elimination of the pressure defects (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notations CN9JTT26DW
| URI | m2://inv/CN9JTT26DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular complex polygon#8VT5, Notations (definition)
History
- 2026-11-02: add by m2/dev
Second order reaction CN9KVH08KQ
| URI | m2://inv/CN9KVH08KQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#TECY, Second order reaction (unknown)
History
- 2026-11-02: add by m2/dev
CN9MH7YYG7 CN9MH7YYG7
| URI | m2://inv/CN9MH7YYG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06438#DNQ9 (statement). In Z633BH3HER/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
CN9QPRCWAX CN9QPRCWAX
| URI | m2://inv/CN9QPRCWAX |
|---|---|
| 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.05784#L3CW (statement). In 6NVP3YRWVA/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.10
Schr\"odinger fixed-depth consequence CN9RZ15NFC
| URI | m2://inv/CN9RZ15NFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#ALIC, Schr\"odinger fixed-depth consequence (statement). In RHBS9QDHC3/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.2
An old set collapses free choices CN9WMPTGAD
| URI | m2://inv/CN9WMPTGAD |
|---|---|
| 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.25101#OZ2D, An old set collapses free choices (statement)
History
- 2026-11-01: add by m2/v0.6.15
Identity link function CNAC1KBVZE
| URI | m2://inv/CNAC1KBVZE |
|---|---|
| Kind | example |
| 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 2601.15880#YXTA, Identity link function (example). In E20H67N439/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Generalizations CNAFDBPK0B
| URI | m2://inv/CNAFDBPK0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hedetniemi's conjecture#3K4G, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RSA-110 CNAP65J9DG
| URI | m2://inv/CNAP65J9DG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#TUQR, RSA-110 (unknown)
History
- 2026-11-02: add by m2/dev
CNAT335H8H CNAT335H8H
| URI | m2://inv/CNAT335H8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#5BVR (statement). In E7W2HDNEKJ/e1, theorem 5.10
History
- 2026-10-30: add by m2/v0.4.12
Symmetry CNAZ2SQ7P0
| URI | m2://inv/CNAZ2SQ7P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral leakage#Y12V, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Catherine Meadows CNB1VZ3AT1
| URI | m2://inv/CNB1VZ3AT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Meadows, Catherine Meadows (topic). Also Wikidata Q68235186
History
- 2026-11-02: add by m2/dev
Symmetries CNB5YK50B8
| URI | m2://inv/CNB5YK50B8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leech lattice#ACLZ, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
CNB76JN69N CNB76JN69N
| URI | m2://inv/CNB76JN69N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#6BCV (statement). In BWD76W20W8/e1, corollary 4.9
History
- 2026-10-29: add by m2/v0.4.12
CNBAXENDCT CNBAXENDCT
| URI | m2://inv/CNBAXENDCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#CJAH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cayley–Bacharach theorem CNBAXFZKME
| URI | m2://inv/CNBAXFZKME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#BUX7, Cayley–Bacharach theorem (statement)
History
- 2026-11-02: add by m2/dev
CNBP4DEM5R CNBP4DEM5R
| URI | m2://inv/CNBP4DEM5R |
|---|---|
| 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.07673#PLBA (statement). In 37B1MPV8GX/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Tate conjecture CNBYVCNW4D
| URI | m2://inv/CNBYVCNW4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#6QZU, Tate conjecture (definition)
History
- 2026-11-02: add by m2/dev
Samuel S. Wilks CNBYY4SDC6
| URI | m2://inv/CNBYY4SDC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#NLWM, Samuel S. Wilks (topic)
History
- 2026-11-02: add by m2/dev
Nonconvex great rhombicuboctahedron CNBZ52D4R3
| URI | m2://inv/CNBZ52D4R3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#T1D1, Nonconvex great rhombicuboctahedron (object)
History
- 2026-11-02: add by m2/dev
Nancy Crooker CNCN4N6WTC
| URI | m2://inv/CNCN4N6WTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Crooker, Nancy Crooker (topic). Also Wikidata Q70126501
History
- 2026-11-02: add by m2/dev
CNCVQ2F6QW CNCVQ2F6QW
| URI | m2://inv/CNCVQ2F6QW |
|---|---|
| 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.28076#0PAP (statement)
History
- 2026-11-01: add by m2/v0.6.15
CNCW2XDA5G CNCW2XDA5G
| URI | m2://inv/CNCW2XDA5G |
|---|---|
| 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 2109.12716#4HLG (statement). In 6X76XBE3HV/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
CND0NSAT23 CND0NSAT23
| URI | m2://inv/CND0NSAT23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:lipschitz (definition). In N54F33XE07, defn, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Kepler's laws of planetary motion CND517NZNP
| URI | m2://inv/CND517NZNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#ZU5U, Kepler's laws of planetary motion (statement)
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#G3GF, Kepler's laws of planetary motion (statement)
History
- 2026-11-02: add by m2/dev
CND8PY8T1T CND8PY8T1T
| URI | m2://inv/CND8PY8T1T |
|---|---|
| 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.34471#9ZRF (statement). In BQ6MCMHCJK/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
CNDWF822DQ CNDWF822DQ
| URI | m2://inv/CNDWF822DQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#J4SD (definition). In XTGB5Z08YH/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Variants CNE1367EVQ
| URI | m2://inv/CNE1367EVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post's lattice#JSZB, Variants (statement)
History
- 2026-11-02: add by m2/dev
N. U. Prabhu CNE4HMB303
| URI | m2://inv/CNE4HMB303 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N. U. Prabhu, N. U. Prabhu (topic). Also Wikidata Q11182247
History
- 2026-11-02: add by m2/dev
CNE6RXYSM4 CNE6RXYSM4
| URI | m2://inv/CNE6RXYSM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#HZD0 (statement). In VGJVFCDV8A/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
continuity of integrals with respect to parameters CNE7XH7Z2K
| URI | m2://inv/CNE7XH7Z2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > continuity of integrals with respect to parameters, continuity of integrals with respect to parameters (unknown). Also Mathlib intervalIntegral.continuous_of_dominated_interval
History
- 2026-10-26: add by m2/dev
CNEAZFJNF7 CNEAZFJNF7
| URI | m2://inv/CNEAZFJNF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14600#7IF9 (definition). In CJHTDS522P/e1, definition A.1
History
- 2026-10-28: add by m2/v0.4.2
CNEM805AQG CNEM805AQG
| URI | m2://inv/CNEM805AQG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#F2F5 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Brassey, Thomas CNEP2A61MX
| URI | m2://inv/CNEP2A61MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WZAU, Brassey, Thomas (unknown)
History
- 2026-11-02: add by m2/dev
Uncertainty CNEPAT3FPH
| URI | m2://inv/CNEPAT3FPH |
|---|---|
| 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.21692#4KXU, Uncertainty (statement)
History
- 2026-11-02: add by m2/v0.6.18
CNES3WX6FX CNES3WX6FX
| URI | m2://inv/CNES3WX6FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#39ES (statement). In JQH3FHYPW3/e1, theorem 3.17
History
- 2026-10-28: add by m2/v0.4.2
Mersenne prime CNEYNW2M1R
| URI | m2://inv/CNEYNW2M1R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#71P5, Mersenne prime (conjecture)
History
- 2026-11-02: add by m2/dev
Quality & Quantity CNEZY0M6SS
| URI | m2://inv/CNEZY0M6SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quality & Quantity, Quality & Quantity (definition). Also Wikidata Q7268714
History
- 2026-11-02: add by m2/dev
triple bar CNF3HVT7WZ
| URI | m2://inv/CNF3HVT7WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#A8PK, triple bar (definition)
History
- 2026-11-02: add by m2/dev
Real analytic Eisenstein series CNF4J05ZWA
| URI | m2://inv/CNF4J05ZWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real analytic Eisenstein series, Real analytic Eisenstein series (definition). Also Wikidata Q7301121
History
- 2026-11-02: add by m2/dev
CNF73T18F6 CNF73T18F6
| URI | m2://inv/CNF73T18F6 |
|---|---|
| Kind | example |
| 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 2606.16311#K03J (example). In 3G0HCK0DVA/e1, example 5.1
History
- 2026-10-27: add by m2/v0.3.5
CNFBHT9J09 CNFBHT9J09
| URI | m2://inv/CNFBHT9J09 |
|---|---|
| Kind | statement |
| 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#JUTC (statement). In BDN507RN7J/e1, corollary 3.3.6
History
- 2026-10-30: add by m2/v0.4.12
Theorem CNFNSSQ9NH
| URI | m2://inv/CNFNSSQ9NH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markushevich basis#K8ZW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Minimax eversion CNFTCXXEJR
| URI | m2://inv/CNFTCXXEJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax eversion, Minimax eversion (definition). Also Wikidata Q6865378
History
- 2026-11-02: add by m2/dev
Weighted line graphs CNG33344S7
| URI | m2://inv/CNG33344S7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph#KUXX, Weighted line graphs (unknown)
History
- 2026-11-02: add by m2/dev
John Graunt CNG4BAE7H8
| URI | m2://inv/CNG4BAE7H8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Graunt, John Graunt (topic). Also Wikidata Q454938
History
- 2026-11-02: add by m2/dev
CNG9BQEVF7 CNG9BQEVF7
| URI | m2://inv/CNG9BQEVF7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-34 (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
CNGDYA9WN5 CNGDYA9WN5
| URI | m2://inv/CNGDYA9WN5 |
|---|---|
| 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 2609.20805#TS38 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Transferring photon-number bounds to mean energy CNGS5TCAFN
| URI | m2://inv/CNGS5TCAFN |
|---|---|
| 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.22308#IAZ4, Transferring photon-number bounds to mean energy (statement). In 4QN87R0P1G/e1, proposition 12
History
- 2026-10-27: add by m2/v0.4.0
CNGV7DHQNQ CNGV7DHQNQ
| URI | m2://inv/CNGV7DHQNQ |
|---|---|
| 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.15421#7W3L (statement). In 3RBKH0DA74/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
CNHF53MBKS CNHF53MBKS
| URI | m2://inv/CNHF53MBKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#2D6Q (statement). In BQDZN6GRGF/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Results CNHH1PJAMF
| URI | m2://inv/CNHH1PJAMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakeya set#E3NJ, Results (statement)
History
- 2026-11-02: add by m2/dev
Cross-covariance matrix CNHHAD7BY8
| URI | m2://inv/CNHHAD7BY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-covariance matrix, Cross-covariance matrix (definition). Also Wikidata Q60659283
History
- 2026-11-02: add by m2/dev
CNHWPDJGH2 CNHWPDJGH2
| URI | m2://inv/CNHWPDJGH2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-121 (exercise). In E9HS8K3A52, exercise, section 4.9.1
History
- 2026-11-01: add by m2/v0.6.13
Commutativity of the Schur-Weyl projectors CNJ03AGDHD
| URI | m2://inv/CNJ03AGDHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29348#3SL2, Commutativity of the Schur-Weyl projectors (statement)
History
- 2026-11-01: add by m2/v0.6.15
CNJ10TRS41 CNJ10TRS41
| URI | m2://inv/CNJ10TRS41 |
|---|---|
| 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.15416#92YL (statement). In W9JJQYHQ7J/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Generalizations CNJ5465ZJD
| URI | m2://inv/CNJ5465ZJD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill tetrahedron#TT8E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
CNJBBZS8N8 CNJBBZS8N8
| URI | m2://inv/CNJBBZS8N8 |
|---|---|
| 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 2512.08487#FELT (statement). In 77TVQVYN0Z/e1, corollary 16
History
- 2026-10-27: add by m2/v0.3.6
CNJBSQ52K6 CNJBSQ52K6
| URI | m2://inv/CNJBSQ52K6 |
|---|---|
| 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#O55D (statement). In N1MQ8F9JN6/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
CNJHKQM88Y CNJHKQM88Y
| URI | m2://inv/CNJHKQM88Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#2LE2 (statement). In PQHTR84RAJ/e1, proposition 3.16
History
- 2026-10-27: add by m2/v0.4.0
Moshé Flato CNJTPS9PZ7
| URI | m2://inv/CNJTPS9PZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1949272, Moshé Flato (unknown). Also nLab Moshé Flato
History
- 2026-10-26: add by m2/dev
CNJVXEGQZK CNJVXEGQZK
| URI | m2://inv/CNJVXEGQZK |
|---|---|
| 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.26114#U63Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact dilution CNJXFQ56J7
| URI | m2://inv/CNJXFQ56J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37917#P5DL, Exact dilution (statement). In YYN10BJG1Q/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Fatou–Lebesgue theorem CNJZSEM8Y0
| URI | m2://inv/CNJZSEM8Y0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 5 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5437947, Fatou–Lebesgue theorem (statement). Also Mathlib MeasureTheory.lintegral_liminf_le, Wikidata Q5437947
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Fatou's lemma, Fatou's lemma (unknown). Also Mathlib MeasureTheory.lintegral_liminf_le
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > Fatou's lemma, Fatou's lemma (unknown). Also Mathlib MeasureTheory.lintegral_liminf_le
- thousand_plus: thousand_plus Q5437947, Fatou–Lebesgue theorem (statement). Also Mathlib MeasureTheory.lintegral_liminf_le, Wikidata Q5437947, Wikipedia Fatou–Lebesgue theorem
- wikipedia: Wikipedia Fatou–Lebesgue theorem, Fatou–Lebesgue theorem (statement). Also Wikidata Q5437947
History
- 2026-10-26: add by m2/dev
CNKCEW3EMB CNKCEW3EMB
| URI | m2://inv/CNKCEW3EMB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.8
History
- 2026-11-01: add by m2/v0.6.13
Nielsen ratings CNKFNRNJZY
| URI | m2://inv/CNKFNRNJZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#AOP4, Nielsen ratings (unknown)
History
- 2026-11-02: add by m2/dev
Examples CNKM64ECC8
| URI | m2://inv/CNKM64ECC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-basis#RY6Y, Examples (example)
History
- 2026-11-02: add by m2/dev
CNKTFNZ37F CNKTFNZ37F
| URI | m2://inv/CNKTFNZ37F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#6D68 (definition)
History
- 2026-11-01: add by m2/v0.6.15
CNKX4YNV4V CNKX4YNV4V
| URI | m2://inv/CNKX4YNV4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/s-m-n.tex#thm:s-m-n (statement). In PKGMM3P5QY, thm, section 3.15
History
- 2026-11-01: add by m2/v0.6.13
(Poincaré’s inequality) CNM6AR7Z51
| URI | m2://inv/CNM6AR7Z51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#TWI8, (Poincaré’s inequality) (statement)
History
- 2026-11-02: add by m2/dev
Parameshvara CNM8Z91SW6
| URI | m2://inv/CNM8Z91SW6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#JXFM, Parameshvara (topic)
History
- 2026-11-02: add by m2/dev
cf.\ *{Ex.\ 6.7 CNMB2P8JJY
| URI | m2://inv/CNMB2P8JJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#DEEB, cf.\ *{Ex.\ 6.7 (statement). In YG5EX49042/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
symmetry CNMBDA3APY
| URI | m2://inv/CNMBDA3APY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#2QAI, symmetry (definition)
History
- 2026-11-02: add by m2/dev
Einstein manifold CNMPMCC7Y3
| URI | m2://inv/CNMPMCC7Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Einstein manifold 41S2EZ0KR3 |
Mentions
- wikidata: Wikidata Q1309313, Einstein manifold (unknown). Also MathWorld EinsteinManifold, nLab Einstein manifold
- wikipedia: Wikipedia Einstein manifold, Einstein manifold (definition). Also Wikidata Q1309313
History
- 2026-10-26: add by m2/dev
Euclidean histogram lifting CNMRKB67YG
| URI | m2://inv/CNMRKB67YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#RVIA, Euclidean histogram lifting (statement)
History
- 2026-11-01: add by m2/v0.6.15
connected, poset CNMW0Z1PHM
| URI | m2://inv/CNMW0Z1PHM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.2/connected-poset, connected, poset (concept). In QKM9DD2H56, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
CNMZ0KAMSX CNMZ0KAMSX
| URI | m2://inv/CNMZ0KAMSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.31781#ZEZ2 (statement). In WTTVKKNPE6/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Twyford, Buckinghamshire CNNB735Y6R
| URI | m2://inv/CNNB735Y6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SWXX, Twyford, Buckinghamshire (unknown)
History
- 2026-11-02: add by m2/dev
orthogonal factorization system CNNCWD022G
| URI | m2://inv/CNNCWD022G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/orthogonal-factorization-system, orthogonal factorization system (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
CNNDXGM4F5 CNNDXGM4F5
| URI | m2://inv/CNNDXGM4F5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#QAN8 (example). In HX63A1PH1W/e1, example 3.66
History
- 2026-10-28: add by m2/v0.4.3
Centralizer criterion CNNPEJZMZJ
| URI | m2://inv/CNNPEJZMZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#WS6Y, Centralizer criterion (statement). In H7DMRWBBJN/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
Octonionic AKM theorem CNNQTQ3RYA
| URI | m2://inv/CNNQTQ3RYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold–Kuiper–Massey theorem#MXFH, Octonionic AKM theorem (statement)
History
- 2026-11-02: add by m2/dev
CNNRCXFA3D CNNRCXFA3D
| URI | m2://inv/CNNRCXFA3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07471#7ETN (statement). In 7DHCS5SEHT/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
CNNXP127HF CNNXP127HF
| URI | m2://inv/CNNXP127HF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38493#LBQ2 (definition). In WTA8VGP6B1/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Jankov–von Neumann uniformization theorem CNPRKS5DWY
| URI | m2://inv/CNPRKS5DWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jankov–von Neumann uniformization theorem, Jankov–von Neumann uniformization theorem (statement). Also Wikidata Q123367039
History
- 2026-11-02: add by m2/dev
CNPSDQ8EB8 CNPSDQ8EB8
| URI | m2://inv/CNPSDQ8EB8 |
|---|---|
| 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.09341#XSIS (statement). In DSXBMRYE0V/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
CNPSJ41YMV CNPSJ41YMV
| URI | m2://inv/CNPSJ41YMV |
|---|---|
| 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.25348#SX77 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Benjamin Abram Bernstein CNPSXKAG7D
| URI | m2://inv/CNPSXKAG7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QLK7, Benjamin Abram Bernstein (topic)
History
- 2026-11-02: add by m2/dev
graceful tree conjecture CNPVC2A1KN
| URI | m2://inv/CNPVC2A1KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FZ0N, graceful tree conjecture (definition)
History
- 2026-11-02: add by m2/dev
Dunford–Pettis theorem CNPW1HVQBK
| URI | m2://inv/CNPW1HVQBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3LJK, Dunford–Pettis theorem (definition)
History
- 2026-11-02: add by m2/dev
CNQ6G5TXNV CNQ6G5TXNV
| URI | m2://inv/CNQ6G5TXNV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#K31J (definition). In M2X9TEYRPC/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Ramanujan identity CNQP7JJ92W
| URI | m2://inv/CNQP7JJ92W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#8WLG, Ramanujan identity (definition)
History
- 2026-11-02: add by m2/dev
Shifting baseline CNQTV8W4EJ
| URI | m2://inv/CNQTV8W4EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5NPI, Shifting baseline (definition)
History
- 2026-11-02: add by m2/dev
elongated triangular bipyramid CNQVT3022B
| URI | m2://inv/CNQVT3022B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192535, elongated triangular bipyramid (object). Also MathWorld ElongatedTriangularDipyramid
- wikipedia: Wikipedia Elongated triangular bipyramid, Elongated triangular bipyramid (definition). Also Wikidata Q192535
History
- 2026-10-26: add by m2/dev
Theorem CNR08PV68F
| URI | m2://inv/CNR08PV68F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercer's theorem#ZI22, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Catanese surface CNR77G76XE
| URI | m2://inv/CNR77G76XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catanese surface, Catanese surface (definition). Also Wikidata Q5051426
History
- 2026-11-02: add by m2/dev
Definition CNR9Q6Z5AC
| URI | m2://inv/CNR9Q6Z5AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda calculus#97J5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples CNRK5BRZ7W
| URI | m2://inv/CNRK5BRZ7W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrahedron#IRDL, Examples (example)
History
- 2026-11-02: add by m2/dev
CNRK5CQGJN CNRK5CQGJN
| URI | m2://inv/CNRK5CQGJN |
|---|---|
| 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.06707#3NGZ (statement). In 9TR5E527P5/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
CNRKPRRBWN CNRKPRRBWN
| URI | m2://inv/CNRKPRRBWN |
|---|---|
| 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 2512.19872#0ZES (statement). In DG9TF5X0EG/e1, lemma 9
History
- 2026-10-27: add by m2/v0.4.0
Definitions CNRMKXY7H3
| URI | m2://inv/CNRMKXY7H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductive group#AEUA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
intersection CNRMTS2T2Y
| URI | m2://inv/CNRMTS2T2Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.3/intersection, intersection (concept). In Y91XFCEVHQ, index, section 1.3.3
History
- 2026-11-01: add by m2/v0.6.13
Elon Lindenstrauss CNRNV3V7VY
| URI | m2://inv/CNRNV3V7VY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elon Lindenstrauss, Elon Lindenstrauss (topic). Also Wikidata Q334069
History
- 2026-11-02: add by m2/dev
Theorem CNRS102NAT
| URI | m2://inv/CNRS102NAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#HW92, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Conics CNRT6REXRT
| URI | m2://inv/CNRT6REXRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonius of Perga#WPZQ, Conics (unknown)
History
- 2026-11-02: add by m2/dev
Heptagonal antiprism CNRY5CGZ38
| URI | m2://inv/CNRY5CGZ38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heptagonal antiprism, Heptagonal antiprism (definition). Also Wikidata Q5732017
History
- 2026-11-02: add by m2/dev
CNRYP4X0FT CNRYP4X0FT
| URI | m2://inv/CNRYP4X0FT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#ZE67 (example)
History
- 2026-11-01: add by m2/v0.6.15
CNRYQW75G5 CNRYQW75G5
| URI | m2://inv/CNRYQW75G5 |
|---|---|
| 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.03769#O647 (statement). In 35DNCV14M4/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
Failure of slope stability CNS1AQ90D8
| URI | m2://inv/CNS1AQ90D8 |
|---|---|
| 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#ZVAH, Failure of slope stability (statement). In 8BNPFYQDQX/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
CNS36M5XCY CNS36M5XCY
| URI | m2://inv/CNS36M5XCY |
|---|---|
| Kind | example |
| 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 2609.27931#6VOR (example)
History
- 2026-11-01: add by m2/v0.6.15
Banach–Alaoglu theorem CNS434EGMX
| URI | m2://inv/CNS434EGMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Alaoglu theorem#Z9OH, Banach–Alaoglu theorem (statement)
History
- 2026-11-02: add by m2/dev
CNS48EXBND CNS48EXBND
| URI | m2://inv/CNS48EXBND |
|---|---|
| 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 2310.14879#O7RE (statement). In 3VZ55B2N0D/e1, corollary 6.14
History
- 2026-10-27: add by m2/v0.4.0
Examples CNS6MMWSPY
| URI | m2://inv/CNS6MMWSPY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plethystic substitution#CEF8, Examples (example)
History
- 2026-11-02: add by m2/dev
The slice initial condition CNSBA404EX
| URI | m2://inv/CNSBA404EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#KGST, The slice initial condition (statement). In A20E8FZS21/e1, corollary 6.11
History
- 2026-10-28: add by m2/v0.4.2
Hurewicz theorem CNSS9C2A4K
| URI | m2://inv/CNSS9C2A4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IJ0P, Hurewicz theorem (statement)
History
- 2026-11-02: add by m2/dev
Coinye CNT497V3F9
| URI | m2://inv/CNT497V3F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coinye, Coinye (definition). Also Wikidata Q15614087
History
- 2026-11-02: add by m2/dev
Positional notation CNT6FQH8V1
| URI | m2://inv/CNT6FQH8V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positional notation, Positional notation (definition). Also Wikidata Q1747853
History
- 2026-11-02: add by m2/dev
A first application of Kuratowski's free set theorem CNTBSNMA2M
| URI | m2://inv/CNTBSNMA2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#PLMW, A first application of Kuratowski's free set theorem (statement)
History
- 2026-11-02: add by m2/dev
CNTFKWQ3FW CNTFKWQ3FW
| URI | m2://inv/CNTFKWQ3FW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.14253#DG1Y (statement). In R7W38A039X/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.6
Set Theory: An Introduction to Independence Proofs CNTGAS6P1X
| URI | m2://inv/CNTGAS6P1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set Theory: An Introduction to Independence Proofs, Set Theory: An Introduction to Independence Proofs (definition). Also Wikidata Q7456256
History
- 2026-11-02: add by m2/dev
Number class CNTHWZNWHB
| URI | m2://inv/CNTHWZNWHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal number#RVUV, Number class (unknown)
History
- 2026-11-02: add by m2/dev
CNTX83QF2C CNTX83QF2C
| URI | m2://inv/CNTX83QF2C |
|---|---|
| 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 2609.35474#E625 (statement). In 9QWPGZ92ZN/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Ewa Kubicka CNTXGJW79W
| URI | m2://inv/CNTXGJW79W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewa Kubicka, Ewa Kubicka (topic). Also Wikidata Q49100649
History
- 2026-11-02: add by m2/dev
Orthogonal complement CNTYKKVNHQ
| URI | m2://inv/CNTYKKVNHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal complement, Orthogonal complement (definition). Also Wikidata Q1780921
History
- 2026-11-02: add by m2/dev
CNV20B5PGE CNV20B5PGE
| URI | m2://inv/CNV20B5PGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.09422#WJS5 (statement). In MS7M2BJS9X/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
Properties CNV4CCXC61
| URI | m2://inv/CNV4CCXC61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tesseract#CXC8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Szemerédi, Endre CNV7362C6D
| URI | m2://inv/CNV7362C6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#PRQN, Szemerédi, Endre (topic)
History
- 2026-11-02: add by m2/dev
Gravitational binding energy CNV7FG0CJP
| URI | m2://inv/CNV7FG0CJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#9O7G, Gravitational binding energy (unknown)
History
- 2026-11-02: add by m2/dev
Linear classifier CNVB54M3XW
| URI | m2://inv/CNVB54M3XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear classifier, Linear classifier (definition). Also Wikidata Q2679259
History
- 2026-11-02: add by m2/dev
rational fraction fields with one indeterminate over a field CNVK3NT5P7
| URI | m2://inv/CNVK3NT5P7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > rational fraction fields with one indeterminate over a field, rational fraction fields with one indeterminate over a field (unknown). Also Mathlib RatFunc
History
- 2026-10-26: add by m2/dev
CNVX6NR3BM CNVX6NR3BM
| URI | m2://inv/CNVX6NR3BM |
|---|---|
| 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.00775#U9TJ (statement). In WVHA7H05QC/e1, lemma 2.31
History
- 2026-10-29: add by m2/v0.4.12
CNVYB8FHP4 CNVYB8FHP4
| URI | m2://inv/CNVYB8FHP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#CINC (statement)
History
- 2026-11-01: add by m2/v0.6.15
language CNVZFQD0CP
| URI | m2://inv/CNVZFQD0CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#RTU0, language (definition)
History
- 2026-11-02: add by m2/dev
CNW1F0G8CT CNW1F0G8CT
| URI | m2://inv/CNW1F0G8CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37967#HX1E (statement). In BR2E3CXQE0/e1, proposition 9
History
- 2026-10-30: add by m2/v0.4.12
Jianwen Cai CNW7HW05TT
| URI | m2://inv/CNW7HW05TT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#442Z, Jianwen Cai (topic)
History
- 2026-11-02: add by m2/dev
inscribed CNW7YSAJWY
| URI | m2://inv/CNW7YSAJWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#P7WB, inscribed (definition)
History
- 2026-11-02: add by m2/dev
proof, assistant CNW9J0G1H7
| URI | m2://inv/CNW9J0G1H7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/proof-assistant, proof, assistant (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
CNWJ4J1R3E CNWJ4J1R3E
| URI | m2://inv/CNWJ4J1R3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#R9DX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic properties CNWJMT30JT
| URI | m2://inv/CNWJMT30JT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic permutation#3970, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
CNWKHP9R7P CNWKHP9R7P
| URI | m2://inv/CNWKHP9R7P |
|---|---|
| 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.32651#W3IU (statement). In WFJXSE3VDT/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Weight (representation theory) CNWPTX483W
| URI | m2://inv/CNWPTX483W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#9P6Y, Weight (representation theory) (definition)
- wikipedia: Wikipedia List of Lie groups topics#SK88, Weight (representation theory) (definition)
History
- 2026-11-02: add by m2/dev
CNWVF9F9AX CNWVF9F9AX
| URI | m2://inv/CNWVF9F9AX |
|---|---|
| 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.23872#0ZOZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Noriko Yui CNX5BNDQ4F
| URI | m2://inv/CNX5BNDQ4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B1ET, Noriko Yui (unknown)
History
- 2026-11-02: add by m2/dev
CNX5PQ3CKP CNX5PQ3CKP
| URI | m2://inv/CNX5PQ3CKP |
|---|---|
| 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.06461#3NWL (statement). In QXY3W2JV2N/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Examples CNX85ZS4DP
| URI | m2://inv/CNX85ZS4DP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone (algebraic geometry)#7P30, Examples (example)
History
- 2026-11-02: add by m2/dev
CNXD5F080A CNXD5F080A
| URI | m2://inv/CNXD5F080A |
|---|---|
| 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.08658#R9G7 (statement). In 7PK5WS7246/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Eric Temple Bell CNXQPD1JCV
| URI | m2://inv/CNXQPD1JCV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q548140, Eric Temple Bell (unknown). Also ProofWiki Mathematician:Eric_Temple_Bell
- wikipedia: Wikipedia Eric Temple Bell, Eric Temple Bell (topic). Also Wikidata Q548140
History
- 2026-10-26: add by m2/dev
CNXTRW41RQ CNXTRW41RQ
| URI | m2://inv/CNXTRW41RQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#3CTY (definition)
History
- 2026-11-02: add by m2/v0.6.18
CNY6A14TXY CNY6A14TXY
| URI | m2://inv/CNY6A14TXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28403#AIHZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples CNY8DED73Z
| URI | m2://inv/CNY8DED73Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet filter#UJEP, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement CNYEBAY5WD
| URI | m2://inv/CNYEBAY5WD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford theory#LAL6, Statement (statement)
History
- 2026-11-02: add by m2/dev
Naive Bayes classifier CNYKFATJMB
| URI | m2://inv/CNYKFATJMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naive Bayes classifier, Naive Bayes classifier (definition). Also Wikidata Q812530
History
- 2026-11-02: add by m2/dev
Johann Christian Martin Bartels CNYNW8AC00
| URI | m2://inv/CNYNW8AC00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Christian Martin Bartels, Johann Christian Martin Bartels (topic). Also Wikidata Q70818
History
- 2026-11-02: add by m2/dev
Level of measurement CNYX75V443
| URI | m2://inv/CNYX75V443 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PXG1, Level of measurement (definition)
History
- 2026-11-02: add by m2/dev
CNYY9PANPT CNYY9PANPT
| URI | m2://inv/CNYY9PANPT |
|---|---|
| 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#S08R (statement). In GWC70X14RG/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Marginal distribution CNZ5E6PN0B
| URI | m2://inv/CNZ5E6PN0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marginal distribution, Marginal distribution (definition). Also Wikidata Q670653
History
- 2026-11-02: add by m2/dev
Algorithm CNZD2C8BB6
| URI | m2://inv/CNZD2C8BB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's kangaroo algorithm#FW86, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
William Beckner CNZE7JG5X5
| URI | m2://inv/CNZE7JG5X5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Beckner (mathematician), William Beckner (topic). Also Wikidata Q8005305
History
- 2026-11-02: add by m2/dev
CNZQ710517 CNZQ710517
| URI | m2://inv/CNZQ710517 |
|---|---|
| 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.13799#BQZT (statement). In HECT28CM5V/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2