Inventory rows 8K
The cards of the rows of the inventory whose ids start with 8K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Polynomial interpolation 8K01NFS724
| URI | m2://inv/8K01NFS724 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation, Polynomial interpolation (definition). Also Wikidata Q637347
History
- 2026-11-02: add by m2/dev
Almost ring 8K04AS4FWW
| URI | m2://inv/8K04AS4FWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost ring, Almost ring (definition). Also Wikidata Q17075686
History
- 2026-11-02: add by m2/dev
Simple algebra 8K080N0MAR
| URI | m2://inv/8K080N0MAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#W451, Simple algebra (definition)
History
- 2026-11-02: add by m2/dev
8K08EKK9XV 8K08EKK9XV
| URI | m2://inv/8K08EKK9XV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 54.4
History
- 2026-11-01: add by m2/v0.6.13
Polynomial top rank 8K08VX1GCQ
| URI | m2://inv/8K08VX1GCQ |
|---|---|
| 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#QKKP, Polynomial top rank (statement). In Y1DR0DPWD0/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.12
8K092H7ZWS 8K092H7ZWS
| URI | m2://inv/8K092H7ZWS |
|---|---|
| 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 2403.15255#FL6N (statement). In G691MXMYW0/e1, corollary 3.25
History
- 2026-10-27: add by m2/v0.4.0
subgroup series 8K094GD8T5
| URI | m2://inv/8K094GD8T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 1545790) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#Q2G3, subgroup series (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
8K0BY3AVTE 8K0BY3AVTE
| URI | m2://inv/8K0BY3AVTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#XQ9M (statement). In 3THDT8WNF7/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
Limiting density of discrete points 8K0KMJVEYD
| URI | m2://inv/8K0KMJVEYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4DN3, Limiting density of discrete points (definition)
History
- 2026-11-02: add by m2/dev
James Massey 8K0P97FCBE
| URI | m2://inv/8K0P97FCBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QT8R, James Massey (topic)
History
- 2026-11-02: add by m2/dev
Clark et al. 8K0TH6FA0J
| URI | m2://inv/8K0TH6FA0J |
|---|---|
| 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.13580#ERWA, Clark et al. (statement). In KEQ57N9N7Z/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Barnard, Mildred 8K0W3XGG61
| URI | m2://inv/8K0W3XGG61 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7IM2, Barnard, Mildred (topic)
History
- 2026-11-02: add by m2/dev
STAR model 8K0W7GTM7C
| URI | m2://inv/8K0W7GTM7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia STAR model, STAR model (definition). Also Wikidata Q7394685
History
- 2026-11-02: add by m2/dev
Harold A. Knapp 8K0ZYZH37E
| URI | m2://inv/8K0ZYZH37E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold A. Knapp, Harold A. Knapp (topic). Also Wikidata Q21069862
History
- 2026-11-02: add by m2/dev
8K118A3YHS 8K118A3YHS
| URI | m2://inv/8K118A3YHS |
|---|---|
| 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.20817#YDXK (statement). In M1YRBSZT4H/e1, lemma 15
History
- 2026-10-27: add by m2/v0.4.2
Examples 8K17F7RW4T
| URI | m2://inv/8K17F7RW4T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#B3IJ, Examples (example)
History
- 2026-11-02: add by m2/dev
8K17QRK9MM 8K17QRK9MM
| URI | m2://inv/8K17QRK9MM |
|---|---|
| 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.26401#GSKY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shared primitives at $d=2$; revised 8K1CJX1TSY
| URI | m2://inv/8K1CJX1TSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#ZQ6N, Shared primitives at $d=2$; revised (statement). In W066HQZQBF/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.12
8K1EHM73DB 8K1EHM73DB
| URI | m2://inv/8K1EHM73DB |
|---|---|
| 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.21752#TTTO (example). In E4DJTPKHAX/e1, example 3.1
History
- 2026-10-27: add by m2/v0.4.2
Covariance 8K1G61AEB6
| URI | m2://inv/8K1G61AEB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#HPKU, Covariance (definition)
History
- 2026-11-02: add by m2/dev
Heinrich Bruns 8K1H6MBKSE
| URI | m2://inv/8K1H6MBKSE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Bruns, Heinrich Bruns (topic). Also Wikidata Q68360
History
- 2026-11-02: add by m2/dev
lax-, oplax-, colax- 8K1JTV1178
| URI | m2://inv/8K1JTV1178 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#YGSO, lax-, oplax-, colax- (definition)
History
- 2026-11-02: add by m2/dev
8K1K03EY8V 8K1K03EY8V
| URI | m2://inv/8K1K03EY8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#942E (statement). In SD28S3K7BT/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
8K1PGFVBKC 8K1PGFVBKC
| URI | m2://inv/8K1PGFVBKC |
|---|---|
| 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.29605#5BJD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Power law model 8K1W0NQCWP
| URI | m2://inv/8K1W0NQCWP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newtonian fluid#3T9R, Power law model (statement)
History
- 2026-11-02: add by m2/dev
Smith, Orloski--Sardari 8K26WDQ1GW
| URI | m2://inv/8K26WDQ1GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#XC9G, Smith, Orloski--Sardari (statement). In WAXS6FS388/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Applications 8K2H220W5W
| URI | m2://inv/8K2H220W5W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgraph isomorphism problem#UDU6, Applications (example)
History
- 2026-11-02: add by m2/dev
Systolic hyperbolic geometry 8K2KJ6BWYC
| URI | m2://inv/8K2KJ6BWYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#S3ML, Systolic hyperbolic geometry (definition)
History
- 2026-11-02: add by m2/dev
8K2KY6XM4C 8K2KY6XM4C
| URI | m2://inv/8K2KY6XM4C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-3 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
Research & Branding Group 8K2SMJSV0Q
| URI | m2://inv/8K2SMJSV0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#M1JZ, Research & Branding Group (unknown)
History
- 2026-11-02: add by m2/dev
Ensemble Kalman filter 8K2Z9GA5NM
| URI | m2://inv/8K2Z9GA5NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TU1U, Ensemble Kalman filter (definition)
History
- 2026-11-02: add by m2/dev
8K3VB76K00 8K3VB76K00
| URI | m2://inv/8K3VB76K00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#JIRX (statement). In TWPE10CZ1S/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
8K49NFYWEX 8K49NFYWEX
| URI | m2://inv/8K49NFYWEX |
|---|---|
| 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.20391#M1YJ (statement). In CTAS41TRM2/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.4.2
8K4HFGE0R9 8K4HFGE0R9
| URI | m2://inv/8K4HFGE0R9 |
|---|---|
| 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 2507.17002#O1A2 (statement). In 2EEBP88T16/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Comprehensive School Mathematics Program 8K4TH8ZARP
| URI | m2://inv/8K4TH8ZARP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comprehensive School Mathematics Program, Comprehensive School Mathematics Program (definition). Also Wikidata Q5156993
History
- 2026-11-02: add by m2/dev
8K509DXN3Y 8K509DXN3Y
| URI | m2://inv/8K509DXN3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:path-subset (statement). In N54F33XE07, lem, section 9.5
History
- 2026-11-01: add by m2/v0.6.13
Expositiones Mathematicae 8K50QCE32N
| URI | m2://inv/8K50QCE32N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expositiones Mathematicae, Expositiones Mathematicae (definition). Also Wikidata Q15229374
History
- 2026-11-02: add by m2/dev
Heraclitus 8K5DPFC0YN
| URI | m2://inv/8K5DPFC0YN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41155, Heraclitus (unknown). Also nLab Heraclitus
History
- 2026-10-26: add by m2/dev
8K5GY6A0M3 8K5GY6A0M3
| URI | m2://inv/8K5GY6A0M3 |
|---|---|
| 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 2609.33573#GMD4 (statement). In ZT1Q1XDQ1W/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
8K5WBFGGNP 8K5WBFGGNP
| URI | m2://inv/8K5WBFGGNP |
|---|---|
| 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 2610.00116#OQ1N (statement). In QBNPEXJEFV/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
8K5X0MPDEC 8K5X0MPDEC
| URI | m2://inv/8K5X0MPDEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#C959 (statement). In REDG6QVHM3/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
8K63F2S22N 8K63F2S22N
| URI | m2://inv/8K63F2S22N |
|---|---|
| Kind | definition |
| 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 2308.05066#0AM7 (definition). In 1QSCT53ZED/e1, definition 7.11
History
- 2026-10-27: add by m2/v0.4.0
Moral credential 8K649DBP8J
| URI | m2://inv/8K649DBP8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#VGRJ, Moral credential (unknown)
History
- 2026-11-02: add by m2/dev
Maximum power transfer theorem 8K65254PMW
| URI | m2://inv/8K65254PMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 78-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17103352, Maximum power theorem (statement). Also Wikidata Q17103352
- thousand_plus: thousand_plus Q17103352, Maximum power theorem (statement). Also Wikidata Q17103352, Wikipedia Maximum power theorem
- wikipedia: Wikipedia Maximum power transfer theorem, Maximum power transfer theorem (statement). Also Wikidata Q17103352
History
- 2026-10-26: add by m2/dev
Classical Wiener space 8K67FGW6V6
| URI | m2://inv/8K67FGW6V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical Wiener space, Classical Wiener space (definition). Also Wikidata Q5128316
History
- 2026-11-02: add by m2/dev
8K6A0CDNGB 8K6A0CDNGB
| URI | m2://inv/8K6A0CDNGB |
|---|---|
| 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.29227#J7RJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Determinacy 8K6BG5X42X
| URI | m2://inv/8K6BG5X42X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#QCXD, Determinacy (topic)
History
- 2026-11-02: add by m2/dev
8K6NGQ7BVM 8K6NGQ7BVM
| URI | m2://inv/8K6NGQ7BVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-19 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
8K6RGEEHJR 8K6RGEEHJR
| URI | m2://inv/8K6RGEEHJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#XV7N (definition). In X1J5HKPS3R/e1, definition 1.9
History
- 2026-10-29: add by m2/v0.4.10
Bulk queue 8K6T557M5W
| URI | m2://inv/8K6T557M5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bulk queue, Bulk queue (definition). Also Wikidata Q4996486
History
- 2026-11-02: add by m2/dev
8K6TP2ZHZS 8K6TP2ZHZS
| URI | m2://inv/8K6TP2ZHZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#MXMG (statement). In QG9ATXTKJ6/e1, proposition 2.24
History
- 2026-10-27: add by m2/v0.3.5
8K6TSD4QV1 8K6TSD4QV1
| URI | m2://inv/8K6TSD4QV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#HLVR (statement). In ZBQX9341RV/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
8K73W0SN6Z 8K73W0SN6Z
| URI | m2://inv/8K73W0SN6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#U7W3 (statement). In Q62MDENP26/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
8K74BH9KTA 8K74BH9KTA
| URI | m2://inv/8K74BH9KTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#DF4B (statement). In 4R1MMSAAVK/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Examples 8K74ZGBP9Y
| URI | m2://inv/8K74ZGBP9Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#9ZK8, Examples (example)
History
- 2026-11-02: add by m2/dev
Computation 8K7773B8MG
| URI | m2://inv/8K7773B8MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit and implicit methods#VDZ6, Computation (definition)
History
- 2026-11-02: add by m2/dev
8K7A5EV747 8K7A5EV747
| URI | m2://inv/8K7A5EV747 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#CIRT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Circular notation 8K7DC0WBEA
| URI | m2://inv/8K7DC0WBEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#R4DK, Circular notation (unknown)
History
- 2026-11-02: add by m2/dev
8K7GK42QMG 8K7GK42QMG
| URI | m2://inv/8K7GK42QMG |
|---|---|
| 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.01753#BO45 (statement). In JY50YXMH5N/e1, theorem 25
History
- 2026-10-29: add by m2/v0.4.12
8K7H27RHN6 8K7H27RHN6
| URI | m2://inv/8K7H27RHN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0804.3628#C11W (statement). In E2WHVW5VSD/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Weierstrass convergence theorem in $\C^{n}$ 8K7P5B0G1J
| URI | m2://inv/8K7P5B0G1J |
|---|---|
| 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.29605#KH7M, Weierstrass convergence theorem in $\C^{n}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zimmer's conjecture 8K8C59FRB2
| URI | m2://inv/8K8C59FRB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zimmer's conjecture, Zimmer's conjecture (statement). Also Wikidata Q58087817
History
- 2026-11-02: add by m2/dev
Heinrich Brandt 8K8DAFPQC1
| URI | m2://inv/8K8DAFPQC1 |
|---|---|
| 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#ID16, Heinrich Brandt (topic)
- wikipedia: Wikipedia List of German mathematicians#ST0O, Heinrich Brandt (topic)
History
- 2026-11-02: add by m2/dev
Lorentzian products 8K8EJ4FM9J
| URI | m2://inv/8K8EJ4FM9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#PUIW, Lorentzian products (statement). In VCHH2AC34R/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
Kármán, Tódor 8K8F80V0B1
| URI | m2://inv/8K8F80V0B1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#V8U4, Kármán, Tódor (unknown)
History
- 2026-11-02: add by m2/dev
8K8FKZ3D4X 8K8FKZ3D4X
| URI | m2://inv/8K8FKZ3D4X |
|---|---|
| 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.14047#BDHM (statement). In PJYGJNS48K/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
8K8SZ2MYAR 8K8SZ2MYAR
| URI | m2://inv/8K8SZ2MYAR |
|---|---|
| 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.29631#U9FY (statement)
History
- 2026-11-01: add by m2/v0.6.15
8K8WYPVBE0 8K8WYPVBE0
| URI | m2://inv/8K8WYPVBE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.09678#9XOS (statement). In 9VG7PNZHZT/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Zweinitz 8K8XHEA3FA
| URI | m2://inv/8K8XHEA3FA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5MHR, Zweinitz (unknown)
History
- 2026-11-02: add by m2/dev
Hausdorff–Young inequality 8K8ZYTQBRC
| URI | m2://inv/8K8ZYTQBRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#4BM8, Hausdorff–Young inequality (statement)
History
- 2026-11-02: add by m2/dev
ordinal 8K92QT2W00
| URI | m2://inv/8K92QT2W00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#4YEL, ordinal (definition)
History
- 2026-11-02: add by m2/dev
8K94VGERM3 8K94VGERM3
| URI | m2://inv/8K94VGERM3 |
|---|---|
| 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.12983#ITYE (statement). In M6TFZ6E060/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Dynamical neuroscience 8K95ECP338
| URI | m2://inv/8K95ECP338 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical neuroscience, Dynamical neuroscience (topic). Also Wikidata Q42417126
History
- 2026-11-02: add by m2/dev
Example 8K9APQM4XN
| URI | m2://inv/8K9APQM4XN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite sum#8Q8I, Example (example)
History
- 2026-11-02: add by m2/dev
8K9JX2DGSZ 8K9JX2DGSZ
| URI | m2://inv/8K9JX2DGSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#N4K0 (statement). In 7PACGDW3N7/e1, proposition 12.2
History
- 2026-10-27: add by m2/v0.4.0
8K9VKSXZ3G 8K9VKSXZ3G
| URI | m2://inv/8K9VKSXZ3G |
|---|---|
| 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-69 (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
Zariski's lemma 8K9Y8R550P
| URI | m2://inv/8K9Y8R550P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski's lemma, Zariski's lemma (statement). Also Wikidata Q8066794
History
- 2026-11-02: add by m2/dev
vanishing cycle 8K9YQPHJQ4
| URI | m2://inv/8K9YQPHJQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Vanishing cycle M5EK9AKXNR |
Mentions
- wikidata: Wikidata Q4205180, vanishing cycle (unknown). Also nLab vanishing cycle
- wikipedia: Wikipedia Vanishing cycle, Vanishing cycle (definition). Also Wikidata Q4205180
History
- 2026-10-26: add by m2/dev
Water-filling algorithm 8KA0ZJWPFB
| URI | m2://inv/8KA0ZJWPFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Water-filling algorithm, Water-filling algorithm (definition). Also Wikidata Q7973497
History
- 2026-11-02: add by m2/dev
8KA43D19NW 8KA43D19NW
| URI | m2://inv/8KA43D19NW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#FKJ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8KA452PDE3 8KA452PDE3
| URI | m2://inv/8KA452PDE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#P6C2 (statement). In Z7E16PFFCP/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
MINQUE 8KA93W6ZYP
| URI | m2://inv/8KA93W6ZYP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KPHS, MINQUE (topic)
History
- 2026-11-02: add by m2/dev
8KAEZE9G1A 8KAEZE9G1A
| URI | m2://inv/8KAEZE9G1A |
|---|---|
| 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.01731#KU3Z (statement). In 3TJ2FWXQ0D/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Definitions 8KATKD362B
| URI | m2://inv/8KATKD362B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branch-decomposition#SZ5B, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8KAX0NSJGH 8KAX0NSJGH
| URI | m2://inv/8KAX0NSJGH |
|---|---|
| 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#1DNL (statement). In 5MX3N62ENP/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
PID 8KAYGWGB5R
| URI | m2://inv/8KAYGWGB5R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/pid, PID (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
Cantor's theorem 8KB19CYCAB
| URI | m2://inv/8KB19CYCAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#R7Z2, Cantor's theorem (statement)
- wikipedia: Wikipedia List of mathematical logic topics#W1U3, Cantor's theorem (statement)
History
- 2026-11-02: add by m2/dev
Immersion conjecture 8KB1M285Z7
| URI | m2://inv/8KB1M285Z7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney immersion theorem#IONF, Immersion conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Example 8KB2HPAA46
| URI | m2://inv/8KB2HPAA46 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph homology#KD7B, Example (example)
History
- 2026-11-02: add by m2/dev
8KB318H3JF 8KB318H3JF
| URI | m2://inv/8KB318H3JF |
|---|---|
| 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.29023#HLOL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Partition of unity 8KB50D2P3N
| URI | m2://inv/8KB50D2P3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#6N74, Partition of unity (definition)
History
- 2026-11-02: add by m2/dev
constant sequence 8KB55YV3HX
| URI | m2://inv/8KB55YV3HX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137338262, constant sequence (object). Also OEIS Constant_sequences
History
- 2026-10-26: add by m2/dev
Wrapped Cauchy distribution 8KB5BTJ8CD
| URI | m2://inv/8KB5BTJ8CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped Cauchy distribution, Wrapped Cauchy distribution (definition). Also Wikidata Q8037599
History
- 2026-11-02: add by m2/dev
Examples 8KB6VWPSYB
| URI | m2://inv/8KB6VWPSYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supply chain attack#2TSN, Examples (example)
History
- 2026-11-02: add by m2/dev
Explicit finite-jet seminorm bound 8KB88DJPBH
| URI | m2://inv/8KB88DJPBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#8AQT, Explicit finite-jet seminorm bound (statement). In CW9MNA6K58/e1, lemma 9.23
History
- 2026-10-28: add by m2/v0.4.2
Aggregate trimming, uniformly in the order 8KBEXPVQYX
| URI | m2://inv/8KBEXPVQYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.26133#JI23, Aggregate trimming, uniformly in the order (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joseph L. Doob 8KBGMQSFDV
| URI | m2://inv/8KBGMQSFDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph L. Doob, Joseph L. Doob (topic). Also Wikidata Q1384876
History
- 2026-11-02: add by m2/dev
Properties 8KBP7KZMFZ
| URI | m2://inv/8KBP7KZMFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective object#59HC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gaussian Elimination 8KBRFEHC1J
| URI | m2://inv/8KBRFEHC1J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-2.xml#activity-1, Gaussian Elimination (exercise). In 649HGZKE96, activity, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Vigenère cipher 8KBWE2CFBG
| URI | m2://inv/8KBWE2CFBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vigenère cipher, Vigenère cipher (definition). Also Wikidata Q55516
History
- 2026-11-02: add by m2/dev
8KC2EAXGSZ 8KC2EAXGSZ
| URI | m2://inv/8KC2EAXGSZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
8KC3JC56X6 8KC3JC56X6
| URI | m2://inv/8KC3JC56X6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09300#BY4K (definition). In JP589KS01S/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Vilhelm Bjerknes 8KCTWA3SJ4
| URI | m2://inv/8KCTWA3SJ4 |
|---|---|
| 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#1N1K, Vilhelm Bjerknes (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HQ3V, Vilhelm Bjerknes (unknown)
History
- 2026-11-02: add by m2/dev
8KD1M8RWJZ 8KD1M8RWJZ
| URI | m2://inv/8KD1M8RWJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#OGBJ (statement). In DG9TF5X0EG/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
8KD8PRJ2EK 8KD8PRJ2EK
| URI | m2://inv/8KD8PRJ2EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#16JI (statement). In 628PJKD3EV/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.5
8KD9Q7R4SW 8KD9Q7R4SW
| URI | m2://inv/8KD9Q7R4SW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#ps:1kex (example). In E9HS8K3A52, example, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Sverdlovsk 8KDEFH80NB
| URI | m2://inv/8KDEFH80NB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#X22K, Sverdlovsk (unknown)
History
- 2026-11-02: add by m2/dev
8KDSMTMS3Z 8KDSMTMS3Z
| URI | m2://inv/8KDSMTMS3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#QSB6 (definition). In WD2NCBV9F0/e1, definition 10.8
History
- 2026-10-27: add by m2/v0.3.5
Sergey Bernstein 8KDYJ6150K
| URI | m2://inv/8KDYJ6150K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#CIS6, Sergey Bernstein (topic)
History
- 2026-11-02: add by m2/dev
8KE3S3X912 8KE3S3X912
| URI | m2://inv/8KE3S3X912 |
|---|---|
| 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.02669#BKNT (statement). In NSBSWH6XB4/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
8KE522QYZA 8KE522QYZA
| URI | m2://inv/8KE522QYZA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum chromodynamics#OBDJ (problem)
History
- 2026-11-02: add by m2/dev
8KE5DPYQDY 8KE5DPYQDY
| URI | m2://inv/8KE5DPYQDY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#C01O (definition). In BDN507RN7J/e1, definition 4.6.6
History
- 2026-10-30: add by m2/v0.4.12
Gravitational memory effect 8KE8ZHYBMR
| URI | m2://inv/8KE8ZHYBMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational memory effect, Gravitational memory effect (definition). Also Wikidata Q97943607
History
- 2026-11-02: add by m2/dev
8KE9NN18ZF 8KE9NN18ZF
| URI | m2://inv/8KE9NN18ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31335#FS4W (statement). In YN58PZTGFD/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Exact completion 8KEBPPRXAH
| URI | m2://inv/8KEBPPRXAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28403300, Exact completion (unknown). Also nLab regular and exact completions
- wikipedia: Wikipedia Exact completion, Exact completion (definition). Also Wikidata Q28403300
History
- 2026-10-26: add by m2/dev
great snub icosidodecahedron 8KEGHBT4XF
| URI | m2://inv/8KEGHBT4XF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41961, great snub icosidodecahedron (unknown). Also MathWorld GreatSnubIcosidodecahedron
- wikipedia: Wikipedia Great snub icosidodecahedron, Great snub icosidodecahedron (object). Also Wikidata Q41961
History
- 2026-10-26: add by m2/dev
8KEKRRJMEG 8KEKRRJMEG
| URI | m2://inv/8KEKRRJMEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21274#EICW (statement)
History
- 2026-11-02: add by m2/v0.6.18
C. Louis Kincannon 8KF3XG2GKP
| URI | m2://inv/8KF3XG2GKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. Louis Kincannon, C. Louis Kincannon (topic). Also Wikidata Q5006672
History
- 2026-11-02: add by m2/dev
Determinant 8KF4X7A2NR
| URI | m2://inv/8KF4X7A2NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#FTHF, Determinant (definition)
History
- 2026-11-02: add by m2/dev
Application 8KF7J2S4FW
| URI | m2://inv/8KF7J2S4FW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz quaternion order#8HZ2, Application (example)
History
- 2026-11-02: add by m2/dev
Parmenides 8KFD23JTZD
| URI | m2://inv/8KFD23JTZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parmenides (dialogue), Parmenides (definition). Also Wikidata Q1130762
History
- 2026-11-02: add by m2/dev
8KFJR772RM 8KFJR772RM
| URI | m2://inv/8KFJR772RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20801#KUFI (statement). In A1GWWGRXPA/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
8KFT098YAT 8KFT098YAT
| URI | m2://inv/8KFT098YAT |
|---|---|
| Kind | example |
| 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.07963#LRUV (example). In HAGJKEZ1CK/e1, example 7.9
History
- 2026-10-29: add by m2/v0.4.10
restate=IndThmIsCycThm, name= 8KFZEZE9AC
| URI | m2://inv/8KFZEZE9AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#CIPZ, restate=IndThmIsCycThm, name= (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mary Beth Landrum 8KG3WVQ9CN
| URI | m2://inv/8KG3WVQ9CN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Beth Landrum, Mary Beth Landrum (topic). Also Wikidata Q107488312
History
- 2026-11-02: add by m2/dev
Properties 8KGDY4S5ET
| URI | m2://inv/8KGDY4S5ET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kneser graph#E1WX, Properties (statement)
History
- 2026-11-02: add by m2/dev
8KGHZ96EJ4 8KGHZ96EJ4
| URI | m2://inv/8KGHZ96EJ4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/quantifiers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 61.11
History
- 2026-11-01: add by m2/v0.6.13
8KGJ374SQD 8KGJ374SQD
| URI | m2://inv/8KGJ374SQD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#UTED (definition). In AVDB4KJ6XB/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
8KGKTZMESB 8KGKTZMESB
| URI | m2://inv/8KGKTZMESB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#BI3P (example). In PREJREM4BB/e1, example 3.12
History
- 2026-10-28: add by m2/v0.4.2
Stephen Semmes 8KGMASSY34
| URI | m2://inv/8KGMASSY34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Semmes, Stephen Semmes (topic). Also Wikidata Q7610495
History
- 2026-11-02: add by m2/dev
Arithmetic-geometric mean inequality 8KGN2D11AZ
| URI | m2://inv/8KGN2D11AZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muirhead's inequality#P4JF, Arithmetic-geometric mean inequality (statement)
History
- 2026-11-02: add by m2/dev
Nikolaos Hatzidakis 8KGT7C2G2G
| URI | m2://inv/8KGT7C2G2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolaos Hatzidakis, Nikolaos Hatzidakis (topic). Also Wikidata Q16330754
History
- 2026-11-02: add by m2/dev
Mathematische Arbeitstagung 8KGYDX7BVQ
| URI | m2://inv/8KGYDX7BVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematische Arbeitstagung, Mathematische Arbeitstagung (definition). Also Wikidata Q6786912
History
- 2026-11-02: add by m2/dev
8KH0D2QGF1 8KH0D2QGF1
| URI | m2://inv/8KH0D2QGF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#ROQQ (statement). In KAYGQMQPGS/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
8KH1XJT40K 8KH1XJT40K
| URI | m2://inv/8KH1XJT40K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#A537 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Gaussian measures 8KH2YGEAZ6
| URI | m2://inv/8KH2YGEAZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Gaussian measures, Gaussian measures (unknown). Also Mathlib ProbabilityTheory.IsGaussian
History
- 2026-10-26: add by m2/dev
8KH348KKST 8KH348KKST
| URI | m2://inv/8KH348KKST |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04709#39J6 (example). In 9J260W15RY/e1, example 1
History
- 2026-10-29: add by m2/v0.4.12
orthogonal matrix 8KHAEVF7HH
| URI | m2://inv/8KHAEVF7HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Orthogonal matrix 0QRBVFJ50X |
Mentions
- wikidata: Wikidata Q333871, orthogonal matrix (unknown). Also EoM Orthogonal_matrix, MathWorld OrthogonalMatrix
- wikipedia: Wikipedia Orthogonal matrix, Orthogonal matrix (definition). Also Wikidata Q333871
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Michael Frame 8KHBYVJNQE
| URI | m2://inv/8KHBYVJNQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Frame, Michael Frame (topic). Also Wikidata Q102199333
History
- 2026-11-02: add by m2/dev
8KHJRR0GTT 8KHJRR0GTT
| URI | m2://inv/8KHJRR0GTT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#64Z6 (example). In BDN507RN7J/e1, example 3.2.16
History
- 2026-10-30: add by m2/v0.4.12
8KHK7292H0 8KHK7292H0
| URI | m2://inv/8KHK7292H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22344#WJ27 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Khalida Inayat Noor 8KHQFNSCTW
| URI | m2://inv/8KHQFNSCTW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khalida Inayat Noor, Khalida Inayat Noor (topic). Also Wikidata Q16733456
History
- 2026-11-02: add by m2/dev
8KHWAEQHB6 8KHWAEQHB6
| URI | m2://inv/8KHWAEQHB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.20257#IBI0 (statement). In 9NDZ6GG9XZ/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
8KJ14HCNWR 8KJ14HCNWR
| URI | m2://inv/8KJ14HCNWR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#ZB89 (definition). In 338GKREFVP/e1, definition 7
History
- 2026-10-27: add by m2/v0.4.0
Prime number race 8KJ2XW9WFK
| URI | m2://inv/8KJ2XW9WFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime number theorem#3FWS, Prime number race (unknown)
History
- 2026-11-02: add by m2/dev
8KJ8KQEAYF 8KJ8KQEAYF
| URI | m2://inv/8KJ8KQEAYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#0VQX (statement). In B8A6BPP922/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
8KJAZZNG5B 8KJAZZNG5B
| URI | m2://inv/8KJAZZNG5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#NFCI (statement). In AYG8HYGW6V/e1, lemma G.8
History
- 2026-10-28: add by m2/v0.4.3
Deterministic global optimization 8KJNBZR1T7
| URI | m2://inv/8KJNBZR1T7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deterministic global optimization, Deterministic global optimization (topic). Also Wikidata Q25112983
History
- 2026-11-02: add by m2/dev
Exact functor 8KJXT6VXQX
| URI | m2://inv/8KJXT6VXQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#EOJ1, Exact functor (definition)
History
- 2026-11-02: add by m2/dev
Minimum-norm fitting in Hilbert space and Lagrange duality 8KK6EVXDHE
| URI | m2://inv/8KK6EVXDHE |
|---|---|
| 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.14920#9Q9G, Minimum-norm fitting in Hilbert space and Lagrange duality (statement). In 1F8ENX770M/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
8KKAC9CM9D 8KKAC9CM9D
| URI | m2://inv/8KKAC9CM9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.00798#N2PF (statement). In FANG3A8NZ9/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Definition 2 8KKDTAVP4N
| URI | m2://inv/8KKDTAVP4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfinite equivalence relation#4G5S, Definition 2 (definition)
History
- 2026-11-02: add by m2/dev
R 8KKPPRS6W9
| URI | m2://inv/8KKPPRS6W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R (programming language), R (definition). Also Wikidata Q206904
History
- 2026-11-02: add by m2/dev
8KKTNSYS10 8KKTNSYS10
| URI | m2://inv/8KKTNSYS10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#K02S (statement). In TX0H26X4VX/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Generalized stability theorems 8KMAF1RPQN
| URI | m2://inv/8KMAF1RPQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow's impossibility theorem#Y5KI, Generalized stability theorems (statement)
History
- 2026-11-02: add by m2/dev
Examples 8KMEH478J4
| URI | m2://inv/8KMEH478J4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension of a topological group#9JZE, Examples (example)
History
- 2026-11-02: add by m2/dev
Fulton–Hansen connectedness theorem 8KMHQ7F534
| URI | m2://inv/8KMHQ7F534 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YZD9, Fulton–Hansen connectedness theorem (statement)
History
- 2026-11-02: add by m2/dev
Countable chain condition 8KMKDG2RGT
| URI | m2://inv/8KMKDG2RGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#JLV4, Countable chain condition (definition)
History
- 2026-11-02: add by m2/dev
Verification on the flat Gaussian PTR model 8KMTY3D91N
| URI | m2://inv/8KMTY3D91N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#AGZ3, Verification on the flat Gaussian PTR model (example). In C04B15GH1T/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
8KN11B2F65 8KN11B2F65
| URI | m2://inv/8KN11B2F65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#TA3L (statement). In GYSF9JXQCH/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
8KN4YK7Y2E 8KN4YK7Y2E
| URI | m2://inv/8KN4YK7Y2E |
|---|---|
| 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.14374#OZV9 (statement). In YPTC532FEG/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.2
Terminology 8KNPY9B8R7
| URI | m2://inv/8KNPY9B8R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standardized coefficient#IJ89, Terminology (definition)
History
- 2026-11-02: add by m2/dev
FlexPro 8KP0M1FE0T
| URI | m2://inv/8KP0M1FE0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#104S, FlexPro (unknown)
History
- 2026-11-02: add by m2/dev
Lumped norm equivalence 8KPAXNYXW3
| URI | m2://inv/8KPAXNYXW3 |
|---|---|
| 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.05313#XCV9, Lumped norm equivalence (statement). In 8XPN1A2GR0/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
8KPE88B4JB 8KPE88B4JB
| URI | m2://inv/8KPE88B4JB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11468#C8DG (example). In FR4FDRHZJT/e1, example 4.1
History
- 2026-10-28: add by m2/v0.4.3
Two Run, Wirt County, West Virginia 8KPEGMNNJ8
| URI | m2://inv/8KPEGMNNJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PCRP, Two Run, Wirt County, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
8KPHX7EFCT 8KPHX7EFCT
| URI | m2://inv/8KPHX7EFCT |
|---|---|
| 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.27253#7OGR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Second Szegő theorem 8KPKZVYGGN
| URI | m2://inv/8KPKZVYGGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szegő limit theorems#MEGC, Second Szegő theorem (statement)
History
- 2026-11-02: add by m2/dev
Raised cosine distribution 8KPMWV69ZM
| URI | m2://inv/8KPMWV69ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#EBJ7, Raised cosine distribution (definition)
History
- 2026-11-02: add by m2/dev
8KQ5ATGNH2 8KQ5ATGNH2
| URI | m2://inv/8KQ5ATGNH2 |
|---|---|
| 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.01946#3C6N (statement). In NB1Z31FMXN/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
8KQ88DHPSX 8KQ88DHPSX
| URI | m2://inv/8KQ88DHPSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#3FDR (statement). In BDN507RN7J/e1, lemma 3.6.16
History
- 2026-10-30: add by m2/v0.4.12
Multivariate division algorithm 8KQHNYTYNP
| URI | m2://inv/8KQHNYTYNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#U171, Multivariate division algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples 8KQJAS8HTS
| URI | m2://inv/8KQJAS8HTS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mock modular form#WCFR, Examples (example)
History
- 2026-11-02: add by m2/dev
pawn 8KQM2ZVGEM
| URI | m2://inv/8KQM2ZVGEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135, pawn (definition). Also ProofWiki Definition:Chess/Pawn
History
- 2026-10-26: add by m2/dev
Perimeter functional for oriented varifolds 8KQM5KMNKR
| URI | m2://inv/8KQM5KMNKR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05064#18NO, Perimeter functional for oriented varifolds (definition). In 11SW7NAN7M/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
List of Euclidean uniform tilings 8KQP69J9DV
| URI | m2://inv/8KQP69J9DV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings, List of Euclidean uniform tilings (topic). Also Wikidata Q3893516
History
- 2026-11-02: add by m2/dev
8KRGK5QSCG 8KRGK5QSCG
| URI | m2://inv/8KRGK5QSCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09354#V42I (statement). In 5VAJC29KA2/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
8KRJ8S17G7 8KRJ8S17G7
| URI | m2://inv/8KRJ8S17G7 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#BHUD (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Zeckendorf's theorem 8KRKABDP7W
| URI | m2://inv/8KRKABDP7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Zeckendorf's theorem 05DEJR6TGF |
Mentions
- mathlib_1000: mathlib_1000 Q1188392, Zeckendorf's theorem (statement). Also Mathlib Nat.zeckendorfEquiv, Wikidata Q1188392
- thousand_plus: thousand_plus Q1188392, Zeckendorf's theorem (statement). Also Mathlib Nat.zeckendorfEquiv, Wikidata Q1188392, Wikipedia Zeckendorf's theorem
- wikidata: Wikidata Q1188392, Zeckendorf's theorem (statement). Also MathWorld ZeckendorfRepresentation, MathWorld ZeckendorfsTheorem
- wikipedia: Wikipedia Zeckendorf's theorem, Zeckendorf's theorem (statement). Also Wikidata Q1188392
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Escape from oversmoothing under contractive noisy recurrent dynamics 8KRNMF073J
| URI | m2://inv/8KRNMF073J |
|---|---|
| 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 2607.28185#Q5T1, Escape from oversmoothing under contractive noisy recurrent dynamics (statement). In EG1XXNSTXX/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.5
8KRSM85HCF 8KRSM85HCF
| URI | m2://inv/8KRSM85HCF |
|---|---|
| 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.15313#CQUW (statement). In KWKY1CWG1Z/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Heidi Thornquist 8KS4ZGZPKV
| URI | m2://inv/8KS4ZGZPKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heidi Thornquist, Heidi Thornquist (topic). Also Wikidata Q69364533
History
- 2026-11-02: add by m2/dev
8KSK72JCQ7 8KSK72JCQ7
| URI | m2://inv/8KSK72JCQ7 |
|---|---|
| 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.14099#26K3 (statement). In D77GXFTKFH/e1, theorem 16
History
- 2026-10-28: add by m2/v0.4.2
8KSNQ927WS 8KSNQ927WS
| URI | m2://inv/8KSNQ927WS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.18223#UMII (definition). In ZRXE7EJA93/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
8KT1M47Q0N 8KT1M47Q0N
| URI | m2://inv/8KT1M47Q0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0009023#UNGJ (statement). In S937GXH9AS/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Uniformization 8KT4TTMRYQ
| URI | m2://inv/8KT4TTMRYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10002#SLMN, Uniformization (statement). In 5ZYWF6HAXJ/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
Example 8KT9GEBCP1
| URI | m2://inv/8KT9GEBCP1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#K7S6, Example (example)
History
- 2026-11-02: add by m2/dev
Elizur Wright 8KTDXS4YBB
| URI | m2://inv/8KTDXS4YBB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#XFOJ, Elizur Wright (unknown)
History
- 2026-11-02: add by m2/dev
Elementary Theory of the Category of Sets 8KTES9111S
| URI | m2://inv/8KTES9111S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/elementary-theory-of-the-category-of-sets, Elementary Theory of the Category of Sets (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Main effect 8KTFS98ZK7
| URI | m2://inv/8KTFS98ZK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JGZ3, Main effect (definition)
History
- 2026-11-02: add by m2/dev
340 (number) 8KTGFH3A1Q
| URI | m2://inv/8KTGFH3A1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#4YZJ, 340 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Conway's dead fly problem 8KTGR04JBQ
| URI | m2://inv/8KTGR04JBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#3CGT, Conway's dead fly problem (definition)
History
- 2026-11-02: add by m2/dev
YBC 7289 8KTKQJBGXK
| URI | m2://inv/8KTKQJBGXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2178529, YBC 7289 (unknown). Also ProofWiki Book:Tablet/YBC_7289
- wikipedia: Wikipedia YBC 7289, YBC 7289 (definition). Also Wikidata Q2178529
History
- 2026-10-26: add by m2/dev
CMR marginal coverage and accuracy of interval length 8KTKXNFXPX
| URI | m2://inv/8KTKXNFXPX |
|---|---|
| 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.33866#FLBJ, CMR marginal coverage and accuracy of interval length (statement). In Y3MSGX6472/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
8KTNE2N2CG 8KTNE2N2CG
| URI | m2://inv/8KTNE2N2CG |
|---|---|
| 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#OOYV (statement). In A5YJDDM0NX/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
8KTNRJPTRR 8KTNRJPTRR
| URI | m2://inv/8KTNRJPTRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.07243#CMIO (statement). In 9RH8C8RYW3/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
8KTSSPKMRT 8KTSSPKMRT
| URI | m2://inv/8KTSSPKMRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#EML6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 8KTZN6E9TY
| URI | m2://inv/8KTZN6E9TY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal power series#3A44, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cathleen Synge Morawetz Prize 8KV1W1RD8X
| URI | m2://inv/8KV1W1RD8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cathleen Synge Morawetz Prize, Cathleen Synge Morawetz Prize (definition). Also Wikidata Q1311601
History
- 2026-11-02: add by m2/dev
8KV7TKQJT1 8KV7TKQJT1
| URI | m2://inv/8KV7TKQJT1 |
|---|---|
| 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 2610.08253#Y43Y (statement). In 6AD2CTF0QF/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
8KVGT1P4ZG 8KVGT1P4ZG
| URI | m2://inv/8KVGT1P4ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#RJQT (statement). In C60WZ6WQSY/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Surface area of a cone 8KVHYT7G8G
| URI | m2://inv/8KVHYT7G8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone#WY3H, Surface area of a cone (unknown)
History
- 2026-11-02: add by m2/dev
8KVKNM2TXV 8KVKNM2TXV
| URI | m2://inv/8KVKNM2TXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#HO2X (statement). In 1F26AF81XP/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
continuously differentiable 8KVNZM6N7F
| URI | m2://inv/8KVNZM6N7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#O94W, continuously differentiable (definition)
History
- 2026-11-02: add by m2/dev
St. Margarethen an der Raab 8KW8P7MBGK
| URI | m2://inv/8KW8P7MBGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4PGP, St. Margarethen an der Raab (unknown)
History
- 2026-11-02: add by m2/dev
8KWB3QGDWN 8KWB3QGDWN
| URI | m2://inv/8KWB3QGDWN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Pathwise characterization of maximal weak subslope 8KWQ4E2471
| URI | m2://inv/8KWQ4E2471 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#N1VH, Pathwise characterization of maximal weak subslope (statement). In KM3Q791JY0/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
8KWWZHE9P6 8KWWZHE9P6
| URI | m2://inv/8KWWZHE9P6 |
|---|---|
| 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 1905.00573#2Q5E (statement). In 74RNQVBM2G/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
8KX8Y3Y81K 8KX8Y3Y81K
| URI | m2://inv/8KX8Y3Y81K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40023#Y0WR (definition). In JW9ARS9AQE/e1, definition 1.8
History
- 2026-10-30: add by m2/v0.4.12
8KX9VE7JFP 8KX9VE7JFP
| URI | m2://inv/8KX9VE7JFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01828#K8TH (statement). In RQMJY73C8Q/e1, theorem II.6
History
- 2026-10-29: add by m2/v0.4.12
Definition 8KX9WK208S
| URI | m2://inv/8KX9WK208S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume entropy#NC3B, Definition (definition)
History
- 2026-11-02: add by m2/dev
8KXDXAWWQC 8KXDXAWWQC
| URI | m2://inv/8KXDXAWWQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#C3J5 (statement). In 9TR5E527P5/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Example 8KXG8KDRQE
| URI | m2://inv/8KXG8KDRQE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow network#FJUG, Example (example)
History
- 2026-11-02: add by m2/dev
Predictive methods for surgery duration 8KXGEKMSHY
| URI | m2://inv/8KXGEKMSHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive methods for surgery duration, Predictive methods for surgery duration (definition). Also Wikidata Q107611014
History
- 2026-11-02: add by m2/dev
IMA Journal of Management Mathematics 8KXWAVYBVR
| URI | m2://inv/8KXWAVYBVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IMA Journal of Management Mathematics, IMA Journal of Management Mathematics (definition). Also Wikidata Q104845580
History
- 2026-11-02: add by m2/dev
Donald Bentley 8KY0669AZK
| URI | m2://inv/8KY0669AZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Bentley, Donald Bentley (topic). Also Wikidata Q130633262
History
- 2026-11-02: add by m2/dev
8KY6KFRQMK 8KY6KFRQMK
| URI | m2://inv/8KY6KFRQMK |
|---|---|
| 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 2601.15010#WWEH (statement). In K3WJ6ZN184/e1, proposition 10.11
History
- 2026-10-27: add by m2/v0.3.5
Definition 8KYEEKKKK2
| URI | m2://inv/8KYEEKKKK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein polynomial#9TUX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 8KYH872W7A
| URI | m2://inv/8KYH872W7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner measure#8TW3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Russell's axiom of reducibility 8KYHRCVF7Y
| URI | m2://inv/8KYHRCVF7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of reducibility#CP6C, Russell's axiom of reducibility (statement)
History
- 2026-11-02: add by m2/dev
8KYX3VD6QK 8KYX3VD6QK
| URI | m2://inv/8KYX3VD6QK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#589A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mei-Ling Ting Lee 8KYXT2V7AT
| URI | m2://inv/8KYXT2V7AT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mei-Ling Ting Lee, Mei-Ling Ting Lee (topic). Also Wikidata Q42116320
History
- 2026-11-02: add by m2/dev
8KZ0J3KF3T 8KZ0J3KF3T
| URI | m2://inv/8KZ0J3KF3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24523#V0DJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Near-optimality of the sine--Jacobi method 8KZ5E40P03
| URI | m2://inv/8KZ5E40P03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#T6LE, Near-optimality of the sine--Jacobi method (statement). In JY6RYSNXMJ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
September 8KZ5XJRCDN
| URI | m2://inv/8KZ5XJRCDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123, September (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/September
History
- 2026-10-26: add by m2/dev
ESRC Society Today 8KZ8902VTG
| URI | m2://inv/8KZ8902VTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UK Data Archive#X8V8, ESRC Society Today (unknown)
History
- 2026-11-02: add by m2/dev
Wang tile 8KZ9VZY4MN
| URI | m2://inv/8KZ9VZY4MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#05IS, Wang tile (definition)
History
- 2026-11-02: add by m2/dev
Pontryagin's minimum principle 8KZEDNMSHW
| URI | m2://inv/8KZEDNMSHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#8M43, Pontryagin's minimum principle (statement)
History
- 2026-11-02: add by m2/dev
Dieciocho de Julio 8KZEQJE0AZ
| URI | m2://inv/8KZEQJE0AZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6MMN, Dieciocho de Julio (unknown)
History
- 2026-11-02: add by m2/dev
8KZRM0Z977 8KZRM0Z977
| URI | m2://inv/8KZRM0Z977 |
|---|---|
| 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.11056#C3XB (statement). In 1NDB3SAG7K/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.3
Lamb–Chaplygin dipole 8KZSC9BR1M
| URI | m2://inv/8KZSC9BR1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamb–Chaplygin dipole, Lamb–Chaplygin dipole (definition). Also Wikidata Q96386847
History
- 2026-11-02: add by m2/dev