Inventory rows 2Y
The cards of the rows of the inventory whose ids start with 2Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
2Y00FH365S 2Y00FH365S
| URI | m2://inv/2Y00FH365S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#NEOZ (definition). In AZFARX0CXG/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Fixed-point iteration 2Y021DZAZ5
| URI | m2://inv/2Y021DZAZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point iteration, Fixed-point iteration (definition). Also Wikidata Q1030759
History
- 2026-11-02: add by m2/dev
infinitesimally 2Y05RT573Q
| URI | m2://inv/2Y05RT573Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#XQ8G, infinitesimally (definition)
History
- 2026-11-02: add by m2/dev
Expansion of $\Delta_3$ 2Y0EP92TNH
| URI | m2://inv/2Y0EP92TNH |
|---|---|
| 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.15805#Z5FF, Expansion of $\Delta_3$ (statement). In 2XVWG0Z18V/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
2Y0SN7SEGH 2Y0SN7SEGH
| URI | m2://inv/2Y0SN7SEGH |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#8A5J (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
The Axiom of Counting and subversion of stratification 2Y0YC18DXF
| URI | m2://inv/2Y0YC18DXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implementation of mathematics in set theory#DF84, The Axiom of Counting and subversion of stratification (statement)
History
- 2026-11-02: add by m2/dev
Yanxun Xu 2Y11PERKD2
| URI | m2://inv/2Y11PERKD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yanxun Xu, Yanxun Xu (topic). Also Wikidata Q88887121
History
- 2026-11-02: add by m2/dev
signal processing 2Y14BDG98V
| URI | m2://inv/2Y14BDG98V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208163, signal processing (unknown). Also nLab signal processing
- wikipedia: Wikipedia Signal processing, Signal processing (topic). Also Wikidata Q208163
History
- 2026-10-26: add by m2/dev
Kuznetsov–Eden's conjecture 2Y1BJHQV81
| URI | m2://inv/2Y1BJHQV81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eden's conjecture#9I7Y, Kuznetsov–Eden's conjecture (statement)
History
- 2026-11-02: add by m2/dev
2Y1DA3AY8P 2Y1DA3AY8P
| URI | m2://inv/2Y1DA3AY8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.00798#Q4PN (statement). In FANG3A8NZ9/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
B\'ona 2Y1KVVHWND
| URI | m2://inv/2Y1KVVHWND |
|---|---|
| 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.02535#QASZ, B\'ona (statement). In S26PXDSWM9/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Feuerbach hyperbola 2Y1NZDWVSM
| URI | m2://inv/2Y1NZDWVSM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24170693, Feuerbach hyperbola (concept). Also MathWorld FeuerbachHyperbola
- wikipedia: Wikipedia Feuerbach hyperbola, Feuerbach hyperbola (definition). Also Wikidata Q24170693
History
- 2026-10-26: add by m2/dev
Outputs using at least two principal classes 2Y1PCA5MZ7
| URI | m2://inv/2Y1PCA5MZ7 |
|---|---|
| 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.25101#AIFA, Outputs using at least two principal classes (statement)
History
- 2026-11-01: add by m2/v0.6.15
2Y1QV4HMVW 2Y1QV4HMVW
| URI | m2://inv/2Y1QV4HMVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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.25080#3U63 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 2Y1REBDC0Q
| URI | m2://inv/2Y1REBDC0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian meander#IXEJ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Chudnovsky brothers 2Y1Y8G7SR6
| URI | m2://inv/2Y1Y8G7SR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#M9NE, Chudnovsky brothers (topic)
History
- 2026-11-02: add by m2/dev
Griffiths inequality 2Y1YWZGKWS
| URI | m2://inv/2Y1YWZGKWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#CMGM, Griffiths inequality (statement)
History
- 2026-11-02: add by m2/dev
Jacobi formula 2Y21P4XNKH
| URI | m2://inv/2Y21P4XNKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi ellipsoid#7P7W, Jacobi formula (statement)
History
- 2026-11-02: add by m2/dev
Weak normality after retaining complete height groups 2Y27Q7CQYH
| URI | m2://inv/2Y27Q7CQYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#HYBC, Weak normality after retaining complete height groups (statement)
History
- 2026-11-01: add by m2/v0.6.15
quintic 2Y29FSBNEK
| URI | m2://inv/2Y29FSBNEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#BQFJ, quintic (definition)
History
- 2026-11-02: add by m2/dev
Variational correctness of the Kirchhoff NDPG loss 2Y2FH7YM80
| URI | m2://inv/2Y2FH7YM80 |
|---|---|
| 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.19296#D0CV, Variational correctness of the Kirchhoff NDPG loss (statement). In WFR2WNW8NB/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
Simple harmonic motion 2Y2KN2Z1YX
| URI | m2://inv/2Y2KN2Z1YX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#HMAO, Simple harmonic motion (definition)
History
- 2026-11-02: add by m2/dev
2Y2MMTK31Q 2Y2MMTK31Q
| URI | m2://inv/2Y2MMTK31Q |
|---|---|
| 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.03081#0Y9X (statement). In TX0H26X4VX/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
Free partially commutative group 2Y2ZS3D97M
| URI | m2://inv/2Y2ZS3D97M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Tits group#DG2C, Free partially commutative group (unknown)
History
- 2026-11-02: add by m2/dev
2Y30TVMRYA 2Y30TVMRYA
| URI | m2://inv/2Y30TVMRYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#Z60M (statement). In WDV5E2CVTR/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
2Y33Z1N4VF 2Y33Z1N4VF
| URI | m2://inv/2Y33Z1N4VF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#TEXW (statement). In PQHTR84RAJ/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.4.0
2Y39GXJY62 2Y39GXJY62
| URI | m2://inv/2Y39GXJY62 |
|---|---|
| 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 2307.02473#8NIY (statement). In RGXMK94YW1/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Hilbert bases 2Y39ZYSGP2
| URI | m2://inv/2Y39ZYSGP2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > Hilbert bases, Hilbert bases (unknown). Also Mathlib HilbertBasis
History
- 2026-10-26: add by m2/dev
Tavistock and Portman NHS Foundation Trust 2Y3F5TE93T
| URI | m2://inv/2Y3F5TE93T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tavistock and Portman NHS Foundation Trust, Tavistock and Portman NHS Foundation Trust (definition). Also Wikidata Q104990060
History
- 2026-11-02: add by m2/dev
2Y3GZC2YEZ 2Y3GZC2YEZ
| URI | m2://inv/2Y3GZC2YEZ |
|---|---|
| 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 2403.01959#GEEP (statement). In 5YMNGJRC6Y/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Process performance qualification protocol 2Y3KEZEN0S
| URI | m2://inv/2Y3KEZEN0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process performance qualification protocol, Process performance qualification protocol (definition). Also Wikidata Q22907934
History
- 2026-11-02: add by m2/dev
Statement 2Y3KQTZESW
| URI | m2://inv/2Y3KQTZESW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fernique's theorem#16JL, Statement (statement)
History
- 2026-11-02: add by m2/dev
tempered 2Y3NNX650A
| URI | m2://inv/2Y3NNX650A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#OTAF, tempered (definition)
History
- 2026-11-02: add by m2/dev
integration by substitution 2Y3RC7BHEY
| URI | m2://inv/2Y3RC7BHEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Integration by substitution 0D37QFPEZE |
Mentions
- wikidata: Wikidata Q1071270, integration by substitution (unknown). Also Mathlib intervalIntegral.integral_comp_mul_deriv, MathWorld ChangeofVariablesTheorem
- wikipedia: Wikipedia Integration by substitution, Integration by substitution (definition). Also Wikidata Q1071270
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2Y3SMYZKY9 2Y3SMYZKY9
| URI | m2://inv/2Y3SMYZKY9 |
|---|---|
| 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#96EU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Intuition 2Y3XFVBSMA
| URI | m2://inv/2Y3XFVBSMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intuition, Intuition (definition). Also Wikidata Q189222
History
- 2026-11-02: add by m2/dev
2Y3XQYECNV 2Y3XQYECNV
| URI | m2://inv/2Y3XQYECNV |
|---|---|
| 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 2211.10816#N36T (statement). In 8VNN8PX49Y/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.6
2Y44EMS7XD 2Y44EMS7XD
| URI | m2://inv/2Y44EMS7XD |
|---|---|
| Kind | example |
| 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.10928#FETD (example). In 8M7BFVQYMM/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.3
2Y4D58FR6N 2Y4D58FR6N
| URI | m2://inv/2Y4D58FR6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#KPB3 (statement). In 6ASPPVJP5M/e1, proposition 8
History
- 2026-10-31: add by m2/v0.5.6
2Y4M6J45FS 2Y4M6J45FS
| URI | m2://inv/2Y4M6J45FS |
|---|---|
| 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.09648#9WDF (statement). In WB9PTPN54H/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
2Y4RTA8XCT 2Y4RTA8XCT
| URI | m2://inv/2Y4RTA8XCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.20798#49WF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 2Y4XJ798ZM
| URI | m2://inv/2Y4XJ798ZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PPA (complexity)#M0HI, Examples (example)
History
- 2026-11-02: add by m2/dev
2Y4Z95VYBN 2Y4Z95VYBN
| URI | m2://inv/2Y4Z95VYBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05471#MDAH (statement). In WDWF9WKNK1/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Peter Lancaster 2Y51TD50SM
| URI | m2://inv/2Y51TD50SM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Lancaster, Peter Lancaster (topic). Also Wikidata Q23710576
History
- 2026-11-02: add by m2/dev
Bruno Augenstein 2Y52M4037M
| URI | m2://inv/2Y52M4037M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno Augenstein, Bruno Augenstein (topic). Also Wikidata Q91671
History
- 2026-11-02: add by m2/dev
2Y537EF970 2Y537EF970
| URI | m2://inv/2Y537EF970 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#ZAD4 (statement). In S26QVW5613/e1, corollary 4.9.5
History
- 2026-10-30: add by m2/v0.4.12
2Y53AM7B48 2Y53AM7B48
| URI | m2://inv/2Y53AM7B48 |
|---|---|
| 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.16989#C4C5 (statement). In 4769XNDWYS/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
2Y558QSZET 2Y558QSZET
| URI | m2://inv/2Y558QSZET |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-42 (proof). In N54F33XE07, proof, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
2Y57FDCBTA 2Y57FDCBTA
| URI | m2://inv/2Y57FDCBTA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#IVJ2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
2Y59Z5A9CJ 2Y59Z5A9CJ
| URI | m2://inv/2Y59Z5A9CJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#QGSF (definition). In M0SQY5EZN5/e1, definition 1.4.2
History
- 2026-10-27: add by m2/v0.3.5
2Y5F42RS3B 2Y5F42RS3B
| URI | m2://inv/2Y5F42RS3B |
|---|---|
| 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-11 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Ruth Haas 2Y5FSBDWZJ
| URI | m2://inv/2Y5FSBDWZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Haas, Ruth Haas (topic). Also Wikidata Q47535932
History
- 2026-11-02: add by m2/dev
2Y5GDR5QCS 2Y5GDR5QCS
| URI | m2://inv/2Y5GDR5QCS |
|---|---|
| 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.37471#KMKU (statement). In KDF1GTQV08/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Definition 2Y5N984FVQ
| URI | m2://inv/2Y5N984FVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Householder transformation#L678, Definition (definition)
History
- 2026-11-02: add by m2/dev
2Y5PRXTKBJ 2Y5PRXTKBJ
| URI | m2://inv/2Y5PRXTKBJ |
|---|---|
| Kind | example |
| 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.20665#TOTT (example)
History
- 2026-11-02: add by m2/v0.6.18
Properties 2Y5RFG4AB6
| URI | m2://inv/2Y5RFG4AB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zernike polynomials#IC4U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Irene Sabadini 2Y5TAZFR9Z
| URI | m2://inv/2Y5TAZFR9Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene Sabadini, Irene Sabadini (topic). Also Wikidata Q93428106
History
- 2026-11-02: add by m2/dev
2Y5VJG1YZ5 2Y5VJG1YZ5
| URI | m2://inv/2Y5VJG1YZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24523#AABB (statement)
History
- 2026-11-01: add by m2/v0.6.15
hereditary property 2Y61G6BKRG
| URI | m2://inv/2Y61G6BKRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3439792, hereditary property (unknown). Also MathWorld HereditaryProperty, nLab hereditary property
- wikipedia: Wikipedia Hereditary property, Hereditary property (definition). Also Wikidata Q3439792
History
- 2026-10-26: add by m2/dev
2Y64ZARV7B 2Y64ZARV7B
| URI | m2://inv/2Y64ZARV7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#C0M0 (statement). In RK0ZMDJ23T/e1, lemma 2.2.1
History
- 2026-10-31: add by m2/v0.5.6
Piston motion equations 2Y68WNRQ2G
| URI | m2://inv/2Y68WNRQ2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piston motion equations, Piston motion equations (definition). Also Wikidata Q7198516
History
- 2026-11-02: add by m2/dev
Proof sketch 2Y6CT4A3T1
| URI | m2://inv/2Y6CT4A3T1 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#MX0R, Proof sketch (unknown). In QNBFHFZ3H0/e1, unknown 140
History
- 2026-10-28: add by m2/v0.4.2
2Y6PZBR8FV 2Y6PZBR8FV
| URI | m2://inv/2Y6PZBR8FV |
|---|---|
| Kind | definition |
| 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.13833#ZI94 (definition). In VD4JP4HVBX/e1, definition 8.6
History
- 2026-10-28: add by m2/v0.4.2
Rainbow KKM lemma (Gale) 2Y6RAPN4HY
| URI | m2://inv/2Y6RAPN4HY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#6UXP, Rainbow KKM lemma (Gale) (statement)
History
- 2026-11-02: add by m2/dev
2Y6THFBWQ5 2Y6THFBWQ5
| URI | m2://inv/2Y6THFBWQ5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-16 (proof). In N54F33XE07, proof, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
2Y74959HR1 2Y74959HR1
| URI | m2://inv/2Y74959HR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#defn-4 (definition). In E59CDZA4DP, defn, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
2Y7EN03CH2 2Y7EN03CH2
| URI | m2://inv/2Y7EN03CH2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#E7XG (definition). In HVGT9D84WV/e1, definition 1.18
History
- 2026-10-27: add by m2/v0.3.5
2Y7N1QDBD3 2Y7N1QDBD3
| URI | m2://inv/2Y7N1QDBD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#2DRD (statement). In 67GE5M1GGD/e1, proposition 4.12
History
- 2026-10-30: add by m2/v0.4.12
Examples 2Y7N2CEFTB
| URI | m2://inv/2Y7N2CEFTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Developable surface#QP1Q, Examples (example)
History
- 2026-11-02: add by m2/dev
Volume formula and finiteness 2Y7Q2S02HQ
| URI | m2://inv/2Y7Q2S02HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic Fuchsian group#O4QY, Volume formula and finiteness (statement)
History
- 2026-11-02: add by m2/dev
2Y82MEH98S 2Y82MEH98S
| URI | m2://inv/2Y82MEH98S |
|---|---|
| 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.39706#EOCE (statement). In 79Y8JJMKP4/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
2Y84TRKPZ1 2Y84TRKPZ1
| URI | m2://inv/2Y84TRKPZ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37931#G5UO (definition). In J8C1EXQW86/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Euclidean space 2Y85VPY7B2
| URI | m2://inv/2Y85VPY7B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euclidean space 0XPR1E85W0 |
Mentions
- wikidata: Wikidata Q17295, Euclidean space (unknown). Also EoM Euclidean_space, Mathlib EuclideanSpace, MathWorld EuclideanSpace, nLab Euclidean space
- wikipedia: Wikipedia Euclidean space, Euclidean space (definition). Also Wikidata Q17295
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
cone, of a function 2Y8DHQ5GWM
| URI | m2://inv/2Y8DHQ5GWM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.2/cone-of-a-function, cone, of a function (concept). In N54F33XE07, index, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
Oskar Perron 2Y8N4J1T8K
| URI | m2://inv/2Y8N4J1T8K |
|---|---|
| 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 Q65189, Oskar Perron (unknown). Also ProofWiki Mathematician:Oskar_Perron
- wikipedia: Wikipedia Oskar Perron, Oskar Perron (topic). Also Wikidata Q65189
History
- 2026-10-26: add by m2/dev
Yuan Wang 2Y8QH2GZR1
| URI | m2://inv/2Y8QH2GZR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuan Wang (control theorist), Yuan Wang (topic). Also Wikidata Q102149942
History
- 2026-11-02: add by m2/dev
3-sphere 2Y8VDQ7RGV
| URI | m2://inv/2Y8VDQ7RGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2274197, 3-sphere (unknown). Also MathWorld Glome, nLab 3-sphere
- wikipedia: Wikipedia 3-sphere, 3-sphere (definition). Also Wikidata Q2274197
History
- 2026-10-26: add by m2/dev
Formal statement 2Y8Y3ASQ2J
| URI | m2://inv/2Y8Y3ASQ2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pugh's closing lemma#VYBR, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
2Y8Y3FEGHC 2Y8Y3FEGHC
| URI | m2://inv/2Y8Y3FEGHC |
|---|---|
| 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.20801#CE60 (statement). In A1GWWGRXPA/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.4.2
Yves Meyer 2Y936878D5
| URI | m2://inv/2Y936878D5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F0VS, Yves Meyer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MYM4, Yves Meyer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T6ME, Yves Meyer (topic)
History
- 2026-11-02: add by m2/dev
2Y940RCPKV 2Y940RCPKV
| URI | m2://inv/2Y940RCPKV |
|---|---|
| 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.28824#41WE (statement)
History
- 2026-11-01: add by m2/v0.6.15
2Y98CPK906 2Y98CPK906
| URI | m2://inv/2Y98CPK906 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#DU0A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Computer-assisted proof 2Y99SWVPXC
| URI | m2://inv/2Y99SWVPXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer-assisted proof, Computer-assisted proof (definition). Also Wikidata Q1150675
History
- 2026-11-02: add by m2/dev
nit-picking 2Y9CBZ6ZQH
| URI | m2://inv/2Y9CBZ6ZQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#W3OR, nit-picking (unknown)
History
- 2026-11-02: add by m2/dev
Properties 2Y9JYY9XP3
| URI | m2://inv/2Y9JYY9XP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiperimeter#6KVR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Riemannian cubic 2Y9M9J301C
| URI | m2://inv/2Y9M9J301C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#GV0I, Riemannian cubic (unknown)
History
- 2026-11-02: add by m2/dev
Quantum coherence 2YA9RGNN2W
| URI | m2://inv/2YA9RGNN2W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherence (physics)#CXRI, Quantum coherence (unknown)
History
- 2026-11-02: add by m2/dev
Falsehood-preserving: yes 2YAABJ17JA
| URI | m2://inv/2YAABJ17JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclusive or#8SQA, Falsehood-preserving: yes (definition)
History
- 2026-11-02: add by m2/dev
2YADDMHGC4 2YADDMHGC4
| URI | m2://inv/2YADDMHGC4 |
|---|---|
| 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 2111.14143#VQ6C (statement). In QSKV7N0T89/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Claim 2YADS5NNG4
| URI | m2://inv/2YADS5NNG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#KDZQ, Claim (statement)
History
- 2026-11-02: add by m2/dev
2YAGW89BV5 2YAGW89BV5
| URI | m2://inv/2YAGW89BV5 |
|---|---|
| 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 2504.13802#AROM (statement). In MH358B1GVQ/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Mathieu group M23 2YAHWPX9DC
| URI | m2://inv/2YAHWPX9DC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M23, Mathieu group M23 (object). Also Wikidata Q6787237
History
- 2026-11-02: add by m2/dev
Regret Bound and Constraint Violation 2YAQBF07QR
| URI | m2://inv/2YAQBF07QR |
|---|---|
| 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 2306.00212#S4KO, Regret Bound and Constraint Violation (statement). In C9GG9C1X65/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.5
Abelian von Neumann algebra 2YAVM7HF9V
| URI | m2://inv/2YAVM7HF9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#8F7C, Abelian von Neumann algebra (definition)
History
- 2026-11-02: add by m2/dev
Examples 2YAWRBDWZX
| URI | m2://inv/2YAWRBDWZX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatic clinical trial#RCBG, Examples (example)
History
- 2026-11-02: add by m2/dev
Thomas Jones 2YB2JBT9Q9
| URI | m2://inv/2YB2JBT9Q9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Jones (mathematician), Thomas Jones (topic). Also Wikidata Q2911997
History
- 2026-11-02: add by m2/dev
Stable sort 2YB4133H32
| URI | m2://inv/2YB4133H32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sorting algorithm#PNL2, Stable sort (unknown)
History
- 2026-11-02: add by m2/dev
2YB4J5CSRR 2YB4J5CSRR
| URI | m2://inv/2YB4J5CSRR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/expressing-relations.tex#ex-1 (example). In PKGMM3P5QY, ex, section 12.9
History
- 2026-11-01: add by m2/v0.6.13
Sharp comparison for bounded martingale increments 2YBA9K5ZEM
| URI | m2://inv/2YBA9K5ZEM |
|---|---|
| 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#19MB, Sharp comparison for bounded martingale increments (statement). In 9YAE8FNQST/e1, corollary 4.11
History
- 2026-10-30: add by m2/v0.4.12
bosonization 2YBBM36H5A
| URI | m2://inv/2YBBM36H5A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4947448, bosonization (unknown). Also nLab bosonization
History
- 2026-10-26: add by m2/dev
2YBDGJ8R9E 2YBDGJ8R9E
| URI | m2://inv/2YBDGJ8R9E |
|---|---|
| Kind | statement |
| 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#45W9 (statement). In JS5FKV1S9T/e1, lemma G.2
History
- 2026-10-27: add by m2/v0.3.5
2YBDTMBT3W 2YBDTMBT3W
| URI | m2://inv/2YBDTMBT3W |
|---|---|
| Kind | definition |
| 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.13833#AADY (definition). In VD4JP4HVBX/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 2YBKTDHMPF
| URI | m2://inv/2YBKTDHMPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yetter–Drinfeld category#TYYE, Definition (definition)
History
- 2026-11-02: add by m2/dev
complete elliptic integral of the second kind 2YBMYBGGC3
| URI | m2://inv/2YBMYBGGC3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109753012, complete elliptic integral of the second kind (unknown). Also MathWorld CompleteEllipticIntegraloftheSecondKind
History
- 2026-10-26: add by m2/dev
2YBW2C94MX 2YBW2C94MX
| URI | m2://inv/2YBW2C94MX |
|---|---|
| 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-11 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Properties 2YBZVQF37C
| URI | m2://inv/2YBZVQF37C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonoid#QWVR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications 2YC63A3BE3
| URI | m2://inv/2YC63A3BE3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Family of curves#BHU3, Applications (example)
History
- 2026-11-02: add by m2/dev
neural $H(\divvr)$ classes for $n=2,3$ 2YC69Q498P
| URI | m2://inv/2YC69Q498P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#3TN5, neural $H(\divvr)$ classes for $n=2,3$ (statement). In YR3CSTYEJW/e1, corollary 2.13
History
- 2026-10-29: add by m2/v0.4.10
Consecutiveness of Boundary Extrema 2YC8ME6CSW
| URI | m2://inv/2YC8ME6CSW |
|---|---|
| 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.02495#YKIU, Consecutiveness of Boundary Extrema (statement). In T4S7XVAJJC/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.12
Bar complex 2YCAZXZ0VA
| URI | m2://inv/2YCAZXZ0VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bar complex, Bar complex (definition). Also Wikidata Q17103661
History
- 2026-11-02: add by m2/dev
Poincaré homology sphere 2YCBDRWWHH
| URI | m2://inv/2YCBDRWWHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#I638, Poincaré homology sphere (definition)
- wikipedia: Wikipedia List of manifolds#P70B, Poincaré homology sphere (definition)
History
- 2026-11-02: add by m2/dev
Felix E. Browder 2YCGZK6RHX
| URI | m2://inv/2YCGZK6RHX |
|---|---|
| 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#0JEY, Felix E. Browder (topic)
History
- 2026-11-02: add by m2/dev
V. S. Vladimirov 2YCZH9DTF9
| URI | m2://inv/2YCZH9DTF9 |
|---|---|
| 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#IV9M, V. S. Vladimirov (topic)
History
- 2026-11-02: add by m2/dev
Representations 2YD55VP6RP
| URI | m2://inv/2YD55VP6RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Held group#99B1, Representations (definition)
History
- 2026-11-02: add by m2/dev
Late-time integrated Sachs-Wolfe effect 2YDC4S2XCY
| URI | m2://inv/2YDC4S2XCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sachs–Wolfe effect#XF2Z, Late-time integrated Sachs-Wolfe effect (unknown)
History
- 2026-11-02: add by m2/dev
Fallacy of the single cause 2YDGS8RM92
| URI | m2://inv/2YDGS8RM92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#F5WZ, Fallacy of the single cause (definition)
History
- 2026-11-02: add by m2/dev
Original Extract 2YE5353FMM
| URI | m2://inv/2YE5353FMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravity (alcoholic beverage)#CMHO, Original Extract (unknown)
History
- 2026-11-02: add by m2/dev
2YEG3FCV9R 2YEG3FCV9R
| URI | m2://inv/2YEG3FCV9R |
|---|---|
| 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.29469#T0JN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 2YEHC6KWK9
| URI | m2://inv/2YEHC6KWK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral space#YEE9, Properties (statement)
History
- 2026-11-02: add by m2/dev
2YEPH46CTR 2YEPH46CTR
| URI | m2://inv/2YEPH46CTR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester's sequence#MN7U (problem)
History
- 2026-11-02: add by m2/dev
2YEW1XCSP9 2YEW1XCSP9
| URI | m2://inv/2YEW1XCSP9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#3EEA (problem). In 5KR3MHYVV6/e1, problem 5.6
History
- 2026-10-28: add by m2/v0.4.2
2YF29QEETP 2YF29QEETP
| URI | m2://inv/2YF29QEETP |
|---|---|
| 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.18709#O256 (statement). In K7VY50VFK6/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Weak Lefschetz 2YF32T1YGY
| URI | m2://inv/2YF32T1YGY |
|---|---|
| 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.01731#QGLE, Weak Lefschetz (statement). In 3TJ2FWXQ0D/e1, fact 2.4
History
- 2026-10-29: add by m2/v0.4.12
Separated morphism 2YF34VSSVQ
| URI | m2://inv/2YF34VSSVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal morphism (algebraic geometry)#3Q7X, Separated morphism (unknown)
History
- 2026-11-02: add by m2/dev
Newman–Keuls method 2YFAZ4R7YY
| URI | m2://inv/2YFAZ4R7YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V0O3, Newman–Keuls method (definition)
History
- 2026-11-02: add by m2/dev
Definition 2YFB7EYYE2
| URI | m2://inv/2YFB7EYYE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity function#0EHL, Definition (definition)
History
- 2026-11-02: add by m2/dev
2YFCC91MX2 2YFCC91MX2
| URI | m2://inv/2YFCC91MX2 |
|---|---|
| Kind | statement |
| 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#6OBD (statement). In DDA62XQTWW/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Supporting hyperplane 2YFFZJPK6M
| URI | m2://inv/2YFFZJPK6M |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1134296, Supporting hyperplane theorem (statement). Also Wikidata Q1134296
- thousand_plus: thousand_plus Q1134296, Supporting hyperplane theorem (statement). Also Wikidata Q1134296, Wikipedia Supporting hyperplane theorem
- wikipedia: Wikipedia Supporting hyperplane, Supporting hyperplane (definition). Also Wikidata Q1134296
History
- 2026-10-26: add by m2/dev
Lloyd's algorithm 2YFJRQ9N4Q
| URI | m2://inv/2YFJRQ9N4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lloyd's algorithm, Lloyd's algorithm (definition). Also Wikidata Q2835805
History
- 2026-11-02: add by m2/dev
Definition 2YFNNM7YV9
| URI | m2://inv/2YFNNM7YV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff measure#3ESA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Locally uniform conditional expansion 2YFRJ7DYKX
| URI | m2://inv/2YFRJ7DYKX |
|---|---|
| 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.17946#TIMO, Locally uniform conditional expansion (statement). In A7HTYWJNCX/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
2YFSF1TZQ5 2YFSF1TZQ5
| URI | m2://inv/2YFSF1TZQ5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-31 (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
2YFTQW2RE3 2YFTQW2RE3
| URI | m2://inv/2YFTQW2RE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:msclosureapprseq (statement). In E59CDZA4DP, prop, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
2YFTXDY8ZT 2YFTXDY8ZT
| URI | m2://inv/2YFTXDY8ZT |
|---|---|
| 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 2103.12669#VOD1 (statement). In ZA6XNBA90V/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Properties 2YFZT79BG7
| URI | m2://inv/2YFZT79BG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order complete#5M8C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generic realization 2YG92BS2HD
| URI | m2://inv/2YG92BS2HD |
|---|---|
| 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.04189#OCSI, Generic realization (statement). In 1KRZ5ACTKE/e1, theorem 6.9
History
- 2026-10-29: add by m2/v0.4.12
2YGCPM0S87 2YGCPM0S87
| URI | m2://inv/2YGCPM0S87 |
|---|---|
| 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 2303.10963#4ME5 (definition). In F32XWYWG8E/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem 2YGECVQJJP
| URI | m2://inv/2YGECVQJJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta function#QKOG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
A parameter-dependent metric for the shadow map 2YGMFMPJ96
| URI | m2://inv/2YGMFMPJ96 |
|---|---|
| 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.20270#U9ZT, A parameter-dependent metric for the shadow map (statement). In GV0QGZH67P/e1, proposition F.2
History
- 2026-10-27: add by m2/v0.4.2
2YGSWQHN7E 2YGSWQHN7E
| URI | m2://inv/2YGSWQHN7E |
|---|---|
| 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.30203#NM6L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 2YGVW0S8HB
| URI | m2://inv/2YGVW0S8HB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filtration (probability theory)#5Q8X, Example (example)
History
- 2026-11-02: add by m2/dev
2YH52S7HJN 2YH52S7HJN
| URI | m2://inv/2YH52S7HJN |
|---|---|
| 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#TLKP (statement). In 6DZPR52HRP/e1, lemma 4.24
History
- 2026-10-28: add by m2/v0.4.2
Leonard Carlitz 2YHAF42S90
| URI | m2://inv/2YHAF42S90 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UTHL, Leonard Carlitz (topic)
History
- 2026-11-02: add by m2/dev
Strouhal number 2YHARBR6X3
| URI | m2://inv/2YHARBR6X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strouhal number, Strouhal number (definition). Also Wikidata Q646627
History
- 2026-11-02: add by m2/dev
2YHB5WRZD0 2YHB5WRZD0
| URI | m2://inv/2YHB5WRZD0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#LI0R (example)
History
- 2026-11-02: add by m2/v0.6.17
2YHD61AQ78 2YHD61AQ78
| URI | m2://inv/2YHD61AQ78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#FRYO (statement). In 5350Q52F6P/e1, theorem 9.3
History
- 2026-10-28: add by m2/v0.4.2
2YHQ3C61WC 2YHQ3C61WC
| URI | m2://inv/2YHQ3C61WC |
|---|---|
| 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.32104#T6VN (statement). In YRJSYFXNM8/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
HTTPS 2YHSVN50BP
| URI | m2://inv/2YHSVN50BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HTTPS, HTTPS (definition). Also Wikidata Q44484
History
- 2026-11-02: add by m2/dev
2YHVJAW7DQ 2YHVJAW7DQ
| URI | m2://inv/2YHVJAW7DQ |
|---|---|
| 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.02570#JXT5 (statement). In 6JK30RQ1SX/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
2YHWSJJ663 2YHWSJJ663
| URI | m2://inv/2YHWSJJ663 |
|---|---|
| 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 2112.14455#NDUI (statement). In VDE5R8HBS1/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Spectral layout 2YJ0THJ6NX
| URI | m2://inv/2YJ0THJ6NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#I7ES, Spectral layout (definition)
History
- 2026-11-02: add by m2/dev
The variational gap at equilibrium 2YJ0Z8K2BK
| URI | m2://inv/2YJ0Z8K2BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#46OU, The variational gap at equilibrium (statement). In NKXTXH59P1/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Prosecutor's fallacy 2YJ4A2CARC
| URI | m2://inv/2YJ4A2CARC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#XLWT, Prosecutor's fallacy (definition)
History
- 2026-11-02: add by m2/dev
2YJ4BW2ZMQ 2YJ4BW2ZMQ
| URI | m2://inv/2YJ4BW2ZMQ |
|---|---|
| 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.29806#WQW4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2YJ4QGC0QF 2YJ4QGC0QF
| URI | m2://inv/2YJ4QGC0QF |
|---|---|
| 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.29631#01UO (statement)
History
- 2026-11-01: add by m2/v0.6.15
2YJ88JNMJB 2YJ88JNMJB
| URI | m2://inv/2YJ88JNMJB |
|---|---|
| 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.01433#EVSO (definition). In 160PQ7F1AS/e1, definition 3.16
History
- 2026-10-29: add by m2/v0.4.12
Patrick J. Curran 2YJ92F5ZGK
| URI | m2://inv/2YJ92F5ZGK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick J. Curran, Patrick J. Curran (topic). Also Wikidata Q28975607
History
- 2026-11-02: add by m2/dev
2YJDRFR3C0 2YJDRFR3C0
| URI | m2://inv/2YJDRFR3C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10576#IJHE (statement). In N3ZA5MDZBW/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
Fitting length 2YJG0BKAFF
| URI | m2://inv/2YJG0BKAFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting length, Fitting length (definition). Also Wikidata Q5455499
History
- 2026-11-02: add by m2/dev
Discrete Chebyshev polynomials 2YJHXAA6RR
| URI | m2://inv/2YJHXAA6RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Chebyshev polynomials, Discrete Chebyshev polynomials (definition). Also Wikidata Q5282034
History
- 2026-11-02: add by m2/dev
Nondiscrete valuation pullback 2YJKG37JKV
| URI | m2://inv/2YJKG37JKV |
|---|---|
| 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.00076#Z48T, Nondiscrete valuation pullback (statement). In 2VQ90WEZKB/e1, lemma 10.3
History
- 2026-10-30: add by m2/v0.4.12
Σ4-formulas and concepts 2YJMX3M7R6
| URI | m2://inv/2YJMX3M7R6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#0TQA, Σ4-formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
Definition 2YJRQ213AQ
| URI | m2://inv/2YJRQ213AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy associative algebra#E0QA, Definition (definition)
History
- 2026-11-02: add by m2/dev
2YJRZ15E41 2YJRZ15E41
| URI | m2://inv/2YJRZ15E41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#D3DM (statement). In JWNYJVH8XG/e1, theorem 2.17
History
- 2026-10-29: add by m2/v0.4.10
Heckscher–Ohlin theorem 2YJSQGT7QP
| URI | m2://inv/2YJSQGT7QP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6LTQ, Heckscher–Ohlin theorem (statement)
History
- 2026-11-02: add by m2/dev
*{Sec. 2.2 2YJY0ZPNB4
| URI | m2://inv/2YJY0ZPNB4 |
|---|---|
| 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.23341#KYK2, *{Sec. 2.2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
2YJZQH4YWV 2YJZQH4YWV
| URI | m2://inv/2YJZQH4YWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#YAFX (statement). In ZEHQDJTEDG/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Ivanov , Luo 2YK8HQKZ55
| URI | m2://inv/2YK8HQKZ55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#N642, Ivanov , Luo (statement). In 1A01NFHBGA/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
Optimal substructure 2YKEMAK3VN
| URI | m2://inv/2YKEMAK3VN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#MYOG, Optimal substructure (unknown)
History
- 2026-11-02: add by m2/dev
Jacobi–Anger expansion 2YKP96KKXM
| URI | m2://inv/2YKP96KKXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi–Anger expansion, Jacobi–Anger expansion (definition). Also Wikidata Q1099204
History
- 2026-11-02: add by m2/dev
2YKPG1TBQG 2YKPG1TBQG
| URI | m2://inv/2YKPG1TBQG |
|---|---|
| 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.10372#OT8T (statement). In P77W283VXT/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Guido Fubini 2YKYJWMQZS
| URI | m2://inv/2YKYJWMQZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7BQH, Guido Fubini (topic)
History
- 2026-11-02: add by m2/dev
Dense Moment--SOS hierarchy 2YM9S4MM7A
| URI | m2://inv/2YM9S4MM7A |
|---|---|
| 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.17371#BV35, Dense Moment--SOS hierarchy (statement). In FF92TNYHQR/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Antonella Grassi 2YMA74HN01
| URI | m2://inv/2YMA74HN01 |
|---|---|
| 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 Q42760513, Antonella Grassi (unknown). Also nLab Antonella Grassi
- wikipedia: Wikipedia Antonella Grassi, Antonella Grassi (topic). Also Wikidata Q42760513
History
- 2026-10-26: add by m2/dev
2YMDR0WZNM 2YMDR0WZNM
| URI | m2://inv/2YMDR0WZNM |
|---|---|
| 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.29304#OAES (statement)
History
- 2026-11-01: add by m2/v0.6.15
Karl Heinrich Weise 2YMEZZY1M2
| URI | m2://inv/2YMEZZY1M2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Heinrich Weise, Karl Heinrich Weise (topic). Also Wikidata Q105431
History
- 2026-11-02: add by m2/dev
2YMFEWT31M 2YMFEWT31M
| URI | m2://inv/2YMFEWT31M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10408#FAK1 (definition). In H976NYKBNT/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.10
2YMHMQ264J 2YMHMQ264J
| URI | m2://inv/2YMHMQ264J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming#HCTY (problem)
History
- 2026-11-02: add by m2/dev
2YMJV7ECV6 2YMJV7ECV6
| URI | m2://inv/2YMJV7ECV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.10600#HT5C (statement). In V7WT21EDPM/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.10
Richard Jeffrey 2YMMWNBCJC
| URI | m2://inv/2YMMWNBCJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Jeffrey, Richard Jeffrey (topic). Also Wikidata Q7326846
History
- 2026-11-02: add by m2/dev
Satz an Sich (proposition in itself) 2YMYQVFRNC
| URI | m2://inv/2YMYQVFRNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard Bolzano#PHU8, Satz an Sich (proposition in itself) (statement)
History
- 2026-11-02: add by m2/dev
Continuous-time Markov process 2YMZETQ85Z
| URI | m2://inv/2YMZETQ85Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MJQD, Continuous-time Markov process (definition)
History
- 2026-11-02: add by m2/dev
Example 2YMZYQJVX7
| URI | m2://inv/2YMZYQJVX7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#QWWQ, Example (example)
History
- 2026-11-02: add by m2/dev
2YN2PB3HMS 2YN2PB3HMS
| URI | m2://inv/2YN2PB3HMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.11902#QTZM (statement). In K66QKM4N5E/e1, theorem 3.21
History
- 2026-10-28: add by m2/v0.4.3
Definition 2YN7HBFAVZ
| URI | m2://inv/2YN7HBFAVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautological ring#8MIU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Henri Wald 2YN7M1XYCH
| URI | m2://inv/2YN7M1XYCH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NFBQ, Henri Wald (topic)
History
- 2026-11-02: add by m2/dev
Game theory in philosophy 2YNDP5M902
| URI | m2://inv/2YNDP5M902 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game theory#X08T, Game theory in philosophy (unknown)
History
- 2026-11-02: add by m2/dev
2YNH1SZP2E 2YNH1SZP2E
| URI | m2://inv/2YNH1SZP2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20679#9LOM (statement)
History
- 2026-11-02: add by m2/v0.6.18
2YNMSXZE8J 2YNMSXZE8J
| URI | m2://inv/2YNMSXZE8J |
|---|---|
| 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.13972#SOE7 (statement). In S1KHNS8XQM/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
2YNVAK3AD7 2YNVAK3AD7
| URI | m2://inv/2YNVAK3AD7 |
|---|---|
| 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 2011.07352#ROKU (statement). In 3VPC1GGZ3E/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Examples 2YNY0P6PV6
| URI | m2://inv/2YNY0P6PV6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard model (set theory)#D7ZY, Examples (example)
History
- 2026-11-02: add by m2/dev
Stability of the empirical modal projection 2YP16C3B6V
| URI | m2://inv/2YP16C3B6V |
|---|---|
| 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.01050#OV6W, Stability of the empirical modal projection (statement). In 48NN33SAH7/e1, lemma E.1
History
- 2026-10-29: add by m2/v0.4.12
hyperbolic cosine integral 2YP2XFTXZM
| URI | m2://inv/2YP2XFTXZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19637149, hyperbolic cosine integral (unknown). Also MathWorld Chi
History
- 2026-10-26: add by m2/dev
Carl Gottlieb Ehler 2YP30816SB
| URI | m2://inv/2YP30816SB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YDIK, Carl Gottlieb Ehler (topic)
History
- 2026-11-02: add by m2/dev
Bernhard Riemann 2YP8JZ7VA8
| URI | m2://inv/2YP8JZ7VA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#ISCW, Bernhard Riemann (topic)
History
- 2026-11-02: add by m2/dev
Forward measure 2YPBAK505B
| URI | m2://inv/2YPBAK505B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward measure, Forward measure (definition). Also Wikidata Q5473281
History
- 2026-11-02: add by m2/dev
2YPEMVTEPF 2YPEMVTEPF
| URI | m2://inv/2YPEMVTEPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#TTM5 (statement). In YMY0NNSM27/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.6
2YPF4FSC44 2YPF4FSC44
| URI | m2://inv/2YPF4FSC44 |
|---|---|
| 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.39455#5WYJ (statement). In HW4Y4TMEZ3/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Atomic model 2YPKRV8FGJ
| URI | m2://inv/2YPKRV8FGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic model (mathematical logic), Atomic model (definition). Also Wikidata Q15308119
History
- 2026-11-02: add by m2/dev
2YPKYJPXQP 2YPKYJPXQP
| URI | m2://inv/2YPKYJPXQP |
|---|---|
| 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.01267#URON (statement). In GWWHP6R0BZ/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
Danuta Przeworska-Rolewicz 2YPQZVTGFX
| URI | m2://inv/2YPQZVTGFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danuta Przeworska-Rolewicz, Danuta Przeworska-Rolewicz (topic). Also Wikidata Q16334868
History
- 2026-11-02: add by m2/dev
Nissan Deliatitz 2YPS48RTJR
| URI | m2://inv/2YPS48RTJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nissan Deliatitz, Nissan Deliatitz (definition). Also Wikidata Q56728096
History
- 2026-11-02: add by m2/dev
Law of small numbers in the sparse regime 2YPX31RMMZ
| URI | m2://inv/2YPX31RMMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#UDP6, Law of small numbers in the sparse regime (statement). In P0HKF5DY7M/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Gevrey series and irregularity 2YQ0EB723J
| URI | m2://inv/2YQ0EB723J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#TIT5, Gevrey series and irregularity (definition). In XHSKEPT3VD/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Rajendra Bhatia 2YQ11XQWRK
| URI | m2://inv/2YQ11XQWRK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajendra Bhatia, Rajendra Bhatia (topic). Also Wikidata Q15967113
History
- 2026-11-02: add by m2/dev
2YQ46BA6V3 2YQ46BA6V3
| URI | m2://inv/2YQ46BA6V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#KLED (statement)
History
- 2026-11-01: add by m2/v0.6.15
2YQ4GMA7EZ 2YQ4GMA7EZ
| URI | m2://inv/2YQ4GMA7EZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.08789#RE0D (definition). In 43AGRMP7T3/e1, definition 1.19
History
- 2026-10-27: add by m2/v0.3.5
Kronecker limit formula 2YQ76V4YB5
| URI | m2://inv/2YQ76V4YB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker limit formula, Kronecker limit formula (statement). Also Wikidata Q3077651
History
- 2026-11-02: add by m2/dev
Lenstra–Lenstra–Lovász lattice basis reduction algorithm 2YQFN3F6YH
| URI | m2://inv/2YQFN3F6YH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1683648, Lenstra–Lenstra–Lovász lattice basis reduction algorithm (unknown). Also MathWorld LLLAlgorithm
- wikipedia: Wikipedia Lenstra–Lenstra–Lovász lattice basis reduction algorithm, Lenstra–Lenstra–Lovász lattice basis reduction algorithm (definition). Also Wikidata Q1683648
History
- 2026-10-26: add by m2/dev
2YQN1F70RA 2YQN1F70RA
| URI | m2://inv/2YQN1F70RA |
|---|---|
| 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.20805#FTDW (statement)
History
- 2026-11-02: add by m2/v0.6.18
2YQN804CWX 2YQN804CWX
| URI | m2://inv/2YQN804CWX |
|---|---|
| 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 2306.08237#SVSD (statement). In E22A2MFR4Y/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.6
2YQNWWJE1G 2YQNWWJE1G
| URI | m2://inv/2YQNWWJE1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#OPVM (statement). In JPYGC2R3FC/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.6
Properties 2YRBMJT50D
| URI | m2://inv/2YRBMJT50D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular hebesphenorotunda#Q43F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Time reversibility 2YRDRD6DWG
| URI | m2://inv/2YRDRD6DWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AFMH, Time reversibility (definition)
History
- 2026-11-02: add by m2/dev
2YREPKMKX8 2YREPKMKX8
| URI | m2://inv/2YREPKMKX8 |
|---|---|
| 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#EPHE (statement). In GMRT5GHBZS/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definition 2YRHC08MW7
| URI | m2://inv/2YRHC08MW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral curve#2ITY, Definition (definition)
History
- 2026-11-02: add by m2/dev
2YRTDNS78T 2YRTDNS78T
| URI | m2://inv/2YRTDNS78T |
|---|---|
| Kind | example |
| 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.38131#LBDO (example). In GM3S19KFDH/e1, example 3.23
History
- 2026-10-30: add by m2/v0.4.12
2YRVG9ASKM 2YRVG9ASKM
| URI | m2://inv/2YRVG9ASKM |
|---|---|
| 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.09314#ZSK1 (statement). In Z04N0B3R0V/e1, corollary 2.13
History
- 2026-10-29: add by m2/v0.4.10
Harmonic fan 2YS1P0A4H2
| URI | m2://inv/2YS1P0A4H2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#problem-1, Harmonic fan (exercise). In RZP28ERRZV, problem, section 98.6
History
- 2026-11-01: add by m2/v0.6.13
Examples 2YS5JV5J42
| URI | m2://inv/2YS5JV5J42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial equivalence relation#4ZFM, Examples (example)
History
- 2026-11-02: add by m2/dev
Two-dimensional Ladyzhenskaya estimate and convection form 2YSNQDCYDA
| URI | m2://inv/2YSNQDCYDA |
|---|---|
| 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.33033#48LZ, Two-dimensional Ladyzhenskaya estimate and convection form (statement). In AJWBAHJ8VD/e1, proposition 5.4
History
- 2026-10-31: add by m2/v0.5.6
Endre Süli 2YSR1NBF3H
| URI | m2://inv/2YSR1NBF3H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endre Süli, Endre Süli (topic). Also Wikidata Q5376613
History
- 2026-11-02: add by m2/dev
Wedge Property 2YSVWD2GWX
| URI | m2://inv/2YSVWD2GWX |
|---|---|
| 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 2304.02722#7R3O, Wedge Property (statement). In AH7D55D3WV/e1, lemma 15.2
History
- 2026-10-27: add by m2/v0.3.5
Transfinite iteration 2YT0M7P00C
| URI | m2://inv/2YT0M7P00C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite induction#BCV4, Transfinite iteration (unknown)
History
- 2026-11-02: add by m2/dev
A uniform weighted ideal count 2YTC28NJQ5
| URI | m2://inv/2YTC28NJQ5 |
|---|---|
| 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.17675#03IV, A uniform weighted ideal count (statement). In 7NMQ6QBYKZ/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
2YTEGCNWZ8 2YTEGCNWZ8
| URI | m2://inv/2YTEGCNWZ8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#ASAD (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
2YTJ6YE1TV 2YTJ6YE1TV
| URI | m2://inv/2YTJ6YE1TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#MB55 (statement). In BVAWVRS3R9/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Peter M. Neumann 2YTK4W8JTV
| URI | m2://inv/2YTK4W8JTV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter M. Neumann, Peter M. Neumann (topic). Also Wikidata Q957463
History
- 2026-11-02: add by m2/dev
2YV4P0FM20 2YV4P0FM20
| URI | m2://inv/2YV4P0FM20 |
|---|---|
| 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#IOMX (statement). In BFV19FC2G7/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
2YV6CW24Z6 2YV6CW24Z6
| URI | m2://inv/2YV6CW24Z6 |
|---|---|
| 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.28808#6M01 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Crystallographic plane 2YV91QHFQ4
| URI | m2://inv/2YV91QHFQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miller index#KRH9, Crystallographic plane (unknown)
History
- 2026-11-02: add by m2/dev
Little's lemma 2YVKN0DS4E
| URI | m2://inv/2YVKN0DS4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#1HRB, Little's lemma (statement)
History
- 2026-11-02: add by m2/dev
Alexander Barvinok 2YVNK0FJ6F
| URI | m2://inv/2YVNK0FJ6F |
|---|---|
| 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#VK76, Alexander Barvinok (topic)
History
- 2026-11-02: add by m2/dev
Functions to which the theorem does not apply 2YVQF7M5ZY
| URI | m2://inv/2YVQF7M5ZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theorem#MOJU, Functions to which the theorem does not apply (statement)
History
- 2026-11-02: add by m2/dev
Multinomial theorem 2YVZ9STDHR
| URI | m2://inv/2YVZ9STDHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EW2I, Multinomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 2YW4W9E4V8
| URI | m2://inv/2YW4W9E4V8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fullerene#8973, Applications (example)
History
- 2026-11-02: add by m2/dev
Agreement of the three Hermite limits 2YW54DAR1X
| URI | m2://inv/2YW54DAR1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#JTYZ, Agreement of the three Hermite limits (statement)
History
- 2026-11-02: add by m2/v0.6.17
2YWE37R1XX 2YWE37R1XX
| URI | m2://inv/2YWE37R1XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#0TPL (statement). In TAPS8P2VYS/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
2YWR6Q615K 2YWR6Q615K
| URI | m2://inv/2YWR6Q615K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24739#OD9X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Furstenberg-Weiss 2003 2YWV8GMY5S
| URI | m2://inv/2YWV8GMY5S |
|---|---|
| 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.28898#T7RL, Furstenberg-Weiss 2003 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Johann Radon 2YWZQVCVSP
| URI | m2://inv/2YWZQVCVSP |
|---|---|
| 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 Q78580, Johann Radon (unknown). Also ProofWiki Mathematician:Johann_Karl_August_Radon
- wikipedia: Wikipedia Johann Radon, Johann Radon (topic). Also Wikidata Q78580
History
- 2026-10-26: add by m2/dev
Properties 2YX0YQRXKT
| URI | m2://inv/2YX0YQRXKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance-regular graph#U17E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Psychology In The Book of Healing 2YX6B1EQ0K
| URI | m2://inv/2YX6B1EQ0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Book of Healing#GPRX, Psychology In The Book of Healing (unknown)
History
- 2026-11-02: add by m2/dev
2YX7974W0Z 2YX7974W0Z
| URI | m2://inv/2YX7974W0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06872#BPJA (statement). In J4H3A11MMX/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
quantum hadrodynamics 2YX917X549
| URI | m2://inv/2YX917X549 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28453807, quantum hadrodynamics (unknown). Also nLab quantum hadrodynamics
History
- 2026-10-26: add by m2/dev
Applications 2YXAJK8NT7
| URI | m2://inv/2YXAJK8NT7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrastix#FPU5, Applications (example)
History
- 2026-11-02: add by m2/dev
Varignon's theorem 2YXBQ7XC6F
| URI | m2://inv/2YXBQ7XC6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statics#T8TH, Varignon's theorem (statement)
History
- 2026-11-02: add by m2/dev
Serial concatenated convolutional codes 2YXET0MXV3
| URI | m2://inv/2YXET0MXV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serial concatenated convolutional codes, Serial concatenated convolutional codes (definition). Also Wikidata Q18378194
History
- 2026-11-02: add by m2/dev
Differential Gr\"onwall inequality 2YXKFJJ4XW
| URI | m2://inv/2YXKFJJ4XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27414#9R1L, Differential Gr\"onwall inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
cofiber sequence 2YXPYFFA6D
| URI | m2://inv/2YXPYFFA6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#5UGS, cofiber sequence (definition)
History
- 2026-11-02: add by m2/dev
existence of Hilbert basis 2YXXRXTFKD
| URI | m2://inv/2YXXRXTFKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > existence of Hilbert basis, existence of Hilbert basis (unknown). Also Mathlib exists_hilbertBasis
History
- 2026-10-26: add by m2/dev
2YXYK54FZ3 2YXYK54FZ3
| URI | m2://inv/2YXYK54FZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.12326#IT0O (statement). In 9S7HGSEX6Q/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
Hodge algebra 2YY01VGAW0
| URI | m2://inv/2YY01VGAW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge algebra, Hodge algebra (definition). Also Wikidata Q5876047
History
- 2026-11-02: add by m2/dev
Fourier correlations between the two outputs 2YY3GFC0HK
| URI | m2://inv/2YY3GFC0HK |
|---|---|
| Kind | statement |
| 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#W2XS, Fourier correlations between the two outputs (statement). In ZZER8ZBSCR/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
Viterbi algorithm 2YY5Y1R7F8
| URI | m2://inv/2YY5Y1R7F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#VKIE, Viterbi algorithm (definition)
History
- 2026-11-02: add by m2/dev
graph, bipartite 2YY6GCBCBP
| URI | m2://inv/2YY6GCBCBP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.4.1/graph-bipartite, graph, bipartite (concept). In QKM9DD2H56, index, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
Definition 2YYC4G55GD
| URI | m2://inv/2YYC4G55GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net treatment benefit#G8J8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jacob Kramer 2YYWMJCKJT
| URI | m2://inv/2YYWMJCKJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#1Z8L, Jacob Kramer (unknown)
History
- 2026-11-02: add by m2/dev
2YYWSYTMAQ 2YYWSYTMAQ
| URI | m2://inv/2YYWSYTMAQ |
|---|---|
| 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#CL5E (statement). In 1VBEMR0JXH/e1, theorem B
History
- 2026-10-31: add by m2/v0.5.6
2YYZ6J8N8F 2YYZ6J8N8F
| URI | m2://inv/2YYZ6J8N8F |
|---|---|
| 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.11292#IEED (statement). In Y35XMETFV7/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.3
2YZ0WZS4BT 2YZ0WZS4BT
| URI | m2://inv/2YZ0WZS4BT |
|---|---|
| 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#Q9DE (statement). In E1Y93JNBJA/e1, proposition 1.25
History
- 2026-10-31: add by m2/v0.5.6
Applications 2YZ37G8KEZ
| URI | m2://inv/2YZ37G8KEZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey topology#YDBO, Applications (example)
History
- 2026-11-02: add by m2/dev
2YZF3B8VCW 2YZF3B8VCW
| URI | m2://inv/2YZF3B8VCW |
|---|---|
| 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.19288#81NX (statement). In 1EA6AM9V01/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
2YZF450Z9J 2YZF450Z9J
| URI | m2://inv/2YZF450Z9J |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#7XWA (unknown). In QNBFHFZ3H0/e1, unknown 55
History
- 2026-10-28: add by m2/v0.4.2
Procedural generation 2YZQ19RTSZ
| URI | m2://inv/2YZQ19RTSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#MEE0, Procedural generation (unknown)
History
- 2026-11-02: add by m2/dev