Inventory rows 2J
The cards of the rows of the inventory whose ids start with 2J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
2J0BZ4N1CR 2J0BZ4N1CR
| URI | m2://inv/2J0BZ4N1CR |
|---|---|
| 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.20429#IFOQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tensor network 2J0C37C7CT
| URI | m2://inv/2J0C37C7CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor network, Tensor network (definition). Also Wikidata Q105638008
History
- 2026-11-02: add by m2/dev
2J0E3YH5K9 2J0E3YH5K9
| URI | m2://inv/2J0E3YH5K9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#GZE5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
2J0E8GMVMF 2J0E8GMVMF
| URI | m2://inv/2J0E8GMVMF |
|---|---|
| Kind | example |
| 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#VWX9 (example). In WD2NCBV9F0/e1, example 7.20
History
- 2026-10-27: add by m2/v0.3.5
Yitzhak Frenkel 2J0FGW8Z55
| URI | m2://inv/2J0FGW8Z55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SOFB, Yitzhak Frenkel (unknown)
History
- 2026-11-02: add by m2/dev
backtracking 2J0HDG70MR
| URI | m2://inv/2J0HDG70MR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q798554, backtracking (unknown). Also MathWorld Backtracking
History
- 2026-10-26: add by m2/dev
Resolution of singularities 2J0JGABAJ8
| URI | m2://inv/2J0JGABAJ8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JGOU, Resolution of singularities (conjecture)
History
- 2026-11-02: add by m2/dev
Applications of hypertabastic survival models 2J0PGPYKEH
| URI | m2://inv/2J0PGPYKEH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypertabastic survival models#UIH6, Applications of hypertabastic survival models (example)
History
- 2026-11-02: add by m2/dev
Examples 2J0TNR3K4C
| URI | m2://inv/2J0TNR3K4C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasifield#LK25, Examples (example)
History
- 2026-11-02: add by m2/dev
2J0TV4746Q 2J0TV4746Q
| URI | m2://inv/2J0TV4746Q |
|---|---|
| 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.37893#7XM4 (statement). In 8H0KHK7AMN/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
2J0ZD6ZYZF 2J0ZD6ZYZF
| URI | m2://inv/2J0ZD6ZYZF |
|---|---|
| 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.17626#MP8G (statement). In 54ATJS74DT/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.2
Mathematical formula 2J15AKDC6A
| URI | m2://inv/2J15AKDC6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3D projection#CSHY, Mathematical formula (statement)
History
- 2026-11-02: add by m2/dev
Isoperimetric inequality 2J1GNA5ZKK
| URI | m2://inv/2J1GNA5ZKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pu's inequality#ARGY, Isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
2J1JSGB0HT 2J1JSGB0HT
| URI | m2://inv/2J1JSGB0HT |
|---|---|
| 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.03336#44Q6 (statement). In 4ZD20W8BVF/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
2J1W7JMDFR 2J1W7JMDFR
| URI | m2://inv/2J1W7JMDFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#L1MS (statement). In NSP90G5XCQ/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Dedekind-infinite set 2J1Y2BVMK9
| URI | m2://inv/2J1Y2BVMK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#AQ6E, Dedekind-infinite set (definition)
History
- 2026-11-02: add by m2/dev
Categorical Equivalence 2J24V01WN2
| URI | m2://inv/2J24V01WN2 |
|---|---|
| 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.28495#T3LS, Categorical Equivalence (statement)
History
- 2026-11-01: add by m2/v0.6.15
2J2D3GRFZ4 2J2D3GRFZ4
| URI | m2://inv/2J2D3GRFZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#KLJJ (statement). In ZD7BWDKT84/e1, corollary 8.4
History
- 2026-10-29: add by m2/v0.4.10
Julia Silge 2J2P9HMSJ6
| URI | m2://inv/2J2P9HMSJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Silge, Julia Silge (topic). Also Wikidata Q56043556
History
- 2026-11-02: add by m2/dev
2J3AE2SYFD 2J3AE2SYFD
| URI | m2://inv/2J3AE2SYFD |
|---|---|
| Kind | definition |
| 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#H05J (definition). In A1GWWGRXPA/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.2
2J3JK3C444 2J3JK3C444
| URI | m2://inv/2J3JK3C444 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2104.12015#GHXR (statement). In ZZ2P08DVQW/e1, theorem 12.2
History
- 2026-10-27: add by m2/v0.3.5
2J3M8EMF6E 2J3M8EMF6E
| URI | m2://inv/2J3M8EMF6E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#LLM6 (definition). In AQGEM4XAKD/e1, definition 1.15
History
- 2026-10-27: add by m2/v0.3.5
2J44SH2G4Y 2J44SH2G4Y
| URI | m2://inv/2J44SH2G4Y |
|---|---|
| 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 2103.02468#BEHF (statement). In Q7C6G66CWM/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
2J476DGJBS 2J476DGJBS
| URI | m2://inv/2J476DGJBS |
|---|---|
| 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 2609.33406#MCOU (statement). In B23TX8G4E4/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
2J4AQ7EEDY 2J4AQ7EEDY
| URI | m2://inv/2J4AQ7EEDY |
|---|---|
| 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 2407.08004#N6KJ (statement). In TYS65EG479/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Maximum-entropy Markov model 2J4BJGGYNR
| URI | m2://inv/2J4BJGGYNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7YVH, Maximum-entropy Markov model (definition)
History
- 2026-11-02: add by m2/dev
2J4CGSPANT 2J4CGSPANT
| URI | m2://inv/2J4CGSPANT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#ZCLE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strict Lyapunov inequality 2J4HYBSSA9
| URI | m2://inv/2J4HYBSSA9 |
|---|---|
| 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.04894#1HKX, Strict Lyapunov inequality (statement). In AZZ35SDENN/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.12
2J4KC7SQ6T 2J4KC7SQ6T
| URI | m2://inv/2J4KC7SQ6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13883#AW2P (statement). In F3PQ8P7R2B/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Seven Hickories, Delaware 2J4VN0HXNH
| URI | m2://inv/2J4VN0HXNH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OLZN, Seven Hickories, Delaware (unknown)
History
- 2026-11-02: add by m2/dev
Subfields of actuarial science 2J4XQJ4PDC
| URI | m2://inv/2J4XQJ4PDC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial science#5SZS, Subfields of actuarial science (unknown)
History
- 2026-11-02: add by m2/dev
2J4YHE8F1J 2J4YHE8F1J
| URI | m2://inv/2J4YHE8F1J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#H62U (definition). In Z9HC1EDTQP/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Yvette Amice 2J599ZQBGB
| URI | m2://inv/2J599ZQBGB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yvette Amice, Yvette Amice (topic). Also Wikidata Q1614567
History
- 2026-11-02: add by m2/dev
Applications 2J5AT4T040
| URI | m2://inv/2J5AT4T040 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigmoid function#AASY, Applications (example)
History
- 2026-11-02: add by m2/dev
Lobachevsky's Dirichlet integral formula 2J5CCKSYFT
| URI | m2://inv/2J5CCKSYFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lobachevsky integral formula#IAE2, Lobachevsky's Dirichlet integral formula (statement)
History
- 2026-11-02: add by m2/dev
2J5NBEEFFY 2J5NBEEFFY
| URI | m2://inv/2J5NBEEFFY |
|---|---|
| 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#V7I7 (statement). In Z7E16PFFCP/e1, lemma 4.24
History
- 2026-10-30: add by m2/v0.4.12
Definition 2J5QYWRE65
| URI | m2://inv/2J5QYWRE65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion algebra#934Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jacobian bound over a global block 2J5XDPMTHD
| URI | m2://inv/2J5XDPMTHD |
|---|---|
| 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.14988#1N37, Jacobian bound over a global block (statement). In B29M4E6KGC/e1, lemma H.7
History
- 2026-10-28: add by m2/v0.4.2
2J6BKGC08M 2J6BKGC08M
| URI | m2://inv/2J6BKGC08M |
|---|---|
| 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 2205.09049#TH7A (definition). In 37S7MNMZ2F/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
Turing jump 2J6CQ40CGJ
| URI | m2://inv/2J6CQ40CGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#203V, Turing jump (definition)
History
- 2026-11-02: add by m2/dev
Wedge sum 2J6MA16N0M
| URI | m2://inv/2J6MA16N0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#BMRX, Wedge sum (definition)
- wikipedia: Wikipedia List of general topology topics#A5U9, Wedge sum (definition)
History
- 2026-11-02: add by m2/dev
Theorem 2J6N4KDK8H
| URI | m2://inv/2J6N4KDK8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arakelyan's theorem#BI38, Theorem (statement)
History
- 2026-11-02: add by m2/dev
2J6PDPA8C4 2J6PDPA8C4
| URI | m2://inv/2J6PDPA8C4 |
|---|---|
| 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#84XR (definition). In 1QSCT53ZED/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.4.0
Confidentiality 2J6Y4Z8EZW
| URI | m2://inv/2J6Y4Z8EZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidentiality, Confidentiality (definition). Also Wikidata Q2476929
History
- 2026-11-02: add by m2/dev
Julius Caesar problem 2J6ZV21TCJ
| URI | m2://inv/2J6ZV21TCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Foundations of Arithmetic#R6VW, Julius Caesar problem (unknown)
History
- 2026-11-02: add by m2/dev
correlation integral 2J71TJ8CMF
| URI | m2://inv/2J71TJ8CMF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5172855, correlation integral (unknown). Also MathWorld CorrelationIntegral
History
- 2026-10-26: add by m2/dev
Applications 2J741YZ6BX
| URI | m2://inv/2J741YZ6BX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact-open topology#OINW, Applications (example)
History
- 2026-11-02: add by m2/dev
Order representation 2J78T178AM
| URI | m2://inv/2J78T178AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#YKUM, Order representation (statement)
History
- 2026-11-02: add by m2/v0.6.18
2J7CVEG6SH 2J7CVEG6SH
| URI | m2://inv/2J7CVEG6SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-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 2610.10581#LHI3 (statement). In 6V42A71SPC/e1, theorem 1.3
- arxiv: arXiv 2610.13699#U5PB (statement). In ZSMAQ666K7/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Computer experiment 2J7R1K4CC3
| URI | m2://inv/2J7R1K4CC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer experiment, Computer experiment (definition). Also Wikidata Q5157537
History
- 2026-11-02: add by m2/dev
2J7R1T3V23 2J7R1T3V23
| URI | m2://inv/2J7R1T3V23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#0BSV (statement). In ZD7BWDKT84/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
2J7RHA0XNF 2J7RHA0XNF
| URI | m2://inv/2J7RHA0XNF |
|---|---|
| Kind | example |
| 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#XPT9 (example)
History
- 2026-11-02: add by m2/v0.6.18
2J7VVNES1Y 2J7VVNES1Y
| URI | m2://inv/2J7VVNES1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-6 (example). In RZP28ERRZV, example, section 21.4
History
- 2026-11-01: add by m2/v0.6.13
2J7W1TVNKH 2J7W1TVNKH
| URI | m2://inv/2J7W1TVNKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#1VXN (statement). In FT53PMB1TE/e1, lemma 4.3.5
History
- 2026-10-29: add by m2/v0.4.10
2J7X2TG2E2 2J7X2TG2E2
| URI | m2://inv/2J7X2TG2E2 |
|---|---|
| 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.18335#ODKZ (statement). In XKN1C8Y9SD/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
polynomial-time computation 2J829QRGQZ
| URI | m2://inv/2J829QRGQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Complexity > polynomial-time computation, polynomial-time computation (unknown). Also Mathlib Turing.TM2ComputableInPolyTime
History
- 2026-10-26: add by m2/dev
Heinrich Burkhardt 2J84Q3QVMH
| URI | m2://inv/2J84Q3QVMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Burkhardt, Heinrich Burkhardt (topic). Also Wikidata Q97154
History
- 2026-11-02: add by m2/dev
Warsaw School 2J8ESQMRG0
| URI | m2://inv/2J8ESQMRG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warsaw School (mathematics), Warsaw School (definition). Also Wikidata Q1340653
History
- 2026-11-02: add by m2/dev
2J8EWMFEJE 2J8EWMFEJE
| URI | m2://inv/2J8EWMFEJE |
|---|---|
| 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#JHJV (statement). In FNG4B47MRV/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Natarajan dimension as a group invariant 2J8P5W6X77
| URI | m2://inv/2J8P5W6X77 |
|---|---|
| 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.18154#7KRO, Natarajan dimension as a group invariant (statement). In 4W7ARR1DAR/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Overview of news media phone hacking scandals 2J91R3MJ16
| URI | m2://inv/2J91R3MJ16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overview of news media phone hacking scandals, Overview of news media phone hacking scandals (definition). Also Wikidata Q7019524
History
- 2026-11-02: add by m2/dev
2J96C0KV2M 2J96C0KV2M
| URI | m2://inv/2J96C0KV2M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.02722#LVUC (definition). In AH7D55D3WV/e1, definition 13.1
History
- 2026-10-27: add by m2/v0.3.5
Mutation of parameters 2J98SEAMWE
| URI | m2://inv/2J98SEAMWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#UUS8, Mutation of parameters (statement). In D6RAQZ2DSK/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
2J99T9831W 2J99T9831W
| URI | m2://inv/2J99T9831W |
|---|---|
| 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.14717#U6AT (statement). In ZB2QPB5EBN/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
2J9CZXC13H 2J9CZXC13H
| URI | m2://inv/2J9CZXC13H |
|---|---|
| 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.30113#3G89 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2J9H5FGETA 2J9H5FGETA
| URI | m2://inv/2J9H5FGETA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.20567#4EBL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Thérèse Stukel 2J9MBWX5FM
| URI | m2://inv/2J9MBWX5FM |
|---|---|
| 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#0MEQ, Thérèse Stukel (topic)
History
- 2026-11-02: add by m2/dev
Xu--Zhang 2J9PMV1ETS
| URI | m2://inv/2J9PMV1ETS |
|---|---|
| Kind | definition |
| 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#EQJ2, Xu--Zhang (definition). In 4DJE72VPJP/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
2J9X0Q492F 2J9X0Q492F
| URI | m2://inv/2J9X0Q492F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#8V52 (statement). In S7PNTM0GZC/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
Synchronous} expansion rate estimate for causally $\lambda$-convex gradient flows 2JA4FZHT1P
| URI | m2://inv/2JA4FZHT1P |
|---|---|
| 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#LCFI, Synchronous} expansion rate estimate for causally $\lambda$-convex gradient flows (statement). In VCHH2AC34R/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Ruelle zeta function 2JA64NZSX0
| URI | m2://inv/2JA64NZSX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#AKXV, Ruelle zeta function (definition)
History
- 2026-11-02: add by m2/dev
2JAA2DFTAF 2JAA2DFTAF
| URI | m2://inv/2JAA2DFTAF |
|---|---|
| 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 2308.05715#1Z4S (statement). In FC0SB9JFWH/e1, proposition 6.9
History
- 2026-10-27: add by m2/v0.3.5
James Glimm 2JABT2MH0T
| URI | m2://inv/2JABT2MH0T |
|---|---|
| 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 Q370116, James Glimm (unknown). Also nLab James Glimm
- wikipedia: Wikipedia James Glimm, James Glimm (topic). Also Wikidata Q370116
History
- 2026-10-26: add by m2/dev
Proposition 29 2JAMA0R7GN
| URI | m2://inv/2JAMA0R7GN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#ZS2U, Proposition 29 (statement)
History
- 2026-11-02: add by m2/dev
2JB0E0PB4R 2JB0E0PB4R
| URI | m2://inv/2JB0E0PB4R |
|---|---|
| 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.38240#HIQ5 (statement). In WFZ0FG1F1R/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Coarse correlated equilibrium 2JB1G4GHT7
| URI | m2://inv/2JB1G4GHT7 |
|---|---|
| Kind | definition |
| 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.26265#CVB5, Coarse correlated equilibrium (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pólya enumeration theorem 2JB2S7DXRG
| URI | m2://inv/2JB2S7DXRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NCBH, Pólya enumeration theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 2JB60KHP8J
| URI | m2://inv/2JB60KHP8J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of elements#UJR4, Examples (example)
History
- 2026-11-02: add by m2/dev
2JB6RN0XQW 2JB6RN0XQW
| URI | m2://inv/2JB6RN0XQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04628#64BT (statement). In MREZZ9NCY8/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
2JBC9TZH36 2JBC9TZH36
| URI | m2://inv/2JBC9TZH36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 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 2505.04593#A2Z1 (statement). In PEXJPV3NP8/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.5
Example 2JBKPYMVFM
| URI | m2://inv/2JBKPYMVFM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bol loop#H3S5, Example (example)
History
- 2026-11-02: add by m2/dev
359 (Number) 2JBRM9ARPH
| URI | m2://inv/2JBRM9ARPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#FVHU, 359 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Formulation 2JBV640MT0
| URI | m2://inv/2JBV640MT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Master equation#Z8ZM, Formulation (definition)
History
- 2026-11-02: add by m2/dev
2JC2BP4PDC 2JC2BP4PDC
| URI | m2://inv/2JC2BP4PDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.08885#TR03 (statement). In B4RHB3CF12/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
linear equation 2JC4T7R92M
| URI | m2://inv/2JC4T7R92M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#FAGO, linear equation (definition)
History
- 2026-11-02: add by m2/dev
11-cell 2JC5N7MD8N
| URI | m2://inv/2JC5N7MD8N |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#CP86, 11-cell (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F9CP, 11-cell (object)
History
- 2026-11-02: add by m2/dev
Elementary class 2JC6J2P71F
| URI | m2://inv/2JC6J2P71F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary class, Elementary class (definition). Also Wikidata Q1327762
History
- 2026-11-02: add by m2/dev
Stericated 5-simplexes 2JCDQD96M8
| URI | m2://inv/2JCDQD96M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stericated 5-simplexes, Stericated 5-simplexes (definition). Also Wikidata Q7611310
History
- 2026-11-02: add by m2/dev
2JCH25VT23 2JCH25VT23
| URI | m2://inv/2JCH25VT23 |
|---|---|
| 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.04271#UWU4 (statement). In WBXAW9G4JB/e1, theorem 11.1
History
- 2026-10-29: add by m2/v0.4.12
Functional distortion distance 2JCT9GGDQS
| URI | m2://inv/2JCT9GGDQS |
|---|---|
| Kind | definition |
| 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 2610.03126#HONA, Functional distortion distance (definition). In ZJ6VQCRDVR/e1, definition 15
History
- 2026-10-29: add by m2/v0.4.12
2JCYZNVM69 2JCYZNVM69
| URI | m2://inv/2JCYZNVM69 |
|---|---|
| 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 2601.10370#ER0M (statement). In S5ZSEFYBD3/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
elongated pentagonal rotunda 2JD110K83R
| URI | m2://inv/2JD110K83R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1260126, elongated pentagonal rotunda (object). Also MathWorld ElongatedPentagonalRotunda
- wikipedia: Wikipedia Elongated pentagonal rotunda, Elongated pentagonal rotunda (definition). Also Wikidata Q1260126
History
- 2026-10-26: add by m2/dev
2JD4E5XA30 2JD4E5XA30
| URI | m2://inv/2JD4E5XA30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#3G95 (statement). In 13H5BTAXHF/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Meinongianism 2JDBCWW3DV
| URI | m2://inv/2JDBCWW3DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3BYE, Meinongianism (definition)
History
- 2026-11-02: add by m2/dev
Nash-Williams theorem for forests 2JDCCQ1MX4
| URI | m2://inv/2JDCCQ1MX4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash-Williams theorem#PBAB, Nash-Williams theorem for forests (statement)
History
- 2026-11-02: add by m2/dev
Relation with the original series 2JDD9VFYR9
| URI | m2://inv/2JDD9VFYR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#claim-2, Relation with the original series (statement). In RZP28ERRZV, claim, section 64.3.3
History
- 2026-11-01: add by m2/v0.6.13
2JDH51VPQR 2JDH51VPQR
| URI | m2://inv/2JDH51VPQR |
|---|---|
| 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 2512.07340#8LTH (statement). In WXE3PVAZBT/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
2JDHH57ZPX 2JDHH57ZPX
| URI | m2://inv/2JDHH57ZPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2405.14678#6UDC (statement). In 9ZSNSJRJ5N/e1, corollary 5
History
- 2026-10-27: add by m2/v0.4.2
Relative Mocktransversality Theorem 2JDK0DRR31
| URI | m2://inv/2JDK0DRR31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#9DM5, Relative Mocktransversality Theorem (statement). In MS7M2BJS9X/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
Andris Ambainis 2JDTJSWCQ4
| URI | m2://inv/2JDTJSWCQ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YVKB, Andris Ambainis (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CK0F, Andris Ambainis (topic)
History
- 2026-11-02: add by m2/dev
Simple trace formula 2JDYZ7GS2E
| URI | m2://inv/2JDYZ7GS2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula#BRUX, Simple trace formula (statement)
History
- 2026-11-02: add by m2/dev
tungsten-184 2JDZWZDQMZ
| URI | m2://inv/2JDZWZDQMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18882868, tungsten-184 (definition). Also ProofWiki Definition:Tungsten/184
History
- 2026-10-26: add by m2/dev
trad.\ version 2JE2WEMM8R
| URI | m2://inv/2JE2WEMM8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#9I5W, trad.\ version (statement). In PF5JJ9DS8Q/e1, lemma Lemma
History
- 2026-10-28: add by m2/v0.4.2
2JE7C9MGAS 2JE7C9MGAS
| URI | m2://inv/2JE7C9MGAS |
|---|---|
| Kind | definition |
| 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 0810.0962#FNEI (definition). In 80YMRN5KS9/e1, definition 14
History
- 2026-10-27: add by m2/v0.3.5
Projection–Galerkin equivalence in $L^{2}(\mathbf{Z})$ 2JE9A8GB6H
| URI | m2://inv/2JE9A8GB6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03303#E7DX, Projection–Galerkin equivalence in $L^{2}(\mathbf{Z})$ (statement). In VS9KKQWEMX/e1, theorem B.3
History
- 2026-10-29: add by m2/v0.4.12
2JEN023K6J 2JEN023K6J
| URI | m2://inv/2JEN023K6J |
|---|---|
| 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.07122#RE7N (statement). In W0ZHX9DHPV/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.10
Ludwig Prandtl 2JEVXWT42Z
| URI | m2://inv/2JEVXWT42Z |
|---|---|
| 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#MO45, Ludwig Prandtl (unknown)
History
- 2026-11-02: add by m2/dev
2JEWBSHB93 2JEWBSHB93
| URI | m2://inv/2JEWBSHB93 |
|---|---|
| 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.22374#QNNX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robinson–Schensted–Knuth correspondence 2JF0RDQ71P
| URI | m2://inv/2JF0RDQ71P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence, Robinson–Schensted–Knuth correspondence (definition). Also Wikidata Q2997914
History
- 2026-11-02: add by m2/dev
unit ball 2JF2SZY02Q
| URI | m2://inv/2JF2SZY02Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332556, unit ball (unknown). Also MathWorld UnitBall, nLab unit ball
History
- 2026-10-26: add by m2/dev
2JF6MNP9CT 2JF6MNP9CT
| URI | m2://inv/2JF6MNP9CT |
|---|---|
| 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 2609.27931#GBTP (statement)
History
- 2026-11-01: add by m2/v0.6.15
2JFFNBTKAB 2JFFNBTKAB
| URI | m2://inv/2JFFNBTKAB |
|---|---|
| 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.32599#DLYY (statement). In E1Y93JNBJA/e1, theorem 5.12
History
- 2026-10-31: add by m2/v0.5.6
Example 2JFGQE5C33
| URI | m2://inv/2JFGQE5C33 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thinning (morphology)#WEO0, Example (example)
History
- 2026-11-02: add by m2/dev
2JFN8KKG0X 2JFN8KKG0X
| URI | m2://inv/2JFN8KKG0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/compactness.tex#thm:sol-undecidable (statement). In PKGMM3P5QY, thm, section 65.1
History
- 2026-11-01: add by m2/v0.6.13
Alexander Beilinson 2JFQWXD5KS
| URI | m2://inv/2JFQWXD5KS |
|---|---|
| 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 Q369792, Alexander Beilinson (unknown). Also nLab Alexander Beilinson
- wikipedia: Wikipedia Alexander Beilinson, Alexander Beilinson (topic). Also Wikidata Q369792
History
- 2026-10-26: add by m2/dev
Graph homomorphism 2JFXXNJF8V
| URI | m2://inv/2JFXXNJF8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#6QGR, Graph homomorphism (definition)
History
- 2026-11-02: add by m2/dev
2JG32EEVV6 2JG32EEVV6
| URI | m2://inv/2JG32EEVV6 |
|---|---|
| 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.35460#0MMG (statement). In R515NECVME/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithm 2JG3ADSJ00
| URI | m2://inv/2JG3ADSJ00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice Boltzmann methods#3XR9, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
2JGCJ6M3AJ 2JGCJ6M3AJ
| URI | m2://inv/2JGCJ6M3AJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#TA6F (statement)
History
- 2026-11-02: add by m2/v0.6.18
2JGFASXHF3 2JGFASXHF3
| URI | m2://inv/2JGFASXHF3 |
|---|---|
| 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.37479#6AEG (statement). In P3RTT99C41/e1, theorem 6.9
History
- 2026-10-30: add by m2/v0.4.12
Algorithms 2JGHE38KFR
| URI | m2://inv/2JGHE38KFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse approximation#9YLN, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Poincaré conjecture 2JGTC4FHNS
| URI | m2://inv/2JGTC4FHNS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. H. Bing#HSSY, Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
Marie Rognes 2JGZQDCQZ0
| URI | m2://inv/2JGZQDCQZ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Rognes, Marie Rognes (topic). Also Wikidata Q31527052
History
- 2026-11-02: add by m2/dev
Peter Shor 2JH2A7TRT8
| URI | m2://inv/2JH2A7TRT8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9ITW, Peter Shor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZE07, Peter Shor (topic)
History
- 2026-11-02: add by m2/dev
2JH2TDGE0M 2JH2TDGE0M
| URI | m2://inv/2JH2TDGE0M |
|---|---|
| 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.25367#6DOM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Artin–Hasse exponential 2JH54V8NYX
| URI | m2://inv/2JH54V8NYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Hasse exponential, Artin–Hasse exponential (definition). Also Wikidata Q4801181
History
- 2026-11-02: add by m2/dev
algebraically closed 2JHBJ0Y6HH
| URI | m2://inv/2JHBJ0Y6HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#Z24Q, algebraically closed (definition)
History
- 2026-11-02: add by m2/dev
Combinatorial analysis 2JHDY6YVQG
| URI | m2://inv/2JHDY6YVQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#EAGB, Combinatorial analysis (definition)
History
- 2026-11-02: add by m2/dev
2JHFBMAEYF 2JHFBMAEYF
| URI | m2://inv/2JHFBMAEYF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
Tormod Næs 2JHK4S844Q
| URI | m2://inv/2JHK4S844Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tormod Næs, Tormod Næs (topic). Also Wikidata Q112475942
History
- 2026-11-02: add by m2/dev
Correspondence principle 2JHNWBFPPD
| URI | m2://inv/2JHNWBFPPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein field equations#Q25U, Correspondence principle (statement)
History
- 2026-11-02: add by m2/dev
Hans Schneider 2JHR4Y0116
| URI | m2://inv/2JHR4Y0116 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Schneider (mathematician), Hans Schneider (topic). Also Wikidata Q5650702
History
- 2026-11-02: add by m2/dev
2JHXMJE0MA 2JHXMJE0MA
| URI | m2://inv/2JHXMJE0MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#Y42V (statement)
History
- 2026-11-02: add by m2/v0.6.18
2JJ7V2MNMY 2JJ7V2MNMY
| URI | m2://inv/2JJ7V2MNMY |
|---|---|
| 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.32078#X7IP (statement). In 5PN85N6EJF/e1, lemma F.3
History
- 2026-10-31: add by m2/v0.5.6
2JJ7YHGE3V 2JJ7YHGE3V
| URI | m2://inv/2JJ7YHGE3V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/enumerating-tms.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 86.6
History
- 2026-11-01: add by m2/v0.6.13
TC 2JJBB57V86
| URI | m2://inv/2JJBB57V86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5E3C, TC (definition)
History
- 2026-11-02: add by m2/dev
2JJE4N47BN 2JJE4N47BN
| URI | m2://inv/2JJE4N47BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27635#0RMF (statement)
History
- 2026-11-01: add by m2/v0.6.15
2JJESC3MZZ 2JJESC3MZZ
| URI | m2://inv/2JJESC3MZZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-68 (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
Applications 2JJGQXA928
| URI | m2://inv/2JJGQXA928 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy concept#5P9Y, Applications (example)
History
- 2026-11-02: add by m2/dev
Dickson polynomial of the second kind 2JJV001VXJ
| URI | m2://inv/2JJV001VXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson polynomial#B4SM, Dickson polynomial of the second kind (unknown)
History
- 2026-11-02: add by m2/dev
2JJWW4V8VP 2JJWW4V8VP
| URI | m2://inv/2JJWW4V8VP |
|---|---|
| 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 2601.15403#1ND1 (statement). In BSWNH3NW1M/e1, lemma 9.10
History
- 2026-10-27: add by m2/v0.4.0
Analytic narrative 2JK29X7J58
| URI | m2://inv/2JK29X7J58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic narrative, Analytic narrative (definition). Also Wikidata Q4751132
History
- 2026-11-02: add by m2/dev
2JK53SVY42 2JK53SVY42
| URI | m2://inv/2JK53SVY42 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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/0406514#CLGV (statement). In CY1FE8W1ZW/e1, lemma 0.184
History
- 2026-10-27: add by m2/v0.3.5
Frauke Kreuter 2JKCJ65C6A
| URI | m2://inv/2JKCJ65C6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frauke Kreuter, Frauke Kreuter (topic). Also Wikidata Q25999587
History
- 2026-11-02: add by m2/dev
2JKNMPX183 2JKNMPX183
| URI | m2://inv/2JKNMPX183 |
|---|---|
| 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#P15Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alfred William Flux 2JKTW8C7DF
| URI | m2://inv/2JKTW8C7DF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred William Flux, Alfred William Flux (topic). Also Wikidata Q4723627
History
- 2026-11-02: add by m2/dev
2JKWAZ2MNH 2JKWAZ2MNH
| URI | m2://inv/2JKWAZ2MNH |
|---|---|
| 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.28336#TX98 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Runcinated 7-cubes 2JKY6D1MT1
| URI | m2://inv/2JKY6D1MT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 7-cubes, Runcinated 7-cubes (definition). Also Wikidata Q7379711
History
- 2026-11-02: add by m2/dev
Alligation 2JM0D64D52
| URI | m2://inv/2JM0D64D52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alligation, Alligation (definition). Also Wikidata Q2838306
History
- 2026-11-02: add by m2/dev
Coordination sequence 2JM6MHSTR3
| URI | m2://inv/2JM6MHSTR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordination sequence, Coordination sequence (definition). Also Wikidata Q107394824
History
- 2026-11-02: add by m2/dev
2JMADFEQ2Q 2JMADFEQ2Q
| URI | m2://inv/2JMADFEQ2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#EMZW (statement). In 2VHV0RNTNV/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.12
Theorem 2JMVWRSGN7
| URI | m2://inv/2JMVWRSGN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#WIAI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Sallie Ann Keller 2JN483E531
| URI | m2://inv/2JN483E531 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sallie Ann Keller, Sallie Ann Keller (topic). Also Wikidata Q28673347
History
- 2026-11-02: add by m2/dev
2JN5V5YA5D 2JN5V5YA5D
| URI | m2://inv/2JN5V5YA5D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 77.3
History
- 2026-11-01: add by m2/v0.6.13
Tree-like edge formula 2JNA0JF1NS
| URI | m2://inv/2JNA0JF1NS |
|---|---|
| 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.21454#HNZZ, Tree-like edge formula (statement). In ZP2RJFZ3V2/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Equivariance of barycenters 2JNJWEVG5N
| URI | m2://inv/2JNJWEVG5N |
|---|---|
| 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.28014#3O5V, Equivariance of barycenters (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vanishing-error clique-entropy converse 2JNKQYWHJG
| URI | m2://inv/2JNKQYWHJG |
|---|---|
| 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.08202#ZAS4, Vanishing-error clique-entropy converse (statement). In N7XJ16700B/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Serre spectral sequence 2JP5GJ50JP
| URI | m2://inv/2JP5GJ50JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#1KLA, Serre spectral sequence (definition)
History
- 2026-11-02: add by m2/dev
Gino Loria 2JPGWJEXQT
| URI | m2://inv/2JPGWJEXQT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gino Loria, Gino Loria (topic). Also Wikidata Q926791
History
- 2026-11-02: add by m2/dev
John Grue 2JPKX9A9BK
| URI | m2://inv/2JPKX9A9BK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Grue, John Grue (topic). Also Wikidata Q6236511
History
- 2026-11-02: add by m2/dev
Examples 2JPYAF2N11
| URI | m2://inv/2JPYAF2N11 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleinian group#IM5D, Examples (example)
History
- 2026-11-02: add by m2/dev
2JPYFYZZXA 2JPYFYZZXA
| URI | m2://inv/2JPYFYZZXA |
|---|---|
| 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.21033#AENG (statement). In A8C1M9BSWH/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.2
2JQ6KWJPPA 2JQ6KWJPPA
| URI | m2://inv/2JQ6KWJPPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#LZJ8 (statement). In R604B78EVK/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
1 E-14 m 2JQ8MTW89X
| URI | m2://inv/2JQ8MTW89X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#Z95Z, 1 E-14 m (unknown)
History
- 2026-11-02: add by m2/dev
2JQAVT7PD2 2JQAVT7PD2
| URI | m2://inv/2JQAVT7PD2 |
|---|---|
| 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 2606.00589#JNFM (statement). In C8JAGP8VCQ/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Resonant cross-section formula 2JQDVMYT8W
| URI | m2://inv/2JQDVMYT8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relativistic Breit–Wigner distribution#24Y6, Resonant cross-section formula (statement)
History
- 2026-11-02: add by m2/dev
2JQJM85VBX 2JQJM85VBX
| URI | m2://inv/2JQJM85VBX |
|---|---|
| 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.31794#A95S (statement). In MW2Y7V0RND/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
2JQQHHZD04 2JQQHHZD04
| URI | m2://inv/2JQQHHZD04 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-21 (example). In E59CDZA4DP, example, section 4.5.1
History
- 2026-11-01: add by m2/v0.6.13
2JQS19FGBK 2JQS19FGBK
| URI | m2://inv/2JQS19FGBK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 32.3
History
- 2026-11-01: add by m2/v0.6.13
Enriques–Babbage theorem 2JQXXT4ES0
| URI | m2://inv/2JQXXT4ES0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enriques–Babbage theorem, Enriques–Babbage theorem (statement). Also Wikidata Q5379865
History
- 2026-11-02: add by m2/dev
Eisenstein 2JR5PVP19C
| URI | m2://inv/2JR5PVP19C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#17K5, Eisenstein (definition)
History
- 2026-11-02: add by m2/dev
2JR8PNBH32 2JR8PNBH32
| URI | m2://inv/2JR8PNBH32 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#QGI3 (example). In 67GE5M1GGD/e1, example 6.1
History
- 2026-10-30: add by m2/v0.4.12
Examples 2JR9RN8G0A
| URI | m2://inv/2JR9RN8G0A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum state space#QSRG, Examples (example)
History
- 2026-11-02: add by m2/dev
Gordon–Luecke theorem 2JRA3GP135
| URI | m2://inv/2JRA3GP135 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#LPYO, Gordon–Luecke theorem (statement)
History
- 2026-11-02: add by m2/dev
2JRFDBBHW5 2JRFDBBHW5
| URI | m2://inv/2JRFDBBHW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10330#3WSQ (statement). In CDXQHNX1P8/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Content MathML 2JRHG56ZCZ
| URI | m2://inv/2JRHG56ZCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathML#UPKI, Content MathML (unknown)
History
- 2026-11-02: add by m2/dev
2JRPX292CT 2JRPX292CT
| URI | m2://inv/2JRPX292CT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:sigma-assoc (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Conditional \Ev-variables and conditional \Ev-power 2JRQKRBZM5
| URI | m2://inv/2JRQKRBZM5 |
|---|---|
| Kind | definition |
| 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.08210#IHQE, Conditional \Ev-variables and conditional \Ev-power (definition). In 7452X8HQ21/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Quaternionic slice criterion 2JRSFB0HY9
| URI | m2://inv/2JRSFB0HY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#ZKLE, Quaternionic slice criterion (statement). In J55JTTKG84/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
*{Sec. 2.2 2JRSPP8NGQ
| URI | m2://inv/2JRSPP8NGQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#QJEB, *{Sec. 2.2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Example 2JRVH1K7K5
| URI | m2://inv/2JRVH1K7K5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enriques–Kodaira classification#Q4RG, Example (example)
History
- 2026-11-02: add by m2/dev
Cumulants in terms of moments 2JRW6DM2MG
| URI | m2://inv/2JRW6DM2MG |
|---|---|
| Kind | example |
| 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#5AQD, Cumulants in terms of moments (example). In 7V3HG30ZGW/e1, example 3.19
History
- 2026-10-27: add by m2/v0.4.0
Kepler conjecture 2JRZM6T40J
| URI | m2://inv/2JRZM6T40J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#WFPI, Kepler conjecture (statement)
History
- 2026-11-02: add by m2/dev
centillion 2JS3R6KW1R
| URI | m2://inv/2JS3R6KW1R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5074944, centillion (unknown). Also MathWorld Centillion
History
- 2026-10-26: add by m2/dev
Shannon number 2JS4REA5S8
| URI | m2://inv/2JS4REA5S8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#06HR, Shannon number (unknown)
History
- 2026-11-02: add by m2/dev
Gudermannian function 2JSBH63BSZ
| URI | m2://inv/2JSBH63BSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#ATGI, Gudermannian function (definition)
History
- 2026-11-02: add by m2/dev
Regular map 2JSDJAADD0
| URI | m2://inv/2JSDJAADD0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular map (graph theory), Regular map (object). Also Wikidata Q7309606
History
- 2026-11-02: add by m2/dev
Choice of chordal completion 2JSGVT0D8S
| URI | m2://inv/2JSGVT0D8S |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#IJ6R, Choice of chordal completion (problem). In 1QPAA94Q76/e1, problem 5
History
- 2026-10-28: add by m2/v0.4.2
2JSJ822BDA 2JSJ822BDA
| URI | m2://inv/2JSJ822BDA |
|---|---|
| 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 2303.14022#0NQZ (statement). In NSYR6W27FP/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Strong generative capacity 2JSS58BT9A
| URI | m2://inv/2JSS58BT9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence (formal languages)#D73J, Strong generative capacity (unknown)
History
- 2026-11-02: add by m2/dev
2JSY0WBBQD 2JSY0WBBQD
| URI | m2://inv/2JSY0WBBQD |
|---|---|
| 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.37706#CQ9L (statement). In 6YY27KRJFN/e1, proposition 2.25
History
- 2026-10-30: add by m2/v0.4.12
2JT0R50GYJ 2JT0R50GYJ
| URI | m2://inv/2JT0R50GYJ |
|---|---|
| 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 2610.21929#6NL0 (statement). In 2PP4XRVS0J/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.4.2
Pholcidae 2JT16V7J1B
| URI | m2://inv/2JT16V7J1B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#0DGP, Pholcidae (unknown)
History
- 2026-11-02: add by m2/dev
Princet, Maurice 2JT1VD095X
| URI | m2://inv/2JT1VD095X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R4JQ, Princet, Maurice (topic)
History
- 2026-11-02: add by m2/dev
2JT5ENJM14 2JT5ENJM14
| URI | m2://inv/2JT5ENJM14 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:ap-to-apd-equiv-apd-to-ap (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Characteristic samples 2JTKFCFGZB
| URI | m2://inv/2JTKFCFGZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic samples, Characteristic samples (definition). Also Wikidata Q130327598
History
- 2026-11-02: add by m2/dev
2JTN2DFYJE 2JTN2DFYJE
| URI | m2://inv/2JTN2DFYJE |
|---|---|
| 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 2508.13122#SL5B (statement). In PX2GWH86PN/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Chakravala method 2JTRB6NM10
| URI | m2://inv/2JTRB6NM10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#3N4S, Chakravala method (definition)
History
- 2026-11-02: add by m2/dev
Search completeness 2JTYX7DZA8
| URI | m2://inv/2JTYX7DZA8 |
|---|---|
| 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.20492#XVPA, Search completeness (statement)
History
- 2026-11-02: add by m2/v0.6.18
Characterizations 2JV2ATJGQZ
| URI | m2://inv/2JV2ATJGQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfister form#LASF, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Identity is a Semantic Weakening 2JV2XB0AKT
| URI | m2://inv/2JV2XB0AKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#ZSX1, Identity is a Semantic Weakening (statement). In CPYWHRTPKC/e1, lemma 6.27
History
- 2026-10-27: add by m2/v0.4.2
2JV4ZZ3CSC 2JV4ZZ3CSC
| URI | m2://inv/2JV4ZZ3CSC |
|---|---|
| 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.26477#D0W6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 2JV8B4VNH2
| URI | m2://inv/2JV8B4VNH2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation inequality#QMJS, Applications (example)
History
- 2026-11-02: add by m2/dev
2JVCC62TK4 2JVCC62TK4
| URI | m2://inv/2JVCC62TK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#A104 (statement). In HVGT9D84WV/e1, proposition 1.8
History
- 2026-10-27: add by m2/v0.3.5
path, 3- 2JVCZ6Z85H
| URI | m2://inv/2JVCZ6Z85H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/path-3, path, 3- (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Expansion lemma 2JVJ0099VF
| URI | m2://inv/2JVJ0099VF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#MH1K, Expansion lemma (statement)
History
- 2026-11-02: add by m2/dev
Mixed norms and interpolation 2JVNYACZGZ
| URI | m2://inv/2JVNYACZGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#XX3O, Mixed norms and interpolation (statement)
History
- 2026-11-01: add by m2/v0.6.15
2JVQ8HXYE6 2JVQ8HXYE6
| URI | m2://inv/2JVQ8HXYE6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-269 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Emily Willbanks 2JW9EGR0GA
| URI | m2://inv/2JW9EGR0GA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emily Willbanks, Emily Willbanks (topic). Also Wikidata Q57915559
History
- 2026-11-02: add by m2/dev
2JWBHZYRAV 2JWBHZYRAV
| URI | m2://inv/2JWBHZYRAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#NC8R (statement)
History
- 2026-11-01: add by m2/v0.6.15
ladder graph 2JWKVWCA8S
| URI | m2://inv/2JWKVWCA8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6469318, ladder graph (unknown). Also MathWorld LadderGraph
- wikipedia: Wikipedia Ladder graph, Ladder graph (definition). Also Wikidata Q6469318
History
- 2026-10-26: add by m2/dev
Derivative of $B_k$ 2JWNRF2KZ6
| URI | m2://inv/2JWNRF2KZ6 |
|---|---|
| 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 2610.10860#QJ3Q, Derivative of $B_k$ (statement). In PBYNV2WF2H/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.3
Algorithms 2JX2EQ87H0
| URI | m2://inv/2JX2EQ87H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithms (journal), Algorithms (definition). Also Wikidata Q4724371
History
- 2026-11-02: add by m2/dev
Uniqueness at zero pressure 2JX36ZXJ92
| URI | m2://inv/2JX36ZXJ92 |
|---|---|
| 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.28024#KIEE, Uniqueness at zero pressure (statement)
History
- 2026-11-01: add by m2/v0.6.15
2JX9HEA04S 2JX9HEA04S
| URI | m2://inv/2JX9HEA04S |
|---|---|
| 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 2212.01916#48CF (statement). In XTGB5Z08YH/e1, theorem 3.24
History
- 2026-10-27: add by m2/v0.4.0
2JXBAW27K2 2JXBAW27K2
| URI | m2://inv/2JXBAW27K2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#O06F (statement)
History
- 2026-11-01: add by m2/v0.6.15
2JXQGBA971 2JXQGBA971
| URI | m2://inv/2JXQGBA971 |
|---|---|
| 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 2510.07095#8XXD (statement). In J9GHVHV5RB/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Heinrich Emil Timerding 2JXS3JWQWN
| URI | m2://inv/2JXS3JWQWN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#VC0J, Heinrich Emil Timerding (unknown)
History
- 2026-11-02: add by m2/dev
2JXX9WMA65 2JXX9WMA65
| URI | m2://inv/2JXX9WMA65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#N1R8 (statement). In XXN6KKXPYF/e1, lemma 7.9
History
- 2026-10-28: add by m2/v0.4.2
Surface with boundary 2JY1K14S9H
| URI | m2://inv/2JY1K14S9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological manifold#W9IZ, Surface with boundary (unknown)
History
- 2026-11-02: add by m2/dev
2JY73J953H 2JY73J953H
| URI | m2://inv/2JY73J953H |
|---|---|
| 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 2610.12633#N9MH (statement). In NGZ5AZ70NN/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
Skewness risk 2JYAZFAE4B
| URI | m2://inv/2JYAZFAE4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewness risk, Skewness risk (definition). Also Wikidata Q17052267
History
- 2026-11-02: add by m2/dev
2JYB67MWM1 2JYB67MWM1
| URI | m2://inv/2JYB67MWM1 |
|---|---|
| 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 2504.09464#6ZOZ (statement). In RN1XRCS2CH/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.6
Strong duality 2JYEESCGHZ
| URI | m2://inv/2JYEESCGHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong duality, Strong duality (definition). Also Wikidata Q7624553
History
- 2026-11-02: add by m2/dev
2JYRNNHKSC 2JYRNNHKSC
| URI | m2://inv/2JYRNNHKSC |
|---|---|
| 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 1705.01594#PGX6 (statement). In BR3N3GSY2C/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Strong consistency for fractional Brownian motion 2JZ6YPPNK9
| URI | m2://inv/2JZ6YPPNK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#ID47, Strong consistency for fractional Brownian motion (statement). In SV36P5P5Z3/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
Nicolas Bogoliúboff 2JZ750RC4N
| URI | m2://inv/2JZ750RC4N |
|---|---|
| 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#HRVB, Nicolas Bogoliúboff (unknown)
History
- 2026-11-02: add by m2/dev
Hardy–Littlewood circle method 2JZ96RKW2Q
| URI | m2://inv/2JZ96RKW2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hardy–Littlewood circle method ZQFBEX62D0 |
Mentions
- wikidata: Wikidata Q2543359, Hardy–Littlewood circle method (unknown). Also MathWorld CircleMethod
- wikipedia: Wikipedia Hardy–Ramanujan–Littlewood circle method, Hardy–Ramanujan–Littlewood circle method (definition). Also Wikidata Q2543359
History
- 2026-10-26: add by m2/dev
Axioms 2JZBHCG9AK
| URI | m2://inv/2JZBHCG9AK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex operator algebra#7X4K, Axioms (statement)
History
- 2026-11-02: add by m2/dev
2JZFQQHEY8 2JZFQQHEY8
| URI | m2://inv/2JZFQQHEY8 |
|---|---|
| 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 2407.20385#9JBC (statement). In PZRSZ19KAH/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
2JZS7S8MPT 2JZS7S8MPT
| URI | m2://inv/2JZS7S8MPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.37159#9K6Z (statement). In SBANZ2ZJDD/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
2JZYVPCK0N 2JZYVPCK0N
| URI | m2://inv/2JZYVPCK0N |
|---|---|
| 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.20285#XE3N (statement). In RQA728RB77/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2