Inventory rows 9J
The cards of the rows of the inventory whose ids start with 9J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Shared responsibility model 9J0A3T8R18
| URI | m2://inv/9J0A3T8R18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cloud computing security#PUM1, Shared responsibility model (unknown)
History
- 2026-11-02: add by m2/dev
category, well-pointed 9J0AJC1AMC
| URI | m2://inv/9J0AJC1AMC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.5/category-well-pointed, category, well-pointed (concept). In N54F33XE07, index, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
9J0AQJ5FA4 9J0AQJ5FA4
| URI | m2://inv/9J0AQJ5FA4 |
|---|---|
| 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 2301.07434#QVCS (statement). In 7XZHQ2H5ZD/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
minimum, absolute 9J0CAJTAN0
| URI | m2://inv/9J0CAJTAN0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/minimum-absolute, minimum, absolute (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
9J0T4W2YKN 9J0T4W2YKN
| URI | m2://inv/9J0T4W2YKN |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#GAC0 (unknown). In QNBFHFZ3H0/e1, unknown 119
History
- 2026-10-28: add by m2/v0.4.2
Symmetry 9J0Z2WGT10
| URI | m2://inv/9J0Z2WGT10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated hexaoctagonal tiling#BNM2, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
9J17GZ58NP 9J17GZ58NP
| URI | m2://inv/9J17GZ58NP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#V3YL (statement). In 585QYGX4X6/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.2
9J17MAHSMV 9J17MAHSMV
| URI | m2://inv/9J17MAHSMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33900#Z9YX (statement). In 119MT2DD89/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
General definition 9J18GC7W1S
| URI | m2://inv/9J18GC7W1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#247F, General definition (definition)
History
- 2026-11-02: add by m2/dev
Compression 9J1BX7W3N6
| URI | m2://inv/9J1BX7W3N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08152#YOFI, Compression (statement). In T1GYQ6SCCZ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Lasso 9J1D670X5K
| URI | m2://inv/9J1D670X5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lasso (statistics), Lasso (definition). Also Wikidata Q20789991
History
- 2026-11-02: add by m2/dev
9J1F3Q5VNY 9J1F3Q5VNY
| URI | m2://inv/9J1F3Q5VNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#PJYG (statement). In 79H1DEK4M9/e1, theorem 9.2
History
- 2026-10-29: add by m2/v0.4.10
9J1FSFDZTV 9J1FSFDZTV
| URI | m2://inv/9J1FSFDZTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36089#97Q4 (statement). In AK4F10SNC0/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
9J1RHWF4JW 9J1RHWF4JW
| URI | m2://inv/9J1RHWF4JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24007#12NI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Crime and income inequality 9J1TW56N1Z
| URI | m2://inv/9J1TW56N1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlates of crime#BMWX, Crime and income inequality (unknown)
History
- 2026-11-02: add by m2/dev
Fabio Conforto 9J1VBDPHE2
| URI | m2://inv/9J1VBDPHE2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabio Conforto, Fabio Conforto (topic). Also Wikidata Q3737655
History
- 2026-11-02: add by m2/dev
nuclear C*-algebra 9J205T8EQ7
| URI | m2://inv/9J205T8EQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nuclear C*-algebra D2M4VXJ7PA |
Mentions
- wikidata: Wikidata Q2602075, nuclear C*-algebra (unknown). Also nLab nuclear C*-algebra
- wikipedia: Wikipedia Nuclear C*-algebra, Nuclear C*-algebra (definition). Also Wikidata Q2602075
History
- 2026-10-26: add by m2/dev
9J21P5GPSV 9J21P5GPSV
| URI | m2://inv/9J21P5GPSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#VPFQ (statement). In E7BPGPP9Z5/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
9J237GNV3B 9J237GNV3B
| URI | m2://inv/9J237GNV3B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-16 (proof). In E59CDZA4DP, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
9J2H537C7J 9J2H537C7J
| URI | m2://inv/9J2H537C7J |
|---|---|
| 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.38548#T5JS (statement). In Z7ZFV3HM1S/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Lorraine Denby 9J2HQ3H0AY
| URI | m2://inv/9J2HQ3H0AY |
|---|---|
| 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#9C8C, Lorraine Denby (topic)
History
- 2026-11-02: add by m2/dev
FETI-DP 9J2P8FQW0R
| URI | m2://inv/9J2P8FQW0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FETI-DP, FETI-DP (definition). Also Wikidata Q5425377
History
- 2026-11-02: add by m2/dev
Robert M L Baker, Jr. 9J2PXJ1TKJ
| URI | m2://inv/9J2PXJ1TKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#K92I, Robert M L Baker, Jr. (unknown)
History
- 2026-11-02: add by m2/dev
9J2TEFQM1E 9J2TEFQM1E
| URI | m2://inv/9J2TEFQM1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#6ZKX (statement). In D64RQ09KBP/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
hypograph 9J2TWCX4T5
| URI | m2://inv/9J2TWCX4T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#TOFE, hypograph (definition)
History
- 2026-11-02: add by m2/dev
Crome, August Friedrich Wilhelm 9J2WCVJ3Z2
| URI | m2://inv/9J2WCVJ3Z2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#O5BM, Crome, August Friedrich Wilhelm (unknown)
History
- 2026-11-02: add by m2/dev
Possibility theory 9J2X6TQN2D
| URI | m2://inv/9J2X6TQN2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#XJ7I, Possibility theory (unknown)
History
- 2026-11-02: add by m2/dev
Truncated 24-cells 9J2YBFTV6S
| URI | m2://inv/9J2YBFTV6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 24-cells, Truncated 24-cells (definition). Also Wikidata Q7847848
History
- 2026-11-02: add by m2/dev
9J3M74YKX5 9J3M74YKX5
| URI | m2://inv/9J3M74YKX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#QH1W (statement)
History
- 2026-11-02: add by m2/v0.6.17
9J3ZRG1P3R 9J3ZRG1P3R
| URI | m2://inv/9J3ZRG1P3R |
|---|---|
| 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 2602.15812#2N0Q (statement). In GAAZD3SGPN/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
One-parameter matrix Positivstellensatz 9J42324QK4
| URI | m2://inv/9J42324QK4 |
|---|---|
| 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.33697#8R8X, One-parameter matrix Positivstellensatz (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Donald J. Newman 9J45H9FYZ8
| URI | m2://inv/9J45H9FYZ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald J. Newman, Donald J. Newman (topic). Also Wikidata Q5294582
History
- 2026-11-02: add by m2/dev
9J4GQHANX0 9J4GQHANX0
| URI | m2://inv/9J4GQHANX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#G7GY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Deming regression 9J4JATTCCV
| URI | m2://inv/9J4JATTCCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deming regression, Deming regression (definition). Also Wikidata Q5255370
History
- 2026-11-02: add by m2/dev
Umasvati 9J4Z5RTK27
| URI | m2://inv/9J4Z5RTK27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#TG8C, Umasvati (unknown)
History
- 2026-11-02: add by m2/dev
9J506Q2EKP 9J506Q2EKP
| URI | m2://inv/9J506Q2EKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-3.xml#prop-pivot-row (statement). In 649HGZKE96, proposition, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
9J57S7ECH6 9J57S7ECH6
| URI | m2://inv/9J57S7ECH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#P5A8 (statement). In MRR92GQNZE/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Infinity mirror 9J58C78M4Z
| URI | m2://inv/9J58C78M4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinity mirror, Infinity mirror (definition). Also Wikidata Q11412391
History
- 2026-11-02: add by m2/dev
9J5K6VYVPK 9J5K6VYVPK
| URI | m2://inv/9J5K6VYVPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#definition-1 (definition). In 649HGZKE96, definition, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
9J5QJW6VMA 9J5QJW6VMA
| URI | m2://inv/9J5QJW6VMA |
|---|---|
| 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.03358#W18G (statement). In KCXEY7HJ8V/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
9J67Y0SDN1 9J67Y0SDN1
| URI | m2://inv/9J67Y0SDN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#E8RQ (statement). In ETRT1R1CQ8/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
An underlying algebra of infinite global dimension 9J6FM3767K
| URI | m2://inv/9J6FM3767K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#FYI1, An underlying algebra of infinite global dimension (example). In 4DJE72VPJP/e1, example 5.6
History
- 2026-10-30: add by m2/v0.4.12
\emph{Principle of induction on terms} 9J6GARABWW
| URI | m2://inv/9J6GARABWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#lem:trmind, \emph{Principle of induction on terms} (statement). In PKGMM3P5QY, lem, section 22.1
History
- 2026-11-01: add by m2/v0.6.13
Moving frames method 9J6MP9WAF5
| URI | m2://inv/9J6MP9WAF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving frames method, Moving frames method (definition). Also Wikidata Q132200615
History
- 2026-11-02: add by m2/dev
Psychomotor patterning 9J6MXY0XXB
| URI | m2://inv/9J6MXY0XXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#8OS4, Psychomotor patterning (unknown)
History
- 2026-11-02: add by m2/dev
Claude Berge 9J6RQMKSZP
| URI | m2://inv/9J6RQMKSZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A3Y1, Claude Berge (topic)
History
- 2026-11-02: add by m2/dev
List of combinatorial optimization problems 9J6V11W7CT
| URI | m2://inv/9J6V11W7CT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial optimization#A1YM, List of combinatorial optimization problems (unknown)
History
- 2026-11-02: add by m2/dev
9J70Z08Z2W 9J70Z08Z2W
| URI | m2://inv/9J70Z08Z2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26738#R9MI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tal Malkin 9J73SPVRR2
| URI | m2://inv/9J73SPVRR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tal Malkin, Tal Malkin (topic). Also Wikidata Q102300361
History
- 2026-11-02: add by m2/dev
9J74PT2RWE 9J74PT2RWE
| URI | m2://inv/9J74PT2RWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10813#7XHZ (statement). In G8F4P7GDMA/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.3
9J77R3E1XV 9J77R3E1XV
| URI | m2://inv/9J77R3E1XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#S8VM (statement). In XKXG49TNXH/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
Zeilberger–Bressoud theorem 9J794PS4TV
| URI | m2://inv/9J794PS4TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8D46, Zeilberger–Bressoud theorem (statement)
History
- 2026-11-02: add by m2/dev
Random sample consensus 9J7B0XJ7JN
| URI | m2://inv/9J7B0XJ7JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random sample consensus, Random sample consensus (definition). Also Wikidata Q218533
History
- 2026-11-02: add by m2/dev
Sun's curious identity 9J7FHPDSEQ
| URI | m2://inv/9J7FHPDSEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sun's curious identity, Sun's curious identity (statement). Also Wikidata Q7638108
History
- 2026-11-02: add by m2/dev
Wandering set 9J7NFF1G8A
| URI | m2://inv/9J7NFF1G8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wandering set, Wandering set (definition). Also Wikidata Q2506703
History
- 2026-11-02: add by m2/dev
9J7NJW8313 9J7NJW8313
| URI | m2://inv/9J7NJW8313 |
|---|---|
| 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.24541#QK95 (statement)
History
- 2026-11-01: add by m2/v0.6.15
State space model 9J7WZ3H508
| URI | m2://inv/9J7WZ3H508 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State space model (deep learning), State space model (definition). Also Wikidata Q141548277
History
- 2026-11-02: add by m2/dev
9J83DAB7BJ 9J83DAB7BJ
| URI | m2://inv/9J83DAB7BJ |
|---|---|
| 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.08288#E0WR (statement). In CHVWYJM7RM/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
Leetsch C. Hsu 9J86MPGXK2
| URI | m2://inv/9J86MPGXK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leetsch C. Hsu, Leetsch C. Hsu (topic). Also Wikidata Q9140506
History
- 2026-11-02: add by m2/dev
9J8AY52M32 9J8AY52M32
| URI | m2://inv/9J8AY52M32 |
|---|---|
| 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.21358#UFGV (statement). In XV70TXYS5A/e1, theorem 7
History
- 2026-10-27: add by m2/v0.4.2
AA postulate 9J8E5WMJHT
| URI | m2://inv/9J8E5WMJHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AA postulate, AA postulate (definition). Also Wikidata Q4649993
History
- 2026-11-02: add by m2/dev
Conductor of an arbitrary irreducible construction 9J8HSMED9S
| URI | m2://inv/9J8HSMED9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#77XH, Conductor of an arbitrary irreducible construction (statement). In QPJ6FWG5HD/e1, corollary 2.107
History
- 2026-10-29: add by m2/v0.4.12
central series 9J8QPR37Z4
| URI | m2://inv/9J8QPR37Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#2NZA, central series (definition)
History
- 2026-11-02: add by m2/dev
9J8RS6G55B 9J8RS6G55B
| URI | m2://inv/9J8RS6G55B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#71CC (statement)
History
- 2026-11-02: add by m2/v0.6.17
9J8V78Z2B4 9J8V78Z2B4
| URI | m2://inv/9J8V78Z2B4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 13.6.1
History
- 2026-11-01: add by m2/v0.6.13
Leonardo polyhedron 9J8V9290VM
| URI | m2://inv/9J8V9290VM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonardo polyhedron, Leonardo polyhedron (object). Also Wikidata Q136172121
History
- 2026-11-02: add by m2/dev
Sanders, William 9J8Z9JBYDV
| URI | m2://inv/9J8Z9JBYDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5L48, Sanders, William (topic)
History
- 2026-11-02: add by m2/dev
9J93EN6W1C 9J93EN6W1C
| URI | m2://inv/9J93EN6W1C |
|---|---|
| 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.25524#T467 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact NLMS parameter-error identity 9J95GCJ6M4
| URI | m2://inv/9J95GCJ6M4 |
|---|---|
| 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 2609.32652#PKBW, Exact NLMS parameter-error identity (statement). In 6KAZWJ8RFX/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
9J9A45JKNG 9J9A45JKNG
| URI | m2://inv/9J9A45JKNG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example:sinnsqfourier (example). In E59CDZA4DP, example, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Consequences of the 9J9KDVTY55
| URI | m2://inv/9J9KDVTY55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#GY2X, Consequences of the (definition)
History
- 2026-11-02: add by m2/v0.6.18
Generalization 9J9NGSDZ6P
| URI | m2://inv/9J9NGSDZ6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic character#YZU2, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Fibre Nullstellens\"atze for sheaves 9JA0DKTFFS
| URI | m2://inv/9JA0DKTFFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#4YM4, Fibre Nullstellens\"atze for sheaves (statement). In 87QYNZZ67Z/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
Research on Bradford's law and bibliometrics 9JA0JAAVG9
| URI | m2://inv/9JA0JAAVG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B. (Bertram) C. Brookes#EP0R, Research on Bradford's law and bibliometrics (statement)
History
- 2026-11-02: add by m2/dev
Implementations 9JA2MXSH0W
| URI | m2://inv/9JA2MXSH0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaff algorithm#X99E, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Riemann's existence theorem 9JA8DVPRJ1
| URI | m2://inv/9JA8DVPRJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#5IJP, Riemann's existence theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 9JAC407RFG
| URI | m2://inv/9JAC407RFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BPP (complexity)#3DG4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Weak approximation 9JAK0NFP44
| URI | m2://inv/9JAK0NFP44 |
|---|---|
| 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.01501#5T5R, Weak approximation (statement). In 8Q2PXZDGB5/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
9JAQSEKGMG 9JAQSEKGMG
| URI | m2://inv/9JAQSEKGMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:incons (statement). In PKGMM3P5QY, prop, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
9JAWGKYP8N 9JAWGKYP8N
| URI | m2://inv/9JAWGKYP8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#JCY2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9JAXN4Z5MF 9JAXN4Z5MF
| URI | m2://inv/9JAXN4Z5MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#0ZJZ (statement). In KS30K5JXGB/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Principal bundle 9JAYPGN74K
| URI | m2://inv/9JAYPGN74K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#DWUE, Principal bundle (definition)
History
- 2026-11-02: add by m2/dev
Integrated mathematics 9JAZB9K7V5
| URI | m2://inv/9JAZB9K7V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrated mathematics, Integrated mathematics (definition). Also Wikidata Q17079496
History
- 2026-11-02: add by m2/dev
9JAZD50WSV 9JAZD50WSV
| URI | m2://inv/9JAZD50WSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#9NYZ (statement). In FNG4B47MRV/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
Donna Brogan 9JB1B0DCK2
| URI | m2://inv/9JB1B0DCK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donna Brogan, Donna Brogan (topic). Also Wikidata Q42666077
History
- 2026-11-02: add by m2/dev
Reed-Solomon Tanner sheaves 9JB1VVHCKX
| URI | m2://inv/9JB1VVHCKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#60WS, Reed-Solomon Tanner sheaves (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lindeberg's central limit theorem 9JB2E9NGSH
| URI | m2://inv/9JB2E9NGSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25377942, Lindeberg's central limit theorem (statement). Also MathWorld Lindeberg-FellerCentralLimitTheorem
History
- 2026-10-26: add by m2/dev
9JB4HTMMTK 9JB4HTMMTK
| URI | m2://inv/9JB4HTMMTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37208#MNXT (statement). In 7MCBCP4T0B/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Quadratic sieve 9JB68PX3C4
| URI | m2://inv/9JB68PX3C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#UWQ8, Quadratic sieve (definition)
- wikipedia: Wikipedia List of number theory topics#YZGF, Quadratic sieve (definition)
History
- 2026-11-02: add by m2/dev
simple 9JB6VAQ345
| URI | m2://inv/9JB6VAQ345 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#NTII, simple (definition)
History
- 2026-11-02: add by m2/dev
Electronic band structure 9JB8KP0SSN
| URI | m2://inv/9JB8KP0SSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic band structure, Electronic band structure (definition). Also Wikidata Q806380
History
- 2026-11-02: add by m2/dev
Example 9JBC5R5D1Z
| URI | m2://inv/9JBC5R5D1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Solomon error correction#V2HO, Example (example)
History
- 2026-11-02: add by m2/dev
9JBM2CYDV1 9JBM2CYDV1
| URI | m2://inv/9JBM2CYDV1 |
|---|---|
| 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.27078#MH56 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Uniform factorial-power envelope 9JBNCB0J5J
| URI | m2://inv/9JBNCB0J5J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03638#8N9M, Uniform factorial-power envelope (definition). In H39AZG67B6/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
theory of algebraic curves 9JBPN5ZRTM
| URI | m2://inv/9JBPN5ZRTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 14Hxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114682712, theory of algebraic curves (topic)
History
- 2026-10-26: add by m2/dev
9JC3E40DP7 9JC3E40DP7
| URI | m2://inv/9JC3E40DP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#57L2 (statement). In 37S7MNMZ2F/e1, proposition 33
History
- 2026-10-27: add by m2/v0.3.5
David Ho 9JC9Q467KE
| URI | m2://inv/9JC9Q467KE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#W0DU, David Ho (unknown)
History
- 2026-11-02: add by m2/dev
Line geometry 9JCAP175S6
| URI | m2://inv/9JCAP175S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0MAT, Line geometry (definition)
History
- 2026-11-02: add by m2/dev
Carleson–Jacobs theorem 9JCATY0V1A
| URI | m2://inv/9JCATY0V1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5041175, Carleson–Jacobs theorem (statement). Also Wikidata Q5041175
- thousand_plus: thousand_plus Q5041175, Carleson–Jacobs theorem (statement). Also Wikidata Q5041175, Wikipedia Carleson–Jacobs theorem
- wikipedia: Wikipedia Carleson–Jacobs theorem, Carleson–Jacobs theorem (statement). Also Wikidata Q5041175
History
- 2026-10-26: add by m2/dev
9JCFW7DEJ8 9JCFW7DEJ8
| URI | m2://inv/9JCFW7DEJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#05M6 (statement). In XYCBKM4WKY/e1, theorem 70
History
- 2026-10-27: add by m2/v0.3.5
Applications 9JCGWNXRS0
| URI | m2://inv/9JCGWNXRS0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoffel symbols#9PI8, Applications (example)
History
- 2026-11-02: add by m2/dev
9JCQW2KGJP 9JCQW2KGJP
| URI | m2://inv/9JCQW2KGJP |
|---|---|
| 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.07890#BRW2 (statement). In 6F3GSDT2V1/e1, theorem 5.8
History
- 2026-10-29: add by m2/v0.4.10
Boundary cycle of a full finite-graph continuum 9JCT76WAMA
| URI | m2://inv/9JCT76WAMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.09602#KTUA, Boundary cycle of a full finite-graph continuum (statement). In 4AQ48WSBDQ/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
9JD5T75D6Y 9JD5T75D6Y
| URI | m2://inv/9JD5T75D6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#4QEI (statement). In 1WCXV5PVZA/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
9JD9DRHBC1 9JD9DRHBC1
| URI | m2://inv/9JD9DRHBC1 |
|---|---|
| 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.25568#ZAL1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9JDKSNPH17 9JDKSNPH17
| URI | m2://inv/9JDKSNPH17 |
|---|---|
| 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.21975#6YTT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Relation to other axiom schemas 9JDQASCDC1
| URI | m2://inv/9JDQASCDC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema of replacement#SWWF, Relation to other axiom schemas (statement)
History
- 2026-11-02: add by m2/dev
9JDR97RQSP 9JDR97RQSP
| URI | m2://inv/9JDR97RQSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#BV4A (statement). In CGA36VE1C5/e1, fact 3.7.1
History
- 2026-10-27: add by m2/v0.3.6
Continuant 9JDY7M2V5S
| URI | m2://inv/9JDY7M2V5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuant (mathematics), Continuant (definition). Also Wikidata Q4231648
History
- 2026-11-02: add by m2/dev
Naor–Reingold pseudorandom function 9JE2276ZBJ
| URI | m2://inv/9JE2276ZBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of random number generators#29NS, Naor–Reingold pseudorandom function (definition)
History
- 2026-11-02: add by m2/dev
antichain 9JE892F8HV
| URI | m2://inv/9JE892F8HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AG1K, antichain (definition)
History
- 2026-11-02: add by m2/dev
9JE9TAWYW8 9JE9TAWYW8
| URI | m2://inv/9JE9TAWYW8 |
|---|---|
| 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.30203#GBO9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
edge-connectivity 9JEE8XQXNE
| URI | m2://inv/9JEE8XQXNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q72898236, edge-connectivity (unknown). Also MathWorld EdgeConnectivity
History
- 2026-10-26: add by m2/dev
Replacement of the radial perturbation 9JEECWY6HR
| URI | m2://inv/9JEECWY6HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#Y6RZ, Replacement of the radial perturbation (statement). In KVYG6R7CGJ/e1, lemma 3.9
History
- 2026-10-31: add by m2/v0.5.6
Formulations 9JEZ5HBJC6
| URI | m2://inv/9JEZ5HBJC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy hypothesis#3547, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Real function 9JF4K41GJR
| URI | m2://inv/9JF4K41GJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#D7K9, Real function (definition)
History
- 2026-11-02: add by m2/dev
James Hartle 9JF767N1T3
| URI | m2://inv/9JF767N1T3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MMDP, James Hartle (unknown)
History
- 2026-11-02: add by m2/dev
Ildar Ibragimov 9JF7MG9RVX
| URI | m2://inv/9JF7MG9RVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ildar Ibragimov (mathematician), Ildar Ibragimov (topic). Also Wikidata Q246773
History
- 2026-11-02: add by m2/dev
pseudoscalar 9JFAB9T8A4
| URI | m2://inv/9JFAB9T8A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1748985, pseudoscalar (unknown). Also nLab pseudoscalar
- wikipedia: Wikipedia Pseudoscalar, Pseudoscalar (definition). Also Wikidata Q1748985
History
- 2026-10-26: add by m2/dev
Special cases 9JFBRP2RHD
| URI | m2://inv/9JFBRP2RHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized mean#TZW9, Special cases (statement)
History
- 2026-11-02: add by m2/dev
9JFD780K32 9JFD780K32
| URI | m2://inv/9JFD780K32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17698#L9IC (statement). In DAH99JEYHF/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Higgs bundle 9JFGB6SR8Q
| URI | m2://inv/9JFGB6SR8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5754369, Higgs bundle (unknown). Also nLab Higgs bundle
- wikipedia: Wikipedia Higgs bundle, Higgs bundle (definition). Also Wikidata Q5754369
History
- 2026-10-26: add by m2/dev
9JFNH0B7WG 9JFNH0B7WG
| URI | m2://inv/9JFNH0B7WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#43D2 (statement). In V7SN19J84T/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Up to 9JGBN17664
| URI | m2://inv/9JGBN17664 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#0BO6, Up to (definition)
History
- 2026-11-02: add by m2/dev
9JGF8D86C1 9JGF8D86C1
| URI | m2://inv/9JGF8D86C1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#GPCT (definition). In 6KR7Z5ETRY/e1, definition 2.39
History
- 2026-10-27: add by m2/v0.3.5
incidence algebra 9JGH98MD6E
| URI | m2://inv/9JGH98MD6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 06A11 |
| Sources | 2 |
| Outcome | open |
| Node | Incidence algebra 1H9SFWHYEB |
Mentions
- wikidata: Wikidata Q371133, incidence algebra (topic)
- wikipedia: Wikipedia Incidence algebra, Incidence algebra (definition). Also Wikidata Q371133
History
- 2026-10-26: add by m2/dev
Dinh Tien-Cuong 9JGKE6MA3D
| URI | m2://inv/9JGKE6MA3D |
|---|---|
| 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#OK18, Dinh Tien-Cuong (unknown)
History
- 2026-11-02: add by m2/dev
Axioms 9JGP1A5CPP
| URI | m2://inv/9JGP1A5CPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type theory#TL9X, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Gross star theorem 9JGT46ZJCA
| URI | m2://inv/9JGT46ZJCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Gross#2AFY, Gross star theorem (statement)
History
- 2026-11-02: add by m2/dev
9JGVNGZMR1 9JGVNGZMR1
| URI | m2://inv/9JGVNGZMR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.33805#PE22 (statement). In XM98BX97RT/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
9JGWEM6J3B 9JGWEM6J3B
| URI | m2://inv/9JGWEM6J3B |
|---|---|
| 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.01796#DJ9Z (statement). In JC3PAB5DRC/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
9JH0KGG8A5 9JH0KGG8A5
| URI | m2://inv/9JH0KGG8A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#16V7 (statement). In 7V3HG30ZGW/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.0
unitary 9JH11411AV
| URI | m2://inv/9JH11411AV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#SG0T, unitary (definition)
History
- 2026-11-02: add by m2/dev
Sunflower 9JH1BV510W
| URI | m2://inv/9JH1BV510W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics), Sunflower (definition). Also Wikidata Q423986
History
- 2026-11-02: add by m2/dev
9JH7JXQTBH 9JH7JXQTBH
| URI | m2://inv/9JH7JXQTBH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#5Y0J (definition). In SVJYA0171G/e1, definition 8.1
History
- 2026-10-30: add by m2/v0.4.12
9JHC6N0VAX 9JHC6N0VAX
| URI | m2://inv/9JHC6N0VAX |
|---|---|
| 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.21937#XEKM (statement)
History
- 2026-11-02: add by m2/v0.6.17
9JHNJ18R78 9JHNJ18R78
| URI | m2://inv/9JHNJ18R78 |
|---|---|
| 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.21636#BF2L (statement). In Z1DGVEHKT6/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Bahadur representation under long memory 9JHRM10YMG
| URI | m2://inv/9JHRM10YMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33868#V8HV, Bahadur representation under long memory (statement). In 7TQ3XH3X79/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Server-based signatures 9JHVE5N628
| URI | m2://inv/9JHVE5N628 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Server-based signatures, Server-based signatures (definition). Also Wikidata Q17084231
History
- 2026-11-02: add by m2/dev
Alexander Dunn 9JHVTFW5V5
| URI | m2://inv/9JHVTFW5V5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Dunn (mathematician), Alexander Dunn (topic). Also Wikidata Q102086065
History
- 2026-11-02: add by m2/dev
being 9JHZ9H4CJY
| URI | m2://inv/9JHZ9H4CJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q203872, being (unknown). Also nLab being
History
- 2026-10-26: add by m2/dev
Taming the infinite: The story of Mathematics from the first numbers to chaos theory 9JJ2MDWFV0
| URI | m2://inv/9JJ2MDWFV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110520650, Taming the infinite: The story of Mathematics from the first numbers to chaos theory (unknown). Also ProofWiki Book:Ian_Stewart/Taming_the_Infinite
History
- 2026-10-26: add by m2/dev
Michel Lazard 9JJBQAA6A5
| URI | m2://inv/9JJBQAA6A5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7110160, Michel Lazard (unknown). Also nLab Michel Lazard
- wikipedia: Wikipedia Michel Lazard, Michel Lazard (topic). Also Wikidata Q7110160
History
- 2026-10-26: add by m2/dev
Convergence theorem 9JJDMV7XNG
| URI | m2://inv/9JJDMV7XNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate gradient method#O67U, Convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
9JJRG14275 9JJRG14275
| URI | m2://inv/9JJRG14275 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#BSSN (statement). In E7W2HDNEKJ/e1, lemma 9.7
History
- 2026-10-30: add by m2/v0.4.12
Communications Security Establishment 9JJRMV94PR
| URI | m2://inv/9JJRMV94PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communications Security Establishment, Communications Security Establishment (definition). Also Wikidata Q597935
History
- 2026-11-02: add by m2/dev
Computation 9JJRT0FS75
| URI | m2://inv/9JJRT0FS75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete cosine transform#6U1V, Computation (definition)
History
- 2026-11-02: add by m2/dev
Curve of constant width 9JK56SWZCV
| URI | m2://inv/9JK56SWZCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#Y6SH, Curve of constant width (definition)
- wikipedia: Wikipedia List of curves topics#06TZ, Curve of constant width (definition)
History
- 2026-11-02: add by m2/dev
Social cryptomnesia 9JK7FRZNKX
| URI | m2://inv/9JK7FRZNKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#IYFX, Social cryptomnesia (unknown)
History
- 2026-11-02: add by m2/dev
Reconstruction of the canonical emergent subspace 9JKCPG80V5
| URI | m2://inv/9JKCPG80V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#1B95, Reconstruction of the canonical emergent subspace (statement). In 8GSG7024NW/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Biaugmented pentagonal prism 9JKF46A81T
| URI | m2://inv/9JKF46A81T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DRTR, Biaugmented pentagonal prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#H9IN, Biaugmented pentagonal prism (definition)
History
- 2026-11-02: add by m2/dev
9JKZTN59ZT 9JKZTN59ZT
| URI | m2://inv/9JKZTN59ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#PKVP (statement). In CGA36VE1C5/e1, fact 3.10.1
History
- 2026-10-27: add by m2/v0.3.6
Crossing to smaller strata 9JKZXB2044
| URI | m2://inv/9JKZXB2044 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#LQBD, Crossing to smaller strata (statement). In EAABRG99V8/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.0
David Kelly 9JM0N1D821
| URI | m2://inv/9JM0N1D821 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Kelly (mathematics educator), David Kelly (topic). Also Wikidata Q5235910
History
- 2026-11-02: add by m2/dev
Zimmert set 9JM2MCX8R8
| URI | m2://inv/9JM2MCX8R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zimmert set, Zimmert set (definition). Also Wikidata Q8072145
History
- 2026-11-02: add by m2/dev
Hyperbolic Poisson transform 9JM8TF0122
| URI | m2://inv/9JM8TF0122 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#TV0M, Hyperbolic Poisson transform (statement). In HF7YNMW39N/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.4.0
9JMC1SHV2A 9JMC1SHV2A
| URI | m2://inv/9JMC1SHV2A |
|---|---|
| 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.33679#CCCF (statement). In 3N9E9T6AF5/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Vanishing of the two scalar contractions 9JMCFA17S3
| URI | m2://inv/9JMCFA17S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#5MJF, Vanishing of the two scalar contractions (statement)
History
- 2026-11-01: add by m2/v0.6.15
History of behavioural genetics 9JMM7PYAWV
| URI | m2://inv/9JMM7PYAWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behavioural genetics#3AWY, History of behavioural genetics (unknown)
History
- 2026-11-02: add by m2/dev
Meronomy 9JMQ12NS4C
| URI | m2://inv/9JMQ12NS4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meronomy, Meronomy (definition). Also Wikidata Q2465551
History
- 2026-11-02: add by m2/dev
9JMSFJYKD0 9JMSFJYKD0
| URI | m2://inv/9JMSFJYKD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#19Y7 (statement). In NAM9ZMPHZ9/e1, corollary B.7
History
- 2026-10-30: add by m2/v0.4.12
DRYAD 9JMXTFKZWK
| URI | m2://inv/9JMXTFKZWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DRYAD, DRYAD (definition). Also Wikidata Q5206083
History
- 2026-11-02: add by m2/dev
503 (number) 9JN4TR3NTG
| URI | m2://inv/9JN4TR3NTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#Q0RX, 503 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Laplace slopes 9JNKE740Q4
| URI | m2://inv/9JNKE740Q4 |
|---|---|
| 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.02531#D83F, Laplace slopes (statement). In 44EQ0MZE8G/e1, lemma 8.12
History
- 2026-10-29: add by m2/v0.4.12
Leverage score 9JNPRNNWAT
| URI | m2://inv/9JNPRNNWAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leverage (statistics)#NY22, Leverage score (unknown)
History
- 2026-11-02: add by m2/dev
H-space 9JNR0W6CH2
| URI | m2://inv/9JNR0W6CH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#VRD0, H-space (definition)
History
- 2026-11-02: add by m2/dev
Byerlee's law 9JNR4FECD0
| URI | m2://inv/9JNR4FECD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Byerlee's law, Byerlee's law (statement). Also Wikidata Q3955356
History
- 2026-11-02: add by m2/dev
mm-space 9JNRS0XT73
| URI | m2://inv/9JNRS0XT73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#DOID, mm-space (definition)
History
- 2026-11-01: add by m2/v0.6.15
Bayesian filters 9JNS8TS4JJ
| URI | m2://inv/9JNS8TS4JJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naive Bayes classifier#D9AU, Bayesian filters (unknown)
History
- 2026-11-02: add by m2/dev
Proself 9JNST5EXWC
| URI | m2://inv/9JNST5EXWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social value orientations#SVR5, Proself (unknown)
History
- 2026-11-02: add by m2/dev
Uses 9JP1PE09FC
| URI | m2://inv/9JP1PE09FC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypoexponential distribution#9PRJ, Uses (example)
History
- 2026-11-02: add by m2/dev
9JP3H4D7NS 9JP3H4D7NS
| URI | m2://inv/9JP3H4D7NS |
|---|---|
| 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 2609.33018#N91V (definition). In 8XVS0QJ2AH/e1, definition 62
History
- 2026-10-31: add by m2/v0.5.6
Scalar dual identities 9JP9QAVNPM
| URI | m2://inv/9JP9QAVNPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#RQFX, Scalar dual identities (statement). In A20E8FZS21/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.2
9JPJB8EHEP 9JPJB8EHEP
| URI | m2://inv/9JPJB8EHEP |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28403#6ZB2 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
9JPZDZ881X 9JPZDZ881X
| URI | m2://inv/9JPZDZ881X |
|---|---|
| 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.03011#876B (statement). In VE8FB6K8EN/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
Examples 9JQ229CP72
| URI | m2://inv/9JQ229CP72 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical hierarchy#SWAO, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 9JQ5JRDXS1
| URI | m2://inv/9JQ5JRDXS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NP-hardness#4SVA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Demographics of Europe 9JQ6NXGX4S
| URI | m2://inv/9JQ6NXGX4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Europe, Demographics of Europe (definition). Also Wikidata Q1067887
History
- 2026-11-02: add by m2/dev
Silverman–Toeplitz theorem 9JQABQ3QPC
| URI | m2://inv/9JQABQ3QPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7516736, Silverman–Toeplitz theorem (statement). Also Wikidata Q7516736
- thousand_plus: thousand_plus Q7516736, Silverman–Toeplitz theorem (statement). Also Wikidata Q7516736, Wikipedia Silverman–Toeplitz theorem
- wikipedia: Wikipedia Silverman–Toeplitz theorem, Silverman–Toeplitz theorem (statement). Also Wikidata Q7516736
History
- 2026-10-26: add by m2/dev
Rank of an elliptic curve 9JQDFSX7EB
| URI | m2://inv/9JQDFSX7EB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank of an elliptic curve, Rank of an elliptic curve (conjecture). Also Wikidata Q28402100
History
- 2026-11-02: add by m2/dev
Finite backtracking and bounded coefficients 9JQECCTDFV
| URI | m2://inv/9JQECCTDFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06557#Q9XL, Finite backtracking and bounded coefficients (statement). In VV5CH6Y31D/e1, theorem B.1
History
- 2026-10-29: add by m2/v0.4.10
Eve Torrence 9JQNNAPN6N
| URI | m2://inv/9JQNNAPN6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eve Torrence, Eve Torrence (topic). Also Wikidata Q102167610
History
- 2026-11-02: add by m2/dev
Myhill--Nerode theorem 9JQQ6RH0VR
| URI | m2://inv/9JQQ6RH0VR |
|---|---|
| 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.29022#U4RX, Myhill--Nerode theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
challenging 9JQZQYT3M0
| URI | m2://inv/9JQZQYT3M0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-57, challenging (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
9JR8R54NXN 9JR8R54NXN
| URI | m2://inv/9JR8R54NXN |
|---|---|
| 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.07790#70UM (statement). In A5YJDDM0NX/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Maryna Viazovska 9JRAD5JTH0
| URI | m2://inv/9JRAD5JTH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#VO5I, Maryna Viazovska (topic)
History
- 2026-11-02: add by m2/dev
Numerical solutions of the Sylvester equation 9JRPAKC193
| URI | m2://inv/9JRPAKC193 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester equation#RWVI, Numerical solutions of the Sylvester equation (unknown)
History
- 2026-11-02: add by m2/dev
Sphere 9JRPJTJNNH
| URI | m2://inv/9JRPJTJNNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#EFY1, Sphere (definition)
History
- 2026-11-02: add by m2/dev
9JRR4EC74P 9JRR4EC74P
| URI | m2://inv/9JRR4EC74P |
|---|---|
| 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.23803#9SFE (statement)
History
- 2026-11-02: add by m2/v0.6.17
RY-coding 9JRRQMT1A6
| URI | m2://inv/9JRRQMT1A6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Models of DNA evolution#FZJ2, RY-coding (unknown)
History
- 2026-11-02: add by m2/dev
contour integration 9JRVA4XSDA
| URI | m2://inv/9JRVA4XSDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#TLUG, contour integration (definition)
History
- 2026-11-02: add by m2/dev
9JRZKN7NYG 9JRZKN7NYG
| URI | m2://inv/9JRZKN7NYG |
|---|---|
| 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.05776#AB2N (statement). In AFSG70BF7S/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
9JS0TF2EXR 9JS0TF2EXR
| URI | m2://inv/9JS0TF2EXR |
|---|---|
| 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 2104.05191#NI2G (statement). In CCNH3FK8YZ/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Exact lower certificate 9JS826Q4NS
| URI | m2://inv/9JS826Q4NS |
|---|---|
| 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 2610.13962#ECJI, Exact lower certificate (statement). In 7NP5QKECVA/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
arity 9JSBPBX5VF
| URI | m2://inv/9JSBPBX5VF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.8/arity, arity (concept). In N54F33XE07, index, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
9JSDMTS34V 9JSDMTS34V
| URI | m2://inv/9JSDMTS34V |
|---|---|
| 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.07890#DLJG (statement). In 6F3GSDT2V1/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
9JSEBAACD1 9JSEBAACD1
| URI | m2://inv/9JSEBAACD1 |
|---|---|
| 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.26357#O2KS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Information bounds 9JSJ9QKVFE
| URI | m2://inv/9JSJ9QKVFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34458#CKF0, Information bounds (statement). In 2KQ85H6MS4/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
9JSKE11X3M 9JSKE11X3M
| URI | m2://inv/9JSKE11X3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#KOP2 (statement). In Y1DR0DPWD0/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.12
Emanuel Beke 9JSKRS0B6N
| URI | m2://inv/9JSKRS0B6N |
|---|---|
| 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#GCHP, Emanuel Beke (topic)
History
- 2026-11-02: add by m2/dev
cherry 9JSMCR9RFX
| URI | m2://inv/9JSMCR9RFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OS2F, cherry (definition)
History
- 2026-11-02: add by m2/dev
Sylvester's four point problem 9JSZ5VENJF
| URI | m2://inv/9JSZ5VENJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#A0S0, Sylvester's four point problem (unknown)
History
- 2026-11-02: add by m2/dev
Jan Łukasiewicz 9JT1Y1GNR1
| URI | m2://inv/9JT1Y1GNR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Łukasiewicz, Jan Łukasiewicz (topic). Also Wikidata Q313454
History
- 2026-11-02: add by m2/dev
9JT3DFJPKS 9JT3DFJPKS
| URI | m2://inv/9JT3DFJPKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16785#UZID (statement). In SXQQZ2MYKV/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Centered-disk hole probability 9JT3QAVKAD
| URI | m2://inv/9JT3QAVKAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#D139, Centered-disk hole probability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Triangular prism (optics) 9JT3TJFK36
| URI | m2://inv/9JT3TJFK36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#2KQ0, Triangular prism (optics) (unknown)
History
- 2026-11-02: add by m2/dev
Susan Berman 9JT7S4VJHX
| URI | m2://inv/9JT7S4VJHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#5E1R, Susan Berman (unknown)
History
- 2026-11-02: add by m2/dev
9JTF36ZTJE 9JTF36ZTJE
| URI | m2://inv/9JTF36ZTJE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02481#WRY6 (example). In 5HACFNFY0P/e1, example 4.8
History
- 2026-10-29: add by m2/v0.4.12
Risk bound from independent evaluation pairs 9JTSFRDW6P
| URI | m2://inv/9JTSFRDW6P |
|---|---|
| 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 2609.32652#32JC, Risk bound from independent evaluation pairs (statement). In 6KAZWJ8RFX/e1, proposition 5.13
History
- 2026-10-31: add by m2/v0.5.6
Properties 9JTVHZ6JVN
| URI | m2://inv/9JTVHZ6JVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fully irreducible automorphism#BQ12, Properties (statement)
History
- 2026-11-02: add by m2/dev
frame of reference 9JTVS8TD0F
| URI | m2://inv/9JTVS8TD0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184876, frame of reference (definition). Also ProofWiki Definition:Frame_of_Reference
History
- 2026-10-26: add by m2/dev
General definition 9JTWMN9HBM
| URI | m2://inv/9JTWMN9HBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder set#SV52, General definition (definition)
History
- 2026-11-02: add by m2/dev
9JV11YMXKQ 9JV11YMXKQ
| URI | m2://inv/9JV11YMXKQ |
|---|---|
| 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 math/0411039#PD6C (statement). In ZTBDXSKFFW/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.5
Factorisation of loose plots 9JV1YPG8G7
| URI | m2://inv/9JV1YPG8G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#VQ6R, Factorisation of loose plots (statement)
History
- 2026-11-01: add by m2/v0.6.15
9JV94B7KWF 9JV94B7KWF
| URI | m2://inv/9JV94B7KWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.21768#OF5Q (statement). In VD53W58DS1/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.2
Mark Gross 9JV9H7ZY77
| URI | m2://inv/9JV9H7ZY77 |
|---|---|
| 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#OEBE, Mark Gross (unknown)
History
- 2026-11-02: add by m2/dev
9JVEB5F03R 9JVEB5F03R
| URI | m2://inv/9JVEB5F03R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06868#G102 (definition). In TV73V5E7JV/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Malleability 9JVF0S8508
| URI | m2://inv/9JVF0S8508 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malleability (cryptography), Malleability (definition). Also Wikidata Q4668956
History
- 2026-11-02: add by m2/dev
Certified bundle solve 9JVHJ4MNQY
| URI | m2://inv/9JVHJ4MNQY |
|---|---|
| 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.21880#2SFL, Certified bundle solve (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions 9JVHW895W3
| URI | m2://inv/9JVHW895W3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle basis#7QZF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Formal statement 9JVM9YM20P
| URI | m2://inv/9JVM9YM20P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rice's theorem#FN7G, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Bourbaki–Witt theorem 9JVPJ42HAX
| URI | m2://inv/9JVPJ42HAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#FEQP, Bourbaki–Witt theorem (statement)
History
- 2026-11-02: add by m2/dev
Adam Olearius 9JVS07XE2R
| URI | m2://inv/9JVS07XE2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ZUWU, Adam Olearius (unknown)
History
- 2026-11-02: add by m2/dev
Computability in Europe 9JVVXZPKGF
| URI | m2://inv/9JVVXZPKGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computability in Europe, Computability in Europe (definition). Also Wikidata Q5157262
History
- 2026-11-02: add by m2/dev
Group attribution error 9JVWTM5169
| URI | m2://inv/9JVWTM5169 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#D8ZP, Group attribution error (unknown)
History
- 2026-11-02: add by m2/dev
Fixed-degree complexity 9JVX106B2B
| URI | m2://inv/9JVX106B2B |
|---|---|
| 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.31407#WE5T, Fixed-degree complexity (statement). In 6JSC602CCF/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
9JW4NRD0JX 9JW4NRD0JX
| URI | m2://inv/9JW4NRD0JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#436O (statement). In YNE0Q2X61Y/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
9JWFRA99QF 9JWFRA99QF
| URI | m2://inv/9JWFRA99QF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#LITH (statement). In NAA7WFQN20/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Example 9JWGG93HGH
| URI | m2://inv/9JWGG93HGH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic metric space#G1T6, Example (example)
History
- 2026-11-02: add by m2/dev
chess player 9JWNKJGVPC
| URI | m2://inv/9JWNKJGVPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10873124, chess player (definition). Also ProofWiki Definition:Chess/Player
History
- 2026-10-26: add by m2/dev
Real computation 9JWXDJZZC4
| URI | m2://inv/9JWXDJZZC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real computation, Real computation (definition). Also Wikidata Q7301125
History
- 2026-11-02: add by m2/dev
9JWYH78QQ5 9JWYH78QQ5
| URI | m2://inv/9JWYH78QQ5 |
|---|---|
| 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.28649#FIMV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma 9JX7XB8NZG
| URI | m2://inv/9JX7XB8NZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton–Gauss line#EGQV, Lemma (statement)
History
- 2026-11-02: add by m2/dev
9JXB6KXG8W 9JXB6KXG8W
| URI | m2://inv/9JXB6KXG8W |
|---|---|
| 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 2204.04265#MT04 (statement). In YHA9M56TBB/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
9JXM8N6M24 9JXM8N6M24
| URI | m2://inv/9JXM8N6M24 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#B6SZ (example)
History
- 2026-11-01: add by m2/v0.6.15
9JXQG9ZRYC 9JXQG9ZRYC
| URI | m2://inv/9JXQG9ZRYC |
|---|---|
| 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.18226#8YYA (statement). In B3EHT1FRM5/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Elongated pyramid 9JXSSB9P8J
| URI | m2://inv/9JXSSB9P8J |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated pyramid, Elongated pyramid (object). Also Wikidata Q5367153
History
- 2026-11-02: add by m2/dev
Properties 9JXZD62ABY
| URI | m2://inv/9JXZD62ABY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of moments (statistics)#XA7J, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tameness at the coordinate boundary 9JY0R6K7B4
| URI | m2://inv/9JY0R6K7B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#R56I, Tameness at the coordinate boundary (statement). In QPJ6FWG5HD/e1, proposition 2.90
History
- 2026-10-29: add by m2/v0.4.12
9JY82G1A1N 9JY82G1A1N
| URI | m2://inv/9JY82G1A1N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
9JYBF4DZB3 9JYBF4DZB3
| URI | m2://inv/9JYBF4DZB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.08233#6YIO (statement). In 2TXXQ2575Y/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
9JYRVAA89R 9JYRVAA89R
| URI | m2://inv/9JYRVAA89R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.20176#A4E9 (statement). In CX4WDA2KAR/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
John D'Angelo 9JYT5KR9AT
| URI | m2://inv/9JYT5KR9AT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John D'Angelo, John D'Angelo (topic). Also Wikidata Q102087617
History
- 2026-11-02: add by m2/dev
Connection (vector bundle) 9JYWH891CD
| URI | m2://inv/9JYWH891CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#75F2, Connection (vector bundle) (definition)
History
- 2026-11-02: add by m2/dev
9JYYZG3RR3 9JYYZG3RR3
| URI | m2://inv/9JYYZG3RR3 |
|---|---|
| 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.30165#2XYK (statement)
History
- 2026-11-01: add by m2/v0.6.15
9JZ77F6E2V 9JZ77F6E2V
| URI | m2://inv/9JZ77F6E2V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#proof-1 (proof). In RZP28ERRZV, proof, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
9JZ7FC00J7 9JZ7FC00J7
| URI | m2://inv/9JZ7FC00J7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem:fullsep (statement). In N54F33XE07, lem, section C.5
History
- 2026-11-01: add by m2/v0.6.13
9JZ7N8F6RE 9JZ7N8F6RE
| URI | m2://inv/9JZ7N8F6RE |
|---|---|
| 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 2609.25915#R99Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dieudonné's theorem 9JZ9NVJTCQ
| URI | m2://inv/9JZ9NVJTCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieudonné's theorem, Dieudonné's theorem (statement). Also Wikidata Q4913049
History
- 2026-11-02: add by m2/dev
Nonprobability sampling 9JZA2XK3YB
| URI | m2://inv/9JZA2XK3YB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonprobability sampling, Nonprobability sampling (definition). Also Wikidata Q690661
History
- 2026-11-02: add by m2/dev
Axiom schema 9JZA8FKNR7
| URI | m2://inv/9JZA8FKNR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema, Axiom schema (statement). Also Wikidata Q792536
History
- 2026-11-02: add by m2/dev
John R. Steel 9JZAFNE2Y5
| URI | m2://inv/9JZAFNE2Y5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#CFIC, John R. Steel (topic)
History
- 2026-11-02: add by m2/dev
9JZCZ5ATRE 9JZCZ5ATRE
| URI | m2://inv/9JZCZ5ATRE |
|---|---|
| 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.04844#PMX1 (statement). In 5MX3N62ENP/e1, theorem 16
History
- 2026-10-29: add by m2/v0.4.12
Derived category 9JZPV0PWRP
| URI | m2://inv/9JZPV0PWRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#PH7L, Derived category (definition)
History
- 2026-11-02: add by m2/dev
9JZSR14N69 9JZSR14N69
| URI | m2://inv/9JZSR14N69 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example:exponentialbypowerseries (example). In E59CDZA4DP, example, section 9.2.4
History
- 2026-11-01: add by m2/v0.6.13
9JZTEBHKEA 9JZTEBHKEA
| URI | m2://inv/9JZTEBHKEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example-6 (example). In E59CDZA4DP, example, section 11.9.4
History
- 2026-11-01: add by m2/v0.6.13
One-shot deviation principle 9JZTHBPS9X
| URI | m2://inv/9JZTHBPS9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-shot deviation principle, One-shot deviation principle (statement). Also Wikidata Q17062131
History
- 2026-11-02: add by m2/dev