Inventory rows G4
The cards of the rows of the inventory whose ids start with G4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
G4039JZE8Q G4039JZE8Q
| URI | m2://inv/G4039JZE8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#M9T5 (statement). In 2381M4GBTT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
William George Horner G404FVFR8R
| URI | m2://inv/G404FVFR8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William George Horner, William George Horner (topic). Also Wikidata Q441228
History
- 2026-11-02: add by m2/dev
G4078H6Q2C G4078H6Q2C
| URI | m2://inv/G4078H6Q2C |
|---|---|
| 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.23327#DGFQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
G40HQRNNPP G40HQRNNPP
| URI | m2://inv/G40HQRNNPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#HK29 (statement). In E7W2HDNEKJ/e1, corollary 9.18
History
- 2026-10-30: add by m2/v0.4.12
G40SYCESX9 G40SYCESX9
| URI | m2://inv/G40SYCESX9 |
|---|---|
| Kind | example |
| 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 2401.05118#8BGP (example). In BT0T0QS2TN/e1, example 2.1
History
- 2026-10-27: add by m2/v0.4.0
Kullback's inequality G40TA40140
| URI | m2://inv/G40TA40140 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequalities in information theory#M1XJ, Kullback's inequality (statement)
History
- 2026-11-02: add by m2/dev
Definition of deficiency G40VG9AMP1
| URI | m2://inv/G40VG9AMP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deficiency (graph theory)#YXN8, Definition of deficiency (definition)
History
- 2026-11-02: add by m2/dev
Maurice A. de Gosson G40WSX2MJJ
| URI | m2://inv/G40WSX2MJJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice A. de Gosson, Maurice A. de Gosson (topic). Also Wikidata Q6792812
History
- 2026-11-02: add by m2/dev
Existential graph G41AM6WEC1
| URI | m2://inv/G41AM6WEC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#JGCP, Existential graph (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#3F27, Existential graph (definition)
History
- 2026-11-02: add by m2/dev
Gauss–Seidel method G41GP4NZCP
| URI | m2://inv/G41GP4NZCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gauss–Seidel method G0EDYEDG4S |
Mentions
- wikidata: Wikidata Q1069090, Gauss–Seidel method (unknown). Also MathWorld Gauss-SeidelMethod
- wikipedia: Wikipedia Gauss–Seidel method, Gauss–Seidel method (definition). Also Wikidata Q1069090
History
- 2026-10-26: add by m2/dev
Cuisenaire rods G41HWM3T0V
| URI | m2://inv/G41HWM3T0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of shapes#U8UZ, Cuisenaire rods (unknown)
History
- 2026-11-02: add by m2/dev
strict ordering G41N2P3MYK
| URI | m2://inv/G41N2P3MYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#E09B, strict ordering (definition)
History
- 2026-11-02: add by m2/dev
G41P5W6BNV G41P5W6BNV
| URI | m2://inv/G41P5W6BNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#OSAL (statement). In R81S9R1XNR/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Quasi-homogeneous polynomial G41Q9SPFPE
| URI | m2://inv/G41Q9SPFPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-homogeneous polynomial, Quasi-homogeneous polynomial (definition). Also Wikidata Q7269455
History
- 2026-11-02: add by m2/dev
G41V4D6JAQ G41V4D6JAQ
| URI | m2://inv/G41V4D6JAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25843#BDOB (statement)
History
- 2026-11-01: add by m2/v0.6.15
\bf Class of Weights for $(d+1)$-Navier-Stokes G427NN9MCJ
| URI | m2://inv/G427NN9MCJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.23072#TY0V, \bf Class of Weights for $(d+1)$-Navier-Stokes (definition). In FW08HEAPKW/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
G42Q6E4JBP G42Q6E4JBP
| URI | m2://inv/G42Q6E4JBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22528#22Y1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ordered set partitions G42S53DX98
| URI | m2://inv/G42S53DX98 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#3KAY, Ordered set partitions (definition). In 7V3HG30ZGW/e1, definition A.8
History
- 2026-10-27: add by m2/v0.4.0
G42WQBH21T G42WQBH21T
| URI | m2://inv/G42WQBH21T |
|---|---|
| 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 2509.21444#CZGQ (statement). In CTVPA2FQT1/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.4.0
foundations G42Z3PG81H
| URI | m2://inv/G42Z3PG81H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1/foundations, foundations (concept). In N54F33XE07, index, section u1
History
- 2026-11-01: add by m2/v0.6.13
Simpson's rules G4364S9SPP
| URI | m2://inv/G4364S9SPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simpson's rules (ship stability), Simpson's rules (definition). Also Wikidata Q17126989
History
- 2026-11-02: add by m2/dev
G43A02ATS8 G43A02ATS8
| URI | m2://inv/G43A02ATS8 |
|---|---|
| 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.35762#U9LM (statement). In C9QEPN1E56/e1, lemma F.10
History
- 2026-10-30: add by m2/v0.4.12
G43FZD5X3D G43FZD5X3D
| URI | m2://inv/G43FZD5X3D |
|---|---|
| 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 0809.1307#76KU (statement). In TP09MNWY6B/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
monoid G43JNY0J08
| URI | m2://inv/G43JNY0J08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#7C19, monoid (definition)
History
- 2026-11-02: add by m2/dev
Louis Charles Breguet G43KRJRH8D
| URI | m2://inv/G43KRJRH8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y19O, Louis Charles Breguet (unknown)
History
- 2026-11-02: add by m2/dev
G43MAMA7SB G43MAMA7SB
| URI | m2://inv/G43MAMA7SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2606.22882#0A38 (statement). In YNE0Q2X61Y/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Invariant seam reduction G43PX5KF5Z
| URI | m2://inv/G43PX5KF5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#ZKFH, Invariant seam reduction (statement). In HF7YNMW39N/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
G43V99E22X G43V99E22X
| URI | m2://inv/G43V99E22X |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#767N (unknown). In QNBFHFZ3H0/e1, unknown 8
History
- 2026-10-28: add by m2/v0.4.2
G44DKENJDT G44DKENJDT
| URI | m2://inv/G44DKENJDT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-11 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Peng Yee Lee G44F1FVX8F
| URI | m2://inv/G44F1FVX8F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peng Yee Lee, Peng Yee Lee (topic). Also Wikidata Q27978925
History
- 2026-11-02: add by m2/dev
The converse Buridan formula G44FTQ9GWX
| URI | m2://inv/G44FTQ9GWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buridan formula#755O, The converse Buridan formula (statement)
History
- 2026-11-02: add by m2/dev
Lagrange inversion theorem G44HA5FFZX
| URI | m2://inv/G44HA5FFZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#YN7P, Lagrange inversion theorem (statement)
History
- 2026-11-02: add by m2/dev
G44KPHXH0P G44KPHXH0P
| URI | m2://inv/G44KPHXH0P |
|---|---|
| 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.26017#6QW7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles L. Bouton G44R6KESAK
| URI | m2://inv/G44R6KESAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles L. Bouton, Charles L. Bouton (topic). Also Wikidata Q1065329
History
- 2026-11-02: add by m2/dev
generalized eigenspace G44V0AKWTP
| URI | m2://inv/G44V0AKWTP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91458605, generalized eigenspace (unknown). Also MathWorld GeneralizedEigenspace
History
- 2026-10-26: add by m2/dev
G44WKH70Q2 G44WKH70Q2
| URI | m2://inv/G44WKH70Q2 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#HQIV (unknown). In H8NGNDP0XT/e1, unknown 4
History
- 2026-10-28: add by m2/v0.4.3
Transversality G450CHFT1E
| URI | m2://inv/G450CHFT1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversality, Transversality (definition). Also Wikidata Q7835414
History
- 2026-11-02: add by m2/dev
G451HWN6NN G451HWN6NN
| URI | m2://inv/G451HWN6NN |
|---|---|
| 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.30207#0NR4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
fiberwise, transformation G454RQ2XPQ
| URI | m2://inv/G454RQ2XPQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.5/fiberwise-transformation, fiberwise, transformation (concept). In N54F33XE07, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Definition G455TAPWSH
| URI | m2://inv/G455TAPWSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fenchel–Nielsen coordinates#QJ6M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algebraic properties G4584VE2G7
| URI | m2://inv/G4584VE2G7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diamond graph#X7PT, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
G45D0ZT4WK G45D0ZT4WK
| URI | m2://inv/G45D0ZT4WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39246#QU32 (statement). In FVK0J9CFEF/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
G45G6QH958 G45G6QH958
| URI | m2://inv/G45G6QH958 |
|---|---|
| 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.17817#PKGB (statement). In M8TSJ24RC2/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.2
Definitions G45XZ3QK0G
| URI | m2://inv/G45XZ3QK0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyndon word#VVMQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
G463SEBZZQ G463SEBZZQ
| URI | m2://inv/G463SEBZZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24212#DBUD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Siegfried Gottwald G46600R70H
| URI | m2://inv/G46600R70H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#C1PU, Siegfried Gottwald (topic)
History
- 2026-11-02: add by m2/dev
G468CP7VCR G468CP7VCR
| URI | m2://inv/G468CP7VCR |
|---|---|
| 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.26357#MZPY (statement)
History
- 2026-11-01: add by m2/v0.6.15
G4699YR6D5 G4699YR6D5
| URI | m2://inv/G4699YR6D5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:prop:compactnull (statement). In E59CDZA4DP, prop, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
General picture of the monopole G46AH6KTB5
| URI | m2://inv/G46AH6KTB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#9E8F, General picture of the monopole (statement). In KZ71GXT2B0/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
G46CB5484G G46CB5484G
| URI | m2://inv/G46CB5484G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma:dbaronevar (statement). In VNMV985MXX, lemma, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
G46DHC0D30 G46DHC0D30
| URI | m2://inv/G46DHC0D30 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-12 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
Applications G46HANH6ZD
| URI | m2://inv/G46HANH6ZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic data#XE1S, Applications (example)
History
- 2026-11-02: add by m2/dev
Marie Hušková G46P9MGPHS
| URI | m2://inv/G46P9MGPHS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Hušková, Marie Hušková (topic). Also Wikidata Q15119872
History
- 2026-11-02: add by m2/dev
G46PHY63WG G46PHY63WG
| URI | m2://inv/G46PHY63WG |
|---|---|
| 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.10074#OMXL (statement). In BYAANB1NG0/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
field G46V1309MX
| URI | m2://inv/G46V1309MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RCLW, field (definition)
History
- 2026-11-02: add by m2/dev
Willcox, Walter Francis G46VZGKRQQ
| URI | m2://inv/G46VZGKRQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4JVQ, Willcox, Walter Francis (unknown)
History
- 2026-11-02: add by m2/dev
Conventions G46WH3J4VD
| URI | m2://inv/G46WH3J4VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#SL6B, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Square-free element G472QGMJ0H
| URI | m2://inv/G472QGMJ0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-free element, Square-free element (definition). Also Wikidata Q2509291
History
- 2026-11-02: add by m2/dev
Mean value theorem G473VMMPX5
| URI | m2://inv/G473VMMPX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6FVM, Mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
Beta function G47EHQHKCQ
| URI | m2://inv/G47EHQHKCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#WXDZ, Beta function (definition)
History
- 2026-11-02: add by m2/dev
G47J3E1NEM G47J3E1NEM
| URI | m2://inv/G47J3E1NEM |
|---|---|
| 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.34339#4A4D (statement). In 9WFSTGMQ4E/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
G47KS2YB5K G47KS2YB5K
| URI | m2://inv/G47KS2YB5K |
|---|---|
| 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.17677#U9FJ (statement). In 5E9G06XJKC/e1, lemma G.25
History
- 2026-10-28: add by m2/v0.4.2
External validity G47MEEWE40
| URI | m2://inv/G47MEEWE40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2OGQ, External validity (definition)
History
- 2026-11-02: add by m2/dev
Baker's theorem G47SKJSQKA
| URI | m2://inv/G47SKJSQKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schanuel's conjecture#V79Q, Baker's theorem (statement)
History
- 2026-11-02: add by m2/dev
Katalin Vesztergombi G47SSJ3033
| URI | m2://inv/G47SSJ3033 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katalin Vesztergombi, Katalin Vesztergombi (topic). Also Wikidata Q48379103
History
- 2026-11-02: add by m2/dev
Theorem (Tao 2012, page 251) G47VSC2PV2
| URI | m2://inv/G47VSC2PV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vandermonde matrix#VMIC, Theorem (Tao 2012, page 251) (statement)
History
- 2026-11-02: add by m2/dev
G482KRK13W G482KRK13W
| URI | m2://inv/G482KRK13W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#GZA0 (statement). In KTQS6YPA4E/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
G482SJVW1F G482SJVW1F
| URI | m2://inv/G482SJVW1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#DQXP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Patricia Gonçalves G48BCWDE4W
| URI | m2://inv/G48BCWDE4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DBCA, Patricia Gonçalves (unknown)
History
- 2026-11-02: add by m2/dev
Properties G48CT8HZ5P
| URI | m2://inv/G48CT8HZ5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak trace-class operator#WWJS, Properties (statement)
History
- 2026-11-02: add by m2/dev
G48N6FTJJF G48N6FTJJF
| URI | m2://inv/G48N6FTJJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.06906#KLZB (statement). In WRRPJ56917/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
G48R8Q41SG G48R8Q41SG
| URI | m2://inv/G48R8Q41SG |
|---|---|
| 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 2505.08839#BI97 (statement). In HJPDS53MX4/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.4.0
Musical symmetry G494P636H3
| URI | m2://inv/G494P636H3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry#0MIZ, Musical symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Poncelet's closure theorem G495TY5CD1
| URI | m2://inv/G495TY5CD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1785610, Poncelet's closure theorem (statement). Also Wikidata Q1785610
- thousand_plus: thousand_plus Q1785610, Poncelet's closure theorem (statement). Also Wikidata Q1785610, Wikipedia Poncelet's closure theorem
- wikipedia: Wikipedia Poncelet's closure theorem, Poncelet's closure theorem (statement). Also Wikidata Q1785610
History
- 2026-10-26: add by m2/dev
Definition G496J0KK3Y
| URI | m2://inv/G496J0KK3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donaldson–Thomas theory#HPWM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hermite ring G4976BZFY0
| URI | m2://inv/G4976BZFY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite ring, Hermite ring (definition). Also Wikidata Q2851413
History
- 2026-11-02: add by m2/dev
Ground confluent G49CC3F7B7
| URI | m2://inv/G49CC3F7B7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confluence (abstract rewriting)#EOI3, Ground confluent (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 3 G49DJ1CMRS
| URI | m2://inv/G49DJ1CMRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#IBCR, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Quarter cubille G49EC5B09P
| URI | m2://inv/G49EC5B09P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral-octahedral honeycomb#GZ1Y, Quarter cubille (unknown)
History
- 2026-11-02: add by m2/dev
G49JT5VPXN G49JT5VPXN
| URI | m2://inv/G49JT5VPXN |
|---|---|
| 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.18358#QBQW (statement). In SPZ446XNDW/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
G49MCBZW95 G49MCBZW95
| URI | m2://inv/G49MCBZW95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#STCG (statement). In 8SXY7Y68HV/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Hydrodynamics G49X6Y8FPP
| URI | m2://inv/G49X6Y8FPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#P4KI, Hydrodynamics (definition)
History
- 2026-11-02: add by m2/dev
Conway polyhedron notation G4A0V9VREW
| URI | m2://inv/G4A0V9VREW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3890115, Conway polyhedron notation (unknown). Also MathWorld ConwayPolyhedronNotation
- wikipedia: Wikipedia Conway polyhedron notation, Conway polyhedron notation (definition). Also Wikidata Q3890115
History
- 2026-10-26: add by m2/dev
G4A4BCEHA0 G4A4BCEHA0
| URI | m2://inv/G4A4BCEHA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20528#URC2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
G4A7Y99V37 G4A7Y99V37
| URI | m2://inv/G4A7Y99V37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.26619#V96B (statement)
History
- 2026-11-01: add by m2/v0.6.15
G4A8M1GEZ7 G4A8M1GEZ7
| URI | m2://inv/G4A8M1GEZ7 |
|---|---|
| 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.03306#TMWN (statement). In CXQ7FKSKSB/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Laws of planetary motion G4AMX1CC67
| URI | m2://inv/G4AMX1CC67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Celestial mechanics#246M, Laws of planetary motion (statement)
History
- 2026-11-02: add by m2/dev
Generalizations G4ASDYY6KC
| URI | m2://inv/G4ASDYY6KC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex volume approximation#4R7S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
John Horton Conway G4ASK3SZ90
| URI | m2://inv/G4ASK3SZ90 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#4IIB, John Horton Conway (topic)
History
- 2026-11-02: add by m2/dev
G4AWKT5HM6 G4AWKT5HM6
| URI | m2://inv/G4AWKT5HM6 |
|---|---|
| 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.37901#ER0O (statement). In 363WNMSDMA/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
G4AX88WVJS G4AX88WVJS
| URI | m2://inv/G4AX88WVJS |
|---|---|
| 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 2609.20860#VCPY (definition)
History
- 2026-11-02: add by m2/v0.6.18
G4AXW4FGGY G4AXW4FGGY
| URI | m2://inv/G4AXW4FGGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#NOBR (statement). In SN6F0MPPVF/e1, corollary 8.1
History
- 2026-10-28: add by m2/v0.4.2
G4B23H5R26 G4B23H5R26
| URI | m2://inv/G4B23H5R26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15010#KYW5 (statement). In K3WJ6ZN184/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Place-permutation action G4B3DS47F2
| URI | m2://inv/G4B3DS47F2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Place-permutation action, Place-permutation action (definition). Also Wikidata Q18388819
History
- 2026-11-02: add by m2/dev
Julia Chuzhoy G4B81PV9PR
| URI | m2://inv/G4B81PV9PR |
|---|---|
| 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#F7BP, Julia Chuzhoy (topic)
History
- 2026-11-02: add by m2/dev
Small Latin squares and quasigroups G4BX3J5W7W
| URI | m2://inv/G4BX3J5W7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small Latin squares and quasigroups, Small Latin squares and quasigroups (definition). Also Wikidata Q7542821
History
- 2026-11-02: add by m2/dev
G4BYHV41E4 G4BYHV41E4
| URI | m2://inv/G4BYHV41E4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22708#YPAZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition G4CJ6AZ1HR
| URI | m2://inv/G4CJ6AZ1HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue (complex analysis)#LI6B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Parametrization by arc length G4CMFSCEYN
| URI | m2://inv/G4CMFSCEYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable curve#HFRF, Parametrization by arc length (unknown)
History
- 2026-11-02: add by m2/dev
G4CQDXJ6M1 G4CQDXJ6M1
| URI | m2://inv/G4CQDXJ6M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#E0G3 (statement). In 9WP2QGKMG8/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
Definition G4CT15WNDT
| URI | m2://inv/G4CT15WNDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series-parallel partial order#Q2H0, Definition (definition)
History
- 2026-11-02: add by m2/dev
G4CXRTQ3PW G4CXRTQ3PW
| URI | m2://inv/G4CXRTQ3PW |
|---|---|
| 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.34013#ZFPF (statement). In 3TA3P3CWSJ/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Triangular pyramid G4CYNXPJ5M
| URI | m2://inv/G4CYNXPJ5M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#79RX, Triangular pyramid (object)
- wikipedia: Wikipedia List of mathematical shapes#9OLE, Triangular pyramid (object)
History
- 2026-11-02: add by m2/dev
Jacobi−Trudi identities G4CZFKE14E
| URI | m2://inv/G4CZFKE14E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur polynomial#02I7, Jacobi−Trudi identities (unknown)
History
- 2026-11-02: add by m2/dev
G4DCMAEN1F G4DCMAEN1F
| URI | m2://inv/G4DCMAEN1F |
|---|---|
| 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.01783#KYNU (statement). In 8BKC3PVX9G/e1, corollary 6.1
History
- 2026-10-29: add by m2/v0.4.12
Definition and notation G4DD86QCCB
| URI | m2://inv/G4DD86QCCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence class#005G, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
Irene Hess G4DSQZZHZB
| URI | m2://inv/G4DSQZZHZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#TWMO, Irene Hess (topic)
History
- 2026-11-02: add by m2/dev
Equivalence G4DV3CWR7N
| URI | m2://inv/G4DV3CWR7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence (measure theory), Equivalence (definition). Also Wikidata Q5384705
History
- 2026-11-02: add by m2/dev
Unequal breaks G4DWR1PR9W
| URI | m2://inv/G4DWR1PR9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#NCK9, Unequal breaks (statement). In QPJ6FWG5HD/e1, lemma 1.6
History
- 2026-10-29: add by m2/v0.4.12
computational complexity theory G4DZ65A9YQ
| URI | m2://inv/G4DZ65A9YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205084, computational complexity theory (unknown). Also MathWorld ComplexityTheory
- wikipedia: Wikipedia Computational complexity theory, Computational complexity theory (definition). Also Wikidata Q205084
History
- 2026-10-26: add by m2/dev
G4E97MAWCC G4E97MAWCC
| URI | m2://inv/G4E97MAWCC |
|---|---|
| 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.17589#URNR (statement). In GSTK4569X1/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
G4EAV3JT5J G4EAV3JT5J
| URI | m2://inv/G4EAV3JT5J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 30.5
History
- 2026-11-01: add by m2/v0.6.13
Applications G4EB9862N1
| URI | m2://inv/G4EB9862N1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detection theory#OC94, Applications (example)
History
- 2026-11-02: add by m2/dev
Kathleen Lamborn G4EBPA3QSD
| URI | m2://inv/G4EBPA3QSD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#DC2F, Kathleen Lamborn (topic)
History
- 2026-11-02: add by m2/dev
Trajectory gradient bound G4ERB4437M
| URI | m2://inv/G4ERB4437M |
|---|---|
| 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.13773#1MGZ, Trajectory gradient bound (statement). In E75XQY0QFM/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Zero-section factorization G4ERTPP12A
| URI | m2://inv/G4ERTPP12A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#ZNY6, Zero-section factorization (statement). In RWNP4FEE65/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Algebraic reflection on scalar solutions G4F31AHZ1A
| URI | m2://inv/G4F31AHZ1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#TFFX, Algebraic reflection on scalar solutions (statement). In VEXM27M8Q1/e1, lemma 2.13
History
- 2026-10-28: add by m2/v0.4.3
G4F5GD5MXH G4F5GD5MXH
| URI | m2://inv/G4F5GD5MXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#4OHV (statement). In 7D5MMP8XB5/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
The exponent of the likelihood ratio G4F9TX2QZ8
| URI | m2://inv/G4F9TX2QZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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 2609.27765#W035, The exponent of the likelihood ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
G4FC52F76M G4FC52F76M
| URI | m2://inv/G4FC52F76M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#lem:autohtpy (statement). In N54F33XE07, lem, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
G4FDJD28KB G4FDJD28KB
| URI | m2://inv/G4FDJD28KB |
|---|---|
| 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.26386#B1EL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tao Li G4FND1REHB
| URI | m2://inv/G4FND1REHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P6MI, Tao Li (unknown)
History
- 2026-11-02: add by m2/dev
Hodge cycle G4FWN35ENG
| URI | m2://inv/G4FWN35ENG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5876056, Hodge cycle (unknown). Also nLab Hodge cycle
- wikipedia: Wikipedia Hodge cycle, Hodge cycle (definition). Also Wikidata Q5876056
History
- 2026-10-26: add by m2/dev
G4FXYA7XZF G4FXYA7XZF
| URI | m2://inv/G4FXYA7XZF |
|---|---|
| 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.17677#NNXA (statement). In 5E9G06XJKC/e1, lemma G.12
History
- 2026-10-28: add by m2/v0.4.2
Yoshie Katsurada G4FYHGY9CE
| URI | m2://inv/G4FYHGY9CE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoshie Katsurada, Yoshie Katsurada (topic). Also Wikidata Q99472388
History
- 2026-11-02: add by m2/dev
G4G2HHVZ1C G4G2HHVZ1C
| URI | m2://inv/G4G2HHVZ1C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30033#SD7C (definition)
History
- 2026-11-01: add by m2/v0.6.15
Antoine Wilson G4G574F1NS
| URI | m2://inv/G4G574F1NS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#1PZN, Antoine Wilson (unknown)
History
- 2026-11-02: add by m2/dev
G4G7BR0RQY G4G7BR0RQY
| URI | m2://inv/G4G7BR0RQY |
|---|---|
| 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 1909.03896#CGE7 (statement). In CX9RVPQVBM/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Ralph B. D'Agostino G4G889FM6V
| URI | m2://inv/G4G889FM6V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RRAX, Ralph B. D'Agostino (topic)
History
- 2026-11-02: add by m2/dev
G4G8CGEH4N G4G8CGEH4N
| URI | m2://inv/G4G8CGEH4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#OQUX (statement). In YZNK67K060/e1, corollary 8.2
History
- 2026-10-29: add by m2/v0.4.12
G4GA6RX1EM G4GA6RX1EM
| URI | m2://inv/G4GA6RX1EM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05403#31IB (statement). In PQGGCD09KP/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
G4GAGKTYSP G4GAGKTYSP
| URI | m2://inv/G4GAGKTYSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136089498 (unknown). Also House of Graphs 794
History
- 2026-10-26: add by m2/dev
Examples G4GQF5D0G5
| URI | m2://inv/G4GQF5D0G5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space#AKK8, Examples (example)
History
- 2026-11-02: add by m2/dev
Taguchi, Genichi G4GWG8Y91D
| URI | m2://inv/G4GWG8Y91D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BW7A, Taguchi, Genichi (topic)
History
- 2026-11-02: add by m2/dev
ring theory G4H0FANEV0
| URI | m2://inv/G4H0FANEV0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1208658, ring theory (topic). Also MathWorld RingTheory, nLab ring theory, ProofWiki Definition:Ring_Theory
- wikipedia: Wikipedia Ring theory, Ring theory (topic). Also Wikidata Q1208658
History
- 2026-10-26: add by m2/dev
G4H3HXQHHJ G4H3HXQHHJ
| URI | m2://inv/G4H3HXQHHJ |
|---|---|
| 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#BZI9 (definition). In 43AGRMP7T3/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
G4HS5B901P G4HS5B901P
| URI | m2://inv/G4HS5B901P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#IHWI (example). In VJTRH1S4JA/e1, example 4.11
History
- 2026-10-28: add by m2/v0.4.2
Architectural geometry G4HTE15WHR
| URI | m2://inv/G4HTE15WHR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Architectural geometry, Architectural geometry (topic). Also Wikidata Q4787054
History
- 2026-11-02: add by m2/dev
G4HWNG8Q3M G4HWNG8Q3M
| URI | m2://inv/G4HWNG8Q3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#AD4Y (statement). In 6XP6PD2XZA/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
G4J8WGA0VT G4J8WGA0VT
| URI | m2://inv/G4J8WGA0VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#TE1E (statement). In BWJS3H55WH/e1, proposition 28
History
- 2026-10-27: add by m2/v0.3.5
Example G4JEB2SXD6
| URI | m2://inv/G4JEB2SXD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-test#RUYD, Example (example)
History
- 2026-11-02: add by m2/dev
G4JMK2F3YV G4JMK2F3YV
| URI | m2://inv/G4JMK2F3YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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 2609.21949#DHXH (statement)
History
- 2026-11-02: add by m2/v0.6.17
G4JN912QBX G4JN912QBX
| URI | m2://inv/G4JN912QBX |
|---|---|
| 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.15744#E8SZ (statement). In NV3PBZGBB7/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
G4JYVHNCS6 G4JYVHNCS6
| URI | m2://inv/G4JYVHNCS6 |
|---|---|
| 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#8EXL (statement). In E22A2MFR4Y/e1, theorem 2.15
History
- 2026-10-27: add by m2/v0.3.6
G4K8SXW16P G4K8SXW16P
| URI | m2://inv/G4K8SXW16P |
|---|---|
| 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 2405.05684#K45S (statement). In 1PR73ECTZB/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
G4KA3K766H G4KA3K766H
| URI | m2://inv/G4KA3K766H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#RKQK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example G4KCYXS5NB
| URI | m2://inv/G4KCYXS5NB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal's algorithm#2MYG, Example (example)
History
- 2026-11-02: add by m2/dev
Theorem (Krull Intersection) G4KFTQN1ZE
| URI | m2://inv/G4KFTQN1ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Rees lemma#6S2D, Theorem (Krull Intersection) (statement)
History
- 2026-11-02: add by m2/dev
G4KHJZ689S G4KHJZ689S
| URI | m2://inv/G4KHJZ689S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#CW6O (statement). In 9DQKY7KGE8/e1, proposition 1.4
History
- 2026-10-27: add by m2/v0.3.5
John Leech G4KNPXKKZW
| URI | m2://inv/G4KNPXKKZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VMPO, John Leech (topic)
History
- 2026-11-02: add by m2/dev
The i.i.d.\ case G4KP3K9V3J
| URI | m2://inv/G4KP3K9V3J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 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 2609.27766#MP5L, The i.i.d.\ case (example)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations G4KTCWPNKX
| URI | m2://inv/G4KTCWPNKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite polynomials#0KGM, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
G4KV13GD7R G4KV13GD7R
| URI | m2://inv/G4KV13GD7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#V5LE (statement). In NSP90G5XCQ/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Example G4KW3JQ60B
| URI | m2://inv/G4KW3JQ60B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial coefficient#D30L, Example (example)
History
- 2026-11-02: add by m2/dev
Small dodecahemidodecacron G4M0X6H450
| URI | m2://inv/G4M0X6H450 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#U6JK, Small dodecahemidodecacron (object)
History
- 2026-11-02: add by m2/dev
G4M7C82KBY G4M7C82KBY
| URI | m2://inv/G4M7C82KBY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
Applications G4MAY3FE6G
| URI | m2://inv/G4MAY3FE6G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian elimination#06YN, Applications (example)
History
- 2026-11-02: add by m2/dev
G4MKBAR7K0 G4MKBAR7K0
| URI | m2://inv/G4MKBAR7K0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#WLGN (definition). In 338GKREFVP/e1, definition 4
History
- 2026-10-27: add by m2/v0.4.0
Horațiu Năstase G4MQFZA2AM
| URI | m2://inv/G4MQFZA2AM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5902878, Horațiu Năstase (unknown). Also nLab Horatiu Nastase
History
- 2026-10-26: add by m2/dev
Anatoly Shirshov G4N5X4CKSE
| URI | m2://inv/G4N5X4CKSE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4524490, Anatoly Shirshov (unknown). Also nLab Anatoly Shirshov
History
- 2026-10-26: add by m2/dev
List of examples in general topology G4NARJV6VF
| URI | m2://inv/G4NARJV6VF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#K8CQ, List of examples in general topology (topic)
- wikipedia: Wikipedia Lists of mathematics topics#VEMG, List of examples in general topology (topic)
History
- 2026-11-02: add by m2/dev
Cyclotomic coefficient comparison G4NBHB32GE
| URI | m2://inv/G4NBHB32GE |
|---|---|
| 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.02218#GT0P, Cyclotomic coefficient comparison (statement). In 3FY227EFVZ/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Semilinear set G4NJPHWAKP
| URI | m2://inv/G4NJPHWAKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semilinear set, Semilinear set (definition). Also Wikidata Q141252220
History
- 2026-11-02: add by m2/dev
Konrad Jörgens G4NYFDPGG9
| URI | m2://inv/G4NYFDPGG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Konrad Jörgens, Konrad Jörgens (topic). Also Wikidata Q91374
History
- 2026-11-02: add by m2/dev
Intermediate leading edge G4NYP2WBE3
| URI | m2://inv/G4NYP2WBE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.33805#FKOA, Intermediate leading edge (statement). In XM98BX97RT/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
First-order switch-shifted-switch midpoint G4NZDKJJBQ
| URI | m2://inv/G4NZDKJJBQ |
|---|---|
| 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.21991#QXYE, First-order switch-shifted-switch midpoint (statement). In KRBDK9J44X/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.4.2
G4P4X0JBY2 G4P4X0JBY2
| URI | m2://inv/G4P4X0JBY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.11021#GH5C (statement). In R0SSJZYVTJ/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.3
Properties G4P5ZJPK5E
| URI | m2://inv/G4P5ZJPK5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presburger arithmetic#51GH, Properties (statement)
History
- 2026-11-02: add by m2/dev
G4PC9VBW03 G4PC9VBW03
| URI | m2://inv/G4PC9VBW03 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-stochastic-eigenvalue (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Ideal sheaf G4PGYSP9WS
| URI | m2://inv/G4PGYSP9WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal sheaf, Ideal sheaf (definition). Also Wikidata Q5988009
History
- 2026-11-02: add by m2/dev
Dirichlet membrane G4PPAD8X0A
| URI | m2://inv/G4PPAD8X0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#PIL2, Dirichlet membrane (unknown)
History
- 2026-11-02: add by m2/dev
G4PV6B3WQB G4PV6B3WQB
| URI | m2://inv/G4PV6B3WQB |
|---|---|
| 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 2610.05314#7LUU (statement). In PA3B6C0WY7/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
G4QB8YG8BM G4QB8YG8BM
| URI | m2://inv/G4QB8YG8BM |
|---|---|
| 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.33775#20U9 (statement). In VVQ1FMTHXB/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
G4QC6E2H65 G4QC6E2H65
| URI | m2://inv/G4QC6E2H65 |
|---|---|
| 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.20119#Q7FK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Descent and the coarse-graining filtration G4QCX8QP7A
| URI | m2://inv/G4QCX8QP7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#WDCB, Descent and the coarse-graining filtration (statement). In PV4Z2FRXRZ/e1, corollary 5.6
History
- 2026-10-30: add by m2/v0.4.12
G4QF3QD2AG G4QF3QD2AG
| URI | m2://inv/G4QF3QD2AG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22297#ZLKU (statement)
History
- 2026-11-02: add by m2/v0.6.17
G4QH9FRP83 G4QH9FRP83
| URI | m2://inv/G4QH9FRP83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#OQHF (statement). In 55WT8DME6Y/e1, theorem A.5
History
- 2026-10-30: add by m2/v0.4.12
G4QRQWP6MD G4QRQWP6MD
| URI | m2://inv/G4QRQWP6MD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-12 (proof). In E59CDZA4DP, proof, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Alexander Schrijver G4R0TE00WE
| URI | m2://inv/G4R0TE00WE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Schrijver, Alexander Schrijver (topic). Also Wikidata Q2642999
History
- 2026-11-02: add by m2/dev
Definition G4R23YJGXM
| URI | m2://inv/G4R23YJGXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal-to-noise ratio#BKRF, Definition (definition)
History
- 2026-11-02: add by m2/dev
G4REVTYQB1 G4REVTYQB1
| URI | m2://inv/G4REVTYQB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#MXD9 (statement). In E8FP48FJMZ/e1, lemma 7.1
History
- 2026-10-31: add by m2/v0.5.6
Rationalization (algebraic topology) G4RF5DKP07
| URI | m2://inv/G4RF5DKP07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational homotopy theory#S9UT, Rationalization (algebraic topology) (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian beam G4RFGQES46
| URI | m2://inv/G4RFGQES46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian beam, Gaussian beam (definition). Also Wikidata Q944873
History
- 2026-11-02: add by m2/dev
G4RG36FDG2 G4RG36FDG2
| URI | m2://inv/G4RG36FDG2 |
|---|---|
| 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 1805.04646#Y2G8 (statement). In WDDY7P9T66/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
G4RM6G88Z3 G4RM6G88Z3
| URI | m2://inv/G4RM6G88Z3 |
|---|---|
| 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 2609.37698#RN7Q (statement). In HA2GG72C23/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
G4RP0Y09RW G4RP0Y09RW
| URI | m2://inv/G4RP0Y09RW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-176 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
G4RS4YKMDP G4RS4YKMDP
| URI | m2://inv/G4RS4YKMDP |
|---|---|
| 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.37846#EY71 (statement). In DCA0M1EE4A/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Laurent expansion theorem G4RV1A60JJ
| URI | m2://inv/G4RV1A60JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FP77, Laurent expansion theorem (definition)
History
- 2026-11-02: add by m2/dev
Exponential tree G4S4B4JSTQ
| URI | m2://inv/G4S4B4JSTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#G6IL, Exponential tree (unknown)
History
- 2026-11-02: add by m2/dev
Example G4SBF1S5DC
| URI | m2://inv/G4SBF1S5DC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale co-occurrence matrix#KV2N, Example (example)
History
- 2026-11-02: add by m2/dev
G4SDTEGMSG G4SDTEGMSG
| URI | m2://inv/G4SDTEGMSG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#Z3EI (example). In E4EK1XXPY4/e1, example 3.12
History
- 2026-10-31: add by m2/v0.5.6
Wait list control group G4SKX8B1ZW
| URI | m2://inv/G4SKX8B1ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#08VD, Wait list control group (definition)
History
- 2026-11-02: add by m2/dev
Examples G4SSQR04NS
| URI | m2://inv/G4SSQR04NS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechanical equilibrium#TXM1, Examples (example)
History
- 2026-11-02: add by m2/dev
percolation G4SZQW0P08
| URI | m2://inv/G4SZQW0P08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117862751, percolation (unknown). Also MathWorld Percolation
History
- 2026-10-26: add by m2/dev
G4T3C7TWMA G4T3C7TWMA
| URI | m2://inv/G4T3C7TWMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#4BLL (statement). In A7M06ZVYA8/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
G4T4GZX81X G4T4GZX81X
| URI | m2://inv/G4T4GZX81X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#TA48 (statement)
History
- 2026-11-02: add by m2/v0.6.18
amplituhedron G4T5DQF76Z
| URI | m2://inv/G4T5DQF76Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14928243, amplituhedron (unknown). Also nLab amplituhedron
- wikipedia: Wikipedia Amplituhedron, Amplituhedron (definition). Also Wikidata Q14928243
History
- 2026-10-26: add by m2/dev
G4T6FNW4BT G4T6FNW4BT
| URI | m2://inv/G4T6FNW4BT |
|---|---|
| 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.13505#JCEL (statement). In 6Z1DDCYCQ8/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Attack model G4T8YQG8C9
| URI | m2://inv/G4T8YQG8C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attack model, Attack model (definition). Also Wikidata Q3991682
History
- 2026-11-02: add by m2/dev
Maria Wonenburger G4TC2Q63K9
| URI | m2://inv/G4TC2Q63K9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Wonenburger, Maria Wonenburger (topic). Also Wikidata Q9030202
History
- 2026-11-02: add by m2/dev
Faithful, full and fully faithful functors G4TK1134Z7
| URI | m2://inv/G4TK1134Z7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#XOKO, Faithful, full and fully faithful functors (definition). In HX63A1PH1W/e1, definition 3.49
History
- 2026-10-28: add by m2/v0.4.3
G4TKYXBF92 G4TKYXBF92
| URI | m2://inv/G4TKYXBF92 |
|---|---|
| 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 2406.19866#PQ1F (statement). In 9F94CEQ1ZM/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
G4TNCS7E7P G4TNCS7E7P
| URI | m2://inv/G4TNCS7E7P |
|---|---|
| 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#DFRH (statement). In GMRT5GHBZS/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
theta function G4TRHFRZZD
| URI | m2://inv/G4TRHFRZZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Theta function 2F5CYQJVAF |
Mentions
- wikidata: Wikidata Q1154787, theta function (unknown). Also MathWorld JacobiThetaFunctions
- wikipedia: Wikipedia Theta function, Theta function (definition). Also Wikidata Q1154787
History
- 2026-10-26: add by m2/dev
Formal definition G4TRW01MPJ
| URI | m2://inv/G4TRW01MPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological group#UTOS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
G4TZSW16N5 G4TZSW16N5
| URI | m2://inv/G4TZSW16N5 |
|---|---|
| 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.29326#0GWT (statement). In 3F83V6VKKA/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.6
Anomalies G4VATE8F4G
| URI | m2://inv/G4VATE8F4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#KSJK, Anomalies (definition)
History
- 2026-11-02: add by m2/dev
G4VF07FY2E G4VF07FY2E
| URI | m2://inv/G4VF07FY2E |
|---|---|
| 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.08293#XBOX (statement). In 90A5DJG27R/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
G4VQVZZGWF G4VQVZZGWF
| URI | m2://inv/G4VQVZZGWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#9V6O (statement). In 91RRFW0K5D/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
G4VYSVDH0D G4VYSVDH0D
| URI | m2://inv/G4VYSVDH0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#prop:relation-facts (statement). In PKGMM3P5QY, prop, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
Tarski's axioms G4W1E1E2EA
| URI | m2://inv/G4W1E1E2EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#FUEB, Tarski's axioms (statement)
History
- 2026-11-02: add by m2/dev
G4W5FZMHJ1 G4W5FZMHJ1
| URI | m2://inv/G4W5FZMHJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#KVNE (definition). In W0ZHX9DHPV/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
G4WH1FFAV1 G4WH1FFAV1
| URI | m2://inv/G4WH1FFAV1 |
|---|---|
| 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.23145#SFBN (statement)
History
- 2026-11-02: add by m2/v0.6.17
G4WNDQTP2D G4WNDQTP2D
| URI | m2://inv/G4WNDQTP2D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08753#167N (definition). In J9P361Z1CX/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
G4WWY41DJH G4WWY41DJH
| URI | m2://inv/G4WWY41DJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#QIAA (statement). In SNWC76WKWT/e1, lemma H.7
History
- 2026-10-31: add by m2/v0.5.6
Capacitated minimum spanning tree G4X0FTZJ87
| URI | m2://inv/G4X0FTZJ87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#A7M6, Capacitated minimum spanning tree (definition)
History
- 2026-11-02: add by m2/dev
G4X428XZ3G G4X428XZ3G
| URI | m2://inv/G4X428XZ3G |
|---|---|
| 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.35404#O7CD (statement). In DH84PYVRCF/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Properties of the chain with equal slopes G4X548GAC8
| URI | m2://inv/G4X548GAC8 |
|---|---|
| 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.21461#6VLT, Properties of the chain with equal slopes (statement). In DWQANBV7B7/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.4.2
G4XA3KZEVS G4XA3KZEVS
| URI | m2://inv/G4XA3KZEVS |
|---|---|
| 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.08362#YSQN (statement). In 7JHAD30NBB/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Definition G4XA8XEPCZ
| URI | m2://inv/G4XA8XEPCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix pencil#GIT2, Definition (definition)
History
- 2026-11-02: add by m2/dev
G4XHW8QP41 G4XHW8QP41
| URI | m2://inv/G4XHW8QP41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#E8E4 (statement). In XJVZSGCX5V/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
G4XK41YJFQ G4XK41YJFQ
| URI | m2://inv/G4XK41YJFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28518#L08R (statement)
History
- 2026-11-01: add by m2/v0.6.15
G4XP4Y0AEY G4XP4Y0AEY
| URI | m2://inv/G4XP4Y0AEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#definition-5 (definition). In RZP28ERRZV, definition, section 31.4
History
- 2026-11-01: add by m2/v0.6.13
Negative-Laplace limit G4XWDZD2YJ
| URI | m2://inv/G4XWDZD2YJ |
|---|---|
| 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.02531#KL1E, Negative-Laplace limit (statement). In 44EQ0MZE8G/e1, theorem 8.11
History
- 2026-10-29: add by m2/v0.4.12
G4Y2F9B22S G4Y2F9B22S
| URI | m2://inv/G4Y2F9B22S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#9FDB (definition)
History
- 2026-11-01: add by m2/v0.6.15
G4Y439WHZ2 G4Y439WHZ2
| URI | m2://inv/G4Y439WHZ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#FI7M (definition). In QG9ATXTKJ6/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.3.5
Nonimaging optics G4YB2VJSFR
| URI | m2://inv/G4YB2VJSFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonimaging optics, Nonimaging optics (topic). Also Wikidata Q1656807
History
- 2026-11-02: add by m2/dev
G4YCTKSBXH G4YCTKSBXH
| URI | m2://inv/G4YCTKSBXH |
|---|---|
| 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.20421#N7R9 (statement). In Q4R7J8JE3F/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
Maximality and minimality of bases G4YD2M3ESJ
| URI | m2://inv/G4YD2M3ESJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#thm:vector_best, Maximality and minimality of bases (statement). In RZP28ERRZV, theorem, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
G4YF35N758 G4YF35N758
| URI | m2://inv/G4YF35N758 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00869#BP67 (statement). In 63JMKC4GZE/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Prime factors in successive first-contact quotients G4YHVP7A08
| URI | m2://inv/G4YHVP7A08 |
|---|---|
| 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.33794#X8I1, Prime factors in successive first-contact quotients (statement). In W0PQMW25VY/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
all-pairs shortest paths G4YTX4PXFX
| URI | m2://inv/G4YTX4PXFX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#OE71, all-pairs shortest paths (problem)
History
- 2026-11-02: add by m2/dev
strong duality G4YVCYZCCA
| URI | m2://inv/G4YVCYZCCA |
|---|---|
| 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.14364#YH5Z, strong duality (statement). In GTA6B7SW2V/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
G4YXRZFENT G4YXRZFENT
| URI | m2://inv/G4YXRZFENT |
|---|---|
| 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 2610.22082#YGTE (statement). In 7PACGDW3N7/e1, proposition 17.1
History
- 2026-10-27: add by m2/v0.4.0
The construction G4ZDQRPAWR
| URI | m2://inv/G4ZDQRPAWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hrushovski construction#BQ4N, The construction (definition)
History
- 2026-11-02: add by m2/dev
Paul S. Aspinwall G4ZHWZVS7N
| URI | m2://inv/G4ZHWZVS7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PTDS, Paul S. Aspinwall (unknown)
- wikipedia: Wikipedia List of string theory topics#CXRJ, Paul S. Aspinwall (unknown)
History
- 2026-11-02: add by m2/dev
G4ZNJ8C21Y G4ZNJ8C21Y
| URI | m2://inv/G4ZNJ8C21Y |
|---|---|
| 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.07790#QI0N (statement). In A5YJDDM0NX/e1, lemma A.18
History
- 2026-10-29: add by m2/v0.4.10
Elongated pentagonal orthocupolarotunda G4ZNW21PXS
| URI | m2://inv/G4ZNW21PXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5KLT, Elongated pentagonal orthocupolarotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#L7IZ, Elongated pentagonal orthocupolarotunda (definition)
History
- 2026-11-02: add by m2/dev
Stark conjectures G4ZNX7N7YP
| URI | m2://inv/G4ZNX7N7YP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CVCB, Stark conjectures (conjecture)
History
- 2026-11-02: add by m2/dev
Bayesian linear regression G4ZPH30H0F
| URI | m2://inv/G4ZPH30H0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IDTS, Bayesian linear regression (definition)
History
- 2026-11-02: add by m2/dev
Properties G4ZWDBXM60
| URI | m2://inv/G4ZWDBXM60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf of modules#KF8L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formal definition G4ZXKSZ5HR
| URI | m2://inv/G4ZXKSZ5HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-closeness#ELLJ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Square formulas G4ZZT6E6GZ
| URI | m2://inv/G4ZZT6E6GZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic functions#NG5S, Square formulas (statement)
History
- 2026-11-02: add by m2/dev