Inventory rows G8
The cards of the rows of the inventory whose ids start with G8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
G8015TNKGK G8015TNKGK
| URI | m2://inv/G8015TNKGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 1912.02769#HS1U (definition). In JH7VQ2EC16/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Forward Regularity for HRDE G802THE5ZF
| URI | m2://inv/G802THE5ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#GGSH, Forward Regularity for HRDE (statement). In D0F1GK5AHW/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
John Smith G807EWNVHF
| URI | m2://inv/G807EWNVHF |
|---|---|
| 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#SC2B, John Smith (unknown)
History
- 2026-11-02: add by m2/dev
Friedberg–Muchnik theorem below C G807Z7RWZY
| URI | m2://inv/G807Z7RWZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg–Muchnik theorem#GTMG, Friedberg–Muchnik theorem below C (statement)
History
- 2026-11-02: add by m2/dev
perfect powers G80DDVQ3CB
| URI | m2://inv/G80DDVQ3CB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#B3EF, perfect powers (definition)
History
- 2026-11-02: add by m2/dev
Extensions G80GV2DADG
| URI | m2://inv/G80GV2DADG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphic number#PY90, Extensions (statement)
History
- 2026-11-02: add by m2/dev
G80GVF7JNP G80GVF7JNP
| URI | m2://inv/G80GVF7JNP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid number#D2EK (problem)
History
- 2026-11-02: add by m2/dev
Construction G80K347K2N
| URI | m2://inv/G80K347K2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3 21 polytope#B71Y, Construction (definition)
History
- 2026-11-02: add by m2/dev
G80S1PT31C G80S1PT31C
| URI | m2://inv/G80S1PT31C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#GT6A (statement). In GMRT5GHBZS/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.10
Spurious correlation of ratios G80SK1EAZH
| URI | m2://inv/G80SK1EAZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spurious correlation of ratios, Spurious correlation of ratios (definition). Also Wikidata Q17147725
History
- 2026-11-02: add by m2/dev
G80WX4DAXX G80WX4DAXX
| URI | m2://inv/G80WX4DAXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24212#HOYX (statement)
History
- 2026-11-01: add by m2/v0.6.15
G80Y4H5C18 G80Y4H5C18
| URI | m2://inv/G80Y4H5C18 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-11 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Cipher notation G80Z2YXMG6
| URI | m2://inv/G80Z2YXMG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Musical notation#UT1J, Cipher notation (unknown)
History
- 2026-11-02: add by m2/dev
G814MSJ2FA G814MSJ2FA
| URI | m2://inv/G814MSJ2FA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#HFKH (example). In VP29RN7ZMA/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Bol loop G815CAT5BY
| URI | m2://inv/G815CAT5BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4938867, Bol loop (unknown). Also MathWorld BolLoop, nLab Bol loop
- wikipedia: Wikipedia Bol loop, Bol loop (definition). Also Wikidata Q4938867
History
- 2026-10-26: add by m2/dev
G8186D1YR3 G8186D1YR3
| URI | m2://inv/G8186D1YR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36456#TXO1 (statement). In E3MBNAPCQG/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
anger G81BENFWSC
| URI | m2://inv/G81BENFWSC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.2/anger, anger (concept). In N54F33XE07, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
List of things named after Alfred Tarski G81D7S8J2V
| URI | m2://inv/G81D7S8J2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#41XZ, List of things named after Alfred Tarski (topic)
History
- 2026-11-02: add by m2/dev
cf.\ G81NC3JNYE
| URI | m2://inv/G81NC3JNYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#RH9M, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shafarevich, Igor Rostislavovich G81P3STY53
| URI | m2://inv/G81P3STY53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#OHIJ, Shafarevich, Igor Rostislavovich (topic)
History
- 2026-11-02: add by m2/dev
Streebog G81Q59194R
| URI | m2://inv/G81Q59194R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Streebog, Streebog (definition). Also Wikidata Q16635204
History
- 2026-11-02: add by m2/dev
G81RZ52960 G81RZ52960
| URI | m2://inv/G81RZ52960 |
|---|---|
| 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.09078#FQEO (statement). In B4GK8NEZM9/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
G822DTSJHN G822DTSJHN
| URI | m2://inv/G822DTSJHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#JCC2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
G82PHGPY5N G82PHGPY5N
| URI | m2://inv/G82PHGPY5N |
|---|---|
| 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.30819#157H (statement). In TE6082EE1K/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
G82ZYMT426 G82ZYMT426
| URI | m2://inv/G82ZYMT426 |
|---|---|
| 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 2609.24323#6Y1F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fourfold recursion G832PBTBFS
| URI | m2://inv/G832PBTBFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#TUT9, Fourfold recursion (statement). In RWNP4FEE65/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.3
Suppressed correlative G8332X5RCK
| URI | m2://inv/G8332X5RCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suppressed correlative, Suppressed correlative (definition). Also Wikidata Q2891323
History
- 2026-11-02: add by m2/dev
G83A3PE87S G83A3PE87S
| URI | m2://inv/G83A3PE87S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#SSCY (statement). In AB2WPR2FRR/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
G83C033JZB G83C033JZB
| URI | m2://inv/G83C033JZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06206#02IK (statement). In A7611PTXVQ/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
kenotheme G848V2QZNN
| URI | m2://inv/G848V2QZNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#Q08E, kenotheme (definition)
History
- 2026-11-02: add by m2/dev
Generalization G849PPHX9H
| URI | m2://inv/G849PPHX9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twists of elliptic curves#2Q6G, Generalization (statement)
History
- 2026-11-02: add by m2/dev
G84AQFE4G6 G84AQFE4G6
| URI | m2://inv/G84AQFE4G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#TD7N (statement). In AQX7DGD360/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
reducible fraction G84BW7732F
| URI | m2://inv/G84BW7732F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11922681, reducible fraction (unknown). Also MathWorld ReducibleFraction
History
- 2026-10-26: add by m2/dev
G84KF6D4FW G84KF6D4FW
| URI | m2://inv/G84KF6D4FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:cauchy-reals (definition). In N54F33XE07, defn, section B.3.1
History
- 2026-11-01: add by m2/v0.6.13
G84Y4ZAZJJ G84Y4ZAZJJ
| URI | m2://inv/G84Y4ZAZJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#XL2K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Propagation of the fractional-source residual G853SS29BV
| URI | m2://inv/G853SS29BV |
|---|---|
| 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.05388#445L, Propagation of the fractional-source residual (statement). In 4HJK1986EJ/e1, lemma C.19
History
- 2026-10-29: add by m2/v0.4.10
G85822P363 G85822P363
| URI | m2://inv/G85822P363 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#1BJ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
G85CYBSK83 G85CYBSK83
| URI | m2://inv/G85CYBSK83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#XY84 (statement)
History
- 2026-11-01: add by m2/v0.6.15
G85H5HR8H5 G85H5HR8H5
| URI | m2://inv/G85H5HR8H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#D83F (statement)
History
- 2026-11-01: add by m2/v0.6.15
G85MKNYJ2A G85MKNYJ2A
| URI | m2://inv/G85MKNYJ2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#WBHD (statement). In XGCND7R0B0/e1, theorem 2.5
History
- 2026-10-31: add by m2/v0.5.6
circulant determinant G85NG6WAYH
| URI | m2://inv/G85NG6WAYH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116273946, circulant determinant (concept). Also MathWorld CirculantDeterminant
History
- 2026-10-26: add by m2/dev
G85YRNFS66 G85YRNFS66
| URI | m2://inv/G85YRNFS66 |
|---|---|
| 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.30090#SFXF (statement)
History
- 2026-11-01: add by m2/v0.6.15
G85ZABZ09Y G85ZABZ09Y
| URI | m2://inv/G85ZABZ09Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19326#J5V1 (statement). In YFWDHG947Q/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Clenshaw–Curtis quadrature G86485Z9AP
| URI | m2://inv/G86485Z9AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YPLV, Clenshaw–Curtis quadrature (definition)
History
- 2026-11-02: add by m2/dev
Applications G867P4F5HD
| URI | m2://inv/G867P4F5HD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov population model#JGYL, Applications (example)
History
- 2026-11-02: add by m2/dev
G86RNCDWJ1 G86RNCDWJ1
| URI | m2://inv/G86RNCDWJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#E7DP (definition). In EVFX1R7ZDD/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Trivial semigroup G86YZVAA5B
| URI | m2://inv/G86YZVAA5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trivial semigroup, Trivial semigroup (definition). Also Wikidata Q7844663
History
- 2026-11-02: add by m2/dev
G870FYHJ4G G870FYHJ4G
| URI | m2://inv/G870FYHJ4G |
|---|---|
| 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.32977#2E7Q (statement). In 4KT9TK3MG4/e1, lemma D.7
History
- 2026-10-31: add by m2/v0.5.6
257-gram G870MGW483
| URI | m2://inv/G870MGW483 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 257-gon#6K9A, 257-gram (unknown)
History
- 2026-11-02: add by m2/dev
Bobby Wilson G872XYPJ39
| URI | m2://inv/G872XYPJ39 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bobby Wilson (mathematician), Bobby Wilson (topic). Also Wikidata Q97367064
History
- 2026-11-02: add by m2/dev
IEEE rounding mode G87GAQHXVQ
| URI | m2://inv/G87GAQHXVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IEEE 754#F5I5, IEEE rounding mode (unknown)
History
- 2026-11-02: add by m2/dev
Erdős–Gallai theorem G87J9PX80C
| URI | m2://inv/G87J9PX80C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2PXK, Erdős–Gallai theorem (statement)
History
- 2026-11-02: add by m2/dev
Dilation G87Y6RREG7
| URI | m2://inv/G87Y6RREG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilation (metric space), Dilation (definition). Also Wikidata Q5276676
History
- 2026-11-02: add by m2/dev
Stieltjes moment sequences throughout the prescribed cyclic orbit G881H6FY6N
| URI | m2://inv/G881H6FY6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#ILE4, Stieltjes moment sequences throughout the prescribed cyclic orbit (statement)
History
- 2026-11-01: add by m2/v0.6.15
G8825BQNTQ G8825BQNTQ
| URI | m2://inv/G8825BQNTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16055#BR1X (statement). In 389BW42CTK/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
G882WDSV65 G882WDSV65
| URI | m2://inv/G882WDSV65 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:fin (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Gérard Laumon G88536Q1J1
| URI | m2://inv/G88536Q1J1 |
|---|---|
| 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 Q1482970, Gérard Laumon (unknown). Also nLab Gérard Laumon
- wikipedia: Wikipedia Gérard Laumon, Gérard Laumon (topic). Also Wikidata Q1482970
History
- 2026-10-26: add by m2/dev
A bridge in effective exposure G8888G7WP8
| URI | m2://inv/G8888G7WP8 |
|---|---|
| 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.21271#9QLM, A bridge in effective exposure (statement)
History
- 2026-11-02: add by m2/v0.6.18
shortest path problem G88C6HT7QK
| URI | m2://inv/G88C6HT7QK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1058754, shortest path problem (unknown). Also MathWorld ShortestPathProblem
- wikipedia: Wikipedia Shortest path problem, Shortest path problem (problem). Also Wikidata Q1058754
History
- 2026-10-26: add by m2/dev
Decidability of Judgmental Equality G88DE02AM7
| URI | m2://inv/G88DE02AM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#E6VD, Decidability of Judgmental Equality (statement). In CPYWHRTPKC/e1, corollary 7.49
History
- 2026-10-27: add by m2/v0.4.2
Altman, Doug G88DKGN2XV
| URI | m2://inv/G88DKGN2XV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A2Z1, Altman, Doug (unknown)
History
- 2026-11-02: add by m2/dev
Tom Crone G88RQZ1D66
| URI | m2://inv/G88RQZ1D66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#3ZF3, Tom Crone (unknown)
History
- 2026-11-02: add by m2/dev
Term predicate closed under PER-equivalence G88SWJFJ4B
| URI | m2://inv/G88SWJFJ4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#UISE, Term predicate closed under PER-equivalence (statement). In CPYWHRTPKC/e1, lemma 7.29
History
- 2026-10-27: add by m2/v0.4.2
William Zame G88VKX6KM0
| URI | m2://inv/G88VKX6KM0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Zame, William Zame (topic). Also Wikidata Q28862612
History
- 2026-11-02: add by m2/dev
Reuleaux tetrahedron G891XMVZE3
| URI | m2://inv/G891XMVZE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1464647, Reuleaux tetrahedron (unknown). Also MathWorld ReuleauxTetrahedron
- wikipedia: Wikipedia Reuleaux tetrahedron, Reuleaux tetrahedron (definition). Also Wikidata Q1464647
History
- 2026-10-26: add by m2/dev
G893S47XHX G893S47XHX
| URI | m2://inv/G893S47XHX |
|---|---|
| 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#ZHQT (statement). In A4TR95VGX2/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
G895N24704 G895N24704
| URI | m2://inv/G895N24704 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#809O (example). In 73A9KWZJRD/e1, example 7.2
History
- 2026-10-28: add by m2/v0.4.2
G898W6YSQS G898W6YSQS
| URI | m2://inv/G898W6YSQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#XS84 (statement). In 8M7BFVQYMM/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.3
G89B5DY49G G89B5DY49G
| URI | m2://inv/G89B5DY49G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/discriminant.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 11
History
- 2026-11-01: add by m2/v0.6.13
Half circle distribution G89HDG6JH9
| URI | m2://inv/G89HDG6JH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#G7AN, Half circle distribution (definition)
History
- 2026-11-02: add by m2/dev
T G89WQ32HF4
| URI | m2://inv/G89WQ32HF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LK7P, T (definition)
History
- 2026-11-02: add by m2/dev
G8A153XXZY G8A153XXZY
| URI | m2://inv/G8A153XXZY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 16-XX, 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 2605.02634#6MEH (definition). In EZ6PAF0MXH/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
G8A2TJBC7A G8A2TJBC7A
| URI | m2://inv/G8A2TJBC7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#W2EV (statement). In 9J7TJYKGYX/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Krylov–Bogoliubov averaging method G8A9V8044F
| URI | m2://inv/G8A9V8044F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krylov–Bogoliubov averaging method, Krylov–Bogoliubov averaging method (definition). Also Wikidata Q6439640
History
- 2026-11-02: add by m2/dev
Properties G8AAKEPGH4
| URI | m2://inv/G8AAKEPGH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated dodecahedron#BU43, Properties (statement)
History
- 2026-11-02: add by m2/dev
G8AAWQB249 G8AAWQB249
| URI | m2://inv/G8AAWQB249 |
|---|---|
| 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.29521#CT3P (statement)
History
- 2026-11-01: add by m2/v0.6.15
G8AG25Y0ZE G8AG25Y0ZE
| URI | m2://inv/G8AG25Y0ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#6TSH (statement). In RK8DFVGQP1/e1, proposition 14
History
- 2026-10-30: add by m2/v0.4.12
Examples G8AKWS1Y4P
| URI | m2://inv/G8AKWS1Y4P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant subspace#MEQP, Examples (example)
History
- 2026-11-02: add by m2/dev
Ronald Fisher G8AQ7PTEWC
| URI | m2://inv/G8AQ7PTEWC |
|---|---|
| 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 Q216723, Ronald Fisher (unknown). Also EoM Fisher,_Ronald_Aylmer
- wikipedia: Wikipedia Ronald Fisher, Ronald Fisher (topic). Also Wikidata Q216723
History
- 2026-10-26: add by m2/dev
G8AR31086G G8AR31086G
| URI | m2://inv/G8AR31086G |
|---|---|
| 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#WOUB (statement). In G6WQDW52TJ/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.6
Locally finite poset G8ASN7MKW3
| URI | m2://inv/G8ASN7MKW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite poset, Locally finite poset (definition). Also Wikidata Q6664687
History
- 2026-11-02: add by m2/dev
G8AX0CFB9Z G8AX0CFB9Z
| URI | m2://inv/G8AX0CFB9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30203#LR8V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Royal City G8AY0RACK6
| URI | m2://inv/G8AY0RACK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#7ZN7, Royal City (unknown)
History
- 2026-11-02: add by m2/dev
Self-dual code G8AZKDF2ZH
| URI | m2://inv/G8AZKDF2ZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual code#1QRQ, Self-dual code (unknown)
History
- 2026-11-02: add by m2/dev
G8AZPY7P93 G8AZPY7P93
| URI | m2://inv/G8AZPY7P93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:equiv-inhabcod (statement). In N54F33XE07, cor, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Coorbit theory G8B6DB6BB9
| URI | m2://inv/G8B6DB6BB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coorbit theory, Coorbit theory (definition). Also Wikidata Q5167988
History
- 2026-11-02: add by m2/dev
G8BMG9KW4R G8BMG9KW4R
| URI | m2://inv/G8BMG9KW4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.09374#EETX (statement). In TGAHH1F8K5/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
Peri Lithon G8BPVAVBG7
| URI | m2://inv/G8BPVAVBG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theophrastus#468D, Peri Lithon (unknown)
History
- 2026-11-02: add by m2/dev
Complementary error function G8BR6HGNB0
| URI | m2://inv/G8BR6HGNB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error function#LB9L, Complementary error function (unknown)
History
- 2026-11-02: add by m2/dev
G8BYC46CK8 G8BYC46CK8
| URI | m2://inv/G8BYC46CK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#ZBBY (statement). In 6NVP3YRWVA/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Mischa Elman G8BZR8YGJQ
| URI | m2://inv/G8BZR8YGJQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#D7FF, Mischa Elman (unknown)
History
- 2026-11-02: add by m2/dev
G8C1NXQQAW G8C1NXQQAW
| URI | m2://inv/G8C1NXQQAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15043#BG81 (statement). In QDE21RT0T2/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.5
bicentric triangle G8C2PNDNDJ
| URI | m2://inv/G8C2PNDNDJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12785861, bicentric triangle (concept). Also MathWorld BicentricTriangle
History
- 2026-10-26: add by m2/dev
Longest path problem G8CKBTPVN9
| URI | m2://inv/G8CKBTPVN9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest path problem, Longest path problem (problem). Also Wikidata Q2916352
History
- 2026-11-02: add by m2/dev
Bert Schroer G8CP3C1NBA
| URI | m2://inv/G8CP3C1NBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97292, Bert Schroer (unknown). Also nLab Bert Schroer
History
- 2026-10-26: add by m2/dev
Uniform risk bound G8CWZ6H54E
| URI | m2://inv/G8CWZ6H54E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21103#M66B, Uniform risk bound (statement). In VZCZEDCG8J/e1, corollary 3.14
History
- 2026-10-27: add by m2/v0.4.2
G8CX4RQY5B G8CX4RQY5B
| URI | m2://inv/G8CX4RQY5B |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#VQAM (unknown). In R2XC1SC9NZ/e1, unknown 8
History
- 2026-10-27: add by m2/v0.3.5
Statistics Surveys G8CXRYVSMT
| URI | m2://inv/G8CXRYVSMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Surveys, Statistics Surveys (definition). Also Wikidata Q2333904
History
- 2026-11-02: add by m2/dev
topological, space G8CY0T92EQ
| URI | m2://inv/G8CY0T92EQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u2/topological-space, topological, space (concept). In N54F33XE07, index, section u1.u2
History
- 2026-11-01: add by m2/v0.6.13
Arrow's impossibility theorem G8CYFVN2ZW
| URI | m2://inv/G8CYFVN2ZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social choice theory#3P1Z, Arrow's impossibility theorem (statement)
History
- 2026-11-02: add by m2/dev
G8D05A9A53 G8D05A9A53
| URI | m2://inv/G8D05A9A53 |
|---|---|
| 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 2207.07461#1L5S (statement). In GAG532VMPF/e1, corollary 4.1.3
History
- 2026-10-27: add by m2/v0.3.5
G8D3FSPH7Q G8D3FSPH7Q
| URI | m2://inv/G8D3FSPH7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#PQHI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Adjustable scalar interpolation G8D5D07J3R
| URI | m2://inv/G8D5D07J3R |
|---|---|
| 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.18884#J57S, Adjustable scalar interpolation (statement). In 8WM10QMA9E/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
G8D5EXECQ8 G8D5EXECQ8
| URI | m2://inv/G8D5EXECQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#definition-11 (definition). In RZP28ERRZV, definition, section 80.5
History
- 2026-11-01: add by m2/v0.6.13
CUSUM G8D6S6C5QJ
| URI | m2://inv/G8D6S6C5QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VJC5, CUSUM (definition)
History
- 2026-11-02: add by m2/dev
G8DABCQ2GZ G8DABCQ2GZ
| URI | m2://inv/G8DABCQ2GZ |
|---|---|
| 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.31242#8EAE (statement). In 3NPRR9546C/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Examples G8DDMX6MPX
| URI | m2://inv/G8DDMX6MPX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth maximum#IVEI, Examples (example)
History
- 2026-11-02: add by m2/dev
resistance distance G8DQ0609GP
| URI | m2://inv/G8DQ0609GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7315618, resistance distance (unknown). Also MathWorld ResistanceDistance
- wikipedia: Wikipedia Resistance distance, Resistance distance (definition). Also Wikidata Q7315618
History
- 2026-10-26: add by m2/dev
Absorption G8DX0C0JSF
| URI | m2://inv/G8DX0C0JSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorption (logic)#XJMM, Absorption (statement)
History
- 2026-11-02: add by m2/dev
The Poisson formula G8E0JE46YX
| URI | m2://inv/G8E0JE46YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson boundary#KLEQ, The Poisson formula (statement)
History
- 2026-11-02: add by m2/dev
P Kesava Menon G8E2373Y40
| URI | m2://inv/G8E2373Y40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#HMSB, P Kesava Menon (topic)
History
- 2026-11-02: add by m2/dev
G8E3CV7KBE G8E3CV7KBE
| URI | m2://inv/G8E3CV7KBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#GLOL (statement)
History
- 2026-11-01: add by m2/v0.6.15
$\beta^2\rho(\mathbf M) < 1$ for $\beta < 1$ G8E53G2EJ9
| URI | m2://inv/G8E53G2EJ9 |
|---|---|
| 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.30590#FM64, $\beta^2\rho(\mathbf M) < 1$ for $\beta < 1$ (statement). In WYE2JVEZBT/e1, lemma B.2
History
- 2026-10-31: add by m2/v0.5.6
Definition G8E8J2XVWX
| URI | m2://inv/G8E8J2XVWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive property#YFJ6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Center for Mathematical Modeling G8EH1TG5QS
| URI | m2://inv/G8EH1TG5QS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center for Mathematical Modeling, Center for Mathematical Modeling (definition). Also Wikidata Q5059754
History
- 2026-11-02: add by m2/dev
G8EM4RQ1ZR G8EM4RQ1ZR
| URI | m2://inv/G8EM4RQ1ZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example:dirichletfunc (example). In E59CDZA4DP, example, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
Moufang loop G8ET4QWBF0
| URI | m2://inv/G8ET4QWBF0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6918890, Moufang loop (concept). Also MathWorld MoufangLoop, nLab Moufang loop
- wikipedia: Wikipedia Moufang loop, Moufang loop (definition). Also Wikidata Q6918890
History
- 2026-10-26: add by m2/dev
G8F2H5FQEY G8F2H5FQEY
| URI | m2://inv/G8F2H5FQEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#ZRIP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples G8F4ZKCGFX
| URI | m2://inv/G8F4ZKCGFX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gram matrix#0VJO, Examples (example)
History
- 2026-11-02: add by m2/dev
G8F6Q86ZHE G8F6Q86ZHE
| URI | m2://inv/G8F6Q86ZHE |
|---|---|
| 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.21475#15HZ (statement). In TTRSZVT4VX/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Kurt Hensel G8F811GYVR
| URI | m2://inv/G8F811GYVR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#2O8S, Kurt Hensel (topic)
History
- 2026-11-02: add by m2/dev
Construction G8FBB371VF
| URI | m2://inv/G8FBB371VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 42 polytope#VY4T, Construction (definition)
History
- 2026-11-02: add by m2/dev
Michael D. Escobar G8FBXD12Y5
| URI | m2://inv/G8FBXD12Y5 |
|---|---|
| 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#DF2V, Michael D. Escobar (unknown)
History
- 2026-11-02: add by m2/dev
Kendale Lakes G8FFM874NW
| URI | m2://inv/G8FFM874NW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#4QWP, Kendale Lakes (unknown)
History
- 2026-11-02: add by m2/dev
Pulsar G8FHNBJ2RT
| URI | m2://inv/G8FHNBJ2RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pulsar, Pulsar (definition). Also Wikidata Q4360
History
- 2026-11-02: add by m2/dev
G8FJ87MRZG G8FJ87MRZG
| URI | m2://inv/G8FJ87MRZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#WB7F (statement)
History
- 2026-11-01: add by m2/v0.6.15
G8FM6CNJQ1 G8FM6CNJQ1
| URI | m2://inv/G8FM6CNJQ1 |
|---|---|
| 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.04323#RDHH (statement). In 3Z0D2NCJ0B/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
G8G146GZDD G8G146GZDD
| URI | m2://inv/G8G146GZDD |
|---|---|
| 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.11481#BOT3 (statement). In 8XHK5ZCX7H/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.3
G8GQXBJZ1K G8GQXBJZ1K
| URI | m2://inv/G8GQXBJZ1K |
|---|---|
| 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 2609.37634#IDWH (statement). In NTWNXKDBKK/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Examples G8GY0T8VVW
| URI | m2://inv/G8GY0T8VVW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class formation#GX2S, Examples (example)
History
- 2026-11-02: add by m2/dev
One- and two-tailed tests G8H0P3XXTQ
| URI | m2://inv/G8H0P3XXTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One- and two-tailed tests, One- and two-tailed tests (definition). Also Wikidata Q7092298
History
- 2026-11-02: add by m2/dev
Identification map G8H2QY2V22
| URI | m2://inv/G8H2QY2V22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MG1G, Identification map (definition)
History
- 2026-11-02: add by m2/dev
Isosceles set G8H3VRE2H1
| URI | m2://inv/G8H3VRE2H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isosceles set, Isosceles set (definition). Also Wikidata Q55614672
History
- 2026-11-02: add by m2/dev
Jean Giraud G8H6Z9F67M
| URI | m2://inv/G8H6Z9F67M |
|---|---|
| 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 Q1414851, Jean Giraud (unknown). Also nLab Jean Giraud
- wikipedia: Wikipedia Jean Giraud (mathematician), Jean Giraud (topic). Also Wikidata Q1414851
History
- 2026-10-26: add by m2/dev
integral G8HF9GDNP7
| URI | m2://inv/G8HF9GDNP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#9MNG, integral (definition)
History
- 2026-11-02: add by m2/dev
Wilbur Johns G8HVK1823S
| URI | m2://inv/G8HVK1823S |
|---|---|
| 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#6MLH, Wilbur Johns (unknown)
History
- 2026-11-02: add by m2/dev
Comparison G8HWD17NMH
| URI | m2://inv/G8HWD17NMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06944#0NT0, Comparison (statement). In 1HSWBXDXWV/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Aubrey E. Landry G8HZ3FRDCA
| URI | m2://inv/G8HZ3FRDCA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aubrey E. Landry, Aubrey E. Landry (topic). Also Wikidata Q99054470
History
- 2026-11-02: add by m2/dev
G8J1SHJ3XA G8J1SHJ3XA
| URI | m2://inv/G8J1SHJ3XA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#JDBN (statement). In 1QSCT53ZED/e1, theorem 11.4
History
- 2026-10-27: add by m2/v0.4.0
Inverse scattering transform G8J4550JHA
| URI | m2://inv/G8J4550JHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#VD0Z, Inverse scattering transform (definition)
History
- 2026-11-02: add by m2/dev
quasi-separated G8J4CBGRN7
| URI | m2://inv/G8J4CBGRN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#7LQG, quasi-separated (definition)
History
- 2026-11-02: add by m2/dev
Method G8JT3KHCQ1
| URI | m2://inv/G8JT3KHCQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal–Wallis test#FZSJ, Method (definition)
History
- 2026-11-02: add by m2/dev
G8JTJX9F77 G8JTJX9F77
| URI | m2://inv/G8JTJX9F77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35625#V9DI (statement). In 7N144YJM0R/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
The same identity using the geopotential G8JV42PWPQ
| URI | m2://inv/G8JV42PWPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-geostrophic equations#29J5, The same identity using the geopotential (statement)
History
- 2026-11-02: add by m2/dev
Orthogonalization G8JX175PXH
| URI | m2://inv/G8JX175PXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#AW0T, Orthogonalization (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet's test G8K1JQRVSM
| URI | m2://inv/G8K1JQRVSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#X66Z, Dirichlet's test (definition)
History
- 2026-11-02: add by m2/dev
G8K1XC635F G8K1XC635F
| URI | m2://inv/G8K1XC635F |
|---|---|
| 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 2609.24023#NXTU (definition)
History
- 2026-11-02: add by m2/v0.6.17
Grand mean G8K6EY4YDG
| URI | m2://inv/G8K6EY4YDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5JKV, Grand mean (definition)
History
- 2026-11-02: add by m2/dev
First main theorem G8KBV7036R
| URI | m2://inv/G8KBV7036R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahlfors theory#2A4Q, First main theorem (statement)
History
- 2026-11-02: add by m2/dev
G8KDMG4N29 G8KDMG4N29
| URI | m2://inv/G8KDMG4N29 |
|---|---|
| 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.14803#JLOY (statement). In VAEVDTBD3B/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Triangulated endpoint G8KM9WZE7K
| URI | m2://inv/G8KM9WZE7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#RX92, Triangulated endpoint (statement). In 9RBATD2Z1F/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
Ehrenfest equations G8KX68E8YY
| URI | m2://inv/G8KX68E8YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfest equations, Ehrenfest equations (definition). Also Wikidata Q3656201
History
- 2026-11-02: add by m2/dev
Double negation G8KXG1SGWN
| URI | m2://inv/G8KXG1SGWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double negation#J9IV, Double negation (statement)
History
- 2026-11-02: add by m2/dev
G8KY51YWSV G8KY51YWSV
| URI | m2://inv/G8KY51YWSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21703#N83L (statement)
History
- 2026-11-02: add by m2/v0.6.18
G8KYNP4SK9 G8KYNP4SK9
| URI | m2://inv/G8KYNP4SK9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Sweep line algorithm G8KZKNHTZS
| URI | m2://inv/G8KZKNHTZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sweep line algorithm, Sweep line algorithm (definition). Also Wikidata Q2372426
History
- 2026-11-02: add by m2/dev
Facts G8M058RQQ5
| URI | m2://inv/G8M058RQQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limits and colimits in an ∞-category#9USW, Facts (statement)
History
- 2026-11-02: add by m2/dev
Stability under small grading errors G8M5CXWSTD
| URI | m2://inv/G8M5CXWSTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29565#WAKI, Stability under small grading errors (statement)
History
- 2026-11-01: add by m2/v0.6.15
G8MBWDC1CC G8MBWDC1CC
| URI | m2://inv/G8MBWDC1CC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#fact-1 (statement). In RZP28ERRZV, fact, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
G8MM0H57C0 G8MM0H57C0
| URI | m2://inv/G8MM0H57C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33957#RXT9 (statement). In KG6V5AN3PK/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
Johan Jacob Ferguson G8MTM9F0WB
| URI | m2://inv/G8MTM9F0WB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johan Jacob Ferguson, Johan Jacob Ferguson (topic). Also Wikidata Q18945558
History
- 2026-11-02: add by m2/dev
G8MVGQBYWE G8MVGQBYWE
| URI | m2://inv/G8MVGQBYWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#F40I (statement). In 6YY27KRJFN/e1, proposition 4.42
History
- 2026-10-30: add by m2/v0.4.12
Perfectly orderable graph G8N1EG12X0
| URI | m2://inv/G8N1EG12X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfectly orderable graph, Perfectly orderable graph (definition). Also Wikidata Q17148818
History
- 2026-11-02: add by m2/dev
Poincaré complex G8N5D91NHA
| URI | m2://inv/G8N5D91NHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7207863, Poincaré complex (unknown). Also nLab Poincaré complex
- wikipedia: Wikipedia Poincaré complex, Poincaré complex (definition). Also Wikidata Q7207863
History
- 2026-10-26: add by m2/dev
G8NCC3Q1A1 G8NCC3Q1A1
| URI | m2://inv/G8NCC3Q1A1 |
|---|---|
| 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.07530#21TO (statement). In C7QZ0VPBC8/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
G8NGQ91S25 G8NGQ91S25
| URI | m2://inv/G8NGQ91S25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.13621#YNJE (statement). In DG0EZ1BPV5/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.3.5
Applications G8NK436DJG
| URI | m2://inv/G8NK436DJG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snowball sampling#WPG1, Applications (example)
History
- 2026-11-02: add by m2/dev
G8NNQEXYF3 G8NNQEXYF3
| URI | m2://inv/G8NNQEXYF3 |
|---|---|
| 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 2206.05392#1SY7 (statement). In 58D1ZC82DW/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
G8NQ89BWNZ G8NQ89BWNZ
| URI | m2://inv/G8NQ89BWNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29510#2PED (statement)
History
- 2026-11-01: add by m2/v0.6.15
G8NQNAMMPP G8NQNAMMPP
| URI | m2://inv/G8NQNAMMPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#TR9P (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
G8P0EX1R3H G8P0EX1R3H
| URI | m2://inv/G8P0EX1R3H |
|---|---|
| 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.14450#21R4 (statement). In ZHTGQT07PE/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Boughattas G8P0G1JH1G
| URI | m2://inv/G8P0G1JH1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1003.2117#KB3S, Boughattas (statement). In H4D4RFNH2V/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Shortest sequences versus the causal oracle G8P17RG8S7
| URI | m2://inv/G8P17RG8S7 |
|---|---|
| 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.02187#4HKH, Shortest sequences versus the causal oracle (statement). In BM9N20J1XA/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
G8P1YCWBMK G8P1YCWBMK
| URI | m2://inv/G8P1YCWBMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25880#8J4A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic properties G8P5RBQ80J
| URI | m2://inv/G8P5RBQ80J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sudoku graph#WA16, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Exact pointwise coefficient certificate G8PBYABZ9H
| URI | m2://inv/G8PBYABZ9H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#J9E9, Exact pointwise coefficient certificate (example). In 6FY8BVP1F3/e1, example E.9
History
- 2026-10-29: add by m2/v0.4.12
G8PDZW38KD G8PDZW38KD
| URI | m2://inv/G8PDZW38KD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#PVU8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Equal incircles theorem G8PEQYDQNK
| URI | m2://inv/G8PEQYDQNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#IWRL, Equal incircles theorem (statement)
History
- 2026-11-02: add by m2/dev
Michal Misiurewicz G8PG4YH6RT
| URI | m2://inv/G8PG4YH6RT |
|---|---|
| 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#O5MD, Michal Misiurewicz (topic)
History
- 2026-11-02: add by m2/dev
Degree G8PK2HPCK2
| URI | m2://inv/G8PK2HPCK2 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33442#QPC2, Degree (unknown). In EWY5YPMKA3/e1, unknown 1
History
- 2026-10-30: add by m2/v0.4.12
Discrete norming inequality G8PK3SEG1A
| URI | m2://inv/G8PK3SEG1A |
|---|---|
| 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.28341#XOBE, Discrete norming inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
G8PQ9FWWJR G8PQ9FWWJR
| URI | m2://inv/G8PQ9FWWJR |
|---|---|
| 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.11426#FWHU (statement). In GNXSDSF3SF/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Hsien Chung Wang G8PXC7BACP
| URI | m2://inv/G8PXC7BACP |
|---|---|
| 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#AMDC, Hsien Chung Wang (topic)
History
- 2026-11-02: add by m2/dev
Paul Dubreil G8PXJ2SP1V
| URI | m2://inv/G8PXJ2SP1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Dubreil, Paul Dubreil (topic). Also Wikidata Q951341
History
- 2026-11-02: add by m2/dev
G8PXKM8SYC G8PXKM8SYC
| URI | m2://inv/G8PXKM8SYC |
|---|---|
| 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.00259#Y71H (statement). In CFXW6Z78G0/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Properties G8Q23KPNRT
| URI | m2://inv/G8Q23KPNRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Converse nonimplication#FCN5, Properties (statement)
History
- 2026-11-02: add by m2/dev
MacRobert E function G8Q3Q8Z4ZC
| URI | m2://inv/G8Q3Q8Z4ZC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754514, MacRobert E function (concept). Also MathWorld MacRobertsE-Function
- wikipedia: Wikipedia MacRobert E function, MacRobert E function (definition). Also Wikidata Q3754514
History
- 2026-10-26: add by m2/dev
addition, of ordinal numbers G8Q52326M9
| URI | m2://inv/G8Q52326M9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/addition-of-ordinal-numbers, addition, of ordinal numbers (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Shapiro polynomials G8QA4AFEPK
| URI | m2://inv/G8QA4AFEPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#71Z3, Shapiro polynomials (definition)
History
- 2026-11-02: add by m2/dev
Ugo Dal Lago G8QAE04V6K
| URI | m2://inv/G8QAE04V6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93944804, Ugo Dal Lago (unknown). Also nLab Ugo Dal Lago
History
- 2026-10-26: add by m2/dev
G8QDBC5J9B G8QDBC5J9B
| URI | m2://inv/G8QDBC5J9B |
|---|---|
| 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.04069#5C33 (statement). In ZA7WXGZYWC/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
G8QF4FK5NB G8QF4FK5NB
| URI | m2://inv/G8QF4FK5NB |
|---|---|
| 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.20495#JQ2D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gromov's compactness theorem G8QGE1PPC0
| URI | m2://inv/G8QGE1PPC0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#U939, Gromov's compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
G8QMS5NPPE G8QMS5NPPE
| URI | m2://inv/G8QMS5NPPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30561#R6ZF (statement). In EHQBEXHF9W/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
G8R6FR0NHJ G8R6FR0NHJ
| URI | m2://inv/G8R6FR0NHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#9FFB (statement). In 7V3HG30ZGW/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.0
Phi coefficient G8R8EGTWKT
| URI | m2://inv/G8R8EGTWKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#662N, Phi coefficient (definition)
- wikipedia: Wikipedia List of statistics articles#S3O9, Phi coefficient (definition)
History
- 2026-11-02: add by m2/dev
Password Safe G8RGVQFDMM
| URI | m2://inv/G8RGVQFDMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password Safe, Password Safe (definition). Also Wikidata Q2066975
History
- 2026-11-02: add by m2/dev
G8RH44EABD G8RH44EABD
| URI | m2://inv/G8RH44EABD |
|---|---|
| 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 2404.05451#A04F (statement). In 5YMFYAFFJ7/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
local form of the approximate solution G8RKCA80F3
| URI | m2://inv/G8RKCA80F3 |
|---|---|
| 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.22413#7PEP, local form of the approximate solution (statement)
History
- 2026-11-02: add by m2/v0.6.17
G8RM3QYWNH G8RM3QYWNH
| URI | m2://inv/G8RM3QYWNH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#7RVD (problem). In NC5ZRF6F8N/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.12
G8RS9FRMG6 G8RS9FRMG6
| URI | m2://inv/G8RS9FRMG6 |
|---|---|
| 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 2510.12502#A9OF (statement). In 3A4K47Y9F2/e1, theorem 4.25
History
- 2026-10-27: add by m2/v0.4.0
site G8RWM37K1V
| URI | m2://inv/G8RWM37K1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#DRPL, site (definition)
History
- 2026-11-02: add by m2/dev
G8RZEAFYY8 G8RZEAFYY8
| URI | m2://inv/G8RZEAFYY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#NCU9 (statement). In PBB3PSDP0S/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
Sommerfeld radiation condition G8RZWZZ6PX
| URI | m2://inv/G8RZWZZ6PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sommerfeld radiation condition, Sommerfeld radiation condition (definition). Also Wikidata Q902719
History
- 2026-11-02: add by m2/dev
Berger–Kazdan comparison theorem G8S005J3XW
| URI | m2://inv/G8S005J3XW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I71X, Berger–Kazdan comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
Fermat's right triangle theorem G8SC026V1D
| URI | m2://inv/G8SC026V1D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#FW4M, Fermat's right triangle theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement G8SRNXDJGQ
| URI | m2://inv/G8SRNXDJGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas's theorem#OZTV, Statement (statement)
History
- 2026-11-02: add by m2/dev
Alan Turing G8SV0KV3GV
| URI | m2://inv/G8SV0KV3GV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#GJV9, Alan Turing (topic)
History
- 2026-11-02: add by m2/dev
Leon Lichtenstein G8T0ESB5WS
| URI | m2://inv/G8T0ESB5WS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DL9Z, Leon Lichtenstein (topic)
History
- 2026-11-02: add by m2/dev
G8T30AER5Q G8T30AER5Q
| URI | m2://inv/G8T30AER5Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-18 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Examples G8T3C2V4RS
| URI | m2://inv/G8T3C2V4RS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf on an algebraic stack#A2FU, Examples (example)
History
- 2026-11-02: add by m2/dev
Jane Ye G8T3H3X5MG
| URI | m2://inv/G8T3H3X5MG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jane Ye, Jane Ye (topic). Also Wikidata Q42315525
History
- 2026-11-02: add by m2/dev
G8T4Z4MRPD G8T4Z4MRPD
| URI | m2://inv/G8T4Z4MRPD |
|---|---|
| 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 2609.27360#PIIK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Denecker and Vennekens G8TAMAC1AR
| URI | m2://inv/G8TAMAC1AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#06A9, Denecker and Vennekens (statement)
History
- 2026-11-01: add by m2/v0.6.15
K-synchronized sequence G8TAQF4S3K
| URI | m2://inv/G8TAQF4S3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-synchronized sequence, K-synchronized sequence (definition). Also Wikidata Q48996052
History
- 2026-11-02: add by m2/dev
Example G8TN7W8MB9
| URI | m2://inv/G8TN7W8MB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Künneth theorem#D0LP, Example (example)
History
- 2026-11-02: add by m2/dev
Lawvere G8TQNZ1KAR
| URI | m2://inv/G8TQNZ1KAR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/lawvere, Lawvere (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Kurepa tree G8TRED27VZ
| URI | m2://inv/G8TRED27VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurepa tree, Kurepa tree (definition). Also Wikidata Q5935117
History
- 2026-11-02: add by m2/dev
degree G8TSNDAB74
| URI | m2://inv/G8TSNDAB74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Degree of a vertex 0KS0KRDV4Y |
Mentions
- wikidata: Wikidata Q383444, degree (unknown). Also MathWorld VertexDegree
- wikipedia: Wikipedia Degree (graph theory), Degree (definition). Also Wikidata Q383444
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
G8TTYKH382 G8TTYKH382
| URI | m2://inv/G8TTYKH382 |
|---|---|
| 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.10773#580I (statement). In 744Y8ZPEV7/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.3
G8TV0MRH73 G8TV0MRH73
| URI | m2://inv/G8TV0MRH73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#OZZX (statement). In 9F94CEQ1ZM/e1, theorem 5.12
History
- 2026-10-27: add by m2/v0.3.5
G8TW4YJ5NB G8TW4YJ5NB
| URI | m2://inv/G8TW4YJ5NB |
|---|---|
| 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.33469#ZKRH (statement). In TC5QA4AB4Z/e1, corollary 4.30
History
- 2026-10-30: add by m2/v0.4.12
G8TWW81C6B G8TWW81C6B
| URI | m2://inv/G8TWW81C6B |
|---|---|
| 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 2111.01197#3LBH (statement). In Z36XFKVTS0/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
G8V9B3MQV7 G8V9B3MQV7
| URI | m2://inv/G8V9B3MQV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.08789#ITTC (definition). In 43AGRMP7T3/e1, definition 1.10
History
- 2026-10-27: add by m2/v0.3.5
Witten index G8VAZMQFSJ
| URI | m2://inv/G8VAZMQFSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8028562, Witten index (unknown). Also nLab Witten index
History
- 2026-10-26: add by m2/dev
Scott core theorem G8VCT5HGG6
| URI | m2://inv/G8VCT5HGG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7437564, Scott core theorem (statement). Also Wikidata Q7437564
- thousand_plus: thousand_plus Q7437564, Scott core theorem (statement). Also Wikidata Q7437564, Wikipedia Scott core theorem
- wikipedia: Wikipedia Scott core theorem, Scott core theorem (statement). Also Wikidata Q7437564
History
- 2026-10-26: add by m2/dev
universal, property, of truncation G8VR27WTQV
| URI | m2://inv/G8VR27WTQV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.3/universal-property-of-truncation, universal, property, of truncation (concept). In N54F33XE07, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
MTLS G8VSVRYDEJ
| URI | m2://inv/G8VSVRYDEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual authentication#15V9, MTLS (unknown)
History
- 2026-11-02: add by m2/dev
G8W9RPXWXW G8W9RPXWXW
| URI | m2://inv/G8W9RPXWXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#PLQB (statement). In DAQW640R25/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
G8W9SGPZWD G8W9SGPZWD
| URI | m2://inv/G8W9SGPZWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#RVDA (statement). In CFJH0Q39FZ/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
G8WE3KJGX7 G8WE3KJGX7
| URI | m2://inv/G8WE3KJGX7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08488#CHGO (definition). In QH5MZXMXQH/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
G8WKPJNA6B G8WKPJNA6B
| URI | m2://inv/G8WKPJNA6B |
|---|---|
| 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.40017#A4AB (statement). In MBHJA0HT06/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Rademacher system G8WMKRGJ0R
| URI | m2://inv/G8WMKRGJ0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rademacher system, Rademacher system (definition). Also Wikidata Q2125570
History
- 2026-11-02: add by m2/dev
Implementations G8WP4TM0ZY
| URI | m2://inv/G8WP4TM0ZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic redundancy check#OCY1, Implementations (definition)
History
- 2026-11-02: add by m2/dev
G8WS9SJ8P0 G8WS9SJ8P0
| URI | m2://inv/G8WS9SJ8P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#10EZ (statement). In D6RAQZ2DSK/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
G8WVTJ8TZK G8WVTJ8TZK
| URI | m2://inv/G8WVTJ8TZK |
|---|---|
| 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.02097#R61W (statement). In DQSRCCAG6G/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Definitions G8WYGJFBTF
| URI | m2://inv/G8WYGJFBTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the first kind#UZEG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Prandtl's transposition theorem G8XAX83BHV
| URI | m2://inv/G8XAX83BHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary layer#WJS4, Prandtl's transposition theorem (statement)
History
- 2026-11-02: add by m2/dev
G8XBA5SD4G G8XBA5SD4G
| URI | m2://inv/G8XBA5SD4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#5GNK (statement). In 55WT8DME6Y/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
G8XHY5K6V5 G8XHY5K6V5
| URI | m2://inv/G8XHY5K6V5 |
|---|---|
| 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 2406.01036#CP85 (statement). In 6VX2G6RTH7/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Discrete \Lojasiewicz estimate G8XJ0MQH1M
| URI | m2://inv/G8XJ0MQH1M |
|---|---|
| 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.10790#VT95, Discrete \Lojasiewicz estimate (statement). In HHQ6P3RRB8/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.3
Giovanni Sansone G8XMP2T53S
| URI | m2://inv/G8XMP2T53S |
|---|---|
| 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#7VN7, Giovanni Sansone (topic)
History
- 2026-11-02: add by m2/dev
Jacqueline Meulman G8XXMMD3Z6
| URI | m2://inv/G8XXMMD3Z6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacqueline Meulman, Jacqueline Meulman (topic). Also Wikidata Q2070085
History
- 2026-11-02: add by m2/dev
Third law G8Y4G61SBY
| URI | m2://inv/G8Y4G61SBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics#EKXY, Third law (statement)
History
- 2026-11-02: add by m2/dev
AP Calc AB G8Y9KKWGN3
| URI | m2://inv/G8Y9KKWGN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AP Calculus#K8OH, AP Calc AB (unknown)
History
- 2026-11-02: add by m2/dev
Bayes' theorem G8YBSJA9BQ
| URI | m2://inv/G8YBSJA9BQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monty Hall problem#Z8NZ, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
G8YCFPGZ3M G8YCFPGZ3M
| URI | m2://inv/G8YCFPGZ3M |
|---|---|
| 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 2604.11825#FLM8 (definition). In 6H76S52BG7/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
G8YNC5P93C G8YNC5P93C
| URI | m2://inv/G8YNC5P93C |
|---|---|
| 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#JO5N (statement). In S4FHV821A2/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
G8YP9D273M G8YP9D273M
| URI | m2://inv/G8YP9D273M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#K3GU (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Book of Numbers G8YQY2S5H9
| URI | m2://inv/G8YQY2S5H9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56805646, The Book of Numbers (unknown). Also ProofWiki Book:John_H._Conway/The_Book_of_Numbers
History
- 2026-10-26: add by m2/dev
Paul Bourgade G8Z0YPH71S
| URI | m2://inv/G8Z0YPH71S |
|---|---|
| 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#DYP0, Paul Bourgade (unknown)
History
- 2026-11-02: add by m2/dev
Pontryagin duality theorem G8Z33FWVAR
| URI | m2://inv/G8Z33FWVAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NUT9, Pontryagin duality theorem (definition)
History
- 2026-11-02: add by m2/dev
G8Z8C34FNK G8Z8C34FNK
| URI | m2://inv/G8Z8C34FNK |
|---|---|
| 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 2610.03231#5KVX (statement). In 3Y76AQQGF0/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
G8ZFKZ7Y6B G8ZFKZ7Y6B
| URI | m2://inv/G8ZFKZ7Y6B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#SONU (example)
History
- 2026-11-01: add by m2/v0.6.15
Fpqc topology G8ZKAF45XT
| URI | m2://inv/G8ZKAF45XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#PG4N, Fpqc topology (definition)
History
- 2026-11-02: add by m2/dev
Penrose rhombs G8ZMT51MGK
| URI | m2://inv/G8ZMT51MGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose tiling#D3NT, Penrose rhombs (unknown)
History
- 2026-11-02: add by m2/dev
Compound of two icosahedra G8ZP9FK8BW
| URI | m2://inv/G8ZP9FK8BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two icosahedra, Compound of two icosahedra (definition). Also Wikidata Q5156915
History
- 2026-11-02: add by m2/dev
Brenier's theorem in $d=1$ G8ZT5BNCAY
| URI | m2://inv/G8ZT5BNCAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20972#95TP, Brenier's theorem in $d=1$ (statement). In 6SZE4MTXGZ/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2