Inventory rows 9D
The cards of the rows of the inventory whose ids start with 9D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
9D01NY14YM 9D01NY14YM
| URI | m2://inv/9D01NY14YM |
|---|---|
| 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.06521#IKHS (statement). In NVXWD513NM/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
9D04FR10BF 9D04FR10BF
| URI | m2://inv/9D04FR10BF |
|---|---|
| Kind | example |
| 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.06045#51YJ (example). In SVKM0852RJ/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
Giovanni Antonio Lecchi 9D063AEBAG
| URI | m2://inv/9D063AEBAG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Antonio Lecchi, Giovanni Antonio Lecchi (topic). Also Wikidata Q745185
History
- 2026-11-02: add by m2/dev
9D09W1RNND 9D09W1RNND
| URI | m2://inv/9D09W1RNND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:not-dneg (statement). In N54F33XE07, thm, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Symmetry 9D0BZS8PZS
| URI | m2://inv/9D0BZS8PZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Baxter equation#UBYQ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
radix character 9D0E8GJF2V
| URI | m2://inv/9D0E8GJF2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6575377, radix character (definition). Also ProofWiki Definition:Number_Base/Radix_Point
History
- 2026-10-26: add by m2/dev
9D0H3MKC8K 9D0H3MKC8K
| URI | m2://inv/9D0H3MKC8K |
|---|---|
| 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.14838#PO1B (statement). In J7ZX3WWRQP/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
Poisson summation formula 9D0HC0TB3J
| URI | m2://inv/9D0HC0TB3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#GQF8, Poisson summation formula (statement)
- wikipedia: Wikipedia List of Fourier analysis topics#X4KE, Poisson summation formula (statement)
History
- 2026-11-02: add by m2/dev
Definition 9D0QND9888
| URI | m2://inv/9D0QND9888 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small-bias sample space#FGMX, Definition (definition)
History
- 2026-11-02: add by m2/dev
regular sequence 9D0R4ETF39
| URI | m2://inv/9D0R4ETF39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Regular sequence 69R5R2FCS5 |
Mentions
- wikidata: Wikidata Q7309617, regular sequence (unknown). Also MathWorld RingRegularSequence, nLab regular sequence
- wikipedia: Wikipedia Regular sequence, Regular sequence (definition). Also Wikidata Q7309617
History
- 2026-10-26: add by m2/dev
A001203 9D0S20Z9ZX
| URI | m2://inv/9D0S20Z9ZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#SGEX, A001203 (unknown)
History
- 2026-11-02: add by m2/dev
9D0S9AFPJK 9D0S9AFPJK
| URI | m2://inv/9D0S9AFPJK |
|---|---|
| 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 2609.39905#0D97 (example). In D4B23ER9QD/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
binomial coefficient 9D11F0J0T6
| URI | m2://inv/9D11F0J0T6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.3/binomial-coefficient, binomial coefficient (concept). In QKM9DD2H56, index, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Application 9D15YN9EYB
| URI | m2://inv/9D15YN9EYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced flow#Y144, Application (example)
History
- 2026-11-02: add by m2/dev
Random permutations and Ewens's sampling formula 9D17RASDZY
| URI | m2://inv/9D17RASDZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson-Dirichlet distribution#AE0S, Random permutations and Ewens's sampling formula (statement)
History
- 2026-11-02: add by m2/dev
9D1SDV4BRD 9D1SDV4BRD
| URI | m2://inv/9D1SDV4BRD |
|---|---|
| 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 2501.02331#DIVG (statement). In N9J5DJCTJZ/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
9D1W6YTY14 9D1W6YTY14
| URI | m2://inv/9D1W6YTY14 |
|---|---|
| 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 2502.04323#UGF7 (statement). In MK60S6RKJP/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
List of zeta functions 9D1WGYEZ25
| URI | m2://inv/9D1WGYEZ25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions, List of zeta functions (topic). Also Wikidata Q112944097
History
- 2026-11-02: add by m2/dev
9D1YJWYT8S 9D1YJWYT8S
| URI | m2://inv/9D1YJWYT8S |
|---|---|
| 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.25823#9QB2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pappus of Alexandria 9D1ZYZ5XRC
| URI | m2://inv/9D1ZYZ5XRC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#D8KT, Pappus of Alexandria (topic)
History
- 2026-11-02: add by m2/dev
9D203TG8VX 9D203TG8VX
| URI | m2://inv/9D203TG8VX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#MGJC (definition). In NSYR6W27FP/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
regulator 9D23J6ECAK
| URI | m2://inv/9D23J6ECAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17591375, regulator (unknown). Also EoM Regulator_of_an_algebraic_number_field, MathWorld Regulator, nLab regulator of a number field
History
- 2026-10-26: add by m2/dev
Exact defect on the sphere 9D29821BDV
| URI | m2://inv/9D29821BDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#PHZ2, Exact defect on the sphere (statement). In A7HTYWJNCX/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Dubins path 9D2BRG3C8F
| URI | m2://inv/9D2BRG3C8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dubins path, Dubins path (definition). Also Wikidata Q2962307
History
- 2026-11-02: add by m2/dev
9D2EYCS5EJ 9D2EYCS5EJ
| URI | m2://inv/9D2EYCS5EJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-6 (example). In Y91XFCEVHQ, example, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
M. Salah Baouendi 9D2FQ688C9
| URI | m2://inv/9D2FQ688C9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. Salah Baouendi, M. Salah Baouendi (topic). Also Wikidata Q2213783
History
- 2026-11-02: add by m2/dev
F. and M. Riesz theorem 9D2JDG9ASJ
| URI | m2://inv/9D2JDG9ASJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527067, F. and M. Riesz theorem (statement). Also Wikidata Q3527067
- thousand_plus: thousand_plus Q3527067, F. and M. Riesz theorem (statement). Also Wikidata Q3527067, Wikipedia F. and M. Riesz theorem
- wikipedia: Wikipedia F. and M. Riesz theorem, F. and M. Riesz theorem (statement). Also Wikidata Q3527067
History
- 2026-10-26: add by m2/dev
9D397XHD95 9D397XHD95
| URI | m2://inv/9D397XHD95 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#8L33 (example). In 4X4ZS7CEKD/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
9D3EDY9N9W 9D3EDY9N9W
| URI | m2://inv/9D3EDY9N9W |
|---|---|
| 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.04935#8E10 (statement). In 7WVPJVPQH2/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Regionalized variable theory 9D3R1XZBW1
| URI | m2://inv/9D3R1XZBW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regionalized variable theory, Regionalized variable theory (definition). Also Wikidata Q3554725
History
- 2026-11-02: add by m2/dev
puzzle 9D42RF1W97
| URI | m2://inv/9D42RF1W97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13698, puzzle (definition). Also ProofWiki Definition:Puzzle
History
- 2026-10-26: add by m2/dev
9D4906BZ69 9D4906BZ69
| URI | m2://inv/9D4906BZ69 |
|---|---|
| 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.16886#IQOL (statement). In Y8QQAH7VCF/e1, lemma D.3
History
- 2026-10-28: add by m2/v0.4.2
9D4H19A0M0 9D4H19A0M0
| URI | m2://inv/9D4H19A0M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2409.01237#K6ZT (statement). In M9VHCG48HB/e1, corollary 6.6
History
- 2026-10-27: add by m2/v0.3.5
Holditch's theorem 9D4MF8R1YG
| URI | m2://inv/9D4MF8R1YG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1888583, Holditch's theorem (statement). Also Wikidata Q1888583
- thousand_plus: thousand_plus Q1888583, Holditch's theorem (statement). Also Wikidata Q1888583, Wikipedia Holditch's theorem
- wikidata: Wikidata Q1888583, Holditch's theorem (statement). Also MathWorld HolditchsTheorem
- wikipedia: Wikipedia Holditch's theorem, Holditch's theorem (statement). Also Wikidata Q1888583
History
- 2026-10-26: add by m2/dev
9D4Q62AVKY 9D4Q62AVKY
| URI | m2://inv/9D4Q62AVKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#6MLM (statement). In TBFPBPQV3G/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
9D536A1BZJ 9D536A1BZJ
| URI | m2://inv/9D536A1BZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#MML8 (statement). In YKD51BX3XB/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
\texttt{Constrained equilibria 9D53BGGMW0
| URI | m2://inv/9D53BGGMW0 |
|---|---|
| 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.06343#OD5H, \texttt{Constrained equilibria (statement). In R8176XJ535/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Exponentially decaying weights 9D58GSGJ7M
| URI | m2://inv/9D58GSGJ7M |
|---|---|
| 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.29671#87U4, Exponentially decaying weights (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isoperimetric inequality 9D58JPWYB7
| URI | m2://inv/9D58JPWYB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunn–Minkowski theorem#QYXW, Isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
Properties 9D5H98EXQ4
| URI | m2://inv/9D5H98EXQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giraud subcategory#24O0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lattice 9D5VGMN3XY
| URI | m2://inv/9D5VGMN3XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#8ENV, Lattice (definition)
History
- 2026-11-02: add by m2/dev
Stokes problem 9D60PVHPFP
| URI | m2://inv/9D60PVHPFP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes problem, Stokes problem (problem). Also Wikidata Q30715867
History
- 2026-11-02: add by m2/dev
binormal 9D66WYHVNF
| URI | m2://inv/9D66WYHVNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9171817, binormal (unknown). Also MathWorld BinormalVector
History
- 2026-10-26: add by m2/dev
9D67K7C67M 9D67K7C67M
| URI | m2://inv/9D67K7C67M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#COEY (statement). In WAJ5AZHF62/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
symmetric polynomials 9D6C55PDJV
| URI | m2://inv/9D6C55PDJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > symmetric polynomials, symmetric polynomials (unknown). Also Mathlib MvPolynomial.IsSymmetric
History
- 2026-10-26: add by m2/dev
James Pierpont 9D6M53R5X3
| URI | m2://inv/9D6M53R5X3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Pierpont (mathematician), James Pierpont (topic). Also Wikidata Q1680982
History
- 2026-11-02: add by m2/dev
9D6TGEH2TJ 9D6TGEH2TJ
| URI | m2://inv/9D6TGEH2TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#RHEJ (statement). In 9GMTVSTAVN/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Oriented varifold 9D6XMEWXN0
| URI | m2://inv/9D6XMEWXN0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05064#AIIV, Oriented varifold (definition). In 11SW7NAN7M/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Covariance mapping 9D6XVNT23F
| URI | m2://inv/9D6XVNT23F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance matrix#L0AQ, Covariance mapping (unknown)
History
- 2026-11-02: add by m2/dev
9D6ZSKM5E6 9D6ZSKM5E6
| URI | m2://inv/9D6ZSKM5E6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:uniqueness-for-functions-on-S1 (statement). In N54F33XE07, lem, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Vertex (curve) 9D7A8GDE6N
| URI | m2://inv/9D7A8GDE6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#X0FR, Vertex (curve) (definition)
History
- 2026-11-02: add by m2/dev
Frank Bonsall 9D7D0GXXSB
| URI | m2://inv/9D7D0GXXSB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Bonsall, Frank Bonsall (topic). Also Wikidata Q1442981
History
- 2026-11-02: add by m2/dev
Richard Laver 9D7H7ZZSQE
| URI | m2://inv/9D7H7ZZSQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J5TR, Richard Laver (topic)
History
- 2026-11-02: add by m2/dev
605 (number) 9D7NMAXQ7B
| URI | m2://inv/9D7NMAXQ7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#GTJ3, 605 (number) (unknown)
History
- 2026-11-02: add by m2/dev
recursion principle, for truncation 9D7P3KM5B0
| URI | m2://inv/9D7P3KM5B0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/recursion-principle-for-truncation, recursion principle, for truncation (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
Gyrate bidiminished rhombicosidodecahedron 9D85TMCRN8
| URI | m2://inv/9D85TMCRN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#XCFE, Gyrate bidiminished rhombicosidodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JKPV, Gyrate bidiminished rhombicosidodecahedron (definition)
History
- 2026-11-02: add by m2/dev
Theorem of the cube 9D88EACZXH
| URI | m2://inv/9D88EACZXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7782346, Theorem of the cube (statement). Also Wikidata Q7782346
- thousand_plus: thousand_plus Q7782346, Theorem of the cube (statement). Also Wikidata Q7782346, Wikipedia Theorem of the cube
- wikipedia: Wikipedia Theorem of the cube, Theorem of the cube (statement). Also Wikidata Q7782346
History
- 2026-10-26: add by m2/dev
Achyuta Pisharati 9D8JY08TR7
| URI | m2://inv/9D8JY08TR7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#OT5D, Achyuta Pisharati (unknown)
History
- 2026-11-02: add by m2/dev
Yitzhak Katznelson 9D8PCR647D
| URI | m2://inv/9D8PCR647D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7DIX, Yitzhak Katznelson (topic)
History
- 2026-11-02: add by m2/dev
Relative PCA control of the empirically centered projector 9D8PYJW6HA
| URI | m2://inv/9D8PYJW6HA |
|---|---|
| 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.05388#J62Y, Relative PCA control of the empirically centered projector (statement). In 4HJK1986EJ/e1, lemma C.13
History
- 2026-10-29: add by m2/v0.4.10
Montel's theorem 9D8TAWPCRX
| URI | m2://inv/9D8TAWPCRX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/montel-s-theorem, Montel's theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
9D8WHWNMS4 9D8WHWNMS4
| URI | m2://inv/9D8WHWNMS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2507.20176#6OBS (statement). In CX4WDA2KAR/e1, corollary 2.12
History
- 2026-10-27: add by m2/v0.3.5
Monotone cubic interpolation 9D8X5FAVN1
| URI | m2://inv/9D8X5FAVN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#9E2Z, Monotone cubic interpolation (definition)
History
- 2026-11-02: add by m2/dev
9D8Y1TGTNH 9D8Y1TGTNH
| URI | m2://inv/9D8Y1TGTNH |
|---|---|
| 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.07380#DYRG (statement). In XM2CDRKSGE/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Formal definition 9D8Z1WQZNV
| URI | m2://inv/9D8Z1WQZNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoconvex function#8HMU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
9D9055Y2BB 9D9055Y2BB
| URI | m2://inv/9D9055Y2BB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flip distance#2775 (problem)
History
- 2026-11-02: add by m2/dev
completely reducible 9D96FTQ07M
| URI | m2://inv/9D96FTQ07M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#2HE1, completely reducible (definition)
History
- 2026-11-02: add by m2/dev
9D97PKAPQF 9D97PKAPQF
| URI | m2://inv/9D97PKAPQF |
|---|---|
| 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 2608.24599#9GDZ (statement). In VG8QFWTT8S/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
9D98YKFJ6V 9D98YKFJ6V
| URI | m2://inv/9D98YKFJ6V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
9D994BMC9C 9D994BMC9C
| URI | m2://inv/9D994BMC9C |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1805.04646#Q2IK (proof). In WDDY7P9T66/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Rank mobility index 9D9G071ASS
| URI | m2://inv/9D9G071ASS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank mobility index, Rank mobility index (definition). Also Wikidata Q7293213
History
- 2026-11-02: add by m2/dev
9D9KN0EHBE 9D9KN0EHBE
| URI | m2://inv/9D9KN0EHBE |
|---|---|
| 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.37208#RGB2 (statement). In 7MCBCP4T0B/e1, fact 3.3
History
- 2026-10-30: add by m2/v0.4.12
Lévy metric 9D9PBMFPEZ
| URI | m2://inv/9D9PBMFPEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy metric, Lévy metric (definition). Also Wikidata Q6711218
History
- 2026-11-02: add by m2/dev
Fundamental theorem of Hilbert spaces 9D9TJPFYGX
| URI | m2://inv/9D9TJPFYGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of Hilbert spaces#15GB, Fundamental theorem of Hilbert spaces (statement)
History
- 2026-11-02: add by m2/dev
9D9WCP4BTX 9D9WCP4BTX
| URI | m2://inv/9D9WCP4BTX |
|---|---|
| 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.36313#7KXW (statement). In Z5SP3NW41S/e1, fact 3.7
History
- 2026-10-30: add by m2/v0.4.12
Type identity 9D9XMH5Y72
| URI | m2://inv/9D9XMH5Y72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic philosophy#T45D, Type identity (statement)
History
- 2026-11-02: add by m2/dev
Speed of gravity 9DA0CCBPMM
| URI | m2://inv/9DA0CCBPMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#16OI, Speed of gravity (unknown)
History
- 2026-11-02: add by m2/dev
Golomb coding 9DAB0MJ27S
| URI | m2://inv/9DAB0MJ27S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golomb coding, Golomb coding (definition). Also Wikidata Q2638
History
- 2026-11-02: add by m2/dev
General formula 9DADRG0HBR
| URI | m2://inv/9DADRG0HBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor function#U62I, General formula (statement)
History
- 2026-11-02: add by m2/dev
9DAK3YVVF6 9DAK3YVVF6
| URI | m2://inv/9DAK3YVVF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#RFIH (statement). In 5CKPXBWSCX/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
Nancy Kirkendall 9DAMRYQ1QB
| URI | m2://inv/9DAMRYQ1QB |
|---|---|
| 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#D396, Nancy Kirkendall (topic)
History
- 2026-11-02: add by m2/dev
Smooth topology 9DAR751YE6
| URI | m2://inv/9DAR751YE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth topology, Smooth topology (definition). Also Wikidata Q17103391
History
- 2026-11-02: add by m2/dev
Localized product bounds 9DAVDCP6DZ
| URI | m2://inv/9DAVDCP6DZ |
|---|---|
| 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.00241#OSTM, Localized product bounds (statement). In VBRQTN2RXN/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Stoer–Wagner algorithm 9DB3ZM1TC1
| URI | m2://inv/9DB3ZM1TC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stoer–Wagner algorithm, Stoer–Wagner algorithm (definition). Also Wikidata Q23808439
History
- 2026-11-02: add by m2/dev
Horatio Scott Carslaw 9DB53MMBMF
| URI | m2://inv/9DB53MMBMF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horatio Scott Carslaw, Horatio Scott Carslaw (topic). Also Wikidata Q1627989
History
- 2026-11-02: add by m2/dev
Recurrence period density entropy 9DB56JT79T
| URI | m2://inv/9DB56JT79T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence period density entropy, Recurrence period density entropy (definition). Also Wikidata Q7303253
History
- 2026-11-02: add by m2/dev
Generalization 9DB7GYSKB9
| URI | m2://inv/9DB7GYSKB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective hull#0H5X, Generalization (statement)
History
- 2026-11-02: add by m2/dev
9DBCS1BR3Q 9DBCS1BR3Q
| URI | m2://inv/9DBCS1BR3Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#YBFN (definition). In DDNP38CHQJ/e1, definition 5.9
History
- 2026-10-27: add by m2/v0.3.5
9DBF78K24N 9DBF78K24N
| URI | m2://inv/9DBF78K24N |
|---|---|
| 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 2508.03972#E6F8 (statement). In 2JD3KNKJ1P/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
9DBH1DZQ5B 9DBH1DZQ5B
| URI | m2://inv/9DBH1DZQ5B |
|---|---|
| Kind | definition |
| 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 2406.01036#U61U (definition). In 6VX2G6RTH7/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Alexander Schmidt 9DBJGGVKF0
| URI | m2://inv/9DBJGGVKF0 |
|---|---|
| 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 Q2642976, Alexander Schmidt (unknown). Also nLab Alexander Schmidt
- wikipedia: Wikipedia Alexander Schmidt (mathematician), Alexander Schmidt (topic). Also Wikidata Q2642976
History
- 2026-10-26: add by m2/dev
9DBMXBV7BX 9DBMXBV7BX
| URI | m2://inv/9DBMXBV7BX |
|---|---|
| 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 2602.13510#KTSO (statement). In Y75MQW7CFV/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Many-sorted logic 9DBPJCSSC0
| URI | m2://inv/9DBPJCSSC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-sorted logic, Many-sorted logic (definition). Also Wikidata Q2303607
History
- 2026-11-02: add by m2/dev
Tetragonal trapezohedron 9DC0Q66E4J
| URI | m2://inv/9DC0Q66E4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetragonal trapezohedron, Tetragonal trapezohedron (definition). Also Wikidata Q3893226
History
- 2026-11-02: add by m2/dev
Concatenation of paths 9DC472VZV8
| URI | m2://inv/9DC472VZV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path (topology)#PXES, Concatenation of paths (unknown)
History
- 2026-11-02: add by m2/dev
Johnson Midpoint 9DC4QKSPMH
| URI | m2://inv/9DC4QKSPMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1903336, Johnson Midpoint (unknown). Also MathWorld JohnsonMidpoint
History
- 2026-10-26: add by m2/dev
9DC5SJN3VT 9DC5SJN3VT
| URI | m2://inv/9DC5SJN3VT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#R93X (definition). In F6C80AEXC1/e1, definition 5.7
History
- 2026-10-29: add by m2/v0.4.12
9DC7J3F7HJ 9DC7J3F7HJ
| URI | m2://inv/9DC7J3F7HJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.23518#XVYG (statement)
History
- 2026-11-02: add by m2/v0.6.17
net 9DC9X5928W
| URI | m2://inv/9DC9X5928W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#N97M, net (definition)
History
- 2026-11-02: add by m2/dev
9DCC84G9Z0 9DCC84G9Z0
| URI | m2://inv/9DCC84G9Z0 |
|---|---|
| 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.27393#MBXG (statement)
History
- 2026-11-01: add by m2/v0.6.15
9DCH4N16MA 9DCH4N16MA
| URI | m2://inv/9DCH4N16MA |
|---|---|
| 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.04135#RLF6 (statement). In 587PWJ6W5D/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
9DCPRRDD7N 9DCPRRDD7N
| URI | m2://inv/9DCPRRDD7N |
|---|---|
| Kind | definition |
| 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.06441#Y4LK (definition). In YFJ62HWHVK/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
9DCX0ZF40B 9DCX0ZF40B
| URI | m2://inv/9DCX0ZF40B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#LRHP (definition). In BT6E9BXXF3/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Algorithm 9DCYAHDXJA
| URI | m2://inv/9DCYAHDXJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barabási–Albert model#NC7U, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 9DD0V9A1CT
| URI | m2://inv/9DD0V9A1CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signpost sequence#FLF8, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Alberto Beneduce 9DD63A89GQ
| URI | m2://inv/9DD63A89GQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#2A8P, Alberto Beneduce (unknown)
History
- 2026-11-02: add by m2/dev
9DDDEQ23TB 9DDDEQ23TB
| URI | m2://inv/9DDDEQ23TB |
|---|---|
| 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.06755#E401 (statement). In DKEX05SEXS/e1, corollary 5.10
History
- 2026-10-29: add by m2/v0.4.10
Curl (mathematics) 9DDWZYJHJK
| URI | m2://inv/9DDWZYJHJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#S0NI, Curl (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
L. T. F. Gamut 9DDX6758RM
| URI | m2://inv/9DDX6758RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#EHZ3, L. T. F. Gamut (definition)
History
- 2026-11-02: add by m2/dev
The Market for Lemons 9DDYFWYWJH
| URI | m2://inv/9DDYFWYWJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Market for Lemons, The Market for Lemons (definition). Also Wikidata Q555438
History
- 2026-11-02: add by m2/dev
delta function 9DE3BMBWDC
| URI | m2://inv/9DE3BMBWDC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/7.4.2/delta-function, delta function (concept). In E9HS8K3A52, index, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
Lazarev 9DE7YG2AJY
| URI | m2://inv/9DE7YG2AJY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#QD5C, Lazarev (definition). In YVGRZK1HRS/e1, definition 4.10
History
- 2026-10-29: add by m2/v0.4.10
9DE9XG1PC1 9DE9XG1PC1
| URI | m2://inv/9DE9XG1PC1 |
|---|---|
| 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.26162#QMS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GCH 9DEA4X4J7E
| URI | m2://inv/9DEA4X4J7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3PV9, GCH (definition)
History
- 2026-11-02: add by m2/dev
Exceptional affine cases 9DEAHJX0H8
| URI | m2://inv/9DEAHJX0H8 |
|---|---|
| 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#9YMF, Exceptional affine cases (statement). In 9NVKKW8HDH/e1, theorem 2.105
History
- 2026-10-28: add by m2/v0.4.2
9DEAYATCHG 9DEAYATCHG
| URI | m2://inv/9DEAYATCHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#JHRR (statement). In E4EK1XXPY4/e1, proposition 3.9
History
- 2026-10-31: add by m2/v0.5.6
9DEH73FJAZ 9DEH73FJAZ
| URI | m2://inv/9DEH73FJAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13241#MM5M (statement). In DWQWQ5KTEE/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Brauer's second main theorem 9DEP53VW0F
| URI | m2://inv/9DEP53VW0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer's three main theorems#PTJK, Brauer's second main theorem (statement)
History
- 2026-11-02: add by m2/dev
Shapley–Shubik power index 9DEZ8965T7
| URI | m2://inv/9DEZ8965T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Shubik power index, Shapley–Shubik power index (definition). Also Wikidata Q2915939
History
- 2026-11-02: add by m2/dev
Definition 9DF16ZKC6R
| URI | m2://inv/9DF16ZKC6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's property#ENCD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Attacking McEliece by finding low-weight codewords 9DF1M6FABN
| URI | m2://inv/9DF1M6FABN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McEliece cryptosystem#FJE1, Attacking McEliece by finding low-weight codewords (unknown)
History
- 2026-11-02: add by m2/dev
9DF3VJXQBF 9DF3VJXQBF
| URI | m2://inv/9DF3VJXQBF |
|---|---|
| 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.38532#74XN (statement). In X7YYWCZFTV/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
Properties 9DF478W6K3
| URI | m2://inv/9DF478W6K3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Nikodym theorem#QMR1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Special cases 9DF7RVSBCT
| URI | m2://inv/9DF7RVSBCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced subgraph isomorphism problem#NAGY, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Riemannian connection 9DF8MCJZPN
| URI | m2://inv/9DF8MCJZPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#I8PG, Riemannian connection (definition)
History
- 2026-11-02: add by m2/dev
Example 9DF9TEJ9YC
| URI | m2://inv/9DF9TEJ9YC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jet bundle#IXVX, Example (example)
History
- 2026-11-02: add by m2/dev
Examples 9DFRHAYWMW
| URI | m2://inv/9DFRHAYWMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign test#SIPO, Examples (example)
History
- 2026-11-02: add by m2/dev
Klaus Roth 9DFSVSAEV1
| URI | m2://inv/9DFSVSAEV1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GMLU, Klaus Roth (topic)
History
- 2026-11-02: add by m2/dev
together with 9DFZE4TJFZ
| URI | m2://inv/9DFZE4TJFZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.6/together-with, together with (concept). In N54F33XE07, index, section A.6
History
- 2026-11-01: add by m2/v0.6.13
Proof of $A\implies B$ by contradiction 9DG1KQH80P
| URI | m2://inv/9DG1KQH80P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#pf by contradiction for implication, Proof of $A\implies B$ by contradiction (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
Beeman's algorithm 9DGF4TMCZV
| URI | m2://inv/9DGF4TMCZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beeman's algorithm, Beeman's algorithm (definition). Also Wikidata Q4879859
History
- 2026-11-02: add by m2/dev
565 (number) 9DGFDKSRHP
| URI | m2://inv/9DGFDKSRHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#T5GK, 565 (number) (unknown)
History
- 2026-11-02: add by m2/dev
9DGGX3F3DQ 9DGGX3F3DQ
| URI | m2://inv/9DGGX3F3DQ |
|---|---|
| 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.15720#9R6Q (statement). In VNN52G3BRE/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
9DGHCD2MZK 9DGHCD2MZK
| URI | m2://inv/9DGHCD2MZK |
|---|---|
| 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 2609.28141#TG55 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 9DGKV67EMB
| URI | m2://inv/9DGKV67EMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudomanifold#Z0LL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 9DGM6BVGM5
| URI | m2://inv/9DGM6BVGM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffeology#ARWS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
9DGPC224MZ 9DGPC224MZ
| URI | m2://inv/9DGPC224MZ |
|---|---|
| Kind | problem |
| 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.34311#YADR (problem). In YYV9SHAPCZ/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
9DGTCJ8622 9DGTCJ8622
| URI | m2://inv/9DGTCJ8622 |
|---|---|
| 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 2610.15169#9CCL (statement). In V7SN19J84T/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
9DGWDPCMFA 9DGWDPCMFA
| URI | m2://inv/9DGWDPCMFA |
|---|---|
| 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.05396#XUMN (statement). In WMVRX5GV9P/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Special cases 9DGXK4EKNY
| URI | m2://inv/9DGXK4EKNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (topology)#AN4H, Special cases (statement)
History
- 2026-11-02: add by m2/dev
9DH5GSJSG0 9DH5GSJSG0
| URI | m2://inv/9DH5GSJSG0 |
|---|---|
| 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.14086#YJFK (statement). In J6EZ2RQW2F/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
9DHA0VAHZN 9DHA0VAHZN
| URI | m2://inv/9DHA0VAHZN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/discriminant.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 11
History
- 2026-11-01: add by m2/v0.6.13
Joseph Sgro 9DHGY9A03E
| URI | m2://inv/9DHGY9A03E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Sgro, Joseph Sgro (topic). Also Wikidata Q6286942
History
- 2026-11-02: add by m2/dev
9DHSDES0EE 9DHSDES0EE
| URI | m2://inv/9DHSDES0EE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 35-XX, 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 2610.12430#XT75 (example). In VGKCBWQ65N/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
9DHYDQN79B 9DHYDQN79B
| URI | m2://inv/9DHYDQN79B |
|---|---|
| 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.13877#NRQ2 (statement). In NBMA6DBKJG/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
9DJ18NHGF5 9DJ18NHGF5
| URI | m2://inv/9DJ18NHGF5 |
|---|---|
| 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.33941#0FPM (statement). In 64YCRQCKZN/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Mathieu wavelet 9DJ1ANY0YR
| URI | m2://inv/9DJ1ANY0YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu wavelet, Mathieu wavelet (definition). Also Wikidata Q6787243
History
- 2026-11-02: add by m2/dev
Gap of one trajectory 9DJ2SC37HB
| URI | m2://inv/9DJ2SC37HB |
|---|---|
| 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.12641#CVX7, Gap of one trajectory (statement). In X5BYGZZHPF/e1, theorem F.1
History
- 2026-10-28: add by m2/v0.4.2
Nathan Altshiller Court 9DJ3PGQKKK
| URI | m2://inv/9DJ3PGQKKK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathan Altshiller Court, Nathan Altshiller Court (topic). Also Wikidata Q6968857
History
- 2026-11-02: add by m2/dev
Wakeby distribution 9DJ9X0C9ME
| URI | m2://inv/9DJ9X0C9ME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#2RXR, Wakeby distribution (definition)
History
- 2026-11-02: add by m2/dev
9DJBNJ9Y8M 9DJBNJ9Y8M
| URI | m2://inv/9DJBNJ9Y8M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/inference-patterns.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 44.9.6
History
- 2026-11-01: add by m2/v0.6.13
Ana Justel 9DJJF48NX8
| URI | m2://inv/9DJJF48NX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ana Justel, Ana Justel (topic). Also Wikidata Q55363177
History
- 2026-11-02: add by m2/dev
9DJM1K2QA4 9DJM1K2QA4
| URI | m2://inv/9DJM1K2QA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#9GW2 (statement). In 7V2PVZS04C/e1, corollary 5.16
History
- 2026-10-31: add by m2/v0.5.6
9DJNZG8RVS 9DJNZG8RVS
| URI | m2://inv/9DJNZG8RVS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#proof-2 (proof). In QKM9DD2H56, proof, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
9DJRF3RSMG 9DJRF3RSMG
| URI | m2://inv/9DJRF3RSMG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#JQRX (example). In HWY7AQ4KT2/e1, example 2.5
History
- 2026-10-29: add by m2/v0.4.12
Logic formula minimization 9DJTNX062G
| URI | m2://inv/9DJTNX062G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinational logic#JJNT, Logic formula minimization (statement)
History
- 2026-11-02: add by m2/dev
Richards equation 9DJVB53Z3V
| URI | m2://inv/9DJVB53Z3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richards equation, Richards equation (definition). Also Wikidata Q2151066
History
- 2026-11-02: add by m2/dev
9DJWDKMBMP 9DJWDKMBMP
| URI | m2://inv/9DJWDKMBMP |
|---|---|
| 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.24451#HZ5V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Genus g surface 9DJXQWAMZD
| URI | m2://inv/9DJXQWAMZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus g surface, Genus g surface (definition). Also Wikidata Q65056565
History
- 2026-11-02: add by m2/dev
9DJYK7K93T 9DJYK7K93T
| URI | m2://inv/9DJYK7K93T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-83 (proof). In VNMV985MXX, proof, section 6.8
History
- 2026-11-01: add by m2/v0.6.13
Change of projection matrix 9DK1WEYKE6
| URI | m2://inv/9DK1WEYKE6 |
|---|---|
| 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.30957#6WPR, Change of projection matrix (statement). In P5YB6R0RK3/e1, lemma D.6
History
- 2026-10-31: add by m2/v0.5.6
Phokion G. Kolaitis 9DKC06PXC6
| URI | m2://inv/9DKC06PXC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DBCV, Phokion G. Kolaitis (topic)
History
- 2026-11-02: add by m2/dev
9DKC2NNH89 9DKC2NNH89
| URI | m2://inv/9DKC2NNH89 |
|---|---|
| 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#JNNU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Syntactic predicate 9DKD4R11ZB
| URI | m2://inv/9DKD4R11ZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic predicate, Syntactic predicate (definition). Also Wikidata Q7662657
History
- 2026-11-02: add by m2/dev
Interleaving 9DKDG5WRP9
| URI | m2://inv/9DKDG5WRP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#KQBB, Interleaving (definition)
History
- 2026-11-02: add by m2/dev
Law of exponents 9DKJW481XZ
| URI | m2://inv/9DKJW481XZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Sand Reckoner#IZAS, Law of exponents (statement)
History
- 2026-11-02: add by m2/dev
Carrie Diaz Eaton 9DKWGHVNPK
| URI | m2://inv/9DKWGHVNPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carrie Diaz Eaton, Carrie Diaz Eaton (topic). Also Wikidata Q96361383
History
- 2026-11-02: add by m2/dev
9DM5KQ7JVY 9DM5KQ7JVY
| URI | m2://inv/9DM5KQ7JVY |
|---|---|
| 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.27715#W2ZK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bourbaki 9DM7SGED9K
| URI | m2://inv/9DM7SGED9K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/bourbaki, Bourbaki (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
9DM9E668PC 9DM9E668PC
| URI | m2://inv/9DM9E668PC |
|---|---|
| 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.16233#BWLG (statement). In RNXMADQ33J/e1, theorem D.1
History
- 2026-10-28: add by m2/v0.4.2
Separable Hilbert space 9DMD8323HE
| URI | m2://inv/9DMD8323HE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#C879, Separable Hilbert space (unknown)
History
- 2026-11-02: add by m2/dev
9DME9HAYQ6 9DME9HAYQ6
| URI | m2://inv/9DME9HAYQ6 |
|---|---|
| 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.18346#YZ7B (statement). In QVPNGHTMEX/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
Committee for the Coordination of Statistical Activities 9DMFS9YEAE
| URI | m2://inv/9DMFS9YEAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Committee for the Coordination of Statistical Activities, Committee for the Coordination of Statistical Activities (definition). Also Wikidata Q5152967
History
- 2026-11-02: add by m2/dev
Herman Chernoff 9DMS36V199
| URI | m2://inv/9DMS36V199 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman Chernoff, Herman Chernoff (topic). Also Wikidata Q1610257
History
- 2026-11-02: add by m2/dev
9DMWEHTRAE 9DMWEHTRAE
| URI | m2://inv/9DMWEHTRAE |
|---|---|
| Kind | conjecture |
| 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.09314#VB0F (conjecture). In Z04N0B3R0V/e1, conjecture 3.10
History
- 2026-10-29: add by m2/v0.4.10
polygon reconstruction 9DMYW2XV7V
| URI | m2://inv/9DMYW2XV7V |
|---|---|
| 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.10408#R8EE, polygon reconstruction (statement). In H976NYKBNT/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.10
9DN314MDEV 9DN314MDEV
| URI | m2://inv/9DN314MDEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#5WX2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steinerian 9DN34W3R57
| URI | m2://inv/9DN34W3R57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinerian, Steinerian (definition). Also Wikidata Q7606866
History
- 2026-11-02: add by m2/dev
Examples 9DNDS34SDR
| URI | m2://inv/9DNDS34SDR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential Galois theory#26UV, Examples (example)
History
- 2026-11-02: add by m2/dev
claw 9DNHWEDM2C
| URI | m2://inv/9DNHWEDM2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#2B6L, claw (definition)
History
- 2026-11-02: add by m2/dev
Margherita Piazzola Beloch 9DNN8SDXTC
| URI | m2://inv/9DNN8SDXTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margherita Piazzola Beloch, Margherita Piazzola Beloch (topic). Also Wikidata Q3846922
History
- 2026-11-02: add by m2/dev
Artin–Zorn theorem 9DNQ951GQ7
| URI | m2://inv/9DNQ951GQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#YZ3V, Artin–Zorn theorem (statement)
History
- 2026-11-02: add by m2/dev
9DPCWVGXS3 9DPCWVGXS3
| URI | m2://inv/9DPCWVGXS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#Y708 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Minor 9DPMM7QNRV
| URI | m2://inv/9DPMM7QNRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#VYV0, Minor (definition)
History
- 2026-11-02: add by m2/dev
Pure-DP guarantee 9DPT044Z8Z
| URI | m2://inv/9DPT044Z8Z |
|---|---|
| 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.19573#I06J, Pure-DP guarantee (statement). In NM6Z2R61CN/e1, corollary 6
History
- 2026-10-28: add by m2/v0.4.2
Émile Borel 9DPWY4G862
| URI | m2://inv/9DPWY4G862 |
|---|---|
| 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 Q154356, Émile Borel (unknown). Also EoM Borel,_Émile, nLab Émile Borel, ProofWiki Mathematician:Félix_Édouard_Justin_Émile_Borel
- wikipedia: Wikipedia Émile Borel, Émile Borel (topic). Also Wikidata Q154356
History
- 2026-10-26: add by m2/dev
!:! 9DQ34ZTVFT
| URI | m2://inv/9DQ34ZTVFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#VE3G, !:! (definition)
History
- 2026-11-02: add by m2/dev
Great truncated cuboctahedron 9DQ399MY9V
| URI | m2://inv/9DQ399MY9V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#7XG4, Great truncated cuboctahedron (object)
History
- 2026-11-02: add by m2/dev
Exploded-view drawing 9DQ43PG8VJ
| URI | m2://inv/9DQ43PG8VJ |
|---|---|
| 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#02GW, Exploded-view drawing (unknown)
History
- 2026-11-02: add by m2/dev
L'Hôpital's rule (at infinity) 9DQ8JB28DM
| URI | m2://inv/9DQ8JB28DM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.2.3/l-hôpital-s-rule-at-infinity, L'Hôpital's rule (at infinity) (concept). In 907G4C4EJ1, index, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
Algorithms 9DQC4NTZMC
| URI | m2://inv/9DQC4NTZMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voronoi diagram#IS7F, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Ruth Haas 9DQNE93NZY
| URI | m2://inv/9DQNE93NZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BVD5, Ruth Haas (topic)
History
- 2026-11-02: add by m2/dev
Net 9DQPPNF7NA
| URI | m2://inv/9DQPPNF7NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#SA6C, Net (definition)
History
- 2026-11-02: add by m2/dev
Unit of analysis 9DQQ5FK784
| URI | m2://inv/9DQQ5FK784 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit of analysis, Unit of analysis (definition). Also Wikidata Q7887142
History
- 2026-11-02: add by m2/dev
Jean-Yves Girard 9DQS24CRVA
| URI | m2://inv/9DQS24CRVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#JOM7, Jean-Yves Girard (topic)
History
- 2026-11-02: add by m2/dev
Fibrations of graphs 9DQWV01HBP
| URI | m2://inv/9DQWV01HBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibrations of graphs, Fibrations of graphs (definition). Also Wikidata Q138716856
History
- 2026-11-02: add by m2/dev
9DR06P00EJ 9DR06P00EJ
| URI | m2://inv/9DR06P00EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#PTBU (statement). In CSW6NG0FRN/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
9DR5PNCKF0 9DR5PNCKF0
| URI | m2://inv/9DR5PNCKF0 |
|---|---|
| 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.29699#QHKU (statement)
History
- 2026-11-01: add by m2/v0.6.15
9DR5Y8HEBZ 9DR5Y8HEBZ
| URI | m2://inv/9DR5Y8HEBZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/computably-axiomatizable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.6
History
- 2026-11-01: add by m2/v0.6.13
9DR7B8Y4J5 9DR7B8Y4J5
| URI | m2://inv/9DR7B8Y4J5 |
|---|---|
| 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.15037#PRB8 (statement). In 9XCA9T80GJ/e1, lemma 6.1.1
History
- 2026-10-28: add by m2/v0.4.2
Methods 9DR7E237D4
| URI | m2://inv/9DR7E237D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial optimization#P212, Methods (definition)
History
- 2026-11-02: add by m2/dev
9DRCKWYXTJ 9DRCKWYXTJ
| URI | m2://inv/9DRCKWYXTJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30525#JJR8 (definition). In CHEZQEACQG/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
Test functions 9DRRZHK6JP
| URI | m2://inv/9DRRZHK6JP |
|---|---|
| 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.06490#0CO7, Test functions (statement). In NKXTXH59P1/e1, lemma B.8
History
- 2026-10-29: add by m2/v0.4.10
9DRT3RA4F2 9DRT3RA4F2
| URI | m2://inv/9DRT3RA4F2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#VOMP (statement). In N5ZM8MXJXH/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
Micropolygon 9DRYDMM0A7
| URI | m2://inv/9DRYDMM0A7 |
|---|---|
| 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#KCOD, Micropolygon (unknown)
History
- 2026-11-02: add by m2/dev
9DRZB9P310 9DRZB9P310
| URI | m2://inv/9DRZB9P310 |
|---|---|
| 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.35030#I93Q (statement). In DPT4P2BTEW/e1, corollary 6.5
History
- 2026-10-30: add by m2/v0.4.12
A norm-one complemented copy of $\ell_1$ 9DS7GPVEFD
| URI | m2://inv/9DS7GPVEFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#5WO4, A norm-one complemented copy of $\ell_1$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rudolf Ahlswede 9DSA0YD0SS
| URI | m2://inv/9DSA0YD0SS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Ahlswede, Rudolf Ahlswede (topic). Also Wikidata Q99607
History
- 2026-11-02: add by m2/dev
charm quark 9DSFMMHCEQ
| URI | m2://inv/9DSFMMHCEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6754, charm quark (unknown). Also nLab charm quark
History
- 2026-10-26: add by m2/dev
Reproducibility 9DSNMPNG8F
| URI | m2://inv/9DSNMPNG8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reproducibility, Reproducibility (definition). Also Wikidata Q1425625
History
- 2026-11-02: add by m2/dev
9DT4XJWC2J 9DT4XJWC2J
| URI | m2://inv/9DT4XJWC2J |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-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.27420#O1S8 (problem)
History
- 2026-11-01: add by m2/v0.6.15
9DTCDEEAVV 9DTCDEEAVV
| URI | m2://inv/9DTCDEEAVV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21305#AYET (definition)
History
- 2026-11-02: add by m2/v0.6.18
Applications 9DTGQNZRG0
| URI | m2://inv/9DTGQNZRG0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's unbiased risk estimate#CF9O, Applications (example)
History
- 2026-11-02: add by m2/dev
Richard S. Hamilton 9DTJ34B01R
| URI | m2://inv/9DTJ34B01R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#TSAS, Richard S. Hamilton (topic)
History
- 2026-11-02: add by m2/dev
Aart Blokhuis 9DTM2888ER
| URI | m2://inv/9DTM2888ER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#10D2, Aart Blokhuis (unknown)
History
- 2026-11-02: add by m2/dev
9DV0FANPAD 9DV0FANPAD
| URI | m2://inv/9DV0FANPAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.27295#78SA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalization 9DV4H8TKAZ
| URI | m2://inv/9DV4H8TKAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ∞-Chern–Weil theory#PR9D, Generalization (statement)
History
- 2026-11-02: add by m2/dev
9DV60F1ZXS 9DV60F1ZXS
| URI | m2://inv/9DV60F1ZXS |
|---|---|
| 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 1712.02437#GEFM (statement). In GZDFK652T9/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Example 9DV99QKW85
| URI | m2://inv/9DV99QKW85 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-correlation matrix#B7CG, Example (example)
History
- 2026-11-02: add by m2/dev
LDP amplification via $\varepsilon$-PML post-processing 9DVAXJ0ZR3
| URI | m2://inv/9DVAXJ0ZR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.28297#Z2HH, LDP amplification via $\varepsilon$-PML post-processing (statement)
History
- 2026-11-01: add by m2/v0.6.15
Deterministic Farey-boundary reduction and complexity 9DVCZSX1CJ
| URI | m2://inv/9DVCZSX1CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07293#ZS3I, Deterministic Farey-boundary reduction and complexity (statement). In V1GVYM0WQG/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
Restatement of cardinality properties 9DVHYRV95T
| URI | m2://inv/9DVHYRV95T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#proposition-1, Restatement of cardinality properties (statement). In RZP28ERRZV, proposition, section 89.2
History
- 2026-11-01: add by m2/v0.6.13
Sinusoidal model 9DVKM4JG2H
| URI | m2://inv/9DVKM4JG2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FN1M, Sinusoidal model (definition)
History
- 2026-11-02: add by m2/dev
Directional Derivative Lipschitz Bound 9DVN6D7KW2
| URI | m2://inv/9DVN6D7KW2 |
|---|---|
| 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.14344#Q56A, Directional Derivative Lipschitz Bound (statement). In ZVCD8RG1JJ/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Cubic formula 9DVTZGW77K
| URI | m2://inv/9DVTZGW77K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbulb#Y05L, Cubic formula (statement)
History
- 2026-11-02: add by m2/dev
Definition 9DVWFR963T
| URI | m2://inv/9DVWFR963T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RL (complexity)#KTU0, Definition (definition)
History
- 2026-11-02: add by m2/dev
9DVX9HRA1D 9DVX9HRA1D
| URI | m2://inv/9DVX9HRA1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#ZQZV (statement). In 3A4K47Y9F2/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0
Monstrous moonshine 9DW2QQ6464
| URI | m2://inv/9DW2QQ6464 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#UP8O, Monstrous moonshine (definition)
- wikipedia: Wikipedia List of string theory topics#8958, Monstrous moonshine (definition)
History
- 2026-11-02: add by m2/dev
Laurent-series descent 9DW318YAR3
| URI | m2://inv/9DW318YAR3 |
|---|---|
| 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.19243#EMDA, Laurent-series descent (statement). In 8CSXBTYKDT/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
9DW856Q57E 9DW856Q57E
| URI | m2://inv/9DW856Q57E |
|---|---|
| Kind | definition |
| 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.16060#UJ00 (definition). In X0BTF9HPGM/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
9DWCSXC0DT 9DWCSXC0DT
| URI | m2://inv/9DWCSXC0DT |
|---|---|
| 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 2501.15210#Z67W (statement). In S4S8V2DYSA/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Michel Wedel 9DWDKTSNM9
| URI | m2://inv/9DWDKTSNM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WYZT, Michel Wedel (unknown)
History
- 2026-11-02: add by m2/dev
9DWE41FVC0 9DWE41FVC0
| URI | m2://inv/9DWE41FVC0 |
|---|---|
| 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 2609.31289#0IGO (definition). In CPDM7J0CC0/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
$G$-graded seed 9DWKTYYTVM
| URI | m2://inv/9DWKTYYTVM |
|---|---|
| Kind | definition |
| 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 2610.03612#NP0C, $G$-graded seed (definition). In REDG6QVHM3/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
9DWN5ZTKTD 9DWN5ZTKTD
| URI | m2://inv/9DWN5ZTKTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.38068#0198 (statement). In 67GE5M1GGD/e1, corollary 5.9
History
- 2026-10-30: add by m2/v0.4.12
9DWP89GDXG 9DWP89GDXG
| URI | m2://inv/9DWP89GDXG |
|---|---|
| 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.20716#6FKB (statement)
History
- 2026-11-02: add by m2/v0.6.18
9DX5354707 9DX5354707
| URI | m2://inv/9DX5354707 |
|---|---|
| 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 2508.03972#94ZC (statement). In 2JD3KNKJ1P/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Sotero Prieto Rodríguez 9DX5H67F99
| URI | m2://inv/9DX5H67F99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sotero Prieto Rodríguez, Sotero Prieto Rodríguez (topic). Also Wikidata Q5550738
History
- 2026-11-02: add by m2/dev
9DXFZR5MF4 9DXFZR5MF4
| URI | m2://inv/9DXFZR5MF4 |
|---|---|
| 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.40207#EQUA (statement). In JXTG8KP95P/e1, proposition 2.34
History
- 2026-10-30: add by m2/v0.4.12
tensor product 9DXJWA5N58
| URI | m2://inv/9DXJWA5N58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > tensor product, tensor product (unknown). Also Mathlib TensorProduct
History
- 2026-10-26: add by m2/dev
9DXP8D65AE 9DXP8D65AE
| URI | m2://inv/9DXP8D65AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.13260#95IN (statement). In ZBQX9341RV/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Compact inputs at the mass endpoint 9DXT013G69
| URI | m2://inv/9DXT013G69 |
|---|---|
| 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#CT3F, Compact inputs at the mass endpoint (statement). In 9YAE8FNQST/e1, corollary 14.11
History
- 2026-10-30: add by m2/v0.4.12
9DXT59WE58 9DXT59WE58
| URI | m2://inv/9DXT59WE58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#def:augment (definition). In RZP28ERRZV, definition, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
Weighted automaton 9DXV7D70D8
| URI | m2://inv/9DXV7D70D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted automaton, Weighted automaton (definition). Also Wikidata Q109535851
History
- 2026-11-02: add by m2/dev
9DY41NNY2W 9DY41NNY2W
| URI | m2://inv/9DY41NNY2W |
|---|---|
| Kind | statement |
| 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#ADMF (statement). In HX63A1PH1W/e1, proposition 6.19
History
- 2026-10-28: add by m2/v0.4.3
9DYCCR3CET 9DYCCR3CET
| URI | m2://inv/9DYCCR3CET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#RAXI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Reduction to one constant 9DYGD30P7K
| URI | m2://inv/9DYGD30P7K |
|---|---|
| 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.25015#86LU, Reduction to one constant (statement)
History
- 2026-11-01: add by m2/v0.6.15
9DYHYENHK5 9DYHYENHK5
| URI | m2://inv/9DYHYENHK5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-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.18929#SWEE (definition). In ZRJ2DZT6P1/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Hodges–Lehmann estimator 9DYJ51PYX1
| URI | m2://inv/9DYJ51PYX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodges–Lehmann estimator, Hodges–Lehmann estimator (definition). Also Wikidata Q15729148
History
- 2026-11-02: add by m2/dev
9DYT5V6675 9DYT5V6675
| URI | m2://inv/9DYT5V6675 |
|---|---|
| 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.08664#1LIG (statement). In 1YY0P4ZS0T/e1, lemma 42
History
- 2026-10-29: add by m2/v0.4.10
9DYWX8139E 9DYWX8139E
| URI | m2://inv/9DYWX8139E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#I790 (statement). In 13H5BTAXHF/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
Alfred J. Lotka 9DZ42ZCH58
| URI | m2://inv/9DZ42ZCH58 |
|---|---|
| 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#VCX2, Alfred J. Lotka (topic)
History
- 2026-11-02: add by m2/dev
Nell Sedransk 9DZAK8525K
| URI | m2://inv/9DZAK8525K |
|---|---|
| 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#OG82, Nell Sedransk (topic)
History
- 2026-11-02: add by m2/dev
barycenter 9DZB4JHHDF
| URI | m2://inv/9DZB4JHHDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q809690, barycenter (unknown). Also nLab barycenter
History
- 2026-10-26: add by m2/dev
Krull ring 9DZBAPVB27
| URI | m2://inv/9DZBAPVB27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#2B6E, Krull ring (definition)
History
- 2026-11-02: add by m2/dev
9DZFYH0TGA 9DZFYH0TGA
| URI | m2://inv/9DZFYH0TGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-1.xml#definition-1 (definition). In 649HGZKE96, definition, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Hudde's rules 9DZH4WYSCZ
| URI | m2://inv/9DZH4WYSCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hudde's rules, Hudde's rules (definition). Also Wikidata Q5928235
History
- 2026-11-02: add by m2/dev
9DZKA253EG 9DZKA253EG
| URI | m2://inv/9DZKA253EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#Z8N6 (statement). In 3A4K47Y9F2/e1, theorem 4.39
History
- 2026-10-27: add by m2/v0.4.0
9DZMXHTX9Y 9DZMXHTX9Y
| URI | m2://inv/9DZMXHTX9Y |
|---|---|
| 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 2405.04958#Q07R (statement). In 5HQJSF6458/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
9DZNER2WC1 9DZNER2WC1
| URI | m2://inv/9DZNER2WC1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-3 (example). In Y91XFCEVHQ, example, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
graph, independent 9DZRDQNACC
| URI | m2://inv/9DZRDQNACC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/graph-independent, graph, independent (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
9DZY25JEAM 9DZY25JEAM
| URI | m2://inv/9DZY25JEAM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#6B2K (example). In 6KR7Z5ETRY/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5