Inventory rows E7
The cards of the rows of the inventory whose ids start with E7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
E702KGD0J5 E702KGD0J5
| URI | m2://inv/E702KGD0J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#X7A5 (statement). In 8SVVEVGMNE/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
E70BVE5ZF6 E70BVE5ZF6
| URI | m2://inv/E70BVE5ZF6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
E70DSWRNV4 E70DSWRNV4
| URI | m2://inv/E70DSWRNV4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolstenholme prime#C6EU (problem)
History
- 2026-11-02: add by m2/dev
E70K0FEP6X E70K0FEP6X
| URI | m2://inv/E70K0FEP6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/WellOrderingPrinciple.tex#thm:reverse WOP (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Example E70N2EW0W4
| URI | m2://inv/E70N2EW0W4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal string#N1NR, Example (example)
History
- 2026-11-02: add by m2/dev
Reduction E70NRM9TFS
| URI | m2://inv/E70NRM9TFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#6GBW, Reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermite number E70P09NQRB
| URI | m2://inv/E70P09NQRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#23O1, Hermite number (definition)
History
- 2026-11-02: add by m2/dev
Inequality E70V2NPJK3
| URI | m2://inv/E70V2NPJK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinality#4UWD, Inequality (statement)
History
- 2026-11-02: add by m2/dev
E70WC2TTB2 E70WC2TTB2
| URI | m2://inv/E70WC2TTB2 |
|---|---|
| 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 2602.19452#EL6B (statement). In 3GF75S0XJ0/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.4.0
$k$-varifold and weight measure E711B3C1DE
| URI | m2://inv/E711B3C1DE |
|---|---|
| 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 2609.24451#90IE, $k$-varifold and weight measure (definition)
History
- 2026-11-01: add by m2/v0.6.15
Regularity of test functions E715JH0GZH
| URI | m2://inv/E715JH0GZH |
|---|---|
| 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.22090#IIDP, Regularity of test functions (statement). In NKJWGF050C/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
Primitive element (Lie algebra) E71BK5BPB2
| URI | m2://inv/E71BK5BPB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel subalgebra#2BIC, Primitive element (Lie algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Pasting theorem for 2-category E71CX3HTP7
| URI | m2://inv/E71CX3HTP7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasting theorem#A8SH, Pasting theorem for 2-category (statement)
History
- 2026-11-02: add by m2/dev
Application E71D958TZE
| URI | m2://inv/E71D958TZE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference set#1PF7, Application (example)
History
- 2026-11-02: add by m2/dev
Archimedean principle for $\RC$ E71E7CRYMV
| URI | m2://inv/E71E7CRYMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RC-archimedean, Archimedean principle for $\RC$ (statement). In N54F33XE07, thm, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Edmonds' algorithm E71F3DRHJJ
| URI | m2://inv/E71F3DRHJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmonds' algorithm, Edmonds' algorithm (definition). Also Wikidata Q1752324
History
- 2026-11-02: add by m2/dev
Definitions E71RJKN2QF
| URI | m2://inv/E71RJKN2QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost holomorphic modular form#JHPK, Definitions (definition)
History
- 2026-11-02: add by m2/dev
E71WMVVFZP E71WMVVFZP
| URI | m2://inv/E71WMVVFZP |
|---|---|
| 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.20421#3ET3 (statement). In Q4R7J8JE3F/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.2
E72073Y2ED E72073Y2ED
| URI | m2://inv/E72073Y2ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13103#EJ6D (statement). In GG2ZZV6KEQ/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
E7218MAMYF E7218MAMYF
| URI | m2://inv/E7218MAMYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#CX3U (statement). In 9JHMTYGWFQ/e1, theorem 7.4
History
- 2026-10-27: add by m2/v0.3.6
2187 E72EVMT39P
| URI | m2://inv/E72EVMT39P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1489774, 2187 (unknown). Also MathWorld 2187
History
- 2026-10-26: add by m2/dev
Amemiya, Takeshi E72FNAMBKT
| URI | m2://inv/E72FNAMBKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SZBA, Amemiya, Takeshi (unknown)
History
- 2026-11-02: add by m2/dev
Extreme-ray rank bound E72KYD972Z
| URI | m2://inv/E72KYD972Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#T7QH, Extreme-ray rank bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fréchet E72MB5MD2G
| URI | m2://inv/E72MB5MD2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#4QEK, Fréchet (definition)
History
- 2026-11-02: add by m2/dev
E72R622XBW E72R622XBW
| URI | m2://inv/E72R622XBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#prop-symmetric-dot (statement). In 649HGZKE96, proposition, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Tropical basis E72TJKAWPA
| URI | m2://inv/E72TJKAWPA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical geometry#UVMH, Tropical basis (unknown)
History
- 2026-11-02: add by m2/dev
E72Z2CE48T E72Z2CE48T
| URI | m2://inv/E72Z2CE48T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#N3MR (statement). In C8VC86B6H8/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
maximum, antichain E7316SNFKG
| URI | m2://inv/E7316SNFKG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.3/maximum-antichain, maximum, antichain (concept). In QKM9DD2H56, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Bivariate analysis E7343EZ0HX
| URI | m2://inv/E7343EZ0HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bivariate analysis, Bivariate analysis (definition). Also Wikidata Q3614957
History
- 2026-11-02: add by m2/dev
J-2 ring E73D8XSFS8
| URI | m2://inv/E73D8XSFS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-2 ring, J-2 ring (definition). Also Wikidata Q17092985
History
- 2026-11-02: add by m2/dev
bijection E73PYCDSPR
| URI | m2://inv/E73PYCDSPR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4.2/bijection, bijection (concept). In Y91XFCEVHQ, index, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
Definitions E73QQ353MR
| URI | m2://inv/E73QQ353MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex set#KG1M, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Double limit property E73QZVDGJQ
| URI | m2://inv/E73QZVDGJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#VZJO, Double limit property (definition). In P55JSAYR3T/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Path tracing E74292EFCW
| URI | m2://inv/E74292EFCW |
|---|---|
| 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#IXN8, Path tracing (unknown)
History
- 2026-11-02: add by m2/dev
Number Scrabble E747Y7CJ4R
| URI | m2://inv/E747Y7CJ4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number Scrabble, Number Scrabble (definition). Also Wikidata Q28454428
History
- 2026-11-02: add by m2/dev
Nima Arkani-Hamed E74AWHQXFQ
| URI | m2://inv/E74AWHQXFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q545142, Nima Arkani-Hamed (unknown). Also nLab Nima Arkani-Hamed
History
- 2026-10-26: add by m2/dev
Statement of the theorem for the case E74BRAMZTJ
| URI | m2://inv/E74BRAMZTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stolz–Cesàro theorem#YRYP, Statement of the theorem for the case (statement)
History
- 2026-11-02: add by m2/dev
E74GJ1KXNG E74GJ1KXNG
| URI | m2://inv/E74GJ1KXNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#definition-4 (definition). In RZP28ERRZV, definition, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Syria Euphratensis Secunda E74JN1R5BB
| URI | m2://inv/E74JN1R5BB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LHMX, Syria Euphratensis Secunda (unknown)
History
- 2026-11-02: add by m2/dev
Pass lengths E74MM4H619
| URI | m2://inv/E74MM4H619 |
|---|---|
| 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.12713#74Z7, Pass lengths (statement). In F14A5HX20Q/e1, lemma D.1.3
History
- 2026-10-28: add by m2/v0.4.2
Variably strict conditional E74N5HQWV3
| URI | m2://inv/E74N5HQWV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counterfactual conditional#2S85, Variably strict conditional (unknown)
History
- 2026-11-02: add by m2/dev
Post-Newtonian expansion E74S443FRA
| URI | m2://inv/E74S443FRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-Newtonian expansion, Post-Newtonian expansion (definition). Also Wikidata Q1002299
History
- 2026-11-02: add by m2/dev
Zcash E74WVFBKNZ
| URI | m2://inv/E74WVFBKNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zcash, Zcash (definition). Also Wikidata Q27148141
History
- 2026-11-02: add by m2/dev
quadratic function E74XDC7KKA
| URI | m2://inv/E74XDC7KKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50695, quadratic function (unknown). Also MathWorld Quadratic
- wikipedia: Wikipedia Quadratic function, Quadratic function (definition). Also Wikidata Q50695
History
- 2026-10-26: add by m2/dev
E74XTS55V4 E74XTS55V4
| URI | m2://inv/E74XTS55V4 |
|---|---|
| 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 2605.23846#2N6P (statement). In H72CXFWVPV/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Local well-posedness E74YC13BVP
| URI | m2://inv/E74YC13BVP |
|---|---|
| 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.24789#V7W4, Local well-posedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic realization of the cotangent differential form E74YNEGJM2
| URI | m2://inv/E74YNEGJM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#LNNF, Algebraic realization of the cotangent differential form (statement). In HWY7AQ4KT2/e1, proposition 1.6
History
- 2026-10-29: add by m2/v0.4.12
Truth bias E74YYXW2KV
| URI | m2://inv/E74YYXW2KV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#NDYO, Truth bias (unknown)
History
- 2026-11-02: add by m2/dev
E755V2A2MP E755V2A2MP
| URI | m2://inv/E755V2A2MP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#64FI (statement). In 2BET1RE1F6/e1, theorem B
History
- 2026-10-31: add by m2/v0.5.6
Certified Configurations on Both Sides of the Critical Extension E756HNZG30
| URI | m2://inv/E756HNZG30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#GJPA, Certified Configurations on Both Sides of the Critical Extension (statement). In Z6WA2R0J50/e1, corollary 9.2
History
- 2026-10-28: add by m2/v0.4.2
Examples E756YSPB2V
| URI | m2://inv/E756YSPB2V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#OZ1I, Examples (example)
History
- 2026-11-02: add by m2/dev
E7593QR2C2 E7593QR2C2
| URI | m2://inv/E7593QR2C2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14458#006H (example). In WJ76MVYAZQ/e1, example 2.19
History
- 2026-10-28: add by m2/v0.4.2
Jaap Murre E75BME41G7
| URI | m2://inv/E75BME41G7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaap Murre, Jaap Murre (topic). Also Wikidata Q28085206
History
- 2026-11-02: add by m2/dev
E75EX2Q6FN E75EX2Q6FN
| URI | m2://inv/E75EX2Q6FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04675#4R47 (statement). In RDXNFF2CZP/e1, proposition 28
History
- 2026-10-29: add by m2/v0.4.12
E75J89A4YK E75J89A4YK
| URI | m2://inv/E75J89A4YK |
|---|---|
| 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.09882#DSSV (statement). In 7XV6T4N79V/e1, lemma B.7
History
- 2026-10-29: add by m2/v0.4.10
Master stability function E75KAT4DHT
| URI | m2://inv/E75KAT4DHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Master stability function, Master stability function (definition). Also Wikidata Q17103276
History
- 2026-11-02: add by m2/dev
Bounded variation E75V8CYSJ1
| URI | m2://inv/E75V8CYSJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#CNTX, Bounded variation (definition)
History
- 2026-11-02: add by m2/dev
Yang–Baxter equation E75X0YY9DR
| URI | m2://inv/E75X0YY9DR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Baxter equation, Yang–Baxter equation (definition). Also Wikidata Q4476530
History
- 2026-11-02: add by m2/dev
E75Z1ZX1NC E75Z1ZX1NC
| URI | m2://inv/E75Z1ZX1NC |
|---|---|
| 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.12371#LQQ7 (statement). In 8TTFQH19QR/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Sufficient condition for a descent direction E760XDASA8
| URI | m2://inv/E760XDASA8 |
|---|---|
| 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.33206#CSVR, Sufficient condition for a descent direction (statement). In VRPEECJF2P/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Contact bundle E763P3Q4AQ
| URI | m2://inv/E763P3Q4AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact bundle, Contact bundle (definition). Also Wikidata Q136679032
History
- 2026-11-02: add by m2/dev
union E768EJCYWC
| URI | m2://inv/E768EJCYWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Union 0X1GSWNBN1 |
Mentions
- wikidata: Wikidata Q185359, union (unknown). Also MathWorld Union
- wikipedia: Wikipedia Union (set theory), Union (definition). Also Wikidata Q185359
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Sal Alosi E76ATA6K09
| URI | m2://inv/E76ATA6K09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#UL8Z, Sal Alosi (unknown)
History
- 2026-11-02: add by m2/dev
E76EAYWPHZ E76EAYWPHZ
| URI | m2://inv/E76EAYWPHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#ZG5F (statement). In 6WJ0R9YEBR/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Covering numbers of $\Phi_v(\Theta)$ E76JGYWW27
| URI | m2://inv/E76JGYWW27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12565#PR33, Covering numbers of $\Phi_v(\Theta)$ (statement). In 9RYQ164FWA/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
E76R6WTFFF E76R6WTFFF
| URI | m2://inv/E76R6WTFFF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#V4GK (definition). In B9EX6K51RD/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Reisner's criterion E76ZVD5RCM
| URI | m2://inv/E76ZVD5RCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley–Reisner ring#KS3V, Reisner's criterion (statement)
History
- 2026-11-02: add by m2/dev
E778WHV4NQ E778WHV4NQ
| URI | m2://inv/E778WHV4NQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25282#HSGI (definition)
History
- 2026-11-01: add by m2/v0.6.15
E77AZVXHC7 E77AZVXHC7
| URI | m2://inv/E77AZVXHC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#WOET (statement). In HA4SZZJ831/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
E77GV06MNX E77GV06MNX
| URI | m2://inv/E77GV06MNX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
E77JD0XD6F E77JD0XD6F
| URI | m2://inv/E77JD0XD6F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#0X93 (definition). In QX77AN49J0/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
join E77RFPNEWH
| URI | m2://inv/E77RFPNEWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#J71E, join (definition)
History
- 2026-11-02: add by m2/dev
E77Y7Z79ST E77Y7Z79ST
| URI | m2://inv/E77Y7Z79ST |
|---|---|
| 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 2011.12496#K2HS (statement). In 1DH15ZJFRZ/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Hongmei Zhang E77YAYFGCS
| URI | m2://inv/E77YAYFGCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hongmei Zhang, Hongmei Zhang (topic). Also Wikidata Q102170115
History
- 2026-11-02: add by m2/dev
E77ZY8NQCH E77ZY8NQCH
| URI | m2://inv/E77ZY8NQCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#SRYJ (statement). In KM3Q791JY0/e1, proposition 4.18
History
- 2026-10-27: add by m2/v0.4.2
E78239TWH8 E78239TWH8
| URI | m2://inv/E78239TWH8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#example-6 (example). In E9HS8K3A52, example, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Buoyancy E788M8J5J5
| URI | m2://inv/E788M8J5J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#063K, Buoyancy (unknown)
History
- 2026-11-02: add by m2/dev
Louis de Branges de Bourcia E78B0JNY31
| URI | m2://inv/E78B0JNY31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J5AL, Louis de Branges de Bourcia (topic)
History
- 2026-11-02: add by m2/dev
E78JPM2F7S E78JPM2F7S
| URI | m2://inv/E78JPM2F7S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#proof-1 (proof). In RZP28ERRZV, proof, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
E793VGJVMR E793VGJVMR
| URI | m2://inv/E793VGJVMR |
|---|---|
| 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 2405.05684#803J (statement). In 1PR73ECTZB/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
E7945B2BD9 E7945B2BD9
| URI | m2://inv/E7945B2BD9 |
|---|---|
| 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.23562#P17L (statement)
History
- 2026-11-02: add by m2/v0.6.17
E796AK70K9 E796AK70K9
| URI | m2://inv/E796AK70K9 |
|---|---|
| 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.10873#D2JW (statement). In AYG8HYGW6V/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.3
Example E797DVRZ0Z
| URI | m2://inv/E797DVRZ0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exportation (logic)#B8W1, Example (example)
History
- 2026-11-02: add by m2/dev
Examples E797HR3QVN
| URI | m2://inv/E797HR3QVN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete lattice#HEKK, Examples (example)
History
- 2026-11-02: add by m2/dev
Differential coefficient E79CBMKMA6
| URI | m2://inv/E79CBMKMA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential coefficient, Differential coefficient (definition). Also Wikidata Q5275339
History
- 2026-11-02: add by m2/dev
Joseph Diez Gergonne E79D5143RQ
| URI | m2://inv/E79D5143RQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Diez Gergonne, Joseph Diez Gergonne (topic). Also Wikidata Q1707098
History
- 2026-11-02: add by m2/dev
Quota rule E79EN987WS
| URI | m2://inv/E79EN987WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quota rule, Quota rule (definition). Also Wikidata Q60791199
History
- 2026-11-02: add by m2/dev
E79RGKSZ7Z E79RGKSZ7Z
| URI | m2://inv/E79RGKSZ7Z |
|---|---|
| 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.29196#HGWT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philippe de La Hire E7A15QXAJX
| URI | m2://inv/E7A15QXAJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#3MBP, Philippe de La Hire (topic)
History
- 2026-11-02: add by m2/dev
Sequence number E7A3QQXSSS
| URI | m2://inv/E7A3QQXSSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence number, Sequence number (definition). Also Wikidata Q124666085
History
- 2026-11-02: add by m2/dev
challenging E7A6W5DRN8
| URI | m2://inv/E7A6W5DRN8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-27, challenging (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Frankel, Lester E7A7EN9KK5
| URI | m2://inv/E7A7EN9KK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FMSU, Frankel, Lester (unknown)
History
- 2026-11-02: add by m2/dev
E7ACG8GXXV E7ACG8GXXV
| URI | m2://inv/E7ACG8GXXV |
|---|---|
| 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 2502.09442#V4A7 (statement). In DNT32YYDM4/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.0
Applications E7AESPJTZM
| URI | m2://inv/E7AESPJTZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cole–Hopf transformation#4E5W, Applications (example)
History
- 2026-11-02: add by m2/dev
E7AFQ6DZH9 E7AFQ6DZH9
| URI | m2://inv/E7AFQ6DZH9 |
|---|---|
| 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 2108.03672#6FRU (definition). In EZZSZ1F071/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.4.0
Allocations E7B0FY9M21
| URI | m2://inv/E7B0FY9M21 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#2W9P, Allocations (definition). In C44HVXWYRF/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Scaling Invariant Property E7B5YQT61H
| URI | m2://inv/E7B5YQT61H |
|---|---|
| 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.15111#E53N, Scaling Invariant Property (statement). In 6RE6JYE4GP/e1, corollary B.5
History
- 2026-10-28: add by m2/v0.4.2
John R. Klauder E7BD85GJTX
| URI | m2://inv/E7BD85GJTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LJLB, John R. Klauder (unknown)
History
- 2026-11-02: add by m2/dev
Class number and valencies E7BKBEPTTM
| URI | m2://inv/E7BKBEPTTM |
|---|---|
| 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#M7BZ, Class number and valencies (statement). In 9NVKKW8HDH/e1, proposition 3.31
History
- 2026-10-28: add by m2/v0.4.2
E7BWQFP05P E7BWQFP05P
| URI | m2://inv/E7BWQFP05P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's conjecture II#8P0Z (problem)
History
- 2026-11-02: add by m2/dev
E7BX011A6H E7BX011A6H
| URI | m2://inv/E7BX011A6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#Q21S (statement). In GXHKRV5BPY/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
Single-level detection E7BXSW5SEW
| URI | m2://inv/E7BXSW5SEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#5M3N, Single-level detection (statement). In C04B15GH1T/e1, corollary 4.11
History
- 2026-10-30: add by m2/v0.4.12
George Blakley E7C94F83GH
| URI | m2://inv/E7C94F83GH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Blakley, George Blakley (topic). Also Wikidata Q5537041
History
- 2026-11-02: add by m2/dev
E7CCWEHAH2 E7CCWEHAH2
| URI | m2://inv/E7CCWEHAH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07442#G74T (statement). In 6SDC2Z8Y8M/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
E7CSXPBBGS E7CSXPBBGS
| URI | m2://inv/E7CSXPBBGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#0LJ1 (statement). In GYMGDQS25R/e1, theorem 6.23
History
- 2026-10-29: add by m2/v0.4.10
Discrete universality along Gram powers E7CWGCY8GP
| URI | m2://inv/E7CWGCY8GP |
|---|---|
| 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.22107#SCSY, Discrete universality along Gram powers (statement). In SN5RJPQ713/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.0
Borel's theorem on power series expansions E7CXJ9FPSK
| URI | m2://inv/E7CXJ9FPSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjection of Fréchet spaces#3U2U, Borel's theorem on power series expansions (statement)
History
- 2026-11-02: add by m2/dev
Examples E7CXVBPW3Q
| URI | m2://inv/E7CXVBPW3Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull dimension#NTP7, Examples (example)
History
- 2026-11-02: add by m2/dev
E7CZ93EJWA E7CZ93EJWA
| URI | m2://inv/E7CZ93EJWA |
|---|---|
| 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.03208#8S8B (statement). In A3CMP0TJK2/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
E7D0RG2WE6 E7D0RG2WE6
| URI | m2://inv/E7D0RG2WE6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#PNNH (definition). In FNG4B47MRV/e1, definition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Adrian Krzyżanowski E7D1A09SX8
| URI | m2://inv/E7D1A09SX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adrian Krzyżanowski, Adrian Krzyżanowski (topic). Also Wikidata Q4240588
History
- 2026-11-02: add by m2/dev
Hopf-balanced compact domains E7D61132DR
| URI | m2://inv/E7D61132DR |
|---|---|
| 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.19837#6N3K, Hopf-balanced compact domains (statement). In 837NSWQM1P/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
E7DCPCB3WC E7DCPCB3WC
| URI | m2://inv/E7DCPCB3WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#9Z8L (statement). In 9VPMHV0M4R/e1, proposition 1.9
History
- 2026-10-27: add by m2/v0.3.5
E7DEGM7248 E7DEGM7248
| URI | m2://inv/E7DEGM7248 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#I0QL (problem). In YA7H9PY3R1/e1, problem 5.4
History
- 2026-10-29: add by m2/v0.4.10
inductive type E7DJ8TN5NC
| URI | m2://inv/E7DJ8TN5NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17092426, inductive type (unknown). Also nLab inductive type
- wikipedia: Wikipedia Inductive type, Inductive type (definition). Also Wikidata Q17092426
History
- 2026-10-26: add by m2/dev
Clifford algebra E7DJ9YT83Y
| URI | m2://inv/E7DJ9YT83Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#1J9W, Clifford algebra (definition)
History
- 2026-11-02: add by m2/dev
An atom at the essential supremum E7DKDPB84T
| URI | m2://inv/E7DKDPB84T |
|---|---|
| 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.14695#CAUU, An atom at the essential supremum (statement). In T15EJSPCNG/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
E7DTC32AY3 E7DTC32AY3
| URI | m2://inv/E7DTC32AY3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/opps.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 72.7
History
- 2026-11-01: add by m2/v0.6.13
Full sum in noncompact type E7DTJA76NV
| URI | m2://inv/E7DTJA76NV |
|---|---|
| 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.19837#TC90, Full sum in noncompact type (statement). In 837NSWQM1P/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
E7DV5REAMQ E7DV5REAMQ
| URI | m2://inv/E7DV5REAMQ |
|---|---|
| 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 2112.05010#1M1F (statement). In 4SZNPS3Z00/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.6
E7E6PAA5J6 E7E6PAA5J6
| URI | m2://inv/E7E6PAA5J6 |
|---|---|
| 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.21565#BXIJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dask E7E9JW3QFW
| URI | m2://inv/E7E9JW3QFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#DWV3, Dask (unknown)
History
- 2026-11-02: add by m2/dev
Large-amplitude incompressible fronts E7EF3T0ESH
| URI | m2://inv/E7EF3T0ESH |
|---|---|
| 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.01883#987O, Large-amplitude incompressible fronts (statement). In CYV4P9TDV0/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.12
Examples E7EJ1Q8HWW
| URI | m2://inv/E7EJ1Q8HWW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base rate fallacy#ZIYT, Examples (example)
History
- 2026-11-02: add by m2/dev
Rocky Ford E7EKFBAHY3
| URI | m2://inv/E7EKFBAHY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#P5T7, Rocky Ford (unknown)
History
- 2026-11-02: add by m2/dev
E7EMN3BN4C E7EMN3BN4C
| URI | m2://inv/E7EMN3BN4C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#KSTT (example). In 1NZSZ241WE/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
E7EVDM1EJ3 E7EVDM1EJ3
| URI | m2://inv/E7EVDM1EJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#PYR4 (statement). In 58D1ZC82DW/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Logique et Analyse E7F622XHQR
| URI | m2://inv/E7F622XHQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#Z3ZY, Logique et Analyse (unknown)
History
- 2026-11-02: add by m2/dev
The period map before perfectoidness E7FCY85FQ6
| URI | m2://inv/E7FCY85FQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#00PF, The period map before perfectoidness (statement). In 328KGRNN0W/e1, proposition 8.1
History
- 2026-10-30: add by m2/v0.4.12
E7FGHYPM1B E7FGHYPM1B
| URI | m2://inv/E7FGHYPM1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#9ZIF (statement). In GJ7N2EWACX/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
E7FK38Y18G E7FK38Y18G
| URI | m2://inv/E7FK38Y18G |
|---|---|
| Kind | example |
| 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 2108.09548#K9EH (example). In 6D6C14KFGJ/e1, example 2.7
History
- 2026-10-27: add by m2/v0.4.0
Coke Reed E7FMMP7ZAB
| URI | m2://inv/E7FMMP7ZAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coke Reed, Coke Reed (topic). Also Wikidata Q21822551
History
- 2026-11-02: add by m2/dev
topology, Lawvere-Tierney E7G408JT1F
| URI | m2://inv/E7G408JT1F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/topology-lawvere-tierney, topology, Lawvere-Tierney (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
E7G4N7GH92 E7G4N7GH92
| URI | m2://inv/E7G4N7GH92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 80.5
History
- 2026-11-01: add by m2/v0.6.13
E7G66NS39D E7G66NS39D
| URI | m2://inv/E7G66NS39D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
E7GD46227D E7GD46227D
| URI | m2://inv/E7GD46227D |
|---|---|
| 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.17883#8B3T (statement). In 9WSJV2WY2S/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Conditional inequalities at stopping times E7GJ8H3Y13
| URI | m2://inv/E7GJ8H3Y13 |
|---|---|
| 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#2HL9, Conditional inequalities at stopping times (statement). In 9YAE8FNQST/e1, theorem 16.14
History
- 2026-10-30: add by m2/v0.4.12
E7GNRGJWZ6 E7GNRGJWZ6
| URI | m2://inv/E7GNRGJWZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#XDVN (statement). In 68VEQQX68G/e1, theorem 3.14
History
- 2026-10-27: add by m2/v0.4.0
exterior form E7GRT6QYB6
| URI | m2://inv/E7GRT6QYB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77977062, exterior form (unknown). Also EoM Exterior_form
History
- 2026-10-26: add by m2/dev
E7H026R52P E7H026R52P
| URI | m2://inv/E7H026R52P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#example-2 (example). In Y91XFCEVHQ, example, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Seventy-First Township, Cumberland County, North Carolina E7H27BW7Y2
| URI | m2://inv/E7H27BW7Y2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3EZ3, Seventy-First Township, Cumberland County, North Carolina (unknown)
History
- 2026-11-02: add by m2/dev
E7H4QPPVFB E7H4QPPVFB
| URI | m2://inv/E7H4QPPVFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#XSEN (statement). In BF0RYHPMS1/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
Michael Arbuthnot Ashcroft E7H93S7RCM
| URI | m2://inv/E7H93S7RCM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Arbuthnot Ashcroft, Michael Arbuthnot Ashcroft (topic). Also Wikidata Q21999968
History
- 2026-11-02: add by m2/dev
E7HD2HE9ZM E7HD2HE9ZM
| URI | m2://inv/E7HD2HE9ZM |
|---|---|
| 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 2606.23841#V5VU (statement). In 67FPT1PG7R/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
E7HGSK4BTW E7HGSK4BTW
| URI | m2://inv/E7HGSK4BTW |
|---|---|
| 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.03292#CQCR (statement). In SN2PBM95HT/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
QTA for finite posets, dual form E7HHQEZKT5
| URI | m2://inv/E7HHQEZKT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#SAJC, QTA for finite posets, dual form (statement). In PF5JJ9DS8Q/e1, theorem 6.1.2
History
- 2026-10-28: add by m2/v0.4.2
Catalan's minimal surface E7HHSVEK60
| URI | m2://inv/E7HHSVEK60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5051207, Catalan's minimal surface (unknown). Also MathWorld CatalansSurface
- wikipedia: Wikipedia Catalan's minimal surface, Catalan's minimal surface (definition). Also Wikidata Q5051207
History
- 2026-10-26: add by m2/dev
Methods E7HHWVDAP4
| URI | m2://inv/E7HHWVDAP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topic model#GH23, Methods (definition)
History
- 2026-11-02: add by m2/dev
E7HT929WRD E7HT929WRD
| URI | m2://inv/E7HT929WRD |
|---|---|
| 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#6OQ9 (statement). In JXTG8KP95P/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
E7JN54KW82 E7JN54KW82
| URI | m2://inv/E7JN54KW82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.20972#9NQL (statement). In 6SZE4MTXGZ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
E7JQ7X3GTB E7JQ7X3GTB
| URI | m2://inv/E7JQ7X3GTB |
|---|---|
| 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 2007.14459#0JBY (statement). In SGQ7VFEZ22/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
E7JQK2A9A7 E7JQK2A9A7
| URI | m2://inv/E7JQK2A9A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9807180#E9C1 (statement). In VR3766BVE5/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
E7JSQ6G28Q E7JSQ6G28Q
| URI | m2://inv/E7JSQ6G28Q |
|---|---|
| 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.06081#KIR8 (statement). In 7Z3KQRFEVG/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Mean-interior reduction E7JYW2D0PR
| URI | m2://inv/E7JYW2D0PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#8M5R, Mean-interior reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
E7K0M5KBS3 E7K0M5KBS3
| URI | m2://inv/E7K0M5KBS3 |
|---|---|
| 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.13670#I1SD (statement). In 4PGTZ19B26/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
E7K25ZN8V1 E7K25ZN8V1
| URI | m2://inv/E7K25ZN8V1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#2LHW (problem)
History
- 2026-11-01: add by m2/v0.6.15
E7K2MFVAGT E7K2MFVAGT
| URI | m2://inv/E7K2MFVAGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#5VRI (statement). In 5KR3MHYVV6/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Example E7K32K5J1Y
| URI | m2://inv/E7K32K5J1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds ratio#DVF3, Example (example)
History
- 2026-11-02: add by m2/dev
E7K5GTB5YY E7K5GTB5YY
| URI | m2://inv/E7K5GTB5YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#GTS8 (statement). In D0F1GK5AHW/e1, proposition B.3
History
- 2026-10-29: add by m2/v0.4.10
Kathryn E. Hare E7K6EC17SC
| URI | m2://inv/E7K6EC17SC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YWDT, Kathryn E. Hare (topic)
History
- 2026-11-02: add by m2/dev
Definition E7KBV8Z4WG
| URI | m2://inv/E7KBV8Z4WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix sign function#IC2H, Definition (definition)
History
- 2026-11-02: add by m2/dev
E7KE74E8DR E7KE74E8DR
| URI | m2://inv/E7KE74E8DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#Q0SZ (statement). In SYZFEVFHC3/e1, lemma 2.21
History
- 2026-10-27: add by m2/v0.3.5
Batch transparency E7KGTWJ2TS
| URI | m2://inv/E7KGTWJ2TS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15824#Z8AN, Batch transparency (unknown). In GDZXR87FJV/e1, unknown 4
History
- 2026-10-28: add by m2/v0.4.2
Climate box models E7KJFF896J
| URI | m2://inv/E7KJFF896J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Climate model#BKLG, Climate box models (unknown)
History
- 2026-11-02: add by m2/dev
Polynomially reflexive space E7KV7QPKHK
| URI | m2://inv/E7KV7QPKHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomially reflexive space, Polynomially reflexive space (definition). Also Wikidata Q7226648
History
- 2026-11-02: add by m2/dev
Paul van Oorschot E7KY0N1J9X
| URI | m2://inv/E7KY0N1J9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SIVV, Paul van Oorschot (topic)
History
- 2026-11-02: add by m2/dev
E7KZTCY9DP E7KZTCY9DP
| URI | m2://inv/E7KZTCY9DP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#3K1K (definition)
History
- 2026-11-02: add by m2/v0.6.17
E7M85N3ZRQ E7M85N3ZRQ
| URI | m2://inv/E7M85N3ZRQ |
|---|---|
| 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 2208.14274#WSND (statement). In 2FKE7JPQ76/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Paradox of the Court E7MA9055TM
| URI | m2://inv/E7MA9055TM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox of the Court, Paradox of the Court (statement). Also Wikidata Q1525625
History
- 2026-11-02: add by m2/dev
Example E7MARSS7Y9
| URI | m2://inv/E7MARSS7Y9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential probability ratio test#3KGW, Example (example)
History
- 2026-11-02: add by m2/dev
E7MB4PYZ63 E7MB4PYZ63
| URI | m2://inv/E7MB4PYZ63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#50FJ (statement). In X1KWTAA3M2/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
E7MF8NW7Z1 E7MF8NW7Z1
| URI | m2://inv/E7MF8NW7Z1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#TOWR (statement). In X38P26DK6S/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.0
Trapezoid formula E7MJ4J1XAN
| URI | m2://inv/E7MJ4J1XAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoelace formula#11WQ, Trapezoid formula (statement)
History
- 2026-11-02: add by m2/dev
Justesen code E7MMYB59TG
| URI | m2://inv/E7MMYB59TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Justesen code, Justesen code (definition). Also Wikidata Q13640215
History
- 2026-11-02: add by m2/dev
isomorphism, invariance under E7MT6N9T0D
| URI | m2://inv/E7MT6N9T0D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/isomorphism-invariance-under, isomorphism, invariance under (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
ROT26 E7N32M8015
| URI | m2://inv/E7N32M8015 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ROT13#OB9T, ROT26 (unknown)
History
- 2026-11-02: add by m2/dev
Finite-time stationarity E7N8NRYPR3
| URI | m2://inv/E7N8NRYPR3 |
|---|---|
| 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.05428#DTUR, Finite-time stationarity (statement). In 31MQPCA8SH/e1, theorem E.4
History
- 2026-10-29: add by m2/v0.4.10
E7NF05XTWG E7NF05XTWG
| URI | m2://inv/E7NF05XTWG |
|---|---|
| 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 2610.03835#RUB1 (statement). In KAYGQMQPGS/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
E7NGB9DJGP E7NGB9DJGP
| URI | m2://inv/E7NGB9DJGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#822K (statement). In 9TR5E527P5/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
spherical trigonometry E7NQPHTJS3
| URI | m2://inv/E7NQPHTJS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spherical trigonometry SXQGHWHFRF |
Mentions
- wikidata: Wikidata Q46463, spherical trigonometry (topic). Also MathWorld SphericalTrigonometry, ProofWiki Definition:Spherical_Trigonometry
- wikipedia: Wikipedia Spherical trigonometry, Spherical trigonometry (definition). Also Wikidata Q46463
History
- 2026-10-26: add by m2/dev
Johnson's algorithm E7NV5Y8N26
| URI | m2://inv/E7NV5Y8N26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson's algorithm, Johnson's algorithm (definition). Also Wikidata Q2345824
History
- 2026-11-02: add by m2/dev
Craige Schensted E7P0BZ0MDD
| URI | m2://inv/E7P0BZ0MDD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craige Schensted, Craige Schensted (topic). Also Wikidata Q3002076
History
- 2026-11-02: add by m2/dev
E7P0MXGQEP E7P0MXGQEP
| URI | m2://inv/E7P0MXGQEP |
|---|---|
| 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.13670#55NU (statement). In 4PGTZ19B26/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
E7P0SHMVYB E7P0SHMVYB
| URI | m2://inv/E7P0SHMVYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#ER63 (statement). In 5RE15848Z0/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Statement of the lemma E7P58N3G72
| URI | m2://inv/E7P58N3G72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brezis–Lieb lemma#BCB7, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Angular limit E7P5GK4VA0
| URI | m2://inv/E7P5GK4VA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#CV4Z, Angular limit (statement). In CHPJWBREES/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Definition E7P8VW658M
| URI | m2://inv/E7P8VW658M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nichols algebra#4JH2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Andrei Okounkov E7PE9RT5KQ
| URI | m2://inv/E7PE9RT5KQ |
|---|---|
| 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 Q315425, Andrei Okounkov (unknown). Also nLab Andrei Okounkov
- wikipedia: Wikipedia Andrei Okounkov, Andrei Okounkov (topic). Also Wikidata Q315425
History
- 2026-10-26: add by m2/dev
Definition E7PH5258RG
| URI | m2://inv/E7PH5258RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-consistent theory#L1VL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Projective duality E7PJJTHEWN
| URI | m2://inv/E7PJJTHEWN |
|---|---|
| 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.33365#S426, Projective duality (statement). In MCXCMR7V0T/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Green's Gaussian product-space problem E7PP9A4HNT
| URI | m2://inv/E7PP9A4HNT |
|---|---|
| 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#MXBB, Green's Gaussian product-space problem (statement). In 9YAE8FNQST/e1, corollary 14.18
History
- 2026-10-30: add by m2/v0.4.12
Louis Jolyon West E7PRNYQSAK
| URI | m2://inv/E7PRNYQSAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#WJGL, Louis Jolyon West (unknown)
History
- 2026-11-02: add by m2/dev
Adele ring E7PRSXTEPR
| URI | m2://inv/E7PRSXTEPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#9UR4, Adele ring (definition)
History
- 2026-11-02: add by m2/dev
E7PY6REPS9 E7PY6REPS9
| URI | m2://inv/E7PY6REPS9 |
|---|---|
| Kind | problem |
| 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#6UG8 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Properties E7Q0HNVJM4
| URI | m2://inv/E7Q0HNVJM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negation#TXOA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Entrywise sampling certificate E7Q0W9F5FB
| URI | m2://inv/E7Q0W9F5FB |
|---|---|
| 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.13951#MXWM, Entrywise sampling certificate (statement). In BDV8G2CV16/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.2
Cassels–Swinnerton-Dyer conjecture E7Q6VSK8PW
| URI | m2://inv/E7Q6VSK8PW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood conjecture#GP9U, Cassels–Swinnerton-Dyer conjecture (statement)
History
- 2026-11-02: add by m2/dev
E7Q8Z52ABY E7Q8Z52ABY
| URI | m2://inv/E7Q8Z52ABY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#DMV5 (definition). In BZ54C9SKYS/e1, definition 6.21
History
- 2026-10-27: add by m2/v0.3.5
North East Asian Mathematics Competition E7QC9TE3R6
| URI | m2://inv/E7QC9TE3R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#A844, North East Asian Mathematics Competition (definition)
History
- 2026-11-02: add by m2/dev
Farey sequence E7QKTFFSQH
| URI | m2://inv/E7QKTFFSQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Farey sequence 0PN4QJE969 |
Mentions
- mathlib_1000: mathlib_1000 Q1396592, Franel–Landau theorem (statement). Also Wikidata Q1396592
- thousand_plus: thousand_plus Q1396592, Franel–Landau theorem (statement). Also Wikidata Q1396592
- wikidata: Wikidata Q1396592, Farey sequence (concept). Also MathWorld FareySequence, ProofWiki Definition:Farey_Sequence
- wikipedia: Wikipedia Farey sequence, Farey sequence (definition). Also Wikidata Q1396592
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Jordan, Michael I. E7QMBCV20Z
| URI | m2://inv/E7QMBCV20Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XT8C, Jordan, Michael I. (unknown)
History
- 2026-11-02: add by m2/dev
G-structure E7QSNRT4B3
| URI | m2://inv/E7QSNRT4B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#ME08, G-structure (definition)
History
- 2026-11-02: add by m2/dev
E7QX0DGTDF E7QX0DGTDF
| URI | m2://inv/E7QX0DGTDF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 14
History
- 2026-11-01: add by m2/v0.6.13
E7QX3HB03Y E7QX3HB03Y
| URI | m2://inv/E7QX3HB03Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11757#W00W (statement). In VSJRVTHWWA/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.3
[] E7R57V1FRW
| URI | m2://inv/E7R57V1FRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#RCV5, [] (definition)
History
- 2026-11-02: add by m2/dev
E7R8KN8EEE E7R8KN8EEE
| URI | m2://inv/E7R8KN8EEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:varietysingularity (statement). In VNMV985MXX, thm, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
E7R912FG2D E7R912FG2D
| URI | m2://inv/E7R912FG2D |
|---|---|
| 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.21475#1K4G (statement). In TTRSZVT4VX/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.2
Whitehead theorem E7RC6V1VPF
| URI | m2://inv/E7RC6V1VPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#K4IG, Whitehead theorem (statement)
History
- 2026-11-02: add by m2/dev
E7RCN7X6AS E7RCN7X6AS
| URI | m2://inv/E7RCN7X6AS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#R941 (example). In 29D4TTE3J2/e1, example 6.6
History
- 2026-10-27: add by m2/v0.4.2
$\mathrm{ZF}+\mathrm{AD}$ E7RDS8R7N1
| URI | m2://inv/E7RDS8R7N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16059#FSGL, $\mathrm{ZF}+\mathrm{AD}$ (statement). In 51W7AECQDA/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Signature (linear algebra) E7REKXCMQZ
| URI | m2://inv/E7REKXCMQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic form#KDUB, Signature (linear algebra) (unknown)
History
- 2026-11-02: add by m2/dev
E7RF0T4QX9 E7RF0T4QX9
| URI | m2://inv/E7RF0T4QX9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#PJOR (definition)
History
- 2026-11-01: add by m2/v0.6.15
E7RG3JSVB0 E7RG3JSVB0
| URI | m2://inv/E7RG3JSVB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#defn:composition (definition). In PKGMM3P5QY, defn, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
E7RJ7FAJR6 E7RJ7FAJR6
| URI | m2://inv/E7RJ7FAJR6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 95.6
History
- 2026-11-01: add by m2/v0.6.13
arboricity E7RNYT3GQV
| URI | m2://inv/E7RNYT3GQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4784907, arboricity (unknown). Also MathWorld Arboricity
- wikipedia: Wikipedia Arboricity, Arboricity (definition). Also Wikidata Q4784907
History
- 2026-10-26: add by m2/dev
Definition E7RQEXAJVZ
| URI | m2://inv/E7RQEXAJVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic stack#BP7U, Definition (definition)
History
- 2026-11-02: add by m2/dev
E7RSGFZJ2E E7RSGFZJ2E
| URI | m2://inv/E7RSGFZJ2E |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.16706#ASEN (problem). In JSRVKPT87E/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
Mutual Information Bound E7RWNPHM88
| URI | m2://inv/E7RWNPHM88 |
|---|---|
| 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.11834#9SJG, Mutual Information Bound (statement). In SMC03CWP4R/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.3
ST type theory E7S1FB4Y4J
| URI | m2://inv/E7S1FB4Y4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ST type theory, ST type theory (definition). Also Wikidata Q7394930
History
- 2026-11-02: add by m2/dev
Hopf–Rinow theorem E7S748ADM9
| URI | m2://inv/E7S748ADM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#3SD4, Hopf–Rinow theorem (statement)
History
- 2026-11-02: add by m2/dev
Loewner's inequality with a defect term E7SJBQNNCK
| URI | m2://inv/E7SJBQNNCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systolic geometry#OHAD, Loewner's inequality with a defect term (statement)
History
- 2026-11-02: add by m2/dev
Computational models for concrete fracture analysis E7SJXM71R9
| URI | m2://inv/E7SJXM71R9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fracture mechanics#UGFM, Computational models for concrete fracture analysis (unknown)
History
- 2026-11-02: add by m2/dev
E7STZBPFRS E7STZBPFRS
| URI | m2://inv/E7STZBPFRS |
|---|---|
| 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 2212.14457#GTI2 (statement). In PNRHHWGHM2/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.6
N. Gunther E7T58RMAK1
| URI | m2://inv/E7T58RMAK1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TRJH, N. Gunther (topic)
History
- 2026-11-02: add by m2/dev
Dalton's Atomic Theory E7TBRJFX5N
| URI | m2://inv/E7TBRJFX5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#PF9I, Dalton's Atomic Theory (unknown)
History
- 2026-11-02: add by m2/dev
E7TWF6TZS1 E7TWF6TZS1
| URI | m2://inv/E7TWF6TZS1 |
|---|---|
| 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.28669#48I1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
metabidiminished icosahedron E7V7SPDYQF
| URI | m2://inv/E7V7SPDYQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2293574, metabidiminished icosahedron (object). Also MathWorld MetabidiminishedIcosahedron
- wikipedia: Wikipedia Metabidiminished icosahedron, Metabidiminished icosahedron (definition). Also Wikidata Q2293574
History
- 2026-10-26: add by m2/dev
E7VDNG0YSD E7VDNG0YSD
| URI | m2://inv/E7VDNG0YSD |
|---|---|
| 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#WV4Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
E7VMHXHSWX E7VMHXHSWX
| URI | m2://inv/E7VMHXHSWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#A9JE (statement). In 9WP2QGKMG8/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
E7VMKQYKX9 E7VMKQYKX9
| URI | m2://inv/E7VMKQYKX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.07236#HD76 (statement). In VPMKBREFY1/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Few deletions suffice to flatten the queries E7VT24HX4W
| URI | m2://inv/E7VT24HX4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05498#PK0F, Few deletions suffice to flatten the queries (statement). In TJT32RQ9GC/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.10
Emilio Gagliardo E7W0XQCPMV
| URI | m2://inv/E7W0XQCPMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emilio Gagliardo, Emilio Gagliardo (topic). Also Wikidata Q3724404
History
- 2026-11-02: add by m2/dev
Kernel method E7W3QMFKGC
| URI | m2://inv/E7W3QMFKGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel method, Kernel method (definition). Also Wikidata Q620622
History
- 2026-11-02: add by m2/dev
E7W70F874F E7W70F874F
| URI | m2://inv/E7W70F874F |
|---|---|
| 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.25843#HQXE (statement)
History
- 2026-11-01: add by m2/v0.6.15
E7WRD9GA7G E7WRD9GA7G
| URI | m2://inv/E7WRD9GA7G |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.06098#W22C (conjecture). In DK1V8M7DS4/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
Diameter backbone E7WS2RK4KX
| URI | m2://inv/E7WS2RK4KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.34025#O5YY, Diameter backbone (statement). In VCG579E7MM/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Weak asymptotic joint reduction E7WTZ2KMM5
| URI | m2://inv/E7WTZ2KMM5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#D0BF, Weak asymptotic joint reduction (definition)
History
- 2026-11-02: add by m2/v0.6.17
Shih-Jen Hwang E7WXFVKPSY
| URI | m2://inv/E7WXFVKPSY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shih-Jen Hwang, Shih-Jen Hwang (topic). Also Wikidata Q110973959
History
- 2026-11-02: add by m2/dev
Kundu equation E7X1M5P113
| URI | m2://inv/E7X1M5P113 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kundu equation, Kundu equation (definition). Also Wikidata Q25138413
History
- 2026-11-02: add by m2/dev
E7XAAETMGC E7XAAETMGC
| URI | m2://inv/E7XAAETMGC |
|---|---|
| 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 2610.15217#GNXJ (definition). In G70Q2FB591/e1, definition 4.21
History
- 2026-10-28: add by m2/v0.4.2
E7XJ87XTKX E7XJ87XTKX
| URI | m2://inv/E7XJ87XTKX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31220#NXXY (definition). In JMWCGMNE84/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Examples E7XR2XMSJ2
| URI | m2://inv/E7XR2XMSJ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local system#FJKR, Examples (example)
History
- 2026-11-02: add by m2/dev
Schwarz lemma E7Y39H23ZM
| URI | m2://inv/E7Y39H23ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#460Y, Schwarz lemma (definition)
History
- 2026-11-02: add by m2/dev
E7Y8ME0DGK E7Y8ME0DGK
| URI | m2://inv/E7Y8ME0DGK |
|---|---|
| Kind | conjecture |
| 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.00247#4HT7 (conjecture). In ZAM4S2XS9F/e1, conjecture 1.2
History
- 2026-10-30: add by m2/v0.4.12
E7Y9HF8J3X E7Y9HF8J3X
| URI | m2://inv/E7Y9HF8J3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#7RF1 (statement). In 9JHMTYGWFQ/e1, corollary 1.10
History
- 2026-10-27: add by m2/v0.3.6
Dilation theorem for contraction semigroups E7YMHKZCGA
| URI | m2://inv/E7YMHKZCGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraction (operator theory)#2QK7, Dilation theorem for contraction semigroups (statement)
History
- 2026-11-02: add by m2/dev
Dobrushin uniqueness implies the tree--graph bound E7YPWV3B3Z
| URI | m2://inv/E7YPWV3B3Z |
|---|---|
| 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.04452#YAD2, Dobrushin uniqueness implies the tree--graph bound (statement). In ZV3ANMKJ0Y/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
E7Z2R95TC6 E7Z2R95TC6
| URI | m2://inv/E7Z2R95TC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#TLVJ (statement). In WAXS6FS388/e1, lemma 4.15
History
- 2026-10-30: add by m2/v0.4.12
E7Z42GJMM4 E7Z42GJMM4
| URI | m2://inv/E7Z42GJMM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#MEWL (statement). In X923ZEY423/e1, proposition 1.3.5
History
- 2026-10-27: add by m2/v0.3.5
E7Z5J1QRRV E7Z5J1QRRV
| URI | m2://inv/E7Z5J1QRRV |
|---|---|
| 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.20588#NNT7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Riemann–Roch theorem for smooth manifolds E7ZE2Z77ND
| URI | m2://inv/E7ZE2Z77ND |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17102744, Riemann–Roch theorem for smooth manifolds (statement). Also Wikidata Q17102744
- thousand_plus: thousand_plus Q17102744, Riemann–Roch theorem for smooth manifolds (statement). Also Wikidata Q17102744, Wikipedia Riemann–Roch theorem for smooth manifolds
- wikipedia: Wikipedia Riemann–Roch theorem for smooth manifolds, Riemann–Roch theorem for smooth manifolds (statement). Also Wikidata Q17102744
History
- 2026-10-26: add by m2/dev
Supersymmetry algebras in 1 + 1 dimensions E7ZETSZAQA
| URI | m2://inv/E7ZETSZAQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersymmetry algebras in 1 + 1 dimensions, Supersymmetry algebras in 1 + 1 dimensions (definition). Also Wikidata Q6956293
History
- 2026-11-02: add by m2/dev
Robert Schlaifer E7ZFVX1FYD
| URI | m2://inv/E7ZFVX1FYD |
|---|---|
| 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#MM75, Robert Schlaifer (unknown)
History
- 2026-11-02: add by m2/dev
Eugenius Nulty E7ZGPS8583
| URI | m2://inv/E7ZGPS8583 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugenius Nulty, Eugenius Nulty (topic). Also Wikidata Q19668526
History
- 2026-11-02: add by m2/dev
Formal statement E7ZN4SRW2Q
| URI | m2://inv/E7ZN4SRW2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz fixed-point theorem#0A8D, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Hermitian conjugate E7ZT9JR5ZB
| URI | m2://inv/E7ZT9JR5ZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#C52V, Hermitian conjugate (definition)
History
- 2026-11-02: add by m2/dev
E7ZTV1AFTM E7ZTV1AFTM
| URI | m2://inv/E7ZTV1AFTM |
|---|---|
| Kind | definition |
| 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.21915#NSEN (definition)
History
- 2026-11-02: add by m2/v0.6.17
E7ZW7KYRAR E7ZW7KYRAR
| URI | m2://inv/E7ZW7KYRAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#0PZ7 (statement). In VWNB6QJWFN/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12