Inventory rows 9R
The cards of the rows of the inventory whose ids start with 9R. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Buchholtz 9R0GAK9ABD
| URI | m2://inv/9R0GAK9ABD |
|---|---|
| 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.32816#EOPU, Buchholtz (statement). In 10YV2P9E8W/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
9R0MRK92TN 9R0MRK92TN
| URI | m2://inv/9R0MRK92TN |
|---|---|
| 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 2610.05850#GIBY (definition). In D424GB5MAW/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
sparse 9R13ZFS4DJ
| URI | m2://inv/9R13ZFS4DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#HVTF, sparse (definition)
History
- 2026-11-02: add by m2/dev
Anthony M. Bloch 9R14XJ5F8T
| URI | m2://inv/9R14XJ5F8T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony M. Bloch, Anthony M. Bloch (topic). Also Wikidata Q102188472
History
- 2026-11-02: add by m2/dev
9R1PAFZ2R9 9R1PAFZ2R9
| URI | m2://inv/9R1PAFZ2R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#9G22 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9R1S7CX311 9R1S7CX311
| URI | m2://inv/9R1S7CX311 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#C07M (definition)
History
- 2026-11-02: add by m2/v0.6.17
Examples 9R1TRZMTCF
| URI | m2://inv/9R1TRZMTCF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional holomorphy#OACE, Examples (example)
History
- 2026-11-02: add by m2/dev
9R1YK55K61 9R1YK55K61
| URI | m2://inv/9R1YK55K61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem:s1-encode-decode (statement). In N54F33XE07, lem, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Pythagorean-like identity 9R1YNEMX87
| URI | m2://inv/9R1YNEMX87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemniscate elliptic functions#JY5L, Pythagorean-like identity (statement)
History
- 2026-11-02: add by m2/dev
9R29K106A7 9R29K106A7
| URI | m2://inv/9R29K106A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#ZQAJ (statement). In X765ZXXVC3/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
9R2CPH7HJ4 9R2CPH7HJ4
| URI | m2://inv/9R2CPH7HJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#ZYSG (statement). In XD0YT3XCW2/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
9R2V2TCRVJ 9R2V2TCRVJ
| URI | m2://inv/9R2V2TCRVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.27843#YFSJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9R34PX89AN 9R34PX89AN
| URI | m2://inv/9R34PX89AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21013#ZV65 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9R3CCMJ5XK 9R3CCMJ5XK
| URI | m2://inv/9R3CCMJ5XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.12425#MWGB (statement). In 1JAFPETDGB/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
9R3D8484ZW 9R3D8484ZW
| URI | m2://inv/9R3D8484ZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02481#85UT (statement). In 5HACFNFY0P/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.12
Yevgenii Vasilevich Zolotov 9R3MCZCH4M
| URI | m2://inv/9R3MCZCH4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yevgenii Vasilevich Zolotov, Yevgenii Vasilevich Zolotov (topic). Also Wikidata Q15067128
History
- 2026-11-02: add by m2/dev
Paolo Casati 9R3RCJ2TFJ
| URI | m2://inv/9R3RCJ2TFJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#M725, Paolo Casati (unknown)
History
- 2026-11-02: add by m2/dev
9R3RS5HCVT 9R3RS5HCVT
| URI | m2://inv/9R3RS5HCVT |
|---|---|
| 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 1002.0879#5XFX (definition). In M0SQY5EZN5/e1, definition 6.2.2
History
- 2026-10-27: add by m2/v0.3.5
scope 9R3X0C70C1
| URI | m2://inv/9R3X0C70C1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/scope, scope (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
9R3XN3EN5A 9R3XN3EN5A
| URI | m2://inv/9R3XN3EN5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop:uniformswitch (statement). In E59CDZA4DP, prop, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
The fixed-ratio limit 9R48DHARXM
| URI | m2://inv/9R48DHARXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#ISKO, The fixed-ratio limit (statement). In 4AQ48WSBDQ/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
uniform convexity does not imply polynomial norm gaps 9R4C4265XC
| URI | m2://inv/9R4C4265XC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#NDRM, uniform convexity does not imply polynomial norm gaps (example)
History
- 2026-11-01: add by m2/v0.6.15
9R4D3QSNMK 9R4D3QSNMK
| URI | m2://inv/9R4D3QSNMK |
|---|---|
| Kind | example |
| 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#82U7 (example). In 9H45HQE7AZ/e1, example 3.14
History
- 2026-10-27: add by m2/v0.3.5
Weyl inequality 9R4DJ517YH
| URI | m2://inv/9R4DJ517YH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's inequality#OL3H, Weyl inequality (statement)
History
- 2026-11-02: add by m2/dev
9R4HPH7SWZ 9R4HPH7SWZ
| URI | m2://inv/9R4HPH7SWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#9HAQ (statement). In Y3X5XY2J65/e1, corollary 7.4
History
- 2026-10-28: add by m2/v0.4.2
regular scheme 9R4QYW13DZ
| URI | m2://inv/9R4QYW13DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Regular scheme ESPG0BJERZ |
Mentions
- wikidata: Wikidata Q18393924, regular scheme (unknown). Also EoM Regular_scheme, nLab regular scheme
- wikipedia: Wikipedia Regular scheme, Regular scheme (definition). Also Wikidata Q18393924
History
- 2026-10-26: add by m2/dev
Example 9R5219SB2X
| URI | m2://inv/9R5219SB2X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biochemical systems equation#2AJI, Example (example)
History
- 2026-11-02: add by m2/dev
Lithospheric flexure 9R57NJ6HM2
| URI | m2://inv/9R57NJ6HM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lithospheric flexure, Lithospheric flexure (definition). Also Wikidata Q6648199
History
- 2026-11-02: add by m2/dev
Definition 9R5RMZJF88
| URI | m2://inv/9R5RMZJF88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#0A5P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lisette de Pillis 9R61WEY3X7
| URI | m2://inv/9R61WEY3X7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisette de Pillis, Lisette de Pillis (topic). Also Wikidata Q21005571
History
- 2026-11-02: add by m2/dev
9R62FXMXVG 9R62FXMXVG
| URI | m2://inv/9R62FXMXVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04709#KWU9 (statement). In 9J260W15RY/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
sandwiched radii 9R64EQZEKZ
| URI | m2://inv/9R64EQZEKZ |
|---|---|
| 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.20775#GWAU, sandwiched radii (statement). In XG27B81T0G/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.2
9R68TR9P9V 9R68TR9P9V
| URI | m2://inv/9R68TR9P9V |
|---|---|
| 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.30933#NWDN (statement). In KXWYE4SJY3/e1, corollary 4
History
- 2026-10-31: add by m2/v0.5.6
Lebesgue sigma-algebra 9R6CENCHAG
| URI | m2://inv/9R6CENCHAG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-algebra#HVF2, Lebesgue sigma-algebra (unknown)
History
- 2026-11-02: add by m2/dev
Ba space 9R6FF4K834
| URI | m2://inv/9R6FF4K834 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#V397, Ba space (definition)
- wikipedia: Wikipedia List of functional analysis topics#W9C7, Ba space (definition)
History
- 2026-11-02: add by m2/dev
Sparse dictionary learning 9R6PNXPBKD
| URI | m2://inv/9R6PNXPBKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse dictionary learning, Sparse dictionary learning (definition). Also Wikidata Q25304494
History
- 2026-11-02: add by m2/dev
9R6QJ9KDP4 9R6QJ9KDP4
| URI | m2://inv/9R6QJ9KDP4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#proof-2 (proof). In RZP28ERRZV, proof, section 63.3
History
- 2026-11-01: add by m2/v0.6.13
Properties 9R6V1RARWG
| URI | m2://inv/9R6V1RARWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversive distance#W09X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wang B-machine 9R6ZW0N9NK
| URI | m2://inv/9R6ZW0N9NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wang B-machine, Wang B-machine (definition). Also Wikidata Q7967358
History
- 2026-11-02: add by m2/dev
Uniform $L^\infty$ Bound 9R7CNRTPCP
| URI | m2://inv/9R7CNRTPCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09078#4RYZ, Uniform $L^\infty$ Bound (statement). In B4GK8NEZM9/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Cooperative game theory 9R7HHX4QEW
| URI | m2://inv/9R7HHX4QEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cooperative game theory, Cooperative game theory (definition). Also Wikidata Q1418321
History
- 2026-11-02: add by m2/dev
9R7KNCNRNG 9R7KNCNRNG
| URI | m2://inv/9R7KNCNRNG |
|---|---|
| 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#2GRL (statement). In WEZPNET90D/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Elongated gyrobifastigium 9R7V983XK9
| URI | m2://inv/9R7V983XK9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated gyrobifastigium, Elongated gyrobifastigium (object). Also Wikidata Q30634714
History
- 2026-11-02: add by m2/dev
Orbot 9R7Y2FNJD0
| URI | m2://inv/9R7Y2FNJD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbot, Orbot (definition). Also Wikidata Q16927751
History
- 2026-11-02: add by m2/dev
9R7ZGRKM85 9R7ZGRKM85
| URI | m2://inv/9R7ZGRKM85 |
|---|---|
| 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.33679#ZXGX (definition). In 3N9E9T6AF5/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
9R8004WWST 9R8004WWST
| URI | m2://inv/9R8004WWST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#QYGD (statement). In D424GB5MAW/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
9R80VCMYRB 9R80VCMYRB
| URI | m2://inv/9R80VCMYRB |
|---|---|
| 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 2610.08935#07DY (definition). In G02N9D40B9/e1, definition 2.2.2
History
- 2026-10-29: add by m2/v0.4.10
9R845DYXYM 9R845DYXYM
| URI | m2://inv/9R845DYXYM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-49 (proof). In VNMV985MXX, proof, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Statement 9R8GPAGNCH
| URI | m2://inv/9R8GPAGNCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob decomposition theorem#ALIK, Statement (statement)
History
- 2026-11-02: add by m2/dev
9R8HMPGEEB 9R8HMPGEEB
| URI | m2://inv/9R8HMPGEEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#7KF8 (statement). In YY4KFNMPC0/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
9R8V0HFHN0 9R8V0HFHN0
| URI | m2://inv/9R8V0HFHN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#2HWY (statement). In R589MXXHX4/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
Factorial code 9R98MZN3Y9
| URI | m2://inv/9R98MZN3Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z8QK, Factorial code (definition)
History
- 2026-11-02: add by m2/dev
Mojżesz Kirszbraun 9R99PA3NED
| URI | m2://inv/9R99PA3NED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TTH5, Mojżesz Kirszbraun (topic)
History
- 2026-11-02: add by m2/dev
Mathieu function 9R9JNRCQHX
| URI | m2://inv/9R9JNRCQHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#Q0UQ, Mathieu function (definition)
History
- 2026-11-02: add by m2/dev
9R9WTH1KST 9R9WTH1KST
| URI | m2://inv/9R9WTH1KST |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#ex:fishy (example). In RZP28ERRZV, example, section 99.3
History
- 2026-11-01: add by m2/v0.6.13
Short integral homology basis 9R9ZW1NAR5
| URI | m2://inv/9R9ZW1NAR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30561#HB5F, Short integral homology basis (statement). In EHQBEXHF9W/e1, theorem 4.6
History
- 2026-10-31: add by m2/v0.5.6
Properties 9RA34QJ1FW
| URI | m2://inv/9RA34QJ1FW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler characteristic#JTUC, Properties (statement)
History
- 2026-11-02: add by m2/dev
almost everywhere 9RA4V444DX
| URI | m2://inv/9RA4V444DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Almost everywhere RARTMA0ZEC |
Mentions
- wikidata: Wikidata Q1139334, almost everywhere (unknown). Also MathWorld AlmostEverywhere
- wikipedia: Wikipedia Almost everywhere, Almost everywhere (definition). Also Wikidata Q1139334
History
- 2026-10-26: add by m2/dev
9RA5RGR225 9RA5RGR225
| URI | m2://inv/9RA5RGR225 |
|---|---|
| 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.11997#9KFI (statement). In REVYK9ZEP2/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
9RA8XJDHG1 9RA8XJDHG1
| URI | m2://inv/9RA8XJDHG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17276#YKVM (statement). In EWKHA675JY/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Deterministic seam facets 9RAATVCYAY
| URI | m2://inv/9RAATVCYAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#12N2, Deterministic seam facets (statement)
History
- 2026-11-01: add by m2/v0.6.15
Impulsive Equivalence 9RAFQBJKTC
| URI | m2://inv/9RAFQBJKTC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#C5KC, Impulsive Equivalence (definition). In KVXDWX9B11/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
Properties 9RAKX068Z1
| URI | m2://inv/9RAKX068Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#X7AF, Properties (statement)
History
- 2026-11-02: add by m2/dev
9RAMA8VXT9 9RAMA8VXT9
| URI | m2://inv/9RAMA8VXT9 |
|---|---|
| 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 1912.08672#474P (statement). In 55X5V0M3K7/e1, proposition
History
- 2026-10-27: add by m2/v0.3.6
9RAN7HP5E0 9RAN7HP5E0
| URI | m2://inv/9RAN7HP5E0 |
|---|---|
| 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 2406.07116#5NS5 (statement). In 5B030CB2RK/e1, proposition A.5
History
- 2026-10-27: add by m2/v0.3.6
John Stuart Mill 9RAPC128F9
| URI | m2://inv/9RAPC128F9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#KR1L, John Stuart Mill (topic)
History
- 2026-11-02: add by m2/dev
9RAV3KW81B 9RAV3KW81B
| URI | m2://inv/9RAV3KW81B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#VTFP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Étienne Fouvry 9RAW9CGQ80
| URI | m2://inv/9RAW9CGQ80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étienne Fouvry, Étienne Fouvry (topic). Also Wikidata Q289615
History
- 2026-11-02: add by m2/dev
List of Bayesian network software 9RB1HZNJMQ
| URI | m2://inv/9RB1HZNJMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian network#IBHQ, List of Bayesian network software (unknown)
History
- 2026-11-02: add by m2/dev
extender 9RB6GEYC4T
| URI | m2://inv/9RB6GEYC4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#AE1D, extender (definition)
History
- 2026-11-02: add by m2/dev
9RB84VZ3XR 9RB84VZ3XR
| URI | m2://inv/9RB84VZ3XR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 2609.32916#TLLR (statement). In G1RP4JY5PE/e1, proposition 2.5.3
History
- 2026-10-31: add by m2/v0.5.6
9RBAKKKK3W 9RBAKKKK3W
| URI | m2://inv/9RBAKKKK3W |
|---|---|
| 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.37739#KXZ6 (statement). In F5XF5VXTXY/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Scalar tensor products 9RBSAF5ESS
| URI | m2://inv/9RBSAF5ESS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17608#MBWT, Scalar tensor products (statement). In VAGWC38NSF/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Dionne Price 9RBVV9KW02
| URI | m2://inv/9RBVV9KW02 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#XKNB, Dionne Price (topic)
History
- 2026-11-02: add by m2/dev
Real-torus package 9RC0AZFEAB
| URI | m2://inv/9RC0AZFEAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.27774#QWZV, Real-torus package (statement)
History
- 2026-11-01: add by m2/v0.6.15
Identification of the limit free energy 9RC62QCDJK
| URI | m2://inv/9RC62QCDJK |
|---|---|
| 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.18350#5MDK, Identification of the limit free energy (statement). In A20E8FZS21/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
An explicit normal form at corner depth $m=2$ 9RC8HRTQ55
| URI | m2://inv/9RC8HRTQ55 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 65-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.08980#6NJ4, An explicit normal form at corner depth $m=2$ (example). In X407M6WFNR/e1, example 2.2
History
- 2026-10-29: add by m2/v0.4.10
Extending the class existence theorem 9RCC5QPV25
| URI | m2://inv/9RCC5QPV25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#S89M, Extending the class existence theorem (statement)
History
- 2026-11-02: add by m2/dev
9RCDF1K7PQ 9RCDF1K7PQ
| URI | m2://inv/9RCDF1K7PQ |
|---|---|
| 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.38772#IMLB (statement). In 1C3R5NAQAP/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Properties 9RCKKAHZS5
| URI | m2://inv/9RCKKAHZS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential manifold#TMEV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Paulo S. L. M. Barreto 9RCN9FXGNJ
| URI | m2://inv/9RCN9FXGNJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6I5N, Paulo S. L. M. Barreto (unknown)
History
- 2026-11-02: add by m2/dev
Mackey theory 9RCRV03405
| URI | m2://inv/9RCRV03405 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#MOAT, Mackey theory (definition)
History
- 2026-11-02: add by m2/dev
One-urn paradox 9RCZG9YFH6
| URI | m2://inv/9RCZG9YFH6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellsberg paradox#65OT, One-urn paradox (statement)
History
- 2026-11-02: add by m2/dev
Differentiable map 9RDBG0SXMQ
| URI | m2://inv/9RDBG0SXMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#ZLTF, Differentiable map (definition)
History
- 2026-11-02: add by m2/dev
9RDF5J6YYA 9RDF5J6YYA
| URI | m2://inv/9RDF5J6YYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#BYIY (statement). In KBH265QSBT/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
Square of opposition 9RDFDRGJVH
| URI | m2://inv/9RDFDRGJVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square of opposition, Square of opposition (definition). Also Wikidata Q2749902
History
- 2026-11-02: add by m2/dev
9RDNG3242Q 9RDNG3242Q
| URI | m2://inv/9RDNG3242Q |
|---|---|
| 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.36181#7V0N (statement). In 1KSE33PVS6/e1, lemma 48
History
- 2026-10-30: add by m2/v0.4.12
Robert Judson Aley 9RDT2QPBWP
| URI | m2://inv/9RDT2QPBWP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Judson Aley, Robert Judson Aley (topic). Also Wikidata Q15940714
History
- 2026-11-02: add by m2/dev
Generalizations 9RDXN8AJBG
| URI | m2://inv/9RDXN8AJBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ♯SAT#8MCO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Centroidal Voronoi tessellation 9RE2BZTZXM
| URI | m2://inv/9RE2BZTZXM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centroidal Voronoi tessellation, Centroidal Voronoi tessellation (object). Also Wikidata Q5062961
History
- 2026-11-02: add by m2/dev
Ivan Pervushin 9REJ7BVYYX
| URI | m2://inv/9REJ7BVYYX |
|---|---|
| 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#5IVU, Ivan Pervushin (unknown)
History
- 2026-11-02: add by m2/dev
diagonal functor 9REK4FBW1W
| URI | m2://inv/9REK4FBW1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1208187, diagonal functor (unknown). Also nLab diagonal functor
- wikipedia: Wikipedia Diagonal functor, Diagonal functor (definition). Also Wikidata Q1208187
History
- 2026-10-26: add by m2/dev
9REMMZ1Q5V 9REMMZ1Q5V
| URI | m2://inv/9REMMZ1Q5V |
|---|---|
| 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.38138#VQXL (statement). In G97FA99ZEF/e1, theorem 1.9
History
- 2026-10-30: add by m2/v0.4.12
9RER5F17BA 9RER5F17BA
| URI | m2://inv/9RER5F17BA |
|---|---|
| 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.25717#21CN (statement)
History
- 2026-11-01: add by m2/v0.6.15
9RET1PWSGN 9RET1PWSGN
| URI | m2://inv/9RET1PWSGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#WVJ0 (statement). In GAG532VMPF/e1, lemma 4.4.4
History
- 2026-10-27: add by m2/v0.3.5
Extensions 9REWKZ9HZP
| URI | m2://inv/9REWKZ9HZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Bernoulli beam theory#2FTF, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Abel Tassin d'Alonne 9REXG4N0J8
| URI | m2://inv/9REXG4N0J8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel Tassin d'Alonne, Abel Tassin d'Alonne (topic). Also Wikidata Q2210095
History
- 2026-11-02: add by m2/dev
Primal Equilibrium 9RF2XDS8FN
| URI | m2://inv/9RF2XDS8FN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-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.20998#1150, Primal Equilibrium (problem)
History
- 2026-11-02: add by m2/v0.6.18
parallel line 9RF4H3XNQF
| URI | m2://inv/9RF4H3XNQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3039890, parallel line (unknown). Also MathWorld ParallelLines
History
- 2026-10-26: add by m2/dev
Beta plane 9RF6WSWV36
| URI | m2://inv/9RF6WSWV36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta plane, Beta plane (definition). Also Wikidata Q1797591
History
- 2026-11-02: add by m2/dev
9RF7S5YE9W 9RF7S5YE9W
| URI | m2://inv/9RF7S5YE9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#X93N (statement). In KAYGQMQPGS/e1, theorem 5.12
History
- 2026-10-29: add by m2/v0.4.12
max leaf number 9RFB2SEKD7
| URI | m2://inv/9RFB2SEKD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127651141, max leaf number (unknown). Also MathWorld MaximumLeafNumber
History
- 2026-10-26: add by m2/dev
9RFK40CXSN 9RFK40CXSN
| URI | m2://inv/9RFK40CXSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#E6LT (statement). In XG3BJ2QXXP/e1, proposition 5.13
History
- 2026-10-29: add by m2/v0.4.10
9RFKBRRB5H 9RFKBRRB5H
| URI | m2://inv/9RFKBRRB5H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#7XQC (definition). In 1WCXV5PVZA/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
9RFP3X86AN 9RFP3X86AN
| URI | m2://inv/9RFP3X86AN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 100.8
History
- 2026-11-01: add by m2/v0.6.13
PPA 9RFS5PE7MK
| URI | m2://inv/9RFS5PE7MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PPA (complexity), PPA (definition). Also Wikidata Q7120092
History
- 2026-11-02: add by m2/dev
Dickey–Fuller test 9RFSY7B24V
| URI | m2://inv/9RFSY7B24V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FEK9, Dickey–Fuller test (definition)
History
- 2026-11-02: add by m2/dev
9RFZVH21K5 9RFZVH21K5
| URI | m2://inv/9RFZVH21K5 |
|---|---|
| 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.04993#908Y (statement). In JQBWZPXKAV/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Transport equation for AC curves, Theorems 8.3.1, 8.4.5 9RG2X23X4B
| URI | m2://inv/9RG2X23X4B |
|---|---|
| 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.32446#C6NO, Transport equation for AC curves, Theorems 8.3.1, 8.4.5 (statement). In W1KVJEGJ1W/e1, theorem C.1
History
- 2026-10-31: add by m2/v0.5.6
9RG765M5BS 9RG765M5BS
| URI | m2://inv/9RG765M5BS |
|---|---|
| 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#AASU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Baer–Suzuki theorem 9RG8CYNF7F
| URI | m2://inv/9RG8CYNF7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer–Suzuki theorem, Baer–Suzuki theorem (statement). Also Wikidata Q4841299
History
- 2026-11-02: add by m2/dev
Propositions 9RGD8F66T2
| URI | m2://inv/9RGD8F66T2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#BHX9, Propositions (statement)
History
- 2026-11-02: add by m2/dev
Flat families of point closures 9RGE2Y61HN
| URI | m2://inv/9RGE2Y61HN |
|---|---|
| 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.16706#SW02, Flat families of point closures (statement). In KXZ5VFD9XM/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
9RGEAEF5HZ 9RGEAEF5HZ
| URI | m2://inv/9RGEAEF5HZ |
|---|---|
| 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.35678#2SKP (statement). In 4X4ZS7CEKD/e1, proposition 11
History
- 2026-10-30: add by m2/v0.4.12
Lang–Trotter conjecture 9RGV1TGMJ4
| URI | m2://inv/9RGV1TGMJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular prime (algebraic number theory)#I1K2, Lang–Trotter conjecture (statement)
History
- 2026-11-02: add by m2/dev
9RGV3T0197 9RGV3T0197
| URI | m2://inv/9RGV3T0197 |
|---|---|
| Kind | definition |
| 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.25111#BHD3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
9RGWDB9GAY 9RGWDB9GAY
| URI | m2://inv/9RGWDB9GAY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exc-seq-lessthan-100 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Robert Kilwardby 9RH84P89ER
| URI | m2://inv/9RH84P89ER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#EQAC, Robert Kilwardby (topic)
History
- 2026-11-02: add by m2/dev
9RH8QFWQMM 9RH8QFWQMM
| URI | m2://inv/9RH8QFWQMM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#S7PM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Facts 9RH8RT678X
| URI | m2://inv/9RH8RT678X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced residue system#A9I1, Facts (statement)
History
- 2026-11-02: add by m2/dev
9RHDZ4BYGE 9RHDZ4BYGE
| URI | m2://inv/9RHDZ4BYGE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#70AD (definition). In M4ZVJWM8YA/e1, definition 4.20
History
- 2026-10-27: add by m2/v0.4.2
Residual condition after separate normalization 9RHJJMRKCC
| URI | m2://inv/9RHJJMRKCC |
|---|---|
| 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.33021#9BRE, Residual condition after separate normalization (statement). In GG96DW33Q9/e1, lemma F.2
History
- 2026-10-31: add by m2/v0.5.6
Nikolai Efimov 9RHREHE9M0
| URI | m2://inv/9RHREHE9M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XDRC, Nikolai Efimov (unknown)
History
- 2026-11-02: add by m2/dev
KN-Cipher 9RJ44TTX4H
| URI | m2://inv/9RJ44TTX4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KN-Cipher, KN-Cipher (definition). Also Wikidata Q6334123
History
- 2026-11-02: add by m2/dev
Moufang plane 9RJ5E9K8ZS
| URI | m2://inv/9RJ5E9K8ZS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Moufang plane 7F4HSNJJH8 |
Mentions
- wikidata: Wikidata Q1950188, Moufang plane (concept). Also MathWorld MoufangPlane
- wikipedia: Wikipedia Moufang plane, Moufang plane (definition). Also Wikidata Q1950188
History
- 2026-10-26: add by m2/dev
Jonathan Bennett 9RJ7RB5FES
| URI | m2://inv/9RJ7RB5FES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0Q1B, Jonathan Bennett (topic)
History
- 2026-11-02: add by m2/dev
9RJ84P7M17 9RJ84P7M17
| URI | m2://inv/9RJ84P7M17 |
|---|---|
| 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.14652#HD72 (statement). In A50CHJ6Q4V/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
9RJ9HK2EPK 9RJ9HK2EPK
| URI | m2://inv/9RJ9HK2EPK |
|---|---|
| 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 2411.13671#ZWVH (statement). In PN02WN5AA6/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Archimedes paradox 9RJATSDT21
| URI | m2://inv/9RJATSDT21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#R500, Archimedes paradox (unknown)
History
- 2026-11-02: add by m2/dev
Arithmetic–geometric mean 9RJC15MZFR
| URI | m2://inv/9RJC15MZFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#K0SF, Arithmetic–geometric mean (definition)
- wikipedia: Wikipedia List of mathematical functions#5K5B, Arithmetic–geometric mean (definition)
- wikipedia: Wikipedia List of topics related to π#R2LW, Arithmetic–geometric mean (definition)
History
- 2026-11-02: add by m2/dev
9RJD5CZT2H 9RJD5CZT2H
| URI | m2://inv/9RJD5CZT2H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#VE1A (example)
History
- 2026-11-01: add by m2/v0.6.15
Application 9RJJ7BKAR4
| URI | m2://inv/9RJJ7BKAR4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telegraph process#ZXCT, Application (example)
History
- 2026-11-02: add by m2/dev
9RJJMKQZ93 9RJJMKQZ93
| URI | m2://inv/9RJJMKQZ93 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodetic graph#MK15 (problem)
History
- 2026-11-02: add by m2/dev
Contextual SPO+ Bayes identification 9RJPXRW9H3
| URI | m2://inv/9RJPXRW9H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33472#OB53, Contextual SPO+ Bayes identification (statement). In WBQQBZ4FCJ/e1, theorem F.2
History
- 2026-10-30: add by m2/v0.4.12
9RJTXZ3P8H 9RJTXZ3P8H
| URI | m2://inv/9RJTXZ3P8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#TZPF (statement). In CA4C9PFM1E/e1, theorem 4.2.1
History
- 2026-10-30: add by m2/v0.4.12
9RJZBPFG1P 9RJZBPFG1P
| URI | m2://inv/9RJZBPFG1P |
|---|---|
| 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.33283#SIBP (statement). In CXPFSDMEPB/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Separability criterion 9RK0RGPHWQ
| URI | m2://inv/9RK0RGPHWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separable state#NTB8, Separability criterion (statement)
History
- 2026-11-02: add by m2/dev
9RK5NCWYRB 9RK5NCWYRB
| URI | m2://inv/9RK5NCWYRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#definition-3 (definition). In RZP28ERRZV, definition, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
9RKW521BKK 9RKW521BKK
| URI | m2://inv/9RKW521BKK |
|---|---|
| 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.17863#PJ1Q (statement). In Y8XQT02BBF/e1, lemma 2.39
History
- 2026-10-28: add by m2/v0.4.2
Saint-Venant's theorem 9RM10584CV
| URI | m2://inv/9RM10584CV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#B7D5, Saint-Venant's theorem (statement)
History
- 2026-11-02: add by m2/dev
9RM5Y8NXS8 9RM5Y8NXS8
| URI | m2://inv/9RM5Y8NXS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-7 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
9RM8GENF5J 9RM8GENF5J
| URI | m2://inv/9RM8GENF5J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.12263#F3WQ (definition). In 3Z029EZBBS/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Gluing a parallel pair; Verhoeff {\rm}, Stachowiak {\rm 9RMA4DRPQR
| URI | m2://inv/9RMA4DRPQR |
|---|---|
| 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.01240#5ANM, Gluing a parallel pair; Verhoeff {\rm}, Stachowiak {\rm (statement). In XD5HCP8DHF/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
9RMBQ9NV7P 9RMBQ9NV7P
| URI | m2://inv/9RMBQ9NV7P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-66 (exercise). In E59CDZA4DP, exercise, section 11.5.2
History
- 2026-11-01: add by m2/v0.6.13
Nutation 9RMDXMR9S4
| URI | m2://inv/9RMDXMR9S4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nutation, Nutation (definition). Also Wikidata Q20180599
History
- 2026-11-02: add by m2/dev
Definition 9RMEFAV27G
| URI | m2://inv/9RMEFAV27G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concordance correlation coefficient#TZHH, Definition (definition)
History
- 2026-11-02: add by m2/dev
9RMTD1A60Y 9RMTD1A60Y
| URI | m2://inv/9RMTD1A60Y |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#SDJZ (conjecture). In ZQ2YZ4P6P5/e1, conjecture 1.1
History
- 2026-10-31: add by m2/v0.5.6
Frobenius morphism 9RN1G7HY4S
| URI | m2://inv/9RN1G7HY4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > Frobenius morphism, Frobenius morphism (unknown). Also Mathlib frobenius
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > Frobenius morphisms, Frobenius morphisms (unknown). Also Mathlib frobenius
History
- 2026-10-26: add by m2/dev
self-adjoint 9RNG3A3XAM
| URI | m2://inv/9RNG3A3XAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#59HM, self-adjoint (definition)
History
- 2026-11-02: add by m2/dev
9RNJYF96KE 9RNJYF96KE
| URI | m2://inv/9RNJYF96KE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31757#O0ES (statement). In KBJHAD5TTY/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
9RNMKAKS14 9RNMKAKS14
| URI | m2://inv/9RNMKAKS14 |
|---|---|
| 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#LOGW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harry V. Roberts 9RNX6CV6PC
| URI | m2://inv/9RNX6CV6PC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#N26L, Harry V. Roberts (unknown)
History
- 2026-11-02: add by m2/dev
9RNXZSEF8V 9RNXZSEF8V
| URI | m2://inv/9RNXZSEF8V |
|---|---|
| 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.20758#NINE (statement). In PG0B4PH9YH/e1, fact 2.19
History
- 2026-10-27: add by m2/v0.4.2
9RP1M13939 9RP1M13939
| URI | m2://inv/9RP1M13939 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#47UY (definition). In FSD8NE3XSR/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
9RP2HSJM4A 9RP2HSJM4A
| URI | m2://inv/9RP2HSJM4A |
|---|---|
| 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 2504.09464#EBI9 (statement). In RN1XRCS2CH/e1, corollary 13
History
- 2026-10-27: add by m2/v0.3.6
Covering number bound for $\cH$ 9RP4VKQ1YE
| URI | m2://inv/9RP4VKQ1YE |
|---|---|
| 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.14562#YOWA, Covering number bound for $\cH$ (statement). In G4XMZ452QE/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Examples 9RPWWKB19R
| URI | m2://inv/9RPWWKB19R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway polynomial (finite fields)#NVRZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Finite element method 9RQ0M67TP3
| URI | m2://inv/9RQ0M67TP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#A0I2, Finite element method (definition)
History
- 2026-11-02: add by m2/dev
9RQ96G4N4X 9RQ96G4N4X
| URI | m2://inv/9RQ96G4N4X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-34 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
Context Gluing Monotonicity 9RQEND5X8A
| URI | m2://inv/9RQEND5X8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#IQWD, Context Gluing Monotonicity (statement). In CPYWHRTPKC/e1, corollary 7.20
History
- 2026-10-27: add by m2/v0.4.2
9RQJGG44FT 9RQJGG44FT
| URI | m2://inv/9RQJGG44FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#WLOE (statement). In TB1294GY5X/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Compound of four octahedra 9RQJR82ZHP
| URI | m2://inv/9RQJR82ZHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#K5C8, Compound of four octahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QFTS, Compound of four octahedra (definition)
History
- 2026-11-02: add by m2/dev
Trygve Nagell 9RQKSNCN8F
| URI | m2://inv/9RQKSNCN8F |
|---|---|
| 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#THWI, Trygve Nagell (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WHR6, Trygve Nagell (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y2AY, Trygve Nagell (unknown)
History
- 2026-11-02: add by m2/dev
9RQWN15TW2 9RQWN15TW2
| URI | m2://inv/9RQWN15TW2 |
|---|---|
| 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 0808.1331#T1ER (statement). In RB2B1N73P0/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.5
9RQYJGFAQX 9RQYJGFAQX
| URI | m2://inv/9RQYJGFAQX |
|---|---|
| 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.39747#9G53 (statement). In 9H2KJ3W3JX/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
Seed rigidity 9RR33GGMV0
| URI | m2://inv/9RR33GGMV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#MFU7, Seed rigidity (statement). In 9Q8S0NWHP2/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
9RR95S6DTB 9RR95S6DTB
| URI | m2://inv/9RR95S6DTB |
|---|---|
| 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.15367#LQ44 (statement). In 9AFZ1S368G/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
9RR9NMT25W 9RR9NMT25W
| URI | m2://inv/9RR9NMT25W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#AHRF (statement). In 99CQPHSSYF/e1, theorem \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
9RRKQP10H8 9RRKQP10H8
| URI | m2://inv/9RRKQP10H8 |
|---|---|
| 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.15831#7CLG (statement). In CVESAPNMCQ/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
sorites series 9RRMMBX9MG
| URI | m2://inv/9RRMMBX9MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3887, sorites series (definition)
History
- 2026-11-02: add by m2/dev
Wilson-Hilferty transformation 9RRV3A20JH
| URI | m2://inv/9RRV3A20JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-squared distribution#EQLU, Wilson-Hilferty transformation (unknown)
History
- 2026-11-02: add by m2/dev
9RRVD9B5TQ 9RRVD9B5TQ
| URI | m2://inv/9RRVD9B5TQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#9GOI (statement). In AYANBEWSFH/e1, corollary 5.9
History
- 2026-10-28: add by m2/v0.4.2
9RRVSA3S1C 9RRVSA3S1C
| URI | m2://inv/9RRVSA3S1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#83TD (statement). In 5ZPSZFE08Q/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
9RRZ0RSX6J 9RRZ0RSX6J
| URI | m2://inv/9RRZ0RSX6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#XY7I (statement). In 986DENWM1D/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.12
Tables of principles and categories of understanding in the critique 9RRZMFT0ZT
| URI | m2://inv/9RRZMFT0ZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critique of Pure Reason#MKHT, Tables of principles and categories of understanding in the critique (statement)
History
- 2026-11-02: add by m2/dev
Products in linear algebra 9RRZVR60EF
| URI | m2://inv/9RRZVR60EF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product (mathematics)#0XJH, Products in linear algebra (unknown)
History
- 2026-11-02: add by m2/dev
9RS1J7V788 9RS1J7V788
| URI | m2://inv/9RS1J7V788 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.17815#2M7G (statement). In GJ7N2EWACX/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Bifix code 9RS3RY614W
| URI | m2://inv/9RS3RY614W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prefix code#DFJ7, Bifix code (unknown)
History
- 2026-11-02: add by m2/dev
Shiing-Shen Chern 9RS620KMF0
| URI | m2://inv/9RS620KMF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JGPF, Shiing-Shen Chern (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SA1D, Shiing-Shen Chern (topic)
History
- 2026-11-02: add by m2/dev
KP 9RS9AAFZ7H
| URI | m2://inv/9RS9AAFZ7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#R47L, KP (definition)
History
- 2026-11-02: add by m2/dev
Universal Product Code 9RS9C2JHNZ
| URI | m2://inv/9RS9C2JHNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193047, Universal Product Code (unknown). Also MathWorld UPC
History
- 2026-10-26: add by m2/dev
Mario Pieri 9RSWY1DXKB
| URI | m2://inv/9RSWY1DXKB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#53H9, Mario Pieri (topic)
- wikipedia: Wikipedia List of Italian mathematicians#G22Z, Mario Pieri (topic)
History
- 2026-11-02: add by m2/dev
Omniscient 9RT38MVW6V
| URI | m2://inv/9RT38MVW6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#TW2H, Omniscient (unknown)
History
- 2026-11-02: add by m2/dev
Nikolai Brashman 9RT4H1V1F3
| URI | m2://inv/9RT4H1V1F3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Brashman, Nikolai Brashman (topic). Also Wikidata Q1667121
History
- 2026-11-02: add by m2/dev
Cayley's formula 9RTH4DEJBQ
| URI | m2://inv/9RTH4DEJBQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's theorem#Y2WP, Cayley's formula (statement)
History
- 2026-11-02: add by m2/dev
9RTHFHWWVN 9RTHFHWWVN
| URI | m2://inv/9RTHFHWWVN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-192 (exercise). In VNMV985MXX, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
9RTN517DBG 9RTN517DBG
| URI | m2://inv/9RTN517DBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#U4YJ (statement). In HRCEFY172P/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
Approximating natural exponents (log base e) 9RTNW8E86V
| URI | m2://inv/9RTNW8E86V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#BB44, Approximating natural exponents (log base e) (definition)
History
- 2026-11-02: add by m2/dev
9RTVMJ73FW 9RTVMJ73FW
| URI | m2://inv/9RTVMJ73FW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#eg-1 (example). In N54F33XE07, eg, section C.3
History
- 2026-11-01: add by m2/v0.6.13
9RTZY19B23 9RTZY19B23
| URI | m2://inv/9RTZY19B23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#ZLPP (statement). In 7VW8XD28G1/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
9RV5R95RB8 9RV5R95RB8
| URI | m2://inv/9RV5R95RB8 |
|---|---|
| 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 2308.05715#QK15 (definition). In FC0SB9JFWH/e1, definition 7.6
History
- 2026-10-27: add by m2/v0.3.5
Arithmetical algebraic geometry 9RV5XMRD61
| URI | m2://inv/9RV5XMRD61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PULQ, Arithmetical algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
double-well bi-quadratic potential 9RV604CBN7
| URI | m2://inv/9RV604CBN7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#RGIV, double-well bi-quadratic potential (example). In 94RBNQA07A/e1, example 3.13
History
- 2026-10-27: add by m2/v0.3.5
9RV7MQRVTQ 9RV7MQRVTQ
| URI | m2://inv/9RV7MQRVTQ |
|---|---|
| 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.36594#NTSE (statement). In 8JDQ9FWFRK/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
9RV93JZ6B3 9RV93JZ6B3
| URI | m2://inv/9RV93JZ6B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#AB9F (statement). In ZRPYF750AV/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
9RVA4T2RYT 9RVA4T2RYT
| URI | m2://inv/9RVA4T2RYT |
|---|---|
| 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.15700#JGAF (statement). In S95MSZ7MDR/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Definition 9RVBGR578T
| URI | m2://inv/9RVBGR578T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane at infinity#V93A, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hyperparameter (machine learning) 9RVDEYTF4C
| URI | m2://inv/9RVDEYTF4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IU4I, Hyperparameter (machine learning) (definition)
History
- 2026-11-02: add by m2/dev
Example 9RVE5GJCPS
| URI | m2://inv/9RVE5GJCPS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centralizer and normalizer#ANLK, Example (example)
History
- 2026-11-02: add by m2/dev
9RVKHPHMV5 9RVKHPHMV5
| URI | m2://inv/9RVKHPHMV5 |
|---|---|
| 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 2511.15212#UCIV (statement). In W99XBH6X5N/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
Applications 9RVP4F1M6G
| URI | m2://inv/9RVP4F1M6G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cerf theory#RX55, Applications (example)
History
- 2026-11-02: add by m2/dev
Analytic capacity 9RVWWZ8KFA
| URI | m2://inv/9RVWWZ8KFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic capacity, Analytic capacity (definition). Also Wikidata Q4751124
History
- 2026-11-02: add by m2/dev
9RVWYYK2C7 9RVWYYK2C7
| URI | m2://inv/9RVWYYK2C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#69J6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Marpsat, Maryse 9RW63G2K6Y
| URI | m2://inv/9RW63G2K6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2TD9, Marpsat, Maryse (unknown)
History
- 2026-11-02: add by m2/dev
9RW9RN9HBN 9RW9RN9HBN
| URI | m2://inv/9RW9RN9HBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#T7BJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9RWJR4QJXT 9RWJR4QJXT
| URI | m2://inv/9RWJR4QJXT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#X5YA (definition). In VTVC0TCWSB/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Definition 9RWPWKKZ77
| URI | m2://inv/9RWPWKKZ77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resource-bounded measure#ZUIP, Definition (definition)
History
- 2026-11-02: add by m2/dev
9RWVEXTSNG 9RWVEXTSNG
| URI | m2://inv/9RWVEXTSNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#J0W6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9RWYTQE6TW 9RWYTQE6TW
| URI | m2://inv/9RWYTQE6TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.13100#E3S4 (statement). In CC6S1HVK0T/e1, proposition B.5
History
- 2026-10-28: add by m2/v0.4.2
Sonja Brentjes 9RX044X951
| URI | m2://inv/9RX044X951 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonja Brentjes, Sonja Brentjes (topic). Also Wikidata Q14525458
History
- 2026-11-02: add by m2/dev
Definition 9RX0YB27K1
| URI | m2://inv/9RX0YB27K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phantom map#EIR6, Definition (definition)
History
- 2026-11-02: add by m2/dev
9RX46TZD3Z 9RX46TZD3Z
| URI | m2://inv/9RX46TZD3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#63IJ (statement). In E7W2HDNEKJ/e1, lemma 4.21
History
- 2026-10-30: add by m2/v0.4.12
Example 9RX4WTNT5N
| URI | m2://inv/9RX4WTNT5N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward algorithm#8L3L, Example (example)
History
- 2026-11-02: add by m2/dev
Rolle's theorem 9RX6CNWKHS
| URI | m2://inv/9RX6CNWKHS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voorhoeve index#BWGM, Rolle's theorem (statement)
History
- 2026-11-02: add by m2/dev
F\"uredi--Kostochka--Luo 9RX8BZE21Y
| URI | m2://inv/9RX8BZE21Y |
|---|---|
| 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.25030#HPRI, F\"uredi--Kostochka--Luo (statement)
History
- 2026-11-01: add by m2/v0.6.15
9RXA3B34FR 9RXA3B34FR
| URI | m2://inv/9RXA3B34FR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28357#KQBZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9RXEWN1Y1X 9RXEWN1Y1X
| URI | m2://inv/9RXEWN1Y1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#P8A2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tom H. Koornwinder 9RXHG73R20
| URI | m2://inv/9RXHG73R20 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#EH11, Tom H. Koornwinder (unknown)
History
- 2026-11-02: add by m2/dev
9RXM96RR9M 9RXM96RR9M
| URI | m2://inv/9RXM96RR9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#WGQV (statement). In X38P26DK6S/e1, proposition 4.17
History
- 2026-10-27: add by m2/v0.4.0
poset 9RXP9Q4WFT
| URI | m2://inv/9RXP9Q4WFT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/poset, poset (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
9RXT13YEBV 9RXT13YEBV
| URI | m2://inv/9RXT13YEBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02295#M1ZZ (statement). In PEBD9ZMA1W/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.12
Applications 9RY1CD3GHT
| URI | m2://inv/9RY1CD3GHT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental lemma of the calculus of variations#MQAW, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples 9RY2RJ6KT0
| URI | m2://inv/9RY2RJ6KT0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible component#6KAV, Examples (example)
History
- 2026-11-02: add by m2/dev
Injective sheaf 9RY7RNKKFM
| URI | m2://inv/9RY7RNKKFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective sheaf, Injective sheaf (definition). Also Wikidata Q3064613
History
- 2026-11-02: add by m2/dev
9RYCPANBNN 9RYCPANBNN
| URI | m2://inv/9RYCPANBNN |
|---|---|
| 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.34923#E0IL (statement). In 7WKVFJEZQT/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
9RYH7EA4S1 9RYH7EA4S1
| URI | m2://inv/9RYH7EA4S1 |
|---|---|
| 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.15472#KUR3 (statement). In 5Z3FH46YSY/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Askold Khovanskii 9RYVKM380N
| URI | m2://inv/9RYVKM380N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Askold Khovanskii, Askold Khovanskii (topic). Also Wikidata Q4498609
History
- 2026-11-02: add by m2/dev
9RYZ9AJAGE 9RYZ9AJAGE
| URI | m2://inv/9RYZ9AJAGE |
|---|---|
| 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.15088#PKOF (statement). In 2BRTT5ZFC6/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
9RZ0QKHAK1 9RZ0QKHAK1
| URI | m2://inv/9RZ0QKHAK1 |
|---|---|
| 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.14741#FRNJ (statement). In RK1VPWWX9E/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
9RZ77BW3B5 9RZ77BW3B5
| URI | m2://inv/9RZ77BW3B5 |
|---|---|
| Kind | example |
| 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.32077#LWC8 (example). In WYXQDSQR9B/e1, example 1.3
History
- 2026-10-31: add by m2/v0.5.6
An example 9RZ94R9EEJ
| URI | m2://inv/9RZ94R9EEJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average treatment effect#N6BX, An example (example)
History
- 2026-11-02: add by m2/dev
9RZ9WBJ1BE 9RZ9WBJ1BE
| URI | m2://inv/9RZ9WBJ1BE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#3XGW (definition). In NGZ5AZ70NN/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
9RZKT04F6C 9RZKT04F6C
| URI | m2://inv/9RZKT04F6C |
|---|---|
| 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 2609.38975#5O89 (definition). In D2247CRPPE/e1, definition 16
History
- 2026-10-30: add by m2/v0.4.12
9RZQ01VRVS 9RZQ01VRVS
| URI | m2://inv/9RZQ01VRVS |
|---|---|
| Kind | statement |
| 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#WTQA (statement). In HX63A1PH1W/e1, corollary 5.17
History
- 2026-10-28: add by m2/v0.4.3
The Lefschetz theorem in other cohomology theories 9RZQGZF0MS
| URI | m2://inv/9RZQGZF0MS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz hyperplane theorem#WLVS, The Lefschetz theorem in other cohomology theories (statement)
History
- 2026-11-02: add by m2/dev
9RZR6Y6ZH7 9RZR6Y6ZH7
| URI | m2://inv/9RZR6Y6ZH7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24065#HFM4 (problem)
History
- 2026-11-02: add by m2/v0.6.17
David Raymond Curtiss 9RZSNQ4VC1
| URI | m2://inv/9RZSNQ4VC1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Raymond Curtiss, David Raymond Curtiss (topic). Also Wikidata Q5238928
History
- 2026-11-02: add by m2/dev
Use 9RZSZ8KKRC
| URI | m2://inv/9RZSZ8KKRC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seneca effect#XYC0, Use (example)
History
- 2026-11-02: add by m2/dev
9RZWQARJX4 9RZWQARJX4
| URI | m2://inv/9RZWQARJX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#15BV (statement). In EY0QS456EC/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.12
Definition 9RZZCS2WRP
| URI | m2://inv/9RZZCS2WRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur algebra#N6NG, Definition (definition)
History
- 2026-11-02: add by m2/dev