Inventory rows 34
The cards of the rows of the inventory whose ids start with 34. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Randy Schekman 340EPPWC2W
| URI | m2://inv/340EPPWC2W |
|---|---|
| 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#QVFD, Randy Schekman (unknown)
History
- 2026-11-02: add by m2/dev
Hexafoil 340G19877P
| URI | m2://inv/340G19877P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexafoil, Hexafoil (definition). Also Wikidata Q5748743
History
- 2026-11-02: add by m2/dev
340HD6MGK5 340HD6MGK5
| URI | m2://inv/340HD6MGK5 |
|---|---|
| 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.01753#9HW8 (statement). In JY50YXMH5N/e1, lemma 48
History
- 2026-10-29: add by m2/v0.4.12
Non-crossing partitions 340KQ5874G
| URI | m2://inv/340KQ5874G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#Z3CA, Non-crossing partitions (definition). In RHN12PW9P9/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
balanced 340VM2HKYX
| URI | m2://inv/340VM2HKYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#3C9I, balanced (definition)
History
- 2026-11-02: add by m2/dev
340WY655CG 340WY655CG
| URI | m2://inv/340WY655CG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11034#TFNO (statement). In 2KACPY9MMF/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.3
340Z5V6QZG 340Z5V6QZG
| URI | m2://inv/340Z5V6QZG |
|---|---|
| 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.28011#410T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 341047SMT9
| URI | m2://inv/341047SMT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primary decomposition#YR1Q, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Two-state characteristic-function expansion 3410G8ZWEM
| URI | m2://inv/3410G8ZWEM |
|---|---|
| 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.39144#INRX, Two-state characteristic-function expansion (statement). In 814ZF5WMMF/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Properties 341B151N7X
| URI | m2://inv/341B151N7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin network#FPBF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Math Arrow 341D357RCY
| URI | m2://inv/341D357RCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math Arrow, Math Arrow (definition). Also Wikidata Q17080423
History
- 2026-11-02: add by m2/dev
341FCTHR1P 341FCTHR1P
| URI | m2://inv/341FCTHR1P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33124#O4WX (definition). In P27HYGQDAN/e1, definition 14
History
- 2026-10-30: add by m2/v0.4.12
symmetric matrix 341NH6XE8X
| URI | m2://inv/341NH6XE8X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.1.3/symmetric-matrix, symmetric matrix (concept). In E9HS8K3A52, index, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
341NY727AW 341NY727AW
| URI | m2://inv/341NY727AW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#6UZ1 (definition). In GYSF9JXQCH/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.10
unique 341QBE892W
| URI | m2://inv/341QBE892W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#3982, unique (definition)
History
- 2026-11-02: add by m2/dev
Cartan–Brauer–Hua theorem 341T5XJHGW
| URI | m2://inv/341T5XJHGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#O8QA, Cartan–Brauer–Hua theorem (statement)
History
- 2026-11-02: add by m2/dev
Conditional-expectation completion 341T6F95BJ
| URI | m2://inv/341T6F95BJ |
|---|---|
| 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.31641#6B76, Conditional-expectation completion (statement). In XC2HE3KXPM/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Confluence to the weighted Jacobi functions 341V9RVHAK
| URI | m2://inv/341V9RVHAK |
|---|---|
| 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.30624#DTTC, Confluence to the weighted Jacobi functions (statement). In JRFFZR3HSN/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
341VDY4KVF 341VDY4KVF
| URI | m2://inv/341VDY4KVF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#3LLR (definition). In BDN507RN7J/e1, definition 3.6.21
History
- 2026-10-30: add by m2/v0.4.12
Acta Academiae Scientiarum Imperialis Petropolitanae 341VXTN62F
| URI | m2://inv/341VXTN62F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51437435, Acta Academiae Scientiarum Imperialis Petropolitanae (unknown). Also ProofWiki Book:Journal/Acta_Academiae_Scientiarum_Imperialis_Petropolitanae
History
- 2026-10-26: add by m2/dev
Leverage (statistics) 341WN0MPTS
| URI | m2://inv/341WN0MPTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#G2BO, Leverage (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Simple example 341XCNJHZN
| URI | m2://inv/341XCNJHZN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthonormality#TIQS, Simple example (example)
History
- 2026-11-02: add by m2/dev
34204BYTBJ 34204BYTBJ
| URI | m2://inv/34204BYTBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21544#J10N (statement). In 5FMMWKNYWW/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
Product rule 3421QFNWRV
| URI | m2://inv/3421QFNWRV |
|---|---|
| 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.23106#SZL3, Product rule (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bhaskara II 3422BSCF5G
| URI | m2://inv/3422BSCF5G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#R196, Bhaskara II (topic)
History
- 2026-11-02: add by m2/dev
$\mathcal C$ maps geodesics to geodesics 3429ZBS88M
| URI | m2://inv/3429ZBS88M |
|---|---|
| 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#TS29, $\mathcal C$ maps geodesics to geodesics (statement). In AMRWRJDNKJ/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Triple point cell 342CMNKB1M
| URI | m2://inv/342CMNKB1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple point#01UH, Triple point cell (unknown)
History
- 2026-11-02: add by m2/dev
342DPDK7E1 342DPDK7E1
| URI | m2://inv/342DPDK7E1 |
|---|---|
| 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.17677#T28A (statement). In 5E9G06XJKC/e1, lemma G.11
History
- 2026-10-28: add by m2/v0.4.2
342DSANBBW 342DSANBBW
| URI | m2://inv/342DSANBBW |
|---|---|
| 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 2401.15490#9CIZ (statement). In AAY60GVERS/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
International Biometric Society 342EHW84WR
| URI | m2://inv/342EHW84WR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#QBSO, International Biometric Society (unknown)
History
- 2026-11-02: add by m2/dev
Macaulay 342M9YDX0Q
| URI | m2://inv/342M9YDX0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#9682, Macaulay (definition)
History
- 2026-11-02: add by m2/dev
Dolgachev surface 342NK8S2XY
| URI | m2://inv/342NK8S2XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dolgachev surface, Dolgachev surface (definition). Also Wikidata Q5288976
History
- 2026-11-02: add by m2/dev
342ZJFE0Y6 342ZJFE0Y6
| URI | m2://inv/342ZJFE0Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.14278#OCMV (statement). In RTE2C0PH4S/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
3436FCCPN7 3436FCCPN7
| URI | m2://inv/3436FCCPN7 |
|---|---|
| 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.16898#TPFN (statement). In C8SYQK0GNJ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
bounded sequence 343BW7ZK3D
| URI | m2://inv/343BW7ZK3D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.3.1/bounded-sequence, bounded sequence (concept). In E59CDZA4DP, index, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
343DYCJN5P 343DYCJN5P
| URI | m2://inv/343DYCJN5P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#0IO3 (definition). In 9H45HQE7AZ/e1, definition 3.21
History
- 2026-10-27: add by m2/v0.3.5
Properties 343FEEJ4GD
| URI | m2://inv/343FEEJ4GD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simson line#698S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Elementary Theory of the Category of Sets 343QTHRHQ2
| URI | m2://inv/343QTHRHQ2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/elementary-theory-of-the-category-of-sets, Elementary Theory of the Category of Sets (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
Properties 343S6EHVRE
| URI | m2://inv/343S6EHVRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic rectangle#H19Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
3441KVJRZF 3441KVJRZF
| URI | m2://inv/3441KVJRZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.05048#10F4 (statement). In NY9HW1E6DY/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Scaled adjacent boxes 3442DZ681X
| URI | m2://inv/3442DZ681X |
|---|---|
| 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#U1YQ, Scaled adjacent boxes (statement). In 9YAE8FNQST/e1, corollary 5.7
History
- 2026-10-30: add by m2/v0.4.12
Euler numbers 34438P5F7Y
| URI | m2://inv/34438P5F7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#8TUU, Euler numbers (definition)
History
- 2026-11-02: add by m2/dev
34466S3KM1 34466S3KM1
| URI | m2://inv/34466S3KM1 |
|---|---|
| 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.05708#V2SW (statement). In 3BJPFGJNSS/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Longitudinal study 3449BSWCWR
| URI | m2://inv/3449BSWCWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TIRO, Longitudinal study (definition)
History
- 2026-11-02: add by m2/dev
Bo'az Klartag 3449W0PHDM
| URI | m2://inv/3449W0PHDM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bo'az Klartag, Bo'az Klartag (topic). Also Wikidata Q887293
History
- 2026-11-02: add by m2/dev
344DXV6D1G 344DXV6D1G
| URI | m2://inv/344DXV6D1G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#proof-1 (proof). In E59CDZA4DP, proof, section 11.9.1
History
- 2026-11-01: add by m2/v0.6.13
344FQJC5AD 344FQJC5AD
| URI | m2://inv/344FQJC5AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#BJ3M (statement). In QFA8TMJPHZ/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
Hamilton Walk 344GWZ46WZ
| URI | m2://inv/344GWZ46WZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton Walk, Hamilton Walk (topic). Also Wikidata Q60791186
History
- 2026-11-02: add by m2/dev
Multivariate descent-set refinement 344N13AN19
| URI | m2://inv/344N13AN19 |
|---|---|
| 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.24541#KDS7, Multivariate descent-set refinement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Korolyuk, Volodymyr Semenovych 344TZQ4937
| URI | m2://inv/344TZQ4937 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#SWHM, Korolyuk, Volodymyr Semenovych (topic)
History
- 2026-11-02: add by m2/dev
344W3VKSYM 344W3VKSYM
| URI | m2://inv/344W3VKSYM |
|---|---|
| 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 2103.12669#F1IT (definition). In ZA6XNBA90V/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
Sierpiński set 344YHGEMFF
| URI | m2://inv/344YHGEMFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Wacław Sierpiński#CKKJ, Sierpiński set (definition)
History
- 2026-11-02: add by m2/dev
34536KQKRQ 34536KQKRQ
| URI | m2://inv/34536KQKRQ |
|---|---|
| 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.09086#ZNDH (statement). In JPC86V77CH/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.10
3454QPN42G 3454QPN42G
| URI | m2://inv/3454QPN42G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 52.3
History
- 2026-11-01: add by m2/v0.6.13
Stochastic portfolio theory 34592VQG13
| URI | m2://inv/34592VQG13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic portfolio theory, Stochastic portfolio theory (definition). Also Wikidata Q17163393
History
- 2026-11-02: add by m2/dev
Examples 345F00H7S0
| URI | m2://inv/345F00H7S0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency#JN2O, Examples (example)
History
- 2026-11-02: add by m2/dev
345NFDY2ZE 345NFDY2ZE
| URI | m2://inv/345NFDY2ZE |
|---|---|
| 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.13908#653Y (statement). In 9C684206F0/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
345SBYJJXD 345SBYJJXD
| URI | m2://inv/345SBYJJXD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#YSNY (definition). In 1P8D88DKG5/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
curtate epicycloid 345SYVY11V
| URI | m2://inv/345SYVY11V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78154046, curtate epicycloid (unknown). Also MathWorld CurtateEpicycloid
History
- 2026-10-26: add by m2/dev
Rank-size distribution 345X602KAR
| URI | m2://inv/345X602KAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LTWR, Rank-size distribution (definition)
History
- 2026-11-02: add by m2/dev
345YXXED53 345YXXED53
| URI | m2://inv/345YXXED53 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#4BKD (example). In ZPT9XCCAPQ/e1, example 1.3.3
History
- 2026-10-31: add by m2/v0.5.6
Free-air gravity anomaly 3466684EJN
| URI | m2://inv/3466684EJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-air gravity anomaly, Free-air gravity anomaly (definition). Also Wikidata Q3618213
History
- 2026-11-02: add by m2/dev
3467HV0ZBG 3467HV0ZBG
| URI | m2://inv/3467HV0ZBG |
|---|---|
| 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 Q25935064 (unknown). Also nLab Davesh Maulik
History
- 2026-10-26: add by m2/dev
Graphic statics 346AW09SKN
| URI | m2://inv/346AW09SKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphic statics, Graphic statics (definition). Also Wikidata Q124413125
History
- 2026-11-02: add by m2/dev
Applications 346CXZ18KK
| URI | m2://inv/346CXZ18KK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SaTScan#VLU6, Applications (example)
History
- 2026-11-02: add by m2/dev
Application 346FBHN68K
| URI | m2://inv/346FBHN68K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's axioms#5ZT2, Application (example)
History
- 2026-11-02: add by m2/dev
34715ZMHBE 34715ZMHBE
| URI | m2://inv/34715ZMHBE |
|---|---|
| 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.20656#HSEG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algebraic point 347EXNSCBN
| URI | m2://inv/347EXNSCBN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#PSIS, Algebraic point (unknown)
History
- 2026-11-02: add by m2/dev
347SCJNC70 347SCJNC70
| URI | m2://inv/347SCJNC70 |
|---|---|
| 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.12169#7JQO (statement). In 645GF9SFWM/e1, proposition 18
History
- 2026-10-28: add by m2/v0.4.2
Nonlinear control 347VXZ8VAM
| URI | m2://inv/347VXZ8VAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear control, Nonlinear control (definition). Also Wikidata Q2707001
History
- 2026-11-02: add by m2/dev
3481NMKKEG 3481NMKKEG
| URI | m2://inv/3481NMKKEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#6EZH (statement). In JQH3FHYPW3/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2
Bitcoin whitepaper 3483GN75V3
| URI | m2://inv/3483GN75V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitcoin#SWJZ, Bitcoin whitepaper (unknown)
History
- 2026-11-02: add by m2/dev
348JZ85HVV 348JZ85HVV
| URI | m2://inv/348JZ85HVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#M915 (statement). In PHXJ87HKYB/e1, lemma 2.11
History
- 2026-10-31: add by m2/v0.5.6
Scree plot 348TR2GWNH
| URI | m2://inv/348TR2GWNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scree plot, Scree plot (definition). Also Wikidata Q60526233
History
- 2026-11-02: add by m2/dev
348VNBE2V0 348VNBE2V0
| URI | m2://inv/348VNBE2V0 |
|---|---|
| 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.25390#M030 (statement)
History
- 2026-11-01: add by m2/v0.6.15
348WCRBMWQ 348WCRBMWQ
| URI | m2://inv/348WCRBMWQ |
|---|---|
| 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#3SVE (statement). In H3FWT3Z0J4/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
3490ZX30KV 3490ZX30KV
| URI | m2://inv/3490ZX30KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#RGOE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moving average 3493V005DB
| URI | m2://inv/3493V005DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YHLZ, Moving average (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#R3B1, Moving average (definition)
History
- 2026-11-02: add by m2/dev
Bruno de Finetti 3494WVKYXC
| URI | m2://inv/3494WVKYXC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q728322, Bruno de Finetti (unknown). Also nLab Bruno de Finetti
- wikipedia: Wikipedia Bruno de Finetti, Bruno de Finetti (topic). Also Wikidata Q728322
History
- 2026-10-26: add by m2/dev
World Social Capital Monitor 34989V4C0V
| URI | m2://inv/34989V4C0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia World Social Capital Monitor, World Social Capital Monitor (definition). Also Wikidata Q70616841
History
- 2026-11-02: add by m2/dev
3499D752XK 3499D752XK
| URI | m2://inv/3499D752XK |
|---|---|
| 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.32033#VRGV (statement). In 17W5G060QX/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
Frank Nelson Cole 34A3SRHTKG
| URI | m2://inv/34A3SRHTKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Nelson Cole, Frank Nelson Cole (topic). Also Wikidata Q1443851
History
- 2026-11-02: add by m2/dev
Riemann–Roch theorems 34A7VVPWF2
| URI | m2://inv/34A7VVPWF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf cohomology#UEE4, Riemann–Roch theorems (statement)
History
- 2026-11-02: add by m2/dev
34A9Y7WZ2S 34A9Y7WZ2S
| URI | m2://inv/34A9Y7WZ2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36403#WNWG (statement). In A4XGTS3QXQ/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
String representation 34AERAV95F
| URI | m2://inv/34AERAV95F |
|---|---|
| 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.15421#V5KO, String representation (definition). In 3RBKH0DA74/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 34AMKF1ZXW
| URI | m2://inv/34AMKF1ZXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive Markov chain#44P3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 34APEZQT8R
| URI | m2://inv/34APEZQT8R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp's algorithm#1119, Applications (example)
History
- 2026-11-02: add by m2/dev
34AQC5SXMN 34AQC5SXMN
| URI | m2://inv/34AQC5SXMN |
|---|---|
| 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 2609.30976#IEJ4 (definition). In 4QY9J1A0KT/e1, definition 9
History
- 2026-10-31: add by m2/v0.5.6
Kirkwood approximation 34AY2P5KEH
| URI | m2://inv/34AY2P5KEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirkwood approximation, Kirkwood approximation (definition). Also Wikidata Q6415903
History
- 2026-11-02: add by m2/dev
Example 34BTF6WK5C
| URI | m2://inv/34BTF6WK5C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#QC1J, Example (example)
History
- 2026-11-02: add by m2/dev
Principles 34BWZFGTPE
| URI | m2://inv/34BWZFGTPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MINQUE#QX6T, Principles (statement)
History
- 2026-11-02: add by m2/dev
Sawmill 34BYQ8BZ1M
| URI | m2://inv/34BYQ8BZ1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sawmill (software), Sawmill (definition). Also Wikidata Q7428658
History
- 2026-11-02: add by m2/dev
Mid-ocean ridge 34C0ETZYFD
| URI | m2://inv/34C0ETZYFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mid-ocean ridge, Mid-ocean ridge (definition). Also Wikidata Q104698
History
- 2026-11-02: add by m2/dev
Counting weighted intersections of integer families 34C6TSCNFZ
| URI | m2://inv/34C6TSCNFZ |
|---|---|
| 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#VZGS, Counting weighted intersections of integer families (statement). In W5XG3PGVF1/e1, proposition C.20
History
- 2026-10-29: add by m2/v0.4.10
34C7TSNJEG 34C7TSNJEG
| URI | m2://inv/34C7TSNJEG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-36 (exercise). In VNMV985MXX, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Fσ set 34CM6ZZZQJ
| URI | m2://inv/34CM6ZZZQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#FQ5P, Fσ set (definition)
History
- 2026-11-02: add by m2/dev
David Soudry 34CMGMNVFH
| URI | m2://inv/34CMGMNVFH |
|---|---|
| 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#MN6T, David Soudry (topic)
History
- 2026-11-02: add by m2/dev
Hertz's principle of least curvature 34DD768AAD
| URI | m2://inv/34DD768AAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's principle of least constraint#T2RQ, Hertz's principle of least curvature (statement)
History
- 2026-11-02: add by m2/dev
34DG4ZFJ3F 34DG4ZFJ3F
| URI | m2://inv/34DG4ZFJ3F |
|---|---|
| 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 2412.20001#SS4C (statement). In Y6YJSB93C3/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
Construction 34DMVW4YSW
| URI | m2://inv/34DMVW4YSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta representation#RYTH, Construction (definition)
History
- 2026-11-02: add by m2/dev
34DYX8B5Y3 34DYX8B5Y3
| URI | m2://inv/34DYX8B5Y3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Temporal bias 34E4SCPBX4
| URI | m2://inv/34E4SCPBX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal bias, Temporal bias (definition). Also Wikidata Q140450869
History
- 2026-11-02: add by m2/dev
34E6FAXDDA 34E6FAXDDA
| URI | m2://inv/34E6FAXDDA |
|---|---|
| Kind | problem |
| 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.07401#6RSI (problem). In FQ5435B36D/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
Richard Nickl 34E6X6B1ZX
| URI | m2://inv/34E6X6B1ZX |
|---|---|
| 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#M9GL, Richard Nickl (topic)
History
- 2026-11-02: add by m2/dev
Albert Muchnik 34EBSFC5CR
| URI | m2://inv/34EBSFC5CR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Muchnik, Albert Muchnik (topic). Also Wikidata Q4710874
History
- 2026-11-02: add by m2/dev
34EG0CNJC9 34EG0CNJC9
| URI | m2://inv/34EG0CNJC9 |
|---|---|
| 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.24584#1NSP (statement)
History
- 2026-11-01: add by m2/v0.6.15
34EH2SWC07 34EH2SWC07
| URI | m2://inv/34EH2SWC07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#5NMA (statement)
History
- 2026-11-01: add by m2/v0.6.15
order, strict 34EMW5FT80
| URI | m2://inv/34EMW5FT80 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/order-strict, order, strict (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Continuity of composition 34ESXNAE8Z
| URI | m2://inv/34ESXNAE8Z |
|---|---|
| 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 2410.06788#B9W6, Continuity of composition (statement). In B2VE3JQZD3/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
34ETNHW2FB 34ETNHW2FB
| URI | m2://inv/34ETNHW2FB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#JNQG (example). In VJTRH1S4JA/e1, example 2.5
History
- 2026-10-28: add by m2/v0.4.2
Proof mining 34ETY91MG3
| URI | m2://inv/34ETY91MG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof mining, Proof mining (definition). Also Wikidata Q7250003
History
- 2026-11-02: add by m2/dev
34EWZ8RBD1 34EWZ8RBD1
| URI | m2://inv/34EWZ8RBD1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#CUCY (problem). In RK0ZMDJ23T/e1, problem 3.3.8
History
- 2026-10-31: add by m2/v0.5.6
List of hypotheses 34FADQ4JJY
| URI | m2://inv/34FADQ4JJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PR73, List of hypotheses (unknown)
History
- 2026-11-02: add by m2/dev
Example 34FB2C1RY6
| URI | m2://inv/34FB2C1RY6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel single-source shortest path algorithm#F9AT, Example (example)
History
- 2026-11-02: add by m2/dev
algebraic scheme 34FCNSZ7RH
| URI | m2://inv/34FCNSZ7RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#7RT7, algebraic scheme (definition)
History
- 2026-11-02: add by m2/dev
The Sun 34FEHA5BJ3
| URI | m2://inv/34FEHA5BJ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#NWTK, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
34FNT2DMW5 34FNT2DMW5
| URI | m2://inv/34FNT2DMW5 |
|---|---|
| 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.02642#RJW8 (statement). In VMWV58VWKN/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.12
34FT7K4XV1 34FT7K4XV1
| URI | m2://inv/34FT7K4XV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#QMOO (statement). In RAF0BFY3Z3/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
34FVYJZ3GB 34FVYJZ3GB
| URI | m2://inv/34FVYJZ3GB |
|---|---|
| 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#8XY7 (statement). In 9YAE8FNQST/e1, theorem 27.2
History
- 2026-10-30: add by m2/v0.4.12
Acceptor (finite-state machine) 34FXY4ZS02
| URI | m2://inv/34FXY4ZS02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-state machine#2C1G, Acceptor (finite-state machine) (unknown)
History
- 2026-11-02: add by m2/dev
Geller and Stahl 34GAP6Z53E
| URI | m2://inv/34GAP6Z53E |
|---|---|
| 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 2407.05730#67RW, Geller and Stahl (statement). In VQ7STN4KDC/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
34GB11602Q 34GB11602Q
| URI | m2://inv/34GB11602Q |
|---|---|
| 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.21645#SVZJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
34GD9BY3SR 34GD9BY3SR
| URI | m2://inv/34GD9BY3SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/types.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 61.5
History
- 2026-11-01: add by m2/v0.6.13
Binomial QMF 34GDZP5N4C
| URI | m2://inv/34GDZP5N4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#A07Y, Binomial QMF (unknown)
History
- 2026-11-02: add by m2/dev
Holland's schema theorem 34GF5S162Q
| URI | m2://inv/34GF5S162Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q357192, Holland's schema theorem (statement). Also Wikidata Q357192
- thousand_plus: thousand_plus Q357192, Holland's schema theorem (statement). Also Wikidata Q357192, Wikipedia Holland's schema theorem
- wikipedia: Wikipedia Holland's schema theorem, Holland's schema theorem (statement). Also Wikidata Q357192
History
- 2026-10-26: add by m2/dev
Procedure 34GMD0DA9H
| URI | m2://inv/34GMD0DA9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nodal analysis#D2GO, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Gray, Street 34GQ4DQEGB
| URI | m2://inv/34GQ4DQEGB |
|---|---|
| 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 2305.01474#0HPB, Gray, Street (statement). In 2QB5F6J24Q/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.0
34GWG0SPVR 34GWG0SPVR
| URI | m2://inv/34GWG0SPVR |
|---|---|
| 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#KD6W (statement). In H3FWT3Z0J4/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
34GX72WFSD 34GX72WFSD
| URI | m2://inv/34GX72WFSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#B943 (statement). In 13H5BTAXHF/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.5
34GXKBT59T 34GXKBT59T
| URI | m2://inv/34GXKBT59T |
|---|---|
| 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.19357#BFX3 (statement). In RGXQ50RWXV/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
34H6Q4Q241 34H6Q4Q241
| URI | m2://inv/34H6Q4Q241 |
|---|---|
| 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.18101#43B8 (statement). In XXN6KKXPYF/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Euler force 34HB2MTVF2
| URI | m2://inv/34HB2MTVF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler force, Euler force (definition). Also Wikidata Q963347
History
- 2026-11-02: add by m2/dev
34HBVJWFYT 34HBVJWFYT
| URI | m2://inv/34HBVJWFYT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30113#SUK2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Influence diagram 34HFHTDB6P
| URI | m2://inv/34HFHTDB6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Influence diagram, Influence diagram (definition). Also Wikidata Q623966
History
- 2026-11-02: add by m2/dev
34HH2135CT 34HH2135CT
| URI | m2://inv/34HH2135CT |
|---|---|
| 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 2609.36423#I661 (definition). In Q5Z178SAHP/e1, definition 7.5
History
- 2026-10-30: add by m2/v0.4.12
34HKAXAZPF 34HKAXAZPF
| URI | m2://inv/34HKAXAZPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-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.30262#GN6D (statement). In FWA5QW6FCF/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Louis Billera 34HT9YV082
| URI | m2://inv/34HT9YV082 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W147, Louis Billera (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6LT1, Louis Billera (topic)
History
- 2026-11-02: add by m2/dev
34HX46X45Z 34HX46X45Z
| URI | m2://inv/34HX46X45Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.16834#926A (statement). In Q0DTV6PJJW/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
rule, structural 34J0RVYSK8
| URI | m2://inv/34J0RVYSK8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.2/rule-structural, rule, structural (concept). In N54F33XE07, index, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Weierstrass sigma, zeta, and eta functions 34JBMWDSDM
| URI | m2://inv/34JBMWDSDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass sigma, zeta, and eta functions, Weierstrass sigma, zeta, and eta functions (definition). Also Wikidata Q3075283
History
- 2026-11-02: add by m2/dev
Alexander Witting 34JCDCG8KF
| URI | m2://inv/34JCDCG8KF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#BWPM, Alexander Witting (topic)
History
- 2026-11-02: add by m2/dev
34JCH7T33X 34JCH7T33X
| URI | m2://inv/34JCH7T33X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#2EYQ (statement). In MVSGDTN2PB/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
Counterfactual predictive equivalence 34JM68V8VK
| URI | m2://inv/34JM68V8VK |
|---|---|
| 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 2610.13951#JGFF, Counterfactual predictive equivalence (definition). In BDV8G2CV16/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Theorem 34JP1PJXKT
| URI | m2://inv/34JP1PJXKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Markov–Kakutani representation theorem#KA21, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Toda lattice 34JT9MHPEW
| URI | m2://inv/34JT9MHPEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toda lattice, Toda lattice (definition). Also Wikidata Q572090
History
- 2026-11-02: add by m2/dev
Rogemar Mamon 34JWN6AZJC
| URI | m2://inv/34JWN6AZJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rogemar Mamon, Rogemar Mamon (topic). Also Wikidata Q7357748
History
- 2026-11-02: add by m2/dev
Steinmetz curve 34K8HAGG09
| URI | m2://inv/34K8HAGG09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60750719, Steinmetz curve (unknown). Also MathWorld SteinmetzCurve
- wikipedia: Wikipedia Steinmetz curve, Steinmetz curve (definition). Also Wikidata Q60750719
History
- 2026-10-26: add by m2/dev
Applications 34KFCHA2D7
| URI | m2://inv/34KFCHA2D7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-air gravity anomaly#LWO4, Applications (example)
History
- 2026-11-02: add by m2/dev
Further examples 34KP5N4SPC
| URI | m2://inv/34KP5N4SPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's function#D8L1, Further examples (example)
History
- 2026-11-02: add by m2/dev
Symmetric group algebra 34KX549652
| URI | m2://inv/34KX549652 |
|---|---|
| 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 2610.10745#6TIY, Symmetric group algebra (definition). In 5MJ4NJ5ZCV/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
Properties 34KY2MYS8K
| URI | m2://inv/34KY2MYS8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact closed category#0CMM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Domination of $\nu^\alpha_{\A,\,\B}$ 34KY43AEKX
| URI | m2://inv/34KY43AEKX |
|---|---|
| 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.21781#KQAJ, Domination of $\nu^\alpha_{\A,\,\B}$ (statement). In FEQ72D1AX6/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.4.2
Ball smoothing 34MC8CM3QA
| URI | m2://inv/34MC8CM3QA |
|---|---|
| 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.15202#HFQH, Ball smoothing (statement). In X1FPG0KYBM/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
34MECKMTDQ 34MECKMTDQ
| URI | m2://inv/34MECKMTDQ |
|---|---|
| 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.13076#NQWE (statement). In K7GJA4WGV7/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Coincidence $s=0$: McShane Formula 34MHQ13T7Y
| URI | m2://inv/34MHQ13T7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#76OZ, Coincidence $s=0$: McShane Formula (statement). In CW9MNA6K58/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 34MM69KYSC
| URI | m2://inv/34MM69KYSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisorial scheme#MJUF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cartan's criterion 34MP06HCPN
| URI | m2://inv/34MP06HCPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan's criterion, Cartan's criterion (statement). Also Wikidata Q5047038
History
- 2026-11-02: add by m2/dev
34MQ7AWFFR 34MQ7AWFFR
| URI | m2://inv/34MQ7AWFFR |
|---|---|
| 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.21972#R6PT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Juan de Yciar 34MXA839NT
| URI | m2://inv/34MXA839NT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan de Yciar, Juan de Yciar (topic). Also Wikidata Q9016119
History
- 2026-11-02: add by m2/dev
34N3PECC25 34N3PECC25
| URI | m2://inv/34N3PECC25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-22 (statement). In VNMV985MXX, prop, section B
History
- 2026-11-01: add by m2/v0.6.13
34NBJS57ZJ 34NBJS57ZJ
| URI | m2://inv/34NBJS57ZJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:exercise:closedcurveintegral (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
34NCFVV6YC 34NCFVV6YC
| URI | m2://inv/34NCFVV6YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34283#ZCMT (statement). In DF1S2FHKJE/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
34NCW6KXPF 34NCW6KXPF
| URI | m2://inv/34NCW6KXPF |
|---|---|
| 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.35542#98KO (statement). In ATVC0HYDKD/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
34NM2X9X4Z 34NM2X9X4Z
| URI | m2://inv/34NM2X9X4Z |
|---|---|
| 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.26162#J29A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cold boot attack 34NNWFPQ42
| URI | m2://inv/34NNWFPQ42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cold boot attack, Cold boot attack (definition). Also Wikidata Q1584046
History
- 2026-11-02: add by m2/dev
34NW0C4990 34NW0C4990
| URI | m2://inv/34NW0C4990 |
|---|---|
| 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.29022#QROR (statement)
History
- 2026-11-01: add by m2/v0.6.15
correlation 34P5CJTK0J
| URI | m2://inv/34P5CJTK0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5172842, correlation (unknown). Also MathWorld ProjectiveCorrelation
- wikipedia: Wikipedia Correlation (projective geometry), Correlation (definition). Also Wikidata Q5172842
History
- 2026-10-26: add by m2/dev
34P9NBJ3G1 34P9NBJ3G1
| URI | m2://inv/34P9NBJ3G1 |
|---|---|
| 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.10233#4EMN (statement). In QR9WE79ERQ/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
34PBWNT982 34PBWNT982
| URI | m2://inv/34PBWNT982 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11034#YJA9 (statement). In 2KACPY9MMF/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.3
34PJX1QTSZ 34PJX1QTSZ
| URI | m2://inv/34PJX1QTSZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 33.3
History
- 2026-11-01: add by m2/v0.6.13
Local existence and uniqueness for closed-loop plant 34PSCP36GN
| URI | m2://inv/34PSCP36GN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#2D2K, Local existence and uniqueness for closed-loop plant (statement). In QVFHS1C9BW/e1, proposition \thethrm
History
- 2026-10-29: add by m2/v0.4.10
Construction 34PSF0V5S3
| URI | m2://inv/34PSF0V5S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 41 polytope#ERN3, Construction (definition)
History
- 2026-11-02: add by m2/dev
34PWKR9QNT 34PWKR9QNT
| URI | m2://inv/34PWKR9QNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#20TJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
34PZV4TWGX 34PZV4TWGX
| URI | m2://inv/34PZV4TWGX |
|---|---|
| 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.23847#BBV0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
union-compatible 34Q0ETH0DM
| URI | m2://inv/34Q0ETH0DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relational algebra#C26J, union-compatible (definition)
History
- 2026-11-02: add by m2/dev
34Q4YAMD5W 34Q4YAMD5W
| URI | m2://inv/34Q4YAMD5W |
|---|---|
| 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.18270#2S9V (statement). In CPDMYJ0NJV/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
point-star 34QAC8J0V1
| URI | m2://inv/34QAC8J0V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#VRLO, point-star (definition)
History
- 2026-11-02: add by m2/dev
Hettie Belle Ege 34QE5ZT1HQ
| URI | m2://inv/34QE5ZT1HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hettie Belle Ege, Hettie Belle Ege (topic). Also Wikidata Q68101338
History
- 2026-11-02: add by m2/dev
$n$-connected cover 34QGY1HNQJ
| URI | m2://inv/34QGY1HNQJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#O0T4, $n$-connected cover (definition). In G3D1YR20BJ/e1, definition A.15
History
- 2026-10-29: add by m2/v0.4.12
34QJ2QQ0M2 34QJ2QQ0M2
| URI | m2://inv/34QJ2QQ0M2 |
|---|---|
| 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.39293#81XN (statement). In S26QVW5613/e1, lemma 5.2.12
History
- 2026-10-30: add by m2/v0.4.12
34QVBBCXFR 34QVBBCXFR
| URI | m2://inv/34QVBBCXFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop:compositioncont (statement). In E59CDZA4DP, prop, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
Local inputs 34QXVEESXN
| URI | m2://inv/34QXVEESXN |
|---|---|
| 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.11330#KGJZ, Local inputs (statement). In Z73GKA9WDB/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.3
Cyclic algebra 34R0BQ69MT
| URI | m2://inv/34R0BQ69MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic algebra, Cyclic algebra (definition). Also Wikidata Q56351016
History
- 2026-11-02: add by m2/dev
Held group 34R1H9YSHZ
| URI | m2://inv/34R1H9YSHZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#VA4M, Held group (object)
History
- 2026-11-02: add by m2/dev
34R4HNJN2B 34R4HNJN2B
| URI | m2://inv/34R4HNJN2B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-10 (exercise). In P1C114YBXG, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
34R9ZSFPK9 34R9ZSFPK9
| URI | m2://inv/34R9ZSFPK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#prop:subseq (statement). In PKGMM3P5QY, prop, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Conditional drift, variance, and large jumps 34RDNBB713
| URI | m2://inv/34RDNBB713 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#OV9I, Conditional drift, variance, and large jumps (statement). In A7HTYWJNCX/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
34RFX0B94M 34RFX0B94M
| URI | m2://inv/34RFX0B94M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#CE42 (statement). In 87QYNZZ67Z/e1, corollary 6.8
History
- 2026-10-28: add by m2/v0.4.2
34RKDZSCA6 34RKDZSCA6
| URI | m2://inv/34RKDZSCA6 |
|---|---|
| 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#W8R8 (statement). In ZJQB9W60T6/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Theorem 34RQMWH56N
| URI | m2://inv/34RQMWH56N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorich's theorem#IAXO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Alfred Leon Foster 34RX6QQTX1
| URI | m2://inv/34RX6QQTX1 |
|---|---|
| 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#VKIQ, Alfred Leon Foster (topic)
History
- 2026-11-02: add by m2/dev
34RX844SZM 34RX844SZM
| URI | m2://inv/34RX844SZM |
|---|---|
| Kind | definition |
| 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 2208.04502#C5OF (definition). In BT6E9BXXF3/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Linear reduction of a constant flux direction 34S0MPNNNS
| URI | m2://inv/34S0MPNNNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#CIIT, Linear reduction of a constant flux direction (statement)
History
- 2026-11-02: add by m2/v0.6.18
torus 34S4QSKE5R
| URI | m2://inv/34S4QSKE5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#FPWH, torus (definition)
History
- 2026-11-02: add by m2/dev
Free-fall time 34S6N2CRHX
| URI | m2://inv/34S6N2CRHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-fall time, Free-fall time (definition). Also Wikidata Q5499609
History
- 2026-11-02: add by m2/dev
Parallel computing 34SA0YEFZH
| URI | m2://inv/34SA0YEFZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#Q9GS, Parallel computing (unknown)
History
- 2026-11-02: add by m2/dev
$\delta$-hyperbolic space 34SJD7R8XW
| URI | m2://inv/34SJD7R8XW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#02XP, $\delta$-hyperbolic space (definition)
History
- 2026-11-01: add by m2/v0.6.15
34SQ33RTMF 34SQ33RTMF
| URI | m2://inv/34SQ33RTMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.08714#8HJA (definition). In A3RAXBSWA5/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
34SS1MT6HP 34SS1MT6HP
| URI | m2://inv/34SS1MT6HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34516#4VUJ (statement). In ECKK8RR78E/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Definition 34SWEXNC87
| URI | m2://inv/34SWEXNC87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Node influence metric#T72F, Definition (definition)
History
- 2026-11-02: add by m2/dev
34T0J2SNSZ 34T0J2SNSZ
| URI | m2://inv/34T0J2SNSZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#KVMH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cook, Len 34T4DF6HPA
| URI | m2://inv/34T4DF6HPA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NBWK, Cook, Len (unknown)
History
- 2026-11-02: add by m2/dev
34T7HCSHPT 34T7HCSHPT
| URI | m2://inv/34T7HCSHPT |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#NLJO (unknown). In R2XC1SC9NZ/e1, unknown 16
History
- 2026-10-27: add by m2/v0.3.5
International Statistical Review 34T7ZF0AVB
| URI | m2://inv/34T7ZF0AVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#BKV7, International Statistical Review (unknown)
History
- 2026-11-02: add by m2/dev
Ramsey number, symmetric 34TG8BWZ3R
| URI | m2://inv/34TG8BWZ3R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/11.4/ramsey-number-symmetric, Ramsey number, symmetric (concept). In QKM9DD2H56, index, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
Newman-Znám theorem 34TNBNNA28
| URI | m2://inv/34TNBNNA28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herzog–Schönheim conjecture#J5OQ, Newman-Znám theorem (statement)
History
- 2026-11-02: add by m2/dev
34TV5GN5ZX 34TV5GN5ZX
| URI | m2://inv/34TV5GN5ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#N2BL (statement). In 702AF3E4AF/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
recursive function theory 34TYH8CB1K
| URI | m2://inv/34TYH8CB1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UGQG, recursive function theory (definition)
History
- 2026-11-02: add by m2/dev
Multiview orthographic projection 34TYW4M9R3
| URI | m2://inv/34TYW4M9R3 |
|---|---|
| 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#LRX8, Multiview orthographic projection (unknown)
History
- 2026-11-02: add by m2/dev
Malta Mathematical Society 34TZETG2NY
| URI | m2://inv/34TZETG2NY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malta Mathematical Society, Malta Mathematical Society (definition). Also Wikidata Q113635115
History
- 2026-11-02: add by m2/dev
Richard Thomas 34V4HHWRYS
| URI | m2://inv/34V4HHWRYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Thomas (mathematician), Richard Thomas (topic). Also Wikidata Q203314
History
- 2026-11-02: add by m2/dev
34VDKY25QN 34VDKY25QN
| URI | m2://inv/34VDKY25QN |
|---|---|
| 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 2610.06755#3ZPF (definition). In DKEX05SEXS/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
34VEB731HA 34VEB731HA
| URI | m2://inv/34VEB731HA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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 1711.00219#GZA3 (definition). In 7V3HG30ZGW/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.4.0
34W9QT8D2A 34W9QT8D2A
| URI | m2://inv/34W9QT8D2A |
|---|---|
| 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.22393#YOM7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Endpoint limits of the supports 34W9YDAFXC
| URI | m2://inv/34W9YDAFXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#8KI0, Endpoint limits of the supports (statement). In 4AQ48WSBDQ/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
34WKGC0KM1 34WKGC0KM1
| URI | m2://inv/34WKGC0KM1 |
|---|---|
| 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 2602.02346#OWWL (statement). In 1JSNWJH3BX/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Dinitz–Garg–Goemans conjecture 34WMZZFYWP
| URI | m2://inv/34WMZZFYWP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LLIC, Dinitz–Garg–Goemans conjecture (statement)
History
- 2026-11-02: add by m2/dev
34WQFM3NYW 34WQFM3NYW
| URI | m2://inv/34WQFM3NYW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
characteristic function 34WR14HDN4
| URI | m2://inv/34WR14HDN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Definitions in probability theory > characteristic function, characteristic function (unknown). Also Mathlib MeasureTheory.charFun
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > characteristic function, characteristic function (unknown). Also Mathlib MeasureTheory.charFun
History
- 2026-10-26: add by m2/dev
contrapositive 34WR5EVJCC
| URI | m2://inv/34WR5EVJCC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.2/contrapositive, contrapositive (concept). In Y91XFCEVHQ, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
34WYX4392D 34WYX4392D
| URI | m2://inv/34WYX4392D |
|---|---|
| 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 2310.13621#9NVR (statement). In DG0EZ1BPV5/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Speedup theorem 34X7A18B8M
| URI | m2://inv/34X7A18B8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1OBN, Speedup theorem (unknown)
History
- 2026-11-02: add by m2/dev
34X7CMJK1E 34X7CMJK1E
| URI | m2://inv/34X7CMJK1E |
|---|---|
| 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 2408.13548#J0IE (statement). In EQF1ZQ5K1S/e1, theorem 3.22
History
- 2026-10-27: add by m2/v0.4.0
34XAJA86N1 34XAJA86N1
| URI | m2://inv/34XAJA86N1 |
|---|---|
| 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#2SKD (statement)
History
- 2026-11-01: add by m2/v0.6.15
34XC6S2D5F 34XC6S2D5F
| URI | m2://inv/34XC6S2D5F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#AH7J (example). In KZ71GXT2B0/e1, example 6.3
History
- 2026-10-28: add by m2/v0.4.2
34XGDM73H9 34XGDM73H9
| URI | m2://inv/34XGDM73H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04165#1TDA (statement). In PKN283MHF8/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
34XHSRC86K 34XHSRC86K
| URI | m2://inv/34XHSRC86K |
|---|---|
| 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.16059#LL9M (statement). In 51W7AECQDA/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Stochastic Alfvén theorem 34XNQYMDPP
| URI | m2://inv/34XNQYMDPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfvén's theorem#RRCR, Stochastic Alfvén theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 34XQ6526J4
| URI | m2://inv/34XQ6526J4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic graph#CZ24, Examples (example)
History
- 2026-11-02: add by m2/dev
Ranking 34XW74P1KR
| URI | m2://inv/34XW74P1KR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranking, Ranking (definition). Also Wikidata Q526719
History
- 2026-11-02: add by m2/dev
Construction 34XWMTYPJ4
| URI | m2://inv/34XWMTYPJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tridecagon#J9ZE, Construction (definition)
History
- 2026-11-02: add by m2/dev
34Y7JEEJ9Z 34Y7JEEJ9Z
| URI | m2://inv/34Y7JEEJ9Z |
|---|---|
| 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 2506.21337#4AK0 (statement). In EPZN0JTG2Z/e1, fact 25
History
- 2026-10-27: add by m2/v0.3.5
Definitions 34YD8382SM
| URI | m2://inv/34YD8382SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent algebra#MUBA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
34YDDKYR6Y 34YDDKYR6Y
| URI | m2://inv/34YDDKYR6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20961#GPBN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dirichlet boundary condition 34YE1AT5E9
| URI | m2://inv/34YE1AT5E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dirichlet boundary condition EETVA6QYX4 |
Mentions
- wikidata: Wikidata Q1193699, Dirichlet boundary condition (unknown). Also MathWorld DirichletBoundaryConditions
- wikipedia: Wikipedia Dirichlet boundary condition, Dirichlet boundary condition (definition). Also Wikidata Q1193699
History
- 2026-10-26: add by m2/dev
34YG4JWYQ9 34YG4JWYQ9
| URI | m2://inv/34YG4JWYQ9 |
|---|---|
| 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.00379#3KDQ (statement). In BTSCWAGACB/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
elementary abelian 34YP0A1JSJ
| URI | m2://inv/34YP0A1JSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of problems in loop theory and quasigroup theory#3P0U, elementary abelian (definition)
History
- 2026-11-02: add by m2/dev
Hermitian manifold 34YPMF6CYP
| URI | m2://inv/34YPMF6CYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#PFYM, Hermitian manifold (definition)
History
- 2026-11-02: add by m2/dev
34YQBJTCZT 34YQBJTCZT
| URI | m2://inv/34YQBJTCZT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#3L1V (definition). In 9H45HQE7AZ/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Divergent geometric series 34Z0TCHCRP
| URI | m2://inv/34Z0TCHCRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergent geometric series, Divergent geometric series (definition). Also Wikidata Q5283907
History
- 2026-11-02: add by m2/dev
34Z4SES6C1 34Z4SES6C1
| URI | m2://inv/34Z4SES6C1 |
|---|---|
| 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.31907#DVFB (definition). In 6B2PCEGCYZ/e1, definition 7.1
History
- 2026-10-31: add by m2/v0.5.6
Bertrand Duplantier 34ZCDRTDXW
| URI | m2://inv/34ZCDRTDXW |
|---|---|
| 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#APE4, Bertrand Duplantier (unknown)
History
- 2026-11-02: add by m2/dev
Sobolev exclusion of light segments - lower dimensions 34ZD7MTAYC
| URI | m2://inv/34ZD7MTAYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#O2KL, Sobolev exclusion of light segments - lower dimensions (statement). In 9JHMTYGWFQ/e1, theorem 7.3
History
- 2026-10-27: add by m2/v0.3.6
On Interpretation 34ZE9DFG7E
| URI | m2://inv/34ZE9DFG7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On Interpretation, On Interpretation (definition). Also Wikidata Q648627
History
- 2026-11-02: add by m2/dev
34ZGH2ZTBK 34ZGH2ZTBK
| URI | m2://inv/34ZGH2ZTBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02295#G6LM (statement). In PEBD9ZMA1W/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Jacoby, Oswald 34ZPT9XKZP
| URI | m2://inv/34ZPT9XKZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#476G, Jacoby, Oswald (unknown)
History
- 2026-11-02: add by m2/dev