Inventory rows T6
The cards of the rows of the inventory whose ids start with T6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
T60393MVH6 T60393MVH6
| URI | m2://inv/T60393MVH6 |
|---|---|
| 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.35678#55FU (statement). In 4X4ZS7CEKD/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Bring's curve T604MGAAXF
| URI | m2://inv/T604MGAAXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bring's curve, Bring's curve (definition). Also Wikidata Q4968228
History
- 2026-11-02: add by m2/dev
Stanislaw Ulam T605PYKGGX
| URI | m2://inv/T605PYKGGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A3HX, Stanislaw Ulam (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#71AA, Stanislaw Ulam (topic)
History
- 2026-11-02: add by m2/dev
The algorithm T606YYRMB9
| URI | m2://inv/T606YYRMB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blowfish (cipher)#HPZO, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Uses T60BZKFG3M
| URI | m2://inv/T60BZKFG3M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fin (extended surface)#LS2L, Uses (example)
History
- 2026-11-02: add by m2/dev
T60GSRJZCE T60GSRJZCE
| URI | m2://inv/T60GSRJZCE |
|---|---|
| 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.06206#UJAF (statement). In A7611PTXVQ/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
T60HZMT2DG T60HZMT2DG
| URI | m2://inv/T60HZMT2DG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.01473#19YQ (statement). In ABS9M47F4K/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.3.6
Discrete wavelet transform T60J93FSXC
| URI | m2://inv/T60J93FSXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#ZBQL, Discrete wavelet transform (definition)
History
- 2026-11-02: add by m2/dev
Giuseppe Basso T60QC96ZY5
| URI | m2://inv/T60QC96ZY5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#VC00, Giuseppe Basso (topic)
History
- 2026-11-02: add by m2/dev
Generalizations T60STYE7JH
| URI | m2://inv/T60STYE7JH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl algebra#TALN, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Erdős–Szemerédi theorem T60ZGJDZT5
| URI | m2://inv/T60ZGJDZT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Szemerédi theorem, Erdős–Szemerédi theorem (statement). Also Wikidata Q3526986
History
- 2026-11-02: add by m2/dev
Group-Lipschitz Continuity of $\Xi\circ \Psi$ T6110Z3BWS
| URI | m2://inv/T6110Z3BWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36237#QAA2, Group-Lipschitz Continuity of $\Xi\circ \Psi$ (statement). In JNBMSFE14N/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Sensitivity analysis methods T613QD9MAA
| URI | m2://inv/T613QD9MAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensitivity analysis#80SA, Sensitivity analysis methods (definition)
History
- 2026-11-02: add by m2/dev
13000 (number) T614EJSZF1
| URI | m2://inv/T614EJSZF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 10,000#49O0, 13000 (number) (unknown)
History
- 2026-11-02: add by m2/dev
T6199HC2RC T6199HC2RC
| URI | m2://inv/T6199HC2RC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#JES9 (example). In E4EK1XXPY4/e1, example 4.5
History
- 2026-10-31: add by m2/v0.5.6
T61BHZ330D T61BHZ330D
| URI | m2://inv/T61BHZ330D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#ZWP8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mojette transform T61KK154V3
| URI | m2://inv/T61KK154V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#5KOV, Mojette transform (definition)
History
- 2026-11-02: add by m2/dev
Lyapunov Theorem for Local Stability T61QKP78PC
| URI | m2://inv/T61QKP78PC |
|---|---|
| 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.17604#G66H, Lyapunov Theorem for Local Stability (statement). In CZNRSB168G/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Daniel Gorenstein T61TR7NJ68
| URI | m2://inv/T61TR7NJ68 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y91D, Daniel Gorenstein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M1UC, Daniel Gorenstein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TMP6, Daniel Gorenstein (topic)
History
- 2026-11-02: add by m2/dev
angle of parallelism T61WRSPGTB
| URI | m2://inv/T61WRSPGTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Angle of parallelism 323GN6K117 |
Mentions
- wikidata: Wikidata Q3617405, angle of parallelism (unknown). Also MathWorld AngleofParallelism
- wikipedia: Wikipedia Angle of parallelism, Angle of parallelism (definition). Also Wikidata Q3617405
History
- 2026-10-26: add by m2/dev
T61WYCVZK1 T61WYCVZK1
| URI | m2://inv/T61WYCVZK1 |
|---|---|
| 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 2310.19073#79UV (statement). In DK2ZSJ65ZV/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Hypothesis testing T629E0T8KR
| URI | m2://inv/T629E0T8KR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical correlation#9AG6, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
T62G7QFMA6 T62G7QFMA6
| URI | m2://inv/T62G7QFMA6 |
|---|---|
| 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.23595#TF7B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Raissa D’Souza T62NXHKSTB
| URI | m2://inv/T62NXHKSTB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WWA3, Raissa D’Souza (unknown)
History
- 2026-11-02: add by m2/dev
Lagally theorem T62PT114M6
| URI | m2://inv/T62PT114M6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kutta–Joukowski theorem#72NL, Lagally theorem (statement)
History
- 2026-11-02: add by m2/dev
T62S17HVQJ T62S17HVQJ
| URI | m2://inv/T62S17HVQJ |
|---|---|
| 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.13618#LSPT (statement). In XDQAEGH345/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
T62YFHN215 T62YFHN215
| URI | m2://inv/T62YFHN215 |
|---|---|
| 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 2509.05577#BL0X (statement). In EFWBREMZAP/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
Hypatia T6376KBJZJ
| URI | m2://inv/T6376KBJZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#V66Z, Hypatia (topic)
History
- 2026-11-02: add by m2/dev
GraphPad Prism T63EWKEW1B
| URI | m2://inv/T63EWKEW1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#IKB8, GraphPad Prism (definition)
History
- 2026-11-02: add by m2/dev
Generalized star height problem T63FYS3KVA
| URI | m2://inv/T63FYS3KVA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3062, Generalized star height problem (conjecture)
History
- 2026-11-02: add by m2/dev
Van der Pol oscillator T63KRGTP4R
| URI | m2://inv/T63KRGTP4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#6CV2, Van der Pol oscillator (definition)
History
- 2026-11-02: add by m2/dev
Equivalence of record sequences T63MGV0M2Q
| URI | m2://inv/T63MGV0M2Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#RMSX, Equivalence of record sequences (definition). In PV4Z2FRXRZ/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
T63NZAP5CQ T63NZAP5CQ
| URI | m2://inv/T63NZAP5CQ |
|---|---|
| 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.00343#THQ6 (statement). In G4MKECQ1DD/e1, corollary 1.3
History
- 2026-10-30: add by m2/v0.4.12
T63QYNB33Q T63QYNB33Q
| URI | m2://inv/T63QYNB33Q |
|---|---|
| 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.31556#BCHB (statement). In 1VBEMR0JXH/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
T6423MYVWG T6423MYVWG
| URI | m2://inv/T6423MYVWG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-9 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
regular octahedron T642RFNM2R
| URI | m2://inv/T642RFNM2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12557050, regular octahedron (definition). Also EoM Octahedron, MathWorld RegularOctahedron, ProofWiki Definition:Octahedron/Regular
- wikipedia: Wikipedia Regular octahedron, Regular octahedron (definition). Also Wikidata Q12557050
History
- 2026-10-26: add by m2/dev
Formal group law T64341YYS3
| URI | m2://inv/T64341YYS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#130X, Formal group law (statement)
History
- 2026-11-02: add by m2/dev
László Lempert T643VE6B2T
| URI | m2://inv/T643VE6B2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia László Lempert, László Lempert (topic). Also Wikidata Q1128902
History
- 2026-11-02: add by m2/dev
Sylvester domain T648KGDSSR
| URI | m2://inv/T648KGDSSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#QO4N, Sylvester domain (definition)
History
- 2026-11-02: add by m2/dev
Ernst Steinitz T64CKPTYC9
| URI | m2://inv/T64CKPTYC9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#GYSP, Ernst Steinitz (topic)
History
- 2026-11-02: add by m2/dev
T64E2ZZNDY T64E2ZZNDY
| URI | m2://inv/T64E2ZZNDY |
|---|---|
| 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 2206.12966#V840 (statement). In VH93X5QZDV/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
T64EFXE294 T64EFXE294
| URI | m2://inv/T64EFXE294 |
|---|---|
| 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.12295#D8K5 (statement). In 6DZPR52HRP/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Pietro Corvaja T64GBK7JDA
| URI | m2://inv/T64GBK7JDA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pietro Corvaja, Pietro Corvaja (topic). Also Wikidata Q82831813
History
- 2026-11-02: add by m2/dev
T64T0S88FM T64T0S88FM
| URI | m2://inv/T64T0S88FM |
|---|---|
| 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.02642#RS5X (statement). In VMWV58VWKN/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
T64Z9M85WA T64Z9M85WA
| URI | m2://inv/T64Z9M85WA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.21536#XWWZ (statement). In NBQK8HJSNY/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Gilbert Clerke T650XK2XM3
| URI | m2://inv/T650XK2XM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert Clerke, Gilbert Clerke (topic). Also Wikidata Q5560859
History
- 2026-11-02: add by m2/dev
T656CKFX2B T656CKFX2B
| URI | m2://inv/T656CKFX2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#NFZN (statement). In GXHKRV5BPY/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
Pitman closeness criterion T6581EYJR3
| URI | m2://inv/T6581EYJR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pitman closeness criterion, Pitman closeness criterion (statement). Also Wikidata Q7198995
History
- 2026-11-02: add by m2/dev
T658Y5F0WT T658Y5F0WT
| URI | m2://inv/T658Y5F0WT |
|---|---|
| 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 2609.26340#SNQY (statement)
History
- 2026-11-01: add by m2/v0.6.15
h-cobordism T65D8KG8BC
| URI | m2://inv/T65D8KG8BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#IBWR, h-cobordism (definition)
History
- 2026-11-02: add by m2/dev
Hall word T65EFBXMS2
| URI | m2://inv/T65EFBXMS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall word, Hall word (definition). Also Wikidata Q104841625
History
- 2026-11-02: add by m2/dev
Formulas for cq(n) T65GNNNXF5
| URI | m2://inv/T65GNNNXF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's sum#XQMM, Formulas for cq(n) (statement)
History
- 2026-11-02: add by m2/dev
Gray's conjecture T65J1SA73D
| URI | m2://inv/T65J1SA73D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gray's conjecture, Gray's conjecture (statement). Also Wikidata Q5598123
History
- 2026-11-02: add by m2/dev
Examples T65JWRQDPF
| URI | m2://inv/T65JWRQDPF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal system#04G5, Examples (example)
History
- 2026-11-02: add by m2/dev
T65MC27R7S T65MC27R7S
| URI | m2://inv/T65MC27R7S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#N8YF (example)
History
- 2026-11-02: add by m2/v0.6.18
Properties T65MEFHQHZ
| URI | m2://inv/T65MEFHQHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Lamoen circle#VYS8, Properties (statement)
History
- 2026-11-02: add by m2/dev
T65RSW1VPA T65RSW1VPA
| URI | m2://inv/T65RSW1VPA |
|---|---|
| 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.10968#Y15E (statement). In KJRV9ZW833/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.3
Herbert Seifert T65T5VPDKV
| URI | m2://inv/T65T5VPDKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Seifert, Herbert Seifert (topic). Also Wikidata Q75807
History
- 2026-11-02: add by m2/dev
Dynkin lemma T65V014V1T
| URI | m2://inv/T65V014V1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#D0E4, Dynkin lemma (definition)
History
- 2026-11-02: add by m2/dev
T660QNNMCY T660QNNMCY
| URI | m2://inv/T660QNNMCY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-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.38030#7MOJ (definition). In XYYEJN00D8/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
T663WBYPPJ T663WBYPPJ
| URI | m2://inv/T663WBYPPJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00267#KXUM (definition). In 38XJWDZ2PH/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
T666G7XWYQ T666G7XWYQ
| URI | m2://inv/T666G7XWYQ |
|---|---|
| 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.20817#2QA6 (statement). In M1YRBSZT4H/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.2
Properties T668ABZMRE
| URI | m2://inv/T668ABZMRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density on a manifold#D707, Properties (statement)
History
- 2026-11-02: add by m2/dev
cgs units T66BBCXJF1
| URI | m2://inv/T66BBCXJF1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.3.3/cgs-units, cgs units (concept). In E9HS8K3A52, index, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Yu Shen T66E06ERFK
| URI | m2://inv/T66E06ERFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0G4V, Yu Shen (unknown)
History
- 2026-11-02: add by m2/dev
Examples T66F5WV95T
| URI | m2://inv/T66F5WV95T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind-finite ring#H8E9, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties T66HTA3VJ3
| URI | m2://inv/T66HTA3VJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott domain#QC2O, Properties (statement)
History
- 2026-11-02: add by m2/dev
David Sankoff T66M9KJ2GR
| URI | m2://inv/T66M9KJ2GR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HLHD, David Sankoff (unknown)
History
- 2026-11-02: add by m2/dev
Properties T66WSN5N6A
| URI | m2://inv/T66WSN5N6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure (topology)#LJFN, Properties (statement)
History
- 2026-11-02: add by m2/dev
T6756KHNX0 T6756KHNX0
| URI | m2://inv/T6756KHNX0 |
|---|---|
| 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.00775#4S62 (statement). In WVHA7H05QC/e1, theorem 2.21
History
- 2026-10-29: add by m2/v0.4.12
Lévy–Steinitz theorem T67HKVF46P
| URI | m2://inv/T67HKVF46P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy–Steinitz theorem, Lévy–Steinitz theorem (statement). Also Wikidata Q2341004
History
- 2026-11-02: add by m2/dev
T67K6JFB5K T67K6JFB5K
| URI | m2://inv/T67K6JFB5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#GKXG (statement). In F5STMSPR6X/e1, proposition 3.25
History
- 2026-10-29: add by m2/v0.4.12
T67P8GQEQN T67P8GQEQN
| URI | m2://inv/T67P8GQEQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#definition-1 (definition). In RZP28ERRZV, definition, section 68.1
History
- 2026-11-01: add by m2/v0.6.13
Triangular ResNet T67XREHDVM
| URI | m2://inv/T67XREHDVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#9NFC, Triangular ResNet (definition). In N91F15MHW1/e1, definition 10
History
- 2026-10-28: add by m2/v0.4.3
Lightlike separation T6810VEAFN
| URI | m2://inv/T6810VEAFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special relativity#1OON, Lightlike separation (unknown)
History
- 2026-11-02: add by m2/dev
Self-serving bias T681QSJYXE
| URI | m2://inv/T681QSJYXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#2ESF, Self-serving bias (unknown)
History
- 2026-11-02: add by m2/dev
Fixed-point lemma for normal functions T6848WQ1VY
| URI | m2://inv/T6848WQ1VY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#Z9CQ, Fixed-point lemma for normal functions (statement)
History
- 2026-11-02: add by m2/dev
T686AN4AER T686AN4AER
| URI | m2://inv/T686AN4AER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#OZRT (definition). In V6EPE8XHAD/e1, definition 10.3
History
- 2026-10-29: add by m2/v0.4.10
$p$-series or the $p$-test T68DBWB11X
| URI | m2://inv/T68DBWB11X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-15, $p$-series or the $p$-test (statement). In E59CDZA4DP, prop, section 10.5.5
History
- 2026-11-01: add by m2/v0.6.13
Development T68G6H8G16
| URI | m2://inv/T68G6H8G16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Development (topology), Development (definition). Also Wikidata Q5266672
History
- 2026-11-02: add by m2/dev
Wigner quasi-probability distribution T68HMVB7RJ
| URI | m2://inv/T68HMVB7RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F50G, Wigner quasi-probability distribution (definition)
History
- 2026-11-02: add by m2/dev
T68MV54VMS T68MV54VMS
| URI | m2://inv/T68MV54VMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1001.1196#AOT5 (statement). In BCB418GV9C/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Seemingly unrelated regressions T68NDBQYM5
| URI | m2://inv/T68NDBQYM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seemingly unrelated regressions, Seemingly unrelated regressions (definition). Also Wikidata Q4113687
History
- 2026-11-02: add by m2/dev
Double exponential distribution (disambiguation) T68VXKBCK3
| URI | m2://inv/T68VXKBCK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D9MY, Double exponential distribution (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
T6924YVZMC T6924YVZMC
| URI | m2://inv/T6924YVZMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-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 2609.03601#JJYU (statement). In F7TDYCHCSE/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.5
Lippmann–Schwinger equation T692Y0NZ42
| URI | m2://inv/T692Y0NZ42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lippmann–Schwinger equation, Lippmann–Schwinger equation (definition). Also Wikidata Q902575
History
- 2026-11-02: add by m2/dev
Conway group T693QRK54N
| URI | m2://inv/T693QRK54N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#5M2T, Conway group (definition)
History
- 2026-11-02: add by m2/dev
T69F48005A T69F48005A
| URI | m2://inv/T69F48005A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#KL0Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
T69F84DY5E T69F84DY5E
| URI | m2://inv/T69F84DY5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4946#HKXL (statement). In R4ZM6Q4SHH/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Mikhail Verbitsky T69G8QVDND
| URI | m2://inv/T69G8QVDND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4987, Mikhail Verbitsky (unknown)
History
- 2026-11-02: add by m2/dev
Definition T69K7YCNZ8
| URI | m2://inv/T69K7YCNZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact category#16P5, Definition (definition)
History
- 2026-11-02: add by m2/dev
T69NMB08PN T69NMB08PN
| URI | m2://inv/T69NMB08PN |
|---|---|
| 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.10230#8E7Y (statement). In YS75517SF7/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Definition T69VVHSJJ6
| URI | m2://inv/T69VVHSJJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hankel transform#2BAN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bott, Raoul T6A5AEJ9QD
| URI | m2://inv/T6A5AEJ9QD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#923F, Bott, Raoul (topic)
History
- 2026-11-02: add by m2/dev
Frankl's union-set conjecture T6A7J6M953
| URI | m2://inv/T6A7J6M953 |
|---|---|
| Kind | conjecture |
| 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.25101#GU3D, Frankl's union-set conjecture (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Linearization under doubling T6A9FVAGH8
| URI | m2://inv/T6A9FVAGH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#DWEE, Linearization under doubling (statement)
History
- 2026-11-02: add by m2/v0.6.18
T6AQAT1604 T6AQAT1604
| URI | m2://inv/T6AQAT1604 |
|---|---|
| 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#9F05 (statement)
History
- 2026-11-01: add by m2/v0.6.15
orthonormality T6AZ6KY6RZ
| URI | m2://inv/T6AZ6KY6RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#VI41, orthonormality (definition)
History
- 2026-11-02: add by m2/dev
False memory T6B680G23G
| URI | m2://inv/T6B680G23G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#NHW5, False memory (unknown)
History
- 2026-11-02: add by m2/dev
Examples T6BQPDXBXX
| URI | m2://inv/T6BQPDXBXX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-free word#0BWV, Examples (example)
History
- 2026-11-02: add by m2/dev
T6BXTMW1TT T6BXTMW1TT
| URI | m2://inv/T6BXTMW1TT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#SYZ2 (statement). In 5Y3HF693YB/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Magic triangle T6BZ171H3E
| URI | m2://inv/T6BZ171H3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic triangle (mathematics), Magic triangle (definition). Also Wikidata Q28455048
History
- 2026-11-02: add by m2/dev
T6BZB7QYNV T6BZB7QYNV
| URI | m2://inv/T6BZB7QYNV |
|---|---|
| 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.26001#B9AK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Predictive modelling T6C1P8YTGZ
| URI | m2://inv/T6C1P8YTGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZTOU, Predictive modelling (definition)
History
- 2026-11-02: add by m2/dev
Formal definition T6CC16P2AP
| URI | m2://inv/T6CC16P2AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fully irreducible automorphism#KDW7, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
T6CHF3YAN9 T6CHF3YAN9
| URI | m2://inv/T6CHF3YAN9 |
|---|---|
| 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.02663#U9H2 (statement). In PGAZ70WGMG/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
Memory channels T6CMAS1331
| URI | m2://inv/T6CMAS1331 |
|---|---|
| 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.22308#3TW9, Memory channels (statement). In 4QN87R0P1G/e1, corollary 4
History
- 2026-10-27: add by m2/v0.4.0
Moment decomposition T6CVTXAZDK
| URI | m2://inv/T6CVTXAZDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#GQSP, Moment decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fuzzy mathematics T6CWA6SN71
| URI | m2://inv/T6CWA6SN71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#IV3A, Fuzzy mathematics (definition)
History
- 2026-11-02: add by m2/dev
August Meitzen T6D1JEGXQA
| URI | m2://inv/T6D1JEGXQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia August Meitzen, August Meitzen (topic). Also Wikidata Q85411
History
- 2026-11-02: add by m2/dev
Picard's theorem on existence and uniqueness T6D2PWVAAB
| URI | m2://inv/T6D2PWVAAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#slope:picardthm, Picard's theorem on existence and uniqueness (statement). In E9HS8K3A52, theorem, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Special cases T6D3KKQ5W1
| URI | m2://inv/T6D3KKQ5W1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian path#0TTD, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Definition T6D9PF3C1J
| URI | m2://inv/T6D9PF3C1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform polyhedron#XV9E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lexicographically smaller, $<_L$ T6DE5JFHBW
| URI | m2://inv/T6DE5JFHBW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#KAIO, Lexicographically smaller, $<_L$ (definition). In DDA62XQTWW/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Notations T6DK3NA89F
| URI | m2://inv/T6DK3NA89F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank of a partition#VF35, Notations (definition)
History
- 2026-11-02: add by m2/dev
T6DK96B802 T6DK96B802
| URI | m2://inv/T6DK96B802 |
|---|---|
| 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 2601.15403#IPPO (statement). In BSWNH3NW1M/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.0
Schottky boundary dynamics T6DRP55VC4
| URI | m2://inv/T6DRP55VC4 |
|---|---|
| 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 2609.36098#W757, Schottky boundary dynamics (statement). In NRP62VNE58/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
T6DYZ6SPF1 T6DYZ6SPF1
| URI | m2://inv/T6DYZ6SPF1 |
|---|---|
| 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.08288#YNLA (statement). In CHVWYJM7RM/e1, lemma 4.18
History
- 2026-10-29: add by m2/v0.4.10
T6E517A122 T6E517A122
| URI | m2://inv/T6E517A122 |
|---|---|
| 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 1904.09810#L34S (statement). In T1VFA7TXPA/e1, lemma 52
History
- 2026-10-27: add by m2/v0.3.5
T6ENSN6X6Q T6ENSN6X6Q
| URI | m2://inv/T6ENSN6X6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#QH8J (statement). In 69QFBXJENW/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.5
T6ENY5STE9 T6ENY5STE9
| URI | m2://inv/T6ENY5STE9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
The scalar Gaussian envelopes T6EV6660K9
| URI | m2://inv/T6EV6660K9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#2P8M, The scalar Gaussian envelopes (statement). In 9YAE8FNQST/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Modular law T6EWAVDMAW
| URI | m2://inv/T6EWAVDMAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product of group subsets#NY2L, Modular law (statement)
History
- 2026-11-02: add by m2/dev
Resolution of singularities T6EX2Y59T2
| URI | m2://inv/T6EX2Y59T2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#LRFX, Resolution of singularities (conjecture)
History
- 2026-11-02: add by m2/dev
net graph T6F0GZ72FS
| URI | m2://inv/T6F0GZ72FS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130551295, net graph (unknown). Also House of Graphs 548, MathWorld NetGraph
History
- 2026-10-26: add by m2/dev
Guaranteed upper bound T6F1H9MSWZ
| URI | m2://inv/T6F1H9MSWZ |
|---|---|
| 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.12088#ZAE5, Guaranteed upper bound (statement). In 5A39XSJ04W/e1, theorem 7.9
History
- 2026-10-28: add by m2/v0.4.3
T6F4YQMYJ3 T6F4YQMYJ3
| URI | m2://inv/T6F4YQMYJ3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-3 (proof). In E59CDZA4DP, proof, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
T6F5XHHFAG T6F5XHHFAG
| URI | m2://inv/T6F5XHHFAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04498#0L9G (statement). In HHF08X70P6/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Georg Henrik von Wright T6F71HAF7W
| URI | m2://inv/T6F71HAF7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#LKHD, Georg Henrik von Wright (topic)
History
- 2026-11-02: add by m2/dev
T6F8X3ZJXN T6F8X3ZJXN
| URI | m2://inv/T6F8X3ZJXN |
|---|---|
| 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 2609.36622#UVBT (statement). In 9704QPRPR6/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Thomas Jaffrey T6FARB33WZ
| URI | m2://inv/T6FARB33WZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#MNRC, Thomas Jaffrey (unknown)
History
- 2026-11-02: add by m2/dev
List of open-source software for mathematics T6FDBEYCRW
| URI | m2://inv/T6FDBEYCRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics, List of open-source software for mathematics (topic). Also Wikidata Q17004070
History
- 2026-11-02: add by m2/dev
T6FDWEB5ZS T6FDWEB5ZS
| URI | m2://inv/T6FDWEB5ZS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-1 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Based on the spectral theorem T6FMYXY8BY
| URI | m2://inv/T6FMYXY8BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular value decomposition#RD48, Based on the spectral theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties T6FS1VMCKN
| URI | m2://inv/T6FS1VMCKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex cover#6ED4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition T6FXNQRFMZ
| URI | m2://inv/T6FXNQRFMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia North America#S3LH, Definition (definition)
History
- 2026-11-02: add by m2/dev
T6G38M9R59 T6G38M9R59
| URI | m2://inv/T6G38M9R59 |
|---|---|
| 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.16081#2768 (statement). In RS6WWZKMT6/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Examples T6GANRW0KQ
| URI | m2://inv/T6GANRW0KQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductive group#CK0G, Examples (example)
History
- 2026-11-02: add by m2/dev
generalized hypergeometric function T6GCW44455
| URI | m2://inv/T6GCW44455 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Generalized hypergeometric function VDBAW9PN88 |
Mentions
- wikidata: Wikidata Q109744257, generalized hypergeometric function (definition). Also MathWorld GeneralizedHypergeometricFunction, nLab hypergeometric function, ProofWiki Definition:Hypergeometric_Function/Generalized
- wikipedia: Wikipedia Generalized hypergeometric function, Generalized hypergeometric function (definition). Also Wikidata Q109744257
History
- 2026-10-26: add by m2/dev
Motoko Kotani T6GG8YBDX8
| URI | m2://inv/T6GG8YBDX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motoko Kotani, Motoko Kotani (topic). Also Wikidata Q113548634
History
- 2026-11-02: add by m2/dev
T6GK5QC9K8 T6GK5QC9K8
| URI | m2://inv/T6GK5QC9K8 |
|---|---|
| Kind | problem |
| 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.03835#DWKT (problem). In KAYGQMQPGS/e1, problem 6.1
History
- 2026-10-29: add by m2/v0.4.12
The theorem T6GMP8K61C
| URI | m2://inv/T6GMP8K61C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Godunov's theorem#LY3O, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples T6GP13NBYP
| URI | m2://inv/T6GP13NBYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonelementary integral#WG5H, Examples (example)
History
- 2026-11-02: add by m2/dev
Golod--Shafarevich T6GV38TSK6
| URI | m2://inv/T6GV38TSK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22297#JMSE, Golod--Shafarevich (statement)
History
- 2026-11-02: add by m2/v0.6.17
Watt's curve T6GXWN8E5H
| URI | m2://inv/T6GXWN8E5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9F1E, Watt's curve (definition)
- wikipedia: Wikipedia List of curves#YS7W, Watt's curve (definition)
History
- 2026-11-02: add by m2/dev
T6H2GC8RCK T6H2GC8RCK
| URI | m2://inv/T6H2GC8RCK |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37920#XPYW (conjecture). In GZPF8R6BBF/e1, conjecture 6.3
History
- 2026-10-30: add by m2/v0.4.12
Betsy Stovall T6HBKNC003
| URI | m2://inv/T6HBKNC003 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betsy Stovall, Betsy Stovall (topic). Also Wikidata Q102379651
History
- 2026-11-02: add by m2/dev
Integral pure-pair obstruction lattice T6HDYJ8MX7
| URI | m2://inv/T6HDYJ8MX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#9UN6, Integral pure-pair obstruction lattice (statement). In XDTM624YPE/e1, theorem 11.1
History
- 2026-10-27: add by m2/v0.4.2
pseudo-polyomino T6HE1SQR4A
| URI | m2://inv/T6HE1SQR4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7226512, pseudo-polyomino (unknown). Also MathWorld Polyplet
- wikipedia: Wikipedia Pseudo-polyomino, Pseudo-polyomino (definition). Also Wikidata Q7226512
History
- 2026-10-26: add by m2/dev
T6HMV43CZ2 T6HMV43CZ2
| URI | m2://inv/T6HMV43CZ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#EX86 (definition). In 4WJ9HYVSZY/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.6
Erd\H{o}s--Taylor theorem T6HN20P2HQ
| URI | m2://inv/T6HN20P2HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#PGL2, Erd\H{o}s--Taylor theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
T6HVB88H32 T6HVB88H32
| URI | m2://inv/T6HVB88H32 |
|---|---|
| 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.10093#6AO2 (statement). In NJDN112PFS/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
T6J6PAGW8P T6J6PAGW8P
| URI | m2://inv/T6J6PAGW8P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-5 (proof). In E59CDZA4DP, proof, section 10.1.3
History
- 2026-11-01: add by m2/v0.6.13
The border support model T6J6W75RS5
| URI | m2://inv/T6J6W75RS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27320#HJGW, The border support model (statement)
History
- 2026-11-01: add by m2/v0.6.15
T6JBV8XZC4 T6JBV8XZC4
| URI | m2://inv/T6JBV8XZC4 |
|---|---|
| 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#UF9U (statement). In FT53PMB1TE/e1, lemma 5.1.1
History
- 2026-10-29: add by m2/v0.4.10
Chronux T6JG3WZG3S
| URI | m2://inv/T6JG3WZG3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#MGGM, Chronux (definition)
History
- 2026-11-02: add by m2/dev
Main asymptotic formula T6JNGSPD3H
| URI | m2://inv/T6JNGSPD3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiman–Valiron theory#TPVK, Main asymptotic formula (statement)
History
- 2026-11-02: add by m2/dev
Gauss T6K3H7NXWG
| URI | m2://inv/T6K3H7NXWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#H5CT, Gauss (unknown)
History
- 2026-11-02: add by m2/dev
Milgrom's law T6K69SKN3B
| URI | m2://inv/T6K69SKN3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Newtonian dynamics#JPO2, Milgrom's law (statement)
History
- 2026-11-02: add by m2/dev
T6K6AGVN5Y T6K6AGVN5Y
| URI | m2://inv/T6K6AGVN5Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#ZAWD (example). In XX1J2REXY2/e1, example 3.5
History
- 2026-10-28: add by m2/v0.4.2
Definition T6KDCN7739
| URI | m2://inv/T6KDCN7739 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall–Littlewood polynomials#CTJ8, Definition (definition)
History
- 2026-11-02: add by m2/dev
T6KHVERFTK T6KHVERFTK
| URI | m2://inv/T6KHVERFTK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#proof-2 (proof). In RZP28ERRZV, proof, section 18.4
History
- 2026-11-01: add by m2/v0.6.13
Loops and loop length T6KM6BQWWF
| URI | m2://inv/T6KM6BQWWF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29671#JZ1D, Loops and loop length (definition)
History
- 2026-11-01: add by m2/v0.6.15
Shearer's inequality T6KQZN4RN8
| URI | m2://inv/T6KQZN4RN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#A2HM, Shearer's inequality (statement)
History
- 2026-11-02: add by m2/dev
Attribute agreement analysis T6KWYCGK9K
| URI | m2://inv/T6KWYCGK9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeatability#F0FX, Attribute agreement analysis (unknown)
History
- 2026-11-02: add by m2/dev
T6M1M0YAPY T6M1M0YAPY
| URI | m2://inv/T6M1M0YAPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/trees.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
Applications T6M3DRJ6MK
| URI | m2://inv/T6M3DRJ6MK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accumulator (cryptography)#GT0S, Applications (example)
History
- 2026-11-02: add by m2/dev
Grothendieck's Galois theory T6MK2H5VVR
| URI | m2://inv/T6MK2H5VVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#MKED, Grothendieck's Galois theory (definition)
History
- 2026-11-02: add by m2/dev
Integer factorization records T6MWGJHN77
| URI | m2://inv/T6MWGJHN77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer factorization records, Integer factorization records (definition). Also Wikidata Q4392938
History
- 2026-11-02: add by m2/dev
T6N4VAV5R8 T6N4VAV5R8
| URI | m2://inv/T6N4VAV5R8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#7MNZ (statement). In D1DFM4WYEW/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Axiom of countability T6N947ZP29
| URI | m2://inv/T6N947ZP29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#L1JH, Axiom of countability (statement)
History
- 2026-11-02: add by m2/dev
Otto Blumenthal T6NP6QKVHW
| URI | m2://inv/T6NP6QKVHW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E3FZ, Otto Blumenthal (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LK6E, Otto Blumenthal (unknown)
History
- 2026-11-02: add by m2/dev
Properties T6NTNSBM90
| URI | m2://inv/T6NTNSBM90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ligon–Schaaf regularization#PXOD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cannon--Thurston T6NVCME1XV
| URI | m2://inv/T6NVCME1XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#ZV8W, Cannon--Thurston (statement). In R2K4HZN8RW/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Riemannian injectivity radius T6NX06WS8N
| URI | m2://inv/T6NX06WS8N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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 2609.24610#F1UH, Riemannian injectivity radius (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hilda Pollaczek-Geiringer T6P0W71JE8
| URI | m2://inv/T6P0W71JE8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6JPO, Hilda Pollaczek-Geiringer (topic)
History
- 2026-11-02: add by m2/dev
Statement of the Minkowski-Steiner formula T6P7SX67ZF
| URI | m2://inv/T6P7SX67ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski–Steiner formula#0GSW, Statement of the Minkowski-Steiner formula (statement)
History
- 2026-11-02: add by m2/dev
T6PET1P15W T6PET1P15W
| URI | m2://inv/T6PET1P15W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20429#QOUZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
T6PG6PD8E8 T6PG6PD8E8
| URI | m2://inv/T6PG6PD8E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#F7D0 (statement). In 9C684206F0/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
T6PNAYPRVN T6PNAYPRVN
| URI | m2://inv/T6PNAYPRVN |
|---|---|
| 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.04271#0PHC (definition). In WBXAW9G4JB/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Applications T6PNSY49QJ
| URI | m2://inv/T6PNSY49QJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent cubic#YW6N, Applications (example)
History
- 2026-11-02: add by m2/dev
Marshall Hall T6PQHC832V
| URI | m2://inv/T6PQHC832V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KBYY, Marshall Hall (topic)
History
- 2026-11-02: add by m2/dev
T6PWQEGFTT T6PWQEGFTT
| URI | m2://inv/T6PWQEGFTT |
|---|---|
| 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.19300#4KXN (statement). In S6S4RD5VXJ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
T6Q6CSRST0 T6Q6CSRST0
| URI | m2://inv/T6Q6CSRST0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#MF8F (statement). In KS30K5JXGB/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
Awi Federgruen T6QBG7464D
| URI | m2://inv/T6QBG7464D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Awi Federgruen, Awi Federgruen (topic). Also Wikidata Q4830050
History
- 2026-11-02: add by m2/dev
Weaker Descartes' conjecture T6QBHKJEJX
| URI | m2://inv/T6QBHKJEJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldbach's conjecture#KKE8, Weaker Descartes' conjecture (statement)
History
- 2026-11-02: add by m2/dev
Meet criterion and failure of Hausdorff lower bounds T6QG0X6QWD
| URI | m2://inv/T6QG0X6QWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#8R2E, Meet criterion and failure of Hausdorff lower bounds (statement)
History
- 2026-11-02: add by m2/v0.6.18
Excitation expansion T6QNFXNYFZ
| URI | m2://inv/T6QNFXNYFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#1ZMW, Excitation expansion (statement). In V13TE1RWT9/e1, proposition 9.2
History
- 2026-10-30: add by m2/v0.4.12
Spaghetti plot T6QRKSW45Q
| URI | m2://inv/T6QRKSW45Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QIU4, Spaghetti plot (definition)
History
- 2026-11-02: add by m2/dev
Isoperimetric inequality for triangles T6QVY4CQ35
| URI | m2://inv/T6QVY4CQ35 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoperimetric inequality#CLUH, Isoperimetric inequality for triangles (statement)
History
- 2026-11-02: add by m2/dev
Capacity coupling T6QYY27C2V
| URI | m2://inv/T6QYY27C2V |
|---|---|
| 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.17479#YVRW, Capacity coupling (statement). In 4FWAY748N7/e1, proposition 1.6
History
- 2026-10-28: add by m2/v0.4.2
T6R0ZPX9FX T6R0ZPX9FX
| URI | m2://inv/T6R0ZPX9FX |
|---|---|
| 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.38206#EVGO (statement). In F71MS1F637/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
Facewise abelian BF comparison T6REQNBD6K
| URI | m2://inv/T6REQNBD6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.27799#3W6B, Facewise abelian BF comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications T6RJ7QCEWY
| URI | m2://inv/T6RJ7QCEWY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational function#E7C7, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition T6RP8H4F7R
| URI | m2://inv/T6RP8H4F7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasirandom group#KA62, Definition (definition)
History
- 2026-11-02: add by m2/dev
T6S237Q6CP T6S237Q6CP
| URI | m2://inv/T6S237Q6CP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#0QI7 (statement). In Y4TP36M0C7/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
T6SG9YJ66V T6SG9YJ66V
| URI | m2://inv/T6SG9YJ66V |
|---|---|
| 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.02689#BOG1 (statement). In 7BWXR38MNE/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
zero module T6SQZST8NV
| URI | m2://inv/T6SQZST8NV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44177250, zero module (unknown). Also MathWorld TrivialModule, MathWorld ZeroModule
History
- 2026-10-26: add by m2/dev
Near-optimality of perturbed maximizers T6SS30MGHQ
| URI | m2://inv/T6SS30MGHQ |
|---|---|
| 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.11619#2JJ2, Near-optimality of perturbed maximizers (statement). In HT2K76Y9WS/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.3
Related theorems T6T1Z7RHPT
| URI | m2://inv/T6T1Z7RHPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta's formula#WHBL, Related theorems (statement)
History
- 2026-11-02: add by m2/dev
Theorem T6T8NNEFJR
| URI | m2://inv/T6T8NNEFJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#CQ1J, Theorem (statement)
History
- 2026-11-02: add by m2/dev
cross-correlation T6TJG9CSF5
| URI | m2://inv/T6TJG9CSF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1302587, cross-correlation (unknown). Also MathWorld Cross-Correlation
- wikipedia: Wikipedia Cross-correlation, Cross-correlation (definition). Also Wikidata Q1302587
History
- 2026-10-26: add by m2/dev
T6TNW370HE T6TNW370HE
| URI | m2://inv/T6TNW370HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#defn:quasi-inverse (definition). In N54F33XE07, defn, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
T6TTRZYW8X T6TTRZYW8X
| URI | m2://inv/T6TTRZYW8X |
|---|---|
| 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 2412.20001#TYPC (statement). In Y6YJSB93C3/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
normalised pattern chart T6V78C80FX
| URI | m2://inv/T6V78C80FX |
|---|---|
| Kind | definition |
| 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#LMOG, normalised pattern chart (definition). In CBCCH5VTMQ/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Logical implication T6VNR4CWAW
| URI | m2://inv/T6VNR4CWAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#EVKL, Logical implication (definition)
History
- 2026-11-02: add by m2/dev
Legal partial assignments T6VS6HA8PF
| URI | m2://inv/T6VS6HA8PF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#AJSP, Legal partial assignments (definition). In ZZER8ZBSCR/e1, definition 2.17
History
- 2026-10-29: add by m2/v0.4.12
T6WAZ3G6NE T6WAZ3G6NE
| URI | m2://inv/T6WAZ3G6NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4946#B01Z (statement). In R4ZM6Q4SHH/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
T6WCVDSCD3 T6WCVDSCD3
| URI | m2://inv/T6WCVDSCD3 |
|---|---|
| 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.26713#0H6B (statement)
History
- 2026-11-01: add by m2/v0.6.15
T6WJ518KM3 T6WJ518KM3
| URI | m2://inv/T6WJ518KM3 |
|---|---|
| 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#2HJ3 (statement). In M4ZVJWM8YA/e1, proposition A.7
History
- 2026-10-27: add by m2/v0.4.2
T6WK073JYX T6WK073JYX
| URI | m2://inv/T6WK073JYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#OMN4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Standard normal table T6X1T9VBED
| URI | m2://inv/T6X1T9VBED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NB05, Standard normal table (definition)
History
- 2026-11-02: add by m2/dev
T6X1VAJM55 T6X1VAJM55
| URI | m2://inv/T6X1VAJM55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#J4PO (statement). In X1KWTAA3M2/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
T6X92RTNJP T6X92RTNJP
| URI | m2://inv/T6X92RTNJP |
|---|---|
| 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 2109.12716#L65T (statement). In 6X76XBE3HV/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
T6XAPHBKPC T6XAPHBKPC
| URI | m2://inv/T6XAPHBKPC |
|---|---|
| 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.39218#3RN9 (statement). In VPZSCE8HFP/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Properties of the Green operator T6XBACMK2Z
| URI | m2://inv/T6XBACMK2Z |
|---|---|
| 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.16705#YJD7, Properties of the Green operator (statement). In B48YQVGAF5/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Properties T6XEXMYPKK
| URI | m2://inv/T6XEXMYPKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard deviation line#WER0, Properties (statement)
History
- 2026-11-02: add by m2/dev
T6XFRSPA3M T6XFRSPA3M
| URI | m2://inv/T6XFRSPA3M |
|---|---|
| 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 2512.21427#VBGC (statement). In G9XD78ZCAS/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
Uses T6XH4QYRMW
| URI | m2://inv/T6XH4QYRMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structurable algebra#LBO4, Uses (example)
History
- 2026-11-02: add by m2/dev
T6XHF9KQKD T6XHF9KQKD
| URI | m2://inv/T6XHF9KQKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#8WEK (statement). In AZFARX0CXG/e1, proposition 1.1
History
- 2026-10-28: add by m2/v0.4.2
T6XHQVD9FE T6XHQVD9FE
| URI | m2://inv/T6XHQVD9FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07852#EG84 (statement). In 8X43SAEM99/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Gaussian function T6XPSRZE8C
| URI | m2://inv/T6XPSRZE8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N08A, Gaussian function (definition)
- wikipedia: Wikipedia List of exponential topics#12RI, Gaussian function (definition)
- wikipedia: Wikipedia List of topics related to π#SDCP, Gaussian function (definition)
History
- 2026-11-02: add by m2/dev
homology sphere T6XW1CPWKG
| URI | m2://inv/T6XW1CPWKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homology sphere HK8NS02NNE |
Mentions
- wikidata: Wikidata Q1502277, homology sphere (unknown). Also nLab homology sphere
- wikipedia: Wikipedia Homology sphere, Homology sphere (definition). Also Wikidata Q1502277
History
- 2026-10-26: add by m2/dev
T6Y53SST3H T6Y53SST3H
| URI | m2://inv/T6Y53SST3H |
|---|---|
| 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.15444#OZDO (statement). In M2X9TEYRPC/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
Properties and applications T6YB90YBRJ
| URI | m2://inv/T6YB90YBRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octahedral number#E7R8, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
T6YBG2VNFG T6YBG2VNFG
| URI | m2://inv/T6YBG2VNFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#NCJ0 (statement). In 48QX0QD0XR/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.3
Irene M. Gamba T6YDKC4DMA
| URI | m2://inv/T6YDKC4DMA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene M. Gamba, Irene M. Gamba (topic). Also Wikidata Q18705193
History
- 2026-11-02: add by m2/dev
T6YEGBVWKM T6YEGBVWKM
| URI | m2://inv/T6YEGBVWKM |
|---|---|
| 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 1806.00752#YR2L (statement). In GGW2N4JHXM/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Representation theorem T6YHN4JXRN
| URI | m2://inv/T6YHN4JXRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal lemma#DKVX, Representation theorem (statement)
History
- 2026-11-02: add by m2/dev
Method T6YJ3ADBMR
| URI | m2://inv/T6YJ3ADBMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unmatched count#025E, Method (definition)
History
- 2026-11-02: add by m2/dev
T6YKH8V4TT T6YKH8V4TT
| URI | m2://inv/T6YKH8V4TT |
|---|---|
| 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.26041#QD0P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Differintegral T6YSABH3AP
| URI | m2://inv/T6YSABH3AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differintegral, Differintegral (definition). Also Wikidata Q4168282
History
- 2026-11-02: add by m2/dev
Properties T6YY1RXG5V
| URI | m2://inv/T6YY1RXG5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive closure#DDI5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Mahalanobis distance T6YY678J1K
| URI | m2://inv/T6YY678J1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZBRK, Mahalanobis distance (definition)
History
- 2026-11-02: add by m2/dev
Whitney embedding theorem T6Z9YMEPNF
| URI | m2://inv/T6Z9YMEPNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 4 |
| Outcome | open |
| Node | Whitney embedding theorem 2GSRBDT96M |
Mentions
- mathlib_1000: mathlib_1000 Q1306095, Whitney embedding theorem (statement). Also Mathlib exists_embedding_euclidean_of_compact, Wikidata Q1306095
- thousand_plus: thousand_plus Q1306095, Whitney embedding theorem (statement). Also Mathlib exists_embedding_euclidean_of_compact, Wikidata Q1306095, Wikipedia Whitney embedding theorem
- wikidata: Wikidata Q1306095, Whitney embedding theorem (statement). Also nLab Whitney embedding theorem
- wikipedia: Wikipedia Whitney embedding theorem, Whitney embedding theorem (statement). Also Wikidata Q1306095
History
- 2026-10-26: add by m2/dev
T6ZDFDVFPV T6ZDFDVFPV
| URI | m2://inv/T6ZDFDVFPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#873B (definition)
History
- 2026-11-02: add by m2/v0.6.17
T6ZF66TDX8 T6ZF66TDX8
| URI | m2://inv/T6ZF66TDX8 |
|---|---|
| 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 2507.20176#IU0Z (statement). In CX4WDA2KAR/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5