Inventory rows B7
The cards of the rows of the inventory whose ids start with B7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition B700GG7A5G
| URI | m2://inv/B700GG7A5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup#XRVO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples B701X57AWH
| URI | m2://inv/B701X57AWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial decomposition#ATHN, Examples (example)
History
- 2026-11-02: add by m2/dev
Inclusion order B703A6CGPH
| URI | m2://inv/B703A6CGPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion order, Inclusion order (definition). Also Wikidata Q5164909
History
- 2026-11-02: add by m2/dev
B704S1XRB2 B704S1XRB2
| URI | m2://inv/B704S1XRB2 |
|---|---|
| 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 2610.22218#C54P (definition). In 338GKREFVP/e1, definition 10
History
- 2026-10-27: add by m2/v0.4.0
Orthotomic B705ZK3FFS
| URI | m2://inv/B705ZK3FFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3KLI, Orthotomic (definition)
- wikipedia: Wikipedia List of curves#D7WI, Orthotomic (definition)
History
- 2026-11-02: add by m2/dev
B708R205Z4 B708R205Z4
| URI | m2://inv/B708R205Z4 |
|---|---|
| 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 2108.05533#4320 (statement). In 14DZA4M2C6/e1, lemma D.1
History
- 2026-10-27: add by m2/v0.3.5
Elway Research B70972WHC8
| URI | m2://inv/B70972WHC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#SQSM, Elway Research (unknown)
History
- 2026-11-02: add by m2/dev
Coulomb stress transfer B70EQ8KJ13
| URI | m2://inv/B70EQ8KJ13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coulomb stress transfer, Coulomb stress transfer (definition). Also Wikidata Q5176156
History
- 2026-11-02: add by m2/dev
The cycle $\Rring$ B70FC66YK5
| URI | m2://inv/B70FC66YK5 |
|---|---|
| Kind | definition |
| 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.02219#1XR9, The cycle $\Rring$ (definition). In 8XMASJX0GZ/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
infinitary, algebraic theory B70G4ST4C1
| URI | m2://inv/B70G4ST4C1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/infinitary-algebraic-theory, infinitary, algebraic theory (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
B70J826FPQ B70J826FPQ
| URI | m2://inv/B70J826FPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem-4 (statement). In N54F33XE07, lem, section C.3
History
- 2026-11-01: add by m2/v0.6.13
B70QC9N22T B70QC9N22T
| URI | m2://inv/B70QC9N22T |
|---|---|
| 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 2501.17009#BU86 (statement). In PESAKD6SSW/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
Applications B70RM11SEA
| URI | m2://inv/B70RM11SEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epstein profile#6QUO, Applications (example)
History
- 2026-11-02: add by m2/dev
Double negation elimination B70X5BWJVF
| URI | m2://inv/B70X5BWJVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double negation#AUPO, Double negation elimination (unknown)
History
- 2026-11-02: add by m2/dev
B70Y75BMK1 B70Y75BMK1
| URI | m2://inv/B70Y75BMK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25015#PPR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Numberlink B70Y9X3EY5
| URI | m2://inv/B70Y9X3EY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numberlink, Numberlink (definition). Also Wikidata Q716430
History
- 2026-11-02: add by m2/dev
Lemma B70ZJQ54EY
| URI | m2://inv/B70ZJQ54EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime omega function#EYJA, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Functional CLT for the closed singular cycles B7126A1KMB
| URI | m2://inv/B7126A1KMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27851#M37X, Functional CLT for the closed singular cycles (statement)
History
- 2026-11-01: add by m2/v0.6.15
B713R7Y0WG B713R7Y0WG
| URI | m2://inv/B713R7Y0WG |
|---|---|
| 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.30685#1PZ8 (statement). In WNNNWV7741/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Stability of the actual geometric classes B714G60QTA
| URI | m2://inv/B714G60QTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.28220#20II, Stability of the actual geometric classes (statement)
History
- 2026-11-01: add by m2/v0.6.15
B714NW34H9 B714NW34H9
| URI | m2://inv/B714NW34H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#G0G3 (statement). In MVWSXXCXB7/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Koch snowflake B717QDCGT1
| URI | m2://inv/B717QDCGT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q223137, Koch snowflake (unknown). Also MathWorld KochSnowflake
- wikipedia: Wikipedia Koch snowflake, Koch snowflake (definition). Also Wikidata Q223137
History
- 2026-10-26: add by m2/dev
B71B64HWBH B71B64HWBH
| URI | m2://inv/B71B64HWBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#NSCN (statement). In 304QK565QF/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
B71GGEXRM6 B71GGEXRM6
| URI | m2://inv/B71GGEXRM6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#JMSQ (definition). In RQA728RB77/e1, definition 3
History
- 2026-10-27: add by m2/v0.4.2
B71R79WH08 B71R79WH08
| URI | m2://inv/B71R79WH08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#YRLF (statement). In QBAP8C82FG/e1, proposition 58
History
- 2026-10-30: add by m2/v0.4.12
Eilenberg–MacLane space B71VHFN3PS
| URI | m2://inv/B71VHFN3PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–MacLane space, Eilenberg–MacLane space (definition). Also Wikidata Q5349490
History
- 2026-11-02: add by m2/dev
Reliability engineering B7207ZBPBG
| URI | m2://inv/B7207ZBPBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R8YM, Reliability engineering (definition)
History
- 2026-11-02: add by m2/dev
Lucky prime B721E972BK
| URI | m2://inv/B721E972BK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucky number#L5GB, Lucky prime (unknown)
History
- 2026-11-02: add by m2/dev
\myindex{Fubini for sums} B7269BCEJH
| URI | m2://inv/B7269BCEJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:fubiniforsums, \myindex{Fubini for sums} (statement). In E59CDZA4DP, thm, section 1.3.4
History
- 2026-11-01: add by m2/v0.6.13
Henning Haahr Andersen B72CB3DGK9
| URI | m2://inv/B72CB3DGK9 |
|---|---|
| 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#2LKT, Henning Haahr Andersen (topic)
History
- 2026-11-02: add by m2/dev
Stable-like homogenization limit B72WNKCMZT
| URI | m2://inv/B72WNKCMZT |
|---|---|
| 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.20302#3OZJ, Stable-like homogenization limit (statement). In GN8JWKH956/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.2
B7374EESPY B7374EESPY
| URI | m2://inv/B7374EESPY |
|---|---|
| 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.09140#K3IZ (statement). In 9934P5E5AM/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
Kemnitz's conjecture B737VZV207
| URI | m2://inv/B737VZV207 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kemnitz's conjecture, Kemnitz's conjecture (statement). Also Wikidata Q2993325
History
- 2026-11-02: add by m2/dev
B73ATX23FW B73ATX23FW
| URI | m2://inv/B73ATX23FW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#AWGA (example). In FDYZFDHZH9/e1, example 4.3
History
- 2026-10-31: add by m2/v0.5.6
Periodic sequence B73BSD4FX0
| URI | m2://inv/B73BSD4FX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic sequence, Periodic sequence (definition). Also Wikidata Q3503302
History
- 2026-11-02: add by m2/dev
B73C6JYWZV B73C6JYWZV
| URI | m2://inv/B73C6JYWZV |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#O4SI (unknown). In QNBFHFZ3H0/e1, unknown 52
History
- 2026-10-28: add by m2/v0.4.2
The law of total of probability B73FJS10BR
| URI | m2://inv/B73FJS10BR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive probability#6JN1, The law of total of probability (statement)
History
- 2026-11-02: add by m2/dev
Bayesian experimental design B73GCW21BY
| URI | m2://inv/B73GCW21BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J34B, Bayesian experimental design (definition)
History
- 2026-11-02: add by m2/dev
Residue theorem B73Q8CXHF0
| URI | m2://inv/B73Q8CXHF0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BWQH, Residue theorem (statement)
History
- 2026-11-02: add by m2/dev
Icosikaihexagon B73WEH3N0S
| URI | m2://inv/B73WEH3N0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#4Y8D, Icosikaihexagon (definition)
History
- 2026-11-02: add by m2/dev
B73XSH5KY2 B73XSH5KY2
| URI | m2://inv/B73XSH5KY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#YH8Y (statement). In 7GMD8J4200/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Mean-value formula for vectors with prescribed support B7428CB9F0
| URI | m2://inv/B7428CB9F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#0HVS, Mean-value formula for vectors with prescribed support (statement). In 7F8KACT5AJ/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
B742G6MQAY B742G6MQAY
| URI | m2://inv/B742G6MQAY |
|---|---|
| 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.16225#08G3 (statement). In H3DJV9YQW1/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
B743794T2V B743794T2V
| URI | m2://inv/B743794T2V |
|---|---|
| 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.18744#CA9I (statement). In AE07JDH5D3/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
B74BEGH22V B74BEGH22V
| URI | m2://inv/B74BEGH22V |
|---|---|
| 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.06326#H7XD (statement). In DPR6B6X0JX/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
B74E81X6W2 B74E81X6W2
| URI | m2://inv/B74E81X6W2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#IPOR (statement). In HK7FV97MFD/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Complexity in coordinates B74KJ4VZXE
| URI | m2://inv/B74KJ4VZXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40290#BMOX, Complexity in coordinates (statement). In 4K1CNBYJHF/e1, proposition 9.3
History
- 2026-10-30: add by m2/v0.4.12
B74QKAH66Y B74QKAH66Y
| URI | m2://inv/B74QKAH66Y |
|---|---|
| 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.38194#PMUI (statement). In M9BZSET9ZV/e1, theorem 9.3
History
- 2026-10-30: add by m2/v0.4.12
Algorithms B74S97TXKG
| URI | m2://inv/B74S97TXKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hosoya index#SN69, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Weak greedy convergence rates for RBM B7506GRMB2
| URI | m2://inv/B7506GRMB2 |
|---|---|
| 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.12017#O5K3, Weak greedy convergence rates for RBM (statement). In WW04MP0NAZ/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.3
secundum B755R3331N
| URI | m2://inv/B755R3331N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#A2TL, secundum (definition)
History
- 2026-11-02: add by m2/dev
B75FZGVPP1 B75FZGVPP1
| URI | m2://inv/B75FZGVPP1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
E7½ B75H0SG38V
| URI | m2://inv/B75H0SG38V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E7½, E7½ (definition). Also Wikidata Q5322446
History
- 2026-11-02: add by m2/dev
Hartle–Hawking proposal B75M58AB2G
| URI | m2://inv/B75M58AB2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartle–Hawking proposal, Hartle–Hawking proposal (definition). Also Wikidata Q958793
History
- 2026-11-02: add by m2/dev
Function field B75Q5QQ8NZ
| URI | m2://inv/B75Q5QQ8NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function field (scheme theory), Function field (definition). Also Wikidata Q5508772
History
- 2026-11-02: add by m2/dev
B762D707DK B762D707DK
| URI | m2://inv/B762D707DK |
|---|---|
| Kind | example |
| 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 2508.07340#KSM1 (example). In 2HSB99DW4M/e1, example 5.4
History
- 2026-10-27: add by m2/v0.3.6
B76ABMYG78 B76ABMYG78
| URI | m2://inv/B76ABMYG78 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:ntypes-closed-under-wtypes (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
B76DXQEP22 B76DXQEP22
| URI | m2://inv/B76DXQEP22 |
|---|---|
| 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.12740#V4M3 (statement). In HKYRZSZPEC/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Anca Muscholl B76P0BDR9J
| URI | m2://inv/B76P0BDR9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#WT0E, Anca Muscholl (topic)
History
- 2026-11-02: add by m2/dev
B76QRRDHSS B76QRRDHSS
| URI | m2://inv/B76QRRDHSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#6BK2 (statement). In 4NJ4T3DEQB/e1, proposition D
History
- 2026-10-28: add by m2/v0.4.2
B76WYM6QEB B76WYM6QEB
| URI | m2://inv/B76WYM6QEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#W1T1 (statement). In V5PVKDKGGG/e1, theorem 4.14
History
- 2026-10-28: add by m2/v0.4.2
B7717R54D6 B7717R54D6
| URI | m2://inv/B7717R54D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#NJ9I (statement). In WRE0P7V6Z3/e1, corollary 9.9
History
- 2026-10-30: add by m2/v0.4.12
B774XN6FJ1 B774XN6FJ1
| URI | m2://inv/B774XN6FJ1 |
|---|---|
| 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.17589#KNBF (definition). In GSTK4569X1/e1, definition 5.9
History
- 2026-10-28: add by m2/v0.4.2
B7754H50FF B7754H50FF
| URI | m2://inv/B7754H50FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#W1PS (statement). In 5EKTECQ2P1/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Erdős, Ko, Rado B77ABV0DK6
| URI | m2://inv/B77ABV0DK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#theorem-1, Erdős, Ko, Rado (statement). In QKM9DD2H56, theorem, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
Quantitative four-point inequality B77C8VPC5V
| URI | m2://inv/B77C8VPC5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#NRIX, Quantitative four-point inequality (statement). In YXZX6Z8S6A/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Applications B77D688R36
| URI | m2://inv/B77D688R36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural cryptography#KZIZ, Applications (example)
History
- 2026-11-02: add by m2/dev
B77F3GH99J B77F3GH99J
| URI | m2://inv/B77F3GH99J |
|---|---|
| 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#BOWS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalization B77H0YE4KZ
| URI | m2://inv/B77H0YE4KZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant map#9C0G, Generalization (statement)
History
- 2026-11-02: add by m2/dev
8-orthoplex B77XFTBXYG
| URI | m2://inv/B77XFTBXYG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JFML, 8-orthoplex (object)
History
- 2026-11-02: add by m2/dev
B7822Q5T2E B7822Q5T2E
| URI | m2://inv/B7822Q5T2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#MQXB (statement). In WE001PR75Z/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
B789BSTJXS B789BSTJXS
| URI | m2://inv/B789BSTJXS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
B78DWYQB93 B78DWYQB93
| URI | m2://inv/B78DWYQB93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37634#MRGC (statement). In NTWNXKDBKK/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
B78NESHVWJ B78NESHVWJ
| URI | m2://inv/B78NESHVWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28503#HZNG (statement)
History
- 2026-11-01: add by m2/v0.6.15
B78WTHCV3R B78WTHCV3R
| URI | m2://inv/B78WTHCV3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.16036#EYZE (statement). In S1T3VFXE05/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
B790T9K96Q B790T9K96Q
| URI | m2://inv/B790T9K96Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15316#KS3L (statement). In 3K84E4150C/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
differentiable function between normed vector spaces B797BEDAVB
| URI | m2://inv/B797BEDAVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > differentiable function between normed vector spaces, differentiable function between normed vector spaces (unknown). Also Mathlib HasFDerivAt
History
- 2026-10-26: add by m2/dev
Hilbert's second problem B79ATF1WCD
| URI | m2://inv/B79ATF1WCD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's second problem, Hilbert's second problem (problem). Also Wikidata Q13424667
History
- 2026-11-02: add by m2/dev
Formal definition B79PGKTEMV
| URI | m2://inv/B79PGKTEMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy lifting property#MPR5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Yalchin Efendiev B79R0C9SJX
| URI | m2://inv/B79R0C9SJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RET0, Yalchin Efendiev (unknown)
History
- 2026-11-02: add by m2/dev
B79X7ZNPJ1 B79X7ZNPJ1
| URI | m2://inv/B79X7ZNPJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#WL29 (statement). In 4WJ9HYVSZY/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.6
hexagonal close packing B7ADVV4M76
| URI | m2://inv/B7ADVV4M76 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11271065, hexagonal close packing (unknown). Also MathWorld HexagonalClosePacking
History
- 2026-10-26: add by m2/dev
Pieri formula B7AHJ2DPNW
| URI | m2://inv/B7AHJ2DPNW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schubert calculus#W5JK, Pieri formula (statement)
History
- 2026-11-02: add by m2/dev
B7AMV8DEHH B7AMV8DEHH
| URI | m2://inv/B7AMV8DEHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#NXZM (statement). In 7QXAZXGNPQ/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.12
Barnsley fern B7AQVGGRMF
| URI | m2://inv/B7AQVGGRMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4861944, Barnsley fern (unknown). Also MathWorld BarnsleysFern
- wikipedia: Wikipedia Barnsley fern, Barnsley fern (definition). Also Wikidata Q4861944
History
- 2026-10-26: add by m2/dev
A natural but false conjecture B7AY0DKD3A
| URI | m2://inv/B7AY0DKD3A |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#QEF3, A natural but false conjecture (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
irreducible representation B7B2AH85EN
| URI | m2://inv/B7B2AH85EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Irreducible representation FX3NEFYFFN |
Mentions
- wikidata: Wikidata Q13690522, irreducible representation (unknown). Also MathWorld IrreducibleRepresentation, nLab irreducible representation
- wikipedia: Wikipedia Irreducible representation, Irreducible representation (definition). Also Wikidata Q13690522
History
- 2026-10-26: add by m2/dev
B7B788Z3YF B7B788Z3YF
| URI | m2://inv/B7B788Z3YF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16883#B77O (example). In TYS9N30M63/e1, example 4
History
- 2026-10-28: add by m2/v0.4.2
Andrew Wiles B7BB469P8W
| URI | m2://inv/B7BB469P8W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#NYKK, Andrew Wiles (topic)
History
- 2026-11-02: add by m2/dev
LEA B7BCWD6SQ7
| URI | m2://inv/B7BCWD6SQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LEA (cipher), LEA (definition). Also Wikidata Q96416915
History
- 2026-11-02: add by m2/dev
B7BHPSPDS9 B7BHPSPDS9
| URI | m2://inv/B7BHPSPDS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#prop:conditional_exp (statement). In RZP28ERRZV, proposition, section 66.3
History
- 2026-11-01: add by m2/v0.6.13
Henri Padé B7BNBS1N0J
| URI | m2://inv/B7BNBS1N0J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#A791, Henri Padé (topic)
History
- 2026-11-02: add by m2/dev
Principal geodesic analysis B7BNGN13Y0
| URI | m2://inv/B7BNGN13Y0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal geodesic analysis, Principal geodesic analysis (definition). Also Wikidata Q7245080
History
- 2026-11-02: add by m2/dev
Gerhard Thomsen B7BQ7GHKTD
| URI | m2://inv/B7BQ7GHKTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0CDF, Gerhard Thomsen (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#73JW, Gerhard Thomsen (unknown)
- wikipedia: Wikipedia List of German mathematicians#S07I, Gerhard Thomsen (unknown)
History
- 2026-11-02: add by m2/dev
B7C0F2DZ4A B7C0F2DZ4A
| URI | m2://inv/B7C0F2DZ4A |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Queue number#CK6S (problem)
History
- 2026-11-02: add by m2/dev
Encoding B7C20NFRD4
| URI | m2://inv/B7C20NFRD4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#1GKO, Encoding (definition). In WD2NCBV9F0/e1, definition 19.4
History
- 2026-10-27: add by m2/v0.3.5
B7C3KHARTF B7C3KHARTF
| URI | m2://inv/B7C3KHARTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33957#NYSQ (statement). In KG6V5AN3PK/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
B7C61T2K3C B7C61T2K3C
| URI | m2://inv/B7C61T2K3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#7PTA (statement). In DPT4P2BTEW/e1, proposition 6.6
History
- 2026-10-30: add by m2/v0.4.12
B7C7G6131P B7C7G6131P
| URI | m2://inv/B7C7G6131P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.07090#I0QC (statement). In GTTSG2A5QC/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Joseph Waksberg B7C7VZKV0C
| URI | m2://inv/B7C7VZKV0C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#EIMX, Joseph Waksberg (topic)
History
- 2026-11-02: add by m2/dev
Disc theorem B7C9X2H7RA
| URI | m2://inv/B7C9X2H7RA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disc theorem, Disc theorem (statement). Also Wikidata Q5281396
History
- 2026-11-02: add by m2/dev
B7CCBGD55G B7CCBGD55G
| URI | m2://inv/B7CCBGD55G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08211#3EEU (statement). In 1QRK9HXJWT/e1, proposition 1.7
History
- 2026-10-29: add by m2/v0.4.10
B7CDESZ3G6 B7CDESZ3G6
| URI | m2://inv/B7CDESZ3G6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#I89O (definition). In 3GE9PS9AH0/e1, definition 1.2.1
History
- 2026-10-27: add by m2/v0.3.5
B7CE5C9Q3R B7CE5C9Q3R
| URI | m2://inv/B7CE5C9Q3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#MI98 (statement). In CFJH0Q39FZ/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
B7D2YBDGCX B7D2YBDGCX
| URI | m2://inv/B7D2YBDGCX |
|---|---|
| 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 2609.27056#AF04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hurwitz surface B7D5453NW3
| URI | m2://inv/B7D5453NW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz surface, Hurwitz surface (definition). Also Wikidata Q5948842
History
- 2026-11-02: add by m2/dev
Analytically unramified ring B7D6N1RC6E
| URI | m2://inv/B7D6N1RC6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytically unramified ring, Analytically unramified ring (definition). Also Wikidata Q17097738
History
- 2026-11-02: add by m2/dev
B7DB7V54TJ B7DB7V54TJ
| URI | m2://inv/B7DB7V54TJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Edmond Halley B7DSJTGSPA
| URI | m2://inv/B7DSJTGSPA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmond Halley, Edmond Halley (topic). Also Wikidata Q47434
History
- 2026-11-02: add by m2/dev
Cotlar–Stein lemma B7E51X3B90
| URI | m2://inv/B7E51X3B90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#1P6J, Cotlar–Stein lemma (statement)
History
- 2026-11-02: add by m2/dev
B7E6PVDT13 B7E6PVDT13
| URI | m2://inv/B7E6PVDT13 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#P4WW (definition). In TFAN2DR6FD/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Discrete Gradient B7EB6JCR1C
| URI | m2://inv/B7EB6JCR1C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#NH29, Discrete Gradient (definition). In W5XG3PGVF1/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Colin Adams B7EN1JB511
| URI | m2://inv/B7EN1JB511 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1LQA, Colin Adams (topic)
History
- 2026-11-02: add by m2/dev
B7EREQ0QE9 B7EREQ0QE9
| URI | m2://inv/B7EREQ0QE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#T5AB (statement)
History
- 2026-11-01: add by m2/v0.6.15
componentwise distance formula and one-sided witness bound B7ETKP09XC
| URI | m2://inv/B7ETKP09XC |
|---|---|
| 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.39395#NV0G, componentwise distance formula and one-sided witness bound (statement). In ZDVPJ1XX5Z/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
B7EX4B12HG B7EX4B12HG
| URI | m2://inv/B7EX4B12HG |
|---|---|
| Kind | conjecture |
| 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#96QX (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
B7EXH40BC0 B7EXH40BC0
| URI | m2://inv/B7EXH40BC0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-22 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
B7EXNGA4XW B7EXNGA4XW
| URI | m2://inv/B7EXNGA4XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#5C68 (statement). In 48QX0QD0XR/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Example 2 B7FFAJ3GV3
| URI | m2://inv/B7FFAJ3GV3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet basis#98OE, Example 2 (example)
History
- 2026-11-02: add by m2/dev
B7FKZ1AYC8 B7FKZ1AYC8
| URI | m2://inv/B7FKZ1AYC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:chaotic (example). In N54F33XE07, eg, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
rational root theorem B7FTCFYY25
| URI | m2://inv/B7FTCFYY25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Rational root theorem 0819CQ1V8H |
Mentions
- mathlib_1000: mathlib_1000 Q180345, Rational root theorem (statement). Also Mathlib num_dvd_of_is_root, Mathlib den_dvd_of_is_root, Wikidata Q180345
- mathlib_1000: mathlib_1000 Q180345X, Integral root theorem (statement). Also Mathlib isInteger_of_is_root_of_monic, Wikidata Q180345
- thousand_plus: thousand_plus Q180345, Rational root theorem (statement). Also Mathlib num_dvd_of_is_root, Mathlib den_dvd_of_is_root, Wikidata Q180345, Wikipedia Rational root theorem
- thousand_plus: thousand_plus Q180345X, Integral root theorem (statement). Also Mathlib isInteger_of_is_root_of_monic, Wikidata Q180345, Wikipedia Integral root theorem
- wikidata: Wikidata Q180345, rational root theorem (statement). Also MathWorld RationalZeroTheorem
- wikipedia: Wikipedia Rational root theorem, Rational root theorem (statement). Also Wikidata Q180345
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
B7G9228FP7 B7G9228FP7
| URI | m2://inv/B7G9228FP7 |
|---|---|
| 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.03555#5NDV (statement). In 9JZJTRRVR1/e1, corollary 9.4
History
- 2026-10-29: add by m2/v0.4.12
B7GH7F2XCV B7GH7F2XCV
| URI | m2://inv/B7GH7F2XCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#WEPD (statement). In Q74G3BVZAQ/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Matiyasevich's theorem B7GNC72KQ8
| URI | m2://inv/B7GNC72KQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#2VDV, Matiyasevich's theorem (definition)
- wikipedia: Wikipedia List of number theory topics#NBF4, Matiyasevich's theorem (definition)
History
- 2026-11-02: add by m2/dev
characterisation by a fixed operator-valued symbol B7GPTPH44J
| URI | m2://inv/B7GPTPH44J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#DS6N, characterisation by a fixed operator-valued symbol (statement)
History
- 2026-11-01: add by m2/v0.6.15
Connelly and Whiteley B7GZZYAF3X
| URI | m2://inv/B7GZZYAF3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#H2DG, Connelly and Whiteley (statement). In JQ4JYAXCMK/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
WB property of the mPDeC scheme B7H2899CBH
| URI | m2://inv/B7H2899CBH |
|---|---|
| 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.21857#LZAW, WB property of the mPDeC scheme (statement). In WTMHRKT9AX/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
B7H8JVJG11 B7H8JVJG11
| URI | m2://inv/B7H8JVJG11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#IRTX (statement). In XJ59TDP4HA/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
self-complementary graph B7HEH87C9V
| URI | m2://inv/B7HEH87C9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3736652, self-complementary graph (unknown). Also MathWorld Self-ComplementaryGraph
- wikipedia: Wikipedia Self-complementary graph, Self-complementary graph (definition). Also Wikidata Q3736652
History
- 2026-10-26: add by m2/dev
Algorithm B7HQY80W6W
| URI | m2://inv/B7HQY80W6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isolation forest#8LWB, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Cauchy integral formula B7HR42VWSR
| URI | m2://inv/B7HR42VWSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-1, Cauchy integral formula (statement). In VNMV985MXX, thm, section 1
History
- 2026-11-01: add by m2/v0.6.13
B7HVQD4FGH B7HVQD4FGH
| URI | m2://inv/B7HVQD4FGH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
B7HX3YBR57 B7HX3YBR57
| URI | m2://inv/B7HX3YBR57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#QQS9 (statement). In Q1XJ5VWE1N/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Forbidding $H_1$ and $H_2$ B7HXKWV1YB
| URI | m2://inv/B7HXKWV1YB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#CDQC, Forbidding $H_1$ and $H_2$ (statement). In TWB64HRHWZ/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
B7HZ03YXJZ B7HZ03YXJZ
| URI | m2://inv/B7HZ03YXJZ |
|---|---|
| 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.39293#S9W9 (statement). In S26QVW5613/e1, theorem 4.8.1
History
- 2026-10-30: add by m2/v0.4.12
B7J1DZTW83 B7J1DZTW83
| URI | m2://inv/B7J1DZTW83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#BYBA (statement). In 6NVP3YRWVA/e1, fact 4.16
History
- 2026-10-29: add by m2/v0.4.10
Examples B7J42JXA0Z
| URI | m2://inv/B7J42JXA0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative group of integers modulo n#CCHX, Examples (example)
History
- 2026-11-02: add by m2/dev
Derivative B7J6REY2XZ
| URI | m2://inv/B7J6REY2XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#6BK1, Derivative (definition)
History
- 2026-11-02: add by m2/dev
B7JE6HKPB0 B7JE6HKPB0
| URI | m2://inv/B7JE6HKPB0 |
|---|---|
| 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 0910.5574#T1OS (statement). In 2TJRBRKYAY/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Hexagonal trapezohedron B7JFQ71J3Z
| URI | m2://inv/B7JFQ71J3Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal trapezohedron, Hexagonal trapezohedron (object). Also Wikidata Q5748775
History
- 2026-11-02: add by m2/dev
B7JNE6FSBT B7JNE6FSBT
| URI | m2://inv/B7JNE6FSBT |
|---|---|
| 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.05327#UGX4 (statement). In ZD7BWDKT84/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
B7JP0A1R12 B7JP0A1R12
| URI | m2://inv/B7JP0A1R12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#S6R0 (statement). In V2NTW27MSJ/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Third theorem B7JWDME35B
| URI | m2://inv/B7JWDME35B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mertens' theorems#15MW, Third theorem (statement)
History
- 2026-11-02: add by m2/dev
Steve Butler B7JYBGDQ8S
| URI | m2://inv/B7JYBGDQ8S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve Butler (mathematician), Steve Butler (topic). Also Wikidata Q56888992
History
- 2026-11-02: add by m2/dev
Properties B7JZZG6Y4Y
| URI | m2://inv/B7JZZG6Y4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#XCA6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Frequency (statistics) B7K4R6EHGK
| URI | m2://inv/B7K4R6EHGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B6OG, Frequency (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Nonlinear IV regression B7KC9XEAPE
| URI | m2://inv/B7KC9XEAPE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12873#J0SC, Nonlinear IV regression (example). In 9MMD2N7DQ1/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.2
B7KCBTGXW9 B7KCBTGXW9
| URI | m2://inv/B7KCBTGXW9 |
|---|---|
| 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 0910.5574#CM9J (statement). In 2TJRBRKYAY/e1, theorem 11.1
History
- 2026-10-27: add by m2/v0.3.5
Uniform reverse logarithmic-Lipschitz estimates B7KFYDZ2TD
| URI | m2://inv/B7KFYDZ2TD |
|---|---|
| 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.22513#DUOS, Uniform reverse logarithmic-Lipschitz estimates (statement)
History
- 2026-11-02: add by m2/v0.6.17
B7KS4DPSCG B7KS4DPSCG
| URI | m2://inv/B7KS4DPSCG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#O5MW (definition). In J7ZX3WWRQP/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Rees B7KYK4PGKF
| URI | m2://inv/B7KYK4PGKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#OK9W, Rees (definition)
History
- 2026-11-02: add by m2/dev
KdV equation B7M0MX9MFG
| URI | m2://inv/B7M0MX9MFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#LWWD, KdV equation (definition)
History
- 2026-11-02: add by m2/dev
B7M2C7FNXB B7M2C7FNXB
| URI | m2://inv/B7M2C7FNXB |
|---|---|
| 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.35625#Z0V4 (statement). In 7N144YJM0R/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
adjunction formula B7M7PYF4VF
| URI | m2://inv/B7M7PYF4VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#3ZIX, adjunction formula (definition)
History
- 2026-11-02: add by m2/dev
Domino Problem B7MCW8WAEE
| URI | m2://inv/B7MCW8WAEE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wang tile#K8CT, Domino Problem (unknown)
History
- 2026-11-02: add by m2/dev
B7ME1FSFYW B7ME1FSFYW
| URI | m2://inv/B7ME1FSFYW |
|---|---|
| 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.21036#1YMN (statement). In G0M4N3E0CG/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.4.2
B7MFCABQ2R B7MFCABQ2R
| URI | m2://inv/B7MFCABQ2R |
|---|---|
| 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.24463#5084 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Priestley space B7MH6A3FC6
| URI | m2://inv/B7MH6A3FC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#L0JD, Priestley space (definition)
History
- 2026-11-02: add by m2/dev
B7MJSN435B B7MJSN435B
| URI | m2://inv/B7MJSN435B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#A6DD (statement). In RY2X22P6XW/e1, theorem 37
History
- 2026-10-27: add by m2/v0.3.5
Survey methodology B7MMK2VR9W
| URI | m2://inv/B7MMK2VR9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey methodology, Survey methodology (topic). Also Wikidata Q814232
History
- 2026-11-02: add by m2/dev
B7MQNC9XC5 B7MQNC9XC5
| URI | m2://inv/B7MQNC9XC5 |
|---|---|
| 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.05506#RR35 (statement). In FT53PMB1TE/e1, lemma 2.3.10
History
- 2026-10-29: add by m2/v0.4.10
B7MW8XWH9N B7MW8XWH9N
| URI | m2://inv/B7MW8XWH9N |
|---|---|
| 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.03081#DF15 (statement). In TX0H26X4VX/e1, theorem 8.17
History
- 2026-10-29: add by m2/v0.4.12
second Lemoine circle B7N16MRB0V
| URI | m2://inv/B7N16MRB0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124651100, second Lemoine circle (unknown). Also MathWorld CosineCircle
History
- 2026-10-26: add by m2/dev
Richard Brinkley B7N1XY2H5Z
| URI | m2://inv/B7N1XY2H5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#PGJN, Richard Brinkley (unknown)
History
- 2026-11-02: add by m2/dev
B7N2Z9SJPW B7N2Z9SJPW
| URI | m2://inv/B7N2Z9SJPW |
|---|---|
| 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#KOKL (statement). In TTRSZVT4VX/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
Failure of Greedy Splits B7N3H3HZP0
| URI | m2://inv/B7N3H3HZP0 |
|---|---|
| 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.38194#DLHN, Failure of Greedy Splits (statement). In M9BZSET9ZV/e1, theorem 9.2
History
- 2026-10-30: add by m2/v0.4.12
B7N80W6CNH B7N80W6CNH
| URI | m2://inv/B7N80W6CNH |
|---|---|
| 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.19360#LC57 (statement). In MFCW5CY96C/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.2
B7NBDJZ09G B7NBDJZ09G
| URI | m2://inv/B7NBDJZ09G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:wellorder (statement). In N54F33XE07, thm, section C.4
History
- 2026-11-01: add by m2/v0.6.13
Rounding error of \lpfp B7NC162Z1Z
| URI | m2://inv/B7NC162Z1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#PSFM, Rounding error of \lpfp (statement). In K6CP8GP51H/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Vanishing of the optimal centering constant B7NVKYYJ6X
| URI | m2://inv/B7NVKYYJ6X |
|---|---|
| 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.09001#MH94, Vanishing of the optimal centering constant (statement). In HJC1JJZRSH/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
André Lichnerowicz B7P6HVFG3Y
| URI | m2://inv/B7P6HVFG3Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#26HV, André Lichnerowicz (topic)
History
- 2026-11-02: add by m2/dev
B7PE3QHJNB B7PE3QHJNB
| URI | m2://inv/B7PE3QHJNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#NVIK (statement). In CC6S1HVK0T/e1, theorem 9.3
History
- 2026-10-28: add by m2/v0.4.2
B7PF5ZVCRA B7PF5ZVCRA
| URI | m2://inv/B7PF5ZVCRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16814#K8GY (statement). In MN03Z3PRFT/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Incompressible periodic waves B7PJXQQ4MP
| URI | m2://inv/B7PJXQQ4MP |
|---|---|
| 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#772S, Incompressible periodic waves (statement). In CYV4P9TDV0/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
B7PMDPDYXZ B7PMDPDYXZ
| URI | m2://inv/B7PMDPDYXZ |
|---|---|
| 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.01970#W18Q (statement). In 1B400PB2NJ/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
H. S. M. Coxeter B7PSN92BB4
| URI | m2://inv/B7PSN92BB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H. S. M. Coxeter, H. S. M. Coxeter (topic). Also Wikidata Q129916
History
- 2026-11-02: add by m2/dev
Applications B7Q16PXWT5
| URI | m2://inv/B7Q16PXWT5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-score#4L6T, Applications (example)
History
- 2026-11-02: add by m2/dev
Abscissa and ordinate B7Q1Y9SAYK
| URI | m2://inv/B7Q1Y9SAYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abscissa and ordinate, Abscissa and ordinate (definition). Also Wikidata Q58485726
History
- 2026-11-02: add by m2/dev
B7Q2ZYVVQM B7Q2ZYVVQM
| URI | m2://inv/B7Q2ZYVVQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#CTIL (definition). In 6S5EH3388Z/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
Example B7Q9HWZ3RS
| URI | m2://inv/B7Q9HWZ3RS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial (linear algebra)#SQO4, Example (example)
History
- 2026-11-02: add by m2/dev
B7QQKC760P B7QQKC760P
| URI | m2://inv/B7QQKC760P |
|---|---|
| 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.32104#GW5T (statement). In YRJSYFXNM8/e1, theorem 5.8
History
- 2026-10-31: add by m2/v0.5.6
B7QS733NEK B7QS733NEK
| URI | m2://inv/B7QS733NEK |
|---|---|
| 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.34213#YRDH (statement). In KGP6NAY0NS/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Vicent Caselles B7QY0K14ZY
| URI | m2://inv/B7QY0K14ZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YAPK, Vicent Caselles (unknown)
History
- 2026-11-02: add by m2/dev
B7R0BSDX9T B7R0BSDX9T
| URI | m2://inv/B7R0BSDX9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#OMJZ (statement). In P7T0W5D3W3/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Charles-Benjamin de Lubières B7R0Q8VY14
| URI | m2://inv/B7R0Q8VY14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles-Benjamin de Lubières, Charles-Benjamin de Lubières (topic). Also Wikidata Q119893
History
- 2026-11-02: add by m2/dev
0-manifolds are discrete spaces B7R38SM8ZP
| URI | m2://inv/B7R38SM8ZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > 0-manifolds are discrete spaces, 0-manifolds are discrete spaces (unknown). Also Mathlib ChartedSpace.discreteTopology
History
- 2026-10-26: add by m2/dev
Latent semantic indexing B7R3YMNAK2
| URI | m2://inv/B7R3YMNAK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent semantic analysis#XVKA, Latent semantic indexing (unknown)
History
- 2026-11-02: add by m2/dev
Elliptic curves B7R6WPD7S9
| URI | m2://inv/B7R6WPD7S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#E6QR, Elliptic curves (definition)
History
- 2026-11-02: add by m2/dev
phyllotaxis B7R8KKZD12
| URI | m2://inv/B7R8KKZD12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q839659, phyllotaxis (unknown). Also MathWorld Phyllotaxis
- wikipedia: Wikipedia Phyllotaxis, Phyllotaxis (definition). Also Wikidata Q839659
History
- 2026-10-26: add by m2/dev
B7RASSJY89 B7RASSJY89
| URI | m2://inv/B7RASSJY89 |
|---|---|
| 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.23343#IWUQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Admissible gate B7RB4MAAP0
| URI | m2://inv/B7RB4MAAP0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24235#NHYO, Admissible gate (definition)
History
- 2026-11-01: add by m2/v0.6.15
Clebsch–Gordan coefficient B7RB5TPBVM
| URI | m2://inv/B7RB5TPBVM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898619, Clebsch–Gordan coefficient (concept). Also MathWorld Clebsch-GordanCoefficient
- wikipedia: Wikipedia Clebsch–Gordan coefficients, Clebsch–Gordan coefficients (definition). Also Wikidata Q898619
History
- 2026-10-26: add by m2/dev
B7RDEKT3X3 B7RDEKT3X3
| URI | m2://inv/B7RDEKT3X3 |
|---|---|
| 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 2610.07927#EYSS (definition). In GKM19DHQTM/e1, definition 6.32
History
- 2026-10-29: add by m2/v0.4.10
B7REPZHXYV B7REPZHXYV
| URI | m2://inv/B7REPZHXYV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#73IJ (definition). In 7XM8WXVBWK/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
B7S9FKCQAK B7S9FKCQAK
| URI | m2://inv/B7S9FKCQAK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#bvp-periodic:example (example). In E9HS8K3A52, example, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
B7S9NX2Y4N B7S9NX2Y4N
| URI | m2://inv/B7S9NX2Y4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#XCZM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wolfgang Rautenberg B7SCQZSQVN
| URI | m2://inv/B7SCQZSQVN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Rautenberg, Wolfgang Rautenberg (topic). Also Wikidata Q87243
History
- 2026-11-02: add by m2/dev
power set B7SD997P7P
| URI | m2://inv/B7SD997P7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Power set 00E0YZCERH |
Mentions
- wikidata: Wikidata Q205170, power set (unknown). Also EoM Power_set, MathWorld PowerSet, nLab power set
- wikipedia: Wikipedia Power set, Power set (definition). Also Wikidata Q205170
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Icositetragram B7SGSDZGN6
| URI | m2://inv/B7SGSDZGN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q712, Icositetragram (definition)
History
- 2026-11-02: add by m2/dev
B7SKKHP9AV B7SKKHP9AV
| URI | m2://inv/B7SKKHP9AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#NSZS (statement). In SD43497T8C/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.3.5
B7SQ6YFKAA B7SQ6YFKAA
| URI | m2://inv/B7SQ6YFKAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27049#ZFOL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mikhail Agranovich B7SVYMPQRF
| URI | m2://inv/B7SVYMPQRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Agranovich (mathematician), Mikhail Agranovich (topic). Also Wikidata Q6849691
History
- 2026-11-02: add by m2/dev
B7SWE3VXD7 B7SWE3VXD7
| URI | m2://inv/B7SWE3VXD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#WWWU (statement)
History
- 2026-11-02: add by m2/v0.6.18
B7T43K805Q B7T43K805Q
| URI | m2://inv/B7T43K805Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#JSWX (statement)
History
- 2026-11-02: add by m2/v0.6.17
B7TDQFYAMK B7TDQFYAMK
| URI | m2://inv/B7TDQFYAMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#VEQM (statement). In 6B2PCEGCYZ/e1, theorem 5.11
History
- 2026-10-31: add by m2/v0.5.6
B7TG34B597 B7TG34B597
| URI | m2://inv/B7TG34B597 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#UCOA (statement). In ZPCYW4N0EH/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Sylvester domain B7TGYWR3CS
| URI | m2://inv/B7TGYWR3CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester domain, Sylvester domain (definition). Also Wikidata Q7660847
History
- 2026-11-02: add by m2/dev
Third-order product rule B7TSH6VGRM
| URI | m2://inv/B7TSH6VGRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#PT1L, Third-order product rule (statement). In 7GMD8J4200/e1, corollary 10
History
- 2026-10-27: add by m2/v0.4.2
SVD-inv inconsistency B7TWAT4Y4P
| URI | m2://inv/B7TWAT4Y4P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32505#7KRK, SVD-inv inconsistency (example). In N8MYP1Z659/e1, example C.1
History
- 2026-10-31: add by m2/v0.5.6
Dynkin diagram B7V02GFJYB
| URI | m2://inv/B7V02GFJYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#BBLM, Dynkin diagram (definition)
History
- 2026-11-02: add by m2/dev
B7V10A7BQS B7V10A7BQS
| URI | m2://inv/B7V10A7BQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#KYM2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
B7V20QJ260 B7V20QJ260
| URI | m2://inv/B7V20QJ260 |
|---|---|
| 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 1912.08672#WQD8 (statement). In 55X5V0M3K7/e1, lemma
History
- 2026-10-27: add by m2/v0.3.6
A common supersolution for boundary exchange B7V6VHXCDX
| URI | m2://inv/B7V6VHXCDX |
|---|---|
| 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.21328#DDCU, A common supersolution for boundary exchange (statement). In BJXVV4ZF7B/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
B7V7QJD7AF B7V7QJD7AF
| URI | m2://inv/B7V7QJD7AF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05990#S368 (statement). In G2R1ARDYK0/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Class 1-alt$^c$ B7VZ1HK7XH
| URI | m2://inv/B7VZ1HK7XH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#UI99, Class 1-alt$^c$ (example). In 75E8ZB1CBV/e1, example 4.2.1
History
- 2026-10-27: add by m2/v0.4.0
Power counting B7W0Z66W1V
| URI | m2://inv/B7W0Z66W1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#ZUG9, Power counting (statement)
History
- 2026-11-02: add by m2/v0.6.17
B7WA8WWE8X B7WA8WWE8X
| URI | m2://inv/B7WA8WWE8X |
|---|---|
| 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.18084#M4U4 (statement). In PKPT8NY665/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
Generalizations B7WBXQFAG4
| URI | m2://inv/B7WBXQFAG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive property#NRWI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Formal Dual B7WCSHQ36W
| URI | m2://inv/B7WCSHQ36W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#RPG6, Formal Dual (definition). In GWQP1XPM8E/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Institute of Mathematics B7WJ9ASEV4
| URI | m2://inv/B7WJ9ASEV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematics (National Academy of Sciences of Belarus), Institute of Mathematics (definition). Also Wikidata Q6040568
History
- 2026-11-02: add by m2/dev
B7WMFGDCBC B7WMFGDCBC
| URI | m2://inv/B7WMFGDCBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#IKPF (statement). In Q6HRJP4AWA/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
B7WNXYHJBH B7WNXYHJBH
| URI | m2://inv/B7WNXYHJBH |
|---|---|
| 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 2310.02073#S42N (statement). In 3PNCRG6J62/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Clebsch representation B7WQM823B5
| URI | m2://inv/B7WQM823B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch representation, Clebsch representation (definition). Also Wikidata Q28456923
History
- 2026-11-02: add by m2/dev
B7WY134BBY B7WY134BBY
| URI | m2://inv/B7WY134BBY |
|---|---|
| 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.05442#PRZS (statement). In WEPE51JCHZ/e1, corollary 9.7
History
- 2026-10-29: add by m2/v0.4.10
B7X4773AHW B7X4773AHW
| URI | m2://inv/B7X4773AHW |
|---|---|
| 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 2609.35027#7MPM (statement). In MEA7NHMQKB/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Path coloring B7X4K1T4KW
| URI | m2://inv/B7X4K1T4KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path coloring, Path coloring (definition). Also Wikidata Q7144647
History
- 2026-11-02: add by m2/dev
Aggrandizement (geometry) B7X5GSP6ZQ
| URI | m2://inv/B7X5GSP6ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#001K, Aggrandizement (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Wu, Jeff C. F. B7XKFQ2VPM
| URI | m2://inv/B7XKFQ2VPM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#M3W4, Wu, Jeff C. F. (unknown)
History
- 2026-11-02: add by m2/dev
B7XMEQY2QK B7XMEQY2QK
| URI | m2://inv/B7XMEQY2QK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#ON27 (statement). In GJKRVZ5YN5/e1, theorem 22
History
- 2026-10-27: add by m2/v0.3.5
Normalized solutions B7XMT4DSG7
| URI | m2://inv/B7XMT4DSG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normalized solutions (nonlinear Schrödinger equation), Normalized solutions (definition). Also Wikidata Q127380825
- wikipedia: Wikipedia Normalized solution (mathematics), Normalized solution (definition). Also Wikidata Q127325204
History
- 2026-11-02: add by m2/dev
B7XPBD19E8 B7XPBD19E8
| URI | m2://inv/B7XPBD19E8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Consensus forecast B7XPBRBDY4
| URI | m2://inv/B7XPBRBDY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus forecast, Consensus forecast (definition). Also Wikidata Q1127277
History
- 2026-11-02: add by m2/dev
Posidonius B7XRS8RKTW
| URI | m2://inv/B7XRS8RKTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#0PS1, Posidonius (unknown)
History
- 2026-11-02: add by m2/dev
M/M/c queue B7XZSE81YT
| URI | m2://inv/B7XZSE81YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P0WH, M/M/c queue (definition)
History
- 2026-11-02: add by m2/dev
The singular rotation model B7Y6HK533Q
| URI | m2://inv/B7Y6HK533Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#LIG4, The singular rotation model (statement). In DQ6P0P6N78/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Truth function B7Y80D71MS
| URI | m2://inv/B7Y80D71MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth function, Truth function (definition). Also Wikidata Q913874
History
- 2026-11-02: add by m2/dev
Local quadratic identity B7Y98M42WP
| URI | m2://inv/B7Y98M42WP |
|---|---|
| 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.33360#K8GN, Local quadratic identity (statement). In GH6FSDK4YB/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Zhilan Feng B7Y9NK304H
| URI | m2://inv/B7Y9NK304H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhilan Feng, Zhilan Feng (topic). Also Wikidata Q95600822
History
- 2026-11-02: add by m2/dev
B7YEDYDA3P B7YEDYDA3P
| URI | m2://inv/B7YEDYDA3P |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#UAI1 (unknown). In R2XC1SC9NZ/e1, unknown 36
History
- 2026-10-27: add by m2/v0.3.5
Riemannian wavefield extrapolation B7YGNW0N4J
| URI | m2://inv/B7YGNW0N4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#1O0M, Riemannian wavefield extrapolation (unknown)
History
- 2026-11-02: add by m2/dev
B7Z01PAMX9 B7Z01PAMX9
| URI | m2://inv/B7Z01PAMX9 |
|---|---|
| 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.20165#17GL (statement). In QTD3BP5GA0/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.4.2
Applications B7Z7V7C205
| URI | m2://inv/B7Z7V7C205 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk#QPMR, Applications (example)
History
- 2026-11-02: add by m2/dev
B7ZC2H58HE B7ZC2H58HE
| URI | m2://inv/B7ZC2H58HE |
|---|---|
| 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 2303.04321#PXEP (statement). In TE54S4QFW1/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
stellated octahedron B7ZCPQTJXJ
| URI | m2://inv/B7ZCPQTJXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1887384, stellated octahedron (object). Also MathWorld StellaOctangula
- wikipedia: Wikipedia Stellated octahedron, Stellated octahedron (definition). Also Wikidata Q1887384
History
- 2026-10-26: add by m2/dev
B7ZD7JT43R B7ZD7JT43R
| URI | m2://inv/B7ZD7JT43R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_comb-proof.ptx#example-3 (example). In QKM9DD2H56, example, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Dirichlet-multinomial distribution B7ZFMYV9DM
| URI | m2://inv/B7ZFMYV9DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A8V3, Dirichlet-multinomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Conjectures B7ZGEVRJR9
| URI | m2://inv/B7ZGEVRJR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Littlewood zeta function conjectures#4IQ3, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
Argand system B7ZGWPNV5N
| URI | m2://inv/B7ZGWPNV5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argand system, Argand system (definition). Also Wikidata Q4789201
History
- 2026-11-02: add by m2/dev
B7ZKTQWM88 B7ZKTQWM88
| URI | m2://inv/B7ZKTQWM88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#GBCW (statement)
History
- 2026-11-01: add by m2/v0.6.15
B7ZSWF8SC2 B7ZSWF8SC2
| URI | m2://inv/B7ZSWF8SC2 |
|---|---|
| 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.04809#F4HF (statement). In 2VHV0RNTNV/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
B7ZZPKJQM0 B7ZZPKJQM0
| URI | m2://inv/B7ZZPKJQM0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-14 (proof). In E59CDZA4DP, proof, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13