Inventory rows X9
The cards of the rows of the inventory whose ids start with X9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Two-dimensional flow X90563553K
| URI | m2://inv/X90563553K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional flow, Two-dimensional flow (definition). Also Wikidata Q23304018
History
- 2026-11-02: add by m2/dev
Francis H. Clarke X90E0B3DYK
| URI | m2://inv/X90E0B3DYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BLYS, Francis H. Clarke (topic)
History
- 2026-11-02: add by m2/dev
X90MC9SVW0 X90MC9SVW0
| URI | m2://inv/X90MC9SVW0 |
|---|---|
| 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.10365#HNW4 (statement). In PRVQPSBVHK/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Formulas X90P80098X
| URI | m2://inv/X90P80098X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capsule (geometry)#8K6Z, Formulas (statement)
History
- 2026-11-02: add by m2/dev
X90RYH886J X90RYH886J
| URI | m2://inv/X90RYH886J |
|---|---|
| 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 2412.14956#SID0 (statement). In T8BQ6HHZYT/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Sandra Arlinghaus X90TCAJT2X
| URI | m2://inv/X90TCAJT2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z471, Sandra Arlinghaus (unknown)
History
- 2026-11-02: add by m2/dev
X911853EQ1 X911853EQ1
| URI | m2://inv/X911853EQ1 |
|---|---|
| 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.20588#3J7G (definition)
History
- 2026-11-02: add by m2/v0.6.18
X91A8E3DD5 X91A8E3DD5
| URI | m2://inv/X91A8E3DD5 |
|---|---|
| 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 2412.14956#GKGK (definition). In T8BQ6HHZYT/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Other conjectures X91CPKRHZD
| URI | m2://inv/X91CPKRHZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg class#ZSI9, Other conjectures (statement)
History
- 2026-11-02: add by m2/dev
Crime statistics X91GSC92NC
| URI | m2://inv/X91GSC92NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D7SN, Crime statistics (definition)
History
- 2026-11-02: add by m2/dev
Natural logarithm X91KC53MTV
| URI | m2://inv/X91KC53MTV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#GBTG, Natural logarithm (object)
History
- 2026-11-02: add by m2/dev
absolute difference X91NQ82DMM
| URI | m2://inv/X91NQ82DMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Usual metric on the real line 0KXJTZSW9B |
Mentions
- wikidata: Wikidata Q1773230, absolute difference (unknown). Also MathWorld AbsoluteDifference
- wikipedia: Wikipedia Absolute difference, Absolute difference (definition). Also Wikidata Q1773230
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Iossif Dorfman X91P2QG6AE
| URI | m2://inv/X91P2QG6AE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#VZNP, Iossif Dorfman (unknown)
History
- 2026-11-02: add by m2/dev
X91V4QNC09 X91V4QNC09
| URI | m2://inv/X91V4QNC09 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Leo Breiman X91W4YRW51
| URI | m2://inv/X91W4YRW51 |
|---|---|
| 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#8ASN, Leo Breiman (topic)
History
- 2026-11-02: add by m2/dev
X91Z0ZAPWS X91Z0ZAPWS
| URI | m2://inv/X91Z0ZAPWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14080#BU5P (statement). In 1DRD5FAJ4C/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
X92BVESS8C X92BVESS8C
| URI | m2://inv/X92BVESS8C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#OOQH (definition)
History
- 2026-11-01: add by m2/v0.6.15
X92H9Q1CSX X92H9Q1CSX
| URI | m2://inv/X92H9Q1CSX |
|---|---|
| Kind | definition |
| 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#GMYV (definition). In 7V3HG30ZGW/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.4.0
Mori domain X92K3SSVJK
| URI | m2://inv/X92K3SSVJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mori domain, Mori domain (definition). Also Wikidata Q6912121
History
- 2026-11-02: add by m2/dev
X92KNRTY47 X92KNRTY47
| URI | m2://inv/X92KNRTY47 |
|---|---|
| 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.01354#4CQV (statement). In BWD76W20W8/e1, corollary D
History
- 2026-10-29: add by m2/v0.4.12
Besse Day X92RB4R3R1
| URI | m2://inv/X92RB4R3R1 |
|---|---|
| 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#86QH, Besse Day (unknown)
History
- 2026-11-02: add by m2/dev
\textbf,Theorem 3.9 X92V8EMWV3
| URI | m2://inv/X92V8EMWV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#TH97, \textbf,Theorem 3.9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thomas Ranken Lyle Medal X936XDH5KS
| URI | m2://inv/X936XDH5KS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Ranken Lyle Medal, Thomas Ranken Lyle Medal (definition). Also Wikidata Q7793410
History
- 2026-11-02: add by m2/dev
X93BAA175T X93BAA175T
| URI | m2://inv/X93BAA175T |
|---|---|
| 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 1003.1817#QL2O (statement). In VCPT7BK80E/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
X93DWN7QKF X93DWN7QKF
| URI | m2://inv/X93DWN7QKF |
|---|---|
| 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.30363#D8J3 (statement). In QHBBP180QJ/e1, proposition 16
History
- 2026-10-31: add by m2/v0.5.6
X93GJT4CTY X93GJT4CTY
| URI | m2://inv/X93GJT4CTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.06081#PDZ0 (statement). In 7Z3KQRFEVG/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.10
Takens' theorem X93M433RZT
| URI | m2://inv/X93M433RZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#VEM7, Takens' theorem (statement)
History
- 2026-11-02: add by m2/dev
\myindex{Leibniz integral rule} X93RQK3M10
| URI | m2://inv/X93RQK3M10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#thm-1, \myindex{Leibniz integral rule} (statement). In E59CDZA4DP, thm, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
X93WDMXV94 X93WDMXV94
| URI | m2://inv/X93WDMXV94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28503#XQ8W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Judith D. Singer X94CEVXWGS
| URI | m2://inv/X94CEVXWGS |
|---|---|
| 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#W0PI, Judith D. Singer (unknown)
History
- 2026-11-02: add by m2/dev
Example X94DZ237QA
| URI | m2://inv/X94DZ237QA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto-shredding#PNPZ, Example (example)
History
- 2026-11-02: add by m2/dev
Zimmermann's Law X94GPJFEFV
| URI | m2://inv/X94GPJFEFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phil Zimmermann#7R1T, Zimmermann's Law (statement)
History
- 2026-11-02: add by m2/dev
Charles F. Dunkl X94H4DVCYE
| URI | m2://inv/X94H4DVCYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles F. Dunkl, Charles F. Dunkl (topic). Also Wikidata Q5077515
History
- 2026-11-02: add by m2/dev
X94H7QBNVW X94H7QBNVW
| URI | m2://inv/X94H7QBNVW |
|---|---|
| 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.32439#AY2C (statement). In GD8D1YH7K4/e1, theorem 2.5
History
- 2026-10-31: add by m2/v0.5.6
X94N9QVF80 X94N9QVF80
| URI | m2://inv/X94N9QVF80 |
|---|---|
| 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.05146#BF3J (statement). In 63MJS935N4/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Nadezhda Mandelstam X94PG2FK0A
| URI | m2://inv/X94PG2FK0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#1UCW, Nadezhda Mandelstam (unknown)
History
- 2026-11-02: add by m2/dev
455 (number) X953M1724D
| URI | m2://inv/X953M1724D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#6GGX, 455 (number) (unknown)
History
- 2026-11-02: add by m2/dev
The boundary case $\kappa=1$ X953QD4SAY
| URI | m2://inv/X953QD4SAY |
|---|---|
| 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.04944#PPO1, The boundary case $\kappa=1$ (statement). In BHSY6QQCVK/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
X9572KAS4Z X9572KAS4Z
| URI | m2://inv/X9572KAS4Z |
|---|---|
| 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.24041#416W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hasse principle X95WSWW1ST
| URI | m2://inv/X95WSWW1ST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#K6EK, Hasse principle (statement)
- wikipedia: Wikipedia List of number theory topics#CSLS, Hasse principle (statement)
History
- 2026-11-02: add by m2/dev
Small cuts of a prism X95X6T46G0
| URI | m2://inv/X95X6T46G0 |
|---|---|
| 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.12014#WOP2, Small cuts of a prism (statement). In DR7BK4CQ0V/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.3
Qutrit X95Y0Q7DBC
| URI | m2://inv/X95Y0Q7DBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#ZT0O, Qutrit (unknown)
History
- 2026-11-02: add by m2/dev
Vladimír Palko X95ZENZJ9Z
| URI | m2://inv/X95ZENZJ9Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimír Palko, Vladimír Palko (topic). Also Wikidata Q3090985
History
- 2026-11-02: add by m2/dev
X967J8PHRD X967J8PHRD
| URI | m2://inv/X967J8PHRD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-38 (exercise). In E9HS8K3A52, exercise, section 8.5.3
History
- 2026-11-01: add by m2/v0.6.13
Maurizio Cornalba X969AE6G6X
| URI | m2://inv/X969AE6G6X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KFXY, Maurizio Cornalba (topic)
History
- 2026-11-02: add by m2/dev
Rufus Bowen X96BHA3ZS0
| URI | m2://inv/X96BHA3ZS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rufus Bowen, Rufus Bowen (topic). Also Wikidata Q2174764
History
- 2026-11-02: add by m2/dev
Every contact is marginal X96CBV68GY
| URI | m2://inv/X96CBV68GY |
|---|---|
| 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#0AN0, Every contact is marginal (statement). In NKXTXH59P1/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
First touching point X96D5BTQAE
| URI | m2://inv/X96D5BTQAE |
|---|---|
| Kind | definition |
| 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.21732#389V, First touching point (definition). In 6DJDRXDQNB/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.2
X96MHH7HZA X96MHH7HZA
| URI | m2://inv/X96MHH7HZA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#N5DX (example). In KH1H3TSWPS/e1, example 4.10
History
- 2026-10-27: add by m2/v0.3.6
X96TACMJS8 X96TACMJS8
| URI | m2://inv/X96TACMJS8 |
|---|---|
| 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.33231#KCDV (statement). In WPDRT63QNW/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Atomic oracle disagreement without crossing X96XA6B5HV
| URI | m2://inv/X96XA6B5HV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33472#6Q57, Atomic oracle disagreement without crossing (example). In WBQQBZ4FCJ/e1, example 7.1
History
- 2026-10-30: add by m2/v0.4.12
First pruning step X971VR6GF4
| URI | m2://inv/X971VR6GF4 |
|---|---|
| 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 1806.05002#8OIG, First pruning step (statement). In JBAQ7DTW7B/e1, lemma D.6
History
- 2026-10-27: add by m2/v0.3.5
X977KQZ3Z8 X977KQZ3Z8
| URI | m2://inv/X977KQZ3Z8 |
|---|---|
| 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.10902#E4N5 (statement). In 96T1K6C3NZ/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.3
Judea Pearl X97AZ3JF1C
| URI | m2://inv/X97AZ3JF1C |
|---|---|
| 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#B7NH, Judea Pearl (unknown)
History
- 2026-11-02: add by m2/dev
Dispatch-node graph X97GNVJSPD
| URI | m2://inv/X97GNVJSPD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39269#JQSP, Dispatch-node graph (definition). In HS4X20TX33/e1, definition 0.5
History
- 2026-10-30: add by m2/v0.4.12
Line integral X97SGWZ0NE
| URI | m2://inv/X97SGWZ0NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#13JF, Line integral (definition)
- wikipedia: Wikipedia List of complex analysis topics#DAIK, Line integral (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#D956, Line integral (definition)
History
- 2026-11-02: add by m2/dev
The structure theorem for simple separable nuclear $C^*$-algebras X97SXYJN10
| URI | m2://inv/X97SXYJN10 |
|---|---|
| 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.09390#JTRD, The structure theorem for simple separable nuclear $C^*$-algebras (statement). In 7SSKW778T8/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
polyhedral group X97V8DJ4EH
| URI | m2://inv/X97V8DJ4EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7226495, polyhedral group (unknown). Also MathWorld PolyhedralGroup
- wikipedia: Wikipedia Polyhedral group, Polyhedral group (definition). Also Wikidata Q7226495
History
- 2026-10-26: add by m2/dev
X980AD2C2Q X980AD2C2Q
| URI | m2://inv/X980AD2C2Q |
|---|---|
| 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.35186#WFJ1 (statement). In VFNPANY3HD/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Properties X9829F0EZW
| URI | m2://inv/X9829F0EZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markushevich basis#P5OZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples X98ATR8GZP
| URI | m2://inv/X98ATR8GZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification of discontinuities#6QYF, Examples (example)
History
- 2026-11-02: add by m2/dev
George Volkoff X98RCZ1J9Q
| URI | m2://inv/X98RCZ1J9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#R1VC, George Volkoff (unknown)
History
- 2026-11-02: add by m2/dev
perigee X98RDW07R6
| URI | m2://inv/X98RDW07R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1349468, perigee (definition). Also ProofWiki Definition:Perigee
History
- 2026-10-26: add by m2/dev
Nonlinear components and constant lines X98TRCF8VR
| URI | m2://inv/X98TRCF8VR |
|---|---|
| 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.33327#5JZ3, Nonlinear components and constant lines (statement). In A5R31P82BK/e1, lemma 8.5
History
- 2026-10-30: add by m2/v0.4.12
X98W3JFR3W X98W3JFR3W
| URI | m2://inv/X98W3JFR3W |
|---|---|
| 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 2102.12931#G9HQ (statement). In PQHTR84RAJ/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
Properties X990X8R1Q6
| URI | m2://inv/X990X8R1Q6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger space#V3ZL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bobkov X99438D20W
| URI | m2://inv/X99438D20W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#DQIA, Bobkov (statement). In 54NQGN1BWM/e1, theorem 10.1
History
- 2026-10-30: add by m2/v0.4.12
X997Q90H0T X997Q90H0T
| URI | m2://inv/X997Q90H0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30165#1Z2X (statement)
History
- 2026-11-01: add by m2/v0.6.15
X998G2076C X998G2076C
| URI | m2://inv/X998G2076C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#AJIS (definition). In 4SZNPS3Z00/e1, definition J.1
History
- 2026-10-27: add by m2/v0.3.6
X9998J2E37 X9998J2E37
| URI | m2://inv/X9998J2E37 |
|---|---|
| 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 2505.04063#W3F1 (statement). In TFH7T63DX9/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
X99HHC07X8 X99HHC07X8
| URI | m2://inv/X99HHC07X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#753G (statement)
History
- 2026-11-01: add by m2/v0.6.15
solid-state physics X99W4D32XP
| URI | m2://inv/X99W4D32XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q715396, solid-state physics (definition). Also ProofWiki Definition:Solid-State_Physics
History
- 2026-10-26: add by m2/dev
orthogonal polynomials X99Z6CWRSF
| URI | m2://inv/X99Z6CWRSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Orthogonal polynomials 8TXASARQN1 |
Mentions
- wikidata: Wikidata Q619458, orthogonal polynomials (unknown). Also MathWorld OrthogonalPolynomials
- wikipedia: Wikipedia Orthogonal polynomials, Orthogonal polynomials (definition). Also Wikidata Q619458
History
- 2026-10-26: add by m2/dev
Properties X9A7VMZQD6
| URI | m2://inv/X9A7VMZQD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary perfect number#RTTK, Properties (statement)
History
- 2026-11-02: add by m2/dev
X9A8GS7KMW X9A8GS7KMW
| URI | m2://inv/X9A8GS7KMW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-46 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Formal definitions X9AEH466BB
| URI | m2://inv/X9AEH466BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Club set#9JEG, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Example X9AFEF2QHG
| URI | m2://inv/X9AFEF2QHG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyr canonical form#ZPHZ, Example (example)
History
- 2026-11-02: add by m2/dev
Edinburgh Mathematical Society X9AME782NM
| URI | m2://inv/X9AME782NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#4LGO, Edinburgh Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Large scattering limit, $\fk{a}\to +\infty$ X9ARGGR55Z
| URI | m2://inv/X9ARGGR55Z |
|---|---|
| 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.10840#CZ0K, Large scattering limit, $\fk{a}\to +\infty$ (statement). In P0HKF5DY7M/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
Linearity of differentiation X9ATXA8SAC
| URI | m2://inv/X9ATXA8SAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearity of differentiation, Linearity of differentiation (definition). Also Wikidata Q4895685
History
- 2026-11-02: add by m2/dev
X9B3XW89JE X9B3XW89JE
| URI | m2://inv/X9B3XW89JE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15643#0VIC (statement). In 7QFBJCRPW1/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
X9B9H6CJ18 X9B9H6CJ18
| URI | m2://inv/X9B9H6CJ18 |
|---|---|
| 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 2605.14425#IZLQ (statement). In 33KV0D25HW/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
X9BBB3DWVN X9BBB3DWVN
| URI | m2://inv/X9BBB3DWVN |
|---|---|
| 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.31858#HXHX (statement). In QV16PHDXKJ/e1, proposition 4.7
History
- 2026-10-31: add by m2/v0.5.6
Palash Kumar X9BBBESKP4
| URI | m2://inv/X9BBBESKP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palash Kumar, Palash Kumar (topic). Also Wikidata Q7126752
History
- 2026-11-02: add by m2/dev
The DKW inequality X9BCJMDNZK
| URI | m2://inv/X9BCJMDNZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dvoretzky–Kiefer–Wolfowitz inequality#Z1GN, The DKW inequality (statement)
History
- 2026-11-02: add by m2/dev
Unit-weighted regression X9BF5301ED
| URI | m2://inv/X9BF5301ED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit-weighted regression, Unit-weighted regression (definition). Also Wikidata Q7887071
History
- 2026-11-02: add by m2/dev
X9BK7THR2C X9BK7THR2C
| URI | m2://inv/X9BK7THR2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#GXGK (statement). In BDN507RN7J/e1, proposition 3.4.1
History
- 2026-10-30: add by m2/v0.4.12
X9BNF1VR2Z X9BNF1VR2Z
| URI | m2://inv/X9BNF1VR2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#6P61 (statement)
History
- 2026-11-01: add by m2/v0.6.15
X9BYTQGN9M X9BYTQGN9M
| URI | m2://inv/X9BYTQGN9M |
|---|---|
| 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.36909#QKHG (statement). In S5SKFZB5WH/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Notation X9CJ4MYTAB
| URI | m2://inv/X9CJ4MYTAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally integrable function#220D, Notation (definition)
History
- 2026-11-02: add by m2/dev
Big Four, West Virginia X9CJ6NMEA6
| URI | m2://inv/X9CJ6NMEA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9AX5, Big Four, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
X9CM5A68CG X9CM5A68CG
| URI | m2://inv/X9CM5A68CG |
|---|---|
| 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 2507.05417#ZU0L (statement). In RGHZ863Q26/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
X9CXQD1CV6 X9CXQD1CV6
| URI | m2://inv/X9CXQD1CV6 |
|---|---|
| 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.25291#QRKC (statement)
History
- 2026-11-01: add by m2/v0.6.15
X9CXVPYJ35 X9CXVPYJ35
| URI | m2://inv/X9CXVPYJ35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#I7V1 (statement). In 751KSRS7WT/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Eshelby's inclusion X9D3R1EBDC
| URI | m2://inv/X9D3R1EBDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eshelby's inclusion, Eshelby's inclusion (definition). Also Wikidata Q17010929
History
- 2026-11-02: add by m2/dev
Definition X9DA3BWSFQ
| URI | m2://inv/X9DA3BWSFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reproducing kernel Hilbert space#KZFD, Definition (definition)
History
- 2026-11-02: add by m2/dev
X9DJ5QVF41 X9DJ5QVF41
| URI | m2://inv/X9DJ5QVF41 |
|---|---|
| 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.21963#RPCO (statement). In HR9R8RPKN8/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
X9DJDGN669 X9DJDGN669
| URI | m2://inv/X9DJDGN669 |
|---|---|
| Kind | example |
| 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.21675#5V3R (example). In TB1294GY5X/e1, example C.3
History
- 2026-10-27: add by m2/v0.4.2
X9DRQF60D6 X9DRQF60D6
| URI | m2://inv/X9DRQF60D6 |
|---|---|
| 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.26386#1DB6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantification bias X9DYGE5JR8
| URI | m2://inv/X9DYGE5JR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#CGBN, Quantification bias (unknown)
History
- 2026-11-02: add by m2/dev
induction, strong X9E89GTR09
| URI | m2://inv/X9E89GTR09 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5.4/induction-strong, induction, strong (concept). In Y91XFCEVHQ, index, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
Weak Hausdorff space X9E8CR852F
| URI | m2://inv/X9E8CR852F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak Hausdorff space, Weak Hausdorff space (definition). Also Wikidata Q7977932
History
- 2026-11-02: add by m2/dev
optimality conditions X9ED67G40V
| URI | m2://inv/X9ED67G40V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#LGCH, optimality conditions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tag theory of names X9EM0PE08A
| URI | m2://inv/X9EM0PE08A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Barcan Marcus#F8EJ, Tag theory of names (unknown)
History
- 2026-11-02: add by m2/dev
Lucien Le Cam X9ESAZNYPY
| URI | m2://inv/X9ESAZNYPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#DJY9, Lucien Le Cam (topic)
History
- 2026-11-02: add by m2/dev
X9F0QTDQWB X9F0QTDQWB
| URI | m2://inv/X9F0QTDQWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#1UL9 (statement). In GJKRVZ5YN5/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Tally marks X9FJ2BYFDQ
| URI | m2://inv/X9FJ2BYFDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#QGPP, Tally marks (definition)
History
- 2026-11-02: add by m2/dev
X9FMMRFCGY X9FMMRFCGY
| URI | m2://inv/X9FMMRFCGY |
|---|---|
| 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.21322#DLDJ (statement). In CNDA8DBEGD/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.4.2
X9FNWBQQV8 X9FNWBQQV8
| URI | m2://inv/X9FNWBQQV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#5GIO (statement). In DPT4P2BTEW/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Generalizations X9FWR967VY
| URI | m2://inv/X9FWR967VY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor function#3IW4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Isogeny-based cryptography X9FXC6F2SG
| URI | m2://inv/X9FXC6F2SG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-quantum cryptography#JONK, Isogeny-based cryptography (unknown)
History
- 2026-11-02: add by m2/dev
The Man Who Loved Only Numbers X9FYQRZBSW
| URI | m2://inv/X9FYQRZBSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3819967, The Man Who Loved Only Numbers (unknown). Also ProofWiki Book:Paul_Hoffman/The_Man_Who_Loved_Only_Numbers
- wikipedia: Wikipedia The Man Who Loved Only Numbers, The Man Who Loved Only Numbers (definition). Also Wikidata Q3819967
History
- 2026-10-26: add by m2/dev
X9FZ8RQM84 X9FZ8RQM84
| URI | m2://inv/X9FZ8RQM84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#X87H (statement). In G3E1P350Z6/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
Flatterland X9G5QGZJRN
| URI | m2://inv/X9G5QGZJRN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1427397, Flatterland (unknown). Also ProofWiki Book:Ian_Stewart/Flatterland
History
- 2026-10-26: add by m2/dev
Infinite-dimensional vector function X9GADPSE4R
| URI | m2://inv/X9GADPSE4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional vector function, Infinite-dimensional vector function (definition). Also Wikidata Q6029720
History
- 2026-11-02: add by m2/dev
X9GAPBDZY3 X9GAPBDZY3
| URI | m2://inv/X9GAPBDZY3 |
|---|---|
| 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.35180#KW3M (statement). In ZA34B1CR9M/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Complementary slackness X9GJQZAHYS
| URI | m2://inv/X9GJQZAHYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming#2BNJ, Complementary slackness (unknown)
History
- 2026-11-02: add by m2/dev
Vector area X9GZEZHQ5X
| URI | m2://inv/X9GZEZHQ5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector area, Vector area (definition). Also Wikidata Q2615625
History
- 2026-11-02: add by m2/dev
X9H7JJRW46 X9H7JJRW46
| URI | m2://inv/X9H7JJRW46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#9D9U (statement). In M8F4PDHH3S/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.3.5
X9HBKGRFR6 X9HBKGRFR6
| URI | m2://inv/X9HBKGRFR6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#example-1 (example). In P1C114YBXG, example, section G
History
- 2026-11-01: add by m2/v0.6.13
1895 Mexican census X9HE95T94E
| URI | m2://inv/X9HE95T94E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1895 Mexican census, 1895 Mexican census (definition). Also Wikidata Q17001016
History
- 2026-11-02: add by m2/dev
mathematical logic X9HFVJYX23
| URI | m2://inv/X9HFVJYX23 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1166618, mathematical logic (topic). Also ProofWiki Definition:Mathematical_Logic
- wikipedia: Wikipedia Mathematical logic, Mathematical logic (topic). Also Wikidata Q1166618
History
- 2026-10-26: add by m2/dev
Superstable X9HJ3SGRGE
| URI | m2://inv/X9HJ3SGRGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#DGY8, Superstable (definition)
History
- 2026-11-02: add by m2/dev
category, slice X9HRPTHJ8N
| URI | m2://inv/X9HRPTHJ8N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/category-slice, category, slice (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Statement of Birch's theorem X9HTVF1Y7B
| URI | m2://inv/X9HTVF1Y7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birch's theorem#LH5D, Statement of Birch's theorem (statement)
History
- 2026-11-02: add by m2/dev
De quinque corporibus regularibus X9J0WHADH9
| URI | m2://inv/X9J0WHADH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De quinque corporibus regularibus, De quinque corporibus regularibus (definition). Also Wikidata Q3704155
History
- 2026-11-02: add by m2/dev
Borel–Cantelli lemmas X9JGH9B2G2
| URI | m2://inv/X9JGH9B2G2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic limit#MA23, Borel–Cantelli lemmas (statement)
History
- 2026-11-02: add by m2/dev
cobordism hypothesis X9JS8VJ9G4
| URI | m2://inv/X9JS8VJ9G4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cobordism hypothesis M1WQTWFNNQ |
Mentions
- wikidata: Wikidata Q16910990, cobordism hypothesis (unknown). Also nLab cobordism hypothesis
- wikipedia: Wikipedia Cobordism hypothesis, Cobordism hypothesis (statement). Also Wikidata Q16910990
History
- 2026-10-26: add by m2/dev
octahedral number X9K577SCNH
| URI | m2://inv/X9K577SCNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2627321, octahedral number (unknown). Also MathWorld OctahedralNumber, OEIS A005900
- wikipedia: Wikipedia Octahedral number, Octahedral number (definition). Also Wikidata Q2627321
History
- 2026-10-26: add by m2/dev
X9K7WYC1GX X9K7WYC1GX
| URI | m2://inv/X9K7WYC1GX |
|---|---|
| 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.31615#K19O (statement). In TNV6XTEWEG/e1, fact 8.1
History
- 2026-10-31: add by m2/v0.5.6
X9KCT0W5HK X9KCT0W5HK
| URI | m2://inv/X9KCT0W5HK |
|---|---|
| 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 2609.36884#GISU (definition). In Z7E16PFFCP/e1, definition 3.22
History
- 2026-10-30: add by m2/v0.4.12
Václav Chvátal X9KED1RPPR
| URI | m2://inv/X9KED1RPPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VQ20, Václav Chvátal (unknown)
History
- 2026-11-02: add by m2/dev
Rio Rico Northeast X9KF0P32DE
| URI | m2://inv/X9KF0P32DE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#R5JO, Rio Rico Northeast (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet algebra X9KHZMRK7Z
| URI | m2://inv/X9KHZMRK7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet algebra, Dirichlet algebra (definition). Also Wikidata Q5280761
History
- 2026-11-02: add by m2/dev
X9KKH17N6F X9KKH17N6F
| URI | m2://inv/X9KKH17N6F |
|---|---|
| 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.27414#2RVM (statement)
History
- 2026-11-01: add by m2/v0.6.15
X9KXN7FDKM X9KXN7FDKM
| URI | m2://inv/X9KXN7FDKM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-1 (example). In PKGMM3P5QY, ex, section 15.7
History
- 2026-11-01: add by m2/v0.6.13
Schur's lemma X9M5S3EQ3Z
| URI | m2://inv/X9M5S3EQ3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BXRE, Schur's lemma (statement)
- wikipedia: Wikipedia List of lemmas#IHL3, Schur's lemma (statement)
History
- 2026-11-02: add by m2/dev
Chernoff Bound X9MGZNG5AN
| URI | m2://inv/X9MGZNG5AN |
|---|---|
| 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.33018#TIJZ, Chernoff Bound (statement). In 8XVS0QJ2AH/e1, lemma 41
History
- 2026-10-31: add by m2/v0.5.6
X9MMK35Y1B X9MMK35Y1B
| URI | m2://inv/X9MMK35Y1B |
|---|---|
| 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.02199#Y1NZ (statement). In A8Q52DFW6S/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Concurrent validity X9MN2SV521
| URI | m2://inv/X9MN2SV521 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CRH2, Concurrent validity (definition)
History
- 2026-11-02: add by m2/dev
Examples X9MNE6MQMK
| URI | m2://inv/X9MNE6MQMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angles between flats#W2TN, Examples (example)
History
- 2026-11-02: add by m2/dev
G\"{u}ne\c{s} Akta\c{s}, 2017 X9MRJTJWT6
| URI | m2://inv/X9MRJTJWT6 |
|---|---|
| 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.16408#HD7H, G\"{u}ne\c{s} Akta\c{s}, 2017 (statement). In VGQ2QT73ZF/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
X9N3M5R6FB X9N3M5R6FB
| URI | m2://inv/X9N3M5R6FB |
|---|---|
| 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.27181#YWS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
X9N53XA3FM X9N53XA3FM
| URI | m2://inv/X9N53XA3FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33283#DTLE (statement). In CXPFSDMEPB/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
X9N7DMP7XD X9N7DMP7XD
| URI | m2://inv/X9N7DMP7XD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#LQRV (definition). In 338GKREFVP/e1, definition 13
History
- 2026-10-27: add by m2/v0.4.0
San Diego Math Circle X9N860JPD8
| URI | m2://inv/X9N860JPD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#WCLI, San Diego Math Circle (unknown)
History
- 2026-11-02: add by m2/dev
Influence of nonstandard analysis X9N9NGMXTJ
| URI | m2://inv/X9N9NGMXTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Influence of nonstandard analysis, Influence of nonstandard analysis (definition). Also Wikidata Q6030241
History
- 2026-11-02: add by m2/dev
Examples X9NAZY3KEN
| URI | m2://inv/X9NAZY3KEN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactly generated space#1LD4, Examples (example)
History
- 2026-11-02: add by m2/dev
metric space X9NDKZ1MNX
| URI | m2://inv/X9NDKZ1MNX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Metric space 063W5JMY85 |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > metric space, metric space (unknown). Also Mathlib MetricSpace
- wikidata: Wikidata Q180953, metric space (concept). Also EoM Metric_space, Mathlib MetricSpace, MathWorld MetricSpace, nLab metric space, ProofWiki Definition:Metric_Space
- wikipedia: Wikipedia Metric space, Metric space (definition). Also Wikidata Q180953
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
X9NH1QZJJH X9NH1QZJJH
| URI | m2://inv/X9NH1QZJJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#9YXF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lexell's locus X9P7W6EN88
| URI | m2://inv/X9P7W6EN88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#F93J, Lexell's locus (definition)
- wikipedia: Wikipedia Lexell's theorem#ZEHU, Lexell's circle (definition)
History
- 2026-11-02: add by m2/dev
Compressibility factor X9PDS4MB0Q
| URI | m2://inv/X9PDS4MB0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compressibility factor, Compressibility factor (definition). Also Wikidata Q736895
History
- 2026-11-02: add by m2/dev
Tom M. Apostol X9PJRW2WWQ
| URI | m2://inv/X9PJRW2WWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom M. Apostol, Tom M. Apostol (topic). Also Wikidata Q428143
History
- 2026-11-02: add by m2/dev
Sparse approximations of barycentric hulls X9PWXKM4B2
| URI | m2://inv/X9PWXKM4B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#RCCT, Sparse approximations of barycentric hulls (statement). In YXZX6Z8S6A/e1, theorem 5.26
History
- 2026-10-28: add by m2/v0.4.2
Algorithm X9PXTRABNV
| URI | m2://inv/X9PXTRABNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explore-then-commit algorithm#QWSN, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Anytime population safety and oracle performance X9PYQNK7C7
| URI | m2://inv/X9PYQNK7C7 |
|---|---|
| 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.10393#18MT, Anytime population safety and oracle performance (statement). In ZGS97E3PB7/e1, theorem B.1
History
- 2026-10-29: add by m2/v0.4.10
X9Q36RH3MQ X9Q36RH3MQ
| URI | m2://inv/X9Q36RH3MQ |
|---|---|
| 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 2211.04758#XIY9 (statement). In DRWDJG2G3S/e1, corollary 1.18
History
- 2026-10-27: add by m2/v0.3.5
X9Q9JHV54A X9Q9JHV54A
| URI | m2://inv/X9Q9JHV54A |
|---|---|
| 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.23694#QHSJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fundamental --- \textsc{N-Wf X9Q9T46SY9
| URI | m2://inv/X9Q9T46SY9 |
|---|---|
| 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#04JB, Fundamental --- \textsc{N-Wf (statement). In CPYWHRTPKC/e1, lemma 6.53
History
- 2026-10-27: add by m2/v0.4.2
X9QAREYTVP X9QAREYTVP
| URI | m2://inv/X9QAREYTVP |
|---|---|
| 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 2207.12181#2MLO (statement). In FSD8NE3XSR/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.4.0
Krzysztof Kurdyka X9QBYKA4W1
| URI | m2://inv/X9QBYKA4W1 |
|---|---|
| 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#8811, Krzysztof Kurdyka (unknown)
History
- 2026-11-02: add by m2/dev
wave vector X9QNZKKWX8
| URI | m2://inv/X9QNZKKWX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q657009, wave vector (unknown). Also nLab wave vector
History
- 2026-10-26: add by m2/dev
lunar cycle X9QRKZH9BD
| URI | m2://inv/X9QRKZH9BD |
|---|---|
| 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#3BWR, lunar cycle (unknown)
History
- 2026-11-02: add by m2/dev
X9R27S6JRK X9R27S6JRK
| URI | m2://inv/X9R27S6JRK |
|---|---|
| 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 1601.02354#KBTC (statement). In 3YSZKHNCRA/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Centered trochoid X9R2JKC06D
| URI | m2://inv/X9R2JKC06D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered trochoid, Centered trochoid (definition). Also Wikidata Q5060035
History
- 2026-11-02: add by m2/dev
X9R9VFFTZ5 X9R9VFFTZ5
| URI | m2://inv/X9R9VFFTZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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.34946#G3LU (definition). In Y27BAB2BB4/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
X9RAG1897R X9RAG1897R
| URI | m2://inv/X9RAG1897R |
|---|---|
| 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.29723#R5JQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
X9RGTTP09D X9RGTTP09D
| URI | m2://inv/X9RGTTP09D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2609.30033#FVIR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tweedie convergence theorem X9RHVS7HAQ
| URI | m2://inv/X9RHVS7HAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tweedie distribution#5Y3I, Tweedie convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Austin, Oscar Phelps X9RJYCMDYX
| URI | m2://inv/X9RJYCMDYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TQBN, Austin, Oscar Phelps (unknown)
History
- 2026-11-02: add by m2/dev
X9RKBRS1DW X9RKBRS1DW
| URI | m2://inv/X9RKBRS1DW |
|---|---|
| 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.17602#ILSI (statement). In BH62508WHJ/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Canonical correlation X9RQZK7HZ4
| URI | m2://inv/X9RQZK7HZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical correlation, Canonical correlation (definition). Also Wikidata Q115542
History
- 2026-11-02: add by m2/dev
X9RWBSPJ2X X9RWBSPJ2X
| URI | m2://inv/X9RWBSPJ2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#ZEA5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theory of computation X9S375J509
| URI | m2://inv/X9S375J509 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AG51, Theory of computation (definition)
History
- 2026-11-02: add by m2/dev
Applications X9S5ASPGA6
| URI | m2://inv/X9S5ASPGA6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach fixed-point theorem#QCKF, Applications (example)
History
- 2026-11-02: add by m2/dev
Matrix diagonalization X9S8FQQXPK
| URI | m2://inv/X9S8FQQXPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonalizable matrix#16OA, Matrix diagonalization (unknown)
History
- 2026-11-02: add by m2/dev
Semantics X9SBNB1Q47
| URI | m2://inv/X9SBNB1Q47 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantics (logic), Semantics (topic). Also Wikidata Q963731
History
- 2026-11-02: add by m2/dev
Strong Value Duality X9SBRQTZZ3
| URI | m2://inv/X9SBRQTZZ3 |
|---|---|
| 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.20316#QUI9, Strong Value Duality (statement)
History
- 2026-11-02: add by m2/v0.6.18
Donsker's theorem X9SCB9K384
| URI | m2://inv/X9SCB9K384 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527064, Donsker's theorem (statement). Also Wikidata Q3527064
- thousand_plus: thousand_plus Q3527064, Donsker's theorem (statement). Also Wikidata Q3527064, Wikipedia Donsker's theorem
- wikipedia: Wikipedia Donsker's theorem, Donsker's theorem (statement). Also Wikidata Q3527064
History
- 2026-10-26: add by m2/dev
X9SGP7FN90 X9SGP7FN90
| URI | m2://inv/X9SGP7FN90 |
|---|---|
| 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 2102.12931#XUE7 (statement). In PQHTR84RAJ/e1, theorem 4.11
History
- 2026-10-27: add by m2/v0.4.0
X9SJQRWC7X X9SJQRWC7X
| URI | m2://inv/X9SJQRWC7X |
|---|---|
| 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.15525#9MNT (statement). In EFDRME13PT/e1, theorem 11.2
History
- 2026-10-28: add by m2/v0.4.2
X9T5HJESKH X9T5HJESKH
| URI | m2://inv/X9T5HJESKH |
|---|---|
| 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.13847#T0QR (statement). In S4FHV821A2/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
X9T6ZFRCWX X9T6ZFRCWX
| URI | m2://inv/X9T6ZFRCWX |
|---|---|
| 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.10576#1EEV (statement). In N3ZA5MDZBW/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Quasicircle X9T7F0T8TG
| URI | m2://inv/X9T7F0T8TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasicircle, Quasicircle (definition). Also Wikidata Q7269488
History
- 2026-11-02: add by m2/dev
Cassius Ionescu-Tulcea X9T9KYBX14
| URI | m2://inv/X9T9KYBX14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15222811, Cassius Ionescu-Tulcea (unknown). Also ProofWiki Mathematician:Cassius_Tocqueville_Ionescu_Tulcea
History
- 2026-10-26: add by m2/dev
Koszul cohomology X9TDB8K5HD
| URI | m2://inv/X9TDB8K5HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul cohomology, Koszul cohomology (definition). Also Wikidata Q6433698
History
- 2026-11-02: add by m2/dev
Matei Machedon X9TFAW8GRQ
| URI | m2://inv/X9TFAW8GRQ |
|---|---|
| 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#5M0C, Matei Machedon (unknown)
History
- 2026-11-02: add by m2/dev
X9TKQFYPD9 X9TKQFYPD9
| URI | m2://inv/X9TKQFYPD9 |
|---|---|
| Kind | definition |
| 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 2604.10080#HB7T (definition). In KM2FWKP93A/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.0
independence number X9VFHEN4NB
| URI | m2://inv/X9VFHEN4NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#255Q, independence number (definition)
History
- 2026-11-02: add by m2/dev
Ax–Kochen theorem X9W3Y8K4XN
| URI | m2://inv/X9W3Y8K4XN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8A1I, Ax–Kochen theorem (statement)
History
- 2026-11-02: add by m2/dev
Douglas Bridges X9W45CJVVJ
| URI | m2://inv/X9W45CJVVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38170627, Douglas Bridges (unknown). Also nLab Douglas Bridges
History
- 2026-10-26: add by m2/dev
X9W4E2K5ES X9W4E2K5ES
| URI | m2://inv/X9W4E2K5ES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.25957#R60U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples X9W9CVNKH6
| URI | m2://inv/X9W9CVNKH6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standardized rate#WUCA, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions X9WJ819GQF
| URI | m2://inv/X9WJ819GQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial homology#KE0J, Definitions (definition)
History
- 2026-11-02: add by m2/dev
X9WRXDM8WS X9WRXDM8WS
| URI | m2://inv/X9WRXDM8WS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:msconvbound (statement). In E59CDZA4DP, prop, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Linoma Software X9WV5DZ4ZF
| URI | m2://inv/X9WV5DZ4ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linoma Software, Linoma Software (definition). Also Wikidata Q6554725
History
- 2026-11-02: add by m2/dev
X9WWKZF4TA X9WWKZF4TA
| URI | m2://inv/X9WWKZF4TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#QUS8 (statement). In 1QSCT53ZED/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.0
X9XDWQHZ02 X9XDWQHZ02
| URI | m2://inv/X9XDWQHZ02 |
|---|---|
| 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 2507.13548#PDNK (statement). In 4NVVK50D1P/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Jeffrey Zink X9XSNHDY5A
| URI | m2://inv/X9XSNHDY5A |
|---|---|
| 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#8MI0, Jeffrey Zink (unknown)
History
- 2026-11-02: add by m2/dev
Definition X9Y166ARE4
| URI | m2://inv/X9Y166ARE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex (geometry)#6WC1, Definition (definition)
History
- 2026-11-02: add by m2/dev
X9Y60Q82GF X9Y60Q82GF
| URI | m2://inv/X9Y60Q82GF |
|---|---|
| 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 2106.09062#TXYC (statement). In 8HAH8QVKDF/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
X9Y8F2ZYEY X9Y8F2ZYEY
| URI | m2://inv/X9Y8F2ZYEY |
|---|---|
| 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.32088#A0GN (statement). In 7781ARDE06/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Examples X9YS77W369
| URI | m2://inv/X9YS77W369 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger presentation#Q6FU, Examples (example)
History
- 2026-11-02: add by m2/dev
X9YSZVR5P9 X9YSZVR5P9
| URI | m2://inv/X9YSZVR5P9 |
|---|---|
| Kind | conjecture |
| 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.15188#QZFM (conjecture). In J05DJNDXJE/e1, conjecture 2.1
History
- 2026-10-28: add by m2/v0.4.2
proper group action X9YVCNBF0J
| URI | m2://inv/X9YVCNBF0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121070525, proper group action (unknown). Also MathWorld ProperAction, nLab proper action
History
- 2026-10-26: add by m2/dev
quantum affine algebra X9YYM3665S
| URI | m2://inv/X9YYM3665S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269007, quantum affine algebra (unknown). Also nLab quantum affine algebra
- wikipedia: Wikipedia Quantum affine algebra, Quantum affine algebra (definition). Also Wikidata Q7269007
History
- 2026-10-26: add by m2/dev
X9Z0DKQF0J X9Z0DKQF0J
| URI | m2://inv/X9Z0DKQF0J |
|---|---|
| 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 2610.09739#RYAT (example). In ZYNZ95FSFD/e1, example 3.9
History
- 2026-10-29: add by m2/v0.4.10
Examples X9Z324HGB9
| URI | m2://inv/X9Z324HGB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection group#9S79, Examples (example)
History
- 2026-11-02: add by m2/dev
Diagonal form X9Z60HAWXV
| URI | m2://inv/X9Z60HAWXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal form, Diagonal form (definition). Also Wikidata Q5270364
History
- 2026-11-02: add by m2/dev
Bas Edixhoven X9ZB2TTDVV
| URI | m2://inv/X9ZB2TTDVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bas Edixhoven, Bas Edixhoven (topic). Also Wikidata Q809724
History
- 2026-11-02: add by m2/dev
Cauchy principal values X9ZQZRNT9R
| URI | m2://inv/X9ZQZRNT9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > Cauchy principal values, Cauchy principal values (unknown)
History
- 2026-10-26: add by m2/dev
Generalizations X9ZXBHR8W7
| URI | m2://inv/X9ZXBHR8W7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest uncrossed knight's path#YWO2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev