Inventory rows T9
The cards of the rows of the inventory whose ids start with T9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem T901EQMQ46
| URI | m2://inv/T901EQMQ46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#O6A0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Cyntha Struthers T909A49BH1
| URI | m2://inv/T909A49BH1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyntha Struthers, Cyntha Struthers (topic). Also Wikidata Q102409164
History
- 2026-11-02: add by m2/dev
Definition T90GC6Z2CV
| URI | m2://inv/T90GC6Z2CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert metric#YUW1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Quadratic stationary assembly T90GEZRTTQ
| URI | m2://inv/T90GEZRTTQ |
|---|---|
| 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 2610.10583#HTRX, Quadratic stationary assembly (statement). In 5BZQS1KY9A/e1, proposition 9.24
History
- 2026-10-29: add by m2/v0.4.10
T90J7QVFBF T90J7QVFBF
| URI | m2://inv/T90J7QVFBF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-20 (example). In E9HS8K3A52, example, section 5.6.2
History
- 2026-11-01: add by m2/v0.6.13
maximal class of order $p^4$ T90RQVN0MC
| URI | m2://inv/T90RQVN0MC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06909#2GDY, maximal class of order $p^4$ (example). In F1EF8XE30A/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
Definition T90SBS43HC
| URI | m2://inv/T90SBS43HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent orbit#7BA3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties T918FGH4SG
| URI | m2://inv/T918FGH4SG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-one reduction#33RE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Nobushige Kurokawa T91CSZEQJA
| URI | m2://inv/T91CSZEQJA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nobushige Kurokawa, Nobushige Kurokawa (topic). Also Wikidata Q11678208
History
- 2026-11-02: add by m2/dev
Snub trihexagonal tiling T91JTKSKZ1
| URI | m2://inv/T91JTKSKZ1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub trihexagonal tiling, Snub trihexagonal tiling (object). Also Wikidata Q150542
History
- 2026-11-02: add by m2/dev
Disphenocingulum T91KE3A1C1
| URI | m2://inv/T91KE3A1C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3PII, Disphenocingulum (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#X6QN, Disphenocingulum (definition)
History
- 2026-11-02: add by m2/dev
T91SMMC3P2 T91SMMC3P2
| URI | m2://inv/T91SMMC3P2 |
|---|---|
| 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.13833#GNV3 (statement). In VD4JP4HVBX/e1, proposition 7.5
History
- 2026-10-28: add by m2/v0.4.2
T91W9DEBB8 T91W9DEBB8
| URI | m2://inv/T91W9DEBB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#AY2A (statement). In M8TSJ24RC2/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
T91WKZX25Q T91WKZX25Q
| URI | m2://inv/T91WKZX25Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.27272#VQ27 (statement). In BDEA3TDATY/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Adaptive bias T9201YD09J
| URI | m2://inv/T9201YD09J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive bias, Adaptive bias (topic). Also Wikidata Q4680722
History
- 2026-11-02: add by m2/dev
T920NB0VK6 T920NB0VK6
| URI | m2://inv/T920NB0VK6 |
|---|---|
| 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.21655#GTBR (statement). In 3Q0387SH7Q/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
T925PRBBR2 T925PRBBR2
| URI | m2://inv/T925PRBBR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2210.17066#ZW6S (statement). In X2AEJAQEP8/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
T92B420QQ3 T92B420QQ3
| URI | m2://inv/T92B420QQ3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.02073#4L3X (example). In 3PNCRG6J62/e1, example 3.6
History
- 2026-10-27: add by m2/v0.3.5
Green-bounded T92EAVCQAY
| URI | m2://inv/T92EAVCQAY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#9CWG, Green-bounded (definition). In 6DJR9DKY5W/e1, definition 4.11
History
- 2026-10-28: add by m2/v0.4.2
T92G5Y5PCE T92G5Y5PCE
| URI | m2://inv/T92G5Y5PCE |
|---|---|
| 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 0812.1600#UYW7 (statement). In 7Z12QX7837/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Tanaka's formula T92MBZMEGX
| URI | m2://inv/T92MBZMEGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanaka's formula, Tanaka's formula (statement). Also Wikidata Q3068230
History
- 2026-11-02: add by m2/dev
T92Q7FVVZS T92Q7FVVZS
| URI | m2://inv/T92Q7FVVZS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#8M6C (example). In KZ71GXT2B0/e1, example 4.12
History
- 2026-10-28: add by m2/v0.4.2
T92VJK8N5W T92VJK8N5W
| URI | m2://inv/T92VJK8N5W |
|---|---|
| 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.04876#PHHT (statement). In 2TNAKVC0YP/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Roy Morgan T932FZ1CBS
| URI | m2://inv/T932FZ1CBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#7ZFF, Roy Morgan (unknown)
History
- 2026-11-02: add by m2/dev
Helliar-Liu T9390MXP62
| URI | m2://inv/T9390MXP62 |
|---|---|
| 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.22393#OHZD, Helliar-Liu (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dieter Weichert T9395X1Z6Z
| URI | m2://inv/T9395X1Z6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#63AR, Dieter Weichert (unknown)
History
- 2026-11-02: add by m2/dev
Ascending chain condition on principal ideals T93EWR87MX
| URI | m2://inv/T93EWR87MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ascending chain condition on principal ideals, Ascending chain condition on principal ideals (definition). Also Wikidata Q4803817
History
- 2026-11-02: add by m2/dev
Algorithms T93HYFWE0R
| URI | m2://inv/T93HYFWE0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple kernel learning#6CCS, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Properties T93J3QK2F6
| URI | m2://inv/T93J3QK2F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocorrelation#J7ST, Properties (statement)
History
- 2026-11-02: add by m2/dev
Feynman-Kac formula T93WKVXVDE
| URI | m2://inv/T93WKVXVDE |
|---|---|
| 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 2303.10636#4S9O, Feynman-Kac formula (statement). In 9SV2RAEPXM/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
Statement T93XSME53H
| URI | m2://inv/T93XSME53H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal spectral theorem#ES0B, Statement (statement)
History
- 2026-11-02: add by m2/dev
Definition T94C58HJ4Z
| URI | m2://inv/T94C58HJ4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second moment of area#FN8U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications T94HH928HE
| URI | m2://inv/T94HH928HE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random field#CJBX, Applications (example)
History
- 2026-11-02: add by m2/dev
Linear grammar T94M39HGNS
| URI | m2://inv/T94M39HGNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#L6FS, Linear grammar (definition)
History
- 2026-11-02: add by m2/dev
Bornivorous set T94YB05BSY
| URI | m2://inv/T94YB05BSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornivorous set, Bornivorous set (definition). Also Wikidata Q96373819
History
- 2026-11-02: add by m2/dev
Benacerraf's identification problem T94YBDXMYD
| URI | m2://inv/T94YBDXMYD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benacerraf's identification problem, Benacerraf's identification problem (problem). Also Wikidata Q17004819
History
- 2026-11-02: add by m2/dev
Notation T94ZNQY21R
| URI | m2://inv/T94ZNQY21R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical variable#FGLN, Notation (definition)
History
- 2026-11-02: add by m2/dev
Superspace T950W28128
| URI | m2://inv/T950W28128 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#XS9U, Superspace (definition)
History
- 2026-11-02: add by m2/dev
T959C36PHF T959C36PHF
| URI | m2://inv/T959C36PHF |
|---|---|
| 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.09949#XHXI (statement). In VGJVFCDV8A/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Normalizer (group theory) T95E5W300Y
| URI | m2://inv/T95E5W300Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centralizer and normalizer#O39R, Normalizer (group theory) (unknown)
History
- 2026-11-02: add by m2/dev
T95F8XV203 T95F8XV203
| URI | m2://inv/T95F8XV203 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.09133#72MJ (statement). In E7BPGPP9Z5/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.10
Bryne Euclid T95HSKK387
| URI | m2://inv/T95HSKK387 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oliver Byrne (mathematician)#5FEW, Bryne Euclid (unknown)
History
- 2026-11-02: add by m2/dev
Basic properties T95QETVG7P
| URI | m2://inv/T95QETVG7P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#JERL, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Klein bottle T95S36EQPK
| URI | m2://inv/T95S36EQPK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/klein-bottle, Klein bottle (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Non-orientable wormhole T95YMC1PGC
| URI | m2://inv/T95YMC1PGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-orientable wormhole, Non-orientable wormhole (definition). Also Wikidata Q7048969
History
- 2026-11-02: add by m2/dev
Examples T95Z9DFJEE
| URI | m2://inv/T95Z9DFJEE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Untouchable number#S6QQ, Examples (example)
History
- 2026-11-02: add by m2/dev
T96DBNB3KY T96DBNB3KY
| URI | m2://inv/T96DBNB3KY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#6943 (example). In HX63A1PH1W/e1, example 3.43
History
- 2026-10-28: add by m2/v0.4.3
Example T96KGDFEWG
| URI | m2://inv/T96KGDFEWG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#ZJDV, Example (example)
History
- 2026-11-02: add by m2/dev
tricuspidal T96MW8XNSY
| URI | m2://inv/T96MW8XNSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#BL20, tricuspidal (definition)
History
- 2026-11-02: add by m2/dev
moving sofa problem T96QJ0SGZR
| URI | m2://inv/T96QJ0SGZR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2635526, moving sofa problem (problem). Also MathWorld MovingSofaProblem
- wikipedia: Wikipedia Moving sofa problem, Moving sofa problem (conjecture). Also Wikidata Q2635526
History
- 2026-10-26: add by m2/dev
Intensity T96RGB51K0
| URI | m2://inv/T96RGB51K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensity (measure theory), Intensity (definition). Also Wikidata Q55647957
History
- 2026-11-02: add by m2/dev
T96SR7QCWH T96SR7QCWH
| URI | m2://inv/T96SR7QCWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01467#P07Z (statement). In 10GZB25WAC/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
King Frederik VIII Land T96SYVCBAE
| URI | m2://inv/T96SYVCBAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LM0O, King Frederik VIII Land (unknown)
History
- 2026-11-02: add by m2/dev
The Riemann–Siegel formula T96V9QAM8T
| URI | m2://inv/T96V9QAM8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z function#SFT5, The Riemann–Siegel formula (statement)
History
- 2026-11-02: add by m2/dev
T979VNBD7E T979VNBD7E
| URI | m2://inv/T979VNBD7E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-1.xml#activity-1 (exercise). In 649HGZKE96, activity, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Algorithm T97A41WP66
| URI | m2://inv/T97A41WP66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strassen algorithm#QDUM, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
T97AM1Y4AB T97AM1Y4AB
| URI | m2://inv/T97AM1Y4AB |
|---|---|
| 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.04165#7ZA9 (statement). In PKN283MHF8/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
Magnus Pegel T97H6HA6XH
| URI | m2://inv/T97H6HA6XH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnus Pegel, Magnus Pegel (topic). Also Wikidata Q91453
History
- 2026-11-02: add by m2/dev
T97NG45WA0 T97NG45WA0
| URI | m2://inv/T97NG45WA0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:cat-weq-eq (statement). In N54F33XE07, thm, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
David Siegmund T97S6TY674
| URI | m2://inv/T97S6TY674 |
|---|---|
| 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#A02N, David Siegmund (topic)
History
- 2026-11-02: add by m2/dev
Statement T980WAMYMZ
| URI | m2://inv/T980WAMYMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartwright's theorem#6CYC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Shrinking time intervals T982DR9QBZ
| URI | m2://inv/T982DR9QBZ |
|---|---|
| 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.29047#PVRK, Shrinking time intervals (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties T98GG1R6YC
| URI | m2://inv/T98GG1R6YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted diagonal (category theory)#6PK6, Properties (statement)
History
- 2026-11-02: add by m2/dev
T98HAQHDNV T98HAQHDNV
| URI | m2://inv/T98HAQHDNV |
|---|---|
| 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.18281#OSLV (statement). In QYD0EJM85G/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Hector Zenil T98N3M9TZR
| URI | m2://inv/T98N3M9TZR |
|---|---|
| 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 Q63660773, Hector Zenil (unknown). Also nLab Hector Zenil
History
- 2026-10-26: add by m2/dev
T98RX75WWS T98RX75WWS
| URI | m2://inv/T98RX75WWS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#DGPX (problem)
History
- 2026-11-01: add by m2/v0.6.15
Definition T9909Z53TX
| URI | m2://inv/T9909Z53TX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foliation#LNP8, Definition (definition)
History
- 2026-11-02: add by m2/dev
T995W80NKE T995W80NKE
| URI | m2://inv/T995W80NKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#5EDC (statement). In K8JMTRS42G/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
T99823YR60 T99823YR60
| URI | m2://inv/T99823YR60 |
|---|---|
| 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 2312.14319#22XZ (statement). In V0S2EZ53GB/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Explicit Lower Bound for $\gamma_r^\star$ T99CH5XS8R
| URI | m2://inv/T99CH5XS8R |
|---|---|
| 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.17604#WQKW, Explicit Lower Bound for $\gamma_r^\star$ (statement). In CZNRSB168G/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
T99F1SR2AZ T99F1SR2AZ
| URI | m2://inv/T99F1SR2AZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#GHK5 (definition). In CY1FE8W1ZW/e1, definition 0.283
History
- 2026-10-27: add by m2/v0.4.0
Corinna Ulcigrai T99KGSE54T
| URI | m2://inv/T99KGSE54T |
|---|---|
| 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#FC6N, Corinna Ulcigrai (topic)
History
- 2026-11-02: add by m2/dev
T99P80C8TN T99P80C8TN
| URI | m2://inv/T99P80C8TN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#BGKJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
T99RQDNR97 T99RQDNR97
| URI | m2://inv/T99RQDNR97 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
Suzanne Bachelard T99V1B2C2M
| URI | m2://inv/T99V1B2C2M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suzanne Bachelard, Suzanne Bachelard (topic). Also Wikidata Q3505892
History
- 2026-11-02: add by m2/dev
T99V6RQMBR T99V6RQMBR
| URI | m2://inv/T99V6RQMBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29449#AB4B (statement)
History
- 2026-11-01: add by m2/v0.6.15
T9A5QGJ3CA T9A5QGJ3CA
| URI | m2://inv/T9A5QGJ3CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.23605#0JAQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
T9A79N2W3T T9A79N2W3T
| URI | m2://inv/T9A79N2W3T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27646#07W3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Station-to-Station protocol T9AEF2H42N
| URI | m2://inv/T9AEF2H42N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Station-to-Station protocol, Station-to-Station protocol (definition). Also Wikidata Q7604200
History
- 2026-11-02: add by m2/dev
Munishvara T9AR7RH45Z
| URI | m2://inv/T9AR7RH45Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#38Y1, Munishvara (topic)
History
- 2026-11-02: add by m2/dev
Algorithmic characterization T9B1T0FA70
| URI | m2://inv/T9B1T0FA70 |
|---|---|
| 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.18600#6CEY, Algorithmic characterization (statement). In 31D6TQVCNZ/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
T9B2826NHM T9B2826NHM
| URI | m2://inv/T9B2826NHM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
T9B319E06P T9B319E06P
| URI | m2://inv/T9B319E06P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39793#IW6Z (example). In 380M45ANWF/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Probabilistic method T9B97PHYF0
| URI | m2://inv/T9B97PHYF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic method, Probabilistic method (definition). Also Wikidata Q3333679
History
- 2026-11-02: add by m2/dev
Matrix gamma distribution T9BMZQT66V
| URI | m2://inv/T9BMZQT66V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix gamma distribution, Matrix gamma distribution (definition). Also Wikidata Q17098767
History
- 2026-11-02: add by m2/dev
T9BS5VBKE9 T9BS5VBKE9
| URI | m2://inv/T9BS5VBKE9 |
|---|---|
| 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 2108.00412#QJ5S (statement). In APD8GE0E4F/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Miklós Ajtai T9C162XN51
| URI | m2://inv/T9C162XN51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CXDQ, Miklós Ajtai (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EBG7, Miklós Ajtai (unknown)
History
- 2026-11-02: add by m2/dev
Continuous symmetry T9C3FB6B15
| URI | m2://inv/T9C3FB6B15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#OV28, Continuous symmetry (definition)
History
- 2026-11-02: add by m2/dev
Properties T9CCB6P9PZ
| URI | m2://inv/T9CCB6P9PZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter group#46Y4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Specht's theorem T9CP8PYH00
| URI | m2://inv/T9CP8PYH00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7574438, Specht's theorem (statement). Also Wikidata Q7574438
- thousand_plus: thousand_plus Q7574438, Specht's theorem (statement). Also Wikidata Q7574438, Wikipedia Specht's theorem
- wikipedia: Wikipedia Specht's theorem, Specht's theorem (statement). Also Wikidata Q7574438
History
- 2026-10-26: add by m2/dev
T9CR8JJ06Z T9CR8JJ06Z
| URI | m2://inv/T9CR8JJ06Z |
|---|---|
| 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.09729#VILU (statement). In 7CDD4HCYTV/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
Chord diagram T9CXGNWRH3
| URI | m2://inv/T9CXGNWRH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chord diagram (information visualization), Chord diagram (definition). Also Wikidata Q18205973
History
- 2026-11-02: add by m2/dev
Complete measure T9D1MK7ACV
| URI | m2://inv/T9D1MK7ACV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete measure, Complete measure (definition). Also Wikidata Q527101
History
- 2026-11-02: add by m2/dev
Joel Hass T9D6J4PH4K
| URI | m2://inv/T9D6J4PH4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joel Hass, Joel Hass (topic). Also Wikidata Q6213535
History
- 2026-11-02: add by m2/dev
Leakage T9DFC9XV8J
| URI | m2://inv/T9DFC9XV8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leakage (machine learning), Leakage (definition). Also Wikidata Q85776087
History
- 2026-11-02: add by m2/dev
Mostow rigidity theorem T9DMCE3313
| URI | m2://inv/T9DMCE3313 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#X44P, Mostow rigidity theorem (statement)
History
- 2026-11-02: add by m2/dev
$(3)\inv$ in $\ZZ$ T9DNMFSSP2
| URI | m2://inv/T9DNMFSSP2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#example-6, $(3)\inv$ in $\ZZ$ (example). In RZP28ERRZV, example, section 10.6
History
- 2026-11-01: add by m2/v0.6.13
Bernard Malgrange T9DP359B26
| URI | m2://inv/T9DP359B26 |
|---|---|
| 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 Q687620, Bernard Malgrange (unknown). Also nLab Bernard Malgrange
- wikipedia: Wikipedia Bernard Malgrange, Bernard Malgrange (topic). Also Wikidata Q687620
History
- 2026-10-26: add by m2/dev
Examples T9DPNG7TXM
| URI | m2://inv/T9DPNG7TXM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence relation#MLKK, Examples (example)
History
- 2026-11-02: add by m2/dev
Vrushali Bokil T9DQB30S6K
| URI | m2://inv/T9DQB30S6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vrushali Bokil, Vrushali Bokil (topic). Also Wikidata Q102259931
History
- 2026-11-02: add by m2/dev
Outcome switching T9DSAZ88CC
| URI | m2://inv/T9DSAZ88CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outcome switching, Outcome switching (definition). Also Wikidata Q126009023
History
- 2026-11-02: add by m2/dev
Example T9DW6JKHWX
| URI | m2://inv/T9DW6JKHWX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#HGL9, Example (example)
History
- 2026-11-02: add by m2/dev
Reduction to parabolic, Proposition 3.6.12 T9DX7TGPRV
| URI | m2://inv/T9DX7TGPRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#MOFN, Reduction to parabolic, Proposition 3.6.12 (statement). In 328KGRNN0W/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Framingtopes: Third Definition T9DZ9KYB4M
| URI | m2://inv/T9DZ9KYB4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#7422, Framingtopes: Third Definition (definition)
History
- 2026-11-02: add by m2/v0.6.18
T9E0KMNP34 T9E0KMNP34
| URI | m2://inv/T9E0KMNP34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#A97B (statement). In JW8HH6EPG2/e1, lemma 3.31
History
- 2026-10-29: add by m2/v0.4.10
T9E398DNPD T9E398DNPD
| URI | m2://inv/T9E398DNPD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00271#9YWB (example). In T1NSCAZS28/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
Asma Hassannezhad T9E43B9KBP
| URI | m2://inv/T9E43B9KBP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asma Hassannezhad, Asma Hassannezhad (topic). Also Wikidata Q102405490
History
- 2026-11-02: add by m2/dev
Example T9E4J4X71N
| URI | m2://inv/T9E4J4X71N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour integration#FT0F, Example (example)
History
- 2026-11-02: add by m2/dev
Examples T9E4RFGP19
| URI | m2://inv/T9E4RFGP19 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational function#OW1N, Examples (example)
History
- 2026-11-02: add by m2/dev
Robinson–Dadson curves T9E7S2632Q
| URI | m2://inv/T9E7S2632Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#3KMS, Robinson–Dadson curves (unknown)
History
- 2026-11-02: add by m2/dev
Annibale Pastore T9E8R20QGK
| URI | m2://inv/T9E8R20QGK |
|---|---|
| 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#20YK, Annibale Pastore (unknown)
History
- 2026-11-02: add by m2/dev
T9ENVMVAE9 T9ENVMVAE9
| URI | m2://inv/T9ENVMVAE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20299#6OLG (statement). In P7T0W5D3W3/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Glauber dynamics T9EVZ2GF5G
| URI | m2://inv/T9EVZ2GF5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5DSE, Glauber dynamics (definition)
History
- 2026-11-02: add by m2/dev
T9FG9YQ3ZK T9FG9YQ3ZK
| URI | m2://inv/T9FG9YQ3ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#TMIM (statement). In 6FH16YESRH/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
T9FGJV4V1F T9FGJV4V1F
| URI | m2://inv/T9FGJV4V1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36412#3TFF (statement). In 6HKGGCMBCK/e1, lemma 1.8
History
- 2026-10-30: add by m2/v0.4.12
Chebyshev polynomial of the second kind T9FH1ZJC8H
| URI | m2://inv/T9FH1ZJC8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q98479457, Chebyshev polynomial of the second kind (unknown). Also MathWorld ChebyshevPolynomialoftheSecondKind, OEIS A053117
History
- 2026-10-26: add by m2/dev
T9FNB5374Z T9FNB5374Z
| URI | m2://inv/T9FNB5374Z |
|---|---|
| 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.00358#WD34 (statement). In C5WGCSPM6W/e1, corollary 7.3
History
- 2026-10-30: add by m2/v0.4.12
Two-element group direct products T9FPY6JK83
| URI | m2://inv/T9FPY6JK83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#OVFR, Two-element group direct products (statement). In 7XEVYJKJ5C/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
T9FQX0FEVF T9FQX0FEVF
| URI | m2://inv/T9FQX0FEVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#KRW5 (statement). In ZEHQDJTEDG/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
T9FS7DWFZ9 T9FS7DWFZ9
| URI | m2://inv/T9FS7DWFZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.22045#IH8H (statement). In 81TAX528PQ/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Diet T9FX18S8D8
| URI | m2://inv/T9FX18S8D8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#E1RC, Diet (unknown)
History
- 2026-11-02: add by m2/dev
Remark T9FX5VQ835
| URI | m2://inv/T9FX5VQ835 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominated convergence theorem#0TVQ, Remark (unknown)
History
- 2026-11-02: add by m2/dev
T9GBWDK25X T9GBWDK25X
| URI | m2://inv/T9GBWDK25X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#E1WU (example). In 4WPYBTARS2/e1, example 2.13
History
- 2026-10-29: add by m2/v0.4.12
T9GCEAXE9M T9GCEAXE9M
| URI | m2://inv/T9GCEAXE9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35027#JJQQ (statement). In MEA7NHMQKB/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Projection mapping T9GDFJEA0Y
| URI | m2://inv/T9GDFJEA0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#1HL0, Projection mapping (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition T9GJH299BS
| URI | m2://inv/T9GJH299BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential dimension#VNMB, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
T9GJHHEKRV T9GJHHEKRV
| URI | m2://inv/T9GJHHEKRV |
|---|---|
| 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 2610.10570#2JE1 (statement). In V0MA250K2P/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
T9GKFM7WHF T9GKFM7WHF
| URI | m2://inv/T9GKFM7WHF |
|---|---|
| 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 2403.16840#SNQA (statement). In K4CZQDD0G7/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.5
T9GNT7K0H6 T9GNT7K0H6
| URI | m2://inv/T9GNT7K0H6 |
|---|---|
| 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#Z875 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T9GZAXBR03 T9GZAXBR03
| URI | m2://inv/T9GZAXBR03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#0G0N (statement). In 67GE5M1GGD/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
T9H0YQ1C3Q T9H0YQ1C3Q
| URI | m2://inv/T9H0YQ1C3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#KBK0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
N / C theorem T9H9HNX0Y6
| URI | m2://inv/T9H9HNX0Y6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem on homomorphisms#R6P0, N / C theorem (statement)
History
- 2026-11-02: add by m2/dev
2/m3 T9HH0MVF2G
| URI | m2://inv/T9HH0MVF2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic crystal system#WSB8, 2/m3 (unknown)
History
- 2026-11-02: add by m2/dev
Al-Shahrastani T9HHBP4CRX
| URI | m2://inv/T9HHBP4CRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Shahrastani, Al-Shahrastani (topic). Also Wikidata Q1050887
History
- 2026-11-02: add by m2/dev
T9HPMM23F7 T9HPMM23F7
| URI | m2://inv/T9HPMM23F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#DIFP (statement). In CEKW9CNVVW/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
T9HRT67C82 T9HRT67C82
| URI | m2://inv/T9HRT67C82 |
|---|---|
| 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 2002.01498#ZFP7 (statement). In 2H7TQ695XW/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
Relative frequency T9HVW9Z8RA
| URI | m2://inv/T9HVW9Z8RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#0BL0, Relative frequency (definition)
History
- 2026-11-02: add by m2/dev
Sally Thurston T9HXS2A81F
| URI | m2://inv/T9HXS2A81F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sally Thurston, Sally Thurston (topic). Also Wikidata Q102236249
History
- 2026-11-02: add by m2/dev
T9J0T6PAQW T9J0T6PAQW
| URI | m2://inv/T9J0T6PAQW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#QZ8I (definition)
History
- 2026-11-01: add by m2/v0.6.15
Rose Rand T9J1G8VCM7
| URI | m2://inv/T9J1G8VCM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rose Rand, Rose Rand (topic). Also Wikidata Q7367915
History
- 2026-11-02: add by m2/dev
Supremum over a compact convex set T9J8GXX0FY
| URI | m2://inv/T9J8GXX0FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#IRGG, Supremum over a compact convex set (statement). In N6EBNRZCYX/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
T9JABJJWCJ T9JABJJWCJ
| URI | m2://inv/T9JABJJWCJ |
|---|---|
| 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.18324#BAJ6 (statement). In C0EG2EY0M4/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition T9JB44EZCK
| URI | m2://inv/T9JB44EZCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistent estimator#JM60, Definition (definition)
History
- 2026-11-02: add by m2/dev
Alice Guionnet T9JX3V3TKR
| URI | m2://inv/T9JX3V3TKR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#CW3F, Alice Guionnet (topic)
History
- 2026-11-02: add by m2/dev
existence of positive critical transition values T9JZXG61H3
| URI | m2://inv/T9JZXG61H3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#FIXR, existence of positive critical transition values (example). In 94RBNQA07A/e1, example 2.41
History
- 2026-10-27: add by m2/v0.3.5
Definition T9K1DA30N5
| URI | m2://inv/T9K1DA30N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy measure theory#ZEA2, Definition (definition)
History
- 2026-11-02: add by m2/dev
T9K2GPWDHS T9K2GPWDHS
| URI | m2://inv/T9K2GPWDHS |
|---|---|
| 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.02481#NSD1 (statement). In 5HACFNFY0P/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
pie chart T9K4W8TT7S
| URI | m2://inv/T9K4W8TT7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q273404, pie chart (unknown). Also MathWorld PieChart
- wikipedia: Wikipedia Pie chart, Pie chart (definition). Also Wikidata Q273404
History
- 2026-10-26: add by m2/dev
Georg Cantor T9K80HY9YZ
| URI | m2://inv/T9K80HY9YZ |
|---|---|
| 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 Q76420, Georg Cantor (unknown). Also nLab Georg Cantor, ProofWiki Mathematician:Georg_Ferdinand_Ludwig_Philipp_Cantor
- wikipedia: Wikipedia Georg Cantor, Georg Cantor (topic). Also Wikidata Q76420
History
- 2026-10-26: add by m2/dev
Properties T9K8FZXRNR
| URI | m2://inv/T9K8FZXRNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odious number#OINS, Properties (statement)
History
- 2026-11-02: add by m2/dev
T9K9DG5TJZ T9K9DG5TJZ
| URI | m2://inv/T9K9DG5TJZ |
|---|---|
| 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.27641#DRU0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrei Bolibrukh T9KAX24RVX
| URI | m2://inv/T9KAX24RVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrei Bolibrukh, Andrei Bolibrukh (topic). Also Wikidata Q472092
History
- 2026-11-02: add by m2/dev
T9KCYFCCV8 T9KCYFCCV8
| URI | m2://inv/T9KCYFCCV8 |
|---|---|
| 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.02484#NM2M (statement). In D1V0MQZTFQ/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
Totally reflexive T9KD8Z404F
| URI | m2://inv/T9KD8Z404F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive relation#8WQV, Totally reflexive (unknown)
History
- 2026-11-02: add by m2/dev
T9KMPWPTNC T9KMPWPTNC
| URI | m2://inv/T9KMPWPTNC |
|---|---|
| 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.08658#0LPY (statement). In 7PK5WS7246/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
T9KQ1ZH76D T9KQ1ZH76D
| URI | m2://inv/T9KQ1ZH76D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#EHXQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Liouville's theorem T9KV7HKERV
| URI | m2://inv/T9KV7HKERV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454976, Liouville's theorem (conformal mappings) (statement). Also Wikidata Q4454976
- thousand_plus: thousand_plus Q4454976, Liouville's theorem (statement). Also Wikidata Q4454976, Wikipedia Liouville's theorem (conformal mappings)
- wikipedia: Wikipedia Liouville's theorem (conformal mappings), Liouville's theorem (statement). Also Wikidata Q4454976
History
- 2026-10-26: add by m2/dev
T9KWNNHRNS T9KWNNHRNS
| URI | m2://inv/T9KWNNHRNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#G231 (statement). In TB1294GY5X/e1, theorem C.6
History
- 2026-10-27: add by m2/v0.4.2
T9KXG231S1 T9KXG231S1
| URI | m2://inv/T9KXG231S1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#definition-6 (definition). In RZP28ERRZV, definition, section 32.4
History
- 2026-11-01: add by m2/v0.6.13
Bow curve T9KY80EA5X
| URI | m2://inv/T9KY80EA5X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane quartic curve#PAQQ, Bow curve (unknown)
History
- 2026-11-02: add by m2/dev
Woodall T9M19KBGRW
| URI | m2://inv/T9M19KBGRW |
|---|---|
| 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.30315#59JR, Woodall (statement). In FXTCVHYW5S/e1, theorem 5.11
History
- 2026-10-31: add by m2/v0.5.6
T9M3DWZC5B T9M3DWZC5B
| URI | m2://inv/T9M3DWZC5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#KXER (statement). In G3D1YR20BJ/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.12
Three Sisters Point T9M3KJ46SW
| URI | m2://inv/T9M3KJ46SW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KK37, Three Sisters Point (unknown)
History
- 2026-11-02: add by m2/dev
Properties T9M7ZKMWKM
| URI | m2://inv/T9M7ZKMWKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veronese map#MA7D, Properties (statement)
History
- 2026-11-02: add by m2/dev
Suzuki field extensions: reduction T9M9PA15XQ
| URI | m2://inv/T9M9PA15XQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#XNH7, Suzuki field extensions: reduction (statement). In 9NVKKW8HDH/e1, theorem 2.57
History
- 2026-10-28: add by m2/v0.4.2
Ionica Smeets T9MGJDF2ZR
| URI | m2://inv/T9MGJDF2ZR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ionica Smeets, Ionica Smeets (topic). Also Wikidata Q2649422
History
- 2026-11-02: add by m2/dev
T9MJSQ758T T9MJSQ758T
| URI | m2://inv/T9MJSQ758T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17669#2VM1 (statement). In RAWXJ72WWA/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Quasiregular honeycomb T9MK83W296
| URI | m2://inv/T9MK83W296 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiregular polyhedron#01HI, Quasiregular honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Onorato Nicoletti T9MPX0FVAV
| URI | m2://inv/T9MPX0FVAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onorato Nicoletti, Onorato Nicoletti (topic). Also Wikidata Q16658078
History
- 2026-11-02: add by m2/dev
Solving chess T9MTNMQBEA
| URI | m2://inv/T9MTNMQBEA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solving chess, Solving chess (conjecture). Also Wikidata Q7559040
History
- 2026-11-02: add by m2/dev
Dirichlet class number formula T9N0WNY47T
| URI | m2://inv/T9N0WNY47T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class number formula#94B6, Dirichlet class number formula (statement)
History
- 2026-11-02: add by m2/dev
T9N39JXNGZ T9N39JXNGZ
| URI | m2://inv/T9N39JXNGZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33050#SQB1 (definition). In VDSBMQ0G9W/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
The centered identity T9N3DP8852
| URI | m2://inv/T9N3DP8852 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12203#XINB, The centered identity (statement). In F4YTAZSCS2/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Helmut Hofer T9NR8V3Y0G
| URI | m2://inv/T9NR8V3Y0G |
|---|---|
| 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 Q91509, Helmut Hofer (unknown). Also nLab Helmut Hofer
- wikipedia: Wikipedia Helmut Hofer, Helmut Hofer (topic). Also Wikidata Q91509
History
- 2026-10-26: add by m2/dev
Differentiation of integrals T9NRX6SBAC
| URI | m2://inv/T9NRX6SBAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation of integrals, Differentiation of integrals (definition). Also Wikidata Q5275382
History
- 2026-11-02: add by m2/dev
Regular presentations and transverse refinement T9NVZ1KZ0P
| URI | m2://inv/T9NVZ1KZ0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#LJRM, Regular presentations and transverse refinement (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kimberly Sellers T9P2737GQN
| URI | m2://inv/T9P2737GQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O7R0, Kimberly Sellers (topic)
History
- 2026-11-02: add by m2/dev
T9PPY8R7D8 T9PPY8R7D8
| URI | m2://inv/T9PPY8R7D8 |
|---|---|
| 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 2610.14914#T4GF (statement). In CHC3T113Y4/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
Niky Kamran T9PQCBT9JR
| URI | m2://inv/T9PQCBT9JR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#218Y, Niky Kamran (topic)
History
- 2026-11-02: add by m2/dev
T9PRAY8BJB T9PRAY8BJB
| URI | m2://inv/T9PRAY8BJB |
|---|---|
| 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.09086#DQ6L (statement). In JPC86V77CH/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
T9PX877F9J T9PX877F9J
| URI | m2://inv/T9PX877F9J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 41.3
History
- 2026-11-01: add by m2/v0.6.13
T9PZ7BGSAF T9PZ7BGSAF
| URI | m2://inv/T9PZ7BGSAF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#JTG9 (definition). In WNDHZVY4WK/e1, definition A.14
History
- 2026-10-28: add by m2/v0.4.2
Stable $\infty$-category T9Q2FD0SCN
| URI | m2://inv/T9Q2FD0SCN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#K0UJ, Stable $\infty$-category (definition). In G3D1YR20BJ/e1, definition A.22
History
- 2026-10-29: add by m2/v0.4.12
Napoleon's theorem T9Q3DR5XEV
| URI | m2://inv/T9Q3DR5XEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Napoleon's theorem 9Q5P1P1ABX |
Mentions
- mathlib_1000: mathlib_1000 Q637418, Napoleon's theorem (statement). Also Wikidata Q637418
- thousand_plus: thousand_plus Q637418, Napoleon's theorem (statement). Also Wikidata Q637418, Wikipedia Napoleon's theorem
- wikidata: Wikidata Q637418, Napoleon's theorem (statement). Also MathWorld NapoleonsTheorem
- wikipedia: Wikipedia Napoleon's theorem, Napoleon's theorem (statement). Also Wikidata Q637418
History
- 2026-10-26: add by m2/dev
Morihiko Saito T9Q6R50AYG
| URI | m2://inv/T9Q6R50AYG |
|---|---|
| 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#J6Q7, Morihiko Saito (topic)
History
- 2026-11-02: add by m2/dev
Polyhedron T9Q7YKNQS7
| URI | m2://inv/T9Q7YKNQS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#S0NE, Polyhedron (definition)
History
- 2026-11-02: add by m2/dev
Matching-equivalent counterexamples T9Q8HBYNVM
| URI | m2://inv/T9Q8HBYNVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.34260#DR9B, Matching-equivalent counterexamples (statement). In BBE69ZPVTF/e1, proposition 5.17
History
- 2026-10-30: add by m2/v0.4.12
T9QEZVJ0Y9 T9QEZVJ0Y9
| URI | m2://inv/T9QEZVJ0Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#HJ13 (statement). In 1PR73ECTZB/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Freese, Lampe, and Taylor 1979) T9QG591TTZ
| URI | m2://inv/T9QG591TTZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#8YDB, Theorem (Freese, Lampe, and Taylor 1979) (statement)
History
- 2026-11-02: add by m2/dev
Prospect theory T9QGYNF52A
| URI | m2://inv/T9QGYNF52A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prospect theory, Prospect theory (topic). Also Wikidata Q1151839
History
- 2026-11-02: add by m2/dev
Assaf Naor T9QHFABVG8
| URI | m2://inv/T9QHFABVG8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assaf Naor, Assaf Naor (topic). Also Wikidata Q738599
History
- 2026-11-02: add by m2/dev
T9QJY1YEHN T9QJY1YEHN
| URI | m2://inv/T9QJY1YEHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#LJKU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conway's thrackle conjecture T9QK2276Z7
| URI | m2://inv/T9QK2276Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#N5RQ, Conway's thrackle conjecture (definition)
History
- 2026-11-02: add by m2/dev
T9QYGMJYY0 T9QYGMJYY0
| URI | m2://inv/T9QYGMJYY0 |
|---|---|
| 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.05221#EAWV (statement). In 53YVH3QS37/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Examples T9QZHT2GD9
| URI | m2://inv/T9QZHT2GD9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restriction (mathematics)#49ZT, Examples (example)
History
- 2026-11-02: add by m2/dev
T9R1SHZWZJ T9R1SHZWZJ
| URI | m2://inv/T9R1SHZWZJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#OSUH (definition). In 1QSCT53ZED/e1, definition 8.2
History
- 2026-10-27: add by m2/v0.4.0
Legendre wavelet T9R28DZHJX
| URI | m2://inv/T9R28DZHJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre wavelet, Legendre wavelet (definition). Also Wikidata Q6517888
History
- 2026-11-02: add by m2/dev
T9RB4Y20W3 T9RB4Y20W3
| URI | m2://inv/T9RB4Y20W3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#KGOM (definition). In 13H5BTAXHF/e1, definition 17
History
- 2026-10-27: add by m2/v0.3.5
T9RDYVCSZW T9RDYVCSZW
| URI | m2://inv/T9RDYVCSZW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#7AA0 (example). In KJY735KSMF/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
supergraph T9RJGY2FRW
| URI | m2://inv/T9RJGY2FRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4058, supergraph (definition)
History
- 2026-11-02: add by m2/dev
Higher-order Cauchy–Kovalevskaya theorem T9RRR8FR26
| URI | m2://inv/T9RRR8FR26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Kovalevskaya theorem#N62P, Higher-order Cauchy–Kovalevskaya theorem (statement)
History
- 2026-11-02: add by m2/dev
Boris Eichenbaum T9S7MCHPKK
| URI | m2://inv/T9S7MCHPKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#WTSL, Boris Eichenbaum (unknown)
History
- 2026-11-02: add by m2/dev
Nearby Lagrangian conjecture T9SB7RHBYK
| URI | m2://inv/T9SB7RHBYK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearby Lagrangian conjecture, Nearby Lagrangian conjecture (conjecture). Also Wikidata Q134882981
History
- 2026-11-02: add by m2/dev
Shuffle-exchange network T9SC3TYV43
| URI | m2://inv/T9SC3TYV43 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104868914, Shuffle-exchange network (concept). Also MathWorld Shuffle-ExchangeGraph
History
- 2026-10-26: add by m2/dev
T9SDP2V2JN T9SDP2V2JN
| URI | m2://inv/T9SDP2V2JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29111#I263 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Brian Christian T9SG5FNB80
| URI | m2://inv/T9SG5FNB80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BCEG, Brian Christian (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations T9SKXABJP2
| URI | m2://inv/T9SKXABJP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood–Richardson rule#OD51, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
The positive energy theorem T9SN2XV8C2
| URI | m2://inv/T9SN2XV8C2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact solutions in general relativity#T4M8, The positive energy theorem (statement)
History
- 2026-11-02: add by m2/dev
Postnikov tower T9SS26299D
| URI | m2://inv/T9SS26299D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.3/postnikov-tower, Postnikov tower (concept). In N54F33XE07, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Circle comparison and the spin-extension sign T9SVS2BDE0
| URI | m2://inv/T9SVS2BDE0 |
|---|---|
| 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.29839#CMCJ, Circle comparison and the spin-extension sign (statement)
History
- 2026-11-01: add by m2/v0.6.15
T9T156MQC4 T9T156MQC4
| URI | m2://inv/T9T156MQC4 |
|---|---|
| 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.12983#11N0 (statement). In M6TFZ6E060/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Componentwise finite-image criterion T9TKHKK7DW
| URI | m2://inv/T9TKHKK7DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.25805#1BK3, Componentwise finite-image criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
T9TQHRNEJX T9TQHRNEJX
| URI | m2://inv/T9TQHRNEJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#definition-5 (definition). In RZP28ERRZV, definition, section 41.3
History
- 2026-11-01: add by m2/v0.6.13
Whitehead torsion T9TVMEVPTS
| URI | m2://inv/T9TVMEVPTS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7996043, Whitehead torsion (concept). Also MathWorld WhiteheadTorsion, nLab Whitehead torsion
- wikipedia: Wikipedia Whitehead torsion, Whitehead torsion (definition). Also Wikidata Q7996043
History
- 2026-10-26: add by m2/dev
Spread T9TVZ5FE4T
| URI | m2://inv/T9TVZ5FE4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spread (projective geometry), Spread (definition). Also Wikidata Q106611350
History
- 2026-11-02: add by m2/dev
T9TX791CXG T9TX791CXG
| URI | m2://inv/T9TX791CXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24065#FONS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Taniyama group T9TZ4JQENC
| URI | m2://inv/T9TZ4JQENC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taniyama group, Taniyama group (definition). Also Wikidata Q25098754
History
- 2026-11-02: add by m2/dev
T9V0THZJ5A T9V0THZJ5A
| URI | m2://inv/T9V0THZJ5A |
|---|---|
| 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 0810.0962#98ED (definition). In 80YMRN5KS9/e1, definition 13
History
- 2026-10-27: add by m2/v0.3.5
T9V8F21V06 T9V8F21V06
| URI | m2://inv/T9V8F21V06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39455#4RX6 (statement). In HW4Y4TMEZ3/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Partition function (quantum field theory) T9VCNJH2QE
| URI | m2://inv/T9VCNJH2QE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#W895, Partition function (quantum field theory) (unknown)
History
- 2026-11-02: add by m2/dev
T9VEK2VDDP T9VEK2VDDP
| URI | m2://inv/T9VEK2VDDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
Christian Zeller T9VP6W3X7W
| URI | m2://inv/T9VP6W3X7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Zeller, Christian Zeller (topic). Also Wikidata Q72987
History
- 2026-11-02: add by m2/dev
Fast-growing T9VYCF8PSD
| URI | m2://inv/T9VYCF8PSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#RK0Z, Fast-growing (definition)
History
- 2026-11-02: add by m2/dev
Jason H. Moore T9W5W1VDTH
| URI | m2://inv/T9W5W1VDTH |
|---|---|
| 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#KVNV, Jason H. Moore (unknown)
History
- 2026-11-02: add by m2/dev
T9WHNYYDXA T9WHNYYDXA
| URI | m2://inv/T9WHNYYDXA |
|---|---|
| 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 2610.10077#NO3U (statement). In YA7H9PY3R1/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Quaternion T9WW88BV12
| URI | m2://inv/T9WW88BV12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#TR21, Quaternion (definition)
History
- 2026-11-02: add by m2/dev
T9X4RV3560 T9X4RV3560
| URI | m2://inv/T9X4RV3560 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#XIXA (problem). In 47WN78VDDF/e1, problem 4.3
History
- 2026-10-30: add by m2/v0.4.12
T9X6N945TB T9X6N945TB
| URI | m2://inv/T9X6N945TB |
|---|---|
| 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.17240#OWA3 (statement). In 59BZ4V9RQW/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Horosphere T9XC8923YY
| URI | m2://inv/T9XC8923YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#DNFV, Horosphere (definition)
History
- 2026-11-02: add by m2/dev
Frobenioid T9XNX2AMXJ
| URI | m2://inv/T9XNX2AMXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5505096, Frobenioid (unknown). Also nLab Frobenioid
- wikipedia: Wikipedia Frobenioid, Frobenioid (definition). Also Wikidata Q5505096
History
- 2026-10-26: add by m2/dev
T9XS8N6CM8 T9XS8N6CM8
| URI | m2://inv/T9XS8N6CM8 |
|---|---|
| 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.00379#4K98 (statement). In BTSCWAGACB/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
T9XWBTXDQ4 T9XWBTXDQ4
| URI | m2://inv/T9XWBTXDQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#Y39I (statement)
History
- 2026-11-02: add by m2/v0.6.18
T9XXMQNZD6 T9XXMQNZD6
| URI | m2://inv/T9XXMQNZD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#XU9F (statement). In Q6HRJP4AWA/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
T9XXTE30C9 T9XXTE30C9
| URI | m2://inv/T9XXTE30C9 |
|---|---|
| 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 math/9801068#LE2E (statement). In PMMWXCJVAZ/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Deviation identity T9XYC8D86V
| URI | m2://inv/T9XYC8D86V |
|---|---|
| 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.04948#9MOT, Deviation identity (statement). In TKHA291X5N/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
base T9XZH8BP73
| URI | m2://inv/T9XZH8BP73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder#CHJ5, base (definition)
- wikipedia: Wikipedia Cylinder#QX39, right cylinder (definition)
- wikipedia: Wikipedia Cylinder#RBA6, cylindrical surface (definition)
- wikipedia: Wikipedia Cylinder#UOLP, cylinder (definition)
- wikipedia: Wikipedia Cylinder#W080, circular cylinder (definition)
- wikipedia: Wikipedia Cylinder#Y8OT, open cylinder (definition)
- wikipedia: Wikipedia Cylinder#YR6O, oblique cylinder (definition)
History
- 2026-11-02: add by m2/dev
Definition T9Y0N4Z8ZG
| URI | m2://inv/T9Y0N4Z8ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persistence barcode#HQVG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cost curve T9Y1GG5H88
| URI | m2://inv/T9Y1GG5H88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#U4OW, Cost curve (unknown)
History
- 2026-11-02: add by m2/dev
T9Y5C3G97D T9Y5C3G97D
| URI | m2://inv/T9Y5C3G97D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#2KBU (definition). In RTE2C0PH4S/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
T9YEMYFEH1 T9YEMYFEH1
| URI | m2://inv/T9YEMYFEH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#IE9E (statement). In ZNBQD5WH1M/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.3.5
T9YMK1Q51K T9YMK1Q51K
| URI | m2://inv/T9YMK1Q51K |
|---|---|
| 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.31273#PP8A (statement). In 6KZRZVS1V5/e1, lemma B.1
History
- 2026-10-31: add by m2/v0.5.6
Examples T9YN88ERAG
| URI | m2://inv/T9YN88ERAG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite quadratic form#XVDI, Examples (example)
History
- 2026-11-02: add by m2/dev
T9YV2T2WTQ T9YV2T2WTQ
| URI | m2://inv/T9YV2T2WTQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10093#Y9NN (example). In NJDN112PFS/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.10
T9YYVDTG8E T9YYVDTG8E
| URI | m2://inv/T9YYVDTG8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06438#XIFF (statement). In Z633BH3HER/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Open Logic Project T9YZ9MVE1S
| URI | m2://inv/T9YZ9MVE1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q99732303, Open Logic Project (unknown). Also nLab Open Logic Project
History
- 2026-10-26: add by m2/dev
T9Z5MYGWV3 T9Z5MYGWV3
| URI | m2://inv/T9Z5MYGWV3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
hexadecagon T9Z8K2M5RK
| URI | m2://inv/T9Z8K2M5RK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q263152, hexadecagon (unknown). Also MathWorld Hexadecagon
- wikipedia: Wikipedia Hexadecagon, Hexadecagon (definition). Also Wikidata Q263152
History
- 2026-10-26: add by m2/dev
Euclid's postulates T9Z93JBC2W
| URI | m2://inv/T9Z93JBC2W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5197118, Euclid's postulates (unknown). Also MathWorld EuclidsPostulates
History
- 2026-10-26: add by m2/dev
Generalizations T9ZN6VGZXC
| URI | m2://inv/T9ZN6VGZXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform absolute-convergence#Y7F6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev