Inventory rows XY
The cards of the rows of the inventory whose ids start with XY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Thomas L. Griffiths XY01C9ACH2
| URI | m2://inv/XY01C9ACH2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WT9X, Thomas L. Griffiths (unknown)
History
- 2026-11-02: add by m2/dev
XY068E6PKT XY068E6PKT
| URI | m2://inv/XY068E6PKT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#QWP0 (definition). In 9GMTVSTAVN/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem (subgaussian random vectors) XY08RKAXTN
| URI | m2://inv/XY08RKAXTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#XHZC, Theorem (subgaussian random vectors) (statement)
History
- 2026-11-02: add by m2/dev
David Slepian XY0DQ3TADF
| URI | m2://inv/XY0DQ3TADF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Slepian, David Slepian (topic). Also Wikidata Q560818
History
- 2026-11-02: add by m2/dev
T-coloring XY0E8WVVV4
| URI | m2://inv/XY0E8WVVV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-coloring, T-coloring (definition). Also Wikidata Q7667902
History
- 2026-11-02: add by m2/dev
Heston model XY0HSCC2T8
| URI | m2://inv/XY0HSCC2T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heston model, Heston model (definition). Also Wikidata Q5746554
History
- 2026-11-02: add by m2/dev
XY0P13BF9N XY0P13BF9N
| URI | m2://inv/XY0P13BF9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#LXBG (statement). In QQFXT31CA5/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.3
approximation of the normal-jump amplitude XY0RKZSNKT
| URI | m2://inv/XY0RKZSNKT |
|---|---|
| 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.08016#FIPD, approximation of the normal-jump amplitude (statement). In YR3CSTYEJW/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.10
De Polignac's formula XY0SFFR77V
| URI | m2://inv/XY0SFFR77V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#DPGX, De Polignac's formula (statement)
History
- 2026-11-02: add by m2/dev
polar coordinates XY0SNV93HG
| URI | m2://inv/XY0SNV93HG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.5.2/polar-coordinates, polar coordinates (concept). In E59CDZA4DP, index, section 11.5.2
History
- 2026-11-01: add by m2/v0.6.13
Bradley Efron XY0X0XNR26
| URI | m2://inv/XY0X0XNR26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FTP6, Bradley Efron (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#L2DV, Bradley Efron (topic)
History
- 2026-11-02: add by m2/dev
XY0XNJSFK4 XY0XNJSFK4
| URI | m2://inv/XY0XNJSFK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#0AKC (statement). In FSD8NE3XSR/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
XY19MT8A0Z XY19MT8A0Z
| URI | m2://inv/XY19MT8A0Z |
|---|---|
| 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.11210#S2KE (definition). In CRFDGFZHBF/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Examples XY1NCJ94WQ
| URI | m2://inv/XY1NCJ94WQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahler volume#6L0K, Examples (example)
History
- 2026-11-02: add by m2/dev
XY1Q1KBCGP XY1Q1KBCGP
| URI | m2://inv/XY1Q1KBCGP |
|---|---|
| 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.11210#9J6O (statement). In CRFDGFZHBF/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
intermediate Jacobian XY1QYGD09N
| URI | m2://inv/XY1QYGD09N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17098136, intermediate Jacobian (unknown). Also nLab intermediate Jacobian
- wikipedia: Wikipedia Intermediate Jacobian, Intermediate Jacobian (definition). Also Wikidata Q17098136
History
- 2026-10-26: add by m2/dev
Applications XY1T0MMQWY
| URI | m2://inv/XY1T0MMQWY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craig's theorem#4T76, Applications (example)
History
- 2026-11-02: add by m2/dev
Math in Moscow XY1T7P57YS
| URI | m2://inv/XY1T7P57YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math in Moscow, Math in Moscow (definition). Also Wikidata Q6786776
History
- 2026-11-02: add by m2/dev
XY1Z6GMN8W XY1Z6GMN8W
| URI | m2://inv/XY1Z6GMN8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25106#7L2B (statement)
History
- 2026-11-01: add by m2/v0.6.15
XY23VJMAZ5 XY23VJMAZ5
| URI | m2://inv/XY23VJMAZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#definition-7 (definition). In RZP28ERRZV, definition, section 63.4
History
- 2026-11-01: add by m2/v0.6.13
Properties XY29JTMZ4B
| URI | m2://inv/XY29JTMZ4B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley value#DQKC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Intensity-duration-frequency curve XY2B70A3FN
| URI | m2://inv/XY2B70A3FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensity-duration-frequency curve, Intensity-duration-frequency curve (definition). Also Wikidata Q5795050
History
- 2026-11-02: add by m2/dev
XY2RSHBYHG XY2RSHBYHG
| URI | m2://inv/XY2RSHBYHG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#RHI8 (example). In HRCEFY172P/e1, example 3.6
History
- 2026-10-30: add by m2/v0.4.12
Hilbert-Schmidt Independence Criterion Lasso based feature selection XY2Y5KE218
| URI | m2://inv/XY2Y5KE218 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feature selection#JVCR, Hilbert-Schmidt Independence Criterion Lasso based feature selection (statement)
History
- 2026-11-02: add by m2/dev
XY33NAKMYH XY33NAKMYH
| URI | m2://inv/XY33NAKMYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#DX66 (definition). In 3KTZ6Z615H/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
XY344PYZBD XY344PYZBD
| URI | m2://inv/XY344PYZBD |
|---|---|
| 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.14582#53QC (statement). In 6XP6PD2XZA/e1, proposition 7.6
History
- 2026-10-28: add by m2/v0.4.2
Properties XY35K7WT1S
| URI | m2://inv/XY35K7WT1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple polygon#CCRX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Michael Freedman XY39EV3XJS
| URI | m2://inv/XY39EV3XJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#99C1, Michael Freedman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1CDT, Michael Freedman (topic)
History
- 2026-11-02: add by m2/dev
Counterexamples XY3GVKEE3Q
| URI | m2://inv/XY3GVKEE3Q |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comon's conjecture#PJWH, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
XY3J0M06ZP XY3J0M06ZP
| URI | m2://inv/XY3J0M06ZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#95KX (statement). In RZWJ0AT8W5/e1, theorem 4.6
History
- 2026-10-31: add by m2/v0.5.6
Coprime root extraction XY3J9B2VHG
| URI | m2://inv/XY3J9B2VHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.22832#5LUE, Coprime root extraction (statement)
History
- 2026-11-02: add by m2/v0.6.17
Soft flip kernels XY3NPSJM9V
| URI | m2://inv/XY3NPSJM9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#6NFA, Soft flip kernels (statement). In 5XPM4E03W6/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Snub tetrahexagonal tiling XY3R0DJ3ER
| URI | m2://inv/XY3R0DJ3ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub tetrahexagonal tiling, Snub tetrahexagonal tiling (definition). Also Wikidata Q7548800
History
- 2026-11-02: add by m2/dev
Chebyshev's inequality XY3SEGTTFF
| URI | m2://inv/XY3SEGTTFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#theorem-2, Chebyshev's inequality (statement). In RZP28ERRZV, theorem, section 64.3.3
History
- 2026-11-01: add by m2/v0.6.13
Henry Gordon Dawson XY3TXTATDA
| URI | m2://inv/XY3TXTATDA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Gordon Dawson, Henry Gordon Dawson (topic). Also Wikidata Q50948988
History
- 2026-11-02: add by m2/dev
Surreal number XY3WKDM5RJ
| URI | m2://inv/XY3WKDM5RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#MN1H, Surreal number (definition)
History
- 2026-11-02: add by m2/dev
XY43W17K2X XY43W17K2X
| URI | m2://inv/XY43W17K2X |
|---|---|
| Kind | problem |
| 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.10875#E8OY (problem). In N91F15MHW1/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.3
o‑minimal Structure XY4C38503N
| URI | m2://inv/XY4C38503N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#BQMO, o‑minimal Structure (definition). In ZJ6VQCRDVR/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Example XY4G9B9RAM
| URI | m2://inv/XY4G9B9RAM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid queue#FHJQ, Example (example)
History
- 2026-11-02: add by m2/dev
Lax equivalence theorem XY4T9EFBQD
| URI | m2://inv/XY4T9EFBQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 65-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q256303, Lax–Richtmyer theorem (statement). Also Wikidata Q256303
- thousand_plus: thousand_plus Q256303, Lax–Richtmyer theorem (statement). Also Wikidata Q256303, Wikipedia Lax–Richtmyer theorem
- wikipedia: Wikipedia Lax equivalence theorem, Lax equivalence theorem (statement). Also Wikidata Q256303
History
- 2026-10-26: add by m2/dev
Thomas Lumley XY4WT7JT08
| URI | m2://inv/XY4WT7JT08 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Lumley (statistician), Thomas Lumley (topic). Also Wikidata Q102228619
History
- 2026-11-02: add by m2/dev
Robert Ammann XY4XH6SH1K
| URI | m2://inv/XY4XH6SH1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8DHF, Robert Ammann (topic)
History
- 2026-11-02: add by m2/dev
XY5AP3BP6B XY5AP3BP6B
| URI | m2://inv/XY5AP3BP6B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.35605#Q548 (definition). In X1KWTAA3M2/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
reversible computing XY5J18422K
| URI | m2://inv/XY5J18422K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185410, reversible computing (unknown). Also nLab reversible computation
History
- 2026-10-26: add by m2/dev
Uniform orbitwise $(C,\lambda)$-structure XY5NMZ1NNY
| URI | m2://inv/XY5NMZ1NNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#FS2N, Uniform orbitwise $(C,\lambda)$-structure (statement). In WRMNCC8VBC/e1, proposition 59
History
- 2026-10-27: add by m2/v0.3.6
Split and relative Grothendieck groups XY5NR1B979
| URI | m2://inv/XY5NR1B979 |
|---|---|
| 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.30637#UUK5, Split and relative Grothendieck groups (definition). In 6G1KBA0SXV/e1, definition 3.4
History
- 2026-10-31: add by m2/v0.5.6
XY5TNQ8F7M XY5TNQ8F7M
| URI | m2://inv/XY5TNQ8F7M |
|---|---|
| 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.19437#AF6G (statement). In 9PXXGQ978Z/e1, proposition 4.19
History
- 2026-10-28: add by m2/v0.4.2
Principle of bivalence XY5TWZJ0Z7
| URI | m2://inv/XY5TWZJ0Z7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#BEN7, Principle of bivalence (statement)
History
- 2026-11-02: add by m2/dev
XY5VCWRQCE XY5VCWRQCE
| URI | m2://inv/XY5VCWRQCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.24008#MS3L (statement)
History
- 2026-11-02: add by m2/v0.6.17
XY67DY50XQ XY67DY50XQ
| URI | m2://inv/XY67DY50XQ |
|---|---|
| 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 2610.16962#KKSY (definition). In KJC9FRS3C2/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Vincent Rijmen XY69DAN18J
| URI | m2://inv/XY69DAN18J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7UTB, Vincent Rijmen (unknown)
History
- 2026-11-02: add by m2/dev
Daniel Waldram XY6DSE5FBY
| URI | m2://inv/XY6DSE5FBY |
|---|---|
| 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 Q64038641, Daniel Waldram (unknown). Also nLab Daniel Waldram
History
- 2026-10-26: add by m2/dev
implicit argument XY6WAPASFA
| URI | m2://inv/XY6WAPASFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.11/implicit-argument, implicit argument (concept). In N54F33XE07, index, section 4.2.11
History
- 2026-11-01: add by m2/v0.6.13
Definition XY6WR6NVHZ
| URI | m2://inv/XY6WR6NVHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pregaussian class#RBEH, Definition (definition)
History
- 2026-11-02: add by m2/dev
XY6Z2TC1J0 XY6Z2TC1J0
| URI | m2://inv/XY6Z2TC1J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#0U2Z (statement). In 3KTZ6Z615H/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Uniform upper tail bound XY740K9C8M
| URI | m2://inv/XY740K9C8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#HSJ6, Uniform upper tail bound (statement). In P0HKF5DY7M/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Periodic twofold covering XY7B4FXPKZ
| URI | m2://inv/XY7B4FXPKZ |
|---|---|
| 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.26576#FCWY, Periodic twofold covering (statement)
History
- 2026-11-01: add by m2/v0.6.15
XY7GWZV8N7 XY7GWZV8N7
| URI | m2://inv/XY7GWZV8N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#B3MV (statement). In TWB64HRHWZ/e1, theorem 5
History
- 2026-10-31: add by m2/v0.5.6
XY7N4FQ4C2 XY7N4FQ4C2
| URI | m2://inv/XY7N4FQ4C2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#W534 (definition). In RAXRNDW2Z0/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
capacity, of a cut XY7QWQJ18W
| URI | m2://inv/XY7QWQJ18W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.2/capacity-of-a-cut, capacity, of a cut (concept). In QKM9DD2H56, index, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
XY7YW67F2V XY7YW67F2V
| URI | m2://inv/XY7YW67F2V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Turing machine#G271 (problem)
History
- 2026-11-02: add by m2/dev
XY89G9NT2V XY89G9NT2V
| URI | m2://inv/XY89G9NT2V |
|---|---|
| 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 2211.16099#09WW (statement). In 91RRFW0K5D/e1, lemma 27
History
- 2026-10-27: add by m2/v0.3.5
XY8B8D784H XY8B8D784H
| URI | m2://inv/XY8B8D784H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#PJBM (definition). In XHSKEPT3VD/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
XY8DQT3VSD XY8DQT3VSD
| URI | m2://inv/XY8DQT3VSD |
|---|---|
| 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.04124#P6HA (statement). In DB9WCCW840/e1, corollary 0.2
History
- 2026-10-29: add by m2/v0.4.12
Cosmic event horizon XY8MK2Z9JD
| URI | m2://inv/XY8MK2Z9JD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Event horizon#YCEB, Cosmic event horizon (unknown)
History
- 2026-11-02: add by m2/dev
Klein graph on 24 vertices XY8YDVFHT0
| URI | m2://inv/XY8YDVFHT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8152995, Klein graph on 24 vertices (unknown). Also House of Graphs 1198, MathWorld KleinGraph
History
- 2026-10-26: add by m2/dev
XY8YM5VC16 XY8YM5VC16
| URI | m2://inv/XY8YM5VC16 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#16R9 (example). In W0ZHX9DHPV/e1, example 8
History
- 2026-10-29: add by m2/v0.4.10
XY96VZF9DR XY96VZF9DR
| URI | m2://inv/XY96VZF9DR |
|---|---|
| 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.04434#F3ST (statement). In EY0QS456EC/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.12
XY9AQYPZP5 XY9AQYPZP5
| URI | m2://inv/XY9AQYPZP5 |
|---|---|
| Kind | conjecture |
| 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.12169#HHWF (conjecture). In 645GF9SFWM/e1, conjecture 4
History
- 2026-10-28: add by m2/v0.4.2
central fiber XY9BMAS9S8
| URI | m2://inv/XY9BMAS9S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#ISAZ, central fiber (definition)
History
- 2026-11-02: add by m2/dev
C. L. E. Moore instructor XY9CECNB7X
| URI | m2://inv/XY9CECNB7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. L. E. Moore instructor, C. L. E. Moore instructor (definition). Also Wikidata Q1946824
History
- 2026-11-02: add by m2/dev
Covariance summability under uniform mixing XY9FP7WV5M
| URI | m2://inv/XY9FP7WV5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04117#MSEJ, Covariance summability under uniform mixing (statement). In 65E9N3DFYP/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.12
Correspondence XY9JHGTEN2
| URI | m2://inv/XY9JHGTEN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correspondence (algebraic geometry), Correspondence (definition). Also Wikidata Q65090820
History
- 2026-11-02: add by m2/dev
Posterior characterization; cf. Blackwell equivalence XY9MGF8YAF
| URI | m2://inv/XY9MGF8YAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#O5DK, Posterior characterization; cf. Blackwell equivalence (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement XY9NMCN6A6
| URI | m2://inv/XY9NMCN6A6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard three-lines theorem#ORYF, Statement (statement)
History
- 2026-11-02: add by m2/dev
Singularity and the infinite-order endpoint XY9S2WXTSM
| URI | m2://inv/XY9S2WXTSM |
|---|---|
| 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#7XRE, Singularity and the infinite-order endpoint (statement). In 9YAE8FNQST/e1, proposition 13.11
History
- 2026-10-30: add by m2/v0.4.12
Tanh-sinh quadrature XY9XTXBQB3
| URI | m2://inv/XY9XTXBQB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#NIE3, Tanh-sinh quadrature (definition)
History
- 2026-11-02: add by m2/dev
Brouwerian modal logic XYA2Y266Z1
| URI | m2://inv/XYA2Y266Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AJ1F, Brouwerian modal logic (definition)
History
- 2026-11-02: add by m2/dev
Geostatistics XYA4J1WNEZ
| URI | m2://inv/XYA4J1WNEZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AC13, Geostatistics (topic)
History
- 2026-11-02: add by m2/dev
Proposition 7 XYAQQ9KRDB
| URI | m2://inv/XYAQQ9KRDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#TIEL, Proposition 7 (statement)
History
- 2026-11-02: add by m2/dev
XYAQT5PC09 XYAQT5PC09
| URI | m2://inv/XYAQT5PC09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#SI1U (statement). In 42XHT97E64/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Bring-Gerrard form XYAR85PXYZ
| URI | m2://inv/XYAR85PXYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bring radical#T1D3, Bring-Gerrard form (unknown)
History
- 2026-11-02: add by m2/dev
XYAW0CAAP0 XYAW0CAAP0
| URI | m2://inv/XYAW0CAAP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30760#Z5YK (statement). In MMVNRRE7N0/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
Madagascar XYAYFBQRDB
| URI | m2://inv/XYAYFBQRDB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#UY3Z, Madagascar (unknown)
History
- 2026-11-02: add by m2/dev
XYB1W76FES XYB1W76FES
| URI | m2://inv/XYB1W76FES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18346#46DW (statement). In QVPNGHTMEX/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Subspace design XYB3WV9H1N
| URI | m2://inv/XYB3WV9H1N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#7766, Subspace design (definition). In N4M6B8EMCW/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
XYB5WHRACF XYB5WHRACF
| URI | m2://inv/XYB5WHRACF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28289#VZKA (statement)
History
- 2026-11-01: add by m2/v0.6.15
XYB9M5RK3G XYB9M5RK3G
| URI | m2://inv/XYB9M5RK3G |
|---|---|
| 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.36068#SIBF (statement). In CKNAB8QY5B/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
XYBAS0DYRB XYBAS0DYRB
| URI | m2://inv/XYBAS0DYRB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#OKJL (definition). In 3A4K47Y9F2/e1, definition 4.13
History
- 2026-10-27: add by m2/v0.4.0
Theorem XYBC15R2PY
| URI | m2://inv/XYBC15R2PY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by substitution#PHT7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XYBHHSV6MY XYBHHSV6MY
| URI | m2://inv/XYBHHSV6MY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21355#5MEO (statement). In XKJ7VKN4P0/e1, theorem 11
History
- 2026-10-27: add by m2/v0.4.2
Rational function XYBRWTJJYJ
| URI | m2://inv/XYBRWTJJYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#7DMG, Rational function (definition)
History
- 2026-11-02: add by m2/dev
XYBX1M3XRA XYBX1M3XRA
| URI | m2://inv/XYBX1M3XRA |
|---|---|
| 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.17240#KEGY (statement). In 59BZ4V9RQW/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Pair ratio for macrostep paths XYC0Q2VB5J
| URI | m2://inv/XYC0Q2VB5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#ZZZ1, Pair ratio for macrostep paths (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sociedad Matemática Mexicana XYC7E3VHX6
| URI | m2://inv/XYC7E3VHX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#IJD2, Sociedad Matemática Mexicana (unknown)
History
- 2026-11-02: add by m2/dev
XYCCYMAGAT XYCCYMAGAT
| URI | m2://inv/XYCCYMAGAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21322#2052 (statement). In CNDA8DBEGD/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
Ernesto Cesàro XYCD4RVKV1
| URI | m2://inv/XYCD4RVKV1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#73WK, Ernesto Cesàro (topic)
History
- 2026-11-02: add by m2/dev
Bion of Abdera XYCG44J8NV
| URI | m2://inv/XYCG44J8NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bion of Abdera, Bion of Abdera (topic). Also Wikidata Q1236440
History
- 2026-11-02: add by m2/dev
Kaup–Kupershmidt equation XYCQPCAWRY
| URI | m2://inv/XYCQPCAWRY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6378865, Kaup–Kupershmidt equation (concept). Also MathWorld KupershmidtEquation
- wikipedia: Wikipedia Kaup–Kupershmidt equation, Kaup–Kupershmidt equation (definition). Also Wikidata Q6378865
History
- 2026-10-26: add by m2/dev
Friedrich Wilhelm Opelt XYCSBS2TZA
| URI | m2://inv/XYCSBS2TZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#UE5X, Friedrich Wilhelm Opelt (topic)
History
- 2026-11-02: add by m2/dev
Formal definition XYCZWARTG1
| URI | m2://inv/XYCZWARTG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Grassmannian (manifold)#KTNG, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Carl Størmer XYD2SNZK81
| URI | m2://inv/XYD2SNZK81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Størmer, Carl Størmer (topic). Also Wikidata Q858532
History
- 2026-11-02: add by m2/dev
GraphPad InStat XYD3YPC7B2
| URI | m2://inv/XYD3YPC7B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#RTRY, GraphPad InStat (definition)
History
- 2026-11-02: add by m2/dev
Moran Medal XYD6Q3ZA1A
| URI | m2://inv/XYD6Q3ZA1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moran Medal, Moran Medal (definition). Also Wikidata Q6909205
History
- 2026-11-02: add by m2/dev
XYD74DXCDG XYD74DXCDG
| URI | m2://inv/XYD74DXCDG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-30 (proof). In VNMV985MXX, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Abel–Jacobi map XYD8EPKZ29
| URI | m2://inv/XYD8EPKZ29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#RRX7, Abel–Jacobi map (definition)
History
- 2026-11-02: add by m2/dev
XYDJ0MKGRZ XYDJ0MKGRZ
| URI | m2://inv/XYDJ0MKGRZ |
|---|---|
| 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.08664#FW53 (statement). In 1YY0P4ZS0T/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
Enstrophy dissipation for stochastic Euler XYDV71ZSAQ
| URI | m2://inv/XYDV71ZSAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#L5ZY, Enstrophy dissipation for stochastic Euler (statement)
History
- 2026-11-01: add by m2/v0.6.15
XYDWM62D57 XYDWM62D57
| URI | m2://inv/XYDWM62D57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#9G51 (statement). In KS30K5JXGB/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Greatest lower bound XYE1PAAH9W
| URI | m2://inv/XYE1PAAH9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#04JD, Greatest lower bound (definition)
History
- 2026-11-02: add by m2/dev
Applications XYE7AVFT8D
| URI | m2://inv/XYE7AVFT8D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth number#RWGT, Applications (example)
History
- 2026-11-02: add by m2/dev
Heptacontagon XYEFNRBXF8
| URI | m2://inv/XYEFNRBXF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#QL0Z, Heptacontagon (definition)
History
- 2026-11-02: add by m2/dev
XYEFZWBVTV XYEFZWBVTV
| URI | m2://inv/XYEFZWBVTV |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#VZF7 (unknown). In QNBFHFZ3H0/e1, unknown 70
History
- 2026-10-28: add by m2/v0.4.2
PASS Sample Size Software XYEXD8XE5S
| URI | m2://inv/XYEXD8XE5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#F6VZ, PASS Sample Size Software (unknown)
History
- 2026-11-02: add by m2/dev
XYEXTNN592 XYEXTNN592
| URI | m2://inv/XYEXTNN592 |
|---|---|
| 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.12047#LO1R (statement). In ZF1Y3HZMZ9/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.3
XYF5QQ15FS XYF5QQ15FS
| URI | m2://inv/XYF5QQ15FS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19921#RNBB (statement)
History
- 2026-11-02: add by m2/v0.6.18
XYFF9DQHW2 XYFF9DQHW2
| URI | m2://inv/XYFF9DQHW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#FYS1 (statement). In N6GB5J5BAY/e1, lemma 6.9
History
- 2026-10-29: add by m2/v0.4.10
Properties XYFGPE67TP
| URI | m2://inv/XYFGPE67TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian submersion#DTU7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Steven Paul Kerckhoff XYG1JG5KBX
| URI | m2://inv/XYG1JG5KBX |
|---|---|
| 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#NJSY, Steven Paul Kerckhoff (unknown)
History
- 2026-11-02: add by m2/dev
XYG1KCYB7W XYG1KCYB7W
| URI | m2://inv/XYG1KCYB7W |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#5K0H (problem). In G97FA99ZEF/e1, problem 5.1
History
- 2026-10-30: add by m2/v0.4.12
SUSY states XYG32X1DN8
| URI | m2://inv/XYG32X1DN8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#FLTK, SUSY states (definition). In NKXTXH59P1/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Pierre Milman XYG4CTC1A3
| URI | m2://inv/XYG4CTC1A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EZET, Pierre Milman (topic)
History
- 2026-11-02: add by m2/dev
XYG4HZFG4A XYG4HZFG4A
| URI | m2://inv/XYG4HZFG4A |
|---|---|
| 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.36212#NDTH (statement). In N1GH8M0BVW/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Generalizing from A Radon Nikodym type Theorem XYGAB28SFX
| URI | m2://inv/XYGAB28SFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22685#XNWJ, Generalizing from A Radon Nikodym type Theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
XYGD5JK34B XYGD5JK34B
| URI | m2://inv/XYGD5JK34B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:nat-semiring (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
XYGGY6NS63 XYGGY6NS63
| URI | m2://inv/XYGGY6NS63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.01958#DZ5U (statement). In NQFYT2M6YZ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Examples XYGKWGTHY7
| URI | m2://inv/XYGKWGTHY7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by parts operator#9P1S, Examples (example)
History
- 2026-11-02: add by m2/dev
XYGMEP7FMT XYGMEP7FMT
| URI | m2://inv/XYGMEP7FMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#FBV1 (statement). In C8VC86B6H8/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Institute for the Study and Promotion of Race and Culture (ISPRC) XYGMR1X8MM
| URI | m2://inv/XYGMR1X8MM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#U4ZV, Institute for the Study and Promotion of Race and Culture (ISPRC) (unknown)
History
- 2026-11-02: add by m2/dev
n-category XYGT0PFB7Z
| URI | m2://inv/XYGT0PFB7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#CJKG, n-category (definition)
History
- 2026-11-02: add by m2/dev
Chen Guanrong XYGXPRQ30J
| URI | m2://inv/XYGXPRQ30J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PFSA, Chen Guanrong (unknown)
History
- 2026-11-02: add by m2/dev
Relative algebraic closure XYH068V36A
| URI | m2://inv/XYH068V36A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic extension#YD3E, Relative algebraic closure (unknown)
History
- 2026-11-02: add by m2/dev
3-D Secure XYH073WQBD
| URI | m2://inv/XYH073WQBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-D Secure, 3-D Secure (definition). Also Wikidata Q223074
History
- 2026-11-02: add by m2/dev
Elbert Frank Cox XYH5Y57FE4
| URI | m2://inv/XYH5Y57FE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elbert Frank Cox, Elbert Frank Cox (topic). Also Wikidata Q3709242
History
- 2026-11-02: add by m2/dev
XYHE6PHVHK XYHE6PHVHK
| URI | m2://inv/XYHE6PHVHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25157#9C8I (statement)
History
- 2026-11-01: add by m2/v0.6.15
XYHGD68R0C XYHGD68R0C
| URI | m2://inv/XYHGD68R0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.39317#TQ50 (statement). In QM1T8JDK4A/e1, proposition 5.9
History
- 2026-10-30: add by m2/v0.4.12
irrelevant XYHJZCAKD6
| URI | m2://inv/XYHJZCAKD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#55GJ, irrelevant (definition)
History
- 2026-11-02: add by m2/dev
Container XYHRFGZ19C
| URI | m2://inv/XYHRFGZ19C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Container (type theory), Container (definition). Also Wikidata Q5164884
History
- 2026-11-02: add by m2/dev
Example XYHSJX85JF
| URI | m2://inv/XYHSJX85JF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresh variable#6927, Example (example)
History
- 2026-11-02: add by m2/dev
Distance margin XYHZHNK0KZ
| URI | m2://inv/XYHZHNK0KZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08152#5KYR, Distance margin (definition). In T1GYQ6SCCZ/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
XYJ0M0XE1E XYJ0M0XE1E
| URI | m2://inv/XYJ0M0XE1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37524#US28 (definition). In 4GTJAPF7Q3/e1, definition 3.8
History
- 2026-10-30: add by m2/v0.4.12
First passage time XYJ299CG7F
| URI | m2://inv/XYJ299CG7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#7ESW, First passage time (definition)
History
- 2026-11-02: add by m2/dev
Applications XYJDNG6NA5
| URI | m2://inv/XYJDNG6NA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alphabet (formal languages)#D6HU, Applications (example)
History
- 2026-11-02: add by m2/dev
Eisenstein's criterion XYJSQS06PE
| URI | m2://inv/XYJSQS06PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > Eisenstein's criterion, Eisenstein's criterion (unknown). Also Mathlib Polynomial.irreducible_of_eisenstein_criterion
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > Eisenstein's criterion, Eisenstein's criterion (unknown). Also Mathlib Polynomial.irreducible_of_eisenstein_criterion
History
- 2026-10-26: add by m2/dev
Mary Kwasny XYJSTDDXYK
| URI | m2://inv/XYJSTDDXYK |
|---|---|
| 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#9MCH, Mary Kwasny (unknown)
History
- 2026-11-02: add by m2/dev
Simple Recursion XYK1HX5MJW
| URI | m2://inv/XYK1HX5MJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/recursion.tex#simplerecursionschema, Simple Recursion (statement). In PKGMM3P5QY, thm, section 74.5
History
- 2026-11-01: add by m2/v0.6.13
Leibniz algebra XYK1PHJ694
| URI | m2://inv/XYK1PHJ694 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844980, Leibniz algebra (unknown). Also nLab Leibniz algebra
- wikipedia: Wikipedia Leibniz algebra, Leibniz algebra (definition). Also Wikidata Q844980
History
- 2026-10-26: add by m2/dev
Dyadic cubes XYKAR0EVDM
| URI | m2://inv/XYKAR0EVDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadic cubes, Dyadic cubes (definition). Also Wikidata Q5318397
History
- 2026-11-02: add by m2/dev
Vanishing SQP probe XYKCPNCRX7
| URI | m2://inv/XYKCPNCRX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18428#ETHC, Vanishing SQP probe (statement). In 6BGSQT7SV8/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
354 (number) XYKFCB5RBP
| URI | m2://inv/XYKFCB5RBP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#A4UC, 354 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Basic properties XYKFFC9MY4
| URI | m2://inv/XYKFFC9MY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz group#1MI9, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
The paradox XYKFWBS2HN
| URI | m2://inv/XYKFWBS2HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene–Rosser paradox#OW3Z, The paradox (statement)
History
- 2026-11-02: add by m2/dev
XYKG2171QD XYKG2171QD
| URI | m2://inv/XYKG2171QD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal point set#GSXZ (problem)
History
- 2026-11-02: add by m2/dev
Lumpability XYKN64XC92
| URI | m2://inv/XYKN64XC92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumpability, Lumpability (definition). Also Wikidata Q6703404
History
- 2026-11-02: add by m2/dev
David Buchsbaum XYKQMXX87J
| URI | m2://inv/XYKQMXX87J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Buchsbaum, David Buchsbaum (topic). Also Wikidata Q5231863
History
- 2026-11-02: add by m2/dev
Ramanujan Math Park XYKS4PYBMR
| URI | m2://inv/XYKS4PYBMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan Math Park, Ramanujan Math Park (definition). Also Wikidata Q60792393
History
- 2026-11-02: add by m2/dev
XYM1WXKCXS XYM1WXKCXS
| URI | m2://inv/XYM1WXKCXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#definition-1 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
XYM85YRZ1W XYM85YRZ1W
| URI | m2://inv/XYM85YRZ1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#J1C7 (statement). In 9Z8RSQ36JC/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Consecutive quartic sensitivity XYM8RGFJZ6
| URI | m2://inv/XYM8RGFJZ6 |
|---|---|
| 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.17006#6X1I, Consecutive quartic sensitivity (statement). In YY81ZEJ82P/e1, theorem 7.6
History
- 2026-10-28: add by m2/v0.4.2
XYM9CG7Y7K XYM9CG7Y7K
| URI | m2://inv/XYM9CG7Y7K |
|---|---|
| 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 2205.13464#N73G (statement). In JPYGC2R3FC/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.6
Applications XYMFD93VQW
| URI | m2://inv/XYMFD93VQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voigt notation#HWOJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Bounded mean oscillation XYMKTKY39H
| URI | m2://inv/XYMKTKY39H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded mean oscillation, Bounded mean oscillation (definition). Also Wikidata Q796341
History
- 2026-11-02: add by m2/dev
Pointclass XYMMDXGJQH
| URI | m2://inv/XYMMDXGJQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointclass, Pointclass (definition). Also Wikidata Q7208299
History
- 2026-11-02: add by m2/dev
XYMQ17VFJK XYMQ17VFJK
| URI | m2://inv/XYMQ17VFJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35123#1EVD (statement). In 6106R88BNE/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
BPMN model XYN0WDNPHJ
| URI | m2://inv/XYN0WDNPHJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#C186, BPMN model (definition)
History
- 2026-11-02: add by m2/v0.6.18
XYN4T55T3M XYN4T55T3M
| URI | m2://inv/XYN4T55T3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05582#12H8 (statement). In 9X4TANWWWR/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
XYN60B07NS XYN60B07NS
| URI | m2://inv/XYN60B07NS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Pure identity theory XYN6GR142K
| URI | m2://inv/XYN6GR142K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#YXG9, Pure identity theory (unknown)
History
- 2026-11-02: add by m2/dev
Irving S. Reed XYNTN9867A
| URI | m2://inv/XYNTN9867A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0VVP, Irving S. Reed (unknown)
History
- 2026-11-02: add by m2/dev
XYNW9PJ348 XYNW9PJ348
| URI | m2://inv/XYNW9PJ348 |
|---|---|
| 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.25435#MY6J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Random number book XYP5EGF704
| URI | m2://inv/XYP5EGF704 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random number book, Random number book (definition). Also Wikidata Q7291983
History
- 2026-11-02: add by m2/dev
XYP8B7D3EW XYP8B7D3EW
| URI | m2://inv/XYP8B7D3EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11455#2GJZ (statement). In Z1EBVH5SP1/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
XYPP5EJVTQ XYPP5EJVTQ
| URI | m2://inv/XYPP5EJVTQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-37 (proof). In VNMV985MXX, proof, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
XYPVE8YYX5 XYPVE8YYX5
| URI | m2://inv/XYPVE8YYX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#S67Y (statement). In AZMX0CY5NE/e1, lemma 32
History
- 2026-10-27: add by m2/v0.4.2
XYQ1NQ1BCG XYQ1NQ1BCG
| URI | m2://inv/XYQ1NQ1BCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2407.02022#NGMR (statement). In RZDNWV9E29/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
Reduced feedback law polynomial coefficients XYQ1VCDXZY
| URI | m2://inv/XYQ1VCDXZY |
|---|---|
| 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.15942#OFPW, Reduced feedback law polynomial coefficients (statement). In E1X1SEPNJZ/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Friedman XYQBX1P9A7
| URI | m2://inv/XYQBX1P9A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00108#YVNR, Friedman (statement). In V2G422ZMPW/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
371 (number) XYQF7TE3NQ
| URI | m2://inv/XYQF7TE3NQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#W5TQ, 371 (number) (unknown)
History
- 2026-11-02: add by m2/dev
XYQP8Q5WA1 XYQP8Q5WA1
| URI | m2://inv/XYQP8Q5WA1 |
|---|---|
| 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.17527#TDGE (statement). In GWSBQ7MN49/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Marcel Riesz XYQQSE6EJ1
| URI | m2://inv/XYQQSE6EJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#ZRAG, Marcel Riesz (unknown)
History
- 2026-11-02: add by m2/dev
XYQR8SYYZX XYQR8SYYZX
| URI | m2://inv/XYQR8SYYZX |
|---|---|
| Kind | problem |
| 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.26701#L5WI (problem)
History
- 2026-11-01: add by m2/v0.6.15
XYRHE5MX8E XYRHE5MX8E
| URI | m2://inv/XYRHE5MX8E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-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 1503.05744#GZVO (definition). In 5XKHZKEGAF/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
XYRQC4KTKV XYRQC4KTKV
| URI | m2://inv/XYRQC4KTKV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/truth-lemma.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 34.2
History
- 2026-11-01: add by m2/v0.6.13
Rolf Harald Gran Olsson XYRWFWH0JR
| URI | m2://inv/XYRWFWH0JR |
|---|---|
| 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#2UYZ, Rolf Harald Gran Olsson (unknown)
History
- 2026-11-02: add by m2/dev
XYRXAC4GD7 XYRXAC4GD7
| URI | m2://inv/XYRXAC4GD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#definition-2 (definition). In RZP28ERRZV, definition, section 91.2
History
- 2026-11-01: add by m2/v0.6.13
Interpretation via the Chinese Remainder Theorem XYRZ7BR3XF
| URI | m2://inv/XYRZ7BR3XF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montgomery modular multiplication#2R5B, Interpretation via the Chinese Remainder Theorem (statement)
History
- 2026-11-02: add by m2/dev
Table of spherical harmonics XYRZYDK6Y3
| URI | m2://inv/XYRZYDK6Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of spherical harmonics, Table of spherical harmonics (definition). Also Wikidata Q2249209
History
- 2026-11-02: add by m2/dev
Uniform diagonal lemma XYRZZXD0D7
| URI | m2://inv/XYRZZXD0D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal lemma#V6CD, Uniform diagonal lemma (statement)
History
- 2026-11-02: add by m2/dev
Saha, Jahar XYS6ECF0NX
| URI | m2://inv/XYS6ECF0NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XH3I, Saha, Jahar (unknown)
History
- 2026-11-02: add by m2/dev
Examples XYS7XP0EQZ
| URI | m2://inv/XYS7XP0EQZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient ring#692K, Examples (example)
History
- 2026-11-02: add by m2/dev
Multiscale modeling XYS94QC1CV
| URI | m2://inv/XYS94QC1CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiscale modeling, Multiscale modeling (definition). Also Wikidata Q6935072
History
- 2026-11-02: add by m2/dev
XYSAMD9BWY XYSAMD9BWY
| URI | m2://inv/XYSAMD9BWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#MDGE (statement). In 3XBEGXNPXZ/e1, proposition A.2
History
- 2026-10-27: add by m2/v0.4.2
Dirichlet eigenvalue XYSF8311P2
| URI | m2://inv/XYSF8311P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet eigenvalue, Dirichlet eigenvalue (definition). Also Wikidata Q5280763
History
- 2026-11-02: add by m2/dev
Anja Schlömerkemper XYSFZZ4M35
| URI | m2://inv/XYSFZZ4M35 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anja Schlömerkemper, Anja Schlömerkemper (topic). Also Wikidata Q102246968
History
- 2026-11-02: add by m2/dev
presentable XYSJ8SS8C6
| URI | m2://inv/XYSJ8SS8C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#TM6E, presentable (definition)
History
- 2026-11-02: add by m2/dev
Floquet's principle XYSJQAB4DN
| URI | m2://inv/XYSJQAB4DN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency selective surface#C1AK, Floquet's principle (statement)
History
- 2026-11-02: add by m2/dev
Vasily Grossman XYSKQPNDNS
| URI | m2://inv/XYSKQPNDNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#FWDG, Vasily Grossman (unknown)
History
- 2026-11-02: add by m2/dev
Finite verification for a fixed residue class XYSP3FGDNG
| URI | m2://inv/XYSP3FGDNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#M7QF, Finite verification for a fixed residue class (statement)
History
- 2026-11-01: add by m2/v0.6.15
Four color theorem and SSReflect extension XYSS227WYE
| URI | m2://inv/XYSS227WYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rocq#O9PV, Four color theorem and SSReflect extension (statement)
History
- 2026-11-02: add by m2/dev
Applications XYST7TXDCJ
| URI | m2://inv/XYST7TXDCJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mellin transform#8YDP, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications XYSTMC8NX5
| URI | m2://inv/XYSTMC8NX5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NOMINATE (scaling method)#7FYO, Applications (example)
History
- 2026-11-02: add by m2/dev
XYSZ2TZ963 XYSZ2TZ963
| URI | m2://inv/XYSZ2TZ963 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15010#ATPH (statement). In K3WJ6ZN184/e1, lemma 14.5
History
- 2026-10-27: add by m2/v0.3.5
XYT085TDMJ XYT085TDMJ
| URI | m2://inv/XYT085TDMJ |
|---|---|
| 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 1912.13357#6GA3 (statement). In K8CQDCYBR3/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Wiesław Żelazko XYT1ADK1H5
| URI | m2://inv/XYT1ADK1H5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiesław Żelazko, Wiesław Żelazko (topic). Also Wikidata Q657990
History
- 2026-11-02: add by m2/dev
XYT3AKCCG3 XYT3AKCCG3
| URI | m2://inv/XYT3AKCCG3 |
|---|---|
| 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 2512.08487#1MPB (statement). In 77TVQVYN0Z/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.6
XYT4J9CVFF XYT4J9CVFF
| URI | m2://inv/XYT4J9CVFF |
|---|---|
| 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 2110.06338#JX7A (definition). In W1VVK7WDPK/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.0
XYT61JSP0F XYT61JSP0F
| URI | m2://inv/XYT61JSP0F |
|---|---|
| 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.18922#BD56 (statement). In 6FKDYENQ8M/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.2
XYTCGNTMPT XYTCGNTMPT
| URI | m2://inv/XYTCGNTMPT |
|---|---|
| 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.28518#H5GZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
XYTDBJ2HEC XYTDBJ2HEC
| URI | m2://inv/XYTDBJ2HEC |
|---|---|
| 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.36877#XBMO (statement). In FYS6VV5M99/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
XYTF59RR5X XYTF59RR5X
| URI | m2://inv/XYTF59RR5X |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.06795#8T3F (problem). In 32MMSEVHYN/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Definitions XYTH1MPRF8
| URI | m2://inv/XYTH1MPRF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Bros–Iagolnitzer transform#334B, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Chervonenkis, Alexey XYTR662A2P
| URI | m2://inv/XYTR662A2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LMER, Chervonenkis, Alexey (topic)
History
- 2026-11-02: add by m2/dev
Algebraic properties XYTS8H46BM
| URI | m2://inv/XYTS8H46BM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia −1#SYGB, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
XYVK755FR0 XYVK755FR0
| URI | m2://inv/XYVK755FR0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 22.15
History
- 2026-11-01: add by m2/v0.6.13
XYVR5RF8Q1 XYVR5RF8Q1
| URI | m2://inv/XYVR5RF8Q1 |
|---|---|
| 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.31527#MVG2 (statement). In ZQ2YZ4P6P5/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
Examples XYVT1XTSJ4
| URI | m2://inv/XYVT1XTSJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#9JMJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Johann Heinrich Ernesti XYWB2Q6YPH
| URI | m2://inv/XYWB2Q6YPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Heinrich Ernesti, Johann Heinrich Ernesti (topic). Also Wikidata Q105895
History
- 2026-11-02: add by m2/dev
XYWH76DJSA XYWH76DJSA
| URI | m2://inv/XYWH76DJSA |
|---|---|
| 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.34731#7WWV (statement). In MH54AS0Y61/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Leonard Blumenthal XYWJX1ZYQM
| URI | m2://inv/XYWJX1ZYQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4Y3U, Leonard Blumenthal (topic)
History
- 2026-11-02: add by m2/dev
XYWKRC680A XYWKRC680A
| URI | m2://inv/XYWKRC680A |
|---|---|
| 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.12736#QAMF (statement). In 5350Q52F6P/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
Examples XYWNB25M9H
| URI | m2://inv/XYWNB25M9H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second quantization#1BOL, Examples (example)
History
- 2026-11-02: add by m2/dev
Exact Hermite connection determinant XYWY7KQEYN
| URI | m2://inv/XYWY7KQEYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#2RI4, Exact Hermite connection determinant (statement)
History
- 2026-11-02: add by m2/v0.6.17
Matrix Langevin distribution XYX21D19K9
| URI | m2://inv/XYX21D19K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#67US, Matrix Langevin distribution (definition)
History
- 2026-11-02: add by m2/dev
XYX2XTEBEJ XYX2XTEBEJ
| URI | m2://inv/XYX2XTEBEJ |
|---|---|
| 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 2204.04820#LMW0 (statement). In 9EJ71MW89B/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Generalizations XYX76327EF
| URI | m2://inv/XYX76327EF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#BTJ4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Generalizations XYXKVD3NMH
| URI | m2://inv/XYXKVD3NMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor field#Z4OT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Schur-type Theorems XYXP9FY6YN
| URI | m2://inv/XYXP9FY6YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1709.04968#K6S7, Schur-type Theorems (statement). In BEX59Q3DE4/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
XYXSVKTYJH XYXSVKTYJH
| URI | m2://inv/XYXSVKTYJH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-3 (example). In E59CDZA4DP, example, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
XYXW9J2AV7 XYXW9J2AV7
| URI | m2://inv/XYXW9J2AV7 |
|---|---|
| Kind | definition |
| 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.05216#70HP (definition). In J1VCHM6V0S/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Construction XYXZQJNM53
| URI | m2://inv/XYXZQJNM53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead manifold#5TET, Construction (definition)
History
- 2026-11-02: add by m2/dev
Matched positive rank-moment exponent XYY319EK37
| URI | m2://inv/XYY319EK37 |
|---|---|
| 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.29688#8L7Q, Matched positive rank-moment exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complete set of commuting observables XYY568M420
| URI | m2://inv/XYY568M420 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete set of commuting observables, Complete set of commuting observables (definition). Also Wikidata Q901157
History
- 2026-11-02: add by m2/dev
XYY6WRKS1H XYY6WRKS1H
| URI | m2://inv/XYY6WRKS1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/definitions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 28.7
History
- 2026-11-01: add by m2/v0.6.13
Monotonic labeled poset XYYABC19MA
| URI | m2://inv/XYYABC19MA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30323#7D53, Monotonic labeled poset (definition). In HDJ6N25XVT/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
XYYDBQFX4D XYYDBQFX4D
| URI | m2://inv/XYYDBQFX4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#4GTR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Davenport constant XYYNPWFN7B
| URI | m2://inv/XYYNPWFN7B |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17008552, Davenport constant (object). Also MathWorld DavenportConstant
- wikipedia: Wikipedia Davenport constant, Davenport constant (object). Also Wikidata Q17008552
History
- 2026-10-26: add by m2/dev
Controllability Gramian XYYQY77T6V
| URI | m2://inv/XYYQY77T6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controllability Gramian, Controllability Gramian (definition). Also Wikidata Q83587
History
- 2026-11-02: add by m2/dev
XYZ1YCVRM6 XYZ1YCVRM6
| URI | m2://inv/XYZ1YCVRM6 |
|---|---|
| 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.21140#WYTY (statement)
History
- 2026-11-02: add by m2/v0.6.18
XYZ25NYE8C XYZ25NYE8C
| URI | m2://inv/XYZ25NYE8C |
|---|---|
| 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 0911.1417#DUPV (statement). In BBD7TZW79R/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
XYZ32MK38K XYZ32MK38K
| URI | m2://inv/XYZ32MK38K |
|---|---|
| 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 2105.03715#YU0S (statement). In H3FWT3Z0J4/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
XYZA7PCSM0 XYZA7PCSM0
| URI | m2://inv/XYZA7PCSM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#EQA2 (definition). In WZPD7TNNY9/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
XYZBSRNYH6 XYZBSRNYH6
| URI | m2://inv/XYZBSRNYH6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#0IVS (definition). In 9TR5E527P5/e1, definition 6.25
History
- 2026-10-29: add by m2/v0.4.10
Pronormal subgroup XYZEQV59QE
| URI | m2://inv/XYZEQV59QE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pronormal subgroup, Pronormal subgroup (definition). Also Wikidata Q7249944
History
- 2026-11-02: add by m2/dev
modus ponens XYZKYFDNPD
| URI | m2://inv/XYZKYFDNPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZBWX, modus ponens (definition)
History
- 2026-11-02: add by m2/dev
XYZSF5BVGT XYZSF5BVGT
| URI | m2://inv/XYZSF5BVGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#theorem-6 (statement). In RZP28ERRZV, theorem, section 13.6.2
History
- 2026-11-01: add by m2/v0.6.13
XYZY49YTKV XYZY49YTKV
| URI | m2://inv/XYZY49YTKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20679#LUF2 (statement)
History
- 2026-11-02: add by m2/v0.6.18