Inventory rows H4
The cards of the rows of the inventory whose ids start with H4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
H400ZQD5G3 H400ZQD5G3
| URI | m2://inv/H400ZQD5G3 |
|---|---|
| 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 2011.07352#1M4J (statement). In 3VPC1GGZ3E/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
H403R4Y62T H403R4Y62T
| URI | m2://inv/H403R4Y62T |
|---|---|
| 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.17677#SXQE (statement). In 5E9G06XJKC/e1, lemma G.18
History
- 2026-10-28: add by m2/v0.4.2
Proposition 4 H40A2BQYQ4
| URI | m2://inv/H40A2BQYQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#H2TP, Proposition 4 (statement)
History
- 2026-11-02: add by m2/dev
H40DVQ71ZG H40DVQ71ZG
| URI | m2://inv/H40DVQ71ZG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#UIDO (definition)
History
- 2026-11-02: add by m2/v0.6.17
H40KS89QZ3 H40KS89QZ3
| URI | m2://inv/H40KS89QZ3 |
|---|---|
| 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#SNX3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
H40M8BCDDB H40M8BCDDB
| URI | m2://inv/H40M8BCDDB |
|---|---|
| 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.16386#YXDB (statement). In RAF0BFY3Z3/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
H40MJVW812 H40MJVW812
| URI | m2://inv/H40MJVW812 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#GC6Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
H40VDR6NZC H40VDR6NZC
| URI | m2://inv/H40VDR6NZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28306#61H6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Second-order expansion at critical regularity H40WHKW7SM
| URI | m2://inv/H40WHKW7SM |
|---|---|
| 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.15086#YVCG, Second-order expansion at critical regularity (statement). In V60MVF3KQ1/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
The perturbed models H4134PTZ10
| URI | m2://inv/H4134PTZ10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#17PR, The perturbed models (statement). In NKXTXH59P1/e1, lemma G.6
History
- 2026-10-29: add by m2/v0.4.10
Tree H41F3W9VJM
| URI | m2://inv/H41F3W9VJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (set theory), Tree (definition). Also Wikidata Q2859736
History
- 2026-11-02: add by m2/dev
H41KE66763 H41KE66763
| URI | m2://inv/H41KE66763 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:Levinegdol (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Hidden subgroup problem H41KPGDH2R
| URI | m2://inv/H41KPGDH2R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden subgroup problem, Hidden subgroup problem (problem). Also Wikidata Q5752087
History
- 2026-11-02: add by m2/dev
Donald Sadler H41QB7J38B
| URI | m2://inv/H41QB7J38B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Sadler, Donald Sadler (topic). Also Wikidata Q19325441
History
- 2026-11-02: add by m2/dev
H41TQ6VWR4 H41TQ6VWR4
| URI | m2://inv/H41TQ6VWR4 |
|---|---|
| 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.24845#4B6U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples H41X2S14T2
| URI | m2://inv/H41X2S14T2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum channel#JTBJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Girolami, Mark H42E9GZ3PP
| URI | m2://inv/H42E9GZ3PP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KPLF, Girolami, Mark (unknown)
History
- 2026-11-02: add by m2/dev
H42MMVNCF8 H42MMVNCF8
| URI | m2://inv/H42MMVNCF8 |
|---|---|
| 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.18632#UPEB (statement). In PTM5MVD4M0/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Lemma 1 H42PHBN6JV
| URI | m2://inv/H42PHBN6JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized algorithm#RBGD, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
H42SCDFVV7 H42SCDFVV7
| URI | m2://inv/H42SCDFVV7 |
|---|---|
| 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.29498#6PA3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
H42TR7JA0M H42TR7JA0M
| URI | m2://inv/H42TR7JA0M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
representable functor H42Y2ZZ2CV
| URI | m2://inv/H42Y2ZZ2CV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.5/representable-functor, representable functor (concept). In N54F33XE07, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
H4374YXXDM H4374YXXDM
| URI | m2://inv/H4374YXXDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#ONOT (statement). In TC5QA4AB4Z/e1, proposition 4.13
History
- 2026-10-30: add by m2/v0.4.12
sequence, exact H43GC1JA99
| URI | m2://inv/H43GC1JA99 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/sequence-exact, sequence, exact (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
reflexivity, of a relation H43JZRPQQQ
| URI | m2://inv/H43JZRPQQQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.2/reflexivity-of-a-relation, reflexivity, of a relation (concept). In N54F33XE07, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Statement H43ZXNB6FA
| URI | m2://inv/H43ZXNB6FA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danskin's theorem#KOJH, Statement (statement)
History
- 2026-11-02: add by m2/dev
E. M. Nikishin H442X0WQ20
| URI | m2://inv/H442X0WQ20 |
|---|---|
| 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#6EHP, E. M. Nikishin (unknown)
History
- 2026-11-02: add by m2/dev
List of lemmas H447SNJ91J
| URI | m2://inv/H447SNJ91J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#YJH9, List of lemmas (topic)
- wikipedia: Wikipedia List of theorems#04P2, List of lemmas (topic)
History
- 2026-11-02: add by m2/dev
H448BYGN3S H448BYGN3S
| URI | m2://inv/H448BYGN3S |
|---|---|
| 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 2609.27366#QS76 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic properties H44BQ8HYGD
| URI | m2://inv/H44BQ8HYGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical harmonics#PIQS, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
H44SEP9WQ9 H44SEP9WQ9
| URI | m2://inv/H44SEP9WQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/preliminaries.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 52.4
History
- 2026-11-01: add by m2/v0.6.13
RSA-330 H44Y25BRYZ
| URI | m2://inv/H44Y25BRYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#NU2J, RSA-330 (unknown)
History
- 2026-11-02: add by m2/dev
Bessel formula H457F6KF70
| URI | m2://inv/H457F6KF70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#3C54, Bessel formula (statement)
History
- 2026-11-02: add by m2/dev
H45BJ48ZDJ H45BJ48ZDJ
| URI | m2://inv/H45BJ48ZDJ |
|---|---|
| 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.27152#5L6I (statement)
History
- 2026-11-01: add by m2/v0.6.15
H45HG07063 H45HG07063
| URI | m2://inv/H45HG07063 |
|---|---|
| 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.11440#QQO2 (statement). In KBV6TD64F1/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.3
H45HPB42JQ H45HPB42JQ
| URI | m2://inv/H45HPB42JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#AEKW (statement). In H72E12TYHA/e1, proposition 1.7
History
- 2026-10-27: add by m2/v0.4.0
H45JPPE985 H45JPPE985
| URI | m2://inv/H45JPPE985 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-8 (example). In E9HS8K3A52, example, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
H45V7Z59N9 H45V7Z59N9
| URI | m2://inv/H45V7Z59N9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#ORUZ (statement). In SXTX59QBVT/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.3.5
Anti-holomorphic symmetry of barycenters H45YD7VGFB
| URI | m2://inv/H45YD7VGFB |
|---|---|
| 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#VKF3, Anti-holomorphic symmetry of barycenters (statement)
History
- 2026-11-01: add by m2/v0.6.15
Levi-Civita field H462730ZJP
| URI | m2://inv/H462730ZJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita field, Levi-Civita field (definition). Also Wikidata Q6535342
History
- 2026-11-02: add by m2/dev
H466X28YD2 H466X28YD2
| URI | m2://inv/H466X28YD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#140W (statement). In HK7FV97MFD/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.2
Edinburgh of the Seven Seas H469H0C99E
| URI | m2://inv/H469H0C99E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3ITA, Edinburgh of the Seven Seas (unknown)
History
- 2026-11-02: add by m2/dev
Stability of response monotonicity H46D3PXJWY
| URI | m2://inv/H46D3PXJWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#2W7V, Stability of response monotonicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dimensions H46MPR4WVS
| URI | m2://inv/H46MPR4WVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensions (animation), Dimensions (definition). Also Wikidata Q1933794
History
- 2026-11-02: add by m2/dev
Raychaudhuri equation H46SP72Y3R
| URI | m2://inv/H46SP72Y3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raychaudhuri equation, Raychaudhuri equation (definition). Also Wikidata Q2134013
History
- 2026-11-02: add by m2/dev
Laws above the first contact H46TTSP53D
| URI | m2://inv/H46TTSP53D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#GBJU, Laws above the first contact (statement). In 2Y47E704Z9/e1, lemma G.4
History
- 2026-10-29: add by m2/v0.4.10
H46ZBJ3GQ1 H46ZBJ3GQ1
| URI | m2://inv/H46ZBJ3GQ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-29 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
H46ZMQAJVH H46ZMQAJVH
| URI | m2://inv/H46ZMQAJVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#J8TR (statement). In D6XA7JXZF3/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Bounded and separated events H4704ZEJQ7
| URI | m2://inv/H4704ZEJQ7 |
|---|---|
| Kind | definition |
| 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 2503.08018#9UCK, Bounded and separated events (definition). In TN93YFN45W/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.4.0
Properties H470TH0P55
| URI | m2://inv/H470TH0P55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform norm#RPMB, Properties (statement)
History
- 2026-11-02: add by m2/dev
preservation of unliftability H470YT7MVV
| URI | m2://inv/H470YT7MVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31413#BCGZ, preservation of unliftability (statement). In 1C68G64QZS/e1, proposition 3
History
- 2026-10-31: add by m2/v0.5.6
H472XDY90V H472XDY90V
| URI | m2://inv/H472XDY90V |
|---|---|
| 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.17677#R2DB (statement). In 5E9G06XJKC/e1, lemma F.4
History
- 2026-10-28: add by m2/v0.4.2
Notation H4748GYGW1
| URI | m2://inv/H4748GYGW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse trigonometric functions#63TN, Notation (definition)
History
- 2026-11-02: add by m2/dev
Rushbrooke inequality H479BY11RT
| URI | m2://inv/H479BY11RT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#2FZE, Rushbrooke inequality (statement)
History
- 2026-11-02: add by m2/dev
H479TJAAY0 H479TJAAY0
| URI | m2://inv/H479TJAAY0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19837#HDPU (definition). In 837NSWQM1P/e1, definition 8.2
History
- 2026-10-28: add by m2/v0.4.2
H47D3M5WF0 H47D3M5WF0
| URI | m2://inv/H47D3M5WF0 |
|---|---|
| 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.27393#DCB7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions H47GX9DYW6
| URI | m2://inv/H47GX9DYW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic convexity#374Z, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Uniqueness for displaced thermal inputs H47TYJKFBP
| URI | m2://inv/H47TYJKFBP |
|---|---|
| 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.01855#6S53, Uniqueness for displaced thermal inputs (statement). In MM8P5CJR18/e1, proposition 5.27
History
- 2026-10-29: add by m2/v0.4.12
Identification space H47VQME47Z
| URI | m2://inv/H47VQME47Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#APU7, Identification space (definition)
History
- 2026-11-02: add by m2/dev
Andr\'e H485WDHS4T
| URI | m2://inv/H485WDHS4T |
|---|---|
| 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.02481#GBGB, Andr\'e (statement). In 5HACFNFY0P/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Qualitative FCLT for the Polyak--Ruppert trajectory H488ZJRQMZ
| URI | m2://inv/H488ZJRQMZ |
|---|---|
| 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.40338#EJ4M, Qualitative FCLT for the Polyak--Ruppert trajectory (statement). In K5H6GS0SGQ/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
H489C0BEMV H489C0BEMV
| URI | m2://inv/H489C0BEMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-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.17482#J4V3 (statement). In BQQK9JDJ9F/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Sariel Har-Peled H489PPJZ89
| URI | m2://inv/H489PPJZ89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SO9A, Sariel Har-Peled (topic)
History
- 2026-11-02: add by m2/dev
H48E5B8YYV H48E5B8YYV
| URI | m2://inv/H48E5B8YYV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#QELA (example)
History
- 2026-11-01: add by m2/v0.6.15
Implementation H48NN82C9Z
| URI | m2://inv/H48NN82C9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Community Survey#T1HK, Implementation (definition)
History
- 2026-11-02: add by m2/dev
A finite sum for the sine energy H48Q8WN7ER
| URI | m2://inv/H48Q8WN7ER |
|---|---|
| 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#9GUA, A finite sum for the sine energy (statement). In JY6RYSNXMJ/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Examples H48V27TRR5
| URI | m2://inv/H48V27TRR5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-orthogonal matrix#EYQG, Examples (example)
History
- 2026-11-02: add by m2/dev
Lovelock's theorem H4918SS2BJ
| URI | m2://inv/H4918SS2BJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q28194853, Lovelock's theorem (statement). Also Wikidata Q28194853
- thousand_plus: thousand_plus Q28194853, Lovelock's theorem (statement). Also Wikidata Q28194853, Wikipedia Lovelock's theorem
- wikipedia: Wikipedia Lovelock's theorem, Lovelock's theorem (statement). Also Wikidata Q28194853
History
- 2026-10-26: add by m2/dev
History of musical notation H495XXJZEA
| URI | m2://inv/H495XXJZEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Musical notation#WONV, History of musical notation (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition H49AF8S27M
| URI | m2://inv/H49AF8S27M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoperimetric dimension#QBDU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
H49HV51HDD H49HV51HDD
| URI | m2://inv/H49HV51HDD |
|---|---|
| Kind | definition |
| 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#E25A (definition). In REDG6QVHM3/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Endre Süli H49Q9K2QVS
| URI | m2://inv/H49Q9K2QVS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0UI3, Endre Süli (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6OQJ, Endre Süli (topic)
History
- 2026-11-02: add by m2/dev
General set theory H49YT7RHEF
| URI | m2://inv/H49YT7RHEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#5BYE, General set theory (definition)
History
- 2026-11-02: add by m2/dev
Category of groups H4A2Y0M63H
| URI | m2://inv/H4A2Y0M63H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#5O30, Category of groups (definition)
History
- 2026-11-02: add by m2/dev
Representation H4A8WSFJ7D
| URI | m2://inv/H4A8WSFJ7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#MLYL, Representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
H4ACAX93VW H4ACAX93VW
| URI | m2://inv/H4ACAX93VW |
|---|---|
| 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 2609.34876#DUNT (example). In XXQAW3ZBDF/e1, example 3.8
History
- 2026-10-30: add by m2/v0.4.12
Singapore math H4ACJ0B2S9
| URI | m2://inv/H4ACJ0B2S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singapore math, Singapore math (definition). Also Wikidata Q10668276
History
- 2026-11-02: add by m2/dev
gram H4AH70B7J4
| URI | m2://inv/H4AH70B7J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41803, gram (definition). Also ProofWiki Definition:Metric_System/Mass/Gram
History
- 2026-10-26: add by m2/dev
Adams spectral sequence H4AN5553Q5
| URI | m2://inv/H4AN5553Q5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Adams spectral sequence DD4D0EKX74 |
Mentions
- wikidata: Wikidata Q4680481, Adams spectral sequence (concept). Also nLab Adams spectral sequence
- wikipedia: Wikipedia Adams spectral sequence, Adams spectral sequence (definition). Also Wikidata Q4680481
History
- 2026-10-26: add by m2/dev
Box–Behnken design H4AR2JSYVF
| URI | m2://inv/H4AR2JSYVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box–Behnken design, Box–Behnken design (definition). Also Wikidata Q4952019
History
- 2026-11-02: add by m2/dev
H4AVN8RB99 H4AVN8RB99
| URI | m2://inv/H4AVN8RB99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#2WW4 (statement). In D0F1GK5AHW/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.10
Eduard Gufeld H4AXXXVWJR
| URI | m2://inv/H4AXXXVWJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#2Q5V, Eduard Gufeld (unknown)
History
- 2026-11-02: add by m2/dev
H4AZ2CKZ1E H4AZ2CKZ1E
| URI | m2://inv/H4AZ2CKZ1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04774#UF03 (definition). In DED1CA3JCB/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Comparison of diagonal regular parts H4AZDZGZK6
| URI | m2://inv/H4AZDZGZK6 |
|---|---|
| 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.08011#VEAY, Comparison of diagonal regular parts (statement). In K0BXT951HT/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
Willem van der Woude H4BC6FHBSV
| URI | m2://inv/H4BC6FHBSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willem van der Woude, Willem van der Woude (topic). Also Wikidata Q2214076
History
- 2026-11-02: add by m2/dev
H4BG2X23DH H4BG2X23DH
| URI | m2://inv/H4BG2X23DH |
|---|---|
| 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 2607.01109#J5DW (statement). In V35F0T5RQ2/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Examples H4BHHA2KYH
| URI | m2://inv/H4BHHA2KYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable group#V9Y3, Examples (example)
History
- 2026-11-02: add by m2/dev
H4BKBHCSKH H4BKBHCSKH
| URI | m2://inv/H4BKBHCSKH |
|---|---|
| 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 2202.10920#KNEJ (definition). In 6TTFGK6ZV0/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
H4BWEHHRPJ H4BWEHHRPJ
| URI | m2://inv/H4BWEHHRPJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03358#DAVL (problem). In KCXEY7HJ8V/e1, problem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Competitive analysis H4BWWH6C21
| URI | m2://inv/H4BWWH6C21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive analysis (online algorithm), Competitive analysis (definition). Also Wikidata Q5156350
History
- 2026-11-02: add by m2/dev
H4BYDCGJ1A H4BYDCGJ1A
| URI | m2://inv/H4BYDCGJ1A |
|---|---|
| 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.03337#HTBM (statement). In VH7EZDGTNA/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
The quadratic condition is not sufficient H4C8B4V6JX
| URI | m2://inv/H4C8B4V6JX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.22465#CWXJ, The quadratic condition is not sufficient (example)
History
- 2026-11-02: add by m2/v0.6.17
H4CCYXP236 H4CCYXP236
| URI | m2://inv/H4CCYXP236 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#FABT (statement). In M7NEWDTM32/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Three-twist knot H4CFC6WYE1
| URI | m2://inv/H4CFC6WYE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#TSE6, Three-twist knot (definition)
History
- 2026-11-02: add by m2/dev
Compound of twenty triangular prisms H4CGNQ44RJ
| URI | m2://inv/H4CGNQ44RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MQFS, Compound of twenty triangular prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RTMO, Compound of twenty triangular prisms (definition)
History
- 2026-11-02: add by m2/dev
H4CJ6EAC93 H4CJ6EAC93
| URI | m2://inv/H4CJ6EAC93 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/fixed-point-lemma.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.10
History
- 2026-11-01: add by m2/v0.6.13
H4CJAPG7NJ H4CJAPG7NJ
| URI | m2://inv/H4CJAPG7NJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-11 (example). In E9HS8K3A52, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
H4CMK80X1Z H4CMK80X1Z
| URI | m2://inv/H4CMK80X1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 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.01208#2ARO (statement). In 317GZJ38HS/e1, lemma 5.16
History
- 2026-10-29: add by m2/v0.4.12
H4CRJX6TSE H4CRJX6TSE
| URI | m2://inv/H4CRJX6TSE |
|---|---|
| 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.29152#Z6XC (statement)
History
- 2026-11-01: add by m2/v0.6.15
H4CX0EDZMM H4CX0EDZMM
| URI | m2://inv/H4CX0EDZMM |
|---|---|
| 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.15877#U8YQ (statement). In F3W750X9N6/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
H4CYQJAQDX H4CYQJAQDX
| URI | m2://inv/H4CYQJAQDX |
|---|---|
| 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.09810#4BZ6 (statement). In B6PCH930FV/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
equivariant cohomology H4CYXWMVCG
| URI | m2://inv/H4CYXWMVCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Equivariant cohomology C7MZ3SFGYF |
Mentions
- wikidata: Wikidata Q5384738, equivariant cohomology (unknown). Also nLab equivariant cohomology
- wikipedia: Wikipedia Equivariant cohomology, Equivariant cohomology (definition). Also Wikidata Q5384738
History
- 2026-10-26: add by m2/dev
Context PER H4D8AARFJM
| URI | m2://inv/H4D8AARFJM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#1L1E, Context PER (definition). In CPYWHRTPKC/e1, definition 6.19
History
- 2026-10-27: add by m2/v0.4.2
H4DGND22DQ H4DGND22DQ
| URI | m2://inv/H4DGND22DQ |
|---|---|
| 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.25539#JI8A (statement)
History
- 2026-11-01: add by m2/v0.6.15
H4DJ9BG815 H4DJ9BG815
| URI | m2://inv/H4DJ9BG815 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#3TB8 (statement). In EVFX1R7ZDD/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
H4DM6KM67F H4DM6KM67F
| URI | m2://inv/H4DM6KM67F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#7SJH (definition)
History
- 2026-11-01: add by m2/v0.6.15
H4DN1D1KBG H4DN1D1KBG
| URI | m2://inv/H4DN1D1KBG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#2EUT (definition). In VWNB6QJWFN/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Definition H4DS6M37FV
| URI | m2://inv/H4DS6M37FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shell integration#QS6X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formulation H4DWM4XXJS
| URI | m2://inv/H4DWM4XXJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coulomb gas#UYUU, Formulation (definition)
History
- 2026-11-02: add by m2/dev
H4E27SX34E H4E27SX34E
| URI | m2://inv/H4E27SX34E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#A535 (statement). In WE001PR75Z/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.2
James Dodson H4E5BWYNBY
| URI | m2://inv/H4E5BWYNBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#PXQ2, James Dodson (unknown)
History
- 2026-11-02: add by m2/dev
Newton da Costa H4E6G6ASH0
| URI | m2://inv/H4E6G6ASH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton da Costa, Newton da Costa (topic). Also Wikidata Q5365379
History
- 2026-11-02: add by m2/dev
Master principle H4E7YHRJG4
| URI | m2://inv/H4E7YHRJG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#1OHG, Master principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
H4EB274Q5Y H4EB274Q5Y
| URI | m2://inv/H4EB274Q5Y |
|---|---|
| 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.39307#K3GN (statement). In QFBGPGRP1P/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Examples H4EX6YGBJ5
| URI | m2://inv/H4EX6YGBJ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric group theory#HLH7, Examples (example)
History
- 2026-11-02: add by m2/dev
Variants of the Grothendieck inequality H4EYX19KZZ
| URI | m2://inv/H4EYX19KZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck inequality#XHZJ, Variants of the Grothendieck inequality (statement)
History
- 2026-11-02: add by m2/dev
Helena Wong H4EZHSQST5
| URI | m2://inv/H4EZHSQST5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#RVEA, Helena Wong (unknown)
History
- 2026-11-02: add by m2/dev
graceful graph H4F2NRACT1
| URI | m2://inv/H4F2NRACT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127848293, graceful graph (unknown). Also MathWorld GracefulGraph
History
- 2026-10-26: add by m2/dev
H4FBBM5NMY H4FBBM5NMY
| URI | m2://inv/H4FBBM5NMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#CAJT (statement)
History
- 2026-11-01: add by m2/v0.6.15
H4FC018PFA H4FC018PFA
| URI | m2://inv/H4FC018PFA |
|---|---|
| Kind | definition |
| 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 2510.12502#0QMQ (definition). In 3A4K47Y9F2/e1, definition 3.41
History
- 2026-10-27: add by m2/v0.4.0
Sample odds ratio H4FF0XCWA7
| URI | m2://inv/H4FF0XCWA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds ratio#Y2XD, Sample odds ratio (unknown)
History
- 2026-11-02: add by m2/dev
Abel's binomial theorem H4FJMMQ4MG
| URI | m2://inv/H4FJMMQ4MG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#CF96, Abel's binomial theorem (statement)
- wikipedia: Wikipedia List of factorial and binomial topics#729U, Abel's binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Tuple lemma H4G0RS24BG
| URI | m2://inv/H4G0RS24BG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#VODG, Tuple lemma (statement)
History
- 2026-11-02: add by m2/dev
H4G3YMGNSV H4G3YMGNSV
| URI | m2://inv/H4G3YMGNSV |
|---|---|
| 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.03856#PHXD (statement). In HTBRYNPHSJ/e1, corollary 6.10
History
- 2026-10-29: add by m2/v0.4.12
H4G55FKH7M H4G55FKH7M
| URI | m2://inv/H4G55FKH7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#66NZ (statement). In GM3S19KFDH/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
H4G89PSC41 H4G89PSC41
| URI | m2://inv/H4G89PSC41 |
|---|---|
| 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.17518#J1OA (statement). In YA4JEWTVS4/e1, corollary 7.6
History
- 2026-10-28: add by m2/v0.4.2
Pythagorean triple H4GESV23R4
| URI | m2://inv/H4GESV23R4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Pythagorean triple 01G1WY1GVX |
Mentions
- wikidata: Wikidata Q208225, Pythagorean triple (concept). Also MathWorld PythagoreanTriple, nLab Pythagorean triple, ProofWiki Definition:Pythagorean_Triple
- wikipedia: Wikipedia Pythagorean triple, Pythagorean triple (definition). Also Wikidata Q208225
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Alex Chui H4GF3P8C1F
| URI | m2://inv/H4GF3P8C1F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alex Chui, Alex Chui (topic). Also Wikidata Q141190757
History
- 2026-11-02: add by m2/dev
Stage-uniform constants H4GP5ZVN9V
| URI | m2://inv/H4GP5ZVN9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#X4CN, Stage-uniform constants (statement). In F14A5HX20Q/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
The old generator in a larger interval H4GRSJ6Y9Z
| URI | m2://inv/H4GRSJ6Y9Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#RXYT, The old generator in a larger interval (example). In S26QVW5613/e1, example 4.6.13
History
- 2026-10-30: add by m2/v0.4.12
Boundary transfer H4GWKWMGPK
| URI | m2://inv/H4GWKWMGPK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#HH2P, Boundary transfer (definition). In HF7YNMW39N/e1, definition 7.3
History
- 2026-10-27: add by m2/v0.4.0
Online inference H4GXGS6VFW
| URI | m2://inv/H4GXGS6VFW |
|---|---|
| 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.12873#X0I2, Online inference (statement). In 9MMD2N7DQ1/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
Construction H4H63D27BW
| URI | m2://inv/H4H63D27BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMH-Badger MAC#XUDX, Construction (definition)
History
- 2026-11-02: add by m2/dev
H4HDEYF88S H4HDEYF88S
| URI | m2://inv/H4HDEYF88S |
|---|---|
| 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 2204.07961#XCO1 (statement). In 4DK4VRKZVM/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.3.5
\coqident{Partiality}{PCF}{type H4HF2HHMT6
| URI | m2://inv/H4HF2HHMT6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#Z4N2, \coqident{Partiality}{PCF}{type (definition). In T1VFA7TXPA/e1, definition 30
History
- 2026-10-27: add by m2/v0.3.5
H4HF5TRR3M H4HF5TRR3M
| URI | m2://inv/H4HF5TRR3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22297#A007 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Abstract regular polyhedron H4HMZWJX13
| URI | m2://inv/H4HMZWJX13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract polytope#JRHL, Abstract regular polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
Statement H4HNRD5KZ7
| URI | m2://inv/H4HNRD5KZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willmore conjecture#R1HI, Statement (statement)
History
- 2026-11-02: add by m2/dev
Complete Fermi–Dirac integral H4HVPD2EK8
| URI | m2://inv/H4HVPD2EK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete Fermi–Dirac integral, Complete Fermi–Dirac integral (definition). Also Wikidata Q167476
History
- 2026-11-02: add by m2/dev
Special cases H4HWBKZETF
| URI | m2://inv/H4HWBKZETF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic domain#MEFW, Special cases (statement)
History
- 2026-11-02: add by m2/dev
H4HYFJJ7X1 H4HYFJJ7X1
| URI | m2://inv/H4HYFJJ7X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#BIZL (statement)
History
- 2026-11-02: add by m2/v0.6.17
H4J2CHFP77 H4J2CHFP77
| URI | m2://inv/H4J2CHFP77 |
|---|---|
| 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.19426#A6AB (statement). In Y28XB7TPPZ/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
H4JFH34ARW H4JFH34ARW
| URI | m2://inv/H4JFH34ARW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/inf-count.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 67.2
History
- 2026-11-01: add by m2/v0.6.13
Mathematics and artificial intelligence H4JFS7JP64
| URI | m2://inv/H4JFS7JP64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and artificial intelligence, Mathematics and artificial intelligence (definition). Also Wikidata Q141306134
History
- 2026-11-02: add by m2/dev
Isomonodromy H4JJSBDE7E
| URI | m2://inv/H4JJSBDE7E |
|---|---|
| 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.30730#LOGK, Isomonodromy (statement). In 7R7ANDMWG4/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Chain rule H4JM21WW4Y
| URI | m2://inv/H4JM21WW4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#25OU, Chain rule (statement)
History
- 2026-11-02: add by m2/dev
H4JMEZV11B H4JMEZV11B
| URI | m2://inv/H4JMEZV11B |
|---|---|
| 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.15489#V8OW (example). In 5BCTP0B6Q1/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
Julian Keilson H4JNJBVF5Z
| URI | m2://inv/H4JNJBVF5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian Keilson, Julian Keilson (topic). Also Wikidata Q11023981
History
- 2026-11-02: add by m2/dev
Plünnecke–Ruzsa inequality H4JPW3NFK1
| URI | m2://inv/H4JPW3NFK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality, Plünnecke–Ruzsa inequality (statement). Also Wikidata Q85793713
History
- 2026-11-02: add by m2/dev
Star height H4K9JXG8W5
| URI | m2://inv/H4K9JXG8W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star height, Star height (definition). Also Wikidata Q638934
History
- 2026-11-02: add by m2/dev
H4KDMEC0Q7 H4KDMEC0Q7
| URI | m2://inv/H4KDMEC0Q7 |
|---|---|
| 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.38793#DCRD (statement). In T2N92YSY5R/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Bozenna Pasik-Duncan H4KEA73C95
| URI | m2://inv/H4KEA73C95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bozenna Pasik-Duncan, Bozenna Pasik-Duncan (topic). Also Wikidata Q25752964
History
- 2026-11-02: add by m2/dev
vector H4KET2J2NV
| URI | m2://inv/H4KET2J2NV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/vector, vector (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
H4KFQM7GCA H4KFQM7GCA
| URI | m2://inv/H4KFQM7GCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13715#2AHG (statement). In FAVGZDVJS9/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
Archimedes' principle H4KKMZTGKB
| URI | m2://inv/H4KKMZTGKB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#5YUI, Archimedes' principle (unknown)
History
- 2026-11-02: add by m2/dev
H4KMHZWYAH H4KMHZWYAH
| URI | m2://inv/H4KMHZWYAH |
|---|---|
| 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.25390#GGXW (statement)
History
- 2026-11-01: add by m2/v0.6.15
H4M5F3HWH8 H4M5F3HWH8
| URI | m2://inv/H4M5F3HWH8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#cor-unique-paths-forests (statement). In Y91XFCEVHQ, corollary, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
H4M5ZG67VJ H4M5ZG67VJ
| URI | m2://inv/H4M5ZG67VJ |
|---|---|
| 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 2511.17751#LLMH (statement). In J39X0NB31S/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
Generalizations H4MEP9DECC
| URI | m2://inv/H4MEP9DECC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing vector field#7GEW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Degree property H4MNEDQNCP
| URI | m2://inv/H4MNEDQNCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20368#Y0N6, Degree property (statement). In T8CDHW9MC1/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
Examples H4MQM6MCS2
| URI | m2://inv/H4MQM6MCS2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCK algebra#O1DZ, Examples (example)
History
- 2026-11-02: add by m2/dev
H4MS44GNS2 H4MS44GNS2
| URI | m2://inv/H4MS44GNS2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#A3AY (definition). In APD8GE0E4F/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Cauchy-conversion refinement H4N8BDXSSW
| URI | m2://inv/H4N8BDXSSW |
|---|---|
| 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#2QA5, Cauchy-conversion refinement (statement). In ZT1Q1XDQ1W/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
H4N9ZC7CJV H4N9ZC7CJV
| URI | m2://inv/H4N9ZC7CJV |
|---|---|
| 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 2111.01197#0KZ4 (statement). In Z36XFKVTS0/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.5
Examples H4NCDYA7JA
| URI | m2://inv/H4NCDYA7JA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Diophantine graph#6XW1, Examples (example)
History
- 2026-11-02: add by m2/dev
The method H4NHQKWC3G
| URI | m2://inv/H4NHQKWC3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisection method#8JRE, The method (definition)
History
- 2026-11-02: add by m2/dev
H4NPX89RM2 H4NPX89RM2
| URI | m2://inv/H4NPX89RM2 |
|---|---|
| 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.28020#LB3C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Emerson College H4NZV5BMSP
| URI | m2://inv/H4NZV5BMSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#G8PR, Emerson College (unknown)
History
- 2026-11-02: add by m2/dev
Pseudovariety H4P41S2KZQ
| URI | m2://inv/H4P41S2KZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variety (universal algebra)#YYTA, Pseudovariety (unknown)
History
- 2026-11-02: add by m2/dev
H4PBHPW3VN H4PBHPW3VN
| URI | m2://inv/H4PBHPW3VN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-10 (example). In Y91XFCEVHQ, example, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
H4PJS09Z6A H4PJS09Z6A
| URI | m2://inv/H4PJS09Z6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#GVFF (statement). In SN6F0MPPVF/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
H4PM1RS8KW H4PM1RS8KW
| URI | m2://inv/H4PM1RS8KW |
|---|---|
| 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.36113#YQEQ (statement). In FSGSVD0XYH/e1, lemma 23
History
- 2026-10-30: add by m2/v0.4.12
Flag algebra H4PN6AVXDK
| URI | m2://inv/H4PN6AVXDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag algebra, Flag algebra (definition). Also Wikidata Q111953946
History
- 2026-11-02: add by m2/dev
Mandelbulb H4PX7300Y1
| URI | m2://inv/H4PX7300Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JR25, Mandelbulb (definition)
History
- 2026-11-02: add by m2/dev
H4PYNJV1T4 H4PYNJV1T4
| URI | m2://inv/H4PYNJV1T4 |
|---|---|
| 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#XMIN (statement). In FANG3A8NZ9/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
H4QDS633A7 H4QDS633A7
| URI | m2://inv/H4QDS633A7 |
|---|---|
| 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#K7WB (statement). In 2PP4XRVS0J/e1, lemma 10.1
History
- 2026-10-27: add by m2/v0.4.2
H4QEA1VEPN H4QEA1VEPN
| URI | m2://inv/H4QEA1VEPN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#L6KY (example). In WXJ2V3HA2R/e1, example E.9
History
- 2026-10-27: add by m2/v0.3.5
H4QF0KRP7K H4QF0KRP7K
| URI | m2://inv/H4QF0KRP7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#HPU2 (statement). In BAEDMM7YM5/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
H4QJWQG64S H4QJWQG64S
| URI | m2://inv/H4QJWQG64S |
|---|---|
| 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.39782#RUQX (statement). In JF4188WVV0/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Denny Borsboom H4QPM5D3H6
| URI | m2://inv/H4QPM5D3H6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denny Borsboom, Denny Borsboom (topic). Also Wikidata Q43466848
History
- 2026-11-02: add by m2/dev
David Parks Fackler H4QW543CRX
| URI | m2://inv/H4QW543CRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HBAQ, David Parks Fackler (unknown)
History
- 2026-11-02: add by m2/dev
Validity of the law of excluded middle H4QWZ6YHJP
| URI | m2://inv/H4QWZ6YHJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer–Hilbert controversy#219K, Validity of the law of excluded middle (statement)
History
- 2026-11-02: add by m2/dev
Satake isomorphism H4R19QYPBN
| URI | m2://inv/H4R19QYPBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satake isomorphism, Satake isomorphism (definition). Also Wikidata Q7425868
History
- 2026-11-02: add by m2/dev
oersted H4RABE2YQ9
| URI | m2://inv/H4RABE2YQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844976, oersted (definition). Also ProofWiki Definition:Oersted
History
- 2026-10-26: add by m2/dev
Supermartingale backward Monge density H4RBM8YQGQ
| URI | m2://inv/H4RBM8YQGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#BEOV, Supermartingale backward Monge density (statement). In 9YAE8FNQST/e1, theorem 11.25
History
- 2026-10-30: add by m2/v0.4.12
A gap gives a polynomial factor H4RC2SMYXX
| URI | m2://inv/H4RC2SMYXX |
|---|---|
| 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.05652#W5RM, A gap gives a polynomial factor (statement). In 8BNPFYQDQX/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.10
Hasse–Minkowski theorem H4RGBNWTHQ
| URI | m2://inv/H4RGBNWTHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global field#EIN8, Hasse–Minkowski theorem (statement)
History
- 2026-11-02: add by m2/dev
H4RSB51CPS H4RSB51CPS
| URI | m2://inv/H4RSB51CPS |
|---|---|
| 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.14742#34LJ (statement). In GZYZ9FQHVC/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
H4RWTGZ72X H4RWTGZ72X
| URI | m2://inv/H4RWTGZ72X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/verification.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 87.3
History
- 2026-11-01: add by m2/v0.6.13
Mass point geometry H4RXGNRG68
| URI | m2://inv/H4RXGNRG68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass point geometry, Mass point geometry (definition). Also Wikidata Q6784077
History
- 2026-11-02: add by m2/dev
Co)unit-induced equivalences H4RZS0W299
| URI | m2://inv/H4RZS0W299 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-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.03865#TUMO, Co)unit-induced equivalences (statement). In G3D1YR20BJ/e1, proposition A.20
History
- 2026-10-29: add by m2/v0.4.12
Formulation H4S03MS2R6
| URI | m2://inv/H4S03MS2R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's inequality#SRXI, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Falsifiability H4S0RAXJSB
| URI | m2://inv/H4S0RAXJSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falsifiability, Falsifiability (definition). Also Wikidata Q220888
History
- 2026-11-02: add by m2/dev
Herman Müntz H4S2WC51XS
| URI | m2://inv/H4S2WC51XS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman Müntz, Herman Müntz (topic). Also Wikidata Q91662
History
- 2026-11-02: add by m2/dev
Polyhedral combinatorics H4S75Q4DCH
| URI | m2://inv/H4S75Q4DCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#E5RF, Polyhedral combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Example H4SPMNSV9J
| URI | m2://inv/H4SPMNSV9J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blocking (statistics)#G3LT, Example (example)
History
- 2026-11-02: add by m2/dev
argument H4SXNTRZP7
| URI | m2://inv/H4SXNTRZP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex plane#A81L, argument (definition)
History
- 2026-11-02: add by m2/dev
Pseudoelementary class H4SZ3Y8SJN
| URI | m2://inv/H4SZ3Y8SJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoelementary class, Pseudoelementary class (definition). Also Wikidata Q7254774
History
- 2026-11-02: add by m2/dev
H4T4333AYA H4T4333AYA
| URI | m2://inv/H4T4333AYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08753#IY7K (statement). In J9P361Z1CX/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
Definition H4T969TW2H
| URI | m2://inv/H4T969TW2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bimodule#A5OZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bedrosian's theorem H4TA9V6XPQ
| URI | m2://inv/H4TA9V6XPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert transform#OKFQ, Bedrosian's theorem (statement)
History
- 2026-11-02: add by m2/dev
dozen H4TBK8Y0TR
| URI | m2://inv/H4TBK8Y0TR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q605704, dozen (unknown). Also MathWorld Dozen
History
- 2026-10-26: add by m2/dev
H4TD1NNVV3 H4TD1NNVV3
| URI | m2://inv/H4TD1NNVV3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#LTIT (definition). In XJWQ6Y83F8/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
e is Transcendental H4TNCVCHYP
| URI | m2://inv/H4TNCVCHYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 67, e is Transcendental (statement)
History
- 2026-10-26: add by m2/dev
Leon Bagrit H4TNZKP59S
| URI | m2://inv/H4TNZKP59S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#GUTZ, Leon Bagrit (unknown)
History
- 2026-11-02: add by m2/dev
H4V0ZNY5N1 H4V0ZNY5N1
| URI | m2://inv/H4V0ZNY5N1 |
|---|---|
| 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.00364#KB0P (statement). In ANR3DHYQPQ/e1, theorem F
History
- 2026-10-30: add by m2/v0.4.12
Gauss–Lucas theorem H4V2QZKG3N
| URI | m2://inv/H4V2QZKG3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#4CLM, Gauss–Lucas theorem (statement)
History
- 2026-11-02: add by m2/dev
Constituent H4V73390RF
| URI | m2://inv/H4V73390RF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.19614#3T0M, Constituent (definition). In F5NDAFW801/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Amy Dahan H4VA8F77PQ
| URI | m2://inv/H4VA8F77PQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amy Dahan, Amy Dahan (topic). Also Wikidata Q15971863
History
- 2026-11-02: add by m2/dev
Examples H4VQXGT95R
| URI | m2://inv/H4VQXGT95R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum ad baculum#5C1B, Examples (example)
History
- 2026-11-02: add by m2/dev
Nd game H4VVXFP6BM
| URI | m2://inv/H4VVXFP6BM |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nd game, Nd game (conjecture). Also Wikidata Q28454540
History
- 2026-11-02: add by m2/dev
Multinomial distribution H4VY0WY86Q
| URI | m2://inv/H4VY0WY86Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#ARFG, Multinomial distribution (definition)
- wikipedia: Wikipedia List of statistics articles#OBID, Multinomial distribution (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#YY4S, Multinomial distribution (definition)
History
- 2026-11-02: add by m2/dev
H4W09Q6MEV H4W09Q6MEV
| URI | m2://inv/H4W09Q6MEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28141#M6ZG (statement)
History
- 2026-11-01: add by m2/v0.6.15
H4W60FQDVR H4W60FQDVR
| URI | m2://inv/H4W60FQDVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#8544 (statement). In W9A0Z2NBMA/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.12
H4W6GMNYZX H4W6GMNYZX
| URI | m2://inv/H4W6GMNYZX |
|---|---|
| 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.20028#20CE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Terminal hair H4WD55HMK6
| URI | m2://inv/H4WD55HMK6 |
|---|---|
| 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#3BKP, Terminal hair (unknown)
History
- 2026-11-02: add by m2/dev
Addition theorem H4WDRHJ3G8
| URI | m2://inv/H4WDRHJ3G8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q282331, Addition theorem (statement). Also Wikidata Q282331
- thousand_plus: thousand_plus Q282331, Addition theorem (statement). Also Wikidata Q282331, Wikipedia Addition theorem
- wikipedia: Wikipedia Addition theorem, Addition theorem (statement). Also Wikidata Q282331
History
- 2026-10-26: add by m2/dev
H4WJ7QFFGV H4WJ7QFFGV
| URI | m2://inv/H4WJ7QFFGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#PF2M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example H4WNVDWVJE
| URI | m2://inv/H4WNVDWVJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-implicit Euler method#38WJ, Example (example)
History
- 2026-11-02: add by m2/dev
H4WP5BAV22 H4WP5BAV22
| URI | m2://inv/H4WP5BAV22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#CYE7 (statement). In 74MMMHHPW5/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
Dominant breakpoint H4WPYAR1Q2
| URI | m2://inv/H4WPYAR1Q2 |
|---|---|
| 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.12271#OM5H, Dominant breakpoint (definition). In WGCET6KSQ7/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.6
Hochschild–Mostow group H4WVRZGZXT
| URI | m2://inv/H4WVRZGZXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hochschild–Mostow group, Hochschild–Mostow group (definition). Also Wikidata Q5875405
History
- 2026-11-02: add by m2/dev
H4X3TPN19J H4X3TPN19J
| URI | m2://inv/H4X3TPN19J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#TB9G (statement). In X47RYAZF8P/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2
Example H4XAWJGJZQ
| URI | m2://inv/H4XAWJGJZQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausius–Clapeyron relation#0P6E, Example (example)
History
- 2026-11-02: add by m2/dev
H4XPRSQ2HA H4XPRSQ2HA
| URI | m2://inv/H4XPRSQ2HA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#problem-1 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Betweenness centrality H4XRW8KDCS
| URI | m2://inv/H4XRW8KDCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#LXRU, Betweenness centrality (definition)
History
- 2026-11-02: add by m2/dev
Generalized Fitting subgroup H4Y0SMBZGZ
| URI | m2://inv/H4Y0SMBZGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting subgroup#KP5G, Generalized Fitting subgroup (unknown)
History
- 2026-11-02: add by m2/dev
H4YD8CY7WP H4YD8CY7WP
| URI | m2://inv/H4YD8CY7WP |
|---|---|
| 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.23810#V85D (statement)
History
- 2026-11-02: add by m2/v0.6.17
Connection constant H4YNZ5DXQX
| URI | m2://inv/H4YNZ5DXQX |
|---|---|
| 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.00396#GO1X, Connection constant (statement). In V13TE1RWT9/e1, theorem 10.13
History
- 2026-10-30: add by m2/v0.4.12
H4YQDX4C7C H4YQDX4C7C
| URI | m2://inv/H4YQDX4C7C |
|---|---|
| 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.08599#8TUX (statement). In DST9FWMHT6/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Theorem H4YTAN71SQ
| URI | m2://inv/H4YTAN71SQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective tensor product#VMDA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
0.999... H4Z4GV98NN
| URI | m2://inv/H4Z4GV98NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#AVRX, 0.999... (definition)
History
- 2026-11-02: add by m2/dev
H4Z6H28M51 H4Z6H28M51
| URI | m2://inv/H4Z6H28M51 |
|---|---|
| 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#1L6C (statement). In PZRSZ19KAH/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
H4Z7JXVG9R H4Z7JXVG9R
| URI | m2://inv/H4Z7JXVG9R |
|---|---|
| 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.12484#0JXL (statement). In GW23NX78SB/e1, lemma 2.30
History
- 2026-10-28: add by m2/v0.4.2
Decision rules H4Z9NT5AV1
| URI | m2://inv/H4Z9NT5AV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree#6QRI, Decision rules (unknown)
History
- 2026-11-02: add by m2/dev
H4ZP1JHZAT H4ZP1JHZAT
| URI | m2://inv/H4ZP1JHZAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21703#94LG (statement)
History
- 2026-11-02: add by m2/v0.6.18
H4ZVRVW4Q7 H4ZVRVW4Q7
| URI | m2://inv/H4ZVRVW4Q7 |
|---|---|
| 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.10221#UJ2L (statement). In 9Z5M655EPV/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10