Inventory rows PK
The cards of the rows of the inventory whose ids start with PK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Vector Axioms PK02PTDMNY
| URI | m2://inv/PK02PTDMNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented matroid#JTF8, Vector Axioms (statement)
History
- 2026-11-02: add by m2/dev
PK0B24SDK6 PK0B24SDK6
| URI | m2://inv/PK0B24SDK6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 34.1
History
- 2026-11-01: add by m2/v0.6.13
PK0NMMZFRF PK0NMMZFRF
| URI | m2://inv/PK0NMMZFRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#FNDW (statement)
History
- 2026-11-01: add by m2/v0.6.15
PK0PNK5TMZ PK0PNK5TMZ
| URI | m2://inv/PK0PNK5TMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#7ZBP (statement)
History
- 2026-11-02: add by m2/v0.6.18
PK0QW2DH7N PK0QW2DH7N
| URI | m2://inv/PK0QW2DH7N |
|---|---|
| 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.02935#R27N (statement). In WE2KKAMEFW/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Shannon entropy PK0V9JXKEQ
| URI | m2://inv/PK0V9JXKEQ |
|---|---|
| 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.14615#029T, Shannon entropy (definition). In 7D5MMP8XB5/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Paleolithic tally sticks PK16V4C9HS
| URI | m2://inv/PK16V4C9HS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tally stick#LAOD, Paleolithic tally sticks (unknown)
History
- 2026-11-02: add by m2/dev
Hunter, William PK1D7G4KND
| URI | m2://inv/PK1D7G4KND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0B6Q, Hunter, William (topic)
History
- 2026-11-02: add by m2/dev
tree decomposition PK1GFSHEDC
| URI | m2://inv/PK1GFSHEDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#XT73, tree decomposition (definition)
History
- 2026-11-02: add by m2/dev
PK1W40SG0Q PK1W40SG0Q
| URI | m2://inv/PK1W40SG0Q |
|---|---|
| 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.20225#6P86 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Geodesics PK1X3XZ50T
| URI | m2://inv/PK1X3XZ50T |
|---|---|
| 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 2610.11911#6S0W, Geodesics (definition). In 5BYE5NYB89/e1, definition 2.12
History
- 2026-10-28: add by m2/v0.4.3
Subdivisions of Scotland PK1ZKR8XP6
| URI | m2://inv/PK1ZKR8XP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivisions of Scotland, Subdivisions of Scotland (definition). Also Wikidata Q461231
History
- 2026-11-02: add by m2/dev
PK23QV3EPE PK23QV3EPE
| URI | m2://inv/PK23QV3EPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28489#ESR7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Physical mathematics PK23WJFKW4
| URI | m2://inv/PK23WJFKW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical mathematics, Physical mathematics (definition). Also Wikidata Q11570659
History
- 2026-11-02: add by m2/dev
tensor product of commutative monoids PK29NAKN5R
| URI | m2://inv/PK29NAKN5R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139546703, tensor product of commutative monoids (concept). Also nLab tensor product of commutative monoids
History
- 2026-10-26: add by m2/dev
Fourier amplitude sensitivity testing PK2D8WJVD9
| URI | m2://inv/PK2D8WJVD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#6WFR, Fourier amplitude sensitivity testing (definition)
History
- 2026-11-02: add by m2/dev
PK2JFR28EC PK2JFR28EC
| URI | m2://inv/PK2JFR28EC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#Y7CB (definition). In P8KT6JV9N1/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
PK2ME15Q26 PK2ME15Q26
| URI | m2://inv/PK2ME15Q26 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#1S4U (conjecture). In ZAM4S2XS9F/e1, conjecture C.3
History
- 2026-10-30: add by m2/v0.4.12
Index of a lattice complement PK2MSKF2W9
| URI | m2://inv/PK2MSKF2W9 |
|---|---|
| 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.26576#LNNJ, Index of a lattice complement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mittag-Leffler star PK2N8PEG77
| URI | m2://inv/PK2N8PEG77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mittag-Leffler star, Mittag-Leffler star (definition). Also Wikidata Q4189397
History
- 2026-11-02: add by m2/dev
PK2S5AMFJJ PK2S5AMFJJ
| URI | m2://inv/PK2S5AMFJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35275#0OO6 (statement). In B0NV0JBAKB/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
PK2ZY13PWA PK2ZY13PWA
| URI | m2://inv/PK2ZY13PWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#RRFY (statement). In X47RYAZF8P/e1, lemma 9.2
History
- 2026-10-28: add by m2/v0.4.2
Spectral element method PK31BX5678
| URI | m2://inv/PK31BX5678 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#4K8X, Spectral element method (definition)
History
- 2026-11-02: add by m2/dev
PK33HEJCR4 PK33HEJCR4
| URI | m2://inv/PK33HEJCR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#SR4O (statement). In F0E8YBV0Z0/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
PK34R4G6MH PK34R4G6MH
| URI | m2://inv/PK34R4G6MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#7EKE (statement). In 7VW8XD28G1/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Hodge star operator PK3VRWHFGZ
| URI | m2://inv/PK3VRWHFGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#NQ3T, Hodge star operator (definition)
History
- 2026-11-02: add by m2/dev
Fixed-start empirical-DP benchmark PK46T1TJ69
| URI | m2://inv/PK46T1TJ69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37380#Z0S9, Fixed-start empirical-DP benchmark (statement). In 14Y4SA4SX0/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
Applications PK477GRMTS
| URI | m2://inv/PK477GRMTS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body dynamics#43DY, Applications (example)
History
- 2026-11-02: add by m2/dev
PK4CPW5VV7 PK4CPW5VV7
| URI | m2://inv/PK4CPW5VV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.34570#A0P2 (statement). In EVFX1R7ZDD/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
Giuseppe Belardinelli PK4V0PXXTT
| URI | m2://inv/PK4V0PXXTT |
|---|---|
| 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#Y933, Giuseppe Belardinelli (unknown)
History
- 2026-11-02: add by m2/dev
Logarithmic law of large numbers PK4Z6QTFKB
| URI | m2://inv/PK4Z6QTFKB |
|---|---|
| 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.06490#CZB7, Logarithmic law of large numbers (statement). In NKXTXH59P1/e1, lemma E.20
History
- 2026-10-29: add by m2/v0.4.10
Constant-defect reduction PK50EXF20X
| URI | m2://inv/PK50EXF20X |
|---|---|
| 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.38993#DUYU, Constant-defect reduction (statement). In AFKQK866Y1/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Transfer principle PK5BBVPDJV
| URI | m2://inv/PK5BBVPDJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer principle, Transfer principle (statement). Also Wikidata Q17157202
History
- 2026-11-02: add by m2/dev
Definition PK5BE1DXGP
| URI | m2://inv/PK5BE1DXGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local parameter#J6JQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
PK5CE260E4 PK5CE260E4
| URI | m2://inv/PK5CE260E4 |
|---|---|
| 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.33771#7YWW (statement). In ZXQA7QH0H0/e1, corollary 3.24
History
- 2026-10-30: add by m2/v0.4.12
PK5EZN2246 PK5EZN2246
| URI | m2://inv/PK5EZN2246 |
|---|---|
| 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#LQ7Q (statement). In Z1RZSF68XZ/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
PK5P4TQSXV PK5P4TQSXV
| URI | m2://inv/PK5P4TQSXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2608.16453#J9Q5 (statement). In BG3X7ZAEK1/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
a finite algorithm does not exist for n-1 cuts PK5XZGNAZP
| URI | m2://inv/PK5XZGNAZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#UMVI, a finite algorithm does not exist for n-1 cuts (unknown)
History
- 2026-11-02: add by m2/dev
Definition PK64N8J64A
| URI | m2://inv/PK64N8J64A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic block model#TIN9, Definition (definition)
History
- 2026-11-02: add by m2/dev
PK65XAM22V PK65XAM22V
| URI | m2://inv/PK65XAM22V |
|---|---|
| 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.10365#EG85 (statement). In PRVQPSBVHK/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.10
PK67MXVEE6 PK67MXVEE6
| URI | m2://inv/PK67MXVEE6 |
|---|---|
| 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.20702#HQTE (statement)
History
- 2026-11-02: add by m2/v0.6.18
PK6CFW3DT6 PK6CFW3DT6
| URI | m2://inv/PK6CFW3DT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#LY0N (statement). In FEE70SSD96/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Generalization PK6K4ZW3JS
| URI | m2://inv/PK6K4ZW3JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot (mathematics)#P4OI, Generalization (statement)
History
- 2026-11-02: add by m2/dev
The Gauss–Bonnet theorem PK6T7JAGCY
| URI | m2://inv/PK6T7JAGCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#5LOG, The Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
semilattice PK6VJXTCYS
| URI | m2://inv/PK6VJXTCYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Semilattice 74X7JRG2J7 |
Mentions
- wikidata: Wikidata Q834585, semilattice (definition). Also nLab semilattice, ProofWiki Definition:Semilattice
- wikipedia: Wikipedia Semilattice, Semilattice (definition). Also Wikidata Q834585
History
- 2026-10-26: add by m2/dev
PK6XJXMKQA PK6XJXMKQA
| URI | m2://inv/PK6XJXMKQA |
|---|---|
| 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.40274#VU3F (statement). In 7ZDNJC9MST/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
PK71ZSDBMB PK71ZSDBMB
| URI | m2://inv/PK71ZSDBMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#HAWE (statement). In APK7X4MFAX/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
Emmanuel Breuillard PK74D970SA
| URI | m2://inv/PK74D970SA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LO7N, Emmanuel Breuillard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FKOO, Emmanuel Breuillard (topic)
History
- 2026-11-02: add by m2/dev
PK78EH5RS8 PK78EH5RS8
| URI | m2://inv/PK78EH5RS8 |
|---|---|
| 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.33124#4DQ5 (statement). In P27HYGQDAN/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Projection Bound PK7FXWT1DW
| URI | m2://inv/PK7FXWT1DW |
|---|---|
| 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.30105#LCMC, Projection Bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples PK7GDNRYNS
| URI | m2://inv/PK7GDNRYNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Train track map#V0WG, Examples (example)
History
- 2026-11-02: add by m2/dev
PK7HS9402S PK7HS9402S
| URI | m2://inv/PK7HS9402S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-2 (proof). In RZP28ERRZV, proof, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
Brauer PK7P1YE29C
| URI | m2://inv/PK7P1YE29C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#6TEV, Brauer (definition)
History
- 2026-11-02: add by m2/dev
PK7Q6ZK6MT PK7Q6ZK6MT
| URI | m2://inv/PK7Q6ZK6MT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22190#GXTX (definition). In AM6Y5W3HGG/e1, definition 3
History
- 2026-10-27: add by m2/v0.4.0
Addition principle PK7XWJRTRE
| URI | m2://inv/PK7XWJRTRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition principle, Addition principle (statement). Also Wikidata Q2360148
History
- 2026-11-02: add by m2/dev
PK7YW03TX0 PK7YW03TX0
| URI | m2://inv/PK7YW03TX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#LOSR (definition)
History
- 2026-11-02: add by m2/dev
Mazur's torsion theorem PK84EYQH4A
| URI | m2://inv/PK84EYQH4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8O38, Mazur's torsion theorem (statement)
History
- 2026-11-02: add by m2/dev
Rademacher distribution PK87Y852EW
| URI | m2://inv/PK87Y852EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#SIGO, Rademacher distribution (definition)
History
- 2026-11-02: add by m2/dev
Paul Clément Delens PK8BE581ZM
| URI | m2://inv/PK8BE581ZM |
|---|---|
| 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#951E, Paul Clément Delens (unknown)
History
- 2026-11-02: add by m2/dev
PK8FXFMYP3 PK8FXFMYP3
| URI | m2://inv/PK8FXFMYP3 |
|---|---|
| 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.12329#QSU9 (statement). In ZJQB9W60T6/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Examples PK8NEYCM0N
| URI | m2://inv/PK8NEYCM0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-split group#T31N, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples PK8PMQJ1YQ
| URI | m2://inv/PK8PMQJ1YQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rasiowa–Sikorski lemma#EAOJ, Examples (example)
History
- 2026-11-02: add by m2/dev
PK8XGNF689 PK8XGNF689
| URI | m2://inv/PK8XGNF689 |
|---|---|
| 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 2610.15169#WZ54 (statement). In V7SN19J84T/e1, lemma 6.12
History
- 2026-10-28: add by m2/v0.4.2
Simultaneous actual AGOP acquisition during a high-loss window PK8XQPAKK0
| URI | m2://inv/PK8XQPAKK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39408#FMT3, Simultaneous actual AGOP acquisition during a high-loss window (statement). In T8E6F01RTM/e1, theorem F.1
History
- 2026-10-30: add by m2/v0.4.12
Definition PK8YCEF84Y
| URI | m2://inv/PK8YCEF84Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discriminative model#2AOF, Definition (definition)
History
- 2026-11-02: add by m2/dev
PK98SP0W2X PK98SP0W2X
| URI | m2://inv/PK98SP0W2X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#KGVQ (definition). In XDMM0KNNZ9/e1, definition 63
History
- 2026-10-29: add by m2/v0.4.10
PK9AK0P5YE PK9AK0P5YE
| URI | m2://inv/PK9AK0P5YE |
|---|---|
| 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 2311.01874#CQ8D (statement). In A4TR95VGX2/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
irreducible ideal PK9G3XV9ZW
| URI | m2://inv/PK9G3XV9ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Irreducible ideal 7PDWB550C9 |
Mentions
- wikidata: Wikidata Q17098198, irreducible ideal (unknown). Also MathWorld IrreducibleIdeal, nLab irreducible ideal
- wikipedia: Wikipedia Irreducible ideal, Irreducible ideal (definition). Also Wikidata Q17098198
History
- 2026-10-26: add by m2/dev
Amir Mohammadi PK9J5BAM9D
| URI | m2://inv/PK9J5BAM9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amir Mohammadi, Amir Mohammadi (topic). Also Wikidata Q102419646
History
- 2026-11-02: add by m2/dev
Coates–Wiles theorem PK9SNKCRBH
| URI | m2://inv/PK9SNKCRBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#FJQ0, Coates–Wiles theorem (definition)
History
- 2026-11-02: add by m2/dev
Nuiten's finite-$n$ presentation PK9VW33D7P
| URI | m2://inv/PK9VW33D7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.28220#Z489, Nuiten's finite-$n$ presentation (statement)
History
- 2026-11-01: add by m2/v0.6.15
PK9ZTH4X4W PK9ZTH4X4W
| URI | m2://inv/PK9ZTH4X4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31044#J2DR (statement). In Z72AEBE4Z6/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
The window functional PKA153RXDP
| URI | m2://inv/PKA153RXDP |
|---|---|
| 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.15543#QUNP, The window functional (statement). In TQSHQZFCS5/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
PKA4AXHBRR PKA4AXHBRR
| URI | m2://inv/PKA4AXHBRR |
|---|---|
| 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.12053#CJA4 (statement). In MQ226ETRP6/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.3
The Lost World: Jurassic Park PKA8V066RA
| URI | m2://inv/PKA8V066RA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#47OA, The Lost World: Jurassic Park (unknown)
History
- 2026-11-02: add by m2/dev
Saloff-Coste PKAA42BYZ5
| URI | m2://inv/PKAA42BYZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31393#6O5C, Saloff-Coste (statement). In ED0WC9Z55C/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Hasse–Weil zeta function PKAD6Q84MZ
| URI | m2://inv/PKAD6Q84MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Weil zeta function, Hasse–Weil zeta function (definition). Also Wikidata Q2372257
History
- 2026-11-02: add by m2/dev
PKAF4YWP6W PKAF4YWP6W
| URI | m2://inv/PKAF4YWP6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2402.08625#DCAI (statement). In F2Y9SQ2VP4/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.0
Wiman's sextic PKAH74BVWZ
| URI | m2://inv/PKAH74BVWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiman's sextic, Wiman's sextic (definition). Also Wikidata Q8023503
History
- 2026-11-02: add by m2/dev
PKASDK8GRN PKASDK8GRN
| URI | m2://inv/PKASDK8GRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15255#1OFW (statement). In G691MXMYW0/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.0
PKB65XEQH7 PKB65XEQH7
| URI | m2://inv/PKB65XEQH7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#ZS1F (definition)
History
- 2026-11-02: add by m2/v0.6.17
Arnold's Problems PKB8GJTA64
| URI | m2://inv/PKB8GJTA64 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold's Problems, Arnold's Problems (problem). Also Wikidata Q131293111
History
- 2026-11-02: add by m2/dev
OSP for sparse vectors PKBD70RHQY
| URI | m2://inv/PKBD70RHQY |
|---|---|
| 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.16715#4IJJ, OSP for sparse vectors (statement). In RA1Z6BV25A/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Viktor Nemytskii PKBDDDXZ1T
| URI | m2://inv/PKBDDDXZ1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viktor Nemytskii, Viktor Nemytskii (topic). Also Wikidata Q2570080
History
- 2026-11-02: add by m2/dev
pseudovector PKBW0AAQZT
| URI | m2://inv/PKBW0AAQZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q621476, pseudovector (unknown). Also MathWorld Pseudovector
- wikipedia: Wikipedia Pseudovector, Pseudovector (definition). Also Wikidata Q621476
History
- 2026-10-26: add by m2/dev
PKC46RNDQS PKC46RNDQS
| URI | m2://inv/PKC46RNDQS |
|---|---|
| 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.01656#O2YG (statement). In AHGQZ89DY0/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Shige Toshi Kuroda PKC8WEPKDZ
| URI | m2://inv/PKC8WEPKDZ |
|---|---|
| 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#ULOY, Shige Toshi Kuroda (unknown)
History
- 2026-11-02: add by m2/dev
Examples PKCKK4NYE5
| URI | m2://inv/PKCKK4NYE5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical endpoint#5FNZ, Examples (example)
History
- 2026-11-02: add by m2/dev
PKCN3E2C71 PKCN3E2C71
| URI | m2://inv/PKCN3E2C71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#F185 (definition). In GHKR740SG3/e1, definition 17.1
History
- 2026-10-31: add by m2/v0.5.6
PKCY0G4HKT PKCY0G4HKT
| URI | m2://inv/PKCY0G4HKT |
|---|---|
| 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.08039#DNEK (statement). In Y1K8WE4MDP/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Cohen's kappa PKD1SXKXQ2
| URI | m2://inv/PKD1SXKXQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#61RC, Cohen's kappa (definition)
History
- 2026-11-02: add by m2/dev
Poisson PKD270AWCE
| URI | m2://inv/PKD270AWCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#KHTM, Poisson (definition)
History
- 2026-11-02: add by m2/dev
PKD4V6HTAM PKD4V6HTAM
| URI | m2://inv/PKD4V6HTAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#YQKV (statement). In 29X0B511NF/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
PKDBS30V50 PKDBS30V50
| URI | m2://inv/PKDBS30V50 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#ques-7 (exercise). In RZP28ERRZV, ques, section 58.8
History
- 2026-11-01: add by m2/v0.6.13
associated graded ring PKDBWFVF8X
| URI | m2://inv/PKDBWFVF8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Associated graded ring 8HFAEGFQT1 |
Mentions
- wikidata: Wikidata Q17097755, associated graded ring (unknown). Also MathWorld AssociatedGradedRing, nLab associated graded ring
- wikipedia: Wikipedia Associated graded ring, Associated graded ring (definition). Also Wikidata Q17097755
History
- 2026-10-26: add by m2/dev
Solomon Feferman PKDDQY811S
| URI | m2://inv/PKDDQY811S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#FMXZ, Solomon Feferman (topic)
History
- 2026-11-02: add by m2/dev
PKDDTMSB3C PKDDTMSB3C
| URI | m2://inv/PKDDTMSB3C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01071#HGRM (definition). In X1YF62ZFB6/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Randomized feature maps approximation PKDH1C5QWD
| URI | m2://inv/PKDH1C5QWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-rank matrix approximations#V7U2, Randomized feature maps approximation (unknown)
History
- 2026-11-02: add by m2/dev
PKDHMBRB5V PKDHMBRB5V
| URI | m2://inv/PKDHMBRB5V |
|---|---|
| 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#YKWJ (statement). In RBQ5FNCVNZ/e1, proposition A.3
History
- 2026-10-30: add by m2/v0.4.12
PKDMMMNB9D PKDMMMNB9D
| URI | m2://inv/PKDMMMNB9D |
|---|---|
| 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.39539#877D (statement). In GVR218P3ZR/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Applications PKDWX8ZPYN
| URI | m2://inv/PKDWX8ZPYN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#EBV6, Applications (example)
History
- 2026-11-02: add by m2/dev
Deutsch–Jozsa algorithm PKDZWEZ699
| URI | m2://inv/PKDZWEZ699 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FYKK, Deutsch–Jozsa algorithm (unknown)
History
- 2026-11-02: add by m2/dev
PKE108MYYQ PKE108MYYQ
| URI | m2://inv/PKE108MYYQ |
|---|---|
| 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.10736#GBTX (statement). In NCYKB4QG5P/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.3
PKEMNGZNZ2 PKEMNGZNZ2
| URI | m2://inv/PKEMNGZNZ2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-25 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Faulty generalization PKEW9JHYPP
| URI | m2://inv/PKEW9JHYPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faulty generalization, Faulty generalization (definition). Also Wikidata Q2890850
History
- 2026-11-02: add by m2/dev
PKEX2V41NM PKEX2V41NM
| URI | m2://inv/PKEX2V41NM |
|---|---|
| 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.18632#89NP (statement). In PTM5MVD4M0/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Uwe Jannsen PKEZ3MFA11
| URI | m2://inv/PKEZ3MFA11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RD7O, Uwe Jannsen (topic)
History
- 2026-11-02: add by m2/dev
Lexicographic order topology on the unit square PKF2NWY9CV
| URI | m2://inv/PKF2NWY9CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic order topology on the unit square, Lexicographic order topology on the unit square (definition). Also Wikidata Q6537714
History
- 2026-11-02: add by m2/dev
PKFFGWKP0S PKFFGWKP0S
| URI | m2://inv/PKFFGWKP0S |
|---|---|
| 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.36613#9TCJ (statement). In GX0K0ZM700/e1, lemma 3.17
History
- 2026-10-30: add by m2/v0.4.12
Examples PKG52MHGEK
| URI | m2://inv/PKG52MHGEK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (algebra)#5VPP, Examples (example)
History
- 2026-11-02: add by m2/dev
László Fejes Tóth PKGQ76T8XW
| URI | m2://inv/PKGQ76T8XW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G9AB, László Fejes Tóth (topic)
History
- 2026-11-02: add by m2/dev
PKH4CXJVCC PKH4CXJVCC
| URI | m2://inv/PKH4CXJVCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#4O7H (statement). In CC6S1HVK0T/e1, lemma 5.13
History
- 2026-10-28: add by m2/v0.4.2
PKH6Q8WVJ7 PKH6Q8WVJ7
| URI | m2://inv/PKH6Q8WVJ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#4H9H (definition). In 3A4K47Y9F2/e1, definition 2.27
History
- 2026-10-27: add by m2/v0.4.0
Examples PKHKPEY4DM
| URI | m2://inv/PKHKPEY4DM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian scheme#W17N, Examples (example)
History
- 2026-11-02: add by m2/dev
PKHTWG6VJE PKHTWG6VJE
| URI | m2://inv/PKHTWG6VJE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#4QBG (definition)
History
- 2026-11-02: add by m2/v0.6.18
PKHTYCRYM2 PKHTYCRYM2
| URI | m2://inv/PKHTYCRYM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#YFM6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
PKJ1X679CA PKJ1X679CA
| URI | m2://inv/PKJ1X679CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#IQRR (statement). In XX1J2REXY2/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Construction PKJBJ2W2HB
| URI | m2://inv/PKJBJ2W2HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagoras tree (fractal)#AAFX, Construction (definition)
History
- 2026-11-02: add by m2/dev
ultraviolet divergence PKJCHT14K5
| URI | m2://inv/PKJCHT14K5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3032228, ultraviolet divergence (unknown). Also nLab ultraviolet divergence
History
- 2026-10-26: add by m2/dev
Allan variance PKJQZ7MDBJ
| URI | m2://inv/PKJQZ7MDBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allan variance, Allan variance (definition). Also Wikidata Q1440227
History
- 2026-11-02: add by m2/dev
basic forms PKJTEZ0WG9
| URI | m2://inv/PKJTEZ0WG9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#6LAV, basic forms (definition). In S1F2QW24YW/e1, definition 2.22
History
- 2026-10-27: add by m2/v0.3.5
Variance gamma process PKKBMPGNGR
| URI | m2://inv/PKKBMPGNGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WP9A, Variance gamma process (definition)
History
- 2026-11-02: add by m2/dev
Merten M. Hasse Prize PKKDKVNP33
| URI | m2://inv/PKKDKVNP33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merten M. Hasse Prize, Merten M. Hasse Prize (definition). Also Wikidata Q65091287
History
- 2026-11-02: add by m2/dev
PKKDY97ZT4 PKKDY97ZT4
| URI | m2://inv/PKKDY97ZT4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
AWM–Microsoft Research Prize in Algebra and Number Theory PKKNW2W8SN
| URI | m2://inv/PKKNW2W8SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AWM–Microsoft Research Prize in Algebra and Number Theory, AWM–Microsoft Research Prize in Algebra and Number Theory (definition). Also Wikidata Q61297197
History
- 2026-11-02: add by m2/dev
George Polya PKKPN8S19A
| URI | m2://inv/PKKPN8S19A |
|---|---|
| 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#N4GH, George Polya (unknown)
History
- 2026-11-02: add by m2/dev
Sam Hamadeh PKM242276M
| URI | m2://inv/PKM242276M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#6CQP, Sam Hamadeh (unknown)
History
- 2026-11-02: add by m2/dev
Kegel-Wielandt conjecture PKM3SB289R
| URI | m2://inv/PKM3SB289R |
|---|---|
| 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 2210.02261#NR6S, Kegel-Wielandt conjecture (statement). In TT74R659T0/e1, theorem 0.9
History
- 2026-10-27: add by m2/v0.3.5
Relativist fallacy PKMB01Q9YP
| URI | m2://inv/PKMB01Q9YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relativist fallacy, Relativist fallacy (definition). Also Wikidata Q5412380
History
- 2026-11-02: add by m2/dev
Conservatism (belief revision) PKMEN1S1RR
| URI | m2://inv/PKMEN1S1RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6O4L, Conservatism (belief revision) (definition)
History
- 2026-11-02: add by m2/dev
structure of $E$ and $V$ PKMKPJ9NJS
| URI | m2://inv/PKMKPJ9NJS |
|---|---|
| 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.06909#0OJS, structure of $E$ and $V$ (statement). In F1EF8XE30A/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
PKMNKCPQYE PKMNKCPQYE
| URI | m2://inv/PKMNKCPQYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.14068#D8VD (statement). In JF19FEH3SW/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
The tube PKMP6NP2M8
| URI | m2://inv/PKMP6NP2M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#UFH1, The tube (statement). In YCRZC9SDCE/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Examples PKMTVT2016
| URI | m2://inv/PKMTVT2016 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superperfect group#KF19, Examples (example)
History
- 2026-11-02: add by m2/dev
PKMTWHPSRW PKMTWHPSRW
| URI | m2://inv/PKMTWHPSRW |
|---|---|
| Kind | example |
| 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 2301.04933#EY11 (example). In Q70CTMCJTP/e1, example 7.2
History
- 2026-10-27: add by m2/v0.3.5
PKN1CFHPWV PKN1CFHPWV
| URI | m2://inv/PKN1CFHPWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#ON34 (statement). In 7ZFD9XRKA1/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
Schwartz topological vector space PKN3Z53SDN
| URI | m2://inv/PKN3Z53SDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz topological vector space, Schwartz topological vector space (definition). Also Wikidata Q96405167
History
- 2026-11-02: add by m2/dev
PKN63A2Y2S PKN63A2Y2S
| URI | m2://inv/PKN63A2Y2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prop:sentence-sat-true (statement). In PKGMM3P5QY, prop, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
PKN9NR7GTP PKN9NR7GTP
| URI | m2://inv/PKN9NR7GTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1709.08958#EJ9Z (statement). In H46J8XRDFJ/e1, proposition 3.1.2
History
- 2026-10-27: add by m2/v0.3.5
Applications PKNFM7NDT9
| URI | m2://inv/PKNFM7NDT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process graph#K4PY, Applications (example)
History
- 2026-11-02: add by m2/dev
PKNMMDCGNR PKNMMDCGNR
| URI | m2://inv/PKNMMDCGNR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#RMAB (definition). In M8F4PDHH3S/e1, definition A.1
History
- 2026-10-27: add by m2/v0.3.5
PKNPGYQYR2 PKNPGYQYR2
| URI | m2://inv/PKNPGYQYR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18324#MJL3 (statement). In C0EG2EY0M4/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Relationship with Gödel's incompleteness theorem PKNQXXXVVS
| URI | m2://inv/PKNQXXXVVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Undecidable problem#PNC6, Relationship with Gödel's incompleteness theorem (statement)
History
- 2026-11-02: add by m2/dev
Hydrodynamic stability PKNRFMGX45
| URI | m2://inv/PKNRFMGX45 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrodynamic stability, Hydrodynamic stability (topic). Also Wikidata Q4138087
History
- 2026-11-02: add by m2/dev
distribution PKNSFQF1BJ
| URI | m2://inv/PKNSFQF1BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#0QUR, distribution (definition)
History
- 2026-11-02: add by m2/dev
Gaussian elimination PKP8Z2XSS3
| URI | m2://inv/PKP8Z2XSS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > Gaussian elimination, Gaussian elimination (unknown). Also Mathlib Matrix.Pivot.exists_list_transvec_mul_mul_list_transvec_eq_diagonal
History
- 2026-10-26: add by m2/dev
PKPBP58Q2B PKPBP58Q2B
| URI | m2://inv/PKPBP58Q2B |
|---|---|
| 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.13699#KOIH (statement). In ZSMAQ666K7/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
PKPHB9W3F9 PKPHB9W3F9
| URI | m2://inv/PKPHB9W3F9 |
|---|---|
| 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.00512#JMPI (statement). In RB5QBG3MJY/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
PKPNET67JG PKPNET67JG
| URI | m2://inv/PKPNET67JG |
|---|---|
| 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.00103#X9E9 (statement). In S7RDXJWP1A/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Definition PKPT6CCQR1
| URI | m2://inv/PKPT6CCQR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rössler attractor#QER6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mohr–Mascheroni Theorem PKPX2G34Q9
| URI | m2://inv/PKPX2G34Q9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenzo Mascheroni#DCIV, Mohr–Mascheroni Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem (Tits) PKQ3VDW3AT
| URI | m2://inv/PKQ3VDW3AT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz triangle#8PZO, Theorem (Tits) (statement)
History
- 2026-11-02: add by m2/dev
PKQ43BK1FP PKQ43BK1FP
| URI | m2://inv/PKQ43BK1FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#9QSB (statement). In NAM9ZMPHZ9/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
PKQ686559M PKQ686559M
| URI | m2://inv/PKQ686559M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#KZI8 (statement). In CY1FE8W1ZW/e1, proposition 0.114
History
- 2026-10-27: add by m2/v0.4.0
Endpoint Exponent and Extension Fraction PKQC9NNEDB
| URI | m2://inv/PKQC9NNEDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#TUVP, Endpoint Exponent and Extension Fraction (statement). In Z6WA2R0J50/e1, proposition 2.29
History
- 2026-10-28: add by m2/v0.4.2
PKQKR4VQB5 PKQKR4VQB5
| URI | m2://inv/PKQKR4VQB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#HEWA (statement). In WJD9YPGGYH/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
The partial category $\mathbf{HK}^{\text{pre}}$ PKQV1P3FED
| URI | m2://inv/PKQV1P3FED |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#9RY5, The partial category $\mathbf{HK}^{\text{pre}}$ (definition). In J55JTTKG84/e1, definition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Quasi-axis. Lemma 1 PKR3Y4Q50Q
| URI | m2://inv/PKR3Y4Q50Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#ZNMO, Quasi-axis. Lemma 1 (statement). In A4VP56CT7B/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
PKRCPDA928 PKRCPDA928
| URI | m2://inv/PKRCPDA928 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#6UUV (statement). In HH35K7S17H/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
PKRFS1B383 PKRFS1B383
| URI | m2://inv/PKRFS1B383 |
|---|---|
| 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.02379#W9MV (statement). In W9E40AZJ03/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
PKRNQF7FX4 PKRNQF7FX4
| URI | m2://inv/PKRNQF7FX4 |
|---|---|
| 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.16404#5Z2R (statement). In PQ7W037C2H/e1, proposition 10.1
History
- 2026-10-28: add by m2/v0.4.2
The elastic feasible set is contractible PKRVGAAX88
| URI | m2://inv/PKRVGAAX88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30173#1RUP, The elastic feasible set is contractible (statement)
History
- 2026-11-01: add by m2/v0.6.15
PKS5GBKQGX PKS5GBKQGX
| URI | m2://inv/PKS5GBKQGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#JJFH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparison of deductive and inductive reasoning PKS7GH4X39
| URI | m2://inv/PKS7GH4X39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive reasoning#G0NG, Comparison of deductive and inductive reasoning (unknown)
History
- 2026-11-02: add by m2/dev
Experimental mathematics PKSDCFYXTA
| URI | m2://inv/PKSDCFYXTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SBA2, Experimental mathematics (definition)
History
- 2026-11-02: add by m2/dev
PKSNAC4WVX PKSNAC4WVX
| URI | m2://inv/PKSNAC4WVX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-1 (proof). In RZP28ERRZV, proof, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
exact displacement criterion PKSQ6N4V82
| URI | m2://inv/PKSQ6N4V82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#SMUE, exact displacement criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement PKSSCN65KF
| URI | m2://inv/PKSSCN65KF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawvere's fixed-point theorem#KL0E, Statement (statement)
History
- 2026-11-02: add by m2/dev
PKSWEZ791X PKSWEZ791X
| URI | m2://inv/PKSWEZ791X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#lem:initial (statement). In PKGMM3P5QY, lem, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
PKT0ADZABB PKT0ADZABB
| URI | m2://inv/PKT0ADZABB |
|---|---|
| Kind | definition |
| 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.22657#G4N0 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Euler's infinite tetration theorem PKT7XGXWJX
| URI | m2://inv/PKT7XGXWJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetration#WQGF, Euler's infinite tetration theorem (unknown)
History
- 2026-11-02: add by m2/dev
Leibniz operator PKTCG3H7WR
| URI | m2://inv/PKTCG3H7WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#VDH0, Leibniz operator (definition)
History
- 2026-11-02: add by m2/dev
Radius formula PKTF6GTAVA
| URI | m2://inv/PKTF6GTAVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malfatti circles#76Q9, Radius formula (statement)
History
- 2026-11-02: add by m2/dev
PKTX3Q2W49 PKTX3Q2W49
| URI | m2://inv/PKTX3Q2W49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23660#3U9R (statement)
History
- 2026-11-02: add by m2/v0.6.17
Peter W. Michor PKTYVD2YDD
| URI | m2://inv/PKTYVD2YDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2078829, Peter W. Michor (unknown). Also nLab Peter Michor
History
- 2026-10-26: add by m2/dev
Global four-moment lower bound PKVA7Y0265
| URI | m2://inv/PKVA7Y0265 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#62J9, Global four-moment lower bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
PKVBZJ7EZJ PKVBZJ7EZJ
| URI | m2://inv/PKVBZJ7EZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15043#EWHE (statement). In QDE21RT0T2/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
Applications PKVCYZ560H
| URI | m2://inv/PKVCYZ560H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia X + Y sorting#PI2K, Applications (example)
History
- 2026-11-02: add by m2/dev
Example PKVPSZN6HD
| URI | m2://inv/PKVPSZN6HD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braess's paradox#W8WB, Example (example)
History
- 2026-11-02: add by m2/dev
PKWJTERMQY PKWJTERMQY
| URI | m2://inv/PKWJTERMQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.05628#SL95 (statement). In 9JPKTEWW4W/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
greater-equal sign PKWMW72TZP
| URI | m2://inv/PKWMW72TZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#1KN6, greater-equal sign (definition)
History
- 2026-11-02: add by m2/dev
Daniels, Henry PKWR5EJMV7
| URI | m2://inv/PKWR5EJMV7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#118Q, Daniels, Henry (unknown)
History
- 2026-11-02: add by m2/dev
PKWVZ1MQRV PKWVZ1MQRV
| URI | m2://inv/PKWVZ1MQRV |
|---|---|
| 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.14681#UGYS (statement). In 459W0NBS5Q/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
PKWY6KQAAX PKWY6KQAAX
| URI | m2://inv/PKWY6KQAAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#LQVX (statement). In PWF23QSGDX/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Straight Hecke chains, with their level data PKX3JN72T3
| URI | m2://inv/PKX3JN72T3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#O000, Straight Hecke chains, with their level data (statement). In 328KGRNN0W/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Standard conjecture of Hodge type for $\Herm(2r-1,q^{2})$ PKX74TJ7HD
| URI | m2://inv/PKX74TJ7HD |
|---|---|
| Kind | conjecture |
| 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.01731#7ONZ, Standard conjecture of Hodge type for $\Herm(2r-1,q^{2})$ (conjecture). In 3TJ2FWXQ0D/e1, conjecture 5.1
History
- 2026-10-29: add by m2/v0.4.12
Axiom schema of unrestricted comprehension PKX94593FW
| URI | m2://inv/PKX94593FW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema of specification#1M7G, Axiom schema of unrestricted comprehension (unknown)
History
- 2026-11-02: add by m2/dev
PKXFZSMART PKXFZSMART
| URI | m2://inv/PKXFZSMART |
|---|---|
| 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#TR44 (statement)
History
- 2026-11-02: add by m2/v0.6.17
PKXXWZ92GV PKXXWZ92GV
| URI | m2://inv/PKXXWZ92GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#8051 (statement). In X47RYAZF8P/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
PKXYAKN34A PKXYAKN34A
| URI | m2://inv/PKXYAKN34A |
|---|---|
| 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.30302#0REN (statement). In R6ABTE22G0/e1, corollary 15
History
- 2026-10-31: add by m2/v0.5.6
Ibn Adlan PKY9K0J5SP
| URI | m2://inv/PKY9K0J5SP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibn Adlan, Ibn Adlan (topic). Also Wikidata Q5984154
History
- 2026-11-02: add by m2/dev
Riemann Roch theorem for surfaces PKY9NCNCGB
| URI | m2://inv/PKY9NCNCGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirzebruch–Riemann–Roch theorem#9179, Riemann Roch theorem for surfaces (statement)
History
- 2026-11-02: add by m2/dev
Transfer principle PKYBDA4B3V
| URI | m2://inv/PKYBDA4B3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary Calculus: An Infinitesimal Approach#E3MU, Transfer principle (statement)
History
- 2026-11-02: add by m2/dev
Barycentric subdivision PKYDTYJH37
| URI | m2://inv/PKYDTYJH37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#FNAF, Barycentric subdivision (definition)
History
- 2026-11-02: add by m2/dev
Examples PKYDWJHWSS
| URI | m2://inv/PKYDWJHWSS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic polynomial#TFR4, Examples (example)
History
- 2026-11-02: add by m2/dev
Computation PKYE0AB5TV
| URI | m2://inv/PKYE0AB5TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume#S7BA, Computation (definition)
History
- 2026-11-02: add by m2/dev
Applications of the Imprecise Dirichlet Process PKYHVMGEPB
| URI | m2://inv/PKYHVMGEPB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imprecise Dirichlet process#3IN5, Applications of the Imprecise Dirichlet Process (example)
History
- 2026-11-02: add by m2/dev
Alexandre Varchenko PKYPZP421C
| URI | m2://inv/PKYPZP421C |
|---|---|
| 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#X26D, Alexandre Varchenko (unknown)
History
- 2026-11-02: add by m2/dev
PKYTTZ6AY2 PKYTTZ6AY2
| URI | m2://inv/PKYTTZ6AY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#5O3D (statement)
History
- 2026-11-02: add by m2/v0.6.18
PKYZZ7KYHP PKYZZ7KYHP
| URI | m2://inv/PKYZZ7KYHP |
|---|---|
| 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 2606.16311#JNAT (statement). In 3G0HCK0DVA/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
PKZ0NJ3YY3 PKZ0NJ3YY3
| URI | m2://inv/PKZ0NJ3YY3 |
|---|---|
| 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.13505#UMZ3 (statement). In 6Z1DDCYCQ8/e1, theorem 24
History
- 2026-10-28: add by m2/v0.4.2
PKZ24ZD80P PKZ24ZD80P
| URI | m2://inv/PKZ24ZD80P |
|---|---|
| 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.12810#PYBM (statement). In DR35633CPN/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
PKZ3256CPG PKZ3256CPG
| URI | m2://inv/PKZ3256CPG |
|---|---|
| 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#YCWX (statement). In X765ZXXVC3/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.12
Definitions PKZ435267T
| URI | m2://inv/PKZ435267T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonparametric statistics#DJ74, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Human subject research PKZ5RTSP6W
| URI | m2://inv/PKZ5RTSP6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Human subject research, Human subject research (definition). Also Wikidata Q1331083
History
- 2026-11-02: add by m2/dev
Hadamard's dynamical system PKZEC8P4VB
| URI | m2://inv/PKZEC8P4VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's dynamical system, Hadamard's dynamical system (definition). Also Wikidata Q5637574
History
- 2026-11-02: add by m2/dev
PKZGACV379 PKZGACV379
| URI | m2://inv/PKZGACV379 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Richard Ferrybridge PKZM444PKW
| URI | m2://inv/PKZM444PKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Ferrybridge, Richard Ferrybridge (topic). Also Wikidata Q7325659
History
- 2026-11-02: add by m2/dev
Life expectancy PKZN4BMF2X
| URI | m2://inv/PKZN4BMF2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#06EL, Life expectancy (definition)
History
- 2026-11-02: add by m2/dev
PKZQSCTGSK PKZQSCTGSK
| URI | m2://inv/PKZQSCTGSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prop:inverse-unique (statement). In PKGMM3P5QY, prop, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
UTM theorem PKZV22JACS
| URI | m2://inv/PKZV22JACS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UTM theorem, UTM theorem (statement). Also Wikidata Q7902910
History
- 2026-11-02: add by m2/dev
PKZY10JMDE PKZY10JMDE
| URI | m2://inv/PKZY10JMDE |
|---|---|
| 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.16785#I6KK (statement). In SXQQZ2MYKV/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
PKZZ7ZPM2G PKZZ7ZPM2G
| URI | m2://inv/PKZZ7ZPM2G |
|---|---|
| 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.20817#VGD4 (statement). In M1YRBSZT4H/e1, theorem 16
History
- 2026-10-27: add by m2/v0.4.2