Inventory rows GF
The cards of the rows of the inventory whose ids start with GF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Compactness measure GF05J9H6P7
| URI | m2://inv/GF05J9H6P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness measure, Compactness measure (definition). Also Wikidata Q5155340
History
- 2026-11-02: add by m2/dev
GF0M3CD85Y GF0M3CD85Y
| URI | m2://inv/GF0M3CD85Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#Q91L (statement). In G02N9D40B9/e1, lemma 3.2.6
History
- 2026-10-29: add by m2/v0.4.10
Statement GF0T0MZVCG
| URI | m2://inv/GF0T0MZVCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double limit theorem#17Y0, Statement (statement)
History
- 2026-11-02: add by m2/dev
Definition GF0Z15K7RB
| URI | m2://inv/GF0Z15K7RB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KR-theory#P8NB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties GF0ZXW1C1A
| URI | m2://inv/GF0ZXW1C1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-continuous function#E85C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples GF14DY1329
| URI | m2://inv/GF14DY1329 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity component#QXRU, Examples (example)
History
- 2026-11-02: add by m2/dev
A principal task basis for the thirteen classes GF14K85VVZ
| URI | m2://inv/GF14K85VVZ |
|---|---|
| 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#MV4G, A principal task basis for the thirteen classes (statement). In 5E9G06XJKC/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
GF15GHEM07 GF15GHEM07
| URI | m2://inv/GF15GHEM07 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.12380#PUXP (definition). In M6MQPEDQ8N/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Sachdeva--Thudi--Zhao matrix partial coloring with exact mean GF16S8JV9V
| URI | m2://inv/GF16S8JV9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ZDGX, Sachdeva--Thudi--Zhao matrix partial coloring with exact mean (statement). In 9YAE8FNQST/e1, theorem 7.4
History
- 2026-10-30: add by m2/v0.4.12
Qāḍī Zāda al-Rūmī GF1X5ZD2SS
| URI | m2://inv/GF1X5ZD2SS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qāḍī Zāda al-Rūmī, Qāḍī Zāda al-Rūmī (topic). Also Wikidata Q1386256
History
- 2026-11-02: add by m2/dev
Box-constrained submodular quadratic maximization GF29KGTKTF
| URI | m2://inv/GF29KGTKTF |
|---|---|
| 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.04027#UDAU, Box-constrained submodular quadratic maximization (statement). In DQB4YR2DFH/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.12
GF29PE611S GF29PE611S
| URI | m2://inv/GF29PE611S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16055#06K1 (statement). In 389BW42CTK/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
GF29VKJM8G GF29VKJM8G
| URI | m2://inv/GF29VKJM8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18346#FVX0 (statement). In QVPNGHTMEX/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
polar circle GF2EM9417N
| URI | m2://inv/GF2EM9417N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19598677, polar circle (unknown). Also MathWorld PolarCircle
- wikipedia: Wikipedia Polar circle (geometry), Polar circle (definition). Also Wikidata Q19598677
History
- 2026-10-26: add by m2/dev
Ran space GF2H735WKX
| URI | m2://inv/GF2H735WKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17144166, Ran space (unknown). Also nLab Ran space
- wikipedia: Wikipedia Ran space, Ran space (definition). Also Wikidata Q17144166
History
- 2026-10-26: add by m2/dev
List of polynomial topics GF2HN5T9J8
| URI | m2://inv/GF2HN5T9J8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#ZGZ0, List of polynomial topics (topic)
History
- 2026-11-02: add by m2/dev
GF2T9MTY7B GF2T9MTY7B
| URI | m2://inv/GF2T9MTY7B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#Y7T0 (definition). In 9H45HQE7AZ/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Continuation criterion GF2TEDPKYC
| URI | m2://inv/GF2TEDPKYC |
|---|---|
| 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.38118#NR02, Continuation criterion (statement). In K4KKTYYKKH/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
GF2W0EVNXV GF2W0EVNXV
| URI | m2://inv/GF2W0EVNXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#QI0W (statement). In HHF08X70P6/e1, corollary 7.7
History
- 2026-10-29: add by m2/v0.4.12
Covariant tensor GF34QCANKV
| URI | m2://inv/GF34QCANKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#VLO0, Covariant tensor (definition)
History
- 2026-11-02: add by m2/dev
Pythagorean tiling GF3K1W82QR
| URI | m2://inv/GF3K1W82QR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean tiling, Pythagorean tiling (object). Also Wikidata Q7263851
History
- 2026-11-02: add by m2/dev
Oleg Viro GF3MHX9YVF
| URI | m2://inv/GF3MHX9YVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oleg Viro, Oleg Viro (topic). Also Wikidata Q2019237
History
- 2026-11-02: add by m2/dev
Noam Chomsky GF3RZ6KEFT
| URI | m2://inv/GF3RZ6KEFT |
|---|---|
| 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 Q9049, Noam Chomsky (unknown). Also nLab Noam Chomsky
History
- 2026-10-26: add by m2/dev
GF41YYHVRX GF41YYHVRX
| URI | m2://inv/GF41YYHVRX |
|---|---|
| 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.06556#4CIB (statement). In KW8C7VE9XR/e1, fact 10
History
- 2026-10-29: add by m2/v0.4.10
GF46MKGE0Q GF46MKGE0Q
| URI | m2://inv/GF46MKGE0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06683#QBJT (statement). In NH7VBYH6PH/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
GF4DC84Q1T GF4DC84Q1T
| URI | m2://inv/GF4DC84Q1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#GJTG (statement)
History
- 2026-11-02: add by m2/v0.6.17
GF4J19076R GF4J19076R
| URI | m2://inv/GF4J19076R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06683#UAVI (definition). In NH7VBYH6PH/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
GF4VY79CH8 GF4VY79CH8
| URI | m2://inv/GF4VY79CH8 |
|---|---|
| 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.25656#7LOU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrete phase-type distribution GF509M8JW5
| URI | m2://inv/GF509M8JW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#81BV, Discrete phase-type distribution (definition)
History
- 2026-11-02: add by m2/dev
Five runs GF52J17X4B
| URI | m2://inv/GF52J17X4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#GRCL, Five runs (statement). In ARZ4X5PXXC/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
GF53QR14MD GF53QR14MD
| URI | m2://inv/GF53QR14MD |
|---|---|
| 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.10452#NU8R (statement). In 2F4PNP1V3B/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Elisabeth Walther-Bense GF54NKRA5Z
| URI | m2://inv/GF54NKRA5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elisabeth Walther-Bense, Elisabeth Walther-Bense (topic). Also Wikidata Q1330355
History
- 2026-11-02: add by m2/dev
GF5FS92BEG GF5FS92BEG
| URI | m2://inv/GF5FS92BEG |
|---|---|
| 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.23446#SRUH (statement)
History
- 2026-11-02: add by m2/v0.6.17
GF5HNB47WQ GF5HNB47WQ
| URI | m2://inv/GF5HNB47WQ |
|---|---|
| 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.29449#S2Y0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GF5J9PXE2Z GF5J9PXE2Z
| URI | m2://inv/GF5J9PXE2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05672#AQNU (statement). In BQGX0XE2A6/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Edward Carey Francis GF5MM2E47S
| URI | m2://inv/GF5MM2E47S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Carey Francis, Edward Carey Francis (topic). Also Wikidata Q23540975
History
- 2026-11-02: add by m2/dev
Examples GF5QWF08D5
| URI | m2://inv/GF5QWF08D5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic metric space#F7UQ, Examples (example)
History
- 2026-11-02: add by m2/dev
GF5QZ23JDW GF5QZ23JDW
| URI | m2://inv/GF5QZ23JDW |
|---|---|
| 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 2410.01436#D6TY (statement). In FE59Q5BHKZ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Jaroslav Hájek GF5RSNKT13
| URI | m2://inv/GF5RSNKT13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6G37, Jaroslav Hájek (unknown)
History
- 2026-11-02: add by m2/dev
Benedetto Castelli GF5VQ0NHPK
| URI | m2://inv/GF5VQ0NHPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benedetto Castelli, Benedetto Castelli (topic). Also Wikidata Q560872
History
- 2026-11-02: add by m2/dev
Brian H. Murdoch GF5WRGHF6B
| URI | m2://inv/GF5WRGHF6B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian H. Murdoch, Brian H. Murdoch (topic). Also Wikidata Q75117171
History
- 2026-11-02: add by m2/dev
Gustave Solomon GF6BPVBBN5
| URI | m2://inv/GF6BPVBBN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustave Solomon, Gustave Solomon (topic). Also Wikidata Q92982
History
- 2026-11-02: add by m2/dev
The symmetric monoidal $\infty$-category of genuine $G$-spectra GF6GEQ16C1
| URI | m2://inv/GF6GEQ16C1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#0BSX, The symmetric monoidal $\infty$-category of genuine $G$-spectra (definition). In TB1294GY5X/e1, definition A.3
History
- 2026-10-27: add by m2/v0.4.2
GF6PK788CG GF6PK788CG
| URI | m2://inv/GF6PK788CG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#ZJBD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Numerical methods for linear least squares GF6QNQV0WV
| URI | m2://inv/GF6QNQV0WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EAOB, Numerical methods for linear least squares (definition)
History
- 2026-11-02: add by m2/dev
GF6WXXMY25 GF6WXXMY25
| URI | m2://inv/GF6WXXMY25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#BHTT (statement). In 5RMV7VP13X/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
Spatial statistics GF6Y0JQZMX
| URI | m2://inv/GF6Y0JQZMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W807, Spatial statistics (topic)
History
- 2026-11-02: add by m2/dev
GF7B7NDCCP GF7B7NDCCP
| URI | m2://inv/GF7B7NDCCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#MG9X (statement). In D64RQ09KBP/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
GF7F8BW03S GF7F8BW03S
| URI | m2://inv/GF7F8BW03S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11797#4Y81 (definition). In 8SJWWZN4FH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
GF7HH1866B GF7HH1866B
| URI | m2://inv/GF7HH1866B |
|---|---|
| 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.30600#KNPV (statement). In BKGWH9ZN4J/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Mordell–Weil theorem GF7J7E9ZKW
| URI | m2://inv/GF7J7E9ZKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#1VSN, Mordell–Weil theorem (definition)
History
- 2026-11-02: add by m2/dev
Definition GF7JYX7E5G
| URI | m2://inv/GF7JYX7E5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total correlation#0T1H, Definition (definition)
History
- 2026-11-02: add by m2/dev
GF7TTVW4A7 GF7TTVW4A7
| URI | m2://inv/GF7TTVW4A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#3CN2 (statement). In 1QSCT53ZED/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.4.0
C. P. Ramanujam GF7WDBR2P1
| URI | m2://inv/GF7WDBR2P1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#QRNE, C. P. Ramanujam (topic)
History
- 2026-11-02: add by m2/dev
Eight triangular channels GF81811RXS
| URI | m2://inv/GF81811RXS |
|---|---|
| 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#68OA, Eight triangular channels (statement). In HF7YNMW39N/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Statistical error GF81N3TJDG
| URI | m2://inv/GF81N3TJDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#6JWF, Statistical error (statement). In XXV36V6CK8/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
GF82MQH30R GF82MQH30R
| URI | m2://inv/GF82MQH30R |
|---|---|
| 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.40207#8M6P (statement). In JXTG8KP95P/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Quadratic Growth GF83WN295R
| URI | m2://inv/GF83WN295R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37489#HSG9, Quadratic Growth (definition). In 5ZC91T5PHQ/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
birational GF848W7SYC
| URI | m2://inv/GF848W7SYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#9HO4, birational (definition)
History
- 2026-11-02: add by m2/dev
Euclid–Mullin sequence GF8EP862P2
| URI | m2://inv/GF8EP862P2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5406148, Euclid–Mullin sequence (object). Also MathWorld Euclid-MullinSequence, OEIS A000945
- wikipedia: Wikipedia Euclid–Mullin sequence, Euclid–Mullin sequence (conjecture). Also Wikidata Q5406148
History
- 2026-10-26: add by m2/dev
Uses GF8FCDXZXQ
| URI | m2://inv/GF8FCDXZXQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heptagram#RC6O, Uses (example)
History
- 2026-11-02: add by m2/dev
Examples GF8GHQF1NC
| URI | m2://inv/GF8GHQF1NC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric product (topology)#695B, Examples (example)
History
- 2026-11-02: add by m2/dev
GF8GQ2M70F GF8GQ2M70F
| URI | m2://inv/GF8GQ2M70F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06045#U7WY (statement). In SVKM0852RJ/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
GF8KX7YSP8 GF8KX7YSP8
| URI | m2://inv/GF8KX7YSP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2601.13782#6DNR (statement). In 12RSHWCNMX/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Definition GF8WEFPED4
| URI | m2://inv/GF8WEFPED4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern–Simons form#PBMD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lam\'e projective monodromy factorization GF92837M8Q
| URI | m2://inv/GF92837M8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#K9CQ, Lam\'e projective monodromy factorization (statement)
History
- 2026-11-01: add by m2/v0.6.15
GF993C1RSP GF993C1RSP
| URI | m2://inv/GF993C1RSP |
|---|---|
| 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.35642#G24Q (statement). In D905BX98TP/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Demographics of Samoa GF9JD5GZ37
| URI | m2://inv/GF9JD5GZ37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Samoa, Demographics of Samoa (definition). Also Wikidata Q3044344
History
- 2026-11-02: add by m2/dev
GF9RM2SVP0 GF9RM2SVP0
| URI | m2://inv/GF9RM2SVP0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#15NZ (definition). In X1J5HKPS3R/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
GF9X7XHV6C GF9X7XHV6C
| URI | m2://inv/GF9X7XHV6C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#O8U7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples GF9ZK72WVT
| URI | m2://inv/GF9ZK72WVT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely regular semigroup#1GOG, Examples (example)
History
- 2026-11-02: add by m2/dev
L-function GFA3XQGGMD
| URI | m2://inv/GFA3XQGGMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1789063, L-function (unknown). Also nLab L-function
- wikipedia: Wikipedia L-function, L-function (definition). Also Wikidata Q1789063
History
- 2026-10-26: add by m2/dev
Pafnuty Chebyshev GFA83QS9HR
| URI | m2://inv/GFA83QS9HR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q206012, Pafnuty Chebyshev (unknown). Also ProofWiki Mathematician:Pafnuty_Lvovich_Chebyshev
- wikipedia: Wikipedia Pafnuty Chebyshev, Pafnuty Chebyshev (topic). Also Wikidata Q206012
History
- 2026-10-26: add by m2/dev
theory of relativity GFAB6V4XJ0
| URI | m2://inv/GFAB6V4XJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43514, theory of relativity (definition). Also EoM Relativity_theory, ProofWiki Definition:Relativity_Theory
- wikipedia: Wikipedia Theory of relativity, Theory of relativity (definition). Also Wikidata Q43514
History
- 2026-10-26: add by m2/dev
GFAK0VRNG7 GFAK0VRNG7
| URI | m2://inv/GFAK0VRNG7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#VVBR (definition). In Q5Z178SAHP/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
GFASQJB8BE GFASQJB8BE
| URI | m2://inv/GFASQJB8BE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21274#PXSA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bayes optimal classifier GFAX3P95J7
| URI | m2://inv/GFAX3P95J7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble learning#E42Z, Bayes optimal classifier (unknown)
History
- 2026-11-02: add by m2/dev
GFB5NX26MT GFB5NX26MT
| URI | m2://inv/GFB5NX26MT |
|---|---|
| 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.10452#4BX0 (statement). In 2F4PNP1V3B/e1, theorem 3.15
History
- 2026-10-29: add by m2/v0.4.10
Dade City North GFBDPPC9FB
| URI | m2://inv/GFBDPPC9FB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#CV3Q, Dade City North (unknown)
History
- 2026-11-02: add by m2/dev
GFBFTXMXCV GFBFTXMXCV
| URI | m2://inv/GFBFTXMXCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00798#KKVL (statement). In FANG3A8NZ9/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Boolean algebra GFBJCT1ZR4
| URI | m2://inv/GFBJCT1ZR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#O4M4, Boolean algebra (definition)
History
- 2026-11-02: add by m2/dev
reducible GFBM0BYA84
| URI | m2://inv/GFBM0BYA84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#BC6K, reducible (definition)
History
- 2026-11-02: add by m2/dev
Laws of motion, impact, and gravitation GFBRAK49PX
| URI | m2://inv/GFBRAK49PX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christiaan Huygens#8B5L, Laws of motion, impact, and gravitation (statement)
History
- 2026-11-02: add by m2/dev
Examples GFBY8K090G
| URI | m2://inv/GFBY8K090G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stolz–Cesàro theorem#P84I, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition GFC3A5A1G6
| URI | m2://inv/GFC3A5A1G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fleiss's kappa#S867, Definition (definition)
History
- 2026-11-02: add by m2/dev
GFC6Q0143Q GFC6Q0143Q
| URI | m2://inv/GFC6Q0143Q |
|---|---|
| Kind | problem |
| 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.19449#PLW5 (problem). In 8ZKPJ3CBDF/e1, problem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Definition GFC78VDFSA
| URI | m2://inv/GFC78VDFSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann zeta function#RWY5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Woodall number GFC7XA4NJA
| URI | m2://inv/GFC7XA4NJA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q951293, Woodall number (unknown). Also MathWorld WoodallNumber, OEIS A003261
- wikipedia: Wikipedia Woodall number, Woodall number (conjecture). Also Wikidata Q951293
History
- 2026-10-26: add by m2/dev
Ascending central series GFC88Z89QS
| URI | m2://inv/GFC88Z89QS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central series#QDUV, Ascending central series (unknown)
History
- 2026-11-02: add by m2/dev
Conical model GFCAY097GQ
| URI | m2://inv/GFCAY097GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#FYV4, Conical model (statement)
History
- 2026-11-01: add by m2/v0.6.15
topological monoid GFCB60THW2
| URI | m2://inv/GFCB60THW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Topological monoid RA56GHB9JZ |
Mentions
- wikidata: Wikidata Q25098802, topological monoid (unknown). Also nLab topological monoid
- wikipedia: Wikipedia Topological monoid, Topological monoid (definition). Also Wikidata Q25098802
History
- 2026-10-26: add by m2/dev
GFCBWVXAP7 GFCBWVXAP7
| URI | m2://inv/GFCBWVXAP7 |
|---|---|
| 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.04608#4S03 (statement). In ZYYMXYK7WJ/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
GFCDKYQWC3 GFCDKYQWC3
| URI | m2://inv/GFCDKYQWC3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#LIK2 (definition). In Z7E16PFFCP/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Sverre Krogh GFCJNH417K
| URI | m2://inv/GFCJNH417K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#62F9, Sverre Krogh (unknown)
History
- 2026-11-02: add by m2/dev
Alternated octagonal tiling GFCRRA6QRH
| URI | m2://inv/GFCRRA6QRH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternated octagonal tiling, Alternated octagonal tiling (object). Also Wikidata Q7844277
History
- 2026-11-02: add by m2/dev
Supported splitting GFCSMVJZPA
| URI | m2://inv/GFCSMVJZPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26576#2P31, Supported splitting (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties GFCVW70992
| URI | m2://inv/GFCVW70992 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flux#B94M, Properties (statement)
History
- 2026-11-02: add by m2/dev
GFCY1PHZF2 GFCY1PHZF2
| URI | m2://inv/GFCY1PHZF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-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.07728#OSK2 (statement). In B1VVAKFCKZ/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Digital root (cf. A010888 ) of prime(n)^3. GFD05160D5
| URI | m2://inv/GFD05160D5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194451, Digital root (cf. A010888 ) of prime(n)^3. (object). Also OEIS A073637
History
- 2026-10-26: add by m2/dev
GFD6RQK73M GFD6RQK73M
| URI | m2://inv/GFD6RQK73M |
|---|---|
| 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.06556#Q7PN (statement). In KW8C7VE9XR/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.10
GFD9R6GWDZ GFD9R6GWDZ
| URI | m2://inv/GFD9R6GWDZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#OTE8 (definition). In R604B78EVK/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Sturm–Picone comparison theorem GFD9YAHKCR
| URI | m2://inv/GFD9YAHKCR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#224H, Sturm–Picone comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
disphenocingulum GFDA91P87P
| URI | m2://inv/GFDA91P87P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1758058, disphenocingulum (object). Also MathWorld Disphenocingulum
- wikipedia: Wikipedia Disphenocingulum, Disphenocingulum (definition). Also Wikidata Q1758058
History
- 2026-10-26: add by m2/dev
GFDGZJHW2J GFDGZJHW2J
| URI | m2://inv/GFDGZJHW2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#6LU7 (statement). In DZ12XTTJSM/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.2
GFE1Q2D9GY GFE1Q2D9GY
| URI | m2://inv/GFE1Q2D9GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#CF8V (statement). In RK0ZMDJ23T/e1, lemma 3.2.1
History
- 2026-10-31: add by m2/v0.5.6
Examples GFE7YT08YH
| URI | m2://inv/GFE7YT08YH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copositive matrix#5V7X, Examples (example)
History
- 2026-11-02: add by m2/dev
GFEEEARFHX GFEEEARFHX
| URI | m2://inv/GFEEEARFHX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#C64B (problem). In CGA36VE1C5/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.6
GFEF6D0TXQ GFEF6D0TXQ
| URI | m2://inv/GFEF6D0TXQ |
|---|---|
| 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 2608.23797#16VG (statement). In PZCA01JXVR/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.5
polar vector GFEFSB0FZS
| URI | m2://inv/GFEFSB0FZS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109622094, polar vector (concept). Also MathWorld PolarVector
History
- 2026-10-26: add by m2/dev
GFEFT99R1V GFEFT99R1V
| URI | m2://inv/GFEFT99R1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#BFN1 (statement). In WZMHJCQPB2/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Normal $k$-currents GFEJE0QG8Q
| URI | m2://inv/GFEJE0QG8Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#SOVJ, Normal $k$-currents (definition)
History
- 2026-11-01: add by m2/v0.6.15
GFER55CNX5 GFER55CNX5
| URI | m2://inv/GFER55CNX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#N9LF (statement). In 52HWCGK5QJ/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Canonical tied-level source GFEWT61KVH
| URI | m2://inv/GFEWT61KVH |
|---|---|
| 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.05313#UDSB, Canonical tied-level source (statement). In 8XPN1A2GR0/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
GFEZX84A9E GFEZX84A9E
| URI | m2://inv/GFEZX84A9E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#OF7O (definition). In 8Z47D12KSX/e1, definition 10.5
History
- 2026-10-29: add by m2/v0.4.10
Induced homomorphism GFFEGM9DK9
| URI | m2://inv/GFFEGM9DK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced homomorphism, Induced homomorphism (definition). Also Wikidata Q17098095
History
- 2026-11-02: add by m2/dev
Lr-diode GFFGHYKNE9
| URI | m2://inv/GFFGHYKNE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lr-diode, Lr-diode (definition). Also Wikidata Q6694730
History
- 2026-11-02: add by m2/dev
Halo effect GFFJ5GDFKP
| URI | m2://inv/GFFJ5GDFKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#IX1C, Halo effect (unknown)
History
- 2026-11-02: add by m2/dev
GFFMT1EZFF GFFMT1EZFF
| URI | m2://inv/GFFMT1EZFF |
|---|---|
| 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.25104#IILD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications GFFQFN286G
| URI | m2://inv/GFFQFN286G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependent random choice#2MYP, Applications (example)
History
- 2026-11-02: add by m2/dev
Transported cell averages GFFSCX9EQN
| URI | m2://inv/GFFSCX9EQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#8FN8, Transported cell averages (statement). In 17ACAG0N9C/e1, lemma 8.8
History
- 2026-10-28: add by m2/v0.4.2
Hooke's Law GFG7S4QVH4
| URI | m2://inv/GFG7S4QVH4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.4.2/hooke-s-law, Hooke's Law (concept). In 907G4C4EJ1, index, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
A target independent of the entropy split GFGBGC4KX1
| URI | m2://inv/GFGBGC4KX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#BIJ8, A target independent of the entropy split (statement)
History
- 2026-11-01: add by m2/v0.6.15
Closed range theorem GFGBSH605A
| URI | m2://inv/GFGBSH605A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q631561, Closed range theorem (statement). Also Wikidata Q631561
- thousand_plus: thousand_plus Q631561, Closed range theorem (statement). Also Wikidata Q631561, Wikipedia Closed range theorem
- wikipedia: Wikipedia Closed range theorem, Closed range theorem (statement). Also Wikidata Q631561
History
- 2026-10-26: add by m2/dev
Uniform linear estimate GFGC2KQ4V2
| URI | m2://inv/GFGC2KQ4V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20647#Z2AY, Uniform linear estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition GFGDGWBP4H
| URI | m2://inv/GFGDGWBP4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-functor#SQKM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bodlaender et al. GFGWRDNG1R
| URI | m2://inv/GFGWRDNG1R |
|---|---|
| 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.01441#B5MF, Bodlaender et al. (statement). In V678XY1P9A/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
Algebraic properties GFH175MAEA
| URI | m2://inv/GFH175MAEA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Union (set theory)#UJM6, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Magic square of squares GFH6HCF3T2
| URI | m2://inv/GFH6HCF3T2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square of squares, Magic square of squares (conjecture). Also Wikidata Q135299535
History
- 2026-11-02: add by m2/dev
GFHA99Z3BG GFHA99Z3BG
| URI | m2://inv/GFHA99Z3BG |
|---|---|
| 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 2501.15210#E1UR (statement). In S4S8V2DYSA/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Planning fallacy GFHQ3BYDMJ
| URI | m2://inv/GFHQ3BYDMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planning fallacy, Planning fallacy (definition). Also Wikidata Q1637631
History
- 2026-11-02: add by m2/dev
proper GFHY4GJ8M1
| URI | m2://inv/GFHY4GJ8M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#YMLN, proper (definition)
History
- 2026-11-02: add by m2/dev
GFJ4DFJD9T GFJ4DFJD9T
| URI | m2://inv/GFJ4DFJD9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#SV3O (statement). In E63NRC7MBE/e1, theorem 2.34
History
- 2026-10-27: add by m2/v0.4.2
Global warming wager GFJ8QQQ95V
| URI | m2://inv/GFJ8QQQ95V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal's wager#LZ7E, Global warming wager (unknown)
History
- 2026-11-02: add by m2/dev
List of graphical methods GFJGPD2MPW
| URI | m2://inv/GFJGPD2MPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods, List of graphical methods (topic). Also Wikidata Q6621905
History
- 2026-11-02: add by m2/dev
GFJHHXS2G4 GFJHHXS2G4
| URI | m2://inv/GFJHHXS2G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#ITVV (statement). In QJD3MZMJHW/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
modal operator GFJJ40KT80
| URI | m2://inv/GFJJ40KT80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9QFN, modal operator (definition)
History
- 2026-11-02: add by m2/dev
Application GFJT3WF88S
| URI | m2://inv/GFJT3WF88S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cederbaum's maximum flow theorem#VHB6, Application (example)
History
- 2026-11-02: add by m2/dev
Agnès Beaudry GFJTZW5M88
| URI | m2://inv/GFJTZW5M88 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnès Beaudry, Agnès Beaudry (topic). Also Wikidata Q102409779
History
- 2026-11-02: add by m2/dev
Pseudo-scholarship GFJYX0QD86
| URI | m2://inv/GFJYX0QD86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-scholarship, Pseudo-scholarship (definition). Also Wikidata Q7254446
History
- 2026-11-02: add by m2/dev
Algebraic behaviour of $T_\tau+T_\lambda^R$ GFK15Y1CM9
| URI | m2://inv/GFK15Y1CM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#NRH5, Algebraic behaviour of $T_\tau+T_\lambda^R$ (statement). In 7R33E8515R/e1, lemma 2.23
History
- 2026-10-28: add by m2/v0.4.2
GFK4X9TT1G GFK4X9TT1G
| URI | m2://inv/GFK4X9TT1G |
|---|---|
| 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.20135#XCHB (statement). In ZQQEN3J866/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Joan Clarke GFK5E0TRD1
| URI | m2://inv/GFK5E0TRD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Clarke, Joan Clarke (topic). Also Wikidata Q15990084
History
- 2026-11-02: add by m2/dev
Applications GFK63V17T4
| URI | m2://inv/GFK63V17T4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-logistic distribution#OG3A, Applications (example)
History
- 2026-11-02: add by m2/dev
GFK6M679GW GFK6M679GW
| URI | m2://inv/GFK6M679GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#RXZQ (statement). In TN93YFN45W/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.4.0
Properties GFK8TYG9WB
| URI | m2://inv/GFK8TYG9WB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cell#Z0MN, Properties (statement)
History
- 2026-11-02: add by m2/dev
GFKAMANKGD GFKAMANKGD
| URI | m2://inv/GFKAMANKGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#JUXK (statement). In KBH265QSBT/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
Pre-sampling block model GFKB5JTANR
| URI | m2://inv/GFKB5JTANR |
|---|---|
| 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.32558#OQ1N, Pre-sampling block model (statement). In SGQS629QNK/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
self-injective GFKD027WN5
| URI | m2://inv/GFKD027WN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#FQSB, self-injective (definition)
History
- 2026-11-02: add by m2/dev
Examples GFKN710TK4
| URI | m2://inv/GFKN710TK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overdispersion#AKXL, Examples (example)
History
- 2026-11-02: add by m2/dev
Riesz rearrangement inequality GFKR1T7VN1
| URI | m2://inv/GFKR1T7VN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz rearrangement inequality, Riesz rearrangement inequality (statement). Also Wikidata Q17122926
History
- 2026-11-02: add by m2/dev
Fundamental Theorem of Arithmetic GFKSPBVCQ6
| URI | m2://inv/GFKSPBVCQ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:FTA, Fundamental Theorem of Arithmetic (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
Special affine group GFM0ASN1N3
| URI | m2://inv/GFM0ASN1N3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine group#XBNJ, Special affine group (unknown)
History
- 2026-11-02: add by m2/dev
Gustav V Land GFM4CZHT0F
| URI | m2://inv/GFM4CZHT0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#F0HE, Gustav V Land (unknown)
History
- 2026-11-02: add by m2/dev
GFM5HPRQMR GFM5HPRQMR
| URI | m2://inv/GFM5HPRQMR |
|---|---|
| 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.28336#AE9B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quadratic ideal GFMA1M6MBH
| URI | m2://inv/GFMA1M6MBH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Jordan algebra#VZQR, Quadratic ideal (unknown)
History
- 2026-11-02: add by m2/dev
GFMDQYC5ZH GFMDQYC5ZH
| URI | m2://inv/GFMDQYC5ZH |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
GFMJRP35BD GFMJRP35BD
| URI | m2://inv/GFMJRP35BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2208.05276#WUHA (statement). In 4C5XHYTRT2/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Cascade algorithm GFMK9H3J3K
| URI | m2://inv/GFMK9H3J3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cascade algorithm, Cascade algorithm (definition). Also Wikidata Q5048176
History
- 2026-11-02: add by m2/dev
Representations GFMKPCH3S2
| URI | m2://inv/GFMKPCH3S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M24#MEP3, Representations (definition)
History
- 2026-11-02: add by m2/dev
GFMMZ9R8XQ GFMMZ9R8XQ
| URI | m2://inv/GFMMZ9R8XQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#TOAP (example)
History
- 2026-11-01: add by m2/v0.6.15
GFMPRE4E9A GFMPRE4E9A
| URI | m2://inv/GFMPRE4E9A |
|---|---|
| Kind | problem |
| 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 2610.13680#YRDD (problem). In QNBFHFZ3H0/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Depth-Independent \(L\)-Smoothness GFMQYMXP54
| URI | m2://inv/GFMQYMXP54 |
|---|---|
| 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.14344#ARMU, Depth-Independent \(L\)-Smoothness (statement). In ZVCD8RG1JJ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Parthasarathy's theorem GFMSQN41D7
| URI | m2://inv/GFMSQN41D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7140218, Parthasarathy's theorem (statement). Also Wikidata Q7140218
- thousand_plus: thousand_plus Q7140218, Parthasarathy's theorem (statement). Also Wikidata Q7140218, Wikipedia Parthasarathy's theorem
- wikipedia: Wikipedia Parthasarathy's theorem, Parthasarathy's theorem (statement). Also Wikidata Q7140218
History
- 2026-10-26: add by m2/dev
Dyck path GFMXSAHSYM
| URI | m2://inv/GFMXSAHSYM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139882248, Dyck path (concept). Also MathWorld DyckPath
History
- 2026-10-26: add by m2/dev
Theorem GFMZ2NM52X
| URI | m2://inv/GFMZ2NM52X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton–Gauss line#7PZL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GFN4NPJ8XR GFN4NPJ8XR
| URI | m2://inv/GFN4NPJ8XR |
|---|---|
| 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 2312.06473#J4Y2 (statement). In P1MYSYHSGX/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
Romanian Mathematical Society GFNDWPFV64
| URI | m2://inv/GFNDWPFV64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#2LLN, Romanian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Leon Lichtenstein GFNFDR11G0
| URI | m2://inv/GFNFDR11G0 |
|---|---|
| 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#DCXK, Leon Lichtenstein (topic)
History
- 2026-11-02: add by m2/dev
reduction, of a word in a free group GFNGRJ2B6Q
| URI | m2://inv/GFNGRJ2B6Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/reduction-of-a-word-in-a-free-group, reduction, of a word in a free group (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
GFNHPA8XZH GFNHPA8XZH
| URI | m2://inv/GFNHPA8XZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06108#BMJ2 (statement). In D3WKY1PW64/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Cone monotonicity GFNJG7WZMA
| URI | m2://inv/GFNJG7WZMA |
|---|---|
| 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.25026#OK5F, Cone monotonicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
GFNMNJ5NT0 GFNMNJ5NT0
| URI | m2://inv/GFNMNJ5NT0 |
|---|---|
| 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.21715#LUYS (statement). In QW0SV5D6MQ/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
GFNMNTKJ75 GFNMNTKJ75
| URI | m2://inv/GFNMNTKJ75 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-21 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Definition GFNN9KJXSP
| URI | m2://inv/GFNN9KJXSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor bundle#MTXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conditional improved landing time GFNNTBJ5DC
| URI | m2://inv/GFNNTBJ5DC |
|---|---|
| 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.37164#5AXX, Conditional improved landing time (statement). In B2PG75FSQJ/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
Philip Rabinowitz GFNQAD1VWQ
| URI | m2://inv/GFNQAD1VWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Rabinowitz (mathematician), Philip Rabinowitz (topic). Also Wikidata Q7184258
History
- 2026-11-02: add by m2/dev
Properties GFNV54V67H
| URI | m2://inv/GFNV54V67H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PTAS reduction#NOZV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Biweight midcorrelation GFNXMVQB9R
| URI | m2://inv/GFNXMVQB9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biweight midcorrelation, Biweight midcorrelation (definition). Also Wikidata Q25304091
History
- 2026-11-02: add by m2/dev
Miller index GFP0AMHNH0
| URI | m2://inv/GFP0AMHNH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miller index, Miller index (definition). Also Wikidata Q849699
History
- 2026-11-02: add by m2/dev
GFP1V20603 GFP1V20603
| URI | m2://inv/GFP1V20603 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10576#7DWK (conjecture). In N3ZA5MDZBW/e1, conjecture 2
History
- 2026-10-29: add by m2/v0.4.10
Matroid minor GFP2JY8GJS
| URI | m2://inv/GFP2JY8GJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid minor, Matroid minor (definition). Also Wikidata Q17086290
History
- 2026-11-02: add by m2/dev
Example GFP46A6Z8E
| URI | m2://inv/GFP46A6Z8E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aluthge transform#NM4B, Example (example)
History
- 2026-11-02: add by m2/dev
First-order perturbation theory GFP90QBFPH
| URI | m2://inv/GFP90QBFPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation theory (quantum mechanics)#IFAX, First-order perturbation theory (unknown)
History
- 2026-11-02: add by m2/dev
SYSTAT GFPDQSPAQ8
| URI | m2://inv/GFPDQSPAQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KGWI, SYSTAT (definition)
History
- 2026-11-02: add by m2/dev
Bundle of principal parts GFPNDAPQWD
| URI | m2://inv/GFPNDAPQWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle of principal parts, Bundle of principal parts (definition). Also Wikidata Q48972825
History
- 2026-11-02: add by m2/dev
simple algebra GFPNZKRGV4
| URI | m2://inv/GFPNZKRGV4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simple algebra 9CJCXNYNK8 |
Mentions
- wikidata: Wikidata Q1405695, simple algebra (concept). Also MathWorld SimpleAlgebra, nLab simple algebra
- wikipedia: Wikipedia Simple algebra (universal algebra), Simple algebra (definition). Also Wikidata Q1405695
History
- 2026-10-26: add by m2/dev
Oracles for the Gaussian optimization problem GFPSY2STW5
| URI | m2://inv/GFPSY2STW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#KQC4, Oracles for the Gaussian optimization problem (statement). In 1NY2SA03XF/e1, proposition 4.18
History
- 2026-10-29: add by m2/v0.4.10
Theorem (Calvin Richard Putnam) GFQ2HBE8TR
| URI | m2://inv/GFQ2HBE8TR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede's theorem#F2CR, Theorem (Calvin Richard Putnam) (statement)
History
- 2026-11-02: add by m2/dev
Definition GFQ6Z7BN50
| URI | m2://inv/GFQ6Z7BN50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate points#YLOQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
GFQ9G632YC GFQ9G632YC
| URI | m2://inv/GFQ9G632YC |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#8YBC (conjecture). In NGZ5AZ70NN/e1, conjecture 5.12
History
- 2026-10-28: add by m2/v0.4.2
Lemma GFQJXQ4YV0
| URI | m2://inv/GFQJXQ4YV0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's theorem (convex hull)#F2YM, Lemma (statement)
History
- 2026-11-02: add by m2/dev
GFQQ12WHJQ GFQQ12WHJQ
| URI | m2://inv/GFQQ12WHJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32088#J0WO (definition). In 7781ARDE06/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Bruun rule GFQTM3KVKJ
| URI | m2://inv/GFQTM3KVKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruun rule, Bruun rule (definition). Also Wikidata Q60790635
History
- 2026-11-02: add by m2/dev
1963 Costa Rican census GFQV5G8DBS
| URI | m2://inv/GFQV5G8DBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1963 Costa Rican census, 1963 Costa Rican census (definition). Also Wikidata Q5760524
History
- 2026-11-02: add by m2/dev
Good codes in a prescribed degree GFQWDXY2EK
| URI | m2://inv/GFQWDXY2EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#ZWHD, Good codes in a prescribed degree (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nina Bary GFQX1RDJW5
| URI | m2://inv/GFQX1RDJW5 |
|---|---|
| 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#2FHC, Nina Bary (topic)
History
- 2026-11-02: add by m2/dev
Breusch–Godfrey test GFR486RQV6
| URI | m2://inv/GFR486RQV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Breusch–Godfrey test, Breusch–Godfrey test (definition). Also Wikidata Q4456437
History
- 2026-11-02: add by m2/dev
GFR9GKN06B GFR9GKN06B
| URI | m2://inv/GFR9GKN06B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#BJKP (statement). In D6XA7JXZF3/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
golden spiral GFRDN3SC8N
| URI | m2://inv/GFRDN3SC8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#NFTT, golden spiral (definition)
History
- 2026-11-02: add by m2/dev
Francis Dominic Murnaghan GFRGQDW6CW
| URI | m2://inv/GFRGQDW6CW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Dominic Murnaghan (mathematician), Francis Dominic Murnaghan (topic). Also Wikidata Q3081402
History
- 2026-11-02: add by m2/dev
GFRH69ZKPT GFRH69ZKPT
| URI | m2://inv/GFRH69ZKPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#IFZM (statement). In WAJ5AZHF62/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
Stickelberger's theorem GFRKVZSVG7
| URI | m2://inv/GFRKVZSVG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stickelberger's theorem, Stickelberger's theorem (statement). Also Wikidata Q3527167
History
- 2026-11-02: add by m2/dev
GFRMS23YJD GFRMS23YJD
| URI | m2://inv/GFRMS23YJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#YWVX (statement). In X47RYAZF8P/e1, lemma 6.18
History
- 2026-10-28: add by m2/v0.4.2
Edward Waring GFRNZAWTAT
| URI | m2://inv/GFRNZAWTAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q323028, Edward Waring (unknown). Also ProofWiki Mathematician:Edward_Waring
- wikipedia: Wikipedia Edward Waring, Edward Waring (topic). Also Wikidata Q323028
History
- 2026-10-26: add by m2/dev
Meta-analysis GFRRG0JE4B
| URI | m2://inv/GFRRG0JE4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#ZAUB, Meta-analysis (definition)
- wikipedia: Wikipedia List of statistics articles#J5L0, Meta-analysis (definition)
History
- 2026-11-02: add by m2/dev
GFRS52FFDK GFRS52FFDK
| URI | m2://inv/GFRS52FFDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#XTK2 (statement). In JY50YXMH5N/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.12
GFS0KKX0CG GFS0KKX0CG
| URI | m2://inv/GFS0KKX0CG |
|---|---|
| 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.26477#1R8C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affine braid group GFS36HS0WH
| URI | m2://inv/GFS36HS0WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine braid group, Affine braid group (definition). Also Wikidata Q4688938
History
- 2026-11-02: add by m2/dev
Inductive family GFS7ZRJQQM
| URI | m2://inv/GFS7ZRJQQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intuitionistic type theory#PXQL, Inductive family (unknown)
History
- 2026-11-02: add by m2/dev
GFSBPT5WF7 GFSBPT5WF7
| URI | m2://inv/GFSBPT5WF7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#PRUK (example). In PWXT7J9JX3/e1, example 2.12
History
- 2026-10-28: add by m2/v0.4.2
GFSBYE4XZ3 GFSBYE4XZ3
| URI | m2://inv/GFSBYE4XZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#AHEI (statement). In H52QQS8WZA/e1, proposition 8.3
History
- 2026-10-27: add by m2/v0.3.5
GFSR480Y3H GFSR480Y3H
| URI | m2://inv/GFSR480Y3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#UYVO (statement). In 69QFBXJENW/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.3.5
Terminology GFSRCH2QRG
| URI | m2://inv/GFSRCH2QRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arity#7F5T, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Plane graph with at most one vortex GFSVCQY3YP
| URI | m2://inv/GFSVCQY3YP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#KJBU, Plane graph with at most one vortex (definition). In BVAWVRS3R9/e1, definition 2.19
History
- 2026-10-28: add by m2/v0.4.2
GFT1K9NTKY GFT1K9NTKY
| URI | m2://inv/GFT1K9NTKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32104#9TLN (statement). In YRJSYFXNM8/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
Amortized analysis GFT7S4E9S5
| URI | m2://inv/GFT7S4E9S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#6IJQ, Amortized analysis (definition)
History
- 2026-11-02: add by m2/dev
GFT8M2H7MN GFT8M2H7MN
| URI | m2://inv/GFT8M2H7MN |
|---|---|
| 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 1002.0879#0DKN (statement). In M0SQY5EZN5/e1, lemma 2.9.8
History
- 2026-10-27: add by m2/v0.3.5
GFTBG91H83 GFTBG91H83
| URI | m2://inv/GFTBG91H83 |
|---|---|
| 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#UEUS (statement). In 9WP2QGKMG8/e1, corollary 1.8
History
- 2026-10-30: add by m2/v0.4.12
GFTNE35W7K GFTNE35W7K
| URI | m2://inv/GFTNE35W7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13715#VHHH (statement). In FAVGZDVJS9/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Fisher information metric theorem GFTNK4BJ75
| URI | m2://inv/GFTNK4BJ75 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler divergence#PF2Z, Fisher information metric theorem (statement)
History
- 2026-11-02: add by m2/dev
GFTRK372BK GFTRK372BK
| URI | m2://inv/GFTRK372BK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#example-1 (example). In 649HGZKE96, example, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
GFTRS15MR0 GFTRS15MR0
| URI | m2://inv/GFTRS15MR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#MS7D (statement). In A3KXZ2GBHN/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
GFTRY71P7S GFTRY71P7S
| URI | m2://inv/GFTRY71P7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#VD23 (statement)
History
- 2026-11-02: add by m2/v0.6.17
GFTSSEWWWK GFTSSEWWWK
| URI | m2://inv/GFTSSEWWWK |
|---|---|
| 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.02215#MY34 (statement). In 1W01W0APQF/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
Examples GFV1ZWBDEY
| URI | m2://inv/GFV1ZWBDEY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple polytope#DS70, Examples (example)
History
- 2026-11-02: add by m2/dev
Polynomial rounding GFV44MQXAS
| URI | m2://inv/GFV44MQXAS |
|---|---|
| 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 2610.16605#LH5L, Polynomial rounding (statement). In KZ175036B5/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Izumi--Mukohara GFV7A2A8E4
| URI | m2://inv/GFV7A2A8E4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#0UHU, Izumi--Mukohara (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bolyai, János GFV8S847Z8
| URI | m2://inv/GFV8S847Z8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#CNO9, Bolyai, János (topic)
History
- 2026-11-02: add by m2/dev
GFVB3PB34H GFVB3PB34H
| URI | m2://inv/GFVB3PB34H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#QDBV (example). In G02N9D40B9/e1, example 1.2.6
History
- 2026-10-29: add by m2/v0.4.10
Charles Joel Stone GFVDBYDH1B
| URI | m2://inv/GFVDBYDH1B |
|---|---|
| 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#HL16, Charles Joel Stone (topic)
History
- 2026-11-02: add by m2/dev
Synchronizing word GFVXXK9X1X
| URI | m2://inv/GFVXXK9X1X |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synchronizing word, Synchronizing word (conjecture). Also Wikidata Q7662204
History
- 2026-11-02: add by m2/dev
Quantum calculus GFVZW0XB2Q
| URI | m2://inv/GFVZW0XB2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4H8F, Quantum calculus (definition)
History
- 2026-11-02: add by m2/dev
GFW32C2S23 GFW32C2S23
| URI | m2://inv/GFW32C2S23 |
|---|---|
| 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.00241#AUUO (statement). In VBRQTN2RXN/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Law of non-triviality GFWJJNG5NT
| URI | m2://inv/GFWJJNG5NT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trivialism#ZXZT, Law of non-triviality (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy–Rassias stability GFWRDC7SKB
| URI | m2://inv/GFWRDC7SKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#4T1O, Cauchy–Rassias stability (definition)
History
- 2026-11-02: add by m2/dev
GFWRQY9D59 GFWRQY9D59
| URI | m2://inv/GFWRQY9D59 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.13347#NBGK (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
GFWV0WDMWS GFWV0WDMWS
| URI | m2://inv/GFWV0WDMWS |
|---|---|
| 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.03062#2I35 (statement). In 5H7985A5SD/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
GFWXTQBJ7R GFWXTQBJ7R
| URI | m2://inv/GFWXTQBJ7R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#unifcont:thm (statement). In E59CDZA4DP, thm, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
Affine Hecke algebra GFWYJEJ1BA
| URI | m2://inv/GFWYJEJ1BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#63UC, Affine Hecke algebra (definition)
History
- 2026-11-02: add by m2/dev
Vieta's formulas GFX9ZE0KN1
| URI | m2://inv/GFX9ZE0KN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#BFD8, Vieta's formulas (statement)
History
- 2026-11-02: add by m2/dev
GFXAR3CQNX GFXAR3CQNX
| URI | m2://inv/GFXAR3CQNX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23682#ESDH (example)
History
- 2026-11-02: add by m2/v0.6.17
Obelus GFXCTS422D
| URI | m2://inv/GFXCTS422D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Obelus, Obelus (definition). Also Wikidata Q633466
History
- 2026-11-02: add by m2/dev
GFXFFNP32Z GFXFFNP32Z
| URI | m2://inv/GFXFFNP32Z |
|---|---|
| Kind | example |
| 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.24408#RJ0D (example)
History
- 2026-11-01: add by m2/v0.6.15
GFY17VZ9HY GFY17VZ9HY
| URI | m2://inv/GFY17VZ9HY |
|---|---|
| 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.33932#A5WS (statement). In YPVF3ET43M/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Quadrisecant GFY4EC141Z
| URI | m2://inv/GFY4EC141Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#GNUS, Quadrisecant (definition)
History
- 2026-11-02: add by m2/dev
Important: prime ideals divide rational primes GFY587Y9BV
| URI | m2://inv/GFY587Y9BV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#thm:prime_ideals_over_rational, Important: prime ideals divide rational primes (statement). In RZP28ERRZV, theorem, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem GFY6EHRHMN
| URI | m2://inv/GFY6EHRHMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohr compactification#44IN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Carotid-Kundalini function GFYGF872ST
| URI | m2://inv/GFYGF872ST |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19562854, Carotid-Kundalini function (concept). Also MathWorld Carotid-KundaliniFunction
- wikipedia: Wikipedia Carotid–Kundalini function, Carotid–Kundalini function (definition). Also Wikidata Q19562854
History
- 2026-10-26: add by m2/dev
Audrey Terras GFYK9SMSXR
| URI | m2://inv/GFYK9SMSXR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Audrey Terras, Audrey Terras (topic). Also Wikidata Q759022
History
- 2026-11-02: add by m2/dev
Easy GFYKFNM2G1
| URI | m2://inv/GFYKFNM2G1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-21, Easy (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
GFYTW6EMNZ GFYTW6EMNZ
| URI | m2://inv/GFYTW6EMNZ |
|---|---|
| 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.15402#I1AW (statement). In WSE8SEHVXG/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.2
GFYWHSC5X3 GFYWHSC5X3
| URI | m2://inv/GFYWHSC5X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#8IQF (statement)
History
- 2026-11-01: add by m2/v0.6.15
GFYYF68CA1 GFYYF68CA1
| URI | m2://inv/GFYYF68CA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30760#25DH (statement). In MMVNRRE7N0/e1, theorem 2.5
History
- 2026-10-31: add by m2/v0.5.6
GFYYHMW1QN GFYYHMW1QN
| URI | m2://inv/GFYYHMW1QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#W5VW (statement). In 7QXAZXGNPQ/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
Applications GFZ656GSJW
| URI | m2://inv/GFZ656GSJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranking#B1PN, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples GFZAZ3TSV0
| URI | m2://inv/GFZAZ3TSV0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ping-pong lemma#HVH6, Examples (example)
History
- 2026-11-02: add by m2/dev
GFZBPWQGF0 GFZBPWQGF0
| URI | m2://inv/GFZBPWQGF0 |
|---|---|
| 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.02295#BZPN (statement). In PEBD9ZMA1W/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
GFZCAY11YK GFZCAY11YK
| URI | m2://inv/GFZCAY11YK |
|---|---|
| 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.01199#BGQ3 (statement). In XZ4MRWR77Q/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
Exact lattice preservation forces flatness GFZGST86QF
| URI | m2://inv/GFZGST86QF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38668#SJ6Y, Exact lattice preservation forces flatness (statement). In VB1EZ9K6YW/e1, proposition D.2
History
- 2026-10-30: add by m2/v0.4.12
GFZHPJ6E4Z GFZHPJ6E4Z
| URI | m2://inv/GFZHPJ6E4Z |
|---|---|
| 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.14377#ZUX6 (statement). In WEZPNET90D/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
GFZQKAF3G7 GFZQKAF3G7
| URI | m2://inv/GFZQKAF3G7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-4-4-2.xml#act-4-4-2 (exercise). In 907G4C4EJ1, activity, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Winston-Salem GFZZ2NRNZM
| URI | m2://inv/GFZZ2NRNZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JNBF, Winston-Salem (unknown)
History
- 2026-11-02: add by m2/dev