Inventory rows SJ
The cards of the rows of the inventory whose ids start with SJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Crumpled cube SJ025CST94
| URI | m2://inv/SJ025CST94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crumpled cube, Crumpled cube (definition). Also Wikidata Q5190073
History
- 2026-11-02: add by m2/dev
SJ04ACGR7G SJ04ACGR7G
| URI | m2://inv/SJ04ACGR7G |
|---|---|
| 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.07380#5E8Q (statement). In XM2CDRKSGE/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
SJ0541SM7R SJ0541SM7R
| URI | m2://inv/SJ0541SM7R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00877#PM8Y (definition). In 1QVKNGBS3D/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Inertial manifold around a periodic mild solution SJ0ANXK1W8
| URI | m2://inv/SJ0ANXK1W8 |
|---|---|
| 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.11084#4WZC, Inertial manifold around a periodic mild solution (statement). In VZ61XQ6QNX/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.3
Grand Unified Theory SJ0GR9TJSQ
| URI | m2://inv/SJ0GR9TJSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#I8HR, Grand Unified Theory (unknown)
History
- 2026-11-02: add by m2/dev
Crossing SJ0HJKGD04
| URI | m2://inv/SJ0HJKGD04 |
|---|---|
| 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 math/0003117#COMW, Crossing (statement). In WD2NCBV9F0/e1, lemma 15.3
History
- 2026-10-27: add by m2/v0.3.5
Hermitian connection SJ0PD6MPCE
| URI | m2://inv/SJ0PD6MPCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian connection, Hermitian connection (definition). Also Wikidata Q5646449
History
- 2026-11-02: add by m2/dev
Against the Astrologers SJ0QQV3SGT
| URI | m2://inv/SJ0QQV3SGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sextus Empiricus#81UO, Against the Astrologers (unknown)
History
- 2026-11-02: add by m2/dev
Montel space SJ0VDFDGFF
| URI | m2://inv/SJ0VDFDGFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#3IU3, Montel space (definition)
History
- 2026-11-02: add by m2/dev
Products and the ball of prescribed volume SJ0VHWTP6A
| URI | m2://inv/SJ0VHWTP6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#RSNO, Products and the ball of prescribed volume (statement). In 9YAE8FNQST/e1, theorem 20.13
History
- 2026-10-30: add by m2/v0.4.12
derivative of a composition of functions SJ0YYDG1JC
| URI | m2://inv/SJ0YYDG1JC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative of a composition of functions, derivative of a composition of functions (unknown). Also Mathlib deriv_comp
History
- 2026-10-26: add by m2/dev
SJ141NW7B8 SJ141NW7B8
| URI | m2://inv/SJ141NW7B8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#075C (statement). In V5PVKDKGGG/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
SJ171BWASF SJ171BWASF
| URI | m2://inv/SJ171BWASF |
|---|---|
| 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 2211.14214#NARP (statement). In SY85Y9E45A/e1, fact 1
History
- 2026-10-27: add by m2/v0.3.5
SJ1ASHX0YK SJ1ASHX0YK
| URI | m2://inv/SJ1ASHX0YK |
|---|---|
| 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.14616#PSTC (statement). In 17ACAG0N9C/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
SJ1DBMFG4C SJ1DBMFG4C
| URI | m2://inv/SJ1DBMFG4C |
|---|---|
| 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.01338#JAQJ (statement). In 4BR6MWF13C/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
SJ1FZFAQDQ SJ1FZFAQDQ
| URI | m2://inv/SJ1FZFAQDQ |
|---|---|
| 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 2609.25269#ZQ6H (example)
History
- 2026-11-01: add by m2/v0.6.15
SJ1G683CY6 SJ1G683CY6
| URI | m2://inv/SJ1G683CY6 |
|---|---|
| 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 2608.24599#TI9V (definition). In VG8QFWTT8S/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.6
Definition SJ1GYC4J14
| URI | m2://inv/SJ1GYC4J14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective topos#LYM3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Reduced derivative SJ1H8QC9MQ
| URI | m2://inv/SJ1H8QC9MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced derivative, Reduced derivative (definition). Also Wikidata Q7306324
History
- 2026-11-02: add by m2/dev
Properties SJ1QFAX8R6
| URI | m2://inv/SJ1QFAX8R6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic module#K8S7, Properties (statement)
History
- 2026-11-02: add by m2/dev
SJ1XPX6G86 SJ1XPX6G86
| URI | m2://inv/SJ1XPX6G86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#AKJG (statement)
History
- 2026-11-01: add by m2/v0.6.15
SJ23Y1PA2V SJ23Y1PA2V
| URI | m2://inv/SJ23Y1PA2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#KL15 (statement). In SCSTR1Q1BW/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
764 (number) SJ24GH27YS
| URI | m2://inv/SJ24GH27YS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#NA1H, 764 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Class sizes SJ270XZBCH
| URI | m2://inv/SJ270XZBCH |
|---|---|
| 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#PXF0, Class sizes (statement). In ZRE2WQR5XA/e1, lemma IV.1
History
- 2026-10-27: add by m2/v0.4.2
SJ2ASZK8CM SJ2ASZK8CM
| URI | m2://inv/SJ2ASZK8CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#QLEA (statement). In X765ZXXVC3/e1, theorem 6.10
History
- 2026-10-29: add by m2/v0.4.12
L\"owner's lemma SJ2HTX0FXA
| URI | m2://inv/SJ2HTX0FXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#EBU5, L\"owner's lemma (statement). In PC1CFE8CJC/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
SJ2K2CR1Y5 SJ2K2CR1Y5
| URI | m2://inv/SJ2K2CR1Y5 |
|---|---|
| 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.00934#SQDS (statement). In SHCQDPCF2J/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.12
Corollary SJ2T5FKFZF
| URI | m2://inv/SJ2T5FKFZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trakhtenbrot's theorem#VFZ6, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Wilma Z. Davis SJ2WHK5W0Z
| URI | m2://inv/SJ2WHK5W0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilma Z. Davis, Wilma Z. Davis (topic). Also Wikidata Q51852352
History
- 2026-11-02: add by m2/dev
The Pokhozhaev identity for the stationary nonlinear Schrödinger equation SJ2XNN1P6P
| URI | m2://inv/SJ2XNN1P6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pokhozhaev's identity#HZJL, The Pokhozhaev identity for the stationary nonlinear Schrödinger equation (statement)
History
- 2026-11-02: add by m2/dev
SJ33BP0MDR SJ33BP0MDR
| URI | m2://inv/SJ33BP0MDR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-19 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Gino Fano SJ34E7S4DX
| URI | m2://inv/SJ34E7S4DX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#B9XE, Gino Fano (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XVKP, Gino Fano (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZYZV, Gino Fano (topic)
History
- 2026-11-02: add by m2/dev
SJ34WTYQSQ SJ34WTYQSQ
| URI | m2://inv/SJ34WTYQSQ |
|---|---|
| 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.12413#G9CU (definition). In 6EJ8J60SP8/e1, definition 5
History
- 2026-10-28: add by m2/v0.4.2
Makkai SJ3K0SEGT8
| URI | m2://inv/SJ3K0SEGT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#GLQJ, Makkai (definition)
History
- 2026-11-02: add by m2/dev
The algorithm SJ3NDF1KNQ
| URI | m2://inv/SJ3NDF1KNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacGuffin (cipher)#79WW, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Bilateral construction SJ3PYWTVB0
| URI | m2://inv/SJ3PYWTVB0 |
|---|---|
| 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 2610.00076#DJ0W, Bilateral construction (statement). In 2VQ90WEZKB/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
pointwise convergence SJ3QVX25KT
| URI | m2://inv/SJ3QVX25KT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.1.1/pointwise-convergence, pointwise convergence (concept). In E59CDZA4DP, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions SJ46DEAT87
| URI | m2://inv/SJ46DEAT87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-differentiability#W0PI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
SJ49VCMVH0 SJ49VCMVH0
| URI | m2://inv/SJ49VCMVH0 |
|---|---|
| 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.09129#MNUE (statement). In Z1RZSF68XZ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Critical Young's functions SJ4BPABR8K
| URI | m2://inv/SJ4BPABR8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#6CPD, Critical Young's functions (statement). In ZRPYF750AV/e1, theorem 3.17
History
- 2026-10-29: add by m2/v0.4.10
SJ4C5034FN SJ4C5034FN
| URI | m2://inv/SJ4C5034FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#1A3D (statement)
History
- 2026-11-02: add by m2/v0.6.17
SJ4R3K5ENZ SJ4R3K5ENZ
| URI | m2://inv/SJ4R3K5ENZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#TETD (statement). In 6DZPR52HRP/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
K-topology SJ4SHBAR7J
| URI | m2://inv/SJ4SHBAR7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6322883, K-topology (unknown). Also nLab K-topology
- wikipedia: Wikipedia K-topology, K-topology (definition). Also Wikidata Q6322883
History
- 2026-10-26: add by m2/dev
Type-1 Gumbel distribution SJ4X4R44NZ
| URI | m2://inv/SJ4X4R44NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#PL4J, Type-1 Gumbel distribution (definition)
History
- 2026-11-02: add by m2/dev
Examples SJ4Z9Q6EZJ
| URI | m2://inv/SJ4Z9Q6EZJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion–exclusion principle#5RL9, Examples (example)
History
- 2026-11-02: add by m2/dev
Leah M. Smith SJ4ZZ2Q51X
| URI | m2://inv/SJ4ZZ2Q51X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leah M. Smith, Leah M. Smith (topic). Also Wikidata Q106941985
History
- 2026-11-02: add by m2/dev
SJ523PNPAY SJ523PNPAY
| URI | m2://inv/SJ523PNPAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#0NBV (statement). In RBQ5FNCVNZ/e1, lemma 6.9
History
- 2026-10-30: add by m2/v0.4.12
SJ58SBZ0J7 SJ58SBZ0J7
| URI | m2://inv/SJ58SBZ0J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#FAGT (statement). In 6KR7Z5ETRY/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Joshua Wurman SJ5FMJE83X
| URI | m2://inv/SJ5FMJE83X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#36CW, Joshua Wurman (unknown)
History
- 2026-11-02: add by m2/dev
SJ64NST60C SJ64NST60C
| URI | m2://inv/SJ64NST60C |
|---|---|
| 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 2105.03715#6BMJ (statement). In H3FWT3Z0J4/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
SJ67V8D633 SJ67V8D633
| URI | m2://inv/SJ67V8D633 |
|---|---|
| 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.27628#GVX6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
anticommutator SJ6BS99DVJ
| URI | m2://inv/SJ6BS99DVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5697095, anticommutator (unknown). Also MathWorld Anticommutator, nLab anti-commutator
History
- 2026-10-26: add by m2/dev
SJ6WPWRKDC SJ6WPWRKDC
| URI | m2://inv/SJ6WPWRKDC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:ord-into-surreals (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
SJ6YEGHFN8 SJ6YEGHFN8
| URI | m2://inv/SJ6YEGHFN8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 15
History
- 2026-11-01: add by m2/v0.6.13
Notre Dame Journal of Formal Logic SJ72229KQH
| URI | m2://inv/SJ72229KQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Notre Dame Journal of Formal Logic, Notre Dame Journal of Formal Logic (definition). Also Wikidata Q15734650
History
- 2026-11-02: add by m2/dev
SJ73PYTNYR SJ73PYTNYR
| URI | m2://inv/SJ73PYTNYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#definition-7 (definition). In RZP28ERRZV, definition, section 44.7.1
History
- 2026-11-01: add by m2/v0.6.13
SJ746M7H9R SJ746M7H9R
| URI | m2://inv/SJ746M7H9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#RUK4 (statement). In 4H727T2YAS/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.12
Markov chain Monte Carlo SJ74ART87J
| URI | m2://inv/SJ74ART87J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo, Markov chain Monte Carlo (definition). Also Wikidata Q1191869
History
- 2026-11-02: add by m2/dev
(smooth) pullback vector bundle SJ76G221X4
| URI | m2://inv/SJ76G221X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) pullback vector bundle, (smooth) pullback vector bundle (unknown). Also Mathlib ContMDiffVectorBundle.pullback
History
- 2026-10-26: add by m2/dev
SJ77KVPMMT SJ77KVPMMT
| URI | m2://inv/SJ77KVPMMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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 2609.25080#ELPD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reversible process SJ7A79SQKV
| URI | m2://inv/SJ7A79SQKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reversible process (thermodynamics), Reversible process (definition). Also Wikidata Q908691
History
- 2026-11-02: add by m2/dev
Oscar Goldman SJ7CVKR3H0
| URI | m2://inv/SJ7CVKR3H0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscar Goldman (mathematician), Oscar Goldman (topic). Also Wikidata Q7106002
History
- 2026-11-02: add by m2/dev
SJ7D6RS322 SJ7D6RS322
| URI | m2://inv/SJ7D6RS322 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#QZDW (statement). In QM1T8JDK4A/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
SJ7H8K1MF5 SJ7H8K1MF5
| URI | m2://inv/SJ7H8K1MF5 |
|---|---|
| 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#VTI9 (statement). In Q7CWPC7PXY/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
SJ7TV396VA SJ7TV396VA
| URI | m2://inv/SJ7TV396VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#JOQ8 (statement). In 2BET1RE1F6/e1, proposition 3.12
History
- 2026-10-31: add by m2/v0.5.6
Orientable manifold SJ80665P7B
| URI | m2://inv/SJ80665P7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#4YRC, Orientable manifold (definition)
History
- 2026-11-02: add by m2/dev
Corollary 2 and Table 1 of , specialized to prime case SJ83B9D4M2
| URI | m2://inv/SJ83B9D4M2 |
|---|---|
| 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.23128#YAN1, Corollary 2 and Table 1 of , specialized to prime case (statement)
History
- 2026-11-02: add by m2/v0.6.17
SJ84Q3N2WF SJ84Q3N2WF
| URI | m2://inv/SJ84Q3N2WF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/minimization.tex#lem:min (statement). In PKGMM3P5QY, lem, section 38.3
History
- 2026-11-01: add by m2/v0.6.13
Results SJ887VN31A
| URI | m2://inv/SJ887VN31A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia South East Asian Mathematics Competition#EMJJ, Results (statement)
History
- 2026-11-02: add by m2/dev
Hajós graph SJ8G44QKVP
| URI | m2://inv/SJ8G44QKVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30747987, Hajós graph (unknown). Also House of Graphs 36261, MathWorld HajosGraph
History
- 2026-10-26: add by m2/dev
SJ8PX5GPD4 SJ8PX5GPD4
| URI | m2://inv/SJ8PX5GPD4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#L10X (example). In ABS9M47F4K/e1, example 4.4
History
- 2026-10-27: add by m2/v0.3.6
projective invariant SJ8SDFY8CC
| URI | m2://inv/SJ8SDFY8CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#OEXD, projective invariant (definition)
History
- 2026-11-02: add by m2/dev
Subbayya Sivasankaranarayana Pillai SJ8V14W734
| URI | m2://inv/SJ8V14W734 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#7E6D, Subbayya Sivasankaranarayana Pillai (topic)
History
- 2026-11-02: add by m2/dev
law of large numbers SJ8VCRYXCE
| URI | m2://inv/SJ8VCRYXCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX, 81-XX |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Law of large numbers 0ZVEAYVRC3 |
Mentions
- arxiv: arXiv 2609.10840#JESE, Law of large numbers (statement). In P0HKF5DY7M/e1, corollary 2.9
- wikidata: Wikidata Q207952, law of large numbers (statement). Also MathWorld LawofLargeNumbers, ProofWiki Law_of_Large_Numbers
- wikipedia: Wikipedia Law of large numbers, Law of large numbers (statement). Also Wikidata Q207952
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
SJ94B957GM SJ94B957GM
| URI | m2://inv/SJ94B957GM |
|---|---|
| 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#ARBX (statement). In E7W2HDNEKJ/e1, corollary 4.25
History
- 2026-10-30: add by m2/v0.4.12
Persistent quantitative packets SJ950686BJ
| URI | m2://inv/SJ950686BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27813#OGS5, Persistent quantitative packets (statement)
History
- 2026-11-01: add by m2/v0.6.15
SJ974NY5Z4 SJ974NY5Z4
| URI | m2://inv/SJ974NY5Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#FJIZ (statement). In TC5QA4AB4Z/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
Scientific explanations SJ9NQRXK7H
| URI | m2://inv/SJ9NQRXK7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explanation#HYT9, Scientific explanations (unknown)
History
- 2026-11-02: add by m2/dev
Percent discrepancy SJA0E9C1PW
| URI | m2://inv/SJA0E9C1PW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative change#7GVG, Percent discrepancy (unknown)
History
- 2026-11-02: add by m2/dev
SJA0RXYGFE SJA0RXYGFE
| URI | m2://inv/SJA0RXYGFE |
|---|---|
| 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 2403.01959#H3Q7 (statement). In 5YMNGJRC6Y/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
2015 Transnistrian census SJA1JNB7XM
| URI | m2://inv/SJA1JNB7XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2015 Transnistrian census, 2015 Transnistrian census (definition). Also Wikidata Q25395767
History
- 2026-11-02: add by m2/dev
Superadditivity SJA4B0Y6K3
| URI | m2://inv/SJA4B0Y6K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superadditivity, Superadditivity (definition). Also Wikidata Q922087
History
- 2026-11-02: add by m2/dev
32-bit integer limit SJA5AN1XPD
| URI | m2://inv/SJA5AN1XPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2,147,483,647#IZS6, 32-bit integer limit (unknown)
History
- 2026-11-02: add by m2/dev
Curve of growth SJA63BPGZM
| URI | m2://inv/SJA63BPGZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#7BJY, Curve of growth (unknown)
History
- 2026-11-02: add by m2/dev
Dependence logic SJA8Y81BP0
| URI | m2://inv/SJA8Y81BP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependence logic, Dependence logic (definition). Also Wikidata Q5260614
History
- 2026-11-02: add by m2/dev
SJA9PVT7V3 SJA9PVT7V3
| URI | m2://inv/SJA9PVT7V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#O8TE (statement). In 34JGRZ2M5F/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
Maya numerals SJAC1GGVTR
| URI | m2://inv/SJAC1GGVTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maya numerals, Maya numerals (definition). Also Wikidata Q335109
History
- 2026-11-02: add by m2/dev
Cryptography standards SJAK20EGJZ
| URI | m2://inv/SJAK20EGJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptography standards, Cryptography standards (definition). Also Wikidata Q5190949
History
- 2026-11-02: add by m2/dev
Modular $S$-covariance SJAV4XBQR9
| URI | m2://inv/SJAV4XBQR9 |
|---|---|
| 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.08787#VPT2, Modular $S$-covariance (statement). In CCQ5XXWYDZ/e1, proposition E.3
History
- 2026-10-29: add by m2/v0.4.10
Uffe Haagerup SJAW0VKH5E
| URI | m2://inv/SJAW0VKH5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uffe Haagerup, Uffe Haagerup (topic). Also Wikidata Q1510753
History
- 2026-11-02: add by m2/dev
SJAZVPKDZ8 SJAZVPKDZ8
| URI | m2://inv/SJAZVPKDZ8 |
|---|---|
| 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.14839#5EAP (statement). In CYB41667NA/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Example SJB1Z3AZVR
| URI | m2://inv/SJB1Z3AZVR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star product#B2GQ, Example (example)
History
- 2026-11-02: add by m2/dev
Main Poincar\'{e} Inequality SJB4CAMRNK
| URI | m2://inv/SJB4CAMRNK |
|---|---|
| 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.06724#4HOS, Main Poincar\'{e} Inequality (statement). In W5XG3PGVF1/e1, theorem 1.14
History
- 2026-10-29: add by m2/v0.4.10
Properties SJB4DG6SEP
| URI | m2://inv/SJB4DG6SEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse-Wishart distribution#M7IR, Properties (statement)
History
- 2026-11-02: add by m2/dev
SJB752VZX1 SJB752VZX1
| URI | m2://inv/SJB752VZX1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36792#1Z4K (definition). In 3BFA92YW3M/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Multibrot set SJB867GMA1
| URI | m2://inv/SJB867GMA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multibrot set, Multibrot set (definition). Also Wikidata Q2428719
History
- 2026-11-02: add by m2/dev
Hirzebruch signature theorem SJB9D2ACHX
| URI | m2://inv/SJB9D2ACHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#SRID, Hirzebruch signature theorem (statement)
History
- 2026-11-02: add by m2/dev
complementary subspaces SJBCXTEXCK
| URI | m2://inv/SJBCXTEXCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Complementary subspaces 04C3BAHV03 |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > complementary subspaces, complementary subspaces (unknown). Also Mathlib Submodule.exists_isCompl
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Normal-gamma distribution SJBDA293CN
| URI | m2://inv/SJBDA293CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-gamma distribution, Normal-gamma distribution (definition). Also Wikidata Q7051756
History
- 2026-11-02: add by m2/dev
Crowd counting SJBKZW7K0P
| URI | m2://inv/SJBKZW7K0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crowd counting, Crowd counting (definition). Also Wikidata Q2990819
History
- 2026-11-02: add by m2/dev
invalid SJBRMEMBBC
| URI | m2://inv/SJBRMEMBBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GG6L, invalid (definition)
History
- 2026-11-02: add by m2/dev
Linear discriminant analysis SJBY8CS3CX
| URI | m2://inv/SJBY8CS3CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#3758, Linear discriminant analysis (definition)
- wikipedia: Wikipedia List of statistics articles#D37O, Linear discriminant analysis (definition)
History
- 2026-11-02: add by m2/dev
SJBYNXSD3S SJBYNXSD3S
| URI | m2://inv/SJBYNXSD3S |
|---|---|
| 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#QEYN (statement). In 9H45HQE7AZ/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Facet shape and inball SJBYRKG16N
| URI | m2://inv/SJBYRKG16N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#UADS, Facet shape and inball (statement)
History
- 2026-11-01: add by m2/v0.6.15
Double Fourier sphere method SJBYXTEGZ7
| URI | m2://inv/SJBYXTEGZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double Fourier sphere method, Double Fourier sphere method (definition). Also Wikidata Q25111957
History
- 2026-11-02: add by m2/dev
SJC8CY6JVG SJC8CY6JVG
| URI | m2://inv/SJC8CY6JVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#N2IU (statement). In 47WN78VDDF/e1, theorem 3.37
History
- 2026-10-30: add by m2/v0.4.12
SJCAMQHJ7P SJCAMQHJ7P
| URI | m2://inv/SJCAMQHJ7P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#RSC3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
the profile at $(2,3)$: summary SJCHFSJ05C
| URI | m2://inv/SJCHFSJ05C |
|---|---|
| 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.09298#DIWL, the profile at $(2,3)$: summary (statement). In 1SPQ4J3AWY/e1, theorem 7.7
History
- 2026-10-29: add by m2/v0.4.10
576 (number) SJCVX3AK6Q
| URI | m2://inv/SJCVX3AK6Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#A3W6, 576 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Properties SJCW0JWW4R
| URI | m2://inv/SJCW0JWW4R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egalitarian rule#3Y5U, Properties (statement)
History
- 2026-11-02: add by m2/dev
GRADELA SJCX23NBK2
| URI | m2://inv/SJCX23NBK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics#RWU3, GRADELA (unknown)
History
- 2026-11-02: add by m2/dev
Z-order SJCZYBS116
| URI | m2://inv/SJCZYBS116 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#R61J, Z-order (unknown)
History
- 2026-11-02: add by m2/dev
Attainment at nondegenerate regular points SJD7ECSJ8X
| URI | m2://inv/SJD7ECSJ8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#9JU5, Attainment at nondegenerate regular points (statement). In AMRWRJDNKJ/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
\textbf{Specification does not imply TPO SJD96S8CDX
| URI | m2://inv/SJD96S8CDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#Q1UQ, \textbf{Specification does not imply TPO (statement). In 7SRERSS1PF/e1, corollary B
History
- 2026-10-29: add by m2/v0.4.12
Sims conjecture SJDAAMD12G
| URI | m2://inv/SJDAAMD12G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sims conjecture, Sims conjecture (statement). Also Wikidata Q65063913
History
- 2026-11-02: add by m2/dev
Manuel Sandoval Vallarta SJDAX0NWHJ
| URI | m2://inv/SJDAX0NWHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K9I1, Manuel Sandoval Vallarta (unknown)
History
- 2026-11-02: add by m2/dev
3 SJDCF896R6
| URI | m2://inv/SJDCF896R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q201, 3 (statement). Also MathWorld 3, ProofWiki 3
- wikipedia: Wikipedia 3, 3 (definition). Also Wikidata Q201
History
- 2026-10-26: add by m2/dev
SJDSFWESKJ SJDSFWESKJ
| URI | m2://inv/SJDSFWESKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#UCFA (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Quaternionic toric LVMQ sphere products SJDW4441WQ
| URI | m2://inv/SJDW4441WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#94HG, Quaternionic toric LVMQ sphere products (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rectified cubic honeycomb SJDZCNG0P7
| URI | m2://inv/SJDZCNG0P7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#90MG, Rectified cubic honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0C1M, Rectified cubic honeycomb (object)
History
- 2026-11-02: add by m2/dev
Definitions SJE56FH2V3
| URI | m2://inv/SJE56FH2V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary (topology)#0GUB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Nicolae Culianu SJEC4YYY74
| URI | m2://inv/SJEC4YYY74 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolae Culianu, Nicolae Culianu (topic). Also Wikidata Q12736472
History
- 2026-11-02: add by m2/dev
Elongated triangular tiling SJEF41X9Y6
| URI | m2://inv/SJEF41X9Y6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#TG9C, Elongated triangular tiling (object)
History
- 2026-11-02: add by m2/dev
Witt's decomposition theorem SJEFY3ETJN
| URI | m2://inv/SJEFY3ETJN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt's theorem#UUAP, Witt's decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
SJEHH06MGA SJEHH06MGA
| URI | m2://inv/SJEHH06MGA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#89IM (definition). In X765ZXXVC3/e1, definition 3.11
History
- 2026-10-29: add by m2/v0.4.12
Examples and counterexamples SJF0C175GG
| URI | m2://inv/SJF0C175GG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative inverse#TCWM, Examples and counterexamples (example)
History
- 2026-11-02: add by m2/dev
Linear bounded automaton SJF9CFXE5T
| URI | m2://inv/SJF9CFXE5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear bounded automaton, Linear bounded automaton (definition). Also Wikidata Q1149323
History
- 2026-11-02: add by m2/dev
SJFCE49Q7T SJFCE49Q7T
| URI | m2://inv/SJFCE49Q7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#G1PV (statement). In MFCW5CY96C/e1, lemma 52
History
- 2026-10-28: add by m2/v0.4.2
Gaetano Scorza SJFFYCF1DC
| URI | m2://inv/SJFFYCF1DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#4KQF, Gaetano Scorza (topic)
History
- 2026-11-02: add by m2/dev
Roy Adler SJFG5127Q8
| URI | m2://inv/SJFG5127Q8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P7DR, Roy Adler (topic)
History
- 2026-11-02: add by m2/dev
SJFH8N2XRN SJFH8N2XRN
| URI | m2://inv/SJFH8N2XRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#T0DJ (statement). In H52QQS8WZA/e1, proposition 11.2
History
- 2026-10-27: add by m2/v0.3.5
Carl Kostka SJFYNWJYZP
| URI | m2://inv/SJFYNWJYZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Kostka, Carl Kostka (topic). Also Wikidata Q5040435
History
- 2026-11-02: add by m2/dev
SJG0ABC48F SJG0ABC48F
| URI | m2://inv/SJG0ABC48F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#87XT (statement). In 9YTGFNA004/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
SJG0V7G20S SJG0V7G20S
| URI | m2://inv/SJG0V7G20S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#JR8U (definition)
History
- 2026-11-02: add by m2/v0.6.18
Ulrike Grömping SJG6YRZCP7
| URI | m2://inv/SJG6YRZCP7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulrike Grömping, Ulrike Grömping (topic). Also Wikidata Q102336730
History
- 2026-11-02: add by m2/dev
Definitions SJGD6KDQ2S
| URI | m2://inv/SJGD6KDQ2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence relation#6FHE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition SJGDC7HFC4
| URI | m2://inv/SJGDC7HFC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moufang loop#MC7I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kendall's notation SJGDH6JFSX
| URI | m2://inv/SJGDH6JFSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall's notation, Kendall's notation (definition). Also Wikidata Q1738700
History
- 2026-11-02: add by m2/dev
SJGVCWW3CQ SJGVCWW3CQ
| URI | m2://inv/SJGVCWW3CQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 61.9
History
- 2026-11-01: add by m2/v0.6.13
Sokal, Robert R. SJGXJRT043
| URI | m2://inv/SJGXJRT043 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N44Y, Sokal, Robert R. (topic)
History
- 2026-11-02: add by m2/dev
The Signal and the Noise SJH514WRC4
| URI | m2://inv/SJH514WRC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17154021, The Signal and the Noise (unknown). Also ProofWiki Book:Nate_Silver/The_Signal_and_the_Noise
- wikipedia: Wikipedia The Signal and the Noise, The Signal and the Noise (definition). Also Wikidata Q17154021
History
- 2026-10-26: add by m2/dev
Near-miss Johnson solid SJH7HFW36Q
| URI | m2://inv/SJH7HFW36Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near-miss Johnson solid, Near-miss Johnson solid (object). Also Wikidata Q6984340
History
- 2026-11-02: add by m2/dev
Formulation SJH8H39K21
| URI | m2://inv/SJH8H39K21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least absolute deviations#FNOB, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Lori Thombs SJHBMRASE3
| URI | m2://inv/SJHBMRASE3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lori Thombs, Lori Thombs (topic). Also Wikidata Q92551804
History
- 2026-11-02: add by m2/dev
SJHBW2AC3C SJHBW2AC3C
| URI | m2://inv/SJHBW2AC3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#ZYUV (statement). In HX63A1PH1W/e1, corollary 6.33
History
- 2026-10-28: add by m2/v0.4.3
Newton’s method SJHCN34ZS4
| URI | m2://inv/SJHCN34ZS4 |
|---|---|
| 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 > Newton’s method, Newton’s method (unknown)
History
- 2026-10-26: add by m2/dev
SJHRSF8GPH SJHRSF8GPH
| URI | m2://inv/SJHRSF8GPH |
|---|---|
| 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.16875#G8KW (statement). In KS30K5JXGB/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
No such thing as a stupid question SJHT6R3BNY
| URI | m2://inv/SJHT6R3BNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No such thing as a stupid question, No such thing as a stupid question (definition). Also Wikidata Q17148657
History
- 2026-11-02: add by m2/dev
binomial law SJJ2KZJMYR
| URI | m2://inv/SJJ2KZJMYR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > binomial law, binomial law (unknown). Also Mathlib ProbabilityTheory.binomial
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > binomial law, binomial law (unknown). Also Mathlib ProbabilityTheory.binomial
History
- 2026-10-26: add by m2/dev
Applications SJJ7VJM24K
| URI | m2://inv/SJJ7VJM24K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strip algebra#K0FX, Applications (example)
History
- 2026-11-02: add by m2/dev
SJJJ9Y113B SJJJ9Y113B
| URI | m2://inv/SJJJ9Y113B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#PQMF (statement). In 6KR7Z5ETRY/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
SJJJP3JW67 SJJJP3JW67
| URI | m2://inv/SJJJP3JW67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18600#ZSAT (statement). In 31D6TQVCNZ/e1, proposition 3.19
History
- 2026-10-28: add by m2/v0.4.2
closed sentence SJJRJ1BY3Y
| URI | m2://inv/SJJRJ1BY3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141498864, closed sentence (unknown). Also MathWorld ClosedSententialFormula
History
- 2026-10-26: add by m2/dev
Properties and applications SJJV2H1VED
| URI | m2://inv/SJJV2H1VED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite inner product space#1MED, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
SJJXTW96P3 SJJXTW96P3
| URI | m2://inv/SJJXTW96P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-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 2504.00596#W5CS (statement). In F8RC6AENB0/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
SJK1Z1KSGJ SJK1Z1KSGJ
| URI | m2://inv/SJK1Z1KSGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#Y6GF (statement). In VEXM27M8Q1/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.3
analyticity of holomorphic functions SJK9CZ5N93
| URI | m2://inv/SJK9CZ5N93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > analyticity of holomorphic functions, analyticity of holomorphic functions (unknown). Also Mathlib DifferentiableOn.analyticAt
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > analyticity of a holomorphic function, analyticity of a holomorphic function (unknown). Also Mathlib DifferentiableOn.analyticAt
History
- 2026-10-26: add by m2/dev
Finite-dimensional Davies comparison SJKBYET3G5
| URI | m2://inv/SJKBYET3G5 |
|---|---|
| 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.06764#46FY, Finite-dimensional Davies comparison (statement). In MSWV3MJ5CE/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
SJKCJ54MF4 SJKCJ54MF4
| URI | m2://inv/SJKCJ54MF4 |
|---|---|
| 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.07370#MUYK (statement). In Q94QXG67CK/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Epigenome-wide association study SJKM3VXEJH
| URI | m2://inv/SJKM3VXEJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epigenome-wide association study, Epigenome-wide association study (definition). Also Wikidata Q30600570
History
- 2026-11-02: add by m2/dev
!!^{tableau} SJKRX95SCX
| URI | m2://inv/SJKRX95SCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/derivations.tex#defn-1, !!^{tableau} (definition). In PKGMM3P5QY, defn, section 22.3
History
- 2026-11-01: add by m2/v0.6.13
SJKWGHHKFJ SJKWGHHKFJ
| URI | m2://inv/SJKWGHHKFJ |
|---|---|
| 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.08091#ZSPC (statement). In MS13WE3CSD/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.10
Harry Dym SJM1N4PEG6
| URI | m2://inv/SJM1N4PEG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#S66D, Harry Dym (unknown)
History
- 2026-11-02: add by m2/dev
SJM4EM8PA4 SJM4EM8PA4
| URI | m2://inv/SJM4EM8PA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08500#RLYH (statement). In ZPCYW4N0EH/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Cylindrical Schwartz functions are Barron w.r.t. $\operatorname{ReLU}^s$ SJM5053R34
| URI | m2://inv/SJM5053R34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#D5QM, Cylindrical Schwartz functions are Barron w.r.t. $\operatorname{ReLU}^s$ (statement). In N91F15MHW1/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.3
Core principles SJM8ZT68QE
| URI | m2://inv/SJM8ZT68QE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected Mathematics#5BNL, Core principles (statement)
History
- 2026-11-02: add by m2/dev
Quantitative implicit-function lemma SJMAGC50ZJ
| URI | m2://inv/SJMAGC50ZJ |
|---|---|
| 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.10813#ULJS, Quantitative implicit-function lemma (statement). In G8F4P7GDMA/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.3
incenter SJMBZVPSDD
| URI | m2://inv/SJMBZVPSDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Incentre 0M9MX8YW0A |
Mentions
- wikidata: Wikidata Q10614739, incenter (definition). Also MathWorld Incenter, ProofWiki Definition:Incircle_of_Triangle/Incenter
- wikipedia: Wikipedia Incenter, Incenter (definition). Also Wikidata Q10614739
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
moving average SJMCA7CTR8
| URI | m2://inv/SJMCA7CTR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1130194, moving average (unknown). Also MathWorld MovingAverage
- wikipedia: Wikipedia Moving average, Moving average (definition). Also Wikidata Q1130194
History
- 2026-10-26: add by m2/dev
SJMHB3NYRE SJMHB3NYRE
| URI | m2://inv/SJMHB3NYRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2404.14253#01K5 (statement). In R7W38A039X/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.6
Basic theorems in algebraic K-theory SJMJE5HKJ4
| URI | m2://inv/SJMJE5HKJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic theorems in algebraic K-theory, Basic theorems in algebraic K-theory (statement). Also Wikidata Q85745623
History
- 2026-11-02: add by m2/dev
SJMJXN2MS5 SJMJXN2MS5
| URI | m2://inv/SJMJXN2MS5 |
|---|---|
| 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.01268#L4PD (statement). In 80Q4X3WT8W/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Key generator SJMP2QMZ0S
| URI | m2://inv/SJMP2QMZ0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key generator, Key generator (definition). Also Wikidata Q6398160
History
- 2026-11-02: add by m2/dev
Harvey Dubner SJMPADD897
| URI | m2://inv/SJMPADD897 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y9YM, Harvey Dubner (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Wolff SJMV9EG8ZF
| URI | m2://inv/SJMV9EG8ZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Wolff, Thomas Wolff (topic). Also Wikidata Q2428258
History
- 2026-11-02: add by m2/dev
Subcritical susceptibility SJMX6XFR4E
| URI | m2://inv/SJMX6XFR4E |
|---|---|
| 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#8RNJ, Subcritical susceptibility (statement)
History
- 2026-11-02: add by m2/v0.6.17
Demographics of Bangladesh SJMZAF076X
| URI | m2://inv/SJMZAF076X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Bangladesh, Demographics of Bangladesh (definition). Also Wikidata Q2471577
History
- 2026-11-02: add by m2/dev
SJN0A0M8H8 SJN0A0M8H8
| URI | m2://inv/SJN0A0M8H8 |
|---|---|
| Kind | definition |
| 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 0806.0678#OF2W (definition). In 5RMV7VP13X/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
Topkis's theorem SJN26ZVMGQ
| URI | m2://inv/SJN26ZVMGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#95F1, Topkis's theorem (statement)
History
- 2026-11-02: add by m2/dev
SJN9F753A1 SJN9F753A1
| URI | m2://inv/SJN9F753A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#LY5Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dirichlet's energy SJNA6AJ811
| URI | m2://inv/SJNA6AJ811 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dirichlet energy YG3W8CBB3E |
Mentions
- wikidata: Wikidata Q5280760, Dirichlet's energy (unknown). Also MathWorld DirichletEnergy
- wikipedia: Wikipedia Dirichlet energy, Dirichlet energy (definition). Also Wikidata Q5280760
History
- 2026-10-26: add by m2/dev
Ten Hills, Baltimore SJNBFP95PD
| URI | m2://inv/SJNBFP95PD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OMEC, Ten Hills, Baltimore (unknown)
History
- 2026-11-02: add by m2/dev
Criticism of consensus decision-making SJNEXM9MVP
| URI | m2://inv/SJNEXM9MVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus decision-making#TL7V, Criticism of consensus decision-making (unknown)
History
- 2026-11-02: add by m2/dev
Cook-Levin theorem SJNNJWPXRZ
| URI | m2://inv/SJNNJWPXRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#MW76, Cook-Levin theorem (statement)
History
- 2026-11-02: add by m2/dev
SJNRMSBGBT SJNRMSBGBT
| URI | m2://inv/SJNRMSBGBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#IIO6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem SJNVCYR20C
| URI | m2://inv/SJNVCYR20C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan curve theorem#GUGJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hardin, Jo SJP1WQVKKC
| URI | m2://inv/SJP1WQVKKC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#H8C5, Hardin, Jo (topic)
History
- 2026-11-02: add by m2/dev
SJP2ZK53RW SJP2ZK53RW
| URI | m2://inv/SJP2ZK53RW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#BNYF (example)
History
- 2026-11-02: add by m2/v0.6.18
developable SJP7KFAQTH
| URI | m2://inv/SJP7KFAQTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#QDD8, developable (definition)
History
- 2026-11-02: add by m2/dev
Definition SJPG2YHY8B
| URI | m2://inv/SJPG2YHY8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological principle#MZUM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kirkman point SJPHM52H5G
| URI | m2://inv/SJPHM52H5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#LPML, Kirkman point (definition)
History
- 2026-11-02: add by m2/dev
SJPMXN3KP4 SJPMXN3KP4
| URI | m2://inv/SJPMXN3KP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.14699#LLCN (statement). In ES1CVGG59Y/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.3.5
Ramanujan's sum SJPT87GVF3
| URI | m2://inv/SJPT87GVF3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1441456, Ramanujan's sum (concept). Also MathWorld RamanujansSum
- wikipedia: Wikipedia Ramanujan's sum, Ramanujan's sum (definition). Also Wikidata Q1441456
History
- 2026-10-26: add by m2/dev
SJPTKGFXNQ SJPTKGFXNQ
| URI | m2://inv/SJPTKGFXNQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#6IB7 (definition). In EZXTEXR47M/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Mass–luminosity relation SJQ4MJMTFC
| URI | m2://inv/SJQ4MJMTFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass–luminosity relation, Mass–luminosity relation (definition). Also Wikidata Q1907452
History
- 2026-11-02: add by m2/dev
SJQ98NSE2S SJQ98NSE2S
| URI | m2://inv/SJQ98NSE2S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/composition.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 78.8
History
- 2026-11-01: add by m2/v0.6.13
Uniform Gaussian small balls SJQK9K76JV
| URI | m2://inv/SJQK9K76JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23558#K360, Uniform Gaussian small balls (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nested model SJQT756BCG
| URI | m2://inv/SJQT756BCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical model#DJV0, Nested model (unknown)
History
- 2026-11-02: add by m2/dev
SJQV0D4AQ3 SJQV0D4AQ3
| URI | m2://inv/SJQV0D4AQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/frames.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 53.1
History
- 2026-11-01: add by m2/v0.6.13
SJQV81M5EP SJQV81M5EP
| URI | m2://inv/SJQV81M5EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#4JZC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Profile equivalence and free-energy comparison SJR0S6937E
| URI | m2://inv/SJR0S6937E |
|---|---|
| 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.19356#M1U7, Profile equivalence and free-energy comparison (statement). In 2B5QA28NCX/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Samelson product SJR1284GZ6
| URI | m2://inv/SJR1284GZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#D6AD, Samelson product (definition)
History
- 2026-11-02: add by m2/dev
Fixed-point subring SJR7YQZE3W
| URI | m2://inv/SJR7YQZE3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point subring, Fixed-point subring (definition). Also Wikidata Q21018636
History
- 2026-11-02: add by m2/dev
SJRVQA24RX SJRVQA24RX
| URI | m2://inv/SJRVQA24RX |
|---|---|
| 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.21765#XOIR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Minimum-variance unbiased estimator SJS0MXTY55
| URI | m2://inv/SJS0MXTY55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AOXM, Minimum-variance unbiased estimator (definition)
History
- 2026-11-02: add by m2/dev
SJS1P0XYE5 SJS1P0XYE5
| URI | m2://inv/SJS1P0XYE5 |
|---|---|
| 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.16875#VF04 (statement). In KS30K5JXGB/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Shallow weight multiplicities SJS6191ECF
| URI | m2://inv/SJS6191ECF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#X2TT, Shallow weight multiplicities (statement). In 24FJ7C8WPN/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Correct horse battery staple SJSA49AEEF
| URI | m2://inv/SJSA49AEEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xkcd#DM9J, Correct horse battery staple (unknown)
History
- 2026-11-02: add by m2/dev
Llanddeusant, Anglesey SJSP57MMJZ
| URI | m2://inv/SJSP57MMJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZWKJ, Llanddeusant, Anglesey (unknown)
History
- 2026-11-02: add by m2/dev
SJSR779BKQ SJSR779BKQ
| URI | m2://inv/SJSR779BKQ |
|---|---|
| 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.12691#SARW (statement). In YVQKT91MYN/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Log-rank conjecture SJSSN8Z6EV
| URI | m2://inv/SJSSN8Z6EV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-rank conjecture, Log-rank conjecture (conjecture). Also Wikidata Q65051369
History
- 2026-11-02: add by m2/dev
SJSWS5CVAD SJSWS5CVAD
| URI | m2://inv/SJSWS5CVAD |
|---|---|
| Kind | example |
| 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#YS0R (example). In XYCBKM4WKY/e1, example 71
History
- 2026-10-27: add by m2/v0.3.5
Tan Eng Chye SJT4GVNYRC
| URI | m2://inv/SJT4GVNYRC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tan Eng Chye, Tan Eng Chye (topic). Also Wikidata Q7682047
History
- 2026-11-02: add by m2/dev
Institutional review board SJT7Z6ZDFG
| URI | m2://inv/SJT7Z6ZDFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institutional review board, Institutional review board (definition). Also Wikidata Q362104
History
- 2026-11-02: add by m2/dev
Taylor's theorem SJTH6ET5F3
| URI | m2://inv/SJTH6ET5F3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#XETF, Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
A small deterministic future window SJTJVFZ3BP
| URI | m2://inv/SJTJVFZ3BP |
|---|---|
| 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.21268#FY1S, A small deterministic future window (statement). In 9W2YX5X4AX/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Propositions 3.1--3.3 SJTR4S4J91
| URI | m2://inv/SJTR4S4J91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#4E1F, Propositions 3.1--3.3 (statement). In CHC3T113Y4/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
SJTR6F4N94 SJTR6F4N94
| URI | m2://inv/SJTR6F4N94 |
|---|---|
| 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 2508.07340#D2NA (statement). In 2HSB99DW4M/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.6
Euclidean topology SJTZRGTVT1
| URI | m2://inv/SJTZRGTVT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#8X7Q, Euclidean topology (definition)
History
- 2026-11-02: add by m2/dev
Andriy Yermak SJV127C6ZV
| URI | m2://inv/SJV127C6ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#Z60S, Andriy Yermak (unknown)
History
- 2026-11-02: add by m2/dev
Exterior calculus SJV34E1XH9
| URI | m2://inv/SJV34E1XH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#79KQ, Exterior calculus (definition)
History
- 2026-11-02: add by m2/dev
John Greenlees Semple SJV6RWFRFX
| URI | m2://inv/SJV6RWFRFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Greenlees Semple, John Greenlees Semple (topic). Also Wikidata Q11108584
History
- 2026-11-02: add by m2/dev
Divergence of the Prime Reciprocal Series SJVCM7N1W3
| URI | m2://inv/SJVCM7N1W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 81, Divergence of the Prime Reciprocal Series (statement). Also Mathlib Theorems100.Real.tendsto_sum_one_div_prime_atTop, Mathlib not_summable_one_div_on_primes
History
- 2026-10-26: add by m2/dev
Stochastic inner regret SJVRV52XTT
| URI | m2://inv/SJVRV52XTT |
|---|---|
| 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.13773#UR41, Stochastic inner regret (statement). In E75XQY0QFM/e1, corollary D.3
History
- 2026-10-28: add by m2/v0.4.2
Conservation laws as fundamental laws of nature SJVX8M81ZK
| URI | m2://inv/SJVX8M81ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservation law#PA1E, Conservation laws as fundamental laws of nature (statement)
History
- 2026-11-02: add by m2/dev
List of real analysis topics SJWFVDD3XQ
| URI | m2://inv/SJWFVDD3XQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics, List of real analysis topics (topic). Also Wikidata Q6636132
History
- 2026-11-02: add by m2/dev
Heinrich Liebmann SJWK66YVF7
| URI | m2://inv/SJWK66YVF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YZXT, Heinrich Liebmann (topic)
History
- 2026-11-02: add by m2/dev
Implementation SJWTQEDH8G
| URI | m2://inv/SJWTQEDH8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halton sequence#XUB7, Implementation (definition)
History
- 2026-11-02: add by m2/dev
equivalent SJX5BV87EQ
| URI | m2://inv/SJX5BV87EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#13SG, equivalent (definition)
History
- 2026-11-02: add by m2/dev
Exact tree reading of the game SJX98ZQG17
| URI | m2://inv/SJX98ZQG17 |
|---|---|
| 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.32078#958T, Exact tree reading of the game (statement). In 5PN85N6EJF/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
SJX9MM3PV7 SJX9MM3PV7
| URI | m2://inv/SJX9MM3PV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#YT60 (statement). In 73A9KWZJRD/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Partition-product bound SJXJ0GXZWB
| URI | m2://inv/SJXJ0GXZWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#8ZAX, Partition-product bound (statement). In GHT5WXFA4E/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Method SJXJK9KSF0
| URI | m2://inv/SJXJK9KSF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation by parts#Y1OT, Method (definition)
History
- 2026-11-02: add by m2/dev
Mellin inversion theorem SJXPP3Q39P
| URI | m2://inv/SJXPP3Q39P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6813106, Mellin inversion theorem (statement). Also Mathlib mellinInv_mellin_eq, Wikidata Q6813106
- thousand_plus: thousand_plus Q6813106, Mellin inversion theorem (statement). Also Mathlib mellin_inversion, Wikidata Q6813106, Wikipedia Mellin inversion theorem
- wikipedia: Wikipedia Mellin inversion theorem, Mellin inversion theorem (statement). Also Wikidata Q6813106
History
- 2026-10-26: add by m2/dev
halting problem SJXSP8RY03
| URI | m2://inv/SJXSP8RY03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Computability > halting problem, halting problem (unknown). Also Mathlib ComputablePred.halting_problem
History
- 2026-10-26: add by m2/dev
SJXVCFG5S5 SJXVCFG5S5
| URI | m2://inv/SJXVCFG5S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#UU66 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fourth moment, general $n$ SJXWW0CWHM
| URI | m2://inv/SJXWW0CWHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#VPVY, Fourth moment, general $n$ (statement). In QPJ6FWG5HD/e1, theorem 2.114
History
- 2026-10-29: add by m2/v0.4.12
Binomial Vandermonde matrices SJXX1X9XP8
| URI | m2://inv/SJXX1X9XP8 |
|---|---|
| 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.17476#6RQE, Binomial Vandermonde matrices (statement). In 6HXD74FA4S/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Bounded-depth extensions SJY30BMH5C
| URI | m2://inv/SJY30BMH5C |
|---|---|
| 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#CMZT, Bounded-depth extensions (statement). In E7W2HDNEKJ/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Stone SJY7VVH83M
| URI | m2://inv/SJY7VVH83M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#WHZR, Stone (definition)
History
- 2026-11-02: add by m2/dev
Applications SJYEJB1AP7
| URI | m2://inv/SJYEJB1AP7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log–log plot#K3YV, Applications (example)
History
- 2026-11-02: add by m2/dev
Point set registration SJYNM7GX4K
| URI | m2://inv/SJYNM7GX4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#WZDC, Point set registration (definition)
History
- 2026-11-02: add by m2/dev
SJZ4BGTX6M SJZ4BGTX6M
| URI | m2://inv/SJZ4BGTX6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#example-1 (example). In E59CDZA4DP, example, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Cont'd SJZKKK1V82
| URI | m2://inv/SJZKKK1V82 |
|---|---|
| Kind | example |
| 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 2206.11471#3B5K, Cont'd (example). In 8387H919D5/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
SJZMY8P755 SJZMY8P755
| URI | m2://inv/SJZMY8P755 |
|---|---|
| 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 2511.05069#0701 (statement). In SFQBJBTW8K/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
SJZPPBCVQC SJZPPBCVQC
| URI | m2://inv/SJZPPBCVQC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#FEI2 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Convexlike, Barycentrically Convexlike and Quasi-convexlike Functions SJZXMX0P6Q
| URI | m2://inv/SJZXMX0P6Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#365X, Convexlike, Barycentrically Convexlike and Quasi-convexlike Functions (definition)
History
- 2026-11-02: add by m2/v0.6.18
SJZZH5X7BX SJZZH5X7BX
| URI | m2://inv/SJZZH5X7BX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31489#161G (problem). In ZKBG58PN1J/e1, problem 5.2
History
- 2026-10-31: add by m2/v0.5.6