Inventory rows GD
The cards of the rows of the inventory whose ids start with GD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
GD04EC5KM0 GD04EC5KM0
| URI | m2://inv/GD04EC5KM0 |
|---|---|
| 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.00786#OKQP (statement). In XKEE0DK6N3/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Academic Games GD07X7QZZW
| URI | m2://inv/GD07X7QZZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Academic Games, Academic Games (definition). Also Wikidata Q4671133
History
- 2026-11-02: add by m2/dev
GD089Z33RZ GD089Z33RZ
| URI | m2://inv/GD089Z33RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.17751#A5TE (statement). In J39X0NB31S/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
GD0BWA7YGQ GD0BWA7YGQ
| URI | m2://inv/GD0BWA7YGQ |
|---|---|
| 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.37093#TCCG (statement). In GA6QH32CJQ/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
GD0EW9XZQS GD0EW9XZQS
| URI | m2://inv/GD0EW9XZQS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#example-2 (example). In RZP28ERRZV, example, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
GD0FYH7EB3 GD0FYH7EB3
| URI | m2://inv/GD0FYH7EB3 |
|---|---|
| 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.19251#MJ2N (statement). In CSW6NG0FRN/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
GD0GJ1DAV1 GD0GJ1DAV1
| URI | m2://inv/GD0GJ1DAV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#YOSV (statement). In Q4HWFFK0R9/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem GD0WR3GMZE
| URI | m2://inv/GD0WR3GMZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential entropy#FC4B, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Routh–Hurwitz matrix GD18YJ3QQD
| URI | m2://inv/GD18YJ3QQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Routh–Hurwitz matrix, Routh–Hurwitz matrix (definition). Also Wikidata Q131293247
History
- 2026-11-02: add by m2/dev
GD1CH26FZ5 GD1CH26FZ5
| URI | m2://inv/GD1CH26FZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#RHSZ (statement). In V7SN19J84T/e1, lemma 7.19
History
- 2026-10-28: add by m2/v0.4.2
GD1F3VGZMQ GD1F3VGZMQ
| URI | m2://inv/GD1F3VGZMQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#proof-2 (proof). In RZP28ERRZV, proof, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
Cayley configuration space GD1FN1HD05
| URI | m2://inv/GD1FN1HD05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space, Cayley configuration space (definition). Also Wikidata Q111955055
History
- 2026-11-02: add by m2/dev
GD1J2ZNR96 GD1J2ZNR96
| URI | m2://inv/GD1J2ZNR96 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#MDQ5 (definition). In KM2FWKP93A/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.0
GD1N1H86EP GD1N1H86EP
| URI | m2://inv/GD1N1H86EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#Y278 (statement). In Q4R7J8JE3F/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.4.2
GD1NNRRD3M GD1NNRRD3M
| URI | m2://inv/GD1NNRRD3M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
GD1XJ0DFKY GD1XJ0DFKY
| URI | m2://inv/GD1XJ0DFKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#LP91 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parabolic conoid GD215PPCER
| URI | m2://inv/GD215PPCER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#IQQR, Parabolic conoid (definition)
History
- 2026-11-02: add by m2/dev
GD21Z1ZFMP GD21Z1ZFMP
| URI | m2://inv/GD21Z1ZFMP |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#4V66 (unknown). In R2XC1SC9NZ/e1, unknown 29
History
- 2026-10-27: add by m2/v0.3.5
diffeology GD28AZPP0G
| URI | m2://inv/GD28AZPP0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Diffeology 7JS0JFR89E |
Mentions
- wikidata: Wikidata Q5275263, diffeology (unknown). Also nLab diffeological space
- wikipedia: Wikipedia Diffeology, Diffeology (definition). Also Wikidata Q5275263
History
- 2026-10-26: add by m2/dev
Submersion theorem GD2B6CG0FC
| URI | m2://inv/GD2B6CG0FC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submersion (mathematics)#VCBX, Submersion theorem (statement)
History
- 2026-11-02: add by m2/dev
Diagonal coverage GD2MDJSS10
| URI | m2://inv/GD2MDJSS10 |
|---|---|
| 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.31336#NXQC, Diagonal coverage (statement). In 70RV7J456D/e1, corollary 19
History
- 2026-10-31: add by m2/v0.5.6
Gundy--Varopoulos representation on the upper half space GD2NR2YE99
| URI | m2://inv/GD2NR2YE99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39919#IV3V, Gundy--Varopoulos representation on the upper half space (statement). In D3NAXHM4DV/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Adaptive projection energy GD2TD623WM
| URI | m2://inv/GD2TD623WM |
|---|---|
| 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.03633#RC3U, Adaptive projection energy (statement). In X3E4D61X4V/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.12
∂ GD310ZMNCP
| URI | m2://inv/GD310ZMNCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#CMLG, ∂ (definition)
History
- 2026-11-02: add by m2/dev
Multiple-try Metropolis GD34DEA20A
| URI | m2://inv/GD34DEA20A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple-try Metropolis, Multiple-try Metropolis (definition). Also Wikidata Q17082646
History
- 2026-11-02: add by m2/dev
Variance change GD3BGEPJ4B
| URI | m2://inv/GD3BGEPJ4B |
|---|---|
| Kind | example |
| 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 2206.11471#EMJ6, Variance change (example). In 8387H919D5/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
GD3CZDA70S GD3CZDA70S
| URI | m2://inv/GD3CZDA70S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise:peano (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Macsyma GD3G3E4N9S
| URI | m2://inv/GD3G3E4N9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#0QQM, Macsyma (unknown)
History
- 2026-11-02: add by m2/dev
Howard Levi GD3HGB7TF9
| URI | m2://inv/GD3HGB7TF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard Levi, Howard Levi (topic). Also Wikidata Q17479342
History
- 2026-11-02: add by m2/dev
GD3KN3RSC9 GD3KN3RSC9
| URI | m2://inv/GD3KN3RSC9 |
|---|---|
| Kind | example |
| 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 1709.01658#4NN1 (example). In 90A5Q9HRQK/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
GD3PD7ZQ5N GD3PD7ZQ5N
| URI | m2://inv/GD3PD7ZQ5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#G7F6 (statement). In YG5EX49042/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Jack Kiefer GD3T3VV9BV
| URI | m2://inv/GD3T3VV9BV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#Y4O5, Jack Kiefer (unknown)
History
- 2026-11-02: add by m2/dev
Elementary properties GD3WR6NA9J
| URI | m2://inv/GD3WR6NA9J |
|---|---|
| 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 2510.05499#IN70, Elementary properties (statement). In WRMNCC8VBC/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.6
Distance lower bound GD471ZB507
| URI | m2://inv/GD471ZB507 |
|---|---|
| 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.12641#I17E, Distance lower bound (statement). In X5BYGZZHPF/e1, theorem H.10
History
- 2026-10-28: add by m2/v0.4.2
Minimum size and uniqueness at the profile level GD5685W9M2
| URI | m2://inv/GD5685W9M2 |
|---|---|
| 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#WZDR, Minimum size and uniqueness at the profile level (statement). In 5E9G06XJKC/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
GD5G25E7M3 GD5G25E7M3
| URI | m2://inv/GD5G25E7M3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#2LO7 (definition)
History
- 2026-11-02: add by m2/v0.6.18
GD5J0MYC89 GD5J0MYC89
| URI | m2://inv/GD5J0MYC89 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-3.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
GD5NR03PH3 GD5NR03PH3
| URI | m2://inv/GD5NR03PH3 |
|---|---|
| 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 2211.14214#EUPG (statement). In SY85Y9E45A/e1, fact 4
History
- 2026-10-27: add by m2/v0.3.5
Fubini–Tonelli theorem GD5SK8327A
| URI | m2://inv/GD5SK8327A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#GRBC, Fubini–Tonelli theorem (statement)
History
- 2026-11-02: add by m2/dev
Noncentral F-distribution GD623RTTT2
| URI | m2://inv/GD623RTTT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GWTW, Noncentral F-distribution (definition)
History
- 2026-11-02: add by m2/dev
Joseph Bernstein GD65MW8RJF
| URI | m2://inv/GD65MW8RJF |
|---|---|
| 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#3LMZ, Joseph Bernstein (topic)
History
- 2026-11-02: add by m2/dev
Complete stable characterization GD6AZHT6BV
| URI | m2://inv/GD6AZHT6BV |
|---|---|
| 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.10950#866W, Complete stable characterization (statement). In P392PEVRAY/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.3
GD6S87MVP5 GD6S87MVP5
| URI | m2://inv/GD6S87MVP5 |
|---|---|
| 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 2510.23812#4RYE (definition). In D8XZBXJPR5/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Sufficient conditions GD6VD0DFSN
| URI | m2://inv/GD6VD0DFSN |
|---|---|
| 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.12713#HJVS, Sufficient conditions (statement). In F14A5HX20Q/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Statement GD6XZDRQT0
| URI | m2://inv/GD6XZDRQT0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert projection theorem#9IDV, Statement (statement)
History
- 2026-11-02: add by m2/dev
First Szegő theorem GD717807AJ
| URI | m2://inv/GD717807AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szegő limit theorems#OBZ8, First Szegő theorem (statement)
History
- 2026-11-02: add by m2/dev
GD788AVVP3 GD788AVVP3
| URI | m2://inv/GD788AVVP3 |
|---|---|
| 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.09578#I00R (statement). In WT0ZB7R39B/e1, proposition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Charles Davenport GD7BY1JP8G
| URI | m2://inv/GD7BY1JP8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#7VA3, Charles Davenport (unknown)
History
- 2026-11-02: add by m2/dev
GD7FPYA2S1 GD7FPYA2S1
| URI | m2://inv/GD7FPYA2S1 |
|---|---|
| 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.33108#PBQN (statement). In 5JK5N2RRMS/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Cylinder GD7JWBC862
| URI | m2://inv/GD7JWBC862 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#4YXJ, Cylinder (definition)
History
- 2026-11-02: add by m2/dev
Afriat , Varian GD7WH8QTP7
| URI | m2://inv/GD7WH8QTP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20542#WEBN, Afriat , Varian (statement). In 8PZXZ8Y9FK/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.2
GD7WYDVP1F GD7WYDVP1F
| URI | m2://inv/GD7WYDVP1F |
|---|---|
| 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#BZ1H (statement). In 5E9G06XJKC/e1, lemma F.12
History
- 2026-10-28: add by m2/v0.4.2
Cyclical monotonicity GD83RJC43T
| URI | m2://inv/GD83RJC43T |
|---|---|
| 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.31363#VQCG, Cyclical monotonicity (definition). In XB8NYRD86J/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Confidence-ball action with estimated scale GD863XHME6
| URI | m2://inv/GD863XHME6 |
|---|---|
| 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.08069#X8BY, Confidence-ball action with estimated scale (statement). In TVW9BTWJ3D/e1, theorem 16
History
- 2026-10-29: add by m2/v0.4.10
GD86TT64GW GD86TT64GW
| URI | m2://inv/GD86TT64GW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#OZLZ (definition). In F1BM3Q8125/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Controversy over Cantor's theory GD88K4AD54
| URI | m2://inv/GD88K4AD54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controversy over Cantor's theory, Controversy over Cantor's theory (definition). Also Wikidata Q5166024
History
- 2026-11-02: add by m2/dev
Invariant subspace problem GD8ATTCPX0
| URI | m2://inv/GD8ATTCPX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6059532, Aronszajn–Smith theorem (statement). Also Wikidata Q6059532
- thousand_plus: thousand_plus Q6059532, Aronszajn–Smith theorem (statement). Also Wikidata Q6059532, Wikipedia Aronszajn–Smith theorem
- wikipedia: Wikipedia Invariant subspace problem, Invariant subspace problem (conjecture). Also Wikidata Q6059532
History
- 2026-10-26: add by m2/dev
Samuel Kotz GD8KF9P84B
| URI | m2://inv/GD8KF9P84B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TEUI, Samuel Kotz (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#876U, Samuel Kotz (topic)
History
- 2026-11-02: add by m2/dev
Continuous mapping theorem GD8Y9N0ZY1
| URI | m2://inv/GD8Y9N0ZY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic theory (statistics)#CV2V, Continuous mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
GD8YB5FSKB GD8YB5FSKB
| URI | m2://inv/GD8YB5FSKB |
|---|---|
| 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 1011.5443#84T3 (statement). In VQ0K2GV62A/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
GD93MP135F GD93MP135F
| URI | m2://inv/GD93MP135F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#thm:stalks_affine_var (statement). In RZP28ERRZV, theorem, section 25.3
History
- 2026-11-01: add by m2/v0.6.13
Testnet GD93R7D1PX
| URI | m2://inv/GD93R7D1PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#L4DE, Testnet (unknown)
History
- 2026-11-02: add by m2/dev
Research tradition GD976Z7RQS
| URI | m2://inv/GD976Z7RQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradigm#P58N, Research tradition (unknown)
History
- 2026-11-02: add by m2/dev
GD9FN7YRJ5 GD9FN7YRJ5
| URI | m2://inv/GD9FN7YRJ5 |
|---|---|
| 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.40274#XPRG (statement). In 7ZDNJC9MST/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Percolation GD9HK6HA77
| URI | m2://inv/GD9HK6HA77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percolation, Percolation (definition). Also Wikidata Q1367555
History
- 2026-11-02: add by m2/dev
OPI is harder than one-bit LLR GD9VBKTGEV
| URI | m2://inv/GD9VBKTGEV |
|---|---|
| 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.12357#M1D1, OPI is harder than one-bit LLR (statement). In 1F26AF81XP/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Applications GD9VKKCEY8
| URI | m2://inv/GD9VKKCEY8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocal distribution#4QWN, Applications (example)
History
- 2026-11-02: add by m2/dev
GD9Y91Z2EJ GD9Y91Z2EJ
| URI | m2://inv/GD9Y91Z2EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#JIEB (statement). In RAVR2W9S0B/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
$(\infty,1)$-topos GDA31FS5TX
| URI | m2://inv/GDA31FS5TX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/infty-1-topos, $(\infty,1)$-topos (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
K-graph C*-algebra GDABPA6GMQ
| URI | m2://inv/GDABPA6GMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-graph C*-algebra, K-graph C*-algebra (definition). Also Wikidata Q16155468
History
- 2026-11-02: add by m2/dev
Nicola Fergola GDABRA9BKM
| URI | m2://inv/GDABRA9BKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#8TIN, Nicola Fergola (topic)
- wikipedia: Wikipedia List of Italian mathematicians#Q5U2, Nicola Fergola (topic)
History
- 2026-11-02: add by m2/dev
Factorization lemma GDAF88WFFH
| URI | m2://inv/GDAF88WFFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#LT48, Factorization lemma (statement)
History
- 2026-11-02: add by m2/dev
Richard D. Gill GDAFPD8YEB
| URI | m2://inv/GDAFPD8YEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard D. Gill, Richard D. Gill (topic). Also Wikidata Q2175014
History
- 2026-11-02: add by m2/dev
Simultaneous group and character alignment GDAH7Y45S1
| URI | m2://inv/GDAH7Y45S1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#WLJ0, Simultaneous group and character alignment (statement)
History
- 2026-11-02: add by m2/v0.6.18
⟨⟩ GDAJ206JSQ
| URI | m2://inv/GDAJ206JSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#HWDF, ⟨⟩ (definition)
History
- 2026-11-02: add by m2/dev
Al-Mubashshir ibn Fatik GDAW5ES1ZQ
| URI | m2://inv/GDAW5ES1ZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Mubashshir ibn Fatik, Al-Mubashshir ibn Fatik (topic). Also Wikidata Q11904655
History
- 2026-11-02: add by m2/dev
Bettye Anne Case GDAXZF1CY8
| URI | m2://inv/GDAXZF1CY8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bettye Anne Case, Bettye Anne Case (topic). Also Wikidata Q48285713
History
- 2026-11-02: add by m2/dev
Liouville's theorem GDAZEZ9WET
| URI | m2://inv/GDAZEZ9WET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic function#ST26, Liouville's theorem (statement)
History
- 2026-11-02: add by m2/dev
GDAZSWRMSR GDAZSWRMSR
| URI | m2://inv/GDAZSWRMSR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#P0RE (definition). In RPC7VG3KHQ/e1, definition 3.15
History
- 2026-10-30: add by m2/v0.4.12
GDB1H12067 GDB1H12067
| URI | m2://inv/GDB1H12067 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#GOBC (definition). In 7D3HCN21MK/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Definition GDB59MF0HG
| URI | m2://inv/GDB59MF0HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviance (statistics)#QL5E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Monotone closure GDB9ST53GR
| URI | m2://inv/GDB9ST53GR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#E86P, Monotone closure (statement). In ZZER8ZBSCR/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.12
Remark GDBC6NXEWD
| URI | m2://inv/GDBC6NXEWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#0Z7J, Remark (unknown)
History
- 2026-11-02: add by m2/dev
GDBH7CFQ4M GDBH7CFQ4M
| URI | m2://inv/GDBH7CFQ4M |
|---|---|
| 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 2504.13328#H971 (statement). In 736Q32FYCG/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Heinrich Kleisli GDBHDH6ADG
| URI | m2://inv/GDBHDH6ADG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Kleisli, Heinrich Kleisli (topic). Also Wikidata Q14492165
History
- 2026-11-02: add by m2/dev
Caputo fractional derivative GDBQFPJMFT
| URI | m2://inv/GDBQFPJMFT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#9NBO, Caputo fractional derivative (definition)
History
- 2026-11-02: add by m2/v0.6.18
GDBSESAKVG GDBSESAKVG
| URI | m2://inv/GDBSESAKVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#B5PL (statement). In PQGGCD09KP/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
GDBVP1FP7H GDBVP1FP7H
| URI | m2://inv/GDBVP1FP7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#VKGQ (statement). In 9ZSNSJRJ5N/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
GDBWMWPJE0 GDBWMWPJE0
| URI | m2://inv/GDBWMWPJE0 |
|---|---|
| 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.15525#IUDM (statement). In EFDRME13PT/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
GDBZ2JSWKH GDBZ2JSWKH
| URI | m2://inv/GDBZ2JSWKH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#example:cantor (example). In E59CDZA4DP, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Abraham Ziv GDC0DKXNPG
| URI | m2://inv/GDC0DKXNPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Ziv, Abraham Ziv (topic). Also Wikidata Q18763791
History
- 2026-11-02: add by m2/dev
Examples GDC66VRFM4
| URI | m2://inv/GDC66VRFM4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisible group#DZJT, Examples (example)
History
- 2026-11-02: add by m2/dev
dg operad GDC7B2975R
| URI | m2://inv/GDC7B2975R |
|---|---|
| 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 2312.05005#IRP8, dg operad (definition). In SMJMAQ2S3J/e1, definition 10
History
- 2026-10-27: add by m2/v0.4.0
GDCBYPC5JT GDCBYPC5JT
| URI | m2://inv/GDCBYPC5JT |
|---|---|
| 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.05776#3P6K (statement). In AFSG70BF7S/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.10
homographic GDCC0GXBGQ
| URI | m2://inv/GDCC0GXBGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#XYGW, homographic (definition)
History
- 2026-11-02: add by m2/dev
Jose Principe GDCEGJBBT3
| URI | m2://inv/GDCEGJBBT3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#77IQ, Jose Principe (unknown)
History
- 2026-11-02: add by m2/dev
Combinatorial refinement invariance GDCG927T70
| URI | m2://inv/GDCG927T70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#BWID, Combinatorial refinement invariance (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dichotomy GDCHZVHGHS
| URI | m2://inv/GDCHZVHGHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dichotomy, Dichotomy (definition). Also Wikidata Q10361123
History
- 2026-11-02: add by m2/dev
GDCJSPX6C6 GDCJSPX6C6
| URI | m2://inv/GDCJSPX6C6 |
|---|---|
| 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 2212.11038#JF62 (statement). In M3E3ARMJXK/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Subspace rank GDCTW27Q7J
| URI | m2://inv/GDCTW27Q7J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#1I68, Subspace rank (definition)
History
- 2026-11-02: add by m2/v0.6.17
Pentahexagonal pyritoheptacontatetrahedron GDD0CYCB3S
| URI | m2://inv/GDD0CYCB3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentahexagonal pyritoheptacontatetrahedron, Pentahexagonal pyritoheptacontatetrahedron (definition). Also Wikidata Q85792761
History
- 2026-11-02: add by m2/dev
\textbf{Spectra of the truncated Gram matrices GDD3AXT0VR
| URI | m2://inv/GDD3AXT0VR |
|---|---|
| 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#IW8Z, \textbf{Spectra of the truncated Gram matrices (statement). In 7R33E8515R/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
GDD3JZ2ZSV GDD3JZ2ZSV
| URI | m2://inv/GDD3JZ2ZSV |
|---|---|
| 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.11031#RD88 (statement). In 9DMJXFRQN9/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.3
Statement GDD7T87R9W
| URI | m2://inv/GDD7T87R9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominated convergence theorem#J13H, Statement (statement)
History
- 2026-11-02: add by m2/dev
Mulla Jaunpuri GDD9GT0VFV
| URI | m2://inv/GDD9GT0VFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#5PK8, Mulla Jaunpuri (unknown)
History
- 2026-11-02: add by m2/dev
spacelike four-vector GDDA1H796R
| URI | m2://inv/GDDA1H796R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122208658, spacelike four-vector (unknown). Also MathWorld Spacelike
History
- 2026-10-26: add by m2/dev
George Brown GDDDZC6XHM
| URI | m2://inv/GDDDZC6XHM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Brown (inventor), George Brown (topic). Also Wikidata Q5537318
History
- 2026-11-02: add by m2/dev
Steven Tainer GDDF8GAC25
| URI | m2://inv/GDDF8GAC25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven Tainer, Steven Tainer (topic). Also Wikidata Q7615314
History
- 2026-11-02: add by m2/dev
Rounding in an unrestricted PSD quadratic loss is strongly NP-complete GDDJG8R1WJ
| URI | m2://inv/GDDJG8R1WJ |
|---|---|
| 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.31641#IUH3, Rounding in an unrestricted PSD quadratic loss is strongly NP-complete (statement). In XC2HE3KXPM/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
Standard alphabet GDDR83YHW6
| URI | m2://inv/GDDR83YHW6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#WTSP, Standard alphabet (definition). In WD2NCBV9F0/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Shmuel Agmon GDDWZES21R
| URI | m2://inv/GDDWZES21R |
|---|---|
| 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#2P8A, Shmuel Agmon (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4OI3, Shmuel Agmon (topic)
History
- 2026-11-02: add by m2/dev
GDE0539B7Y GDE0539B7Y
| URI | m2://inv/GDE0539B7Y |
|---|---|
| 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 2311.01874#FKWP (statement). In A4TR95VGX2/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.5
radius GDE30YQHBZ
| URI | m2://inv/GDE30YQHBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#LGXG, radius (definition)
History
- 2026-11-02: add by m2/dev
Curvilinear angle GDE816QRQG
| URI | m2://inv/GDE816QRQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle#WCN3, Curvilinear angle (unknown)
History
- 2026-11-02: add by m2/dev
Smallest maximizer criterion (SMC) GDE9S4AYF6
| URI | m2://inv/GDE9S4AYF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic chains with memory of variable length#7NI1, Smallest maximizer criterion (SMC) (statement)
History
- 2026-11-02: add by m2/dev
Stage invariants GDEETFB74Z
| URI | m2://inv/GDEETFB74Z |
|---|---|
| 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.05038#SJR9, Stage invariants (statement). In CR237YRBJW/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Giuseppe Longo GDEFJ0WNZN
| URI | m2://inv/GDEFJ0WNZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Longo, Giuseppe Longo (topic). Also Wikidata Q3108069
History
- 2026-11-02: add by m2/dev
GDEWVZ3R5W GDEWVZ3R5W
| URI | m2://inv/GDEWVZ3R5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#8ZC7 (statement). In YCRZC9SDCE/e1, lemma 10.1
History
- 2026-10-28: add by m2/v0.4.2
Bellman violation and critic comparison GDF6J14GYK
| URI | m2://inv/GDF6J14GYK |
|---|---|
| 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.39837#OGIY, Bellman violation and critic comparison (statement). In MDQXTBEK0F/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Initial Sequent GDF7RZ4GH2
| URI | m2://inv/GDF7RZ4GH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-2, Initial Sequent (definition). In PKGMM3P5QY, defn, section 40.6
History
- 2026-11-01: add by m2/v0.6.13
GDF7YNVCKH GDF7YNVCKH
| URI | m2://inv/GDF7YNVCKH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#Q2JJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Peter D. T. A. Elliott GDFHYD9A4N
| URI | m2://inv/GDFHYD9A4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#25AU, Peter D. T. A. Elliott (topic)
History
- 2026-11-02: add by m2/dev
GDFJ204AAR GDFJ204AAR
| URI | m2://inv/GDFJ204AAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38212#BBC0 (statement). In 5821K2RD8J/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
GDFP63MH93 GDFP63MH93
| URI | m2://inv/GDFP63MH93 |
|---|---|
| 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.05168#HO2D (statement). In 2PW0WEPJBH/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Akra–Bazzi method GDFVSGM1M3
| URI | m2://inv/GDFVSGM1M3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q420714, Akra–Bazzi theorem (statement). Also Mathlib AkraBazziRecurrence.isBigO_asympBound, Wikidata Q420714
- thousand_plus: thousand_plus Q420714, Akra–Bazzi theorem (statement). Also Mathlib AkraBazziRecurrence.isBigO_asympBound, Wikidata Q420714, Wikipedia Akra–Bazzi theorem
- wikipedia: Wikipedia Akra–Bazzi method, Akra–Bazzi method (definition). Also Wikidata Q420714
History
- 2026-10-26: add by m2/dev
GDFW7XCG4X GDFW7XCG4X
| URI | m2://inv/GDFW7XCG4X |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#P4YZ (problem). In MG51GG0QZN/e1, problem 5.9
History
- 2026-10-27: add by m2/v0.3.5
GDFZ3A41X1 GDFZ3A41X1
| URI | m2://inv/GDFZ3A41X1 |
|---|---|
| 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#CX9U (statement). In A3KXZ2GBHN/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Isometry group GDG4F7N8JG
| URI | m2://inv/GDG4F7N8JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#CDN6, Isometry group (definition)
History
- 2026-11-02: add by m2/dev
GDG5JPFBNX GDG5JPFBNX
| URI | m2://inv/GDG5JPFBNX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#8CTD (definition). In 6DJR9DKY5W/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
GDGFY61SPQ GDGFY61SPQ
| URI | m2://inv/GDGFY61SPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#T0ZO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rosella Kanarik GDGGQTRJXT
| URI | m2://inv/GDGGQTRJXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosella Kanarik, Rosella Kanarik (topic). Also Wikidata Q102198456
History
- 2026-11-02: add by m2/dev
sequence GDGH4QTX9X
| URI | m2://inv/GDGH4QTX9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0KIS, sequence (definition)
History
- 2026-11-02: add by m2/dev
GDGHXX33TA GDGHXX33TA
| URI | m2://inv/GDGHXX33TA |
|---|---|
| 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.13847#NMCT (statement). In S4FHV821A2/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
GDGP7ZM1X9 GDGP7ZM1X9
| URI | m2://inv/GDGP7ZM1X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#PWBN (statement). In DPJ15KW23C/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
GDGT7X60X5 GDGT7X60X5
| URI | m2://inv/GDGT7X60X5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04628#307J (statement). In MREZZ9NCY8/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
GDGXR61AZJ GDGXR61AZJ
| URI | m2://inv/GDGXR61AZJ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#UCIV (conjecture). In MS7M2BJS9X/e1, conjecture 5.4
History
- 2026-10-29: add by m2/v0.4.10
Power law solutions GDGYJ660HS
| URI | m2://inv/GDGYJ660HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of the wall#REKV, Power law solutions (statement)
History
- 2026-11-02: add by m2/dev
Notation GDH0HFJ393
| URI | m2://inv/GDH0HFJ393 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancient Egyptian mathematics#G3TJ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Steve Decent GDH0TGQEN2
| URI | m2://inv/GDH0TGQEN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve Decent, Steve Decent (topic). Also Wikidata Q133701990
History
- 2026-11-02: add by m2/dev
GDHDCQQNJA GDHDCQQNJA
| URI | m2://inv/GDHDCQQNJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20568#9HJW (statement). In BCD0ATARNZ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
GDHDWFV6JR GDHDWFV6JR
| URI | m2://inv/GDHDWFV6JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#41F4 (statement). In DB223AABTH/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
Definition and properties GDHMFQAR5G
| URI | m2://inv/GDHMFQAR5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrant count ratio#S2MW, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
GDHS0PHXAC GDHS0PHXAC
| URI | m2://inv/GDHS0PHXAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:interval-funext (statement). In N54F33XE07, lem, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
GDHZETGMWC GDHZETGMWC
| URI | m2://inv/GDHZETGMWC |
|---|---|
| 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.21034#FPXL (definition)
History
- 2026-11-02: add by m2/v0.6.18
Exploratory factor analysis GDJ2MY0BQA
| URI | m2://inv/GDJ2MY0BQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exploratory factor analysis, Exploratory factor analysis (definition). Also Wikidata Q5421350
History
- 2026-11-02: add by m2/dev
GDJ36PEA6P GDJ36PEA6P
| URI | m2://inv/GDJ36PEA6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#thm-1 (statement). In E59CDZA4DP, thm, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
GDJ3NKJHP9 GDJ3NKJHP9
| URI | m2://inv/GDJ3NKJHP9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#M4U4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
GDJ5WTNZYE GDJ5WTNZYE
| URI | m2://inv/GDJ5WTNZYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30323#UKGP (definition). In HDJ6N25XVT/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Kazimierz Twardowski GDJ9WVWSF0
| URI | m2://inv/GDJ9WVWSF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazimierz Twardowski, Kazimierz Twardowski (topic). Also Wikidata Q381994
History
- 2026-11-02: add by m2/dev
GDJFG7YFPX GDJFG7YFPX
| URI | m2://inv/GDJFG7YFPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18536#SM4P (statement). In JM5KKNKK1J/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
West Wales and the Valleys GDJG76H6JV
| URI | m2://inv/GDJG76H6JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia West Wales and the Valleys, West Wales and the Valleys (definition). Also Wikidata Q124328630
History
- 2026-11-02: add by m2/dev
Well-posedness GDJV53EW9V
| URI | m2://inv/GDJV53EW9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34831#Z5QF, Well-posedness (statement). In YF36GM7X5Y/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Camille Jordan GDJWAVQQA8
| URI | m2://inv/GDJWAVQQA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#UKBD, Camille Jordan (topic)
History
- 2026-11-02: add by m2/dev
Bounded rationality GDK61WSKE5
| URI | m2://inv/GDK61WSKE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded rationality, Bounded rationality (definition). Also Wikidata Q814385
History
- 2026-11-02: add by m2/dev
Theorem GDK6WANJWC
| URI | m2://inv/GDK6WANJWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#UOHU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
cohomology GDK77GXEX2
| URI | m2://inv/GDK77GXEX2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/cohomology, cohomology (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Terminology GDKC61J84X
| URI | m2://inv/GDKC61J84X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal on a set#CQP0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Applications GDKDW2FWH6
| URI | m2://inv/GDKDW2FWH6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex logarithm#AV6X, Applications (example)
History
- 2026-11-02: add by m2/dev
Joseph Jean Baptiste Neuberg GDKXQJGYJ9
| URI | m2://inv/GDKXQJGYJ9 |
|---|---|
| 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 Q1351886, Joseph Jean Baptiste Neuberg (unknown). Also ProofWiki Mathematician:Joseph_Jean_Baptiste_Neuberg
- wikipedia: Wikipedia Joseph Jean Baptiste Neuberg, Joseph Jean Baptiste Neuberg (topic). Also Wikidata Q1351886
History
- 2026-10-26: add by m2/dev
Uniform continuity GDME1MXY52
| URI | m2://inv/GDME1MXY52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#8RDI, Uniform continuity (definition)
- wikipedia: Wikipedia List of general topology topics#61WY, Uniform continuity (definition)
History
- 2026-11-02: add by m2/dev
Order at the Nishimori temperature GDMNB70MVC
| URI | m2://inv/GDMNB70MVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#N5YV, Order at the Nishimori temperature (statement). In P3RTT99C41/e1, theorem 9.9
History
- 2026-10-30: add by m2/v0.4.12
GDMNT4X3E1 GDMNT4X3E1
| URI | m2://inv/GDMNT4X3E1 |
|---|---|
| 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.32478#VKRB (statement). In 5QBSYDC2XH/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
GDMXZKKRX0 GDMXZKKRX0
| URI | m2://inv/GDMXZKKRX0 |
|---|---|
| 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 2609.30444#VPER (statement). In RZWJ0AT8W5/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
GDN0813P0T GDN0813P0T
| URI | m2://inv/GDN0813P0T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-23 (exercise). In E9HS8K3A52, exercise, section 6.9.1
History
- 2026-11-01: add by m2/v0.6.13
Sturges's formula GDN16KHMBT
| URI | m2://inv/GDN16KHMBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Histogram#RAFX, Sturges's formula (statement)
History
- 2026-11-02: add by m2/dev
GDN1888J28 GDN1888J28
| URI | m2://inv/GDN1888J28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.18094#42HP (statement). In AYANBEWSFH/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
GDN54SBB4R GDN54SBB4R
| URI | m2://inv/GDN54SBB4R |
|---|---|
| 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 2301.02848#JP99 (statement). In G6WQDW52TJ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
GDN69JP79Q GDN69JP79Q
| URI | m2://inv/GDN69JP79Q |
|---|---|
| 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.01669#P74T (statement). In 41AVNP6DJ9/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.12
Method of Four Russians GDN7T7RAFB
| URI | m2://inv/GDN7T7RAFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of Four Russians, Method of Four Russians (definition). Also Wikidata Q6823700
History
- 2026-11-02: add by m2/dev
Definitions GDNBD3XXEB
| URI | m2://inv/GDNBD3XXEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limited principle of omniscience#ZZFQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Optima (journal) GDND36RE55
| URI | m2://inv/GDND36RE55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Optimization Society#XAOP, Optima (journal) (unknown)
History
- 2026-11-02: add by m2/dev
Early ICC definition: unbiased but complex formula GDNR99F1HJ
| URI | m2://inv/GDNR99F1HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intraclass correlation#5SGC, Early ICC definition: unbiased but complex formula (definition)
History
- 2026-11-02: add by m2/dev
Two-envelope paradox GDNYM4QACB
| URI | m2://inv/GDNYM4QACB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#EAR1, Two-envelope paradox (problem)
History
- 2026-11-02: add by m2/dev
Thurston GDP4JWRE9F
| URI | m2://inv/GDP4JWRE9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#U4VW, Thurston (statement). In VNE8N0D2FB/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Generalizations GDPBA4VB4R
| URI | m2://inv/GDPBA4VB4R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Somos' quadratic recurrence constant#3TB9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
GDPCH1NF3N GDPCH1NF3N
| URI | m2://inv/GDPCH1NF3N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#9GWF (definition). In HVGT9D84WV/e1, definition 1.32
History
- 2026-10-27: add by m2/v0.3.5
GDPCHA6QWG GDPCHA6QWG
| URI | m2://inv/GDPCHA6QWG |
|---|---|
| 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 2411.16655#216W (statement). In EJHAXRV685/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
GDPFHA7990 GDPFHA7990
| URI | m2://inv/GDPFHA7990 |
|---|---|
| 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 2610.01737#WAW8 (definition). In M4JGP708F4/e1, definition 2.21
History
- 2026-10-29: add by m2/v0.4.12
Interaction between the inserted points GDPJ181DZV
| URI | m2://inv/GDPJ181DZV |
|---|---|
| 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.06372#BKSS, Interaction between the inserted points (statement). In G3E1P350Z6/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
The history ultrametric GDPVH7WGQ8
| URI | m2://inv/GDPVH7WGQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#WBXQ, The history ultrametric (statement). In PV4Z2FRXRZ/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
binary operator GDQ3SNSHR3
| URI | m2://inv/GDQ3SNSHR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30242895, binary operator (unknown). Also MathWorld BinaryOperator
History
- 2026-10-26: add by m2/dev
Denjoy–Young–Saks theorem GDQ5NXSW9N
| URI | m2://inv/GDQ5NXSW9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5257890, Denjoy–Young–Saks theorem (statement). Also MathWorld Denjoy-Saks-YoungTheorem
- wikipedia: Wikipedia Denjoy–Young–Saks theorem, Denjoy–Young–Saks theorem (statement). Also Wikidata Q5257890
History
- 2026-10-26: add by m2/dev
simplex category GDQ62MX1AN
| URI | m2://inv/GDQ62MX1AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#NQUS, simplex category (definition)
History
- 2026-11-02: add by m2/dev
Sperner's theorem GDQKW70618
| URI | m2://inv/GDQKW70618 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QSL4, Sperner's theorem (statement)
History
- 2026-11-02: add by m2/dev
GDQNX5YMSA GDQNX5YMSA
| URI | m2://inv/GDQNX5YMSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
Ergosphere GDQPTGPF9T
| URI | m2://inv/GDQPTGPF9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergosphere, Ergosphere (definition). Also Wikidata Q656650
History
- 2026-11-02: add by m2/dev
Applications GDQR605EDD
| URI | m2://inv/GDQR605EDD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law for gravity#YTZ3, Applications (example)
History
- 2026-11-02: add by m2/dev
Center for Ignatian Spirituality GDQSJTTNBB
| URI | m2://inv/GDQSJTTNBB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#2I8F, Center for Ignatian Spirituality (unknown)
History
- 2026-11-02: add by m2/dev
GDR2MTJAST GDR2MTJAST
| URI | m2://inv/GDR2MTJAST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#1CXK (statement). In 9TR5E527P5/e1, theorem 1.17
History
- 2026-10-29: add by m2/v0.4.10
J. P. Eckert GDRAWHR6WX
| URI | m2://inv/GDRAWHR6WX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#Z2TU, J. P. Eckert (unknown)
History
- 2026-11-02: add by m2/dev
Bayes factor GDRB5ER6CF
| URI | m2://inv/GDRB5ER6CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0OHD, Bayes factor (definition)
History
- 2026-11-02: add by m2/dev
Adams resolution GDRGQ4BWWK
| URI | m2://inv/GDRGQ4BWWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adams resolution, Adams resolution (definition). Also Wikidata Q105063196
History
- 2026-11-02: add by m2/dev
Extractor GDRGYBM9B1
| URI | m2://inv/GDRGYBM9B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#R6Z4, Extractor (definition)
History
- 2026-11-02: add by m2/dev
GDRSJCR0WD GDRSJCR0WD
| URI | m2://inv/GDRSJCR0WD |
|---|---|
| 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.07114#6Z2B (statement). In HP3TM356J6/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
General principles GDRXEWS8P4
| URI | m2://inv/GDRXEWS8P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eddy covariance#FLYV, General principles (statement)
History
- 2026-11-02: add by m2/dev
Fenchel conjugate of the modular GDS3QAD6CB
| URI | m2://inv/GDS3QAD6CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#BTEZ, Fenchel conjugate of the modular (statement)
History
- 2026-11-01: add by m2/v0.6.15
GDS636QXKT GDS636QXKT
| URI | m2://inv/GDS636QXKT |
|---|---|
| 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.06438#INNG (statement). In Z633BH3HER/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
An example GDS9PMQFWY
| URI | m2://inv/GDS9PMQFWY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter group#7BU9, An example (example)
History
- 2026-11-02: add by m2/dev
Definition GDSBAZRNQC
| URI | m2://inv/GDSBAZRNQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totally positive matrix#2JD2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Boolean-valued model GDSG5S4F0N
| URI | m2://inv/GDSG5S4F0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean-valued model, Boolean-valued model (definition). Also Wikidata Q4943349
History
- 2026-11-02: add by m2/dev
Levenberg–Marquardt algorithm GDSHTAJ86P
| URI | m2://inv/GDSHTAJ86P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levenberg–Marquardt algorithm, Levenberg–Marquardt algorithm (definition). Also Wikidata Q1426494
History
- 2026-11-02: add by m2/dev
Jaroslaw Wlodarczyk GDSPY7ECT8
| URI | m2://inv/GDSPY7ECT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K7R9, Jaroslaw Wlodarczyk (unknown)
History
- 2026-11-02: add by m2/dev
Second Coast GDSXFBEAEQ
| URI | m2://inv/GDSXFBEAEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#54SH, Second Coast (unknown)
History
- 2026-11-02: add by m2/dev
Example GDT24KK2B1
| URI | m2://inv/GDT24KK2B1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomson problem#DH9X, Example (example)
History
- 2026-11-02: add by m2/dev
Cayley–Salmon theorem GDT4J6JE4K
| URI | m2://inv/GDT4J6JE4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#J1OW, Cayley–Salmon theorem (definition)
History
- 2026-11-02: add by m2/dev
MacCullagh ellipsoid GDT59G28VK
| URI | m2://inv/GDT59G28VK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacCullagh ellipsoid, MacCullagh ellipsoid (definition). Also Wikidata Q60754214
History
- 2026-11-02: add by m2/dev
Gauss Lectureship GDT7VRJ6FY
| URI | m2://inv/GDT7VRJ6FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss Lectureship, Gauss Lectureship (definition). Also Wikidata Q1496353
History
- 2026-11-02: add by m2/dev
Exact similarity and identity GDT931X660
| URI | m2://inv/GDT931X660 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity (philosophy)#ZCG5, Exact similarity and identity (statement)
History
- 2026-11-02: add by m2/dev
GDTKN6JDSM GDTKN6JDSM
| URI | m2://inv/GDTKN6JDSM |
|---|---|
| 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.30480#3V14 (statement). In VP7MPRKH0M/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Maxwell stress tensor GDTPA9C6H9
| URI | m2://inv/GDTPA9C6H9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell stress tensor, Maxwell stress tensor (definition). Also Wikidata Q1186329
History
- 2026-11-02: add by m2/dev
Adelstein, Abraham Manie GDTQJFANRR
| URI | m2://inv/GDTQJFANRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YA40, Adelstein, Abraham Manie (topic)
History
- 2026-11-02: add by m2/dev
Eleny-Nicole Ionel GDTR9P488X
| URI | m2://inv/GDTR9P488X |
|---|---|
| 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#PM7N, Eleny-Nicole Ionel (topic)
History
- 2026-11-02: add by m2/dev
GDTSP5SGBS GDTSP5SGBS
| URI | m2://inv/GDTSP5SGBS |
|---|---|
| Kind | problem |
| 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.11974#0E4G (problem). In AW6S4XZ9ZZ/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.3
GDTSPR56AV GDTSPR56AV
| URI | m2://inv/GDTSPR56AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#1WMR (statement). In A4VP56CT7B/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
GDTTYC6HSA GDTTYC6HSA
| URI | m2://inv/GDTTYC6HSA |
|---|---|
| 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.04330#I9DD (statement). In 17H0HEM54D/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Claim 1 GDTVBNQ6HZ
| URI | m2://inv/GDTVBNQ6HZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that pi is irrational#IJB6, Claim 1 (statement)
History
- 2026-11-02: add by m2/dev
Marianna Bosch GDTYTPHTJJ
| URI | m2://inv/GDTYTPHTJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZD9K, Marianna Bosch (unknown)
History
- 2026-11-02: add by m2/dev
Mike Hill GDV6D7Q3KV
| URI | m2://inv/GDV6D7Q3KV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mike Hill (mathematician), Mike Hill (topic). Also Wikidata Q17488954
History
- 2026-11-02: add by m2/dev
GDV73T1N9B GDV73T1N9B
| URI | m2://inv/GDV73T1N9B |
|---|---|
| Kind | example |
| 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.18620#5O0V (example). In 6WJ0R9YEBR/e1, example B
History
- 2026-10-28: add by m2/v0.4.2
Asymptotic normality of realized coverage GDVAH49AZF
| URI | m2://inv/GDVAH49AZF |
|---|---|
| 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.33868#JA8R, Asymptotic normality of realized coverage (statement). In 7TQ3XH3X79/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
GDVFQT4TKT GDVFQT4TKT
| URI | m2://inv/GDVFQT4TKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#HPC4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Independence numbers GDVR41KRT6
| URI | m2://inv/GDVR41KRT6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#3Y51, Independence numbers (definition). In CA4C9PFM1E/e1, definition 2.2.3
History
- 2026-10-30: add by m2/v0.4.12
GDWBM5MWQC GDWBM5MWQC
| URI | m2://inv/GDWBM5MWQC |
|---|---|
| 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.21649#BU9F (statement)
History
- 2026-11-02: add by m2/v0.6.18
GDWG9NF4GZ GDWG9NF4GZ
| URI | m2://inv/GDWG9NF4GZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szymanski's conjecture#HFQU (problem)
History
- 2026-11-02: add by m2/dev
Linguistic demography GDWPS9B8BK
| URI | m2://inv/GDWPS9B8BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linguistic demography, Linguistic demography (definition). Also Wikidata Q3044418
History
- 2026-11-02: add by m2/dev
reciprocals of the first n primes GDWVMZW8MC
| URI | m2://inv/GDWVMZW8MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#IQPC, reciprocals of the first n primes (definition)
History
- 2026-11-02: add by m2/dev
injection GDXDRKM6NC
| URI | m2://inv/GDXDRKM6NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LYB3, injection (definition)
History
- 2026-11-02: add by m2/dev
GDXXMNDCJH GDXXMNDCJH
| URI | m2://inv/GDXXMNDCJH |
|---|---|
| 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#18N0 (definition). In 9H45HQE7AZ/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
GDY38TPXD4 GDY38TPXD4
| URI | m2://inv/GDY38TPXD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.11596#Y7CM (statement). In 76850E2X7T/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.3
Remark GDY8EFT805
| URI | m2://inv/GDY8EFT805 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#TLJJ, Remark (unknown)
History
- 2026-11-02: add by m2/dev
$m$-lazy second-order algorithm GDYDCHF44N
| URI | m2://inv/GDYDCHF44N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03222#VJLO, $m$-lazy second-order algorithm (definition). In BB0JGNK4YF/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Gary Seitz GDYDCRHKKV
| URI | m2://inv/GDYDCRHKKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KMVJ, Gary Seitz (topic)
History
- 2026-11-02: add by m2/dev
Modification of Normality Lemma GDYEJ7BB4J
| URI | m2://inv/GDYEJ7BB4J |
|---|---|
| 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.02579#454M, Modification of Normality Lemma (statement). In CBTJDYHH34/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
GDYG7AAS5P GDYG7AAS5P
| URI | m2://inv/GDYG7AAS5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#GRY4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Shift his tides GDYHGDGTZW
| URI | m2://inv/GDYHGDGTZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tide#28G5, Shift his tides (unknown)
History
- 2026-11-02: add by m2/dev
GDYJZY2QPY GDYJZY2QPY
| URI | m2://inv/GDYJZY2QPY |
|---|---|
| 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 2607.00323#YYFO (statement). In BPRFEQY7W4/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.6
GDYQ0W6QMP GDYQ0W6QMP
| URI | m2://inv/GDYQ0W6QMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05018#4260 (statement). In QFZSPBES9B/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.12
GDYT8YHPS1 GDYT8YHPS1
| URI | m2://inv/GDYT8YHPS1 |
|---|---|
| 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.32936#BIZC (statement). In QDBYK125AB/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Properties GDYY21H732
| URI | m2://inv/GDYY21H732 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized mean#NBLE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kennedy Polamalu GDZ08Y9257
| URI | m2://inv/GDZ08Y9257 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#HE4D, Kennedy Polamalu (unknown)
History
- 2026-11-02: add by m2/dev
Branch and cut GDZ43BTZWH
| URI | m2://inv/GDZ43BTZWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branch and cut, Branch and cut (definition). Also Wikidata Q498566
History
- 2026-11-02: add by m2/dev
transfinite GDZ5KCQKNE
| URI | m2://inv/GDZ5KCQKNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#JRVO, transfinite (definition)
History
- 2026-11-02: add by m2/dev
Padé table GDZ715CRCX
| URI | m2://inv/GDZ715CRCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padé table, Padé table (definition). Also Wikidata Q7124033
History
- 2026-11-02: add by m2/dev
Media Key Block GDZA6WES36
| URI | m2://inv/GDZA6WES36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Media Key Block, Media Key Block (definition). Also Wikidata Q3303961
History
- 2026-11-02: add by m2/dev
Second covariant derivative GDZAH9ZPG7
| URI | m2://inv/GDZAH9ZPG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second covariant derivative, Second covariant derivative (definition). Also Wikidata Q24068879
History
- 2026-11-02: add by m2/dev
One-sided exterior theorem GDZFCCQYXR
| URI | m2://inv/GDZFCCQYXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#WV31, One-sided exterior theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
Strict crossing alone does not identify the mean GDZHWJAAQA
| URI | m2://inv/GDZHWJAAQA |
|---|---|
| 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.33472#YYWN, Strict crossing alone does not identify the mean (statement). In WBQQBZ4FCJ/e1, theorem F.1
History
- 2026-10-30: add by m2/v0.4.12
Terminating hypergeometric coefficients for Laguerre of the first kind GDZQK2AH38
| URI | m2://inv/GDZQK2AH38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#5S6O, Terminating hypergeometric coefficients for Laguerre of the first kind (statement)
History
- 2026-11-02: add by m2/v0.6.17
GDZVDJFPGQ GDZVDJFPGQ
| URI | m2://inv/GDZVDJFPGQ |
|---|---|
| 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.33852#DPJK (statement). In 1WPPDSF0EJ/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Per-level bound; \appproof{pf:levelbound GDZZGQ98TD
| URI | m2://inv/GDZZGQ98TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#QYTE, Per-level bound; \appproof{pf:levelbound (statement). In Y7NC12TBNP/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12