Inventory rows H7
The cards of the rows of the inventory whose ids start with H7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
H700JR7803 H700JR7803
| URI | m2://inv/H700JR7803 |
|---|---|
| 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 2210.04075#TMZB (statement). In C5DZR0TC5E/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Upper bound of the expected empirical Wasserstein distance H701DQ52FT
| URI | m2://inv/H701DQ52FT |
|---|---|
| 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 2609.22240#N2E7, Upper bound of the expected empirical Wasserstein distance (statement)
History
- 2026-11-02: add by m2/v0.6.17
atom H702ZKDFYW
| URI | m2://inv/H702ZKDFYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Atom TTVCTW6TNC |
Mentions
- wikidata: Wikidata Q261484, atom (unknown). Also nLab atom
- wikipedia: Wikipedia Atom (order theory), Atom (definition). Also Wikidata Q261484
History
- 2026-10-26: add by m2/dev
Definition H707H4XQT1
| URI | m2://inv/H707H4XQT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LB-space#L3MM, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of mathematical probabilists H70BC7CNMP
| URI | m2://inv/H70BC7CNMP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#9LVD, List of mathematical probabilists (topic)
- wikipedia: Wikipedia Lists of mathematics topics#VZPL, List of mathematical probabilists (topic)
- wikipedia: Wikipedia Lists of mathematicians#CWAB, List of mathematical probabilists (topic)
History
- 2026-11-02: add by m2/dev
Extensions H70PCHSE94
| URI | m2://inv/H70PCHSE94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almgren–Chriss model#8DZ3, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Gaussia H70S7JCNYK
| URI | m2://inv/H70S7JCNYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#R25C, Gaussia (unknown)
History
- 2026-11-02: add by m2/dev
Richard Laver H70SS41004
| URI | m2://inv/H70SS41004 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Laver, Richard Laver (topic). Also Wikidata Q7327274
History
- 2026-11-02: add by m2/dev
H70YERN6CV H70YERN6CV
| URI | m2://inv/H70YERN6CV |
|---|---|
| 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.14838#LHHA (statement). In J7ZX3WWRQP/e1, corollary 2.33
History
- 2026-10-28: add by m2/v0.4.2
Pseudo-determinant H71763X7HS
| URI | m2://inv/H71763X7HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8LHQ, Pseudo-determinant (definition)
History
- 2026-11-02: add by m2/dev
H71B0ZHCX0 H71B0ZHCX0
| URI | m2://inv/H71B0ZHCX0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#NWY5 (definition). In 3GE9PS9AH0/e1, definition 4.1.3
History
- 2026-10-27: add by m2/v0.3.5
444 symmetry H71DEKTP45
| URI | m2://inv/H71DEKTP45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#ILHS, 444 symmetry (definition)
History
- 2026-11-02: add by m2/dev
First-order density correction H71H866WTG
| URI | m2://inv/H71H866WTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27250#FT87, First-order density correction (statement)
History
- 2026-11-01: add by m2/v0.6.15
kobon triangle problem H71SCXM6GP
| URI | m2://inv/H71SCXM6GP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1269124, kobon triangle problem (problem). Also MathWorld KobonTriangle
- wikipedia: Wikipedia Kobon triangle problem, Kobon triangle problem (conjecture). Also Wikidata Q1269124
History
- 2026-10-26: add by m2/dev
H71YM7T48X H71YM7T48X
| URI | m2://inv/H71YM7T48X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05767#L3EB (definition). In BG6MTYCXWS/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
History of numeral systems H7276E65GZ
| URI | m2://inv/H7276E65GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numeral system#DN8Q, History of numeral systems (unknown)
History
- 2026-11-02: add by m2/dev
H72CEBCV1A H72CEBCV1A
| URI | m2://inv/H72CEBCV1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#definition-1 (definition). In RZP28ERRZV, definition, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
H72NTNF8YG H72NTNF8YG
| URI | m2://inv/H72NTNF8YG |
|---|---|
| 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.20656#QZOJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Willi Rinow H731D9PWRJ
| URI | m2://inv/H731D9PWRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#XS8Q, Willi Rinow (topic)
History
- 2026-11-02: add by m2/dev
H734T4XZ6D H734T4XZ6D
| URI | m2://inv/H734T4XZ6D |
|---|---|
| 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.03437#07JW (statement). In EDTV1EDV7M/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
Common-flag threshold principle H7389K61P9
| URI | m2://inv/H7389K61P9 |
|---|---|
| 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.39262#IK3M, Common-flag threshold principle (statement). In XA2NE2Z06S/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Zeroth law of thermodynamics H73FNYWVAG
| URI | m2://inv/H73FNYWVAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temperature#BGJ2, Zeroth law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Vladimir Vranić H73N7PEB64
| URI | m2://inv/H73N7PEB64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2C4H, Vladimir Vranić (unknown)
History
- 2026-11-02: add by m2/dev
H73Z8D0662 H73Z8D0662
| URI | m2://inv/H73Z8D0662 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#ZX9T (statement). In 1F26AF81XP/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
Fourier integral operator H7421JRWXG
| URI | m2://inv/H7421JRWXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier integral operator, Fourier integral operator (definition). Also Wikidata Q4262191
History
- 2026-11-02: add by m2/dev
Quillen-Venkov for mod-2 eventually negligible classes H743MYYN4A
| URI | m2://inv/H743MYYN4A |
|---|---|
| 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.19251#SIBL, Quillen-Venkov for mod-2 eventually negligible classes (statement). In CSW6NG0FRN/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
divisorial ideal H745R23A6T
| URI | m2://inv/H745R23A6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#SGKS, divisorial ideal (definition)
History
- 2026-11-02: add by m2/dev
Freeman Dyson H747SYR0E9
| URI | m2://inv/H747SYR0E9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LYBC, Freeman Dyson (topic)
History
- 2026-11-02: add by m2/dev
H748F7CDHS H748F7CDHS
| URI | m2://inv/H748F7CDHS |
|---|---|
| Kind | definition |
| 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.39745#3KE0 (definition). In V276PQS61M/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Definition H748XTWH8Q
| URI | m2://inv/H748XTWH8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N = 2 superconformal algebra#KZ76, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bregman divergence H74BXTS9WS
| URI | m2://inv/H74BXTS9WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GK6R, Bregman divergence (definition)
History
- 2026-11-02: add by m2/dev
Annular Region H74PF3A68D
| URI | m2://inv/H74PF3A68D |
|---|---|
| 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 2609.26592#ZSLH, Annular Region (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications H74YMQ4XRT
| URI | m2://inv/H74YMQ4XRT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born approximation#CNOY, Applications (example)
History
- 2026-11-02: add by m2/dev
H74ZAW1HSS H74ZAW1HSS
| URI | m2://inv/H74ZAW1HSS |
|---|---|
| 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 2605.30285#4STG (statement). In YMY0NNSM27/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.6
George Henry Livens H754F8FXJ2
| URI | m2://inv/H754F8FXJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Henry Livens, George Henry Livens (topic). Also Wikidata Q5540463
History
- 2026-11-02: add by m2/dev
Jónsson term H7580NGYHD
| URI | m2://inv/H7580NGYHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jónsson term, Jónsson term (definition). Also Wikidata Q48996249
History
- 2026-11-02: add by m2/dev
H75F7XSWX8 H75F7XSWX8
| URI | m2://inv/H75F7XSWX8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#UH2K (definition). In KFCJ5CFP3G/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Colloquium Lectures H75HEBGBRQ
| URI | m2://inv/H75HEBGBRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colloquium Lectures (AMS), Colloquium Lectures (definition). Also Wikidata Q1109935
History
- 2026-11-02: add by m2/dev
Flat convergence H75MZHJ8KM
| URI | m2://inv/H75MZHJ8KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat convergence, Flat convergence (definition). Also Wikidata Q5457832
History
- 2026-11-02: add by m2/dev
Stability of the obstruction module H75P1KSQB1
| URI | m2://inv/H75P1KSQB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#XU7O, Stability of the obstruction module (statement)
History
- 2026-11-01: add by m2/v0.6.15
H75PB4S57P H75PB4S57P
| URI | m2://inv/H75PB4S57P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/card-sb.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 79.5
History
- 2026-11-01: add by m2/v0.6.13
H75Q6183GM H75Q6183GM
| URI | m2://inv/H75Q6183GM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#OITO (definition)
History
- 2026-11-02: add by m2/v0.6.17
H767JVJHK6 H767JVJHK6
| URI | m2://inv/H767JVJHK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#X2SJ (statement). In 4DJE72VPJP/e1, theorem III
History
- 2026-10-30: add by m2/v0.4.12
Fat shadows H76SRF545S
| URI | m2://inv/H76SRF545S |
|---|---|
| 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.31216#6IIN, Fat shadows (statement). In M9CSGRSRB3/e1, proposition 2.7
History
- 2026-10-31: add by m2/v0.5.6
Noncommuting dimension and perturbation limits H76WDYFFCH
| URI | m2://inv/H76WDYFFCH |
|---|---|
| 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#4ARU, Noncommuting dimension and perturbation limits (statement). In 9YAE8FNQST/e1, theorem 24.9
History
- 2026-10-30: add by m2/v0.4.12
Tianxi Cai H76WMPR0B8
| URI | m2://inv/H76WMPR0B8 |
|---|---|
| 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#34S7, Tianxi Cai (unknown)
History
- 2026-11-02: add by m2/dev
H7730VDT0P H7730VDT0P
| URI | m2://inv/H7730VDT0P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
H776F9JQZ0 H776F9JQZ0
| URI | m2://inv/H776F9JQZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13953#2SF0 (statement). In D8258MF12E/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
H777F7CGCW H777F7CGCW
| URI | m2://inv/H777F7CGCW |
|---|---|
| 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.37739#WJ8X (statement). In F5XF5VXTXY/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Riemann–Roch theorem for smooth manifolds H77JE7CYZY
| URI | m2://inv/H77JE7CYZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#T37J, Riemann–Roch theorem for smooth manifolds (statement)
History
- 2026-11-02: add by m2/dev
H77KQ34HSQ H77KQ34HSQ
| URI | m2://inv/H77KQ34HSQ |
|---|---|
| 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#F0KC (statement). In X47RYAZF8P/e1, lemma 8.7
History
- 2026-10-28: add by m2/v0.4.2
H77P9CBMWH H77P9CBMWH
| URI | m2://inv/H77P9CBMWH |
|---|---|
| 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.05471#8TOE (statement). In WDWF9WKNK1/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
H782ZDB15Q H782ZDB15Q
| URI | m2://inv/H782ZDB15Q |
|---|---|
| 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.31604#BKOH (statement). In GSN5YTQS2K/e1, corollary 1.19
History
- 2026-10-31: add by m2/v0.5.6
Category of compactly generated weak Hausdorff spaces H785QRKMQG
| URI | m2://inv/H785QRKMQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of compactly generated weak Hausdorff spaces, Category of compactly generated weak Hausdorff spaces (definition). Also Wikidata Q113560829
History
- 2026-11-02: add by m2/dev
Michael P. Brenner H78EBFFHDA
| URI | m2://inv/H78EBFFHDA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael P. Brenner, Michael P. Brenner (topic). Also Wikidata Q57599255
History
- 2026-11-02: add by m2/dev
Statement of the inequality H78MHBTC11
| URI | m2://inv/H78MHBTC11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob's martingale inequality#RWU8, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
General soundness and completeness theorems H78NKVMB8B
| URI | m2://inv/H78NKVMB8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal t-norm logic#TG8G, General soundness and completeness theorems (statement)
History
- 2026-11-02: add by m2/dev
H78V57SM91 H78V57SM91
| URI | m2://inv/H78V57SM91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#CCFV (statement). In 9ZSNSJRJ5N/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
excluded middle H78XPK8MAH
| URI | m2://inv/H78XPK8MAH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.5/excluded-middle, excluded middle (concept). In N54F33XE07, index, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
$\cC^2$ estimates H7975EFRP2
| URI | m2://inv/H7975EFRP2 |
|---|---|
| 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.06529#8B35, $\cC^2$ estimates (statement). In JFQY4CYHKP/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
H79AP305Y8 H79AP305Y8
| URI | m2://inv/H79AP305Y8 |
|---|---|
| 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 2006.12475#BZ7T (statement). In 8YWBGQQGA3/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
H79F4VSF56 H79F4VSF56
| URI | m2://inv/H79F4VSF56 |
|---|---|
| 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.20911#KMG8 (statement). In FF3MV70E7Z/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.2
lifter H79G5HJ1Q4
| URI | m2://inv/H79G5HJ1Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#D6LN, lifter (definition)
History
- 2026-11-02: add by m2/dev
H79HYPXN2C H79HYPXN2C
| URI | m2://inv/H79HYPXN2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#TITV (statement). In PD5PJ0EYG6/e1, proposition 5.8
History
- 2026-10-27: add by m2/v0.3.5
H79S0KGV4M H79S0KGV4M
| URI | m2://inv/H79S0KGV4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#8YEX (statement). In Z9HC1EDTQP/e1, proposition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Sketch of Proof H79TBPXQXH
| URI | m2://inv/H79TBPXQXH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#proof-5, Sketch of Proof (proof). In RZP28ERRZV, proof, section 13.7
History
- 2026-11-01: add by m2/v0.6.13
Sergiu Klainerman H7A2RB7Y96
| URI | m2://inv/H7A2RB7Y96 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GGO1, Sergiu Klainerman (topic)
History
- 2026-11-02: add by m2/dev
Non-positional notation H7A3P3BSHX
| URI | m2://inv/H7A3P3BSHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral systems#WTAJ, Non-positional notation (unknown)
History
- 2026-11-02: add by m2/dev
Statistical inference H7A6E5G6JF
| URI | m2://inv/H7A6E5G6JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical inference, Statistical inference (definition). Also Wikidata Q938438
History
- 2026-11-02: add by m2/dev
H7A7XJNQN1 H7A7XJNQN1
| URI | m2://inv/H7A7XJNQN1 |
|---|---|
| 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.06724#KW7E (statement). In W5XG3PGVF1/e1, fact 1.8
History
- 2026-10-29: add by m2/v0.4.10
SPIKE algorithm H7AGWMQXS6
| URI | m2://inv/H7AGWMQXS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#RFN2, SPIKE algorithm (definition)
History
- 2026-11-02: add by m2/dev
H7AQVNMGRN H7AQVNMGRN
| URI | m2://inv/H7AQVNMGRN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#7LCB (definition)
History
- 2026-11-02: add by m2/v0.6.18
Quart, Aosta Valley H7AXR4BQ9H
| URI | m2://inv/H7AXR4BQ9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#M0PB, Quart, Aosta Valley (unknown)
History
- 2026-11-02: add by m2/dev
H7AYF41MQX H7AYF41MQX
| URI | m2://inv/H7AYF41MQX |
|---|---|
| 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#4A88 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples H7AYGVBWHK
| URI | m2://inv/H7AYGVBWHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category algebra#QCX3, Examples (example)
History
- 2026-11-02: add by m2/dev
H7B3MZHV2K H7B3MZHV2K
| URI | m2://inv/H7B3MZHV2K |
|---|---|
| Kind | definition |
| 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 2607.00323#81UR (definition). In BPRFEQY7W4/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
Affine deduplication of exact common row directions H7BARX7FK4
| URI | m2://inv/H7BARX7FK4 |
|---|---|
| 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.33021#0D43, Affine deduplication of exact common row directions (statement). In GG96DW33Q9/e1, lemma C.4
History
- 2026-10-31: add by m2/v0.5.6
H7BDKQCH7Y H7BDKQCH7Y
| URI | m2://inv/H7BDKQCH7Y |
|---|---|
| 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.21445#80K7 (statement). In 6XM9AETJT7/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
H7BPXCTFKR H7BPXCTFKR
| URI | m2://inv/H7BPXCTFKR |
|---|---|
| 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#L9OT (statement)
History
- 2026-11-01: add by m2/v0.6.15
H7BSG3GNWM H7BSG3GNWM
| URI | m2://inv/H7BSG3GNWM |
|---|---|
| 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 2507.05417#JEEG (definition). In RGHZ863Q26/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.3.5
H7C5X7RB8B H7C5X7RB8B
| URI | m2://inv/H7C5X7RB8B |
|---|---|
| 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 2312.06473#M9OK (statement). In P1MYSYHSGX/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Representation theory of the Galilean group H7C6JDA9SP
| URI | m2://inv/H7C6JDA9SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#M2FS, Representation theory of the Galilean group (definition)
History
- 2026-11-02: add by m2/dev
H7CAH90G6C H7CAH90G6C
| URI | m2://inv/H7CAH90G6C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-examples.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 26.12
History
- 2026-11-01: add by m2/v0.6.13
Giovanni Carandino H7CJ4CGY2N
| URI | m2://inv/H7CJ4CGY2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Carandino, Giovanni Carandino (topic). Also Wikidata Q15143663
History
- 2026-11-02: add by m2/dev
Control engineering H7CK6BMZVN
| URI | m2://inv/H7CK6BMZVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#UAOS, Control engineering (unknown)
History
- 2026-11-02: add by m2/dev
Examples H7CM9PV4J2
| URI | m2://inv/H7CM9PV4J2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average order of an arithmetic function#DFEJ, Examples (example)
History
- 2026-11-02: add by m2/dev
H7CZNVK7SR H7CZNVK7SR
| URI | m2://inv/H7CZNVK7SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39726#TZPT (statement). In 4CTC8A57SD/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
H7D22VFWPM H7D22VFWPM
| URI | m2://inv/H7D22VFWPM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
Equivalence for solitary waves H7D260AYKN
| URI | m2://inv/H7D260AYKN |
|---|---|
| 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.01883#LIVF, Equivalence for solitary waves (statement). In CYV4P9TDV0/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
H7DFN7NBG4 H7DFN7NBG4
| URI | m2://inv/H7DFN7NBG4 |
|---|---|
| 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.35191#UU8U (statement). In W9Z6S1PDTP/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
topological manifold H7DQ4PX2FC
| URI | m2://inv/H7DQ4PX2FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 57Nxx |
| Sources | 2 |
| Outcome | open |
| Node | Topological manifold QQQ9B1DK4P |
Mentions
- wikidata: Wikidata Q2721559, topological manifold (topic). Also MathWorld TopologicalManifold, nLab topological manifold
- wikipedia: Wikipedia Topological manifold, Topological manifold (definition). Also Wikidata Q2721559
History
- 2026-10-26: add by m2/dev
H7DZTASX38 H7DZTASX38
| URI | m2://inv/H7DZTASX38 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.25801#28S4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
H7E3KVXZKM H7E3KVXZKM
| URI | m2://inv/H7E3KVXZKM |
|---|---|
| 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 2610.16731#OMJ0 (statement). In D68KBZQ4Q6/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
H7E3T9DRBH H7E3T9DRBH
| URI | m2://inv/H7E3T9DRBH |
|---|---|
| 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.16505#LSVB (statement). In P9V43TXCJ3/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
H7E6A3967Q H7E6A3967Q
| URI | m2://inv/H7E6A3967Q |
|---|---|
| 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.26745#TKZK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Application H7EA79XHWM
| URI | m2://inv/H7EA79XHWM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skein (graph theory)#9PFI, Application (example)
History
- 2026-11-02: add by m2/dev
Sōichi Kakeya H7ECEYHC13
| URI | m2://inv/H7ECEYHC13 |
|---|---|
| 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 Q2382771, Sōichi Kakeya (unknown). Also ProofWiki Mathematician:Soichi_Kakeya
History
- 2026-10-26: add by m2/dev
Trace of a linear operator H7ED6ATKBS
| URI | m2://inv/H7ED6ATKBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace (linear algebra)#SSS6, Trace of a linear operator (unknown)
History
- 2026-11-02: add by m2/dev
H7EDD8P6A4 H7EDD8P6A4
| URI | m2://inv/H7EDD8P6A4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2609.24131#REM7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
H7EE2S8Y9F H7EE2S8Y9F
| URI | m2://inv/H7EE2S8Y9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.32535#X0YQ (statement). In WF27F8CKD2/e1, corollary 1.5
History
- 2026-10-31: add by m2/v0.5.6
Pentagrammic-order 600-cell honeycomb H7EEVPR351
| URI | m2://inv/H7EEVPR351 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4VDI, Pentagrammic-order 600-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
H7EP4K8NRK H7EP4K8NRK
| URI | m2://inv/H7EP4K8NRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#82FD (statement). In 3THDT8WNF7/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.12
H7EQCT13RV H7EQCT13RV
| URI | m2://inv/H7EQCT13RV |
|---|---|
| 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.32174#MK0H (statement). In GHKR740SG3/e1, theorem 3.6
History
- 2026-10-31: add by m2/v0.5.6
Collapsing manifold H7ETVMC3KK
| URI | m2://inv/H7ETVMC3KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collapsing manifold, Collapsing manifold (definition). Also Wikidata Q5145943
History
- 2026-11-02: add by m2/dev
determinant identity H7EXQ402K1
| URI | m2://inv/H7EXQ402K1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5265687, determinant identity (unknown). Also MathWorld DeterminantIdentities
History
- 2026-10-26: add by m2/dev
Cover H7F348G03Y
| URI | m2://inv/H7F348G03Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#B670, Cover (definition)
History
- 2026-11-02: add by m2/dev
H7F5SN334T H7F5SN334T
| URI | m2://inv/H7F5SN334T |
|---|---|
| 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 1006.4617#0TXH (statement). In VWACF4K16Q/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
function extensionality H7F5Z3SN17
| URI | m2://inv/H7F5Z3SN17 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/function-extensionality, function extensionality (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Uniform bounds and locality of expansionals H7FBVA1D1V
| URI | m2://inv/H7FBVA1D1V |
|---|---|
| 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.03683#6AR6, Uniform bounds and locality of expansionals (statement). In 14AMXF6X2V/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Weighted fourth-trace reconstruction H7FETE5EHC
| URI | m2://inv/H7FETE5EHC |
|---|---|
| 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.14373#6BHJ, Weighted fourth-trace reconstruction (statement). In 77TK7M3B9Y/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Spanning persists under refinement H7FNFXA1ZM
| URI | m2://inv/H7FNFXA1ZM |
|---|---|
| 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.00117#T93M, Spanning persists under refinement (statement). In 4G2BDP206S/e1, lemma 18
History
- 2026-10-30: add by m2/v0.4.12
H7FQKV7SPB H7FQKV7SPB
| URI | m2://inv/H7FQKV7SPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#8UEP (statement). In WSG1ZW956E/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
H7FTP3GR4D H7FTP3GR4D
| URI | m2://inv/H7FTP3GR4D |
|---|---|
| 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 2610.11886#ZJVC (definition). In T0APQY74CA/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.3
Geometric graph theory H7FW5FCWGE
| URI | m2://inv/H7FW5FCWGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric graph theory, Geometric graph theory (topic). Also Wikidata Q1503271
History
- 2026-11-02: add by m2/dev
Example H7FY2W1Y98
| URI | m2://inv/H7FY2W1Y98 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's maximal determinant problem#G6JO, Example (example)
History
- 2026-11-02: add by m2/dev
Kazimierz Kuratowski H7G1VW1DAY
| URI | m2://inv/H7G1VW1DAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#FQ87, Kazimierz Kuratowski (topic)
History
- 2026-11-02: add by m2/dev
Mills' formula H7G1W5S1D8
| URI | m2://inv/H7G1W5S1D8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula for primes#UQA8, Mills' formula (statement)
History
- 2026-11-02: add by m2/dev
H7G2B8Z33D H7G2B8Z33D
| URI | m2://inv/H7G2B8Z33D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#83LX (statement). In VN084GGZGK/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.3
H7G2ZTJH3Y H7G2ZTJH3Y
| URI | m2://inv/H7G2ZTJH3Y |
|---|---|
| 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.08935#0MIW (statement). In G02N9D40B9/e1, theorem 4.2.4
History
- 2026-10-29: add by m2/v0.4.10
André Joyal H7G77E2YXN
| URI | m2://inv/H7G77E2YXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2815652, André Joyal (unknown). Also nLab Andre Joyal
- wikipedia: Wikipedia André Joyal, André Joyal (topic). Also Wikidata Q2815652
History
- 2026-10-26: add by m2/dev
H7GF0NDD34 H7GF0NDD34
| URI | m2://inv/H7GF0NDD34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:pi1s1-decode (definition). In N54F33XE07, defn, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Helmholtz equation H7GPN1MPR3
| URI | m2://inv/H7GPN1MPR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#ODI5, Helmholtz equation (definition)
History
- 2026-11-02: add by m2/dev
Karol Kozlowski H7H0E1AA1P
| URI | m2://inv/H7H0E1AA1P |
|---|---|
| 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#5LOD, Karol Kozlowski (unknown)
History
- 2026-11-02: add by m2/dev
H7H19AYPVC H7H19AYPVC
| URI | m2://inv/H7H19AYPVC |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#BOUQ (unknown). In QNBFHFZ3H0/e1, unknown 12
History
- 2026-10-28: add by m2/v0.4.2
Clavicylinder H7H1X5JP3H
| URI | m2://inv/H7H1X5JP3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Chladni#ZS3W, Clavicylinder (unknown)
History
- 2026-11-02: add by m2/dev
coherence theorem H7HFV2C8TP
| URI | m2://inv/H7HFV2C8TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#V8WV, coherence theorem (definition)
History
- 2026-11-02: add by m2/dev
H7HJKCZJQE H7HJKCZJQE
| URI | m2://inv/H7HJKCZJQE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#678L (definition). In G1RP4JY5PE/e1, definition 5.4.2
History
- 2026-10-31: add by m2/v0.5.6
H7HJQEPNX7 H7HJQEPNX7
| URI | m2://inv/H7HJQEPNX7 |
|---|---|
| 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-76 (exercise). In E9HS8K3A52, exercise, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
H7HQZMZEJQ H7HQZMZEJQ
| URI | m2://inv/H7HQZMZEJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#C2W0 (statement). In R589MXXHX4/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Discrete tomography H7J19QR9P0
| URI | m2://inv/H7J19QR9P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete tomography, Discrete tomography (definition). Also Wikidata Q5282064
History
- 2026-11-02: add by m2/dev
Transversal H7J58SGWQQ
| URI | m2://inv/H7J58SGWQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversal (combinatorics), Transversal (definition). Also Wikidata Q2208651
History
- 2026-11-02: add by m2/dev
H7J6CBP4A3 H7J6CBP4A3
| URI | m2://inv/H7J6CBP4A3 |
|---|---|
| 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.13869#ZMBS (statement). In AM0K62YRZ3/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Law of large numbers H7J8GRESKM
| URI | m2://inv/H7J8GRESKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product integral#5EUW, Law of large numbers (definition)
History
- 2026-11-02: add by m2/dev
MathMagic H7J9BMSKC0
| URI | m2://inv/H7J9BMSKC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathMagic, MathMagic (definition). Also Wikidata Q6786754
History
- 2026-11-02: add by m2/dev
Stochastic processes and boundary value problems H7J9XC1EJC
| URI | m2://inv/H7J9XC1EJC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic processes and boundary value problems, Stochastic processes and boundary value problems (problem). Also Wikidata Q7617830
History
- 2026-11-02: add by m2/dev
Bhama Srinivasan H7JAD17FGE
| URI | m2://inv/H7JAD17FGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhama Srinivasan, Bhama Srinivasan (topic). Also Wikidata Q435478
History
- 2026-11-02: add by m2/dev
W. Allen Wallis H7JG5QKZR9
| URI | m2://inv/H7JG5QKZR9 |
|---|---|
| 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#ZEDH, W. Allen Wallis (topic)
History
- 2026-11-02: add by m2/dev
Karl Svozil H7JQWBJ8SP
| URI | m2://inv/H7JQWBJ8SP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Svozil, Karl Svozil (topic). Also Wikidata Q6372292
History
- 2026-11-02: add by m2/dev
H7JTHP3ZFV H7JTHP3ZFV
| URI | m2://inv/H7JTHP3ZFV |
|---|---|
| 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.21491#FMI2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jürgen Gärtner H7JXH391S8
| URI | m2://inv/H7JXH391S8 |
|---|---|
| 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#HNHT, Jürgen Gärtner (topic)
History
- 2026-11-02: add by m2/dev
Selection bias H7K2FT5X9W
| URI | m2://inv/H7K2FT5X9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9QBP, Selection bias (definition)
History
- 2026-11-02: add by m2/dev
Compatible duplicate rows need only an active-subspace gap H7K5GM3451
| URI | m2://inv/H7K5GM3451 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#573B, Compatible duplicate rows need only an active-subspace gap (example). In 6FY8BVP1F3/e1, example B.4
History
- 2026-10-29: add by m2/v0.4.12
Ivan Orlov H7K9S24S72
| URI | m2://inv/H7K9S24S72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Y29X, Ivan Orlov (topic)
History
- 2026-11-02: add by m2/dev
Natarajan dimension is at least half the DS dimension H7KGNWJHX7
| URI | m2://inv/H7KGNWJHX7 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#IFP9, Natarajan dimension is at least half the DS dimension (conjecture). In 4W7ARR1DAR/e1, conjecture 6.5
History
- 2026-10-28: add by m2/v0.4.2
Shou-Wu Zhang H7KKAYBVQA
| URI | m2://inv/H7KKAYBVQA |
|---|---|
| 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#R48J, Shou-Wu Zhang (topic)
History
- 2026-11-02: add by m2/dev
Vopěnka's alternative set theory H7KMA29471
| URI | m2://inv/H7KMA29471 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiset#GGVJ, Vopěnka's alternative set theory (unknown)
History
- 2026-11-02: add by m2/dev
H7KS6Z2WZC H7KS6Z2WZC
| URI | m2://inv/H7KS6Z2WZC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#QWUB (example)
History
- 2026-11-02: add by m2/v0.6.17
(Elveden #7) H7KTASDGD4
| URI | m2://inv/H7KTASDGD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#NM6A, (Elveden #7) (unknown)
History
- 2026-11-02: add by m2/dev
H7KX2GEVAK H7KX2GEVAK
| URI | m2://inv/H7KX2GEVAK |
|---|---|
| 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.12329#OZBU (statement). In ZJQB9W60T6/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
H7KYZ4B0YV H7KYZ4B0YV
| URI | m2://inv/H7KYZ4B0YV |
|---|---|
| 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.21489#DZ7J (statement). In R0Q0RV8XCF/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
H7M46EM05W H7M46EM05W
| URI | m2://inv/H7M46EM05W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16505#4E4X (example). In P9V43TXCJ3/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
Hundredth H7M6PXKTQD
| URI | m2://inv/H7M6PXKTQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hundredth, Hundredth (definition). Also Wikidata Q278568
History
- 2026-11-02: add by m2/dev
Compound of five octahemioctahedra H7MBE2N3T1
| URI | m2://inv/H7MBE2N3T1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#D3HS, Compound of five octahemioctahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VN0R, Compound of five octahemioctahedra (definition)
History
- 2026-11-02: add by m2/dev
Regularity in local and decay tubes H7MC3QDAJV
| URI | m2://inv/H7MC3QDAJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#C8IY, Regularity in local and decay tubes (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gheorghe Vrănceanu H7MRDDHP77
| URI | m2://inv/H7MRDDHP77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#27IS, Gheorghe Vrănceanu (topic)
History
- 2026-11-02: add by m2/dev
H7MXQDREZP H7MXQDREZP
| URI | m2://inv/H7MXQDREZP |
|---|---|
| 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#VXIJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
D* H7N9K3GZC0
| URI | m2://inv/H7N9K3GZC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#JQYP, D* (unknown)
History
- 2026-11-02: add by m2/dev
Stanisław Świerczkowski H7NBA220H3
| URI | m2://inv/H7NBA220H3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Świerczkowski, Stanisław Świerczkowski (topic). Also Wikidata Q23945370
History
- 2026-11-02: add by m2/dev
H7NBP0TMYD H7NBP0TMYD
| URI | m2://inv/H7NBP0TMYD |
|---|---|
| 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 1902.04230#GKIH (statement). In 22JZ68FGCW/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
H7NGJV54N2 H7NGJV54N2
| URI | m2://inv/H7NGJV54N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#H2ZH (statement)
History
- 2026-11-01: add by m2/v0.6.15
H7NGKY3XWT H7NGKY3XWT
| URI | m2://inv/H7NGKY3XWT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-17 (proof). In E59CDZA4DP, proof, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
H7NHRMPFYW H7NHRMPFYW
| URI | m2://inv/H7NHRMPFYW |
|---|---|
| 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.14741#HMKP (statement). In RK1VPWWX9E/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
H7NMY1VHDQ H7NMY1VHDQ
| URI | m2://inv/H7NMY1VHDQ |
|---|---|
| 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.19534#QDLV (statement). In 22G1ATP2RA/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
$\mathcal{HS}_0^r(\mathbb{R}^n)$ is path-connected H7NVQKEN5K
| URI | m2://inv/H7NVQKEN5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05626#GIOV, $\mathcal{HS}_0^r(\mathbb{R}^n)$ is path-connected (statement). In PMZEF75W7S/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Benedict Freedman H7NXAQ6293
| URI | m2://inv/H7NXAQ6293 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benedict Freedman, Benedict Freedman (topic). Also Wikidata Q4887269
History
- 2026-11-02: add by m2/dev
Landau pole H7NY7TA528
| URI | m2://inv/H7NY7TA528 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4371287, Landau pole (unknown). Also nLab Landau pole
History
- 2026-10-26: add by m2/dev
Centre of circle H7P9632A4V
| URI | m2://inv/H7P9632A4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centre (geometry)#17L6, Centre of circle (unknown)
History
- 2026-11-02: add by m2/dev
Theorem H7PAQJVBFY
| URI | m2://inv/H7PAQJVBFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial fraction decomposition#BOHL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Gallagher's lemma H7PFW830KC
| URI | m2://inv/H7PFW830KC |
|---|---|
| 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.01035#K11W, Gallagher's lemma (statement). In MVQWXFXWM7/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Examples H7PJC537VP
| URI | m2://inv/H7PJC537VP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial group algebra#6D2P, Examples (example)
History
- 2026-11-02: add by m2/dev
Quaternion bibliography H7PN5WE4AT
| URI | m2://inv/H7PN5WE4AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion Association#F5UJ, Quaternion bibliography (unknown)
History
- 2026-11-02: add by m2/dev
Berkson error model H7PQXKWR4B
| URI | m2://inv/H7PQXKWR4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berkson error model, Berkson error model (definition). Also Wikidata Q4892307
History
- 2026-11-02: add by m2/dev
H7Q0ZC1ZZW H7Q0ZC1ZZW
| URI | m2://inv/H7Q0ZC1ZZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#2GOV (statement). In RTE2C0PH4S/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Richard Samworth H7Q2VZ6M1D
| URI | m2://inv/H7Q2VZ6M1D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Samworth, Richard Samworth (topic). Also Wikidata Q7328875
History
- 2026-11-02: add by m2/dev
Euler method H7Q8KK309D
| URI | m2://inv/H7Q8KK309D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#G5RP, Euler method (definition)
History
- 2026-11-02: add by m2/dev
H7QANRAEND H7QANRAEND
| URI | m2://inv/H7QANRAEND |
|---|---|
| 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 2204.13401#FKFW (definition). In B8MJT0GGW8/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Explicit construction for $p\ge 1$ H7QAYGPDET
| URI | m2://inv/H7QAYGPDET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.14380#84S0, Explicit construction for $p\ge 1$ (statement). In 2ZRQP063HP/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
H7QB597DEJ H7QB597DEJ
| URI | m2://inv/H7QB597DEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#YLUT (statement). In 5KR3MHYVV6/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
IP H7QGZSF9R7
| URI | m2://inv/H7QGZSF9R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IP (complexity), IP (definition). Also Wikidata Q5973158
History
- 2026-11-02: add by m2/dev
David Corfield H7QM3NVR9Q
| URI | m2://inv/H7QM3NVR9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Corfield, David Corfield (topic). Also Wikidata Q5232574
History
- 2026-11-02: add by m2/dev
Richard Davis H7QQ8JQKEG
| URI | m2://inv/H7QQ8JQKEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#OQW4, Richard Davis (unknown)
History
- 2026-11-02: add by m2/dev
Phoenicia Prima H7R59BHKXJ
| URI | m2://inv/H7R59BHKXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MXPP, Phoenicia Prima (unknown)
History
- 2026-11-02: add by m2/dev
Law of cotangents H7R5T9KE1B
| URI | m2://inv/H7R5T9KE1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions#5AJF, Law of cotangents (statement)
History
- 2026-11-02: add by m2/dev
Lucio Lombardo Radice H7RBKQ9FRA
| URI | m2://inv/H7RBKQ9FRA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#4F8O, Lucio Lombardo Radice (topic)
History
- 2026-11-02: add by m2/dev
delta H7RRV1T77B
| URI | m2://inv/H7RRV1T77B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14390, delta (unknown). Also ProofWiki Symbols:Greek/Delta
History
- 2026-10-26: add by m2/dev
Applications H7RRWRVNEM
| URI | m2://inv/H7RRWRVNEM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 3#SAAQ, Applications (example)
History
- 2026-11-02: add by m2/dev
weak, weaker H7RXCCYAGW
| URI | m2://inv/H7RXCCYAGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#8KRH, weak, weaker (definition)
History
- 2026-11-02: add by m2/dev
H7RYFGP5NW H7RYFGP5NW
| URI | m2://inv/H7RYFGP5NW |
|---|---|
| Kind | statement |
| 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.33512#X6BL (statement). In WYHZMYZT31/e1, proposition 3.15
History
- 2026-10-30: add by m2/v0.4.12
H7RZN8W4P9 H7RZN8W4P9
| URI | m2://inv/H7RZN8W4P9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#62KI (statement). In ETRT1R1CQ8/e1, lemma 10.2
History
- 2026-10-27: add by m2/v0.4.0
H7S2MFNZNM H7S2MFNZNM
| URI | m2://inv/H7S2MFNZNM |
|---|---|
| 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.13378#THK1 (statement). In QAH7SV1JT6/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
H7S6GJ2ZCF H7S6GJ2ZCF
| URI | m2://inv/H7S6GJ2ZCF |
|---|---|
| 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#EGIV (statement). In BH62508WHJ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
H7S6YQTY5C H7S6YQTY5C
| URI | m2://inv/H7S6YQTY5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#0M5S (statement). In SF88CM0957/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
AW*-algebra H7S8J25QKC
| URI | m2://inv/H7S8J25QKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#TTCU, AW*-algebra (definition)
History
- 2026-11-02: add by m2/dev
H7SDHHN4JE H7SDHHN4JE
| URI | m2://inv/H7SDHHN4JE |
|---|---|
| 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.19260#R5WS (statement). In PWXT7J9JX3/e1, corollary 4.17
History
- 2026-10-28: add by m2/v0.4.2
theory of differentiable manifolds H7SEF5GQ5G
| URI | m2://inv/H7SEF5GQ5G |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 58A05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114702107, theory of differentiable manifolds (topic)
History
- 2026-10-26: add by m2/dev
H7SGMF0JG8 H7SGMF0JG8
| URI | m2://inv/H7SGMF0JG8 |
|---|---|
| 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.16554#1158 (statement). In GWNT8HEZG1/e1, proposition 2.18
History
- 2026-10-27: add by m2/v0.3.6
RSA-270 H7SNN0EXDG
| URI | m2://inv/H7SNN0EXDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#HUR7, RSA-270 (unknown)
History
- 2026-11-02: add by m2/dev
H7SPW36C3K H7SPW36C3K
| URI | m2://inv/H7SPW36C3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.12486#BVHQ (statement). In CWQ2YHT24E/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Marsilius of Inghen H7SVZRK9RG
| URI | m2://inv/H7SVZRK9RG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#FGTJ, Marsilius of Inghen (unknown)
History
- 2026-11-02: add by m2/dev
H7T39BFREF H7T39BFREF
| URI | m2://inv/H7T39BFREF |
|---|---|
| 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.18219#ZDWZ (statement). In X1AGBB90EH/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
e.g.\ H7T5D3SB8H
| URI | m2://inv/H7T5D3SB8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08708#320I, e.g.\ (statement). In TMMJKY66KY/e1, fact 3.1
History
- 2026-10-29: add by m2/v0.4.10
H7TGZQKDTJ H7TGZQKDTJ
| URI | m2://inv/H7TGZQKDTJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Hajnal conjecture#P5MM (problem)
History
- 2026-11-02: add by m2/dev
Formal definition H7TRHPVGFB
| URI | m2://inv/H7TRHPVGFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn notation#X4A2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
H7TW84GTA2 H7TW84GTA2
| URI | m2://inv/H7TW84GTA2 |
|---|---|
| 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 2108.00412#1JK7 (statement). In APD8GE0E4F/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.5
H7V2MBN8S3 H7V2MBN8S3
| URI | m2://inv/H7V2MBN8S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#ENVM (statement). In E2AF84709B/e1, lemma 51
History
- 2026-10-31: add by m2/v0.5.6
H7V3NBY49K H7V3NBY49K
| URI | m2://inv/H7V3NBY49K |
|---|---|
| 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 2410.10337#EED5 (statement). In RBBF0XNZ5E/e1, lemma 33
History
- 2026-10-27: add by m2/v0.3.5
H7V5GWKGH3 H7V5GWKGH3
| URI | m2://inv/H7V5GWKGH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#L5GB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact selective frontier H7VAY16FA8
| URI | m2://inv/H7VAY16FA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08069#0ERD, Exact selective frontier (statement). In TVW9BTWJ3D/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
The Tiger That Isn't H7VB2CXNS1
| URI | m2://inv/H7VB2CXNS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Tiger That Isn't, The Tiger That Isn't (definition). Also Wikidata Q7769254
History
- 2026-11-02: add by m2/dev
Non-density in the BD norm H7VNR7646P
| URI | m2://inv/H7VNR7646P |
|---|---|
| Kind | statement |
| 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 2610.21343#NRQ6, Non-density in the BD norm (statement). In XN9MHBK5BT/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
thin H7VRM8H926
| URI | m2://inv/H7VRM8H926 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#ADB0, thin (definition)
History
- 2026-11-02: add by m2/dev
H7VWTHARM8 H7VWTHARM8
| URI | m2://inv/H7VWTHARM8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-36 (proof). In VNMV985MXX, proof, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
H7VXN04Q2M H7VXN04Q2M
| URI | m2://inv/H7VXN04Q2M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.35396#QA70 (definition). In 51N4SF53EV/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Frank Yates H7W7CVNDDH
| URI | m2://inv/H7W7CVNDDH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Yates, Frank Yates (topic). Also Wikidata Q1052291
History
- 2026-11-02: add by m2/dev
H7W7MWVBRY H7W7MWVBRY
| URI | m2://inv/H7W7MWVBRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.33856#ND4H (statement). In 47WN78VDDF/e1, fact 1.1
History
- 2026-10-30: add by m2/v0.4.12
H7W8HQ1EAQ H7W8HQ1EAQ
| URI | m2://inv/H7W8HQ1EAQ |
|---|---|
| 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.04772#4EKN (statement). In WW08CYN4D4/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Algebraic integer H7WCA7EKWE
| URI | m2://inv/H7WCA7EKWE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17137#B2PN, Algebraic integer (definition). In GKHSE92M91/e1, definition 10
History
- 2026-10-28: add by m2/v0.4.2
Integral curve H7WFC874W3
| URI | m2://inv/H7WFC874W3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#DXOK, Integral curve (definition)
History
- 2026-11-02: add by m2/dev
H7WHBNXMR1 H7WHBNXMR1
| URI | m2://inv/H7WHBNXMR1 |
|---|---|
| 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.39260#U199 (statement). In ZNDB1AZZSA/e1, corollary 1.5
History
- 2026-10-30: add by m2/v0.4.12
$pUp$ factorization H7WHG6P9XM
| URI | m2://inv/H7WHG6P9XM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.15180#VUD4, $pUp$ factorization (statement). In AMRWRJDNKJ/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Definition H7WJ5R4HTV
| URI | m2://inv/H7WJ5R4HTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient#TME9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Judy A. Holdener H7WZBZXMA6
| URI | m2://inv/H7WZBZXMA6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judy A. Holdener, Judy A. Holdener (topic). Also Wikidata Q3710437
History
- 2026-11-02: add by m2/dev
excisive pair/triad H7X0WS4BQ7
| URI | m2://inv/H7X0WS4BQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#EBV7, excisive pair/triad (definition)
History
- 2026-11-02: add by m2/dev
four-dimensional Chern–Simons theory H7X3T8MKV8
| URI | m2://inv/H7X3T8MKV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117190901, four-dimensional Chern–Simons theory (unknown). Also nLab semi-topological 4d Chern-Simons theory
History
- 2026-10-26: add by m2/dev
Perrin number H7X6JPHZMF
| URI | m2://inv/H7X6JPHZMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q599093, Perrin number (unknown). Also MathWorld PerrinSequence, OEIS A001608
- wikipedia: Wikipedia Perrin number, Perrin number (definition). Also Wikidata Q599093
History
- 2026-10-26: add by m2/dev
Adjacent side (right triangle) H7X81ASYZQ
| URI | m2://inv/H7X81ASYZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions#AC8G, Adjacent side (right triangle) (unknown)
History
- 2026-11-02: add by m2/dev
System identification H7XA3HS4VC
| URI | m2://inv/H7XA3HS4VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QGU9, System identification (definition)
History
- 2026-11-02: add by m2/dev
H7XQM899KH H7XQM899KH
| URI | m2://inv/H7XQM899KH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Index of statistical mechanics articles H7XTC8VZ6Z
| URI | m2://inv/H7XTC8VZ6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical mechanics#LL8T, Index of statistical mechanics articles (unknown)
History
- 2026-11-02: add by m2/dev
Examples H7XXYTAPA9
| URI | m2://inv/H7XXYTAPA9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean ordered field#8MDS, Examples (example)
History
- 2026-11-02: add by m2/dev
Euler's sum of powers conjecture H7Y69EAYRG
| URI | m2://inv/H7Y69EAYRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#QMP3, Euler's sum of powers conjecture (statement)
- wikipedia: Wikipedia List of conjectures#HCXC, Euler's sum of powers conjecture (statement)
History
- 2026-11-02: add by m2/dev
Mildred Sanderson H7YFCGAST0
| URI | m2://inv/H7YFCGAST0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mildred Sanderson, Mildred Sanderson (topic). Also Wikidata Q11104429
History
- 2026-11-02: add by m2/dev
Main theorem H7YFZ7N1JK
| URI | m2://inv/H7YFZ7N1JK |
|---|---|
| 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.15792#XUZT, Main theorem (statement). In YGBX34HPA9/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
H7YMKD9KVN H7YMKD9KVN
| URI | m2://inv/H7YMKD9KVN |
|---|---|
| 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.37897#AFV4 (statement). In RBQ5FNCVNZ/e1, proposition 6.8
History
- 2026-10-30: add by m2/v0.4.12
well-posedness and stability H7YSWW59ZS
| URI | m2://inv/H7YSWW59ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17678#9U5F, well-posedness and stability (statement). In V753EAWQ3S/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
H7YZ9BRE3R H7YZ9BRE3R
| URI | m2://inv/H7YZ9BRE3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.38556#I1DB (definition). In GC2H0HS7ZM/e1, definition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Yaw (aviation) H7Z0GVE0GY
| URI | m2://inv/H7Z0GVE0GY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aircraft principal axes#L28P, Yaw (aviation) (unknown)
History
- 2026-11-02: add by m2/dev
Minimum Hamming distance H7Z2ACBREB
| URI | m2://inv/H7Z2ACBREB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming distance#88AP, Minimum Hamming distance (unknown)
History
- 2026-11-02: add by m2/dev
solvable Lie group H7Z3NHE84C
| URI | m2://inv/H7Z3NHE84C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121356961, solvable Lie group (unknown). Also EoM Lie_group,_solvable, MathWorld SolvableLieGroup
History
- 2026-10-26: add by m2/dev
H7Z77KD9SS H7Z77KD9SS
| URI | m2://inv/H7Z77KD9SS |
|---|---|
| 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.22557#UQUA (statement)
History
- 2026-11-02: add by m2/v0.6.17
superscript H7ZBMJ9GQ0
| URI | m2://inv/H7ZBMJ9GQ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6659977, superscript (unknown). Also MathWorld Superscript
History
- 2026-10-26: add by m2/dev
Benjamin Kagan H7ZES1QZNW
| URI | m2://inv/H7ZES1QZNW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Kagan, Benjamin Kagan (topic). Also Wikidata Q929950
History
- 2026-11-02: add by m2/dev
H7ZX7SYYR7 H7ZX7SYYR7
| URI | m2://inv/H7ZX7SYYR7 |
|---|---|
| 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.08658#GBQY (statement). In 7PK5WS7246/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10