Inventory rows M6
The cards of the rows of the inventory whose ids start with M6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
M606VCSKCA M606VCSKCA
| URI | m2://inv/M606VCSKCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21274#V33E (statement)
History
- 2026-11-02: add by m2/v0.6.18
Besov space M60AH0CVJC
| URI | m2://inv/M60AH0CVJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Besov space, Besov space (definition). Also Wikidata Q526261
History
- 2026-11-02: add by m2/dev
Applications M60AT2GFD6
| URI | m2://inv/M60AT2GFD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder's equation#6CQU, Applications (example)
History
- 2026-11-02: add by m2/dev
M60DRP12XY M60DRP12XY
| URI | m2://inv/M60DRP12XY |
|---|---|
| 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.27016#52ZI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Validity (statistics) M60FYCRQ3B
| URI | m2://inv/M60FYCRQ3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YRWR, Validity (statistics) (definition)
History
- 2026-11-02: add by m2/dev
M60RRKENDA M60RRKENDA
| URI | m2://inv/M60RRKENDA |
|---|---|
| Kind | conjecture |
| 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#Z3V1 (conjecture). In WRMNCC8VBC/e1, conjecture 24
History
- 2026-10-27: add by m2/v0.3.6
M60S1M40S7 M60S1M40S7
| URI | m2://inv/M60S1M40S7 |
|---|---|
| Kind | example |
| 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.33124#0QHQ (example). In P27HYGQDAN/e1, example 17
History
- 2026-10-30: add by m2/v0.4.12
M60XGNJ04H M60XGNJ04H
| URI | m2://inv/M60XGNJ04H |
|---|---|
| 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.05696#0AID (statement). In MG81A9XJTQ/e1, proposition VI.1
History
- 2026-10-29: add by m2/v0.4.10
Steven Kleiman M6155KEY0K
| URI | m2://inv/M6155KEY0K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2R4L, Steven Kleiman (topic)
History
- 2026-11-02: add by m2/dev
A Bird in Flight M617W54R7W
| URI | m2://inv/M617W54R7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamid Naderi Yeganeh#41L4, A Bird in Flight (unknown)
History
- 2026-11-02: add by m2/dev
Stability of the bridge densities M619Y268ZM
| URI | m2://inv/M619Y268ZM |
|---|---|
| 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.14616#62SK, Stability of the bridge densities (statement). In 17ACAG0N9C/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.2
M61A4PTDVE M61A4PTDVE
| URI | m2://inv/M61A4PTDVE |
|---|---|
| Kind | example |
| 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#ZMZ2 (example). In 4GTJAPF7Q3/e1, example 3.3
History
- 2026-10-30: add by m2/v0.4.12
Special case M61C41H1KF
| URI | m2://inv/M61C41H1KF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester's formula#LAMV, Special case (statement)
History
- 2026-11-02: add by m2/dev
Grover's algorithm M61C90EYT2
| URI | m2://inv/M61C90EYT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1028292, Grover's algorithm (unknown). Also nLab Grover's algorithm
- wikipedia: Wikipedia Grover's algorithm, Grover's algorithm (definition). Also Wikidata Q1028292
History
- 2026-10-26: add by m2/dev
M61GREBHW0 M61GREBHW0
| URI | m2://inv/M61GREBHW0 |
|---|---|
| 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.21017#SRWZ (statement). In 8KKYZ4NKT2/e1, lemma 27
History
- 2026-10-27: add by m2/v0.4.2
M61K6YCV3S M61K6YCV3S
| URI | m2://inv/M61K6YCV3S |
|---|---|
| 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.15770#EQ71 (statement). In DXFR0BNE47/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
truth table M61WY7SA74
| URI | m2://inv/M61WY7SA74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Truth table 05RSK4Q657 |
Mentions
- wikidata: Wikidata Q219079, truth table (unknown). Also EoM Truth_table, MathWorld TruthTable
- wikipedia: Wikipedia Truth table, Truth table (definition). Also Wikidata Q219079
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Matrix analysis M623T43XM5
| URI | m2://inv/M623T43XM5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix analysis, Matrix analysis (topic). Also Wikidata Q17098730
History
- 2026-11-02: add by m2/dev
Andrea Bertozzi M6246FNKDP
| URI | m2://inv/M6246FNKDP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Bertozzi, Andrea Bertozzi (topic). Also Wikidata Q4754971
History
- 2026-11-02: add by m2/dev
Partial cyclic order M62A3CAT2Z
| URI | m2://inv/M62A3CAT2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial cyclic order, Partial cyclic order (definition). Also Wikidata Q7140364
History
- 2026-11-02: add by m2/dev
M62MVEEBQY M62MVEEBQY
| URI | m2://inv/M62MVEEBQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#TY1P (statement). In 8Z47D12KSX/e1, corollary 10.8
History
- 2026-10-29: add by m2/v0.4.10
Weddle surface M62V4BP9H6
| URI | m2://inv/M62V4BP9H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#G2YX, Weddle surface (definition)
History
- 2026-11-02: add by m2/dev
Arithmetic zeta function M62W1EGJEJ
| URI | m2://inv/M62W1EGJEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#BRFY, Arithmetic zeta function (definition)
History
- 2026-11-02: add by m2/dev
Vietoris–Begle mapping theorem M634452EH5
| URI | m2://inv/M634452EH5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DVNS, Vietoris–Begle mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
blowing up M634VAQQ9E
| URI | m2://inv/M634VAQQ9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Blowing up C4KGYAFPN7 |
Mentions
- wikidata: Wikidata Q1036595, blowing up (unknown). Also EoM Blow-up_algebra
- wikipedia: Wikipedia Blowing up, Blowing up (definition). Also Wikidata Q1036595
History
- 2026-10-26: add by m2/dev
M6384GAGTJ M6384GAGTJ
| URI | m2://inv/M6384GAGTJ |
|---|---|
| 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.01501#8TRR (statement). In 8Q2PXZDGB5/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
M63CMSSC9C M63CMSSC9C
| URI | m2://inv/M63CMSSC9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10643#VKP9 (statement). In 1FJSQAGF8R/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
M63JSYGREK M63JSYGREK
| URI | m2://inv/M63JSYGREK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#U432 (example). In 1463YCCRP5/e1, example 7.2
History
- 2026-10-27: add by m2/v0.4.0
M63R0TFE7Z M63R0TFE7Z
| URI | m2://inv/M63R0TFE7Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#P4KO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Gene Spafford M63WFQEQ9N
| URI | m2://inv/M63WFQEQ9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M264, Gene Spafford (unknown)
History
- 2026-11-02: add by m2/dev
Suanfa tongzong M64ADJTCM9
| URI | m2://inv/M64ADJTCM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suanfa tongzong, Suanfa tongzong (definition). Also Wikidata Q17031966
History
- 2026-11-02: add by m2/dev
Jens Carsten Jantzen M64AY63NMR
| URI | m2://inv/M64AY63NMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CQXE, Jens Carsten Jantzen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CH5V, Jens Carsten Jantzen (topic)
History
- 2026-11-02: add by m2/dev
Formula M64CXGSJ1B
| URI | m2://inv/M64CXGSJ1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional derivative#NO3W, Formula (statement)
History
- 2026-11-02: add by m2/dev
M64FC2T7F6 M64FC2T7F6
| URI | m2://inv/M64FC2T7F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.05730#ZN7S (statement). In KWX3Q669ES/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Frobenius distance M64P04VWQD
| URI | m2://inv/M64P04VWQD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix norm#6GMC, Frobenius distance (unknown)
History
- 2026-11-02: add by m2/dev
M64TMZNZ4N M64TMZNZ4N
| URI | m2://inv/M64TMZNZ4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#5W5O (statement). In BDN507RN7J/e1, lemma 6.1.1
History
- 2026-10-30: add by m2/v0.4.12
Effects of inserting and removing propositions M64WAC14MY
| URI | m2://inv/M64WAC14MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent#GJRY, Effects of inserting and removing propositions (statement)
History
- 2026-11-02: add by m2/dev
M64YTVMXBZ M64YTVMXBZ
| URI | m2://inv/M64YTVMXBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2609.31883#LX0Q (statement). In XBHQRTBH62/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Brian D. Ripley M64Z483GNS
| URI | m2://inv/M64Z483GNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian D. Ripley, Brian D. Ripley (topic). Also Wikidata Q2392290
History
- 2026-11-02: add by m2/dev
Seismic data processing M650PFMVNW
| URI | m2://inv/M650PFMVNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection seismology#6653, Seismic data processing (unknown)
History
- 2026-11-02: add by m2/dev
M651YKFKE9 M651YKFKE9
| URI | m2://inv/M651YKFKE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.18436#YB0S (statement). In 6W19Z58188/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.6
M657EFZM8J M657EFZM8J
| URI | m2://inv/M657EFZM8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26922#8BHV (statement)
History
- 2026-11-01: add by m2/v0.6.15
injection M65F626MFC
| URI | m2://inv/M65F626MFC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.4/injection, injection (concept). In QKM9DD2H56, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
Rush Hour M65J8RFVJF
| URI | m2://inv/M65J8RFVJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#48IJ, Rush Hour (unknown)
History
- 2026-11-02: add by m2/dev
Finite-sample relative-entropy risk M65JZ4YEK0
| URI | m2://inv/M65JZ4YEK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00117#TF9I, Finite-sample relative-entropy risk (statement). In 4G2BDP206S/e1, theorem 11
History
- 2026-10-30: add by m2/v0.4.12
Long exact sequence for relative homology M65M2XP24V
| URI | m2://inv/M65M2XP24V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#thm:long_exact_rel, Long exact sequence for relative homology (statement). In RZP28ERRZV, theorem, section 54.2
History
- 2026-11-01: add by m2/v0.6.13
Definition M65W9R2MVJ
| URI | m2://inv/M65W9R2MVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#T1V6, Definition (definition)
History
- 2026-11-02: add by m2/dev
M66B7NF1Q9 M66B7NF1Q9
| URI | m2://inv/M66B7NF1Q9 |
|---|---|
| Kind | example |
| 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.22657#CHOF (example)
History
- 2026-11-02: add by m2/v0.6.17
pseudosphere M66DCZA8AH
| URI | m2://inv/M66DCZA8AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1458609, pseudosphere (unknown). Also MathWorld Pseudosphere
- wikipedia: Wikipedia Pseudosphere, Pseudosphere (definition). Also Wikidata Q1458609
History
- 2026-10-26: add by m2/dev
Panda Math M66PGP5YSX
| URI | m2://inv/M66PGP5YSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Animal Math#5HFQ, Panda Math (unknown)
History
- 2026-11-02: add by m2/dev
M66Q4Y2K3B M66Q4Y2K3B
| URI | m2://inv/M66Q4Y2K3B |
|---|---|
| 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.08226#TNBW (statement). In V6EPE8XHAD/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.10
triangle wave M66RCW1YEX
| URI | m2://inv/M66RCW1YEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1257456, triangle wave (unknown). Also MathWorld FourierSeriesTriangleWave
- wikipedia: Wikipedia Triangle wave, Triangle wave (definition). Also Wikidata Q1257456
History
- 2026-10-26: add by m2/dev
function extensionality, proof from interval type M66XF3HPSV
| URI | m2://inv/M66XF3HPSV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.3/function-extensionality-proof-from-interval-type, function extensionality, proof from interval type (concept). In N54F33XE07, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Heat capacity ratio M66YXWC9Q0
| URI | m2://inv/M66YXWC9Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat capacity ratio, Heat capacity ratio (definition). Also Wikidata Q503869
History
- 2026-11-02: add by m2/dev
M67033XKN1 M67033XKN1
| URI | m2://inv/M67033XKN1 |
|---|---|
| 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.19088#GAEM (statement). In 90QTB4CC31/e1, lemma 4.14
History
- 2026-10-28: add by m2/v0.4.2
simply connected space M670YD9APG
| URI | m2://inv/M670YD9APG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Simply connected domain 0QW64ARSHB |
Mentions
- wikidata: Wikidata Q912058, simply connected space (unknown). Also MathWorld SimplyConnected, nLab simply connected space
- wikipedia: Wikipedia Simply connected space, Simply connected space (definition). Also Wikidata Q912058
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Ultra-connected M671ECJHPQ
| URI | m2://inv/M671ECJHPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#JVU3, Ultra-connected (definition)
History
- 2026-11-02: add by m2/dev
Hill's spherical vortex M674GC1S0Q
| URI | m2://inv/M674GC1S0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill's spherical vortex, Hill's spherical vortex (definition). Also Wikidata Q108280743
History
- 2026-11-02: add by m2/dev
M67BX5RRSW M67BX5RRSW
| URI | m2://inv/M67BX5RRSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#HIPI (statement). In DR7BK4CQ0V/e1, theorem 6.12
History
- 2026-10-28: add by m2/v0.4.3
Hindcast M67HMVHRAZ
| URI | m2://inv/M67HMVHRAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backtesting#56FY, Hindcast (unknown)
History
- 2026-11-02: add by m2/dev
M67RVWR2PR M67RVWR2PR
| URI | m2://inv/M67RVWR2PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#RZNW (statement). In X47RYAZF8P/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
M67Z2Q95SZ M67Z2Q95SZ
| URI | m2://inv/M67Z2Q95SZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.20257#7N1U (example). In 9NDZ6GG9XZ/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
M681YPWGX9 M681YPWGX9
| URI | m2://inv/M681YPWGX9 |
|---|---|
| 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 2610.16178#OT1S (statement). In 698X5RE1AB/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Examples M687FNPGZB
| URI | m2://inv/M687FNPGZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plot (graphics)#WLYU, Examples (example)
History
- 2026-11-02: add by m2/dev
M6883Y2E7N M6883Y2E7N
| URI | m2://inv/M6883Y2E7N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#example-1 (example). In RZP28ERRZV, example, section 14.1
History
- 2026-11-01: add by m2/v0.6.13
Torsionless module M689HJ8Y93
| URI | m2://inv/M689HJ8Y93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsionless module, Torsionless module (definition). Also Wikidata Q7827210
History
- 2026-11-02: add by m2/dev
15 Puzzle M68D459ERP
| URI | m2://inv/M68D459ERP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles#FEL4, 15 Puzzle (problem)
History
- 2026-11-02: add by m2/dev
cohomology with compact support M68D9TTYS2
| URI | m2://inv/M68D9TTYS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5141400, cohomology with compact support (unknown). Also nLab compactly supported cohomology
- wikipedia: Wikipedia Cohomology with compact support, Cohomology with compact support (definition). Also Wikidata Q5141400
History
- 2026-10-26: add by m2/dev
Thompson transitivity theorem M68J7M7YY4
| URI | m2://inv/M68J7M7YY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#837C, Thompson transitivity theorem (statement)
History
- 2026-11-02: add by m2/dev
M68KBQHPVH M68KBQHPVH
| URI | m2://inv/M68KBQHPVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#definition-4 (definition). In RZP28ERRZV, definition, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
M68SAWQWFF M68SAWQWFF
| URI | m2://inv/M68SAWQWFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#LPAP (statement). In 9VPMHV0M4R/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Eric W. Weisstein M690QE2Y7J
| URI | m2://inv/M690QE2Y7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q168550, Eric W. Weisstein (unknown). Also ProofWiki Mathematician:Eric_Wolfgang_Weisstein
- wikipedia: Wikipedia Eric W. Weisstein, Eric W. Weisstein (topic). Also Wikidata Q168550
History
- 2026-10-26: add by m2/dev
List of axiomatic systems in logic M690QYS788
| URI | m2://inv/M690QYS788 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axiomatic systems in logic, List of axiomatic systems in logic (topic). Also Wikidata Q6626686
History
- 2026-11-02: add by m2/dev
Formal definition M696VEFXEX
| URI | m2://inv/M696VEFXEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rewriting#SM9R, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Heawood graph M69TPK9CEB
| URI | m2://inv/M69TPK9CEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3046737, Heawood graph (unknown). Also House of Graphs 1154, MathWorld HeawoodGraph
- wikipedia: Wikipedia Heawood graph, Heawood graph (definition). Also Wikidata Q3046737
History
- 2026-10-26: add by m2/dev
Examples M69XASY567
| URI | m2://inv/M69XASY567 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge star operator#TZ3P, Examples (example)
History
- 2026-11-02: add by m2/dev
M6A0TR0080 M6A0TR0080
| URI | m2://inv/M6A0TR0080 |
|---|---|
| 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.30933#IS0F (statement). In KXWYE4SJY3/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
M6A1EA73WC M6A1EA73WC
| URI | m2://inv/M6A1EA73WC |
|---|---|
| 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.11047#XHWQ (statement). In MNQAZ70XTH/e1, lemma 10.10
History
- 2026-10-28: add by m2/v0.4.3
Population statistics M6A2BD7109
| URI | m2://inv/M6A2BD7109 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IB7E, Population statistics (definition)
History
- 2026-11-02: add by m2/dev
Shell dimensional analysis M6A345YWR3
| URI | m2://inv/M6A345YWR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#23MV, Shell dimensional analysis (statement). In ESPJMBH2R2/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
sporadic group M6A7K1REAV
| URI | m2://inv/M6A7K1REAV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sporadic group PZ49Z4CBFZ |
Mentions
- wikidata: Wikidata Q2682286, sporadic group (concept). Also EoM Sporadic_simple_group, MathWorld SporadicGroup
- wikipedia: Wikipedia Sporadic group, Sporadic group (definition). Also Wikidata Q2682286
History
- 2026-10-26: add by m2/dev
Definition M6AH4ZHEFP
| URI | m2://inv/M6AH4ZHEFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bound state#K8IH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pieri's Rule M6AKH7X0TG
| URI | m2://inv/M6AKH7X0TG |
|---|---|
| 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.21645#B6Y6, Pieri's Rule (statement)
History
- 2026-11-02: add by m2/v0.6.18
M6AP55MR79 M6AP55MR79
| URI | m2://inv/M6AP55MR79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23942#OTDG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Riemannian metric M6B3H43YN2
| URI | m2://inv/M6B3H43YN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#3LAX, Riemannian metric (unknown)
History
- 2026-11-02: add by m2/dev
M6B5WTPKG2 M6B5WTPKG2
| URI | m2://inv/M6B5WTPKG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07190#VREG (statement). In ZWS6Q4467X/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
M6B6NW2BGY M6B6NW2BGY
| URI | m2://inv/M6B6NW2BGY |
|---|---|
| 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.35320#UAYH (statement). In QJ6AEW93RB/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
M6B9NDZH26 M6B9NDZH26
| URI | m2://inv/M6B9NDZH26 |
|---|---|
| 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.22952#LY2B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Filling radius M6BBA5W4C2
| URI | m2://inv/M6BBA5W4C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#EGZZ, Filling radius (definition)
History
- 2026-11-02: add by m2/dev
M6BCR2ETDC M6BCR2ETDC
| URI | m2://inv/M6BCR2ETDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1006.3331#O90C (statement). In AY6WYB9RR3/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
John William Theodore Youngs M6BD9NGG2J
| URI | m2://inv/M6BD9NGG2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John William Theodore Youngs, John William Theodore Youngs (topic). Also Wikidata Q1386725
History
- 2026-11-02: add by m2/dev
Faithful-ideal criterion M6BMZ9RNKJ
| URI | m2://inv/M6BMZ9RNKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#8CUJ, Faithful-ideal criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
ADF-GLS test M6BQ4DKSWP
| URI | m2://inv/M6BQ4DKSWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADF-GLS test, ADF-GLS test (definition). Also Wikidata Q22666683
History
- 2026-11-02: add by m2/dev
Applications M6BR90FG8K
| URI | m2://inv/M6BR90FG8K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace (linear algebra)#H7R6, Applications (example)
History
- 2026-11-02: add by m2/dev
antecedent M6BY9GP442
| URI | m2://inv/M6BY9GP442 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5GSR, antecedent (definition)
History
- 2026-11-02: add by m2/dev
Peter Comrie M6BZ7EDJER
| URI | m2://inv/M6BZ7EDJER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Comrie, Peter Comrie (topic). Also Wikidata Q21664307
History
- 2026-11-02: add by m2/dev
M6C18F0WSA M6C18F0WSA
| URI | m2://inv/M6C18F0WSA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#5959 (definition). In P8KT6JV9N1/e1, definition 5.10
History
- 2026-10-29: add by m2/v0.4.12
Multiclass Littlestone dimension M6C18JEXMM
| URI | m2://inv/M6C18JEXMM |
|---|---|
| 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.18154#FTB9, Multiclass Littlestone dimension (definition). In 4W7ARR1DAR/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Local properties M6C3YAQ9PA
| URI | m2://inv/M6C3YAQ9PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35460#ASXW, Local properties (statement). In R515NECVME/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Local noise stability, gradient-free M6C43Z6NFH
| URI | m2://inv/M6C43Z6NFH |
|---|---|
| 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.00033#QVVG, Local noise stability, gradient-free (statement). In SHMMW4JXZ1/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
M6C5EFNSNT M6C5EFNSNT
| URI | m2://inv/M6C5EFNSNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#LCW6 (statement). In AQWX60Z563/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
M6CAWYHX88 M6CAWYHX88
| URI | m2://inv/M6CAWYHX88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#definition-3 (definition). In RZP28ERRZV, definition, section 44.4
History
- 2026-11-01: add by m2/v0.6.13
Regularized GW duality M6CEBWJBSP
| URI | m2://inv/M6CEBWJBSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14562#V60R, Regularized GW duality (statement). In G4XMZ452QE/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
M6CP4EYE7M M6CP4EYE7M
| URI | m2://inv/M6CP4EYE7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#defn-7 (definition). In E59CDZA4DP, defn, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
M6CRRNDY7N M6CRRNDY7N
| URI | m2://inv/M6CRRNDY7N |
|---|---|
| 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.03460#KN9W (statement). In 54HWP298DG/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
M6D00RXBNE M6D00RXBNE
| URI | m2://inv/M6D00RXBNE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#L9X0 (example). In HA9B7PD0YV/e1, example 5
History
- 2026-10-29: add by m2/v0.4.10
Truth-bearer M6D87F83JT
| URI | m2://inv/M6D87F83JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth-bearer, Truth-bearer (definition). Also Wikidata Q5411613
History
- 2026-11-02: add by m2/dev
M6DGVNF3ZV M6DGVNF3ZV
| URI | m2://inv/M6DGVNF3ZV |
|---|---|
| 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 2011.12496#50FJ (statement). In 1DH15ZJFRZ/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
glueball M6DQXZV5ZB
| URI | m2://inv/M6DQXZV5ZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1199270, glueball (unknown). Also nLab glueball
History
- 2026-10-26: add by m2/dev
M6DS2RZ1NQ M6DS2RZ1NQ
| URI | m2://inv/M6DS2RZ1NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#EVP9 (statement). In 8TSZ2E32K3/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
M6DT4AEG2V M6DT4AEG2V
| URI | m2://inv/M6DT4AEG2V |
|---|---|
| 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 1910.05504#ZPXD (statement). In 6ZR1NC9Z1S/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
M6DVG2FDCP M6DVG2FDCP
| URI | m2://inv/M6DVG2FDCP |
|---|---|
| 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.37589#VWD1 (statement). In 18HVB2SKW1/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
$(\infty,1)$-topos M6E2715NF7
| URI | m2://inv/M6E2715NF7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/infty-1-topos, $(\infty,1)$-topos (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Dictionary and convex family M6E3K1VG2Z
| URI | m2://inv/M6E3K1VG2Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00039#IHY6, Dictionary and convex family (definition). In 2YQ3WX6VSW/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Sherman Weissman M6E7NQP72M
| URI | m2://inv/M6E7NQP72M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RJJ1, Sherman Weissman (unknown)
History
- 2026-11-02: add by m2/dev
sequent M6E8C09F4C
| URI | m2://inv/M6E8C09F4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QN4Y, sequent (definition)
History
- 2026-11-02: add by m2/dev
Dudley Weldon Woodard M6EDWQNCAD
| URI | m2://inv/M6EDWQNCAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dudley Weldon Woodard, Dudley Weldon Woodard (topic). Also Wikidata Q16946097
History
- 2026-11-02: add by m2/dev
AGM Postulates M6EE46Z7N8
| URI | m2://inv/M6EE46Z7N8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief revision#DAAJ, AGM Postulates (unknown)
History
- 2026-11-02: add by m2/dev
Actuarial polynomials M6EFBAW0CN
| URI | m2://inv/M6EFBAW0CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#JWA9, Actuarial polynomials (definition)
History
- 2026-11-02: add by m2/dev
Pythagorean means M6EFSG0DZQ
| URI | m2://inv/M6EFSG0DZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#3CY6, Pythagorean means (definition)
History
- 2026-11-02: add by m2/dev
M6EHNCVGAJ M6EHNCVGAJ
| URI | m2://inv/M6EHNCVGAJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#KY70 (definition). In WXJ2V3HA2R/e1, definition E.1
History
- 2026-10-27: add by m2/v0.3.5
M6END64N3X M6END64N3X
| URI | m2://inv/M6END64N3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35460#KL61 (statement). In R515NECVME/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Comparison with Maupertuis' principle M6ET69GJAZ
| URI | m2://inv/M6ET69GJAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton's principle#3JB4, Comparison with Maupertuis' principle (statement)
History
- 2026-11-02: add by m2/dev
M6F0EYAER6 M6F0EYAER6
| URI | m2://inv/M6F0EYAER6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#6HJ8 (statement). In E1Y93JNBJA/e1, lemma 8.2
History
- 2026-10-31: add by m2/v0.5.6
M6F1SWY8C6 M6F1SWY8C6
| URI | m2://inv/M6F1SWY8C6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#1UHW (statement). In G02N9D40B9/e1, corollary 4.2.5
History
- 2026-10-29: add by m2/v0.4.10
Continuity in the defining equation M6F2VAW63B
| URI | m2://inv/M6F2VAW63B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#02WM, Continuity in the defining equation (statement). In 8BNPFYQDQX/e1, lemma 14.5
History
- 2026-10-29: add by m2/v0.4.10
Randomness M6FFEQYQ1V
| URI | m2://inv/M6FFEQYQ1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness, Randomness (definition). Also Wikidata Q176640
History
- 2026-11-02: add by m2/dev
MLwiN M6FFQ3CAYK
| URI | m2://inv/M6FFQ3CAYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RX6N, MLwiN (definition)
History
- 2026-11-02: add by m2/dev
logistic M6FJHB29J1
| URI | m2://inv/M6FJHB29J1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.6.3/logistic, logistic (concept). In 907G4C4EJ1, index, section 7.6.3
History
- 2026-11-01: add by m2/v0.6.13
Isabel Maddison M6FP8WPTVK
| URI | m2://inv/M6FP8WPTVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isabel Maddison, Isabel Maddison (topic). Also Wikidata Q4678279
History
- 2026-11-02: add by m2/dev
programming M6FPCSS52G
| URI | m2://inv/M6FPCSS52G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/programming, programming (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
Pseudorandom number generator M6FT1YF83D
| URI | m2://inv/M6FT1YF83D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ADXK, Pseudorandom number generator (definition)
History
- 2026-11-02: add by m2/dev
Abba Verbeck Newton M6FWWBW6R3
| URI | m2://inv/M6FWWBW6R3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abba Verbeck Newton, Abba Verbeck Newton (topic). Also Wikidata Q102150195
History
- 2026-11-02: add by m2/dev
M6G0WH2EER M6G0WH2EER
| URI | m2://inv/M6G0WH2EER |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#LNFO (example)
History
- 2026-11-01: add by m2/v0.6.15
M6G33XMSDE M6G33XMSDE
| URI | m2://inv/M6G33XMSDE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things.tex#ex-2 (example). In PKGMM3P5QY, ex, section 17.11
History
- 2026-11-01: add by m2/v0.6.13
M6G9VQF5Q7 M6G9VQF5Q7
| URI | m2://inv/M6G9VQF5Q7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Caterina Consani M6GA8MW2H4
| URI | m2://inv/M6GA8MW2H4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#VVZY, Caterina Consani (topic)
History
- 2026-11-02: add by m2/dev
Statement of Harish-Chandra theorem M6GF8NY7PB
| URI | m2://inv/M6GF8NY7PB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra isomorphism#D69Y, Statement of Harish-Chandra theorem (statement)
History
- 2026-11-02: add by m2/dev
M6GJHNTST3 M6GJHNTST3
| URI | m2://inv/M6GJHNTST3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#5OKZ (statement). In X9WFC1D9ZS/e1, theorem 52
History
- 2026-10-27: add by m2/v0.4.2
310 (Number) M6GN7WXJSH
| URI | m2://inv/M6GN7WXJSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#E7Z5, 310 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
M6GZ8NMS6Y M6GZ8NMS6Y
| URI | m2://inv/M6GZ8NMS6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#N1XW (statement). In GMRT5GHBZS/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
Five lemma M6H021KMHB
| URI | m2://inv/M6H021KMHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological algebra#TPDM, Five lemma (statement)
History
- 2026-11-02: add by m2/dev
Critical reading M6H5T8KH0M
| URI | m2://inv/M6H5T8KH0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical reading, Critical reading (definition). Also Wikidata Q5186755
History
- 2026-11-02: add by m2/dev
Jacobian conjecture M6H77T7ZKB
| URI | m2://inv/M6H77T7ZKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#ARVE, Jacobian conjecture (statement)
History
- 2026-11-02: add by m2/dev
Factorized Target under Additive Loss M6H83EDYA6
| URI | m2://inv/M6H83EDYA6 |
|---|---|
| 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.03769#AUNU, Factorized Target under Additive Loss (statement). In 35DNCV14M4/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.12
Corollary M6HAM0EP41
| URI | m2://inv/M6HAM0EP41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#FT5Q, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Properties M6HBEZPEEH
| URI | m2://inv/M6HBEZPEEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered weighted averaging#T240, Properties (statement)
History
- 2026-11-02: add by m2/dev
M6HGRF7G8G M6HGRF7G8G
| URI | m2://inv/M6HGRF7G8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#VQFN (statement). In BDN507RN7J/e1, corollary 3.5.11
History
- 2026-10-30: add by m2/v0.4.12
Implicit function theorem M6HGXF94C6
| URI | m2://inv/M6HGXF94C6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RK4N, Implicit function theorem (statement)
History
- 2026-11-02: add by m2/dev
M6HPR4B5DE M6HPR4B5DE
| URI | m2://inv/M6HPR4B5DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#CJQ1 (statement). In WRE0P7V6Z3/e1, proposition 11.7
History
- 2026-10-30: add by m2/v0.4.12
Jean-Louis Loday M6HRZB51G0
| URI | m2://inv/M6HRZB51G0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3166866, Jean-Louis Loday (unknown). Also nLab Jean-Louis Loday
- wikipedia: Wikipedia Jean-Louis Loday, Jean-Louis Loday (topic). Also Wikidata Q3166866
History
- 2026-10-26: add by m2/dev
Examples M6HYJTJYXK
| URI | m2://inv/M6HYJTJYXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join and meet#P6AW, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition M6J5ZF65VH
| URI | m2://inv/M6J5ZF65VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential isomorphism#KZZK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bachmann–Howard ordinal M6J64K4DNB
| URI | m2://inv/M6J64K4DNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bachmann–Howard ordinal, Bachmann–Howard ordinal (definition). Also Wikidata Q4838892
History
- 2026-11-02: add by m2/dev
rank check M6JFTR2J1R
| URI | m2://inv/M6JFTR2J1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#DX8T, rank check (statement). In CBCCH5VTMQ/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.12
Mapping class group M6JM085VTP
| URI | m2://inv/M6JM085VTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#39NF, Mapping class group (definition)
- wikipedia: Wikipedia List of geometric topology topics#XIY1, Mapping class group (definition)
History
- 2026-11-02: add by m2/dev
Exact discrete potential representation M6JQKYN69D
| URI | m2://inv/M6JQKYN69D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#UY2J, Exact discrete potential representation (statement). In X705R2Q780/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
M6KA930HW1 M6KA930HW1
| URI | m2://inv/M6KA930HW1 |
|---|---|
| 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 2309.01359#DL22 (statement). In BFV19FC2G7/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
M6KCDFKXCS M6KCDFKXCS
| URI | m2://inv/M6KCDFKXCS |
|---|---|
| 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.00344#U33L (statement). In WNA8D3Y1RA/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
No finite upper confidence bound without a moment bound M6KDR9BKEY
| URI | m2://inv/M6KDR9BKEY |
|---|---|
| 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.15202#Q40Y, No finite upper confidence bound without a moment bound (statement). In X1FPG0KYBM/e1, corollary U.2
History
- 2026-10-28: add by m2/v0.4.2
Bodmer, Walter M6KEPR222D
| URI | m2://inv/M6KEPR222D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HF2S, Bodmer, Walter (unknown)
History
- 2026-11-02: add by m2/dev
Multidimensional Chebyshev's inequality M6KEZV64TX
| URI | m2://inv/M6KEZV64TX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional Chebyshev's inequality, Multidimensional Chebyshev's inequality (statement). Also Wikidata Q6934653
History
- 2026-11-02: add by m2/dev
Pike M6KPMQJXYN
| URI | m2://inv/M6KPMQJXYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pike (cipher), Pike (definition). Also Wikidata Q4046203
History
- 2026-11-02: add by m2/dev
Attainment and monotonicity M6KSW0716X
| URI | m2://inv/M6KSW0716X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21454#AOE4, Attainment and monotonicity (statement). In ZP2RJFZ3V2/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
M6KT8YTN88 M6KT8YTN88
| URI | m2://inv/M6KT8YTN88 |
|---|---|
| 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.05193#08UF (statement). In XDMM0KNNZ9/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.10
List of countries by GDP M6M15Y2GFD
| URI | m2://inv/M6M15Y2GFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by GDP (nominal), List of countries by GDP (topic). Also Wikidata Q19093
History
- 2026-11-02: add by m2/dev
M6M2VXWSY3 M6M2VXWSY3
| URI | m2://inv/M6M2VXWSY3 |
|---|---|
| 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.15217#384J (statement). In G70Q2FB591/e1, lemma 4.14
History
- 2026-10-28: add by m2/v0.4.2
M6M4J61JCD M6M4J61JCD
| URI | m2://inv/M6M4J61JCD |
|---|---|
| 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.19535#YQBZ (statement). In MJXSE9QR4X/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
M6M6DQBY5K M6M6DQBY5K
| URI | m2://inv/M6M6DQBY5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-29 (definition). In VNMV985MXX, defn, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
M6M7FRN21W M6M7FRN21W
| URI | m2://inv/M6M7FRN21W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#DY6Y (statement). In 332PQD90SW/e1, theorem 4.20
History
- 2026-10-27: add by m2/v0.3.5
M6MGC43VQC M6MGC43VQC
| URI | m2://inv/M6MGC43VQC |
|---|---|
| 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.22237#IOE6 (statement). In 2FWTWMHA2W/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.0
Properties M6MPJ0F807
| URI | m2://inv/M6MPJ0F807 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly convex space#5S32, Properties (statement)
History
- 2026-11-02: add by m2/dev
Van der Corput's method M6MQRY162P
| URI | m2://inv/M6MQRY162P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Corput's method, Van der Corput's method (definition). Also Wikidata Q17098128
History
- 2026-11-02: add by m2/dev
Center squeeze M6MSDPVWJ7
| URI | m2://inv/M6MSDPVWJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center squeeze, Center squeeze (definition). Also Wikidata Q128133956
History
- 2026-11-02: add by m2/dev
Weighted-sample bound in Hadamard spaces M6MSY4JH3J
| URI | m2://inv/M6MSY4JH3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#75G8, Weighted-sample bound in Hadamard spaces (statement). In FTPW1SZ8D3/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
M6MV5Q48V5 M6MV5Q48V5
| URI | m2://inv/M6MV5Q48V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#99B6 (statement). In ETRT1R1CQ8/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
M6MXKC0MDA M6MXKC0MDA
| URI | m2://inv/M6MXKC0MDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#I66Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Susan Ahmed M6N56HHCBZ
| URI | m2://inv/M6N56HHCBZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#T1OP, Susan Ahmed (topic)
History
- 2026-11-02: add by m2/dev
M6N8YVEEV5 M6N8YVEEV5
| URI | m2://inv/M6N8YVEEV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#BIQG (statement). In TTRSZVT4VX/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.4.2
Applications M6N8ZHNYY8
| URI | m2://inv/M6N8ZHNYY8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disintegration theorem#J15C, Applications (example)
History
- 2026-11-02: add by m2/dev
M6NBMGKM7S M6NBMGKM7S
| URI | m2://inv/M6NBMGKM7S |
|---|---|
| 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.16060#KGCU (statement). In X0BTF9HPGM/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
M6NFA9HT5K M6NFA9HT5K
| URI | m2://inv/M6NFA9HT5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27049#0OWS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gray dictionary M6NK1TE2ZT
| URI | m2://inv/M6NK1TE2ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#86AF, Gray dictionary (statement). In YZNK67K060/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Missing data M6NNVP98DG
| URI | m2://inv/M6NNVP98DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ACNI, Missing data (definition)
History
- 2026-11-02: add by m2/dev
775 (number) M6NPNKKTGG
| URI | m2://inv/M6NPNKKTGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#DPQ3, 775 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Examples M6NPY6JA9C
| URI | m2://inv/M6NPY6JA9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative diagram#P1NJ, Examples (example)
History
- 2026-11-02: add by m2/dev
M6NRMHJS94 M6NRMHJS94
| URI | m2://inv/M6NRMHJS94 |
|---|---|
| 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.31220#SEQB (statement). In JMWCGMNE84/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Selberg's 1/4 conjecture M6NWJK1C6R
| URI | m2://inv/M6NWJK1C6R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZBTX, Selberg's 1/4 conjecture (statement)
History
- 2026-11-02: add by m2/dev
M6P6H4KF2X M6P6H4KF2X
| URI | m2://inv/M6P6H4KF2X |
|---|---|
| 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.11652#NEG0 (statement). In VEXM27M8Q1/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.3
Attainable null space, conditional invertibility, and minimality M6PB76239C
| URI | m2://inv/M6PB76239C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14906#VYLG, Attainable null space, conditional invertibility, and minimality (statement). In 1F8ENX770M/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Normalization convention for mixed forms M6PD9A51XN
| URI | m2://inv/M6PD9A51XN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.26110#9DSL, Normalization convention for mixed forms (definition)
History
- 2026-11-01: add by m2/v0.6.15
M6PG5CSWFH M6PG5CSWFH
| URI | m2://inv/M6PG5CSWFH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#2OT8 (definition). In JS5FKV1S9T/e1, definition B.2
History
- 2026-10-27: add by m2/v0.3.5
M6PJPC8TXM M6PJPC8TXM
| URI | m2://inv/M6PJPC8TXM |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turbulence#QBL6 (problem)
History
- 2026-11-02: add by m2/dev
M6PPM13FP2 M6PPM13FP2
| URI | m2://inv/M6PPM13FP2 |
|---|---|
| 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.20110#VXSC (statement). In 1SAMKN4477/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.4.2
Alison Gibbs M6PQ43KEYG
| URI | m2://inv/M6PQ43KEYG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alison Gibbs, Alison Gibbs (topic). Also Wikidata Q102191662
History
- 2026-11-02: add by m2/dev
Walter Borho M6Q0ZT05VD
| URI | m2://inv/M6Q0ZT05VD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Borho, Walter Borho (topic). Also Wikidata Q119669
History
- 2026-11-02: add by m2/dev
M6QAHPZZZ2 M6QAHPZZZ2
| URI | m2://inv/M6QAHPZZZ2 |
|---|---|
| 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.09129#LCV8 (statement). In Z1RZSF68XZ/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
span M6QBTNEADD
| URI | m2://inv/M6QBTNEADD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.3.2/span, span (concept). In 649HGZKE96, index, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
conditional distribution M6QGPT04CF
| URI | m2://inv/M6QGPT04CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#QAT2, conditional distribution (definition)
History
- 2026-11-02: add by m2/dev
M6QJ34M4A5 M6QJ34M4A5
| URI | m2://inv/M6QJ34M4A5 |
|---|---|
| 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.20466#WW45 (statement). In M4ZVJWM8YA/e1, lemma 4.27
History
- 2026-10-27: add by m2/v0.4.2
M6QJRBYJSJ M6QJRBYJSJ
| URI | m2://inv/M6QJRBYJSJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
M6R0JRQJKV M6R0JRQJKV
| URI | m2://inv/M6R0JRQJKV |
|---|---|
| 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.06419#NHQH (statement). In JSZRXT3W3E/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
M6R2HVWX6Y M6R2HVWX6Y
| URI | m2://inv/M6R2HVWX6Y |
|---|---|
| Kind | example |
| 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.05193#275M (example). In XDMM0KNNZ9/e1, example 40
History
- 2026-10-29: add by m2/v0.4.10
Applications M6R6AFD2RA
| URI | m2://inv/M6R6AFD2RA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sabermetrics#8Q2N, Applications (example)
History
- 2026-11-02: add by m2/dev
M6RE06HBNK M6RE06HBNK
| URI | m2://inv/M6RE06HBNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#7VEJ (statement). In FT53PMB1TE/e1, lemma 5.1.2
History
- 2026-10-29: add by m2/v0.4.10
Linear complex structure M6RFGEB0XH
| URI | m2://inv/M6RFGEB0XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear complex structure, Linear complex structure (definition). Also Wikidata Q6553426
History
- 2026-11-02: add by m2/dev
null vector M6RH5ZCYEM
| URI | m2://inv/M6RH5ZCYEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3555169, null vector (unknown). Also MathWorld NullVector
- wikipedia: Wikipedia Null vector, Null vector (definition). Also Wikidata Q3555169
History
- 2026-10-26: add by m2/dev
M6RNQPJ25N M6RNQPJ25N
| URI | m2://inv/M6RNQPJ25N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.21507#SJ32 (statement). In 879ZDHVK7N/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.4.2
M6RRRF5X8H M6RRRF5X8H
| URI | m2://inv/M6RRRF5X8H |
|---|---|
| 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 1004.4564#TA3A (statement). In BZ54C9SKYS/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
M6RVBT1GF5 M6RVBT1GF5
| URI | m2://inv/M6RVBT1GF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#GQHV (statement). In 3CGS9GSKTQ/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.12
Nagata–Smirnov metrization theorem M6RXVPC4EY
| URI | m2://inv/M6RXVPC4EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2621667, Nagata–Smirnov metrization theorem (statement). Also Wikidata Q2621667
- thousand_plus: thousand_plus Q2621667, Nagata–Smirnov metrization theorem (statement). Also Wikidata Q2621667, Wikipedia Nagata–Smirnov metrization theorem
- wikipedia: Wikipedia Nagata–Smirnov metrization theorem, Nagata–Smirnov metrization theorem (statement). Also Wikidata Q2621667
History
- 2026-10-26: add by m2/dev
History of quaternions M6S40YF5GR
| URI | m2://inv/M6S40YF5GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of quaternions, History of quaternions (definition). Also Wikidata Q5868436
History
- 2026-11-02: add by m2/dev
M6S4CMNR6Z M6S4CMNR6Z
| URI | m2://inv/M6S4CMNR6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#ZBWS (statement)
History
- 2026-11-01: add by m2/v0.6.15
M6SCQN17SJ M6SCQN17SJ
| URI | m2://inv/M6SCQN17SJ |
|---|---|
| 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.31335#WJXN (statement). In YN58PZTGFD/e1, proposition 4.5
History
- 2026-10-31: add by m2/v0.5.6
Definition M6SFXRQ615
| URI | m2://inv/M6SFXRQ615 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giraud subcategory#A5X7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Weyl's criterion M6SHYHWRFG
| URI | m2://inv/M6SHYHWRFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistributed sequence#967J, Weyl's criterion (statement)
History
- 2026-11-02: add by m2/dev
Jeffery J. Leader M6SQM0GYSC
| URI | m2://inv/M6SQM0GYSC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffery J. Leader, Jeffery J. Leader (topic). Also Wikidata Q15030122
History
- 2026-11-02: add by m2/dev
M6SSBNSP73 M6SSBNSP73
| URI | m2://inv/M6SSBNSP73 |
|---|---|
| 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.24577#P9JV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Auxiliary Bounds M6T2DH2BSD
| URI | m2://inv/M6T2DH2BSD |
|---|---|
| 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.13355#14FT, Auxiliary Bounds (statement). In QJ1G1HBC6C/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
simple M6T5BR8KQQ
| URI | m2://inv/M6T5BR8KQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#7W15, simple (definition)
History
- 2026-11-02: add by m2/dev
M6T6Z1VJ37 M6T6Z1VJ37
| URI | m2://inv/M6T6Z1VJ37 |
|---|---|
| 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 2610.00312#2NAG (statement). In 41NFABHFXH/e1, proposition 9.3
History
- 2026-10-30: add by m2/v0.4.12
Statement M6TAF3C8M8
| URI | m2://inv/M6TAF3C8M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee Hwa Chung theorem#AQEL, Statement (statement)
History
- 2026-11-02: add by m2/dev
Bertrand's postulate M6THV2K06Z
| URI | m2://inv/M6THV2K06Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#U6F6, Bertrand's postulate (definition)
History
- 2026-11-02: add by m2/dev
Deligne–Lusztig theory M6TS9T98MM
| URI | m2://inv/M6TS9T98MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne–Lusztig theory, Deligne–Lusztig theory (definition). Also Wikidata Q5253966
History
- 2026-11-02: add by m2/dev
Chronological snobbery M6TV797XKR
| URI | m2://inv/M6TV797XKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#N3IL, Chronological snobbery (definition)
History
- 2026-11-02: add by m2/dev
M6TY05GENZ M6TY05GENZ
| URI | m2://inv/M6TY05GENZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#JINM (unknown). In QNBFHFZ3H0/e1, unknown 102
History
- 2026-10-28: add by m2/v0.4.2
M6VA7H7FXS M6VA7H7FXS
| URI | m2://inv/M6VA7H7FXS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#HN6M (example). In X923ZEY423/e1, example 2.0.1
History
- 2026-10-27: add by m2/v0.3.5
M6VAV29TAQ M6VAV29TAQ
| URI | m2://inv/M6VAV29TAQ |
|---|---|
| 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.23685#L3D6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sommer Gentry M6VWE979TD
| URI | m2://inv/M6VWE979TD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sommer Gentry, Sommer Gentry (topic). Also Wikidata Q37841444
History
- 2026-11-02: add by m2/dev
Function of a real variable M6W0NDC9QG
| URI | m2://inv/M6W0NDC9QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of a real variable, Function of a real variable (definition). Also Wikidata Q861681
History
- 2026-11-02: add by m2/dev
Linear Boltzmann preference M6W3F91ZXJ
| URI | m2://inv/M6W3F91ZXJ |
|---|---|
| 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.15690#BA69, Linear Boltzmann preference (statement). In WQ9FNP3TVQ/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Ken Ribet M6WAVH8SQE
| URI | m2://inv/M6WAVH8SQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TRRA, Ken Ribet (topic)
History
- 2026-11-02: add by m2/dev
M6WCYDBXSW M6WCYDBXSW
| URI | m2://inv/M6WCYDBXSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#DALF (statement). In 4SPYEGKZ8J/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Griess algebra M6X7W48KCQ
| URI | m2://inv/M6X7W48KCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griess algebra, Griess algebra (definition). Also Wikidata Q3514494
History
- 2026-11-02: add by m2/dev
Anand Kumar M6X8CETHCA
| URI | m2://inv/M6X8CETHCA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anand Kumar, Anand Kumar (topic). Also Wikidata Q3532582
History
- 2026-11-02: add by m2/dev
Simple continued fraction M6XAARGCWT
| URI | m2://inv/M6XAARGCWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#7N3V, Simple continued fraction (definition)
History
- 2026-11-02: add by m2/dev
M6XJWMD6ME M6XJWMD6ME
| URI | m2://inv/M6XJWMD6ME |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-24 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
M6XTXZD4H1 M6XTXZD4H1
| URI | m2://inv/M6XTXZD4H1 |
|---|---|
| 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 2301.04933#LPN4 (definition). In Q70CTMCJTP/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.3.5
Classical oscillation and spectrum M6YEHJHGAA
| URI | m2://inv/M6YEHJHGAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 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.08568#NETB, Classical oscillation and spectrum (statement). In FDDA562VCA/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
E.A. Maxwell M6YEXPX0EY
| URI | m2://inv/M6YEXPX0EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16011932, E.A. Maxwell (unknown). Also ProofWiki Mathematician:Edwin_Arthur_Maxwell
- wikipedia: Wikipedia Edwin A. Maxwell, Edwin A. Maxwell (topic). Also Wikidata Q16011932
History
- 2026-10-26: add by m2/dev
Full preliminary term M6YGXFH4S0
| URI | m2://inv/M6YGXFH4S0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial reserves#W9EN, Full preliminary term (unknown)
History
- 2026-11-02: add by m2/dev
Generalized Procrustes analysis M6YVA1D0DG
| URI | m2://inv/M6YVA1D0DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Procrustes analysis, Generalized Procrustes analysis (definition). Also Wikidata Q5532454
History
- 2026-11-02: add by m2/dev
M6YWGWZ7JG M6YWGWZ7JG
| URI | m2://inv/M6YWGWZ7JG |
|---|---|
| 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#5Z4B (statement). In QQFXT31CA5/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.3
M6Z2C5J6FA M6Z2C5J6FA
| URI | m2://inv/M6Z2C5J6FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#UCFQ (statement). In PD5PJ0EYG6/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Stiefel–Whitney class M6Z5SC0QXW
| URI | m2://inv/M6Z5SC0QXW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stiefel–Whitney class JQCK7A210W |
Mentions
- wikidata: Wikidata Q1293273, Stiefel–Whitney class (concept). Also MathWorld Stiefel-WhitneyClass
- wikipedia: Wikipedia Stiefel–Whitney class, Stiefel–Whitney class (definition). Also Wikidata Q1293273
History
- 2026-10-26: add by m2/dev
M6Z75MJRM7 M6Z75MJRM7
| URI | m2://inv/M6Z75MJRM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#AIGO (statement). In 8YWBGQQGA3/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Political views of Generation Z M6ZC12FM2C
| URI | m2://inv/M6ZC12FM2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Political views of Generation Z, Political views of Generation Z (definition). Also Wikidata Q107410765
History
- 2026-11-02: add by m2/dev
Improvement of Flatness for general $F$ M6ZCDPQGHM
| URI | m2://inv/M6ZCDPQGHM |
|---|---|
| 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.18270#64N3, Improvement of Flatness for general $F$ (statement). In CPDMYJ0NJV/e1, proposition 6.8
History
- 2026-10-28: add by m2/v0.4.2
topos M6ZFR2Z1GF
| URI | m2://inv/M6ZFR2Z1GF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/topos, topos (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
M6ZH66QCGK M6ZH66QCGK
| URI | m2://inv/M6ZH66QCGK |
|---|---|
| Kind | example |
| 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 2508.03972#Y96Y (example). In 2JD3KNKJ1P/e1, example 3.7
History
- 2026-10-27: add by m2/v0.3.5
Charles Niven M6ZKAR7YEB
| URI | m2://inv/M6ZKAR7YEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Niven, Charles Niven (topic). Also Wikidata Q21165587
History
- 2026-11-02: add by m2/dev
Empirical Bayes method M6ZN7ZF4DM
| URI | m2://inv/M6ZN7ZF4DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical Bayes method, Empirical Bayes method (definition). Also Wikidata Q5374241
History
- 2026-11-02: add by m2/dev