Inventory rows R9
The cards of the rows of the inventory whose ids start with R9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
R902N02B34 R902N02B34
| URI | m2://inv/R902N02B34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#KBAY (statement). In MRR92GQNZE/e1, lemma 5.13
History
- 2026-10-30: add by m2/v0.4.12
R905P9V50F R905P9V50F
| URI | m2://inv/R905P9V50F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20008#32R2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example R905V153W3
| URI | m2://inv/R905V153W3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication operator#B5K5, Example (example)
History
- 2026-11-02: add by m2/dev
R9068QX4D0 R9068QX4D0
| URI | m2://inv/R9068QX4D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#AWSF (statement)
History
- 2026-11-02: add by m2/v0.6.18
R90B81E1XJ R90B81E1XJ
| URI | m2://inv/R90B81E1XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#HJVB (statement)
History
- 2026-11-02: add by m2/v0.6.17
R90HE42ABH R90HE42ABH
| URI | m2://inv/R90HE42ABH |
|---|---|
| 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.11002#T5QX (statement). In P55JSAYR3T/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
R90QJT42PS R90QJT42PS
| URI | m2://inv/R90QJT42PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06312#FJID (statement). In Y3HBJMCC4D/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Partially ordered monoid R90S0KQZ9T
| URI | m2://inv/R90S0KQZ9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#9T7C, Partially ordered monoid (definition)
History
- 2026-11-02: add by m2/dev
R90T43WQ81 R90T43WQ81
| URI | m2://inv/R90T43WQ81 |
|---|---|
| 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 0809.4587#4GRZ (statement). In KQ8JPHDKKE/e1, lemma 9.7.21
History
- 2026-10-27: add by m2/v0.3.5
Nir Hen R90X5JJFGR
| URI | m2://inv/R90X5JJFGR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EHVW, Nir Hen (unknown)
History
- 2026-11-02: add by m2/dev
R91AEMY1TQ R91AEMY1TQ
| URI | m2://inv/R91AEMY1TQ |
|---|---|
| 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.03628#LIJ8 (statement). In P8KT6JV9N1/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.12
Properties R91J35SKKT
| URI | m2://inv/R91J35SKKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute difference#UAS4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications R91JAQ45JN
| URI | m2://inv/R91JAQ45JN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grassmannian#SM0B, Applications (example)
History
- 2026-11-02: add by m2/dev
Pascal matrix R91KHX7XTH
| URI | m2://inv/R91KHX7XTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#CX8F, Pascal matrix (definition)
History
- 2026-11-02: add by m2/dev
R91MG8RGDC R91MG8RGDC
| URI | m2://inv/R91MG8RGDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#BG8C (statement). In 48QX0QD0XR/e1, theorem 7.9
History
- 2026-10-28: add by m2/v0.4.3
Examples R91MZ077YZ
| URI | m2://inv/R91MZ077YZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal graph#YF4O, Examples (example)
History
- 2026-11-02: add by m2/dev
R91P2S0Z2E R91P2S0Z2E
| URI | m2://inv/R91P2S0Z2E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#5Y7I (definition). In 7V2PVZS04C/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Planck mass R91Q2BQWDS
| URI | m2://inv/R91Q2BQWDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q592634, Planck mass (unknown). Also nLab Planck mass
History
- 2026-10-26: add by m2/dev
Carol Wood R91QKQ3CPG
| URI | m2://inv/R91QKQ3CPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol Wood, Carol Wood (topic). Also Wikidata Q18719252
History
- 2026-11-02: add by m2/dev
Oswald Teichmüller R91ZYBKJQN
| URI | m2://inv/R91ZYBKJQN |
|---|---|
| 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 Q68507, Oswald Teichmüller (unknown). Also nLab Oswald Teichmüller
History
- 2026-10-26: add by m2/dev
Quantitative whole-face geometry in aligned coordinates R924M9GWEK
| URI | m2://inv/R924M9GWEK |
|---|---|
| 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.11309#ADS1, Quantitative whole-face geometry in aligned coordinates (statement). In TTEAQA1XXR/e1, lemma G.3
History
- 2026-10-28: add by m2/v0.4.3
Kurt Mehlhorn R926DQ3AKM
| URI | m2://inv/R926DQ3AKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4FCZ, Kurt Mehlhorn (unknown)
History
- 2026-11-02: add by m2/dev
R92BY28GND R92BY28GND
| URI | m2://inv/R92BY28GND |
|---|---|
| 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 math/9602216#78LR (statement). In SD43497T8C/e1, lemma 1.43
History
- 2026-10-27: add by m2/v0.3.5
R92F8CYSX6 R92F8CYSX6
| URI | m2://inv/R92F8CYSX6 |
|---|---|
| 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 2012.05048#YN0F (statement). In NY9HW1E6DY/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
R92FX2YGM0 R92FX2YGM0
| URI | m2://inv/R92FX2YGM0 |
|---|---|
| Kind | problem |
| 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 1806.00752#8PKZ (problem). In GGW2N4JHXM/e1, problem 3
History
- 2026-10-27: add by m2/v0.3.5
R92G6CZQKX R92G6CZQKX
| URI | m2://inv/R92G6CZQKX |
|---|---|
| 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 2509.05577#7REF (statement). In EFWBREMZAP/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.3.5
R92VA3G3VN R92VA3G3VN
| URI | m2://inv/R92VA3G3VN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11292#L96M (example). In Y35XMETFV7/e1, example 3.9
History
- 2026-10-28: add by m2/v0.4.3
fiber R92ZNFEKV3
| URI | m2://inv/R92ZNFEKV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1640811, fiber (unknown). Also MathWorld Fiber, MathWorld Preimage, nLab fiber
- wikipedia: Wikipedia Fiber (mathematics), Fiber (definition). Also Wikidata Q1640811
History
- 2026-10-26: add by m2/dev
R9341RHRVG R9341RHRVG
| URI | m2://inv/R9341RHRVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#N4AN (statement). In Y1DR0DPWD0/e1, corollary 7.17
History
- 2026-10-29: add by m2/v0.4.12
R934YQCNEZ R934YQCNEZ
| URI | m2://inv/R934YQCNEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01228#9ZS6 (statement). In HZAJ20XW7F/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
R93BB0Z18F R93BB0Z18F
| URI | m2://inv/R93BB0Z18F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36827#L9AT (statement). In VSHAQTB2CA/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Repetition threshold R93JZ1YTB1
| URI | m2://inv/R93JZ1YTB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical exponent of a word#6BVI, Repetition threshold (unknown)
History
- 2026-11-02: add by m2/dev
R93NHJZM7N R93NHJZM7N
| URI | m2://inv/R93NHJZM7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#LHBM (statement). In 9DQKY7KGE8/e1, corollary 5.12
History
- 2026-10-27: add by m2/v0.3.5
Class 2-alt R93YZHV2GR
| URI | m2://inv/R93YZHV2GR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#7YOJ, Class 2-alt (example). In 75E8ZB1CBV/e1, example 4.2.2
History
- 2026-10-27: add by m2/v0.4.0
R943M6EDZ4 R943M6EDZ4
| URI | m2://inv/R943M6EDZ4 |
|---|---|
| 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.06461#WVYO (statement). In QXY3W2JV2N/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
small dodecahemidodecahedron R946Q3ZP2D
| URI | m2://inv/R946Q3ZP2D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2717567, small dodecahemidodecahedron (object). Also MathWorld SmallDodecahemidodecahedron
- wikipedia: Wikipedia Small dodecahemidodecahedron, Small dodecahemidodecahedron (object). Also Wikidata Q2717567
History
- 2026-10-26: add by m2/dev
Quadrupole formula R94BK76CBQ
| URI | m2://inv/R94BK76CBQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrupole formula, Quadrupole formula (statement). Also Wikidata Q18389841
History
- 2026-11-02: add by m2/dev
R94KXJWR0D R94KXJWR0D
| URI | m2://inv/R94KXJWR0D |
|---|---|
| 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 2504.14383#MJB2 (statement). In QD0X3XJS6T/e1, lemma 7.11
History
- 2026-10-27: add by m2/v0.3.5
International Statistical Institute R94PE2Z3FA
| URI | m2://inv/R94PE2Z3FA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#RNFW, International Statistical Institute (unknown)
History
- 2026-11-02: add by m2/dev
R94Q1HPVBP R94Q1HPVBP
| URI | m2://inv/R94Q1HPVBP |
|---|---|
| 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.08042#ZD0Q (statement). In SSEDAYK3CQ/e1, fact 1
History
- 2026-10-29: add by m2/v0.4.10
R94SJYJNJ3 R94SJYJNJ3
| URI | m2://inv/R94SJYJNJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#0BK0 (statement). In KZ175036B5/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Derivative identity for $J_m$ R94WBRSSWF
| URI | m2://inv/R94WBRSSWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26537#F4M4, Derivative identity for $J_m$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Loop attachment at every prime R94WSPZQ8K
| URI | m2://inv/R94WSPZQ8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#UKNA, Loop attachment at every prime (statement). In Y1DR0DPWD0/e1, theorem 6.7
History
- 2026-10-29: add by m2/v0.4.12
Chen, Louis Hsiao Yun R952Y43WB1
| URI | m2://inv/R952Y43WB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZZCK, Chen, Louis Hsiao Yun (topic)
History
- 2026-11-02: add by m2/dev
Discrete object R95CK2JC6A
| URI | m2://inv/R95CK2JC6A |
|---|---|
| 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#OLWJ, Discrete object (definition). In G3D1YR20BJ/e1, definition A.18
History
- 2026-10-29: add by m2/v0.4.12
Equidistant set R95FP7955R
| URI | m2://inv/R95FP7955R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistant set, Equidistant set (definition). Also Wikidata Q25304352
History
- 2026-11-02: add by m2/dev
R95QBA5Z2R R95QBA5Z2R
| URI | m2://inv/R95QBA5Z2R |
|---|---|
| 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#6UE2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
R95RG3YHP5 R95RG3YHP5
| URI | m2://inv/R95RG3YHP5 |
|---|---|
| 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.21358#IB31 (statement). In XV70TXYS5A/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Examples R95RSHR5PX
| URI | m2://inv/R95RSHR5PX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictable process#FPOB, Examples (example)
History
- 2026-11-02: add by m2/dev
quantitative critical-line positivity R95ZYTAEWB
| URI | m2://inv/R95ZYTAEWB |
|---|---|
| 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.03728#1YHW, quantitative critical-line positivity (statement). In NXR84SNM8F/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.12
Catherine Bandle R962A9VDFS
| URI | m2://inv/R962A9VDFS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Bandle, Catherine Bandle (topic). Also Wikidata Q97347125
History
- 2026-11-02: add by m2/dev
R96A15MWWB R96A15MWWB
| URI | m2://inv/R96A15MWWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.25761#9PDS (statement)
History
- 2026-11-01: add by m2/v0.6.15
R96C9TB8Z5 R96C9TB8Z5
| URI | m2://inv/R96C9TB8Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19358#FD0M (statement). In N3QZZ7BD0V/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
Web R96K0TFMC3
| URI | m2://inv/R96K0TFMC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Web (differential geometry), Web (definition). Also Wikidata Q7978501
History
- 2026-11-02: add by m2/dev
Shallow representation bounds for $\operatorname{ReLU}^3$ R96MPNSFRH
| URI | m2://inv/R96MPNSFRH |
|---|---|
| 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.10875#TEYM, Shallow representation bounds for $\operatorname{ReLU}^3$ (statement). In N91F15MHW1/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.3
Acyclic hypergraph R96N10MF19
| URI | m2://inv/R96N10MF19 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph#RJ3V, Acyclic hypergraph (unknown)
History
- 2026-11-02: add by m2/dev
Norman H. Anning R96PWMBDCW
| URI | m2://inv/R96PWMBDCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman H. Anning, Norman H. Anning (topic). Also Wikidata Q7052300
History
- 2026-11-02: add by m2/dev
Example R977JV1BRK
| URI | m2://inv/R977JV1BRK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornish–Fisher expansion#UMP3, Example (example)
History
- 2026-11-02: add by m2/dev
Soft-information query exponent R977M6JDJB
| URI | m2://inv/R977M6JDJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#GCN8, Soft-information query exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Incompressible flow along one path R977YKXZ7S
| URI | m2://inv/R977YKXZ7S |
|---|---|
| Kind | problem |
| 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.31294#FK9W, Incompressible flow along one path (problem). In 6GK9EJMWY4/e1, problem 3.1
History
- 2026-10-31: add by m2/v0.5.6
R978FKQD5S R978FKQD5S
| URI | m2://inv/R978FKQD5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16461#LNYT (statement). In XPT71YR4V7/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Nikolay Konstantinov R97E2DXWW9
| URI | m2://inv/R97E2DXWW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Konstantinov, Nikolay Konstantinov (topic). Also Wikidata Q4231369
History
- 2026-11-02: add by m2/dev
Cyclic sieving R97E6TR0CV
| URI | m2://inv/R97E6TR0CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic sieving, Cyclic sieving (definition). Also Wikidata Q17006326
History
- 2026-11-02: add by m2/dev
spin geometry R97TS5ACDC
| URI | m2://inv/R97TS5ACDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7577406, spin geometry (topic). Also nLab spin geometry
- wikipedia: Wikipedia Spin geometry, Spin geometry (topic). Also Wikidata Q7577406
History
- 2026-10-26: add by m2/dev
Non-quasiconcavity of the surrogate dual R986APEH0S
| URI | m2://inv/R986APEH0S |
|---|---|
| Kind | example |
| 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.19181#KNVP, Non-quasiconcavity of the surrogate dual (example). In 69EG01Q2TR/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Construction R987GQJQZW
| URI | m2://inv/R987GQJQZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folkman graph#BE1O, Construction (definition)
History
- 2026-11-02: add by m2/dev
R98FXGCWK1 R98FXGCWK1
| URI | m2://inv/R98FXGCWK1 |
|---|---|
| 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.07608#SR3R (statement). In X8FQD4TEVG/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Taft Hopf algebra R98R79GPM7
| URI | m2://inv/R98R79GPM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taft Hopf algebra, Taft Hopf algebra (definition). Also Wikidata Q17046143
History
- 2026-11-02: add by m2/dev
Prime word R98T3M3FK6
| URI | m2://inv/R98T3M3FK6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.05118#PT4G, Prime word (definition). In BT0T0QS2TN/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Second derivative test R98TZG3G0Q
| URI | m2://inv/R98TZG3G0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#prop-6, Second derivative test (statement). In E59CDZA4DP, prop, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
R98XXTEPM9 R98XXTEPM9
| URI | m2://inv/R98XXTEPM9 |
|---|---|
| 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.07180#BEV6 (statement). In TM4H1RV0BQ/e1, lemma 1.3
History
- 2026-10-27: add by m2/v0.3.5
R992KJX25J R992KJX25J
| URI | m2://inv/R992KJX25J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#7C0L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lethargy theorem R997P2NZGK
| URI | m2://inv/R997P2NZGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#A0BS, Lethargy theorem (statement)
History
- 2026-11-02: add by m2/dev
Optimality criterion R99CWPWVCD
| URI | m2://inv/R99CWPWVCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimality criterion, Optimality criterion (statement). Also Wikidata Q4241335
History
- 2026-11-02: add by m2/dev
R99FXEA0FA R99FXEA0FA
| URI | m2://inv/R99FXEA0FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00375#GYOX (statement). In YV6ZXRDHX4/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Poincaré–Wirtinger inequality R99R03BW15
| URI | m2://inv/R99R03BW15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré inequality#T9G9, Poincaré–Wirtinger inequality (statement)
History
- 2026-11-02: add by m2/dev
Gödel's Diagonal Lemma R99R84FYTQ
| URI | m2://inv/R99R84FYTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#YBT8, Gödel's Diagonal Lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dual q-Krawtchouk polynomials R99S23KDPK
| URI | m2://inv/R99S23KDPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#BVPS, Dual q-Krawtchouk polynomials (definition)
History
- 2026-11-02: add by m2/dev
R99WG37BNG R99WG37BNG
| URI | m2://inv/R99WG37BNG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#proof-8 (proof). In E59CDZA4DP, proof, section 9.2.4
History
- 2026-11-01: add by m2/v0.6.13
Definition R99XM1E5K5
| URI | m2://inv/R99XM1E5K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann integral#TYU8, Definition (definition)
History
- 2026-11-02: add by m2/dev
R99ZCFEWQ7 R99ZCFEWQ7
| URI | m2://inv/R99ZCFEWQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#X2NF (statement). In D16PSAVVWV/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Carolina Araujo R99ZP737Q5
| URI | m2://inv/R99ZP737Q5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carolina Araujo (mathematician), Carolina Araujo (topic). Also Wikidata Q55591554
History
- 2026-11-02: add by m2/dev
Uniformly bounded absorption time R9A12E7DRK
| URI | m2://inv/R9A12E7DRK |
|---|---|
| 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.14988#H4MH, Uniformly bounded absorption time (statement). In B29M4E6KGC/e1, lemma G.8
History
- 2026-10-28: add by m2/v0.4.2
Pierre Pansu R9A20B9N8E
| URI | m2://inv/R9A20B9N8E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Pansu, Pierre Pansu (topic). Also Wikidata Q1235647
History
- 2026-11-02: add by m2/dev
Low intrinsic dimensionality R9A2BGA4VV
| URI | m2://inv/R9A2BGA4VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33008#9BW2, Low intrinsic dimensionality (statement). In 4M662A3ZF1/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
R9A2Y1JYXM R9A2Y1JYXM
| URI | m2://inv/R9A2Y1JYXM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.39593#IESL (definition). In BF0RYHPMS1/e1, definition 3.6
History
- 2026-10-30: add by m2/v0.4.12
square gyrobicupola R9A87H3RBQ
| URI | m2://inv/R9A87H3RBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2227497, square gyrobicupola (object). Also MathWorld SquareGyrobicupola
- wikipedia: Wikipedia Square gyrobicupola, Square gyrobicupola (definition). Also Wikidata Q2227497
History
- 2026-10-26: add by m2/dev
R9AAAQ3S0Y R9AAAQ3S0Y
| URI | m2://inv/R9AAAQ3S0Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#proof-1 (proof). In RZP28ERRZV, proof, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
James Sethian R9ABBGKVHW
| URI | m2://inv/R9ABBGKVHW |
|---|---|
| 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#2DI0, James Sethian (unknown)
History
- 2026-11-02: add by m2/dev
R9ABMSQJDA R9ABMSQJDA
| URI | m2://inv/R9ABMSQJDA |
|---|---|
| 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.26922#B0CD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalization R9ASE0K6ZH
| URI | m2://inv/R9ASE0K6ZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeb sphere theorem#C92P, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Endomorphism R9ASST82FW
| URI | m2://inv/R9ASST82FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#9T4J, Endomorphism (definition)
History
- 2026-11-02: add by m2/dev
R9ATEJ3E3G R9ATEJ3E3G
| URI | m2://inv/R9ATEJ3E3G |
|---|---|
| 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.35421#J072 (statement). In KE8B8KMDJJ/e1, corollary 6
History
- 2026-10-30: add by m2/v0.4.12
R9AWMJK8PZ R9AWMJK8PZ
| URI | m2://inv/R9AWMJK8PZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
The algorithm R9B3G3WXXR
| URI | m2://inv/R9B3G3WXXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prosthaphaeresis#OE6Y, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
R9B6NA7V8W R9B6NA7V8W
| URI | m2://inv/R9B6NA7V8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#AREY (statement). In YH1W5A0JTS/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.3.5
trace R9B7AA76XW
| URI | m2://inv/R9B7AA76XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Trace of a matrix 0XC1RDBY7A |
Mentions
- wikidata: Wikidata Q321102, trace (definition). Also EoM Trace_of_a_square_matrix, MathWorld MatrixTrace, ProofWiki Definition:Trace_(Linear_Algebra)
- wikipedia: Wikipedia Trace (linear algebra), Trace (definition). Also Wikidata Q321102
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
R9B96HHT45 R9B96HHT45
| URI | m2://inv/R9B96HHT45 |
|---|---|
| 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.26401#3B3X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Truncated order-4 pentagonal tiling R9BFXJG2P4
| URI | m2://inv/R9BFXJG2P4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 pentagonal tiling, Truncated order-4 pentagonal tiling (object). Also Wikidata Q7847898
History
- 2026-11-02: add by m2/dev
R9BQ04GCNX R9BQ04GCNX
| URI | m2://inv/R9BQ04GCNX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#0EMD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Finite difference approximation R9BRJDRA51
| URI | m2://inv/R9BRJDRA51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite difference#RP5S, Finite difference approximation (unknown)
History
- 2026-11-02: add by m2/dev
R9BRTEG8CM R9BRTEG8CM
| URI | m2://inv/R9BRTEG8CM |
|---|---|
| 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.26401#OGSK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harold Levine R9BS2034AN
| URI | m2://inv/R9BS2034AN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FWQJ, Harold Levine (topic)
History
- 2026-11-02: add by m2/dev
Generalized complex structure R9BWGF7NG0
| URI | m2://inv/R9BWGF7NG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized complex structure, Generalized complex structure (definition). Also Wikidata Q5532467
History
- 2026-11-02: add by m2/dev
R9BWGJC5E8 R9BWGJC5E8
| URI | m2://inv/R9BWGJC5E8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.16580#O5XC (definition). In MQPBZX4DR6/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Arithmetic of abelian varieties R9BYZDZA9B
| URI | m2://inv/R9BYZDZA9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic of abelian varieties, Arithmetic of abelian varieties (definition). Also Wikidata Q4791130
History
- 2026-11-02: add by m2/dev
Catastro of Ensenada R9CDCY38RC
| URI | m2://inv/R9CDCY38RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ONT0, Catastro of Ensenada (definition)
History
- 2026-11-02: add by m2/dev
Flat cover conjecture R9CEA7ED6G
| URI | m2://inv/R9CEA7ED6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat module#4327, Flat cover conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Pearls in Graph Theory R9CEP4A8P6
| URI | m2://inv/R9CEP4A8P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pearls in Graph Theory, Pearls in Graph Theory (definition). Also Wikidata Q96398707
History
- 2026-11-02: add by m2/dev
Definitions R9CWPJ4FMK
| URI | m2://inv/R9CWPJ4FMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surreal number#3D38, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition R9CX2JSS8Z
| URI | m2://inv/R9CX2JSS8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medcouple#M8WE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Path bounds R9D1QX9730
| URI | m2://inv/R9D1QX9730 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24056#B8V8, Path bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
Apeirogon R9D44M8959
| URI | m2://inv/R9D44M8959 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#260M, Apeirogon (definition)
- wikipedia: Wikipedia List of mathematical shapes#E5WQ, Apeirogon (definition)
- wikipedia: Wikipedia List of mathematical shapes#LW5F, Apeirogon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8E2I, Apeirogon (definition)
History
- 2026-11-02: add by m2/dev
R9D7W1DBEA R9D7W1DBEA
| URI | m2://inv/R9D7W1DBEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-32 (example). In VNMV985MXX, example, section C
History
- 2026-11-01: add by m2/v0.6.13
Two Mile Village R9DBZ2RP7B
| URI | m2://inv/R9DBZ2RP7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#7UJM, Two Mile Village (unknown)
History
- 2026-11-02: add by m2/dev
Topological manifold with boundary R9DE663PGF
| URI | m2://inv/R9DE663PGF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#ETMU, Topological manifold with boundary (definition). In HX63A1PH1W/e1, definition 3.21
History
- 2026-10-28: add by m2/v0.4.3
R9DEQT9SYD R9DEQT9SYD
| URI | m2://inv/R9DEQT9SYD |
|---|---|
| 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 2207.11097#G76Z (statement). In 13H5BTAXHF/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
Ganea conjecture R9DMQ920FY
| URI | m2://inv/R9DMQ920FY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ganea conjecture, Ganea conjecture (statement). Also Wikidata Q5520800
History
- 2026-11-02: add by m2/dev
R9DSSJ3GA4 R9DSSJ3GA4
| URI | m2://inv/R9DSSJ3GA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28121#0A8S (statement)
History
- 2026-11-01: add by m2/v0.6.15
R9DWFYJRWY R9DWFYJRWY
| URI | m2://inv/R9DWFYJRWY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21960#6QHH (definition). In QX77AN49J0/e1, definition 8.19
History
- 2026-10-27: add by m2/v0.4.2
Theorem (Prékopa–Leindler inequality) R9DWWQHT9H
| URI | m2://inv/R9DWWQHT9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunn–Minkowski theorem#LHYI, Theorem (Prékopa–Leindler inequality) (statement)
History
- 2026-11-02: add by m2/dev
Computation R9DXRVM2V1
| URI | m2://inv/R9DXRVM2V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranking (statistics)#U8MR, Computation (definition)
History
- 2026-11-02: add by m2/dev
R9E1ZDCCJM R9E1ZDCCJM
| URI | m2://inv/R9E1ZDCCJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#74RR (statement). In PHXJ87HKYB/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Examples R9E3VSDNH5
| URI | m2://inv/R9E3VSDNH5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neumann polynomial#VDCR, Examples (example)
History
- 2026-11-02: add by m2/dev
R9EB0TSMB8 R9EB0TSMB8
| URI | m2://inv/R9EB0TSMB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#5H32 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Artin conjecture R9EFFM804H
| URI | m2://inv/R9EFFM804H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#M1NV, Artin conjecture (definition)
History
- 2026-11-02: add by m2/dev
Relation to the Radon–Nikodym theorem R9EGNVVTY6
| URI | m2://inv/R9EGNVVTY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal spectral theorem#E86G, Relation to the Radon–Nikodym theorem (statement)
History
- 2026-11-02: add by m2/dev
Terminological axioms R9EK4CR7FD
| URI | m2://inv/R9EK4CR7FD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description logic#5TLA, Terminological axioms (statement)
History
- 2026-11-02: add by m2/dev
R9EMKMT35S R9EMKMT35S
| URI | m2://inv/R9EMKMT35S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#5WD5 (statement). In AB2WPR2FRR/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
R9EMNM89JS R9EMNM89JS
| URI | m2://inv/R9EMNM89JS |
|---|---|
| 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.28009#JNNJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Boundedness in the autonomous case R9EPPE4G1Z
| URI | m2://inv/R9EPPE4G1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#Y2QE, Boundedness in the autonomous case (statement)
History
- 2026-11-01: add by m2/v0.6.15
R. Duncan Luce R9EZS6DQRG
| URI | m2://inv/R9EZS6DQRG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PTI4, R. Duncan Luce (topic)
History
- 2026-11-02: add by m2/dev
R9FG8CERDE R9FG8CERDE
| URI | m2://inv/R9FG8CERDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#CR4B (statement)
History
- 2026-11-02: add by m2/v0.6.18
R9FJ6PAXSG R9FJ6PAXSG
| URI | m2://inv/R9FJ6PAXSG |
|---|---|
| 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.21278#J5XR (statement). In DCH1JJGGYH/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.4.2
Distribution fitting R9FQJKR71Z
| URI | m2://inv/R9FQJKR71Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U9SA, Distribution fitting (definition)
History
- 2026-11-02: add by m2/dev
ternary R9FRGSZBEG
| URI | m2://inv/R9FRGSZBEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#A0A0, ternary (definition)
History
- 2026-11-02: add by m2/dev
R9FT72HMPT R9FT72HMPT
| URI | m2://inv/R9FT72HMPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15424#YXRQ (statement). In NXYZ1EAWKN/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Regret and number of updates R9FVK37Z5C
| URI | m2://inv/R9FVK37Z5C |
|---|---|
| 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.10393#FA4Z, Regret and number of updates (statement). In ZGS97E3PB7/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
R9FVSNSD5V R9FVSNSD5V
| URI | m2://inv/R9FVSNSD5V |
|---|---|
| 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.07049#0W8A (statement). In GMF552ESG6/e1, fact 4.2
History
- 2026-10-29: add by m2/v0.4.10
Certificate Management Protocol R9FZ0JWV2Z
| URI | m2://inv/R9FZ0JWV2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certificate Management Protocol, Certificate Management Protocol (definition). Also Wikidata Q1056222
History
- 2026-11-02: add by m2/dev
Fundamental theorem of equivalence relations R9G2P7W846
| URI | m2://inv/R9G2P7W846 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence relation#0GJ0, Fundamental theorem of equivalence relations (statement)
History
- 2026-11-02: add by m2/dev
R9G2V07R30 R9G2V07R30
| URI | m2://inv/R9G2V07R30 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#HO4Z (unknown). In 4YJH4FPWDA/e1, unknown 3.12
History
- 2026-10-30: add by m2/v0.4.12
Representations R9G3J0FER0
| URI | m2://inv/R9G3J0FER0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-state machine#AST2, Representations (definition)
History
- 2026-11-02: add by m2/dev
R9G3V1K7MK R9G3V1K7MK
| URI | m2://inv/R9G3V1K7MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#WY6B (statement). In M0SQY5EZN5/e1, lemma 2.6.2
History
- 2026-10-27: add by m2/v0.3.5
R9G8QBXG5E R9G8QBXG5E
| URI | m2://inv/R9G8QBXG5E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#20NQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
R9GF7RY736 R9GF7RY736
| URI | m2://inv/R9GF7RY736 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#4MSO (statement). In 32ZZ1DETCX/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
A three-point integer window R9GH7G9EZQ
| URI | m2://inv/R9GH7G9EZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#5R88, A three-point integer window (statement). In 9YAE8FNQST/e1, corollary 6.4
History
- 2026-10-30: add by m2/v0.4.12
R9GK7B7Q76 R9GK7B7Q76
| URI | m2://inv/R9GK7B7Q76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#A77S (statement). In 49V3ANDZTY/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
R9GW6Q14JV R9GW6Q14JV
| URI | m2://inv/R9GW6Q14JV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#15U8 (example). In YVQKT91MYN/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Charghat Upazila R9GWJQ8KJ5
| URI | m2://inv/R9GWJQ8KJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GBUQ, Charghat Upazila (unknown)
History
- 2026-11-02: add by m2/dev
general solution to a system R9GX452XKK
| URI | m2://inv/R9GX452XKK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.1.1/general-solution-to-a-system, general solution to a system (concept). In E9HS8K3A52, index, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
R9H025TB8A R9H025TB8A
| URI | m2://inv/R9H025TB8A |
|---|---|
| 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.22345#CN4S (statement). In 7JATJ4VG9G/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
The conjecture R9H2CCT3J0
| URI | m2://inv/R9H2CCT3J0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős distinct distances problem#3ESL, The conjecture (statement)
History
- 2026-11-02: add by m2/dev
Robinson's paradox R9H7K8P43P
| URI | m2://inv/R9H7K8P43P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecological fallacy#8V9S, Robinson's paradox (statement)
History
- 2026-11-02: add by m2/dev
R9H8T37FNV R9H8T37FNV
| URI | m2://inv/R9H8T37FNV |
|---|---|
| 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.24845#QPI4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R9HC72H7V6 R9HC72H7V6
| URI | m2://inv/R9HC72H7V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#YPN3 (statement). In 4PGTZ19B26/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Local algebra R9HE5NXKAM
| URI | m2://inv/R9HE5NXKAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SCMB, Local algebra (definition)
History
- 2026-11-02: add by m2/dev
Emmanuel Ullmo R9HHSM5GEN
| URI | m2://inv/R9HHSM5GEN |
|---|---|
| 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#BPI4, Emmanuel Ullmo (unknown)
History
- 2026-11-02: add by m2/dev
R9HQVR5SD0 R9HQVR5SD0
| URI | m2://inv/R9HQVR5SD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#incdecdiffprop (statement). In E59CDZA4DP, prop, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
EATS R9HTN35DDA
| URI | m2://inv/R9HTN35DDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LZDB, EATS (definition)
History
- 2026-11-02: add by m2/dev
Cederbaum's maximum flow theorem R9HX4D4P0K
| URI | m2://inv/R9HX4D4P0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max-flow min-cut theorem#0QTT, Cederbaum's maximum flow theorem (statement)
History
- 2026-11-02: add by m2/dev
R9J8P6CZBS R9J8P6CZBS
| URI | m2://inv/R9J8P6CZBS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
R9JVCMMB4Y R9JVCMMB4Y
| URI | m2://inv/R9JVCMMB4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#XDPW (statement). In 2X2A6MT0QD/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Statement of the theorem R9JYCT7XZ7
| URI | m2://inv/R9JYCT7XZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acyclic model#UWQV, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Versine R9JZND6ZW6
| URI | m2://inv/R9JZND6ZW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#C30O, Versine (definition)
History
- 2026-11-02: add by m2/dev
Steve Hofmann R9K259Z9PN
| URI | m2://inv/R9K259Z9PN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve Hofmann, Steve Hofmann (topic). Also Wikidata Q7612858
History
- 2026-11-02: add by m2/dev
Localization in degree zero R9K3VY9PV8
| URI | m2://inv/R9K3VY9PV8 |
|---|---|
| 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.26318#VDWY, Localization in degree zero (statement)
History
- 2026-11-01: add by m2/v0.6.15
R9K608Z0DR R9K608Z0DR
| URI | m2://inv/R9K608Z0DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39707#6VPM (statement). In NFH5VEY1D1/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
R9K6XXPPSB R9K6XXPPSB
| URI | m2://inv/R9K6XXPPSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#W4ZI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition R9KKHWPFVT
| URI | m2://inv/R9KKHWPFVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit propagation#6LZS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Challenging R9KR9VPPXW
| URI | m2://inv/R9KR9VPPXW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-37, Challenging (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
cf.\ R9KS6MBRFT
| URI | m2://inv/R9KS6MBRFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24716#4M3E, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
OCA R9KTVY0X75
| URI | m2://inv/R9KTVY0X75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2I32, OCA (definition)
History
- 2026-11-02: add by m2/dev
R9M7J6Y1EH R9M7J6Y1EH
| URI | m2://inv/R9M7J6Y1EH |
|---|---|
| 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.16225#TPSS (statement). In H3DJV9YQW1/e1, corollary 1.9
History
- 2026-10-28: add by m2/v0.4.2
R9MRGGPCX0 R9MRGGPCX0
| URI | m2://inv/R9MRGGPCX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03449#ZYN9 (statement). In 3XM05SYQ8D/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
R9MTBD4C1A R9MTBD4C1A
| URI | m2://inv/R9MTBD4C1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.20460#5I8W (statement)
History
- 2026-11-02: add by m2/v0.6.18
R9MVQKBE2R R9MVQKBE2R
| URI | m2://inv/R9MVQKBE2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#9WM2 (statement). In X1J5HKPS3R/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.10
François Golse R9MWMNGPZD
| URI | m2://inv/R9MWMNGPZD |
|---|---|
| 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#F5I1, François Golse (unknown)
History
- 2026-11-02: add by m2/dev
Uniform weighted-prefix transfer R9MY4MY7MP
| URI | m2://inv/R9MY4MY7MP |
|---|---|
| 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.18214#U6YI, Uniform weighted-prefix transfer (statement). In S4NXHVGB0Q/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
R9N2V5A69H R9N2V5A69H
| URI | m2://inv/R9N2V5A69H |
|---|---|
| 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.04603#1H0U (statement). In HEAG8V2JM1/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.12
Isoperimetric inequality R9N9DXTJR3
| URI | m2://inv/R9N9DXTJR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a circle#ZAJR, Isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
R9NTDJ1RKM R9NTDJ1RKM
| URI | m2://inv/R9NTDJ1RKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#JBJ4 (statement). In 702AF3E4AF/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
R9NW213JTD R9NW213JTD
| URI | m2://inv/R9NW213JTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#X3W1 (statement). In SF88CM0957/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Pearson product-moment correlation coefficient R9NZZJEEHY
| URI | m2://inv/R9NZZJEEHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Correlation coefficient 0DNN9B6Q2F |
Mentions
- wikidata: Wikidata Q1136628, Pearson product-moment correlation coefficient (unknown). Also MathWorld CorrelationCoefficient
- wikipedia: Wikipedia Pearson correlation coefficient, Pearson correlation coefficient (definition). Also Wikidata Q1136628
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Alspach's theorem R9P41N6CSK
| URI | m2://inv/R9P41N6CSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Z08O, Alspach's theorem (statement)
History
- 2026-11-02: add by m2/dev
R9P4XYADNG R9P4XYADNG
| URI | m2://inv/R9P4XYADNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.27730#2U1A (statement)
History
- 2026-11-01: add by m2/v0.6.15
R9PM471QHT R9PM471QHT
| URI | m2://inv/R9PM471QHT |
|---|---|
| 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.20145#X8FZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm R9PMMKJ5QG
| URI | m2://inv/R9PMMKJ5QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabin cryptosystem#J3KT, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Definition R9PN3K9X4M
| URI | m2://inv/R9PN3K9X4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta-convergence#5O7S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wilhelm Fenner R9PQN1JP7D
| URI | m2://inv/R9PQN1JP7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#CCCM, Wilhelm Fenner (unknown)
History
- 2026-11-02: add by m2/dev
Zimmermann–Sassaman key-signing protocol R9Q58JNCNE
| URI | m2://inv/R9Q58JNCNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zimmermann–Sassaman key-signing protocol, Zimmermann–Sassaman key-signing protocol (definition). Also Wikidata Q8072139
History
- 2026-11-02: add by m2/dev
adaptive quadrature R9Q94T75KJ
| URI | m2://inv/R9Q94T75KJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Adaptive quadrature 948A39DZDE |
Mentions
- wikidata: Wikidata Q4680758, adaptive quadrature (concept). Also EoM Adaptive_quadrature
- wikipedia: Wikipedia Adaptive quadrature, Adaptive quadrature (definition). Also Wikidata Q4680758
History
- 2026-10-26: add by m2/dev
Ludvig Faddeev R9QDK3N9QX
| URI | m2://inv/R9QDK3N9QX |
|---|---|
| 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 Q1030228, Ludvig Faddeev (unknown). Also nLab Ludvig Faddeev
- wikipedia: Wikipedia Ludvig Faddeev, Ludvig Faddeev (topic). Also Wikidata Q1030228
History
- 2026-10-26: add by m2/dev
Jorge G. Russo R9QJHX9S7C
| URI | m2://inv/R9QJHX9S7C |
|---|---|
| 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 Q30504231, Jorge G. Russo (unknown). Also nLab Jorge Russo
History
- 2026-10-26: add by m2/dev
R9QRJCB7EN R9QRJCB7EN
| URI | m2://inv/R9QRJCB7EN |
|---|---|
| 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.22205#Z44S (statement). In 7REABAAQED/e1, corollary
History
- 2026-10-27: add by m2/v0.4.0
Arithmetic Riemann–Roch theorem R9QVNSXY6K
| URI | m2://inv/R9QVNSXY6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem#8RM5, Arithmetic Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
No wandering domain theorem R9R6WFPX5K
| URI | m2://inv/R9R6WFPX5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D3DL, No wandering domain theorem (statement)
History
- 2026-11-02: add by m2/dev
inverse hyperbolic sine R9R8FSQDPD
| URI | m2://inv/R9R8FSQDPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10981216, inverse hyperbolic sine (definition). Also MathWorld InverseHyperbolicSine, ProofWiki Definition:Area_Hyperbolic_Sine
History
- 2026-10-26: add by m2/dev
Complete spectral classification R9RCGW59B3
| URI | m2://inv/R9RCGW59B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#DIB5, Complete spectral classification (statement). In 65TJENWK7X/e1, theorem 12
History
- 2026-10-29: add by m2/v0.4.10
R9RDT28T23 R9RDT28T23
| URI | m2://inv/R9RDT28T23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#LVDT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions R9RVDY6Y96
| URI | m2://inv/R9RVDY6Y96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#M99D, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Texas Math and Science Coaches Association R9RZJ3R6R6
| URI | m2://inv/R9RZJ3R6R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Texas Math and Science Coaches Association, Texas Math and Science Coaches Association (definition). Also Wikidata Q7707845
History
- 2026-11-02: add by m2/dev
Dual snub 24-cell R9S0Y71HT7
| URI | m2://inv/R9S0Y71HT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual snub 24-cell, Dual snub 24-cell (definition). Also Wikidata Q113630156
History
- 2026-11-02: add by m2/dev
R9S1DZXZ4Q R9S1DZXZ4Q
| URI | m2://inv/R9S1DZXZ4Q |
|---|---|
| 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.21278#T8VF (statement). In DCH1JJGGYH/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Extensionality R9S3GDJZNK
| URI | m2://inv/R9S3GDJZNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:extensionality, Extensionality (statement). In PKGMM3P5QY, prop, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
Joseph Lee Rodgers R9S4HYPXNS
| URI | m2://inv/R9S4HYPXNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Lee Rodgers, Joseph Lee Rodgers (topic). Also Wikidata Q55956030
History
- 2026-11-02: add by m2/dev
Sanjeev Arora R9S8D78VHW
| URI | m2://inv/R9S8D78VHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sanjeev Arora (computer scientist), Sanjeev Arora (topic). Also Wikidata Q92664
History
- 2026-11-02: add by m2/dev
R9SAAHF7PJ R9SAAHF7PJ
| URI | m2://inv/R9SAAHF7PJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-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.13950#XAF3 (statement). In 8E5S3VJ8P4/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Gieseker stability R9SAYD8G5N
| URI | m2://inv/R9SAYD8G5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable vector bundle#DBLR, Gieseker stability (unknown)
History
- 2026-11-02: add by m2/dev
R9SC3NTH6T R9SC3NTH6T
| URI | m2://inv/R9SC3NTH6T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21627#QTXB (definition). In 4Z44S003HM/e1, definition 8
History
- 2026-10-27: add by m2/v0.4.2
Peter Littelmann R9SGA28E63
| URI | m2://inv/R9SGA28E63 |
|---|---|
| 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#IGEX, Peter Littelmann (topic)
- wikipedia: Wikipedia List of German mathematicians#3OPO, Peter Littelmann (topic)
History
- 2026-11-02: add by m2/dev
Examples R9SKSJHMG3
| URI | m2://inv/R9SKSJHMG3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential operator#VGHZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Incidence dimension from one evaluation R9SM7MQ3AQ
| URI | m2://inv/R9SM7MQ3AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#GB3D, Incidence dimension from one evaluation (statement)
History
- 2026-11-02: add by m2/v0.6.17
R9SMNYNAPM R9SMNYNAPM
| URI | m2://inv/R9SMNYNAPM |
|---|---|
| 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 2108.03672#AR2G (definition). In EZZSZ1F071/e1, definition 1.28
History
- 2026-10-27: add by m2/v0.4.0
Finite-sample strict improvement R9SQ45HF0X
| URI | m2://inv/R9SQ45HF0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33154#THCP, Finite-sample strict improvement (statement). In N28DEYRBW7/e1, theorem 3.9
History
- 2026-10-30: add by m2/v0.4.12
R9SQXJK2NV R9SQXJK2NV
| URI | m2://inv/R9SQXJK2NV |
|---|---|
| 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 2610.06806#U6CB (statement). In ZZQT0GFMT2/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
R9T472WMCR R9T472WMCR
| URI | m2://inv/R9T472WMCR |
|---|---|
| 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 2507.05417#Q7AU (statement). In RGHZ863Q26/e1, fact 3.18
History
- 2026-10-27: add by m2/v0.3.5
Bagaria, Koellner, Woodin R9TJDYTAVH
| URI | m2://inv/R9TJDYTAVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25291#DXUF, Bagaria, Koellner, Woodin (statement)
History
- 2026-11-01: add by m2/v0.6.15
R9TQ83BH2W R9TQ83BH2W
| URI | m2://inv/R9TQ83BH2W |
|---|---|
| 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.22381#REY1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
R9V32NJDY4 R9V32NJDY4
| URI | m2://inv/R9V32NJDY4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#4AAZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Good–Turing frequency estimation R9V69MQ04C
| URI | m2://inv/R9V69MQ04C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KVTY, Good–Turing frequency estimation (definition)
- wikipedia: Wikipedia List of things named after Alan Turing#F773, Good–Turing frequency estimation (definition)
History
- 2026-11-02: add by m2/dev
R9VDSMHCXH R9VDSMHCXH
| URI | m2://inv/R9VDSMHCXH |
|---|---|
| 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.35683#5Q4C (statement). In A4S9A3X494/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
R9WB4YGR3X R9WB4YGR3X
| URI | m2://inv/R9WB4YGR3X |
|---|---|
| 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.30165#RMJY (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Friedlander R9WBB4SAYE
| URI | m2://inv/R9WBB4SAYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5Z1F, John Friedlander (topic)
History
- 2026-11-02: add by m2/dev
R9WF2BW1WW R9WF2BW1WW
| URI | m2://inv/R9WF2BW1WW |
|---|---|
| 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.32903#R0NU (definition). In S8NB83KQX3/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
Grönwall lemma R9WS3VGSYW
| URI | m2://inv/R9WS3VGSYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > Grönwall lemma, Grönwall lemma (unknown). Also Mathlib norm_le_gronwallBound_of_norm_deriv_right_le
History
- 2026-10-26: add by m2/dev
R9WW39P5RZ R9WW39P5RZ
| URI | m2://inv/R9WW39P5RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.37893#IEFB (statement). In 8H0KHK7AMN/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
R9X4ERSNBN R9X4ERSNBN
| URI | m2://inv/R9X4ERSNBN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03864#REIE (example). In 41GB65CTBJ/e1, example A2
History
- 2026-10-29: add by m2/v0.4.12
R9X8ZK3YM4 R9X8ZK3YM4
| URI | m2://inv/R9X8ZK3YM4 |
|---|---|
| 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 2508.18436#GJTH (statement). In 6W19Z58188/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.6
R9XB1X3Q04 R9XB1X3Q04
| URI | m2://inv/R9XB1X3Q04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#BIHF (statement). In KZ71GXT2B0/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Applications R9XBCR6ZVE
| URI | m2://inv/R9XBCR6ZVE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability box#4XN2, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples R9XEZ85DD5
| URI | m2://inv/R9XEZ85DD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic function#6HKR, Examples (example)
History
- 2026-11-02: add by m2/dev
total, space R9XHZHAHTG
| URI | m2://inv/R9XHZHAHTG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.3/total-space, total, space (concept). In N54F33XE07, index, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
predicate term R9XJ93NYHR
| URI | m2://inv/R9XJ93NYHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WTI4, predicate term (definition)
History
- 2026-11-02: add by m2/dev
Definition R9XPGNTX45
| URI | m2://inv/R9XPGNTX45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahler volume#6VNA, Definition (definition)
History
- 2026-11-02: add by m2/dev
R9Y1QAZC3Y R9Y1QAZC3Y
| URI | m2://inv/R9Y1QAZC3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14377#UAKA (statement). In WEZPNET90D/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
axiom schema of replacement R9Y22E1MPJ
| URI | m2://inv/R9Y22E1MPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Axiom schema of replacement D96K8S8R61 |
Mentions
- wikidata: Wikidata Q1361825, axiom schema of replacement (statement). Also MathWorld AxiomofReplacement, nLab axiom of replacement, ProofWiki Axiom:Axiom_of_Replacement
- wikipedia: Wikipedia Axiom schema of replacement, Axiom schema of replacement (statement). Also Wikidata Q1361825
History
- 2026-10-26: add by m2/dev
Entropy cost for transformed magnitudes R9Y36A2PKF
| URI | m2://inv/R9Y36A2PKF |
|---|---|
| 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.31782#QL70, Entropy cost for transformed magnitudes (statement). In YAYP5VZ94H/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6
Constant of motion R9Y72W2EN5
| URI | m2://inv/R9Y72W2EN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant of motion, Constant of motion (definition). Also Wikidata Q647631
History
- 2026-11-02: add by m2/dev
Robert M. Solovay R9YAGQJ25P
| URI | m2://inv/R9YAGQJ25P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert M. Solovay, Robert M. Solovay (topic). Also Wikidata Q1395607
History
- 2026-11-02: add by m2/dev
Richard Bellman R9YBES5H2A
| URI | m2://inv/R9YBES5H2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#06NQ, Richard Bellman (topic)
History
- 2026-11-02: add by m2/dev
Continuum Hypothesis R9YF8709EY
| URI | m2://inv/R9YF8709EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum hypothesis#26A1, Continuum Hypothesis (statement)
History
- 2026-11-02: add by m2/dev
R9YHF8DRJV R9YHF8DRJV
| URI | m2://inv/R9YHF8DRJV |
|---|---|
| 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.21359#EUK1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
R9YRMF4CY8 R9YRMF4CY8
| URI | m2://inv/R9YRMF4CY8 |
|---|---|
| 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.08424#EGZX (statement). In BVD2HAAKD5/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
factorial, recursive definition R9YRYE4MZB
| URI | m2://inv/R9YRYE4MZB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.3/factorial-recursive-definition, factorial, recursive definition (concept). In QKM9DD2H56, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
A fixed number of affine tamperings R9YTHPADZP
| URI | m2://inv/R9YTHPADZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#90HW, A fixed number of affine tamperings (statement). In ZZER8ZBSCR/e1, corollary 3.15
History
- 2026-10-29: add by m2/v0.4.12
Erdélyi Artúr R9YY4M9E9X
| URI | m2://inv/R9YY4M9E9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#UW8U, Erdélyi Artúr (topic)
History
- 2026-11-02: add by m2/dev
Punnett, Reginald R9Z00EGGCG
| URI | m2://inv/R9Z00EGGCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TL9F, Punnett, Reginald (unknown)
History
- 2026-11-02: add by m2/dev
Examples R9Z1D15P35
| URI | m2://inv/R9Z1D15P35 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic convexity#YP3O, Examples (example)
History
- 2026-11-02: add by m2/dev
Restated R9Z1MMA5SX
| URI | m2://inv/R9Z1MMA5SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02097#MP24, Restated (statement). In DQSRCCAG6G/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
R9Z4K8T887 R9Z4K8T887
| URI | m2://inv/R9Z4K8T887 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#SZVJ (definition). In 9H45HQE7AZ/e1, definition 3.45
History
- 2026-10-27: add by m2/v0.3.5
Norm choice by rescaling R9Z5BJV8JP
| URI | m2://inv/R9Z5BJV8JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#ZAT9, Norm choice by rescaling (statement). In 7NS75J7HAM/e1, lemma 9.26
History
- 2026-10-31: add by m2/v0.5.6
Transform coding R9Z961YAYD
| URI | m2://inv/R9Z961YAYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#GN8F, Transform coding (unknown)
History
- 2026-11-02: add by m2/dev
Second-countable R9ZJZHE64V
| URI | m2://inv/R9ZJZHE64V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#Z2D2, Second-countable (definition)
History
- 2026-11-02: add by m2/dev
Examples R9ZQ7A1H3Z
| URI | m2://inv/R9ZQ7A1H3Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inference#DVY2, Examples (example)
History
- 2026-11-02: add by m2/dev