Inventory rows 9Y
The cards of the rows of the inventory whose ids start with 9Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Change of variables formula in terms of Lebesgue measure 9Y04AMQWHP
| URI | m2://inv/9Y04AMQWHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of variables#PYNZ, Change of variables formula in terms of Lebesgue measure (statement)
History
- 2026-11-02: add by m2/dev
Cauchy--Riemann equations 9Y09K6EYGZ
| URI | m2://inv/9Y09K6EYGZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-23, Cauchy--Riemann equations (statement). In VNMV985MXX, prop, section B
History
- 2026-11-01: add by m2/v0.6.13
Optimization Programming Language 9Y09NYMM1Z
| URI | m2://inv/9Y09NYMM1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimization Programming Language, Optimization Programming Language (definition). Also Wikidata Q20088753
History
- 2026-11-02: add by m2/dev
The Algorithm 9Y0AWH0WRF
| URI | m2://inv/9Y0AWH0WRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconjugate gradient method#TF4R, The Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications 9Y0D34G8HD
| URI | m2://inv/9Y0D34G8HD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonimaging optics#IRFT, Applications (example)
History
- 2026-11-02: add by m2/dev
Ray 9Y0GGW3TSG
| URI | m2://inv/9Y0GGW3TSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#W97P, Ray (definition)
History
- 2026-11-02: add by m2/dev
monad 9Y0H8MFHYF
| URI | m2://inv/9Y0H8MFHYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Monad FF6XXA6D1A |
Mentions
- wikidata: Wikidata Q1630568, monad (unknown). Also nLab monad
- wikipedia: Wikipedia Monad (category theory), Monad (definition). Also Wikidata Q1630568
History
- 2026-10-26: add by m2/dev
Karoline Pershell 9Y0K1ET2YS
| URI | m2://inv/9Y0K1ET2YS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karoline Pershell, Karoline Pershell (topic). Also Wikidata Q102384227
History
- 2026-11-02: add by m2/dev
Definition 9Y1A0FA6X0
| URI | m2://inv/9Y1A0FA6X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snell envelope#LD04, Definition (definition)
History
- 2026-11-02: add by m2/dev
9Y1C1N8B48 9Y1C1N8B48
| URI | m2://inv/9Y1C1N8B48 |
|---|---|
| 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.39353#UIGJ (statement). In 2PZR1KX2RC/e1, corollary B.1
History
- 2026-10-30: add by m2/v0.4.12
9Y1EN6A80K 9Y1EN6A80K
| URI | m2://inv/9Y1EN6A80K |
|---|---|
| Kind | definition |
| 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 2610.07957#6C40 (definition). In RXFKX8M8P0/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
9Y1J7QG9K6 9Y1J7QG9K6
| URI | m2://inv/9Y1J7QG9K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#LQNI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 9Y20D656C4
| URI | m2://inv/9Y20D656C4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean planes in three-dimensional space#1FH6, Properties (statement)
History
- 2026-11-02: add by m2/dev
9Y20H0KX3Z 9Y20H0KX3Z
| URI | m2://inv/9Y20H0KX3Z |
|---|---|
| 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 1904.09810#IXF5 (statement). In T1VFA7TXPA/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Pairwise dependency matrix 9Y260G86F2
| URI | m2://inv/9Y260G86F2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#P05Q, Pairwise dependency matrix (definition). In W5XG3PGVF1/e1, definition 1.19
History
- 2026-10-29: add by m2/v0.4.10
Student's t-distribution 9Y2H2VBCD0
| URI | m2://inv/9Y2H2VBCD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E64P, Student's t-distribution (definition)
History
- 2026-11-02: add by m2/dev
Shock wave 9Y2NZG3FR2
| URI | m2://inv/9Y2NZG3FR2 |
|---|---|
| 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 2604.11825#5AYK, Shock wave (example). In 6H76S52BG7/e1, example A.2
History
- 2026-10-27: add by m2/v0.4.0
linear systems case 9Y2QN3DMB3
| URI | m2://inv/9Y2QN3DMB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > linear systems case, linear systems case (unknown)
History
- 2026-10-26: add by m2/dev
cf.\ 9Y2TVE6ER2
| URI | m2://inv/9Y2TVE6ER2 |
|---|---|
| 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 2610.09390#JMZH, cf.\ (statement). In 7SSKW778T8/e1, proposition 2.23
History
- 2026-10-29: add by m2/v0.4.10
Symplectic representation 9Y33EAQX69
| URI | m2://inv/9Y33EAQX69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic representation, Symplectic representation (definition). Also Wikidata Q771008
History
- 2026-11-02: add by m2/dev
Stability group 9Y38TYGNKJ
| URI | m2://inv/9Y38TYGNKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability group, Stability group (definition). Also Wikidata Q16860012
History
- 2026-11-02: add by m2/dev
9Y3C842ZRP 9Y3C842ZRP
| URI | m2://inv/9Y3C842ZRP |
|---|---|
| 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.31986#9GQP (statement). In 8WR0AEDAHT/e1, proposition 23
History
- 2026-10-31: add by m2/v0.5.6
9Y3CCVPQAK 9Y3CCVPQAK
| URI | m2://inv/9Y3CCVPQAK |
|---|---|
| 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.16060#2AI0 (statement). In X0BTF9HPGM/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
Hans Kamp 9Y3FNZ2NC0
| URI | m2://inv/9Y3FNZ2NC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Kamp, Hans Kamp (topic). Also Wikidata Q876398
History
- 2026-11-02: add by m2/dev
9Y3NKMTKJD 9Y3NKMTKJD
| URI | m2://inv/9Y3NKMTKJD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#3EVZ (definition). In C7QZ0VPBC8/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.10
Adaptive-additive algorithm 9Y3VYWYBEJ
| URI | m2://inv/9Y3VYWYBEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#3UPY, Adaptive-additive algorithm (unknown)
History
- 2026-11-02: add by m2/dev
9Y3ZQFKNFK 9Y3ZQFKNFK
| URI | m2://inv/9Y3ZQFKNFK |
|---|---|
| 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.12736#3SDP (statement). In 5350Q52F6P/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Boundary dissipation 9Y43CSFSKP
| URI | m2://inv/9Y43CSFSKP |
|---|---|
| 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.21328#40WC, Boundary dissipation (statement). In BJXVV4ZF7B/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
9Y46K5GRGW 9Y46K5GRGW
| URI | m2://inv/9Y46K5GRGW |
|---|---|
| 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 2610.12480#XPRT (statement). In 585QYGX4X6/e1, theorem 15
History
- 2026-10-28: add by m2/v0.4.2
9Y4B0NEN3H 9Y4B0NEN3H
| URI | m2://inv/9Y4B0NEN3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#3BLN (definition). In 2W5Z97BBW4/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.0
Transfer by rounding 9Y4BBQN96G
| URI | m2://inv/9Y4BBQN96G |
|---|---|
| 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.04027#03LR, Transfer by rounding (statement). In DQB4YR2DFH/e1, proposition 10.1
History
- 2026-10-29: add by m2/v0.4.12
Araz Aliyev 9Y4E02CVKY
| URI | m2://inv/9Y4E02CVKY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Araz Aliyev, Araz Aliyev (topic). Also Wikidata Q141174663
History
- 2026-11-02: add by m2/dev
9Y4X542DJ7 9Y4X542DJ7
| URI | m2://inv/9Y4X542DJ7 |
|---|---|
| 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#XUQP (definition). In FC0SB9JFWH/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
\textsc{N-E} helper 9Y52Q4QX4X
| URI | m2://inv/9Y52Q4QX4X |
|---|---|
| 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#440K, \textsc{N-E} helper (statement). In CPYWHRTPKC/e1, lemma 7.44
History
- 2026-10-27: add by m2/v0.4.2
9Y5C4EPHAJ 9Y5C4EPHAJ
| URI | m2://inv/9Y5C4EPHAJ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#29MV (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
9Y5EAW67S2 9Y5EAW67S2
| URI | m2://inv/9Y5EAW67S2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
Nonsingular limiting normalizer 9Y5EFDG5RP
| URI | m2://inv/9Y5EFDG5RP |
|---|---|
| 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.40203#DKKE, Nonsingular limiting normalizer (statement). In ECH66J4Y43/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Alternate Interior Angles Theorem 9Y5GQWGNJG
| URI | m2://inv/9Y5GQWGNJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversal (geometry)#ZK8W, Alternate Interior Angles Theorem (unknown)
History
- 2026-11-02: add by m2/dev
Conditional CMR opening bounds 9Y5N9RYQ3D
| URI | m2://inv/9Y5N9RYQ3D |
|---|---|
| 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.22301#85SE, Conditional CMR opening bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
Out-of-bag error 9Y5T3D5SP9
| URI | m2://inv/9Y5T3D5SP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Out-of-bag error, Out-of-bag error (definition). Also Wikidata Q25100230
History
- 2026-11-02: add by m2/dev
William Gelbart 9Y60ENKAMS
| URI | m2://inv/9Y60ENKAMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#6IPK, William Gelbart (unknown)
History
- 2026-11-02: add by m2/dev
9Y63N9WA34 9Y63N9WA34
| URI | m2://inv/9Y63N9WA34 |
|---|---|
| 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.17518#MW27 (statement). In YA4JEWTVS4/e1, proposition 7.5
History
- 2026-10-28: add by m2/v0.4.2
9Y64N7ME3H 9Y64N7ME3H
| URI | m2://inv/9Y64N7ME3H |
|---|---|
| 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.02506#94XK (statement). In 3JKRBZWJ33/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.12
Severi–Brauer variety 9Y65MPMEXE
| URI | m2://inv/9Y65MPMEXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17103234, Severi–Brauer variety (unknown). Also MathWorld Brauer-SeveriVariety
- wikipedia: Wikipedia Severi–Brauer variety, Severi–Brauer variety (definition). Also Wikidata Q17103234
History
- 2026-10-26: add by m2/dev
Vector fields on spheres 9Y6741JJMM
| URI | m2://inv/9Y6741JJMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector fields on spheres, Vector fields on spheres (definition). Also Wikidata Q7917824
History
- 2026-11-02: add by m2/dev
Topographic map 9Y69R8CA00
| URI | m2://inv/9Y69R8CA00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#CB6A, Topographic map (unknown)
History
- 2026-11-02: add by m2/dev
9Y6BKGYCHP 9Y6BKGYCHP
| URI | m2://inv/9Y6BKGYCHP |
|---|---|
| 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.06875#5JMQ (statement). In ZDT5J9KQVQ/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
9Y6C6XHVWR 9Y6C6XHVWR
| URI | m2://inv/9Y6C6XHVWR |
|---|---|
| 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.22074#EOYV (statement). In F3BKXXPR3K/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.4.2
Crux Mathematicorum 9Y6GR94SKJ
| URI | m2://inv/9Y6GR94SKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crux Mathematicorum, Crux Mathematicorum (definition). Also Wikidata Q15760338
History
- 2026-11-02: add by m2/dev
Raj Chandra Bose 9Y6NVFW59S
| URI | m2://inv/9Y6NVFW59S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EFOY, Raj Chandra Bose (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8GDL, Raj Chandra Bose (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#IQ5T, Raj Chandra Bose (topic)
History
- 2026-11-02: add by m2/dev
9Y6VKFQTK3 9Y6VKFQTK3
| URI | m2://inv/9Y6VKFQTK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#IS6F (definition). In VD4JP4HVBX/e1, definition 7.6
History
- 2026-10-28: add by m2/v0.4.2
≅ 9Y6ZN1WN19
| URI | m2://inv/9Y6ZN1WN19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#9EBO, ≅ (definition)
History
- 2026-11-02: add by m2/dev
Euler's homogeneous function theorem 9Y7DCHV11J
| URI | m2://inv/9Y7DCHV11J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous function#K8Z0, Euler's homogeneous function theorem (statement)
History
- 2026-11-02: add by m2/dev
Finite top Ricci mass 9Y7G2921PK
| URI | m2://inv/9Y7G2921PK |
|---|---|
| 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.16563#X2XP, Finite top Ricci mass (statement). In V51HCA9ZAA/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Block inversion 9Y7H1931Z0
| URI | m2://inv/9Y7H1931Z0 |
|---|---|
| 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.38668#ZHVD, Block inversion (statement). In VB1EZ9K6YW/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Loosely associated statements 9Y7H218DXM
| URI | m2://inv/9Y7H218DXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loosely associated statements, Loosely associated statements (definition). Also Wikidata Q6676026
History
- 2026-11-02: add by m2/dev
9Y7JARDR66 9Y7JARDR66
| URI | m2://inv/9Y7JARDR66 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16746#H8QY (example). In M00TA3JJM6/e1, example 2.6
History
- 2026-10-28: add by m2/v0.4.2
Michelson–Morley experiment 9Y7MREHK3K
| URI | m2://inv/9Y7MREHK3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q154844, Michelson–Morley experiment (unknown). Also nLab Michelson-Morley experiment
History
- 2026-10-26: add by m2/dev
Exact basic-sector compression 9Y7SP3SSDK
| URI | m2://inv/9Y7SP3SSDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#0NCT, Exact basic-sector compression (statement)
History
- 2026-11-01: add by m2/v0.6.15
Associativity 9Y7W9GCWQ1
| URI | m2://inv/9Y7W9GCWQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract algebra#74TU, Associativity (definition)
History
- 2026-11-02: add by m2/dev
Sequential Banach–Alaoglu theorem 9Y806ESPX2
| URI | m2://inv/9Y806ESPX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Alaoglu theorem#6A9M, Sequential Banach–Alaoglu theorem (statement)
History
- 2026-11-02: add by m2/dev
Ivan Privalov 9Y828KFKJ5
| URI | m2://inv/9Y828KFKJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Privalov, Ivan Privalov (topic). Also Wikidata Q983399
History
- 2026-11-02: add by m2/dev
monoid object 9Y87KMZEN6
| URI | m2://inv/9Y87KMZEN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Monoid object 9G1XS1XZ1F |
Mentions
- wikidata: Wikidata Q2785361, monoid object (unknown). Also nLab monoid in a monoidal category
- wikipedia: Wikipedia Monoid (category theory), Monoid (definition). Also Wikidata Q2785361
History
- 2026-10-26: add by m2/dev
9Y8B3ZQ47F 9Y8B3ZQ47F
| URI | m2://inv/9Y8B3ZQ47F |
|---|---|
| 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.33557#BSTK (statement). In 95YZVAPGJA/e1, corollary 1.16
History
- 2026-10-30: add by m2/v0.4.12
9Y8DQPY98R 9Y8DQPY98R
| URI | m2://inv/9Y8DQPY98R |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-25 (proof). In VNMV985MXX, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
9Y8HF3NTTM 9Y8HF3NTTM
| URI | m2://inv/9Y8HF3NTTM |
|---|---|
| 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.08865#5B9O (statement). In SJ5JKGH94M/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
9Y8HNGTA1K 9Y8HNGTA1K
| URI | m2://inv/9Y8HNGTA1K |
|---|---|
| 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.03520#VAU2 (statement). In CSRZ9CWK69/e1, proposition 9.16
History
- 2026-10-29: add by m2/v0.4.12
9Y8RGM4EE1 9Y8RGM4EE1
| URI | m2://inv/9Y8RGM4EE1 |
|---|---|
| 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 2109.12716#7YQC (definition). In 6X76XBE3HV/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
existence 9Y91YX32T6
| URI | m2://inv/9Y91YX32T6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#3BQI, existence (statement). In PF5JJ9DS8Q/e1, proposition 5.1.1
History
- 2026-10-28: add by m2/v0.4.2
9Y9403M137 9Y9403M137
| URI | m2://inv/9Y9403M137 |
|---|---|
| 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.20087#Y900 (statement). In ZRE2WQR5XA/e1, proposition IV.4
History
- 2026-10-27: add by m2/v0.4.2
9Y9M4J952N 9Y9M4J952N
| URI | m2://inv/9Y9M4J952N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00798#OZD3 (statement). In FANG3A8NZ9/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
9Y9N1D25TW 9Y9N1D25TW
| URI | m2://inv/9Y9N1D25TW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
PKCS 7 9Y9QAEDH5G
| URI | m2://inv/9Y9QAEDH5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PKCS 7, PKCS 7 (definition). Also Wikidata Q97280618
History
- 2026-11-02: add by m2/dev
Turán–Kubilius theorem 9Y9VFQRJGA
| URI | m2://inv/9Y9VFQRJGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KH4R, Turán–Kubilius theorem (statement)
History
- 2026-11-02: add by m2/dev
Fibrifold 9Y9W0Q08D9
| URI | m2://inv/9Y9W0Q08D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibrifold, Fibrifold (definition). Also Wikidata Q5446437
History
- 2026-11-02: add by m2/dev
9YA4GAS9M8 9YA4GAS9M8
| URI | m2://inv/9YA4GAS9M8 |
|---|---|
| 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 2609.30675#32GE (definition). In RQ0K0A6PQA/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
9YA6S3NGY8 9YA6S3NGY8
| URI | m2://inv/9YA6S3NGY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#YAHP (statement). In XTGB5Z08YH/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
Sequential two-point risk 9YA8SE24WJ
| URI | m2://inv/9YA8SE24WJ |
|---|---|
| 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.20187#MWCN, Sequential two-point risk (statement). In N280AVNNBY/e1, lemma C.1
History
- 2026-10-27: add by m2/v0.4.2
9YAAMQ4HGR 9YAAMQ4HGR
| URI | m2://inv/9YAAMQ4HGR |
|---|---|
| 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.20018#I4P6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Combinatory logic 9YAB97S52W
| URI | m2://inv/9YAB97S52W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#ZM2Q, Combinatory logic (definition)
- wikipedia: Wikipedia List of computability and complexity topics#SVEP, Combinatory logic (definition)
History
- 2026-11-02: add by m2/dev
Francis Bonahon 9YABTVN5ZJ
| URI | m2://inv/9YABTVN5ZJ |
|---|---|
| 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#AG4Q, Francis Bonahon (topic)
History
- 2026-11-02: add by m2/dev
Dois Irmãos do Buriti 9YADQ8Q1G7
| URI | m2://inv/9YADQ8Q1G7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#P0SE, Dois Irmãos do Buriti (unknown)
History
- 2026-11-02: add by m2/dev
Definition 9YAGYEMZC1
| URI | m2://inv/9YAGYEMZC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Different ideal#W66I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Constructible combinatorial class 9YARMA4108
| URI | m2://inv/9YARMA4108 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic method (combinatorics)#M7YR, Constructible combinatorial class (unknown)
History
- 2026-11-02: add by m2/dev
9YB3437NH6 9YB3437NH6
| URI | m2://inv/9YB3437NH6 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#R4UJ (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
9YB5KG94MZ 9YB5KG94MZ
| URI | m2://inv/9YB5KG94MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#definition-7 (definition). In RZP28ERRZV, definition, section 43.7
History
- 2026-11-01: add by m2/v0.6.13
9YBAYA8D8W 9YBAYA8D8W
| URI | m2://inv/9YBAYA8D8W |
|---|---|
| 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 2610.10248#LXMS (statement). In TMV74X2725/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Examples 9YBG2CSJ1K
| URI | m2://inv/9YBG2CSJ1K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic model (mathematical logic)#TN0X, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 9YBKF8W0Z9
| URI | m2://inv/9YBKF8W0Z9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonoid#9K0G, Examples (example)
History
- 2026-11-02: add by m2/dev
All-negative-axis continuation 9YBM9K8D04
| URI | m2://inv/9YBM9K8D04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#A259, All-negative-axis continuation (statement). In 8PTDFHV8SQ/e1, corollary 11.2
History
- 2026-10-28: add by m2/v0.4.3
Statement 9YBT5VH9GE
| URI | m2://inv/9YBT5VH9GE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenstate thermalization hypothesis#PYX8, Statement (statement)
History
- 2026-11-02: add by m2/dev
9YBYYW46A1 9YBYYW46A1
| URI | m2://inv/9YBYYW46A1 |
|---|---|
| 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.29824#OO9F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hohenberg–Kohn theorems 9YBZNGRQV1
| URI | m2://inv/9YBZNGRQV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density functional theory#SALX, Hohenberg–Kohn theorems (statement)
History
- 2026-11-02: add by m2/dev
George Berzsenyi 9YC4H70R74
| URI | m2://inv/9YC4H70R74 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Berzsenyi, George Berzsenyi (topic). Also Wikidata Q102157707
History
- 2026-11-02: add by m2/dev
Survation 9YC52NQ8MT
| URI | m2://inv/9YC52NQ8MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#FD5K, Survation (unknown)
History
- 2026-11-02: add by m2/dev
Ronghui Xu 9YC88RNCYM
| URI | m2://inv/9YC88RNCYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronghui Xu, Ronghui Xu (topic). Also Wikidata Q57156922
History
- 2026-11-02: add by m2/dev
9YC97WM2YX 9YC97WM2YX
| URI | m2://inv/9YC97WM2YX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#06YE (problem)
History
- 2026-11-02: add by m2/dev
Rosedith Sitgreaves 9YCGZ0MXTE
| URI | m2://inv/9YCGZ0MXTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosedith Sitgreaves, Rosedith Sitgreaves (topic). Also Wikidata Q25982986
History
- 2026-11-02: add by m2/dev
Definition 9YCKW4XY63
| URI | m2://inv/9YCKW4XY63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum flow problem#2RJ2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Süli, Endre 9YCX9CQ4XF
| URI | m2://inv/9YCX9CQ4XF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#JG48, Süli, Endre (topic)
History
- 2026-11-02: add by m2/dev
List of things named after George Airy 9YD3300Y47
| URI | m2://inv/9YD3300Y47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#F9LS, List of things named after George Airy (unknown)
History
- 2026-11-02: add by m2/dev
List of examples in general topology 9YD9RP96TS
| URI | m2://inv/9YD9RP96TS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of examples in general topology, List of examples in general topology (topic). Also Wikidata Q6619095
History
- 2026-11-02: add by m2/dev
Algebraic statistics 9YDB8HC0XQ
| URI | m2://inv/9YDB8HC0XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8CN6, Algebraic statistics (definition)
History
- 2026-11-02: add by m2/dev
Fox, John 9YDZPZ15E8
| URI | m2://inv/9YDZPZ15E8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#O7RT, Fox, John (unknown)
History
- 2026-11-02: add by m2/dev
Limited dependent variable 9YE4G7ARD2
| URI | m2://inv/9YE4G7ARD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limited dependent variable, Limited dependent variable (definition). Also Wikidata Q6549525
History
- 2026-11-02: add by m2/dev
G. Birkhoff 9YEF7F4QPW
| URI | m2://inv/9YEF7F4QPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#FKE1, G. Birkhoff (topic)
History
- 2026-11-02: add by m2/dev
9YEFR4TZD2 9YEFR4TZD2
| URI | m2://inv/9YEFR4TZD2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Examples 9YEH71Z9RV
| URI | m2://inv/9YEH71Z9RV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbier's theorem#KYMJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Harmonic-measure limit for quenched growth 9YEJ9P24M9
| URI | m2://inv/9YEJ9P24M9 |
|---|---|
| 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.03912#UVNN, Harmonic-measure limit for quenched growth (statement). In RJ553C7NJM/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Solèr's theorem 9YEJB6JDGK
| URI | m2://inv/9YEJB6JDGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OXW2, Solèr's theorem (statement)
History
- 2026-11-02: add by m2/dev
9YEN2M2YBF 9YEN2M2YBF
| URI | m2://inv/9YEN2M2YBF |
|---|---|
| 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 2610.16704#FGVD (statement). In Q7CWPC7PXY/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Pappus's centroid theorem 9YENMWS6NP
| URI | m2://inv/9YENMWS6NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#XSMP, Pappus's centroid theorem (definition)
History
- 2026-11-02: add by m2/dev
Principle of nonvacuous contrast 9YF0ZQXM1B
| URI | m2://inv/9YF0ZQXM1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of nonvacuous contrast, Principle of nonvacuous contrast (statement). Also Wikidata Q7245165
History
- 2026-11-02: add by m2/dev
9YF117TK2W 9YF117TK2W
| URI | m2://inv/9YF117TK2W |
|---|---|
| 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 2401.02768#UMBT (statement). In QVAQC3D4M9/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
biform 9YF7R68WFA
| URI | m2://inv/9YF7R68WFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#5ZNA, biform (definition)
History
- 2026-11-02: add by m2/dev
9YF8R08TK8 9YF8R08TK8
| URI | m2://inv/9YF8R08TK8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-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 2606.21391#IRQO (example). In J9C7YMKJ33/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
Natural process variation 9YFEDJSQ46
| URI | m2://inv/9YFEDJSQ46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LK73, Natural process variation (definition)
History
- 2026-11-02: add by m2/dev
Poincaré complex 9YFHWMC991
| URI | m2://inv/9YFHWMC991 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#3R58, Poincaré complex (definition)
History
- 2026-11-02: add by m2/dev
9YFM2SDJP8 9YFM2SDJP8
| URI | m2://inv/9YFM2SDJP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-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.09333#665E (statement). In Z9HC1EDTQP/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Mario Wschebor 9YFYAAGFF8
| URI | m2://inv/9YFYAAGFF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZBHB, Mario Wschebor (unknown)
History
- 2026-11-02: add by m2/dev
9YG1VTBQ80 9YG1VTBQ80
| URI | m2://inv/9YG1VTBQ80 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-9 (proof). In RZP28ERRZV, proof, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
9YG7J1W7Z3 9YG7J1W7Z3
| URI | m2://inv/9YG7J1W7Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07490#8BL8 (statement). In 1BCKN2RQQ4/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Kepler problem in general relativity 9YGA0K3JR9
| URI | m2://inv/9YGA0K3JR9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#QZ3D, Kepler problem in general relativity (problem)
History
- 2026-11-02: add by m2/dev
multi-index notation 9YGFCT6WSK
| URI | m2://inv/9YGFCT6WSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Multi-index notation 0PJXBR6QA3 |
Mentions
- wikidata: Wikidata Q780239, multi-index notation (definition). Also MathWorld Multi-IndexNotation, ProofWiki Definition:Multiindex
- wikipedia: Wikipedia Multi-index notation, Multi-index notation (definition). Also Wikidata Q780239
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties 9YGGG4SY17
| URI | m2://inv/9YGGG4SY17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistically checkable proof#1Z8N, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tsirelson's stochastic differential equation 9YGN6HGCP3
| URI | m2://inv/9YGN6HGCP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsirelson's stochastic differential equation, Tsirelson's stochastic differential equation (definition). Also Wikidata Q118640623
History
- 2026-11-02: add by m2/dev
China TST 1998 9YGPR9V1Z8
| URI | m2://inv/9YGPR9V1Z8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#problem-3, China TST 1998 (exercise). In RZP28ERRZV, problem, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
convex 9YGR7N2BF7
| URI | m2://inv/9YGR7N2BF7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3.2/convex, convex (concept). In Y91XFCEVHQ, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
9YGTDP5FVN 9YGTDP5FVN
| URI | m2://inv/9YGTDP5FVN |
|---|---|
| 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 2011.12496#6468 (statement). In 1DH15ZJFRZ/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
9YGTVCK5WD 9YGTVCK5WD
| URI | m2://inv/9YGTVCK5WD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#EMMW (statement). In 7QXAZXGNPQ/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.12
complex exponential 9YH28XMRA9
| URI | m2://inv/9YH28XMRA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Complex exponential 054VXHMCA3 |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > complex exponential, complex exponential (unknown). Also Mathlib Complex.exp
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
kilometre 9YH67X4S7D
| URI | m2://inv/9YH67X4S7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q828224, kilometre (definition). Also ProofWiki Definition:Metric_System/Length/Kilometre
History
- 2026-10-26: add by m2/dev
9YHGG8C9N8 9YHGG8C9N8
| URI | m2://inv/9YHGG8C9N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#B22E (statement). In CY1FE8W1ZW/e1, proposition 0.134
History
- 2026-10-27: add by m2/v0.4.0
General hypergeometric function 9YHHZ6AVDE
| URI | m2://inv/9YHHZ6AVDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General hypergeometric function, General hypergeometric function (definition). Also Wikidata Q5532351
History
- 2026-11-02: add by m2/dev
Variational characterisation of absolute minimisers via semi-differential PDI 9YHMD7GDBM
| URI | m2://inv/9YHMD7GDBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#WHJF, Variational characterisation of absolute minimisers via semi-differential PDI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Donald Marolf 9YHQEBS5EV
| URI | m2://inv/9YHQEBS5EV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#J2HO, Donald Marolf (unknown)
History
- 2026-11-02: add by m2/dev
Karl Weierstrass 9YHTARJNHA
| URI | m2://inv/9YHTARJNHA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#FMOH, Karl Weierstrass (topic)
History
- 2026-11-02: add by m2/dev
9YHTWW9H4K 9YHTWW9H4K
| URI | m2://inv/9YHTWW9H4K |
|---|---|
| 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.39260#40YQ (statement). In ZNDB1AZZSA/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Exact norm--trace formula 9YHVAKND3D
| URI | m2://inv/9YHVAKND3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#YVOW, Exact norm--trace formula (statement). In 5BZQS1KY9A/e1, proposition 9.14
History
- 2026-10-29: add by m2/v0.4.10
Pythagorean trigonometric identity 9YHVDD89ZK
| URI | m2://inv/9YHVDD89ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean trigonometric identity, Pythagorean trigonometric identity (statement). Also Wikidata Q2039117
History
- 2026-11-02: add by m2/dev
9YHY20VG3Y 9YHY20VG3Y
| URI | m2://inv/9YHY20VG3Y |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual knot#YCUJ (problem)
History
- 2026-11-02: add by m2/dev
\wisc \textbf{(Colimits of sized functors 9YJ3GQ2AX7
| URI | m2://inv/9YJ3GQ2AX7 |
|---|---|
| Kind | statement |
| 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 2105.03252#K7VG, \wisc \textbf{(Colimits of sized functors (statement). In 2E47BDDDR4/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
Jaroslav Nešetřil 9YJ8Q5RBR2
| URI | m2://inv/9YJ8Q5RBR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaroslav Nešetřil, Jaroslav Nešetřil (topic). Also Wikidata Q956806
History
- 2026-11-02: add by m2/dev
9YJAB6GF3F 9YJAB6GF3F
| URI | m2://inv/9YJAB6GF3F |
|---|---|
| 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.11034#N274 (statement). In 2KACPY9MMF/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
Spatial variability 9YJDEY8J7M
| URI | m2://inv/9YJDEY8J7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QHHU, Spatial variability (definition)
History
- 2026-11-02: add by m2/dev
Jacobi eigenvalue algorithm 9YJZ3VGD8D
| URI | m2://inv/9YJZ3VGD8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi eigenvalue algorithm, Jacobi eigenvalue algorithm (definition). Also Wikidata Q1677726
History
- 2026-11-02: add by m2/dev
Variable-length encoding 9YK58H7B50
| URI | m2://inv/9YK58H7B50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable-length encoding, Variable-length encoding (definition). Also Wikidata Q2981616
History
- 2026-11-02: add by m2/dev
9YK5YE0TC7 9YK5YE0TC7
| URI | m2://inv/9YK5YE0TC7 |
|---|---|
| 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.11336#GB8I (statement). In X1R1GDAJ0Y/e1, corollary 2.20
History
- 2026-10-28: add by m2/v0.4.3
Optimal 9YKNN78BVG
| URI | m2://inv/9YKNN78BVG |
|---|---|
| Kind | definition |
| 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 2602.19452#JLXU, Optimal (definition). In 3GF75S0XJ0/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
9YKSK82RSJ 9YKSK82RSJ
| URI | m2://inv/9YKSK82RSJ |
|---|---|
| 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.09019#T19X (statement). In 8V6YECFCC1/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Properties 9YKVP6MBH4
| URI | m2://inv/9YKVP6MBH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Involutory matrix#UX3U, Properties (statement)
History
- 2026-11-02: add by m2/dev
9YM1E9DPSY 9YM1E9DPSY
| URI | m2://inv/9YM1E9DPSY |
|---|---|
| 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#IQ5Y (statement). In MRR92GQNZE/e1, corollary 3.22
History
- 2026-10-30: add by m2/v0.4.12
Dallard, Milanič, Štorgel 9YM26ZQ2G8
| URI | m2://inv/9YM26ZQ2G8 |
|---|---|
| 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.19093#ONFE, Dallard, Milanič, Štorgel (statement). In S2K79KESZ4/e1, lemma 1.2
History
- 2026-10-28: add by m2/v0.4.2
9YM36MGXBG 9YM36MGXBG
| URI | m2://inv/9YM36MGXBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_finite-sets.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Theodor Spieker 9YMB992C57
| URI | m2://inv/9YMB992C57 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#16Y6, Theodor Spieker (topic)
History
- 2026-11-02: add by m2/dev
Sorting network 9YMBZG1GV4
| URI | m2://inv/9YMBZG1GV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sorting network, Sorting network (definition). Also Wikidata Q646477
History
- 2026-11-02: add by m2/dev
Examples 9YMDY5ASTP
| URI | m2://inv/9YMDY5ASTP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Channel surface#QN63, Examples (example)
History
- 2026-11-02: add by m2/dev
9YMEN2N1AC 9YMEN2N1AC
| URI | m2://inv/9YMEN2N1AC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:stepfunctionintegrable (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
GNU Scientific Library 9YMHGQ6NSA
| URI | m2://inv/9YMHGQ6NSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#F8XS, GNU Scientific Library (unknown)
History
- 2026-11-02: add by m2/dev
9YMKZEHK2D 9YMKZEHK2D
| URI | m2://inv/9YMKZEHK2D |
|---|---|
| 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.20881#EZEV (example)
History
- 2026-11-02: add by m2/v0.6.18
Exact radial-angular error identity 9YMW9EJBA7
| URI | m2://inv/9YMW9EJBA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#DL12, Exact radial-angular error identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Entropy upper bound on the number of matchings 9YN3TVE6CR
| URI | m2://inv/9YN3TVE6CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#ITPI, Entropy upper bound on the number of matchings (statement)
History
- 2026-11-01: add by m2/v0.6.15
Norm variety 9YN4MP85RW
| URI | m2://inv/9YN4MP85RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm variety, Norm variety (definition). Also Wikidata Q7051623
History
- 2026-11-02: add by m2/dev
9YN6SC3EXH 9YN6SC3EXH
| URI | m2://inv/9YN6SC3EXH |
|---|---|
| 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.04772#0VI6 (statement). In WW08CYN4D4/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
$H^2$ estimate 9YNEWYXBD0
| URI | m2://inv/9YNEWYXBD0 |
|---|---|
| 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.02714#63I3, $H^2$ estimate (statement). In R9AXCJWK8F/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.12
9YNH7QSEHB 9YNH7QSEHB
| URI | m2://inv/9YNH7QSEHB |
|---|---|
| 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.15421#51JI (statement). In 3RBKH0DA74/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
9YNHBGR33M 9YNHBGR33M
| URI | m2://inv/9YNHBGR33M |
|---|---|
| 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#JC7T (statement). In E7W2HDNEKJ/e1, theorem 6.12
History
- 2026-10-30: add by m2/v0.4.12
9YNHE6SY8H 9YNHE6SY8H
| URI | m2://inv/9YNHE6SY8H |
|---|---|
| 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#ZXMQ (statement). In SF88CM0957/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Reformulated Lehmer conjecture; Verhoeff {\rm 9YNJR991QQ
| URI | m2://inv/9YNJR991QQ |
|---|---|
| Kind | conjecture |
| 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#D9Y2, Reformulated Lehmer conjecture; Verhoeff {\rm (conjecture). In XD5HCP8DHF/e1, conjecture 4
History
- 2026-10-29: add by m2/v0.4.12
Moishe Lowtzky 9YNMSTWR83
| URI | m2://inv/9YNMSTWR83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#2021, Moishe Lowtzky (unknown)
History
- 2026-11-02: add by m2/dev
Examples 9YNTEWCW7H
| URI | m2://inv/9YNTEWCW7H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collapse (topology)#H2RX, Examples (example)
History
- 2026-11-02: add by m2/dev
Zoé Chatzidakis 9YNW35VQ1E
| URI | m2://inv/9YNW35VQ1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z7O5, Zoé Chatzidakis (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9G59, Zoé Chatzidakis (topic)
History
- 2026-11-02: add by m2/dev
Sharp convex body inequality 9YNY5S47CX
| URI | m2://inv/9YNY5S47CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#62RP, Sharp convex body inequality (statement). In 54NQGN1BWM/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
9YNZXBJCWP 9YNZXBJCWP
| URI | m2://inv/9YNZXBJCWP |
|---|---|
| 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.15402#JHB9 (statement). In WSE8SEHVXG/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
knot theory 9YP24HXQKF
| URI | m2://inv/9YP24HXQKF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q849798, knot theory (topic). Also MathWorld KnotTheory, ProofWiki Definition:Knot_Theory
- wikipedia: Wikipedia Knot theory, Knot theory (topic). Also Wikidata Q849798
History
- 2026-10-26: add by m2/dev
finitely generated 9YP3WW0MR6
| URI | m2://inv/9YP3WW0MR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#A3XN, finitely generated (definition)
History
- 2026-11-02: add by m2/dev
Joseph Hilbe 9YP4T4M1NH
| URI | m2://inv/9YP4T4M1NH |
|---|---|
| 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#B8ER, Joseph Hilbe (unknown)
History
- 2026-11-02: add by m2/dev
context-free language 9YPBPF2YHQ
| URI | m2://inv/9YPBPF2YHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > context-free language, context-free language (unknown). Also Mathlib Language.IsContextFree
History
- 2026-10-26: add by m2/dev
9YPDJN2BTR 9YPDJN2BTR
| URI | m2://inv/9YPDJN2BTR |
|---|---|
| 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.20480#6VKS (statement). In BK4359JSC3/e1, theorem 7.9
History
- 2026-10-27: add by m2/v0.4.2
Onorato Nicoletti 9YPGR6TBYZ
| URI | m2://inv/9YPGR6TBYZ |
|---|---|
| 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#YOXC, Onorato Nicoletti (topic)
History
- 2026-11-02: add by m2/dev
Μ/μ 9YPJGVDJBK
| URI | m2://inv/9YPJGVDJBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9902, Μ/μ (unknown). Also ProofWiki Symbols:Greek/Mu
History
- 2026-10-26: add by m2/dev
Same-scale two-sided equivalence 9YPKPPJM68
| URI | m2://inv/9YPKPPJM68 |
|---|---|
| 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.16351#NTD1, Same-scale two-sided equivalence (statement). In 1QSV7EQE3T/e1, theorem S21
History
- 2026-10-28: add by m2/v0.4.2
9YPM0QSGHJ 9YPM0QSGHJ
| URI | m2://inv/9YPM0QSGHJ |
|---|---|
| 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 1909.03896#107O (statement). In CX9RVPQVBM/e1, theorem 26
History
- 2026-10-27: add by m2/v0.3.5
semi-abelian category 9YPP845HMN
| URI | m2://inv/9YPP845HMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30715304, semi-abelian category (unknown). Also nLab semi-abelian category
- wikipedia: Wikipedia Semi-abelian category, Semi-abelian category (definition). Also Wikidata Q30715304
History
- 2026-10-26: add by m2/dev
Theorem 9YPT5CZ8AR
| URI | m2://inv/9YPT5CZ8AR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell's theorem#BYIH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
small hexagonal hexecontahedron 9YPT994MN7
| URI | m2://inv/9YPT994MN7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543072, small hexagonal hexecontahedron (unknown). Also MathWorld SmallHexagonalHexecontahedron
- wikipedia: Wikipedia Small hexagonal hexecontahedron, Small hexagonal hexecontahedron (object). Also Wikidata Q7543072
History
- 2026-10-26: add by m2/dev
Divergence in the singular range 9YPTG5E06V
| URI | m2://inv/9YPTG5E06V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#XCL0, Divergence in the singular range (statement)
History
- 2026-11-02: add by m2/v0.6.17
9YPVB8ENT4 9YPVB8ENT4
| URI | m2://inv/9YPVB8ENT4 |
|---|---|
| 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.10477#OYKY (statement). In 1NZSZ241WE/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Low-discrepancy sequence 9YPY24V410
| URI | m2://inv/9YPY24V410 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#OYNL, Low-discrepancy sequence (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#57L6, Low-discrepancy sequence (definition)
History
- 2026-11-02: add by m2/dev
Conformal phase conservation laws 9YQ02G4VTN
| URI | m2://inv/9YQ02G4VTN |
|---|---|
| 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.09356#RDC6, Conformal phase conservation laws (statement). In 3VVGPXWH6R/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Applications 9YQ256FNE0
| URI | m2://inv/9YQ256FNE0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special linear Lie algebra#RVGX, Applications (example)
History
- 2026-11-02: add by m2/dev
9YQ4FA7PP4 9YQ4FA7PP4
| URI | m2://inv/9YQ4FA7PP4 |
|---|---|
| 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.27788#BPE4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
White test 9YQ5EYSTCX
| URI | m2://inv/9YQ5EYSTCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia White test, White test (definition). Also Wikidata Q2983708
History
- 2026-11-02: add by m2/dev
Map of space $\implies$ map of singular chain complexes 9YQ75PGFEE
| URI | m2://inv/9YQ75PGFEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#lemma-1, Map of space $\implies$ map of singular chain complexes (statement). In RZP28ERRZV, lemma, section 55.3.2
History
- 2026-11-01: add by m2/v0.6.13
Rank correlation 9YQB2V9RXJ
| URI | m2://inv/9YQB2V9RXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank correlation, Rank correlation (definition). Also Wikidata Q3753228
History
- 2026-11-02: add by m2/dev
Sequential estimation 9YQBG2YDZA
| URI | m2://inv/9YQBG2YDZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential estimation, Sequential estimation (definition). Also Wikidata Q7452504
History
- 2026-11-02: add by m2/dev
9YQP9J0N1G 9YQP9J0N1G
| URI | m2://inv/9YQP9J0N1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#XW8O (statement). In XYCBKM4WKY/e1, theorem 41
History
- 2026-10-27: add by m2/v0.3.5
Space group 9YR99X20Z4
| URI | m2://inv/9YR99X20Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#Z5DM, Space group (definition)
- wikipedia: Wikipedia List of Lie groups topics#17MX, Space group (definition)
History
- 2026-11-02: add by m2/dev
Albanese variety 9YRDAK0FB6
| URI | m2://inv/9YRDAK0FB6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4709029, Albanese variety (concept). Also EoM Albanese_variety, MathWorld AlbaneseVariety, nLab Albanese variety
- wikipedia: Wikipedia Albanese variety, Albanese variety (definition). Also Wikidata Q4709029
History
- 2026-10-26: add by m2/dev
Whitney umbrella 9YRGMDYHH8
| URI | m2://inv/9YRGMDYHH8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Whitney umbrella KNBQ68XG2M |
Mentions
- wikidata: Wikidata Q2640354, Whitney umbrella (concept). Also MathWorld WhitneyUmbrella
- wikipedia: Wikipedia Whitney umbrella, Whitney umbrella (definition). Also Wikidata Q2640354
History
- 2026-10-26: add by m2/dev
Carmichael's theorems 9YRJEJ24CZ
| URI | m2://inv/9YRJEJ24CZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmichael function#J9ZQ, Carmichael's theorems (statement)
History
- 2026-11-02: add by m2/dev
Composite Bézier curve 9YRJYPWF74
| URI | m2://inv/9YRJYPWF74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composite Bézier curve, Composite Bézier curve (definition). Also Wikidata Q5005075
History
- 2026-11-02: add by m2/dev
non-uniform rational B-spline 9YRS736R0H
| URI | m2://inv/9YRS736R0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Non-uniform rational B-spline Y8B2N9ERPE |
Mentions
- wikidata: Wikidata Q734737, non-uniform rational B-spline (unknown). Also MathWorld NURBSCurve
- wikipedia: Wikipedia Non-uniform rational B-spline, Non-uniform rational B-spline (definition). Also Wikidata Q734737
History
- 2026-10-26: add by m2/dev
Conservation of angular momentum in the law of areas 9YRYEZQF8R
| URI | m2://inv/9YRYEZQF8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular momentum#VDU5, Conservation of angular momentum in the law of areas (statement)
History
- 2026-11-02: add by m2/dev
9YS3RMEYYY 9YS3RMEYYY
| URI | m2://inv/9YS3RMEYYY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#9WUE (definition)
History
- 2026-11-01: add by m2/v0.6.15
9YS5SCDSVF 9YS5SCDSVF
| URI | m2://inv/9YS5SCDSVF |
|---|---|
| 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.09314#6E6W (statement). In Z04N0B3R0V/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
9YS9JCWBAB 9YS9JCWBAB
| URI | m2://inv/9YS9JCWBAB |
|---|---|
| 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.26581#A5AG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reed–Solomon error correction 9YSAVCHNB2
| URI | m2://inv/9YSAVCHNB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Solomon error correction, Reed–Solomon error correction (definition). Also Wikidata Q1061598
History
- 2026-11-02: add by m2/dev
9YSCQ9CTYA 9YSCQ9CTYA
| URI | m2://inv/9YSCQ9CTYA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#BWH3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic properties 9YSD03A81F
| URI | m2://inv/9YSD03A81F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein graphs#F142, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
disconnected 9YSDV90HF1
| URI | m2://inv/9YSDV90HF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#T9PP, disconnected (definition)
History
- 2026-11-02: add by m2/dev
Shmuel Dayan 9YSDZRT0WB
| URI | m2://inv/9YSDZRT0WB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#LJHW, Shmuel Dayan (unknown)
History
- 2026-11-02: add by m2/dev
9YSN0Z8HAM 9YSN0Z8HAM
| URI | m2://inv/9YSN0Z8HAM |
|---|---|
| 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.20025#AEU0 (statement). In 4W1WR4JB89/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.4.2
Normal polytope 9YSRAYNC8C
| URI | m2://inv/9YSRAYNC8C |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal polytope, Normal polytope (object). Also Wikidata Q7051828
History
- 2026-11-02: add by m2/dev
Applications 9YTFX0K1WG
| URI | m2://inv/9YTFX0K1WG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#L1E2, Applications (example)
History
- 2026-11-02: add by m2/dev
9YTJZAJ44F 9YTJZAJ44F
| URI | m2://inv/9YTJZAJ44F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01247#BS7Z (example). In 6EVNCRZ118/e1, example 7
History
- 2026-10-29: add by m2/v0.4.12
9YTN4D1EHY 9YTN4D1EHY
| URI | m2://inv/9YTN4D1EHY |
|---|---|
| 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 2510.12502#L1CA (definition). In 3A4K47Y9F2/e1, definition 5.18
History
- 2026-10-27: add by m2/v0.4.0
9YTX5FW8WB 9YTX5FW8WB
| URI | m2://inv/9YTX5FW8WB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#SMET (statement). In X1KWTAA3M2/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
9YTXHJ503S 9YTXHJ503S
| URI | m2://inv/9YTXHJ503S |
|---|---|
| Kind | example |
| 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.20801#SF3U (example). In A1GWWGRXPA/e1, example 3.52
History
- 2026-10-27: add by m2/v0.4.2
Identity functor 9YTXV62QQQ
| URI | m2://inv/9YTXV62QQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor#5YOQ, Identity functor (definition)
History
- 2026-11-02: add by m2/dev
Herbert A. Hauptman 9YTZVJ1W93
| URI | m2://inv/9YTZVJ1W93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DI1F, Herbert A. Hauptman (unknown)
History
- 2026-11-02: add by m2/dev
Global rigidity theorems 9YV2MADBC7
| URI | m2://inv/9YV2MADBC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#YJEI, Global rigidity theorems (statement)
History
- 2026-11-02: add by m2/dev
Degenerate case 9YV2VQD3FE
| URI | m2://inv/9YV2VQD3FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#GJAD, Degenerate case (statement)
History
- 2026-11-01: add by m2/v0.6.15
9YV4M80ZVE 9YV4M80ZVE
| URI | m2://inv/9YV4M80ZVE |
|---|---|
| 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.12689#8GKQ (statement). In AMXK11Y802/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Scatter matrix 9YV9G4BPRE
| URI | m2://inv/9YV9G4BPRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scatter matrix, Scatter matrix (definition). Also Wikidata Q7430596
History
- 2026-11-02: add by m2/dev
Shirley Pledger 9YVDEPRK78
| URI | m2://inv/9YVDEPRK78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shirley Pledger, Shirley Pledger (topic). Also Wikidata Q98668712
History
- 2026-11-02: add by m2/dev
Class existence theorem 9YVG4V04HZ
| URI | m2://inv/9YVG4V04HZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#3KAG, Class existence theorem (statement)
History
- 2026-11-02: add by m2/dev
The ceiling and the Stein exponent have one limit 9YVKW1YS6A
| URI | m2://inv/9YVKW1YS6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#QP7E, The ceiling and the Stein exponent have one limit (statement)
History
- 2026-11-01: add by m2/v0.6.15
9YVMGDJ1R0 9YVMGDJ1R0
| URI | m2://inv/9YVMGDJ1R0 |
|---|---|
| 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 2610.19854#39RZ (statement). In D50WST4CG3/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Ballistics 9YVQ5NE6Z2
| URI | m2://inv/9YVQ5NE6Z2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#ZT2K, Ballistics (unknown)
History
- 2026-11-02: add by m2/dev
Thermal conductivity and resistivity 9YVTQS8WPY
| URI | m2://inv/9YVTQS8WPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conductivity and resistivity, Thermal conductivity and resistivity (definition). Also Wikidata Q487005
History
- 2026-11-02: add by m2/dev
Define 9YW2VR6AGF
| URI | m2://inv/9YW2VR6AGF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#6T26, Define (statement)
History
- 2026-11-02: add by m2/dev
Applications 9YW8GY7DBZ
| URI | m2://inv/9YW8GY7DBZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether's theorem#U4VN, Applications (example)
History
- 2026-11-02: add by m2/dev
9YW907QEAP 9YW907QEAP
| URI | m2://inv/9YW907QEAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.21507#TAB7 (statement). In 879ZDHVK7N/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.4.2
9YWD08GGVT 9YWD08GGVT
| URI | m2://inv/9YWD08GGVT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#QEVM (example). In GMRT5GHBZS/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
Henry O. Pollak 9YWVFTZT43
| URI | m2://inv/9YWVFTZT43 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0X84, Henry O. Pollak (topic)
History
- 2026-11-02: add by m2/dev
9YWX3KP3EN 9YWX3KP3EN
| URI | m2://inv/9YWX3KP3EN |
|---|---|
| Kind | definition |
| 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.22090#YJUF (definition). In NKJWGF050C/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.0
Khlong Chorakhe Sam Phan 9YWZ2SBS44
| URI | m2://inv/9YWZ2SBS44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SVWQ, Khlong Chorakhe Sam Phan (unknown)
History
- 2026-11-02: add by m2/dev
9YX4700PXJ 9YX4700PXJ
| URI | m2://inv/9YX4700PXJ |
|---|---|
| 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 2604.10080#1YQM (statement). In KM2FWKP93A/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
9YX8CSCYF8 9YX8CSCYF8
| URI | m2://inv/9YX8CSCYF8 |
|---|---|
| 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.36423#PU3O (statement). In Q5Z178SAHP/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Properties 9YXE110DYT
| URI | m2://inv/9YXE110DYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profunctor#4P4H, Properties (statement)
History
- 2026-11-02: add by m2/dev
$T/T^\dagger$ implementation 9YXF3JWK4T
| URI | m2://inv/9YXF3JWK4T |
|---|---|
| Kind | definition |
| 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.09341#K4WH, $T/T^\dagger$ implementation (definition). In DSXBMRYE0V/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.10
9YXHC04GP7 9YXHC04GP7
| URI | m2://inv/9YXHC04GP7 |
|---|---|
| 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 1903.07030#NVAD (statement). In 9H45HQE7AZ/e1, proposition 8.3
History
- 2026-10-27: add by m2/v0.3.5
9YXN2DQSVG 9YXN2DQSVG
| URI | m2://inv/9YXN2DQSVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#64HF (statement). In DPJ15KW23C/e1, theorem E
History
- 2026-10-30: add by m2/v0.4.12
3-uniform tiling 9YXP7ZYBJ5
| URI | m2://inv/9YXP7ZYBJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of k-uniform tilings#8USD, 3-uniform tiling (unknown)
History
- 2026-11-02: add by m2/dev
Giovanni Girolamo Saccheri 9YXX3JWW19
| URI | m2://inv/9YXX3JWW19 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#PGFC, Giovanni Girolamo Saccheri (topic)
History
- 2026-11-02: add by m2/dev
Aubrey William Ingleton 9YXX9ES1G3
| URI | m2://inv/9YXX9ES1G3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aubrey William Ingleton, Aubrey William Ingleton (topic). Also Wikidata Q17309182
History
- 2026-11-02: add by m2/dev
9YY1F9W2CR 9YY1F9W2CR
| URI | m2://inv/9YY1F9W2CR |
|---|---|
| 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.08261#Y0J2 (statement). In QD68GYRWNS/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
finitely axiomatizable 9YY1TTXJ2J
| URI | m2://inv/9YY1TTXJ2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LO6W, finitely axiomatizable (definition)
History
- 2026-11-02: add by m2/dev
Q–Q plot 9YYHVH8H5F
| URI | m2://inv/9YYHVH8H5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EVSB, Q–Q plot (definition)
- wikipedia: Wikipedia List of graphical methods#823V, Q–Q plot (definition)
History
- 2026-11-02: add by m2/dev
Pietro Antonio Cataldi 9YYK3R6FMY
| URI | m2://inv/9YYK3R6FMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#DPRG, Pietro Antonio Cataldi (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#WYMZ, Pietro Antonio Cataldi (unknown)
History
- 2026-11-02: add by m2/dev
Discriminant of $K = \QQ(\sqrt2)$ 9YYR7DS68Q
| URI | m2://inv/9YYR7DS68Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#example-2, Discriminant of $K = \QQ(\sqrt2)$ (example). In RZP28ERRZV, example, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Example 9YYS2ME35S
| URI | m2://inv/9YYS2ME35S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relationships among probability distributions#JDN4, Example (example)
History
- 2026-11-02: add by m2/dev
Cayleyan 9YYSNQGJG4
| URI | m2://inv/9YYSNQGJG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#49ER, Cayleyan (definition)
History
- 2026-11-02: add by m2/dev
9YYX10RDMD 9YYX10RDMD
| URI | m2://inv/9YYX10RDMD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
9YYXG929TA 9YYXG929TA
| URI | m2://inv/9YYXG929TA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_bin-coeff.ptx#example-4 (example). In QKM9DD2H56, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
9YZ1K0BWHM 9YZ1K0BWHM
| URI | m2://inv/9YZ1K0BWHM |
|---|---|
| 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.36321#9B8Y (statement). In 3KTZ6Z615H/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
Definition 9YZ2B0ZK9N
| URI | m2://inv/9YZ2B0ZK9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wasserstein metric#6IVK, Definition (definition)
History
- 2026-11-02: add by m2/dev
*{Theorem 1.3.1 9YZCM843NY
| URI | m2://inv/9YZCM843NY |
|---|---|
| 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.27518#NUYX, *{Theorem 1.3.1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 9YZGWCV6PJ
| URI | m2://inv/9YZGWCV6PJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind domain#YNJY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Two-dimensional exact constants 9YZJ5GZS8X
| URI | m2://inv/9YZJ5GZS8X |
|---|---|
| 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.04398#ZZ79, Two-dimensional exact constants (statement). In DFZWC9HY0T/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
normal 9YZQV1VYHA
| URI | m2://inv/9YZQV1VYHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#RAT7, normal (definition)
History
- 2026-11-02: add by m2/dev
Properties 9YZXZZQ304
| URI | m2://inv/9YZXZZQ304 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary matrix#O6HA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Minkowski metric 9YZYPBBVBM
| URI | m2://inv/9YZYPBBVBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3333766, Minkowski metric (unknown). Also MathWorld MinkowskiMetric, nLab Minkowski metric
History
- 2026-10-26: add by m2/dev
9YZZNAT9QG 9YZZNAT9QG
| URI | m2://inv/9YZZNAT9QG |
|---|---|
| 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#AISR (statement). In 1C3R5NAQAP/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12