Inventory rows ZP
The cards of the rows of the inventory whose ids start with ZP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ZP06F80WD9 ZP06F80WD9
| URI | m2://inv/ZP06F80WD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31768#7F5M (statement). In WC7ZECEE3P/e1, proposition 3.9
History
- 2026-10-31: add by m2/v0.5.6
Examples ZP08DQSEXP
| URI | m2://inv/ZP08DQSEXP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent complex#W7SN, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples ZP0J7R1KT9
| URI | m2://inv/ZP0J7R1KT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve complex#8XOV, Examples (example)
History
- 2026-11-02: add by m2/dev
Lubbock, John ZP0KH0HFSG
| URI | m2://inv/ZP0KH0HFSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#T8Q0, Lubbock, John (unknown)
History
- 2026-11-02: add by m2/dev
Frank Spitzer ZP0PSXQDSP
| URI | m2://inv/ZP0PSXQDSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PWG4, Frank Spitzer (unknown)
History
- 2026-11-02: add by m2/dev
Scalar integer labels ZP0S2NTHYP
| URI | m2://inv/ZP0S2NTHYP |
|---|---|
| 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.12014#N5OX, Scalar integer labels (statement). In DR7BK4CQ0V/e1, corollary 3.11
History
- 2026-10-28: add by m2/v0.4.3
ZP0Y059MF4 ZP0Y059MF4
| URI | m2://inv/ZP0Y059MF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#D33K (statement). In RZDNWV9E29/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.3.6
ZP0Z09VSWT ZP0Z09VSWT
| URI | m2://inv/ZP0Z09VSWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#IW6P (statement). In SMTJDX0Q6R/e1, corollary 4.3
History
- 2026-10-31: add by m2/v0.5.6
ZP0Z2C73ZC ZP0Z2C73ZC
| URI | m2://inv/ZP0Z2C73ZC |
|---|---|
| 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.33278#5CF6 (statement). In QABBHZQZFR/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
ZP0ZDRNM1S ZP0ZDRNM1S
| URI | m2://inv/ZP0ZDRNM1S |
|---|---|
| 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.10474#L495 (statement). In MB29RAAQMG/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
Hamiltonian constraint ZP132WD18V
| URI | m2://inv/ZP132WD18V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian constraint, Hamiltonian constraint (definition). Also Wikidata Q5645295
History
- 2026-11-02: add by m2/dev
ZP15X2TKD5 ZP15X2TKD5
| URI | m2://inv/ZP15X2TKD5 |
|---|---|
| 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.32599#0FRI (statement). In E1Y93JNBJA/e1, corollary 7.3
History
- 2026-10-31: add by m2/v0.5.6
ZP192FRETS ZP192FRETS
| URI | m2://inv/ZP192FRETS |
|---|---|
| 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.22764#58LO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Probabilistic algorithm ZP198QY9BX
| URI | m2://inv/ZP198QY9BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#UUBK, Probabilistic algorithm (definition)
History
- 2026-11-02: add by m2/dev
ZP1EX9DR5V ZP1EX9DR5V
| URI | m2://inv/ZP1EX9DR5V |
|---|---|
| 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.18281#J8GR (statement). In QYD0EJM85G/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Raabe's formula ZP1G75WJFX
| URI | m2://inv/ZP1G75WJFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma function#GEF8, Raabe's formula (statement)
History
- 2026-11-02: add by m2/dev
ZP1QK2AJRJ ZP1QK2AJRJ
| URI | m2://inv/ZP1QK2AJRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#HSZ0 (statement). In 5350Q52F6P/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
Examples ZP1SBM1DB1
| URI | m2://inv/ZP1SBM1DB1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of a matrix#YWK6, Examples (example)
History
- 2026-11-02: add by m2/dev
Gibbs phenomenon ZP1TNXP3NC
| URI | m2://inv/ZP1TNXP3NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#F203, Gibbs phenomenon (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#3V74, Gibbs phenomenon (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#DEAZ, Gibbs phenomenon (definition)
History
- 2026-11-02: add by m2/dev
ZP1W71VGV0 ZP1W71VGV0
| URI | m2://inv/ZP1W71VGV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#WB21 (statement). In 8MDK189ZMB/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
ZP210NCWQE ZP210NCWQE
| URI | m2://inv/ZP210NCWQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08149#RF8Q (statement). In E128PFR76Q/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Wagstaff prime ZP21SE8VB4
| URI | m2://inv/ZP21SE8VB4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q281995, Wagstaff prime (unknown). Also MathWorld WagstaffPrime, OEIS A000979
- wikipedia: Wikipedia Wagstaff prime, Wagstaff prime (conjecture). Also Wikidata Q281995
History
- 2026-10-26: add by m2/dev
Jakob Bernoulli ZP28ET9PNP
| URI | m2://inv/ZP28ET9PNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#2K8H, Jakob Bernoulli (topic)
History
- 2026-11-02: add by m2/dev
Co-NP-complete ZP2GJ86Y3T
| URI | m2://inv/ZP2GJ86Y3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Co-NP-complete, Co-NP-complete (definition). Also Wikidata Q1142354
History
- 2026-11-02: add by m2/dev
Erdős ZP2RMTAVB7
| URI | m2://inv/ZP2RMTAVB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#87UG, Erdős (definition)
History
- 2026-11-02: add by m2/dev
Enrique Pujals ZP2VK07J13
| URI | m2://inv/ZP2VK07J13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K9U8, Enrique Pujals (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZFIO, Enrique Pujals (unknown)
History
- 2026-11-02: add by m2/dev
constructible number ZP398QG0S1
| URI | m2://inv/ZP398QG0S1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Constructible number 0FMN2MN7TM |
Mentions
- wikidata: Wikidata Q1321926, constructible number (unknown). Also MathWorld ConstructibleNumber
- wikipedia: Wikipedia Constructible number, Constructible number (definition). Also Wikidata Q1321926
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZP3AJ2GGE7 ZP3AJ2GGE7
| URI | m2://inv/ZP3AJ2GGE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/definitions.tex#def:standard-model (definition). In PKGMM3P5QY, defn, section 28.7
History
- 2026-11-01: add by m2/v0.6.13
ZP3BSR4J0N ZP3BSR4J0N
| URI | m2://inv/ZP3BSR4J0N |
|---|---|
| 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.31387#MB1D (statement). In GBD60VB1JX/e1, corollary 17
History
- 2026-10-31: add by m2/v0.5.6
ZP3E2DNZB6 ZP3E2DNZB6
| URI | m2://inv/ZP3E2DNZB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#0K3L (statement). In F3BKXXPR3K/e1, corollary 3.38
History
- 2026-10-27: add by m2/v0.4.2
ZP3FNRP7E3 ZP3FNRP7E3
| URI | m2://inv/ZP3FNRP7E3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#GONH (statement). In BWD76W20W8/e1, lemma 6.11
History
- 2026-10-29: add by m2/v0.4.12
ZP3JYE6MBJ ZP3JYE6MBJ
| URI | m2://inv/ZP3JYE6MBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#5974 (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZP3MEMDCPE ZP3MEMDCPE
| URI | m2://inv/ZP3MEMDCPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33472#AQQS (statement). In WBQQBZ4FCJ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Relative contact homology ZP3MQ5PBJ0
| URI | m2://inv/ZP3MQ5PBJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative contact homology, Relative contact homology (definition). Also Wikidata Q7310786
History
- 2026-11-02: add by m2/dev
Fast-growing hierarchy ZP3MYMCNCV
| URI | m2://inv/ZP3MYMCNCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast-growing hierarchy, Fast-growing hierarchy (definition). Also Wikidata Q3138738
History
- 2026-11-02: add by m2/dev
ZP3SYTZY0R ZP3SYTZY0R
| URI | m2://inv/ZP3SYTZY0R |
|---|---|
| Kind | example |
| 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#NNP9 (example). In 7V3HG30ZGW/e1, example 2.19
History
- 2026-10-27: add by m2/v0.4.0
Pre-trace formula ZP3TVYGDTK
| URI | m2://inv/ZP3TVYGDTK |
|---|---|
| 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.16668#NBNR, Pre-trace formula (statement). In W7GPN2AHHM/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Thomas Hales ZP414HGVCN
| URI | m2://inv/ZP414HGVCN |
|---|---|
| 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#4YI8, Thomas Hales (topic)
History
- 2026-11-02: add by m2/dev
Positive-block factorization ZP4508AEWV
| URI | m2://inv/ZP4508AEWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04608#JAXJ, Positive-block factorization (statement). In ZYYMXYK7WJ/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Haag–Kastler axioms ZP4JB38A9C
| URI | m2://inv/ZP4JB38A9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic quantum field theory#ANSB, Haag–Kastler axioms (statement)
History
- 2026-11-02: add by m2/dev
K-distribution ZP4MPE9YX9
| URI | m2://inv/ZP4MPE9YX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EPUN, K-distribution (definition)
History
- 2026-11-02: add by m2/dev
ZP4MPG6EJK ZP4MPG6EJK
| URI | m2://inv/ZP4MPG6EJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#intulbound:prop (statement). In E59CDZA4DP, prop, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
ZP4PRVM773 ZP4PRVM773
| URI | m2://inv/ZP4PRVM773 |
|---|---|
| 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.33941#Y798 (statement). In 64YCRQCKZN/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
ZP4WXSBF2A ZP4WXSBF2A
| URI | m2://inv/ZP4WXSBF2A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#08D6 (definition). In PG0B4PH9YH/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Uniform Convergence ZP4X9TBWRQ
| URI | m2://inv/ZP4X9TBWRQ |
|---|---|
| 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.37489#SBBD, Uniform Convergence (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Examples ZP4ZAEVEE1
| URI | m2://inv/ZP4ZAEVEE1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stabilizer code#HXQT, Examples (example)
History
- 2026-11-02: add by m2/dev
ZP545N4664 ZP545N4664
| URI | m2://inv/ZP545N4664 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#Q2ZL (statement). In 8SVVEVGMNE/e1, lemma 4.14
History
- 2026-10-27: add by m2/v0.3.5
ZP5DB72M4Q ZP5DB72M4Q
| URI | m2://inv/ZP5DB72M4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1407.0548#ECLC (statement). In 3EAQ15QTJC/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
ZP5RJ45945 ZP5RJ45945
| URI | m2://inv/ZP5RJ45945 |
|---|---|
| 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.29501#MK2A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Neil Tennant ZP5ZBM6QJG
| URI | m2://inv/ZP5ZBM6QJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neil Tennant (philosopher), Neil Tennant (topic). Also Wikidata Q6989396
History
- 2026-11-02: add by m2/dev
Approximate fairness from random palindromes ZP60MQB08S
| URI | m2://inv/ZP60MQB08S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15421#ZOUY, Approximate fairness from random palindromes (statement). In 3RBKH0DA74/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
ZP6E8GTTZ3 ZP6E8GTTZ3
| URI | m2://inv/ZP6E8GTTZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#SN65 (statement). In BF0RYHPMS1/e1, lemma 4.14
History
- 2026-10-30: add by m2/v0.4.12
Number of retained directions ZP6E8Q3YH3
| URI | m2://inv/ZP6E8Q3YH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10640#MBWV, Number of retained directions (statement). In BAQVK6N0RD/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Icosian ZP6G39T7BE
| URI | m2://inv/ZP6G39T7BE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosian, Icosian (definition). Also Wikidata Q17058942
History
- 2026-11-02: add by m2/dev
Definition ZP6N5VJXCB
| URI | m2://inv/ZP6N5VJXCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorics#2N7O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Original-comparator accepted-trial potential ZP6NNX4M22
| URI | m2://inv/ZP6NNX4M22 |
|---|---|
| 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#YLVJ, Original-comparator accepted-trial potential (statement). In X1FPG0KYBM/e1, theorem S.2
History
- 2026-10-28: add by m2/v0.4.2
ZP6Y3PDYK6 ZP6Y3PDYK6
| URI | m2://inv/ZP6Y3PDYK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#NM8L (statement). In 7GMD8J4200/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
Definition ZP77BAVQG7
| URI | m2://inv/ZP77BAVQG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of an algebraic variety#TJZZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZP77XVF1JW ZP77XVF1JW
| URI | m2://inv/ZP77XVF1JW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#6CVL (unknown). In R2XC1SC9NZ/e1, unknown 20
History
- 2026-10-27: add by m2/v0.3.5
ZP7CBQ8BZA ZP7CBQ8BZA
| URI | m2://inv/ZP7CBQ8BZA |
|---|---|
| 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.27078#W1LC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aleksandar Ivić ZP7K6CT5R7
| URI | m2://inv/ZP7K6CT5R7 |
|---|---|
| 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 Q15252497, Aleksandar Ivić (unknown). Also ProofWiki Mathematician:Aleksandar_Ivić
- wikipedia: Wikipedia Aleksandar Ivić, Aleksandar Ivić (topic). Also Wikidata Q15252497
History
- 2026-10-26: add by m2/dev
ZP7MEYQ7HP ZP7MEYQ7HP
| URI | m2://inv/ZP7MEYQ7HP |
|---|---|
| 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 2501.17009#AQGZ (statement). In PESAKD6SSW/e1, corollary 5.11
History
- 2026-10-27: add by m2/v0.3.6
Dual description of the optimal core ZP7MYC66M5
| URI | m2://inv/ZP7MYC66M5 |
|---|---|
| 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.37589#IMKS, Dual description of the optimal core (statement). In 18HVB2SKW1/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Examples ZP85MFREMP
| URI | m2://inv/ZP85MFREMP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accessible category#M5ID, Examples (example)
History
- 2026-11-02: add by m2/dev
An example ZP896G8HZP
| URI | m2://inv/ZP896G8HZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted third party#ODHG, An example (example)
History
- 2026-11-02: add by m2/dev
Transfer-matrix recursion ZP8C70XP0G
| URI | m2://inv/ZP8C70XP0G |
|---|---|
| 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#TB9E, Transfer-matrix recursion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mimetic interpolation ZP8G6H755H
| URI | m2://inv/ZP8G6H755H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mimetic interpolation, Mimetic interpolation (definition). Also Wikidata Q112666397
History
- 2026-11-02: add by m2/dev
Max Newman ZP8GV1NJCY
| URI | m2://inv/ZP8GV1NJCY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2412, Max Newman (topic)
History
- 2026-11-02: add by m2/dev
Localized It\^o--Wentzell condition ZP8K5C2Z63
| URI | m2://inv/ZP8K5C2Z63 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09278#VKJ2, Localized It\^o--Wentzell condition (definition). In XREKHJHAT7/e1, definition 4.6
History
- 2026-10-29: add by m2/v0.4.10
(−2,3,7) pretzel knot ZP8W21X7MF
| URI | m2://inv/ZP8W21X7MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (−2,3,7) pretzel knot, (−2,3,7) pretzel knot (definition). Also Wikidata Q4544970
History
- 2026-11-02: add by m2/dev
ZP8XEK9DK9 ZP8XEK9DK9
| URI | m2://inv/ZP8XEK9DK9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#BGN8 (definition). In NSYR6W27FP/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
ZP8YX2F7B5 ZP8YX2F7B5
| URI | m2://inv/ZP8YX2F7B5 |
|---|---|
| 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 2501.12834#E48J (statement). In 25JX9GN5TE/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
ZP8ZP2KD3K ZP8ZP2KD3K
| URI | m2://inv/ZP8ZP2KD3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#EB03 (statement). In PQNYA0C510/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.2
Formulation ZP93CYAP6A
| URI | m2://inv/ZP93CYAP6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dipole model of Earth's magnetic field#BN5A, Formulation (definition)
History
- 2026-11-02: add by m2/dev
gravitino ZP99YBMXSF
| URI | m2://inv/ZP99YBMXSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193188, gravitino (unknown). Also nLab gravitino
History
- 2026-10-26: add by m2/dev
tau-function ZP9AA5PEKM
| URI | m2://inv/ZP9AA5PEKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ramanujan tau function 6DNZAGCSQS |
Mentions
- wikidata: Wikidata Q3535240, tau-function (unknown). Also MathWorld TauFunction, OEIS A000594
- wikipedia: Wikipedia Ramanujan tau function, Ramanujan tau function (definition). Also Wikidata Q3535240
History
- 2026-10-26: add by m2/dev
Schwartz–Zippel lemma ZP9ERTWTN2
| URI | m2://inv/ZP9ERTWTN2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#H9C4, Schwartz–Zippel lemma (statement)
History
- 2026-11-02: add by m2/dev
Finite-dimensional laws ZP9FFX815M
| URI | m2://inv/ZP9FFX815M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian tree#X7LO, Finite-dimensional laws (statement)
History
- 2026-11-02: add by m2/dev
Multiple-agent system ZP9KNM38XY
| URI | m2://inv/ZP9KNM38XY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#0OLI, Multiple-agent system (unknown)
History
- 2026-11-02: add by m2/dev
Adding an axiom schema ZP9NZC9DPD
| URI | m2://inv/ZP9NZC9DPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicational propositional calculus#N1MS, Adding an axiom schema (statement)
History
- 2026-11-02: add by m2/dev
Characteristic slopes and strong stability ZP9TA7QV0T
| URI | m2://inv/ZP9TA7QV0T |
|---|---|
| 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 2610.05652#R677, Characteristic slopes and strong stability (statement). In 8BNPFYQDQX/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Strong generating set ZPA3E1Q9RE
| URI | m2://inv/ZPA3E1Q9RE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#DDSN, Strong generating set (unknown)
- wikipedia: Wikipedia List of permutation topics#YO0N, Strong generating set (unknown)
History
- 2026-11-02: add by m2/dev
∃ ZPA46TBAN2
| URI | m2://inv/ZPA46TBAN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#R3F9, ∃ (definition)
History
- 2026-11-02: add by m2/dev
ZPA714Y5CG ZPA714Y5CG
| URI | m2://inv/ZPA714Y5CG |
|---|---|
| Kind | definition |
| 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.23287#ADHT (definition)
History
- 2026-11-02: add by m2/v0.6.17
theorem ZPA7K3HAR8
| URI | m2://inv/ZPA7K3HAR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65943, theorem (definition). Also MathWorld Theorem, ProofWiki Definition:Theorem
- wikipedia: Wikipedia Theorem, Theorem (statement). Also Wikidata Q65943
History
- 2026-10-26: add by m2/dev
ZPABWRYG70 ZPABWRYG70
| URI | m2://inv/ZPABWRYG70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02158#RFH2 (statement). In PCV12VAD47/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
ZPB071HF4C ZPB071HF4C
| URI | m2://inv/ZPB071HF4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27192#B5ED (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reversible environments at second order ZPB8FTQJXS
| URI | m2://inv/ZPB8FTQJXS |
|---|---|
| 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.25084#TYMT, Reversible environments at second order (statement)
History
- 2026-11-01: add by m2/v0.6.15
Albert Wurts Whitney ZPBBB6S6P8
| URI | m2://inv/ZPBBB6S6P8 |
|---|---|
| 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#WBJW, Albert Wurts Whitney (unknown)
History
- 2026-11-02: add by m2/dev
Examples ZPBC09M970
| URI | m2://inv/ZPBC09M970 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered exponential field#4PSI, Examples (example)
History
- 2026-11-02: add by m2/dev
Newman–Keuls method ZPBDS0SC0P
| URI | m2://inv/ZPBDS0SC0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman–Keuls method, Newman–Keuls method (definition). Also Wikidata Q7018517
History
- 2026-11-02: add by m2/dev
relation, equivalence ZPBTHNSPHQ
| URI | m2://inv/ZPBTHNSPHQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6/relation-equivalence, relation, equivalence (concept). In QKM9DD2H56, index, section 6
History
- 2026-11-01: add by m2/v0.6.13
Hilbert space ZPC1C01J30
| URI | m2://inv/ZPC1C01J30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#OBMM, Hilbert space (definition)
History
- 2026-11-02: add by m2/dev
List of variational topics ZPC3767VVW
| URI | m2://inv/ZPC3767VVW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#LLC6, List of variational topics (topic)
History
- 2026-11-02: add by m2/dev
ZPC4CP6ART ZPC4CP6ART
| URI | m2://inv/ZPC4CP6ART |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#H167 (statement). In CBF6TQS4DW/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
ZPC698Q5MP ZPC698Q5MP
| URI | m2://inv/ZPC698Q5MP |
|---|---|
| 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 2610.16203#RZET (statement). In 43TBS9P2PX/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Coxeter–James Prize ZPC6DMY2PK
| URI | m2://inv/ZPC6DMY2PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter–James Prize, Coxeter–James Prize (definition). Also Wikidata Q4502264
History
- 2026-11-02: add by m2/dev
Social rationality ZPC6YFAFW5
| URI | m2://inv/ZPC6YFAFW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social rationality, Social rationality (definition). Also Wikidata Q17149493
History
- 2026-11-02: add by m2/dev
The first Cauchy--Schwarz step ZPC8V86ZC9
| URI | m2://inv/ZPC8V86ZC9 |
|---|---|
| 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.33365#PD6S, The first Cauchy--Schwarz step (statement). In MCXCMR7V0T/e1, proposition 13
History
- 2026-10-30: add by m2/v0.4.12
Runge–Kutta methods ZPCBHQ0JB6
| URI | m2://inv/ZPCBHQ0JB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#TJP9, Runge–Kutta methods (definition)
History
- 2026-11-02: add by m2/dev
ZPCE7MSM3P ZPCE7MSM3P
| URI | m2://inv/ZPCE7MSM3P |
|---|---|
| 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.21116#Y819 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Directed Grid Theorem ZPCFWGTTQX
| URI | m2://inv/ZPCFWGTTQX |
|---|---|
| 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.20391#JOQN, Directed Grid Theorem (statement). In CTAS41TRM2/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.4.2
ZPCN9H3184 ZPCN9H3184
| URI | m2://inv/ZPCN9H3184 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#SLYR (statement). In RS6WWZKMT6/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Flexibility method ZPCQAX6GZG
| URI | m2://inv/ZPCQAX6GZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexibility method, Flexibility method (definition). Also Wikidata Q492260
History
- 2026-11-02: add by m2/dev
Association fallacy ZPCY18WWJH
| URI | m2://inv/ZPCY18WWJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#RI8X, Association fallacy (definition)
History
- 2026-11-02: add by m2/dev
de Longchamps point ZPCZT9FK8N
| URI | m2://inv/ZPCZT9FK8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1807042, de Longchamps point (unknown). Also MathWorld deLongchampsPoint
- wikipedia: Wikipedia De Longchamps point, De Longchamps point (definition). Also Wikidata Q1807042
History
- 2026-10-26: add by m2/dev
ZPD0X5QNK6 ZPD0X5QNK6
| URI | m2://inv/ZPD0X5QNK6 |
|---|---|
| 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 2601.22681#3DJB (statement). In 68VEQQX68G/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.4.0
Explicit heterogeneous-channel coefficient ZPD7V9Y1DJ
| URI | m2://inv/ZPD7V9Y1DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#YATL, Explicit heterogeneous-channel coefficient (statement). In 35925M9GJW/e1, corollary 16
History
- 2026-10-29: add by m2/v0.4.10
Fulton–Hansen connectedness theorem ZPD9N1MSNF
| URI | m2://inv/ZPD9N1MSNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5508482, Fulton–Hansen connectedness theorem (statement). Also Wikidata Q5508482
- thousand_plus: thousand_plus Q5508482, Fulton–Hansen connectedness theorem (statement). Also Wikidata Q5508482, Wikipedia Fulton–Hansen connectedness theorem
- wikipedia: Wikipedia Fulton–Hansen connectedness theorem, Fulton–Hansen connectedness theorem (statement). Also Wikidata Q5508482
History
- 2026-10-26: add by m2/dev
Robinson arithmetic ZPDC7DAJ3Y
| URI | m2://inv/ZPDC7DAJ3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#U2QK, Robinson arithmetic (definition)
History
- 2026-11-02: add by m2/dev
ZPDE0MH0QX ZPDE0MH0QX
| URI | m2://inv/ZPDE0MH0QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10152#Z6XO (statement). In KCJ53C7AXY/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
ZPDE6JECE1 ZPDE6JECE1
| URI | m2://inv/ZPDE6JECE1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
a separating sentence ZPDGX62YX3
| URI | m2://inv/ZPDGX62YX3 |
|---|---|
| Kind | example |
| 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.36279#KIW7, a separating sentence (example). In HX1QA0MJYV/e1, example 21
History
- 2026-10-30: add by m2/v0.4.12
ZPDK5X5DRF ZPDK5X5DRF
| URI | m2://inv/ZPDK5X5DRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#IUFR (statement). In ESDKTYDHC8/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
regular ZPDKGE1BBC
| URI | m2://inv/ZPDKGE1BBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#VGSR, regular (definition)
History
- 2026-11-02: add by m2/dev
Boolean Pythagorean triples problem ZPDQQAR1N4
| URI | m2://inv/ZPDQQAR1N4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#782J, Boolean Pythagorean triples problem (problem)
History
- 2026-11-02: add by m2/dev
Orit Halpern ZPDSGN7P6J
| URI | m2://inv/ZPDSGN7P6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#9KCM, Orit Halpern (unknown)
History
- 2026-11-02: add by m2/dev
ZPDTRRWEXC ZPDTRRWEXC
| URI | m2://inv/ZPDTRRWEXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#L1HU (statement). In JJQPFXZQ3D/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Camellia ZPDWENK17E
| URI | m2://inv/ZPDWENK17E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#C6UE, Camellia (definition)
History
- 2026-11-02: add by m2/dev
$q$-groups ZPE1EXGPSB
| URI | m2://inv/ZPE1EXGPSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#J1TL, $q$-groups (statement). In TPA3E67MKK/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.10
module ZPE6TSD43Q
| URI | m2://inv/ZPE6TSD43Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Module over a ring 0NZ8JA25WK |
Mentions
- wikidata: Wikidata Q18848, module (definition). Also EoM Module, MathWorld Module, nLab module, ProofWiki Definition:Module
- wikipedia: Wikipedia Module (mathematics), Module (definition). Also Wikidata Q18848
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZPEAMSV7MW ZPEAMSV7MW
| URI | m2://inv/ZPEAMSV7MW |
|---|---|
| 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 2204.13401#TPRY (statement). In B8MJT0GGW8/e1, lemma 3.24
History
- 2026-10-27: add by m2/v0.4.0
ZPEDE5F8S8 ZPEDE5F8S8
| URI | m2://inv/ZPEDE5F8S8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#MFT9 (statement). In SD28S3K7BT/e1, proposition 27
History
- 2026-10-29: add by m2/v0.4.12
Lévy arcsine law ZPEDXYKJP3
| URI | m2://inv/ZPEDXYKJP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F5TU, Lévy arcsine law (statement)
History
- 2026-11-02: add by m2/dev
odd graph ZPEMAMPEQ9
| URI | m2://inv/ZPEMAMPEQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7077445, odd graph (unknown). Also MathWorld OddGraph
History
- 2026-10-26: add by m2/dev
Heat extension is an isomorphism ZPEPQY94KF
| URI | m2://inv/ZPEPQY94KF |
|---|---|
| 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#W3S8, Heat extension is an isomorphism (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZPEWKNVCTZ ZPEWKNVCTZ
| URI | m2://inv/ZPEWKNVCTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.20460#CMTP (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZPEZWXCM0E ZPEZWXCM0E
| URI | m2://inv/ZPEZWXCM0E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#SJ2D (definition)
History
- 2026-11-01: add by m2/v0.6.15
hash table ZPF4SA92DY
| URI | m2://inv/ZPF4SA92DY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q207440, hash table (unknown). Also MathWorld HashTable
- wikipedia: Wikipedia Hash table, Hash table (definition). Also Wikidata Q207440
History
- 2026-10-26: add by m2/dev
ZPFAQ9R9FK ZPFAQ9R9FK
| URI | m2://inv/ZPFAQ9R9FK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#HAVQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local properness ZPFKG29WTM
| URI | m2://inv/ZPFKG29WTM |
|---|---|
| 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.01883#L16R, Local properness (statement). In CYV4P9TDV0/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
LFA sample complexity ZPFQJQ1BTR
| URI | m2://inv/ZPFQJQ1BTR |
|---|---|
| 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.04117#OLX5, LFA sample complexity (statement). In 65E9N3DFYP/e1, theorem D.4
History
- 2026-10-29: add by m2/v0.4.12
Statement ZPFR75Z3V9
| URI | m2://inv/ZPFR75Z3V9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łoś–Vaught test#A3RI, Statement (statement)
History
- 2026-11-02: add by m2/dev
Law of the wall ZPFR7A26AZ
| URI | m2://inv/ZPFR7A26AZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of the wall, Law of the wall (statement). Also Wikidata Q6503510
History
- 2026-11-02: add by m2/dev
Statistical theory ZPFYQ06M00
| URI | m2://inv/ZPFYQ06M00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical theory, Statistical theory (topic). Also Wikidata Q3551145
History
- 2026-11-02: add by m2/dev
Kostka number ZPFZHZG2K2
| URI | m2://inv/ZPFZHZG2K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostka number, Kostka number (definition). Also Wikidata Q6433560
History
- 2026-11-02: add by m2/dev
Notre Dame Journal of Formal Logic ZPGQK2ZRZM
| URI | m2://inv/ZPGQK2ZRZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#8182, Notre Dame Journal of Formal Logic (definition)
History
- 2026-11-02: add by m2/dev
Orbital brightness modulation ZPGQKR6X27
| URI | m2://inv/ZPGQKR6X27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of detecting exoplanets#XYLP, Orbital brightness modulation (unknown)
History
- 2026-11-02: add by m2/dev
Heteroclinic orbit ZPGRC9KZH8
| URI | m2://inv/ZPGRC9KZH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heteroclinic orbit, Heteroclinic orbit (definition). Also Wikidata Q1992087
History
- 2026-11-02: add by m2/dev
ZPGVNT0RSZ ZPGVNT0RSZ
| URI | m2://inv/ZPGVNT0RSZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-56 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
U-quadratic distribution ZPH4YNJRGM
| URI | m2://inv/ZPH4YNJRGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-quadratic distribution, U-quadratic distribution (definition). Also Wikidata Q3258567
History
- 2026-11-02: add by m2/dev
Simplicial honeycomb ZPH747971Q
| URI | m2://inv/ZPH747971Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial honeycomb, Simplicial honeycomb (object). Also Wikidata Q7520848
History
- 2026-11-02: add by m2/dev
Abraham Niederländer ZPH7J3G2B0
| URI | m2://inv/ZPH7J3G2B0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KADS, Abraham Niederländer (unknown)
History
- 2026-11-02: add by m2/dev
Excitotoxicity ZPHMEWFR9M
| URI | m2://inv/ZPHMEWFR9M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#1RNC, Excitotoxicity (unknown)
History
- 2026-11-02: add by m2/dev
ZPHPBZPMHS ZPHPBZPMHS
| URI | m2://inv/ZPHPBZPMHS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#5GR0 (definition). In F3BKXXPR3K/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
ZPJ65MEGXV ZPJ65MEGXV
| URI | m2://inv/ZPJ65MEGXV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-52 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
ZPJ6FTV1P3 ZPJ6FTV1P3
| URI | m2://inv/ZPJ6FTV1P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#IZAX (statement). In 9RBATD2Z1F/e1, theorem 3.9
History
- 2026-10-30: add by m2/v0.4.12
Aligned quadratic generators ZPJ6SPVDP6
| URI | m2://inv/ZPJ6SPVDP6 |
|---|---|
| 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.30301#CD1W, Aligned quadratic generators (statement). In 7NS75J7HAM/e1, lemma 9.31
History
- 2026-10-31: add by m2/v0.5.6
Schur's lemma ZPJ7BM7YRR
| URI | m2://inv/ZPJ7BM7YRR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Linear representations > Schur's lemma, Schur's lemma (unknown). Also Mathlib FDRep.finrank_hom_simple_simple
History
- 2026-10-26: add by m2/dev
Runge ZPJHMMBCQ7
| URI | m2://inv/ZPJHMMBCQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#APKV, Runge (statement). In 4RPXT0YCS5/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Belousov–Zhabotinsky reaction ZPJN5DNYSY
| URI | m2://inv/ZPJN5DNYSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belousov–Zhabotinsky reaction, Belousov–Zhabotinsky reaction (definition). Also Wikidata Q816151
History
- 2026-11-02: add by m2/dev
Gabriele Vezzosi ZPJQS2E5B3
| URI | m2://inv/ZPJQS2E5B3 |
|---|---|
| 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 Q30446592, Gabriele Vezzosi (unknown). Also nLab Gabriele Vezzosi
- wikipedia: Wikipedia Gabriele Vezzosi, Gabriele Vezzosi (topic). Also Wikidata Q30446592
History
- 2026-10-26: add by m2/dev
Gaussian comparison and the resolvent equation ZPJRQBB0KQ
| URI | m2://inv/ZPJRQBB0KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#1TEX, Gaussian comparison and the resolvent equation (statement). In NKXTXH59P1/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
ZPJT68M9G5 ZPJT68M9G5
| URI | m2://inv/ZPJT68M9G5 |
|---|---|
| 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.02570#6WEP (statement). In 6JK30RQ1SX/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Force and the second law ZPJVV1YW1R
| URI | m2://inv/ZPJVV1YW1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#5XPC, Force and the second law (statement)
History
- 2026-11-02: add by m2/dev
complement (of a set) ZPK35D6TMV
| URI | m2://inv/ZPK35D6TMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#P56X, complement (of a set) (definition)
History
- 2026-11-02: add by m2/dev
Manuela Garín ZPK4EYNVE4
| URI | m2://inv/ZPK4EYNVE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manuela Garín, Manuela Garín (topic). Also Wikidata Q85136918
History
- 2026-11-02: add by m2/dev
Full-rank stratum ZPKGX0VYNS
| URI | m2://inv/ZPKGX0VYNS |
|---|---|
| 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.25762#BPZP, Full-rank stratum (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZPKQP5NM6G ZPKQP5NM6G
| URI | m2://inv/ZPKQP5NM6G |
|---|---|
| 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.37489#OTIR (definition). In 5ZC91T5PHQ/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
ZPKYKDNR47 ZPKYKDNR47
| URI | m2://inv/ZPKYKDNR47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:functor (definition). In N54F33XE07, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Perron's formula ZPM03P8Z4F
| URI | m2://inv/ZPM03P8Z4F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Perron's formula EJ556BJNFM |
Mentions
- wikidata: Wikidata Q2759571, Perron's formula (concept). Also MathWorld PerronsFormula
- wikipedia: Wikipedia Perron's formula, Perron's formula (statement). Also Wikidata Q2759571
History
- 2026-10-26: add by m2/dev
Standalone closed form exists; c.f. Lemma 2 ZPM0TQZSQF
| URI | m2://inv/ZPM0TQZSQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#Y4TL, Standalone closed form exists; c.f. Lemma 2 (statement). In T9HZXHTQBJ/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.6
Julia Rozanska ZPMCH8HH4F
| URI | m2://inv/ZPMCH8HH4F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Rozanska, Julia Rozanska (topic). Also Wikidata Q106958780
History
- 2026-11-02: add by m2/dev
Error induced by an approximate Schur transform ZPMDXVKVMM
| URI | m2://inv/ZPMDXVKVMM |
|---|---|
| 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.39992#WIXL, Error induced by an approximate Schur transform (statement). In WF64CGYVK1/e1, lemma S18
History
- 2026-10-30: add by m2/v0.4.12
Richmond West ZPMHJBHQAK
| URI | m2://inv/ZPMHJBHQAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#4AGV, Richmond West (unknown)
History
- 2026-11-02: add by m2/dev
Fast Library for Number Theory ZPMJ7FQWZ9
| URI | m2://inv/ZPMJ7FQWZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Library for Number Theory, Fast Library for Number Theory (definition). Also Wikidata Q5436959
History
- 2026-11-02: add by m2/dev
Definitions ZPMJCBYNA7
| URI | m2://inv/ZPMJCBYNA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis (universal algebra)#PMTH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Removing the fixed code ZPMTPRT7RP
| URI | m2://inv/ZPMTPRT7RP |
|---|---|
| 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.14548#A32R, Removing the fixed code (statement). In TTNKABAYVB/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Kan complex ZPMW6AFR7C
| URI | m2://inv/ZPMW6AFR7C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u2/kan-complex, Kan complex (concept). In N54F33XE07, index, section u1.u2
History
- 2026-11-01: add by m2/v0.6.13
Definition ZPMXPKCHV5
| URI | m2://inv/ZPMXPKCHV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal polynomials on the unit circle#JHDU, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZPN0ER29NM ZPN0ER29NM
| URI | m2://inv/ZPN0ER29NM |
|---|---|
| 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.23526#MD0F (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZPN583PC71 ZPN583PC71
| URI | m2://inv/ZPN583PC71 |
|---|---|
| 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.13229#CXPX (statement). In 4WN20N5Z57/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
ZPNGKVV11M ZPNGKVV11M
| URI | m2://inv/ZPNGKVV11M |
|---|---|
| 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 2204.01073#4IHO (statement). In W4TYN4PGE8/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
NLFFF ZPNQFMRQRY
| URI | m2://inv/ZPNQFMRQRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Force-free magnetic field#GRRH, NLFFF (unknown)
History
- 2026-11-02: add by m2/dev
Trait ascription bias ZPP1X5979J
| URI | m2://inv/ZPP1X5979J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#60ZR, Trait ascription bias (unknown)
History
- 2026-11-02: add by m2/dev
Poincaré polynomial ZPP96SR02V
| URI | m2://inv/ZPP96SR02V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#CBO9, Poincaré polynomial (definition)
History
- 2026-11-02: add by m2/dev
ZPP9AYPACM ZPP9AYPACM
| URI | m2://inv/ZPP9AYPACM |
|---|---|
| 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.25314#1TAL (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZPPYSKXP25 ZPPYSKXP25
| URI | m2://inv/ZPPYSKXP25 |
|---|---|
| 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 2204.01073#H8PB (statement). In W4TYN4PGE8/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.3.5
ZPQ1YRTXYQ ZPQ1YRTXYQ
| URI | m2://inv/ZPQ1YRTXYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#X0HG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Boundary of a manifold ZPQ4ZJNHZC
| URI | m2://inv/ZPQ4ZJNHZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manifold#12RC, Boundary of a manifold (unknown)
History
- 2026-11-02: add by m2/dev
Proof of~\cref{thm:omg} ZPQ729CZYM
| URI | m2://inv/ZPQ729CZYM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-5, Proof of~\cref{thm:omg} (proof). In N54F33XE07, proof, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
ZPQDJXS0QB ZPQDJXS0QB
| URI | m2://inv/ZPQDJXS0QB |
|---|---|
| Kind | example |
| 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 2606.02312#XHSR (example). In 1SZV94R22Y/e1, example 1.3
History
- 2026-10-27: add by m2/v0.3.5
Regression spline ZPQFM7MGDA
| URI | m2://inv/ZPQFM7MGDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothing spline#MPL9, Regression spline (unknown)
History
- 2026-11-02: add by m2/dev
ZPQFSPG7JQ ZPQFSPG7JQ
| URI | m2://inv/ZPQFSPG7JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#6K0D (statement). In D68KBZQ4Q6/e1, lemma 5.12
History
- 2026-10-28: add by m2/v0.4.2
Sources and sinks ZPQKTMZEXR
| URI | m2://inv/ZPQKTMZEXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sources and sinks, Sources and sinks (definition). Also Wikidata Q131357309
History
- 2026-11-02: add by m2/dev
Carl Pomerance ZPQY5F8176
| URI | m2://inv/ZPQY5F8176 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JAKO, Carl Pomerance (topic)
History
- 2026-11-02: add by m2/dev
Implications of the theorem ZPRBD7YXZN
| URI | m2://inv/ZPRBD7YXZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon–Hartley theorem#QERO, Implications of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Order condition ZPRGTCTA18
| URI | m2://inv/ZPRGTCTA18 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous equations model#IQZL, Order condition (unknown)
History
- 2026-11-02: add by m2/dev
ZPRP9CPP7N ZPRP9CPP7N
| URI | m2://inv/ZPRP9CPP7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.08233#GJ49 (definition). In 2TXXQ2575Y/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
ZPRRARQXTN ZPRRARQXTN
| URI | m2://inv/ZPRRARQXTN |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#N3BI (unknown). In QNBFHFZ3H0/e1, unknown 43
History
- 2026-10-28: add by m2/v0.4.2
Spontaneous magnetization ZPRSBP3253
| URI | m2://inv/ZPRSBP3253 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spontaneous magnetization, Spontaneous magnetization (definition). Also Wikidata Q7579060
History
- 2026-11-02: add by m2/dev
ZPRVWHK5DF ZPRVWHK5DF
| URI | m2://inv/ZPRVWHK5DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#XX5S (statement). In 4H727T2YAS/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Fáry–Milnor theorem ZPRVZKD8EF
| URI | m2://inv/ZPRVZKD8EF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527071, Fáry–Milnor theorem (statement). Also Wikidata Q3527071
- thousand_plus: thousand_plus Q3527071, Fáry–Milnor theorem (statement). Also Wikidata Q3527071, Wikipedia Fáry–Milnor theorem
- wikipedia: Wikipedia Fáry–Milnor theorem, Fáry–Milnor theorem (statement). Also Wikidata Q3527071
History
- 2026-10-26: add by m2/dev
GLS Conjecture 3.1.16 ZPS2AETB5A
| URI | m2://inv/ZPS2AETB5A |
|---|---|
| Kind | problem |
| 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.07092#56QR, GLS Conjecture 3.1.16 (problem). In JWNYJVH8XG/e1, problem A
History
- 2026-10-29: add by m2/v0.4.10
ZPS54TFZJF ZPS54TFZJF
| URI | m2://inv/ZPS54TFZJF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#T8ZV (example). In 8SXY7Y68HV/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.2
ZPS85QQ75F ZPS85QQ75F
| URI | m2://inv/ZPS85QQ75F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#YA9T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kohji Matsumoto ZPS8MCRX37
| URI | m2://inv/ZPS8MCRX37 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kohji Matsumoto, Kohji Matsumoto (topic). Also Wikidata Q6426011
History
- 2026-11-02: add by m2/dev
Dinatural transformation ZPSF44S323
| URI | m2://inv/ZPSF44S323 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dinatural transformation, Dinatural transformation (definition). Also Wikidata Q5277974
History
- 2026-11-02: add by m2/dev
Order-7 heptagrammic tiling ZPSJ2BQ3H2
| URI | m2://inv/ZPSJ2BQ3H2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WJ5T, Order-7 heptagrammic tiling (object)
History
- 2026-11-02: add by m2/dev
Main result, informal ZPSK3QGXYD
| URI | m2://inv/ZPSK3QGXYD |
|---|---|
| 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.27181#9DKE, Main result, informal (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic properties ZPSSQMGWV8
| URI | m2://inv/ZPSSQMGWV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real closed ring#OTSA, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Trust region ZPT3PDVXSJ
| URI | m2://inv/ZPT3PDVXSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trust region, Trust region (definition). Also Wikidata Q1535924
History
- 2026-11-02: add by m2/dev
Degree-zero obstructions in every rank ZPT4K4AP4N
| URI | m2://inv/ZPT4K4AP4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#VFKA, Degree-zero obstructions in every rank (statement). In XDTM624YPE/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.2
Writer invariant ZPT59SR738
| URI | m2://inv/ZPT59SR738 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SYNB, Writer invariant (definition)
History
- 2026-11-02: add by m2/dev
Algorithm for computing intersection pattern ZPT74G597P
| URI | m2://inv/ZPT74G597P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#GHMD, Algorithm for computing intersection pattern (statement). In D68KBZQ4Q6/e1, theorem 3.29
History
- 2026-10-28: add by m2/v0.4.2
ZPTB80K8FE ZPTB80K8FE
| URI | m2://inv/ZPTB80K8FE |
|---|---|
| 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.10927#48IW (statement). In DHEJP3YATV/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.3
ZPTER3QF6A ZPTER3QF6A
| URI | m2://inv/ZPTER3QF6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#F2H3 (statement). In CM2YEK9T4F/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
Arnold's "conjecture" ZPTJB6ATD0
| URI | m2://inv/ZPTJB6ATD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beltrami vector field#B17K, Arnold's "conjecture" (statement)
History
- 2026-11-02: add by m2/dev
ZPTJWW7XQN ZPTJWW7XQN
| URI | m2://inv/ZPTJWW7XQN |
|---|---|
| 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 2610.09133#MCQ2 (statement). In E7BPGPP9Z5/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
View factor ZPTMTMMN1S
| URI | m2://inv/ZPTMTMMN1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia View factor, View factor (definition). Also Wikidata Q166860
History
- 2026-11-02: add by m2/dev
ZPTNC3VV68 ZPTNC3VV68
| URI | m2://inv/ZPTNC3VV68 |
|---|---|
| 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 math/0411039#9BQ5 (statement). In ZTBDXSKFFW/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
ZPTPPQZBZK ZPTPPQZBZK
| URI | m2://inv/ZPTPPQZBZK |
|---|---|
| Kind | problem |
| 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 2303.10963#HUKN (problem). In F32XWYWG8E/e1, problem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Georges Gonthier ZPTS9EJR00
| URI | m2://inv/ZPTS9EJR00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georges Gonthier, Georges Gonthier (topic). Also Wikidata Q5546810
History
- 2026-11-02: add by m2/dev
Beer–Lambert law ZPTWH6Y4Q1
| URI | m2://inv/ZPTWH6Y4Q1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#OM8L, Beer–Lambert law (statement)
History
- 2026-11-02: add by m2/dev
Transposition (mathematics) ZPTXXMGX28
| URI | m2://inv/ZPTXXMGX28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#9XWC, Transposition (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Tate–Shafarevich group ZPTXYD94EX
| URI | m2://inv/ZPTXYD94EX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tate–Shafarevich group BK9WBMF56G |
Mentions
- wikidata: Wikidata Q7688027, Tate–Shafarevich group (concept). Also LMFDB knowl ag.tate_shafarevich, nLab Tate–Shafarevich group
- wikipedia: Wikipedia Tate–Shafarevich group, Tate–Shafarevich group (definition). Also Wikidata Q7688027
History
- 2026-10-26: add by m2/dev
monotonic function ZPTYYHBQ5K
| URI | m2://inv/ZPTYYHBQ5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#8APC, monotonic function (definition)
History
- 2026-11-02: add by m2/dev
Seymour Papert ZPVARPRV87
| URI | m2://inv/ZPVARPRV87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SGDF, Seymour Papert (unknown)
History
- 2026-11-02: add by m2/dev
Theorem FP2 ZPVBJ9SBRC
| URI | m2://inv/ZPVBJ9SBRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#QKU6, Theorem FP2 (statement)
History
- 2026-11-02: add by m2/dev
ZPVDZ1RAAR ZPVDZ1RAAR
| URI | m2://inv/ZPVDZ1RAAR |
|---|---|
| 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.30315#EDEU (statement). In FXTCVHYW5S/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
ZPVGY2TT5C ZPVGY2TT5C
| URI | m2://inv/ZPVGY2TT5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2609.24307#90CO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lithuania ZPVJRGTVWR
| URI | m2://inv/ZPVJRGTVWR |
|---|---|
| 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 Q37, Lithuania (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Lithuania
History
- 2026-10-26: add by m2/dev
ZPVKMAX0BX ZPVKMAX0BX
| URI | m2://inv/ZPVKMAX0BX |
|---|---|
| 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.31910#VHEL (statement). In E4EK1XXPY4/e1, proposition 3.11
History
- 2026-10-31: add by m2/v0.5.6
317 (number) ZPVKP8D0YN
| URI | m2://inv/ZPVKP8D0YN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#0Z4T, 317 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Examples ZPVNYG02FJ
| URI | m2://inv/ZPVNYG02FJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category O#K2MH, Examples (example)
History
- 2026-11-02: add by m2/dev
Dirichlet beta function ZPVV5KR9MS
| URI | m2://inv/ZPVV5KR9MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#H48X, Dirichlet beta function (definition)
History
- 2026-11-02: add by m2/dev
ZPW0K5G5X5 ZPW0K5G5X5
| URI | m2://inv/ZPW0K5G5X5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#84JJ (statement). In HT5MC1SPD9/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
Svetlana Katok ZPW3YGDV8X
| URI | m2://inv/ZPW3YGDV8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BY8D, Svetlana Katok (topic)
History
- 2026-11-02: add by m2/dev
Hyperbolic angle ZPW6CPGMFB
| URI | m2://inv/ZPW6CPGMFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic angle, Hyperbolic angle (definition). Also Wikidata Q1003216
History
- 2026-11-02: add by m2/dev
ZPW8VD22AC ZPW8VD22AC
| URI | m2://inv/ZPW8VD22AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.05628#L0KH (statement). In 9JPKTEWW4W/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
ZPW8XRGGSK ZPW8XRGGSK
| URI | m2://inv/ZPW8XRGGSK |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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#WIB6 (statement). In EPZN0JTG2Z/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Powerful number ZPW9TYWQG5
| URI | m2://inv/ZPW9TYWQG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#76BZ, Powerful number (definition)
History
- 2026-11-02: add by m2/dev
Loeb space ZPWJTF3WYX
| URI | m2://inv/ZPWJTF3WYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loeb space, Loeb space (definition). Also Wikidata Q17103336
History
- 2026-11-02: add by m2/dev
MathType ZPWJXHGK2W
| URI | m2://inv/ZPWJXHGK2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathType, MathType (definition). Also Wikidata Q1191074
History
- 2026-11-02: add by m2/dev
ZPWR3SWBCZ ZPWR3SWBCZ
| URI | m2://inv/ZPWR3SWBCZ |
|---|---|
| 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.05038#N6GO (statement). In CR237YRBJW/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
ZPWSTS7J43 ZPWSTS7J43
| URI | m2://inv/ZPWSTS7J43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37580#25X3 (statement). In WJQQBTDARA/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
transcendental elements ZPWSX31QNQ
| URI | m2://inv/ZPWSX31QNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > transcendental elements, transcendental elements (unknown). Also Mathlib Transcendental
History
- 2026-10-26: add by m2/dev
ZPWW0KWG4J ZPWW0KWG4J
| URI | m2://inv/ZPWW0KWG4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31304#FCEX (statement). In 3YK9MDW1D2/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
ZPWWP1645E ZPWWP1645E
| URI | m2://inv/ZPWWP1645E |
|---|---|
| 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.16580#ANIC (statement). In MQPBZX4DR6/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
ZPWZNTZVN9 ZPWZNTZVN9
| URI | m2://inv/ZPWZNTZVN9 |
|---|---|
| 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 2610.16779#OIYF (statement). In 1R7H0ZAHWA/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
ZPX5QD7KWN ZPX5QD7KWN
| URI | m2://inv/ZPX5QD7KWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#HO27 (statement). In A4VP56CT7B/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
ZPX90TY1EK ZPX90TY1EK
| URI | m2://inv/ZPX90TY1EK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:knuth-surreal-check (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
ZPXC714P79 ZPXC714P79
| URI | m2://inv/ZPXC714P79 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#SPAD (definition). In D2247CRPPE/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
Proceedings of the Aristotelian Society ZPXE12SPGM
| URI | m2://inv/ZPXE12SPGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#M2V8, Proceedings of the Aristotelian Society (unknown)
History
- 2026-11-02: add by m2/dev
Source-marginal transport ZPXFBHYEHC
| URI | m2://inv/ZPXFBHYEHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#1K4L, Source-marginal transport (statement). In 35925M9GJW/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Properties ZPXKV72T1Z
| URI | m2://inv/ZPXKV72T1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute continuity#HINU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Characterization ZPXV2DT930
| URI | m2://inv/ZPXV2DT930 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse-gamma distribution#0HKH, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Boolean domain ZPXXBT4BGF
| URI | m2://inv/ZPXXBT4BGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3269980, Boolean domain (unknown). Also MathWorld Booleans
- wikipedia: Wikipedia Boolean domain, Boolean domain (definition). Also Wikidata Q3269980
History
- 2026-10-26: add by m2/dev
ZPY4H9XWSM ZPY4H9XWSM
| URI | m2://inv/ZPY4H9XWSM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#QTWU (definition)
History
- 2026-11-01: add by m2/v0.6.15
Fitting subgroup ZPY7HV3ZBE
| URI | m2://inv/ZPY7HV3ZBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#RGSD, Fitting subgroup (definition)
History
- 2026-11-02: add by m2/dev
Sampling lower bound with an exact component ZPYDWPAH37
| URI | m2://inv/ZPYDWPAH37 |
|---|---|
| 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.12641#E126, Sampling lower bound with an exact component (statement). In X5BYGZZHPF/e1, theorem N.4
History
- 2026-10-28: add by m2/v0.4.2
Theorem E1 ZPYKAQ11HA
| URI | m2://inv/ZPYKAQ11HA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#56A4, Theorem E1 (statement)
History
- 2026-11-02: add by m2/dev
Raymond Redheffer ZPYNCYJ0NK
| URI | m2://inv/ZPYNCYJ0NK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Redheffer, Raymond Redheffer (topic). Also Wikidata Q795331
History
- 2026-11-02: add by m2/dev
Political views of Generation X ZPYNXEX7FG
| URI | m2://inv/ZPYNXEX7FG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation X#SXQP, Political views of Generation X (unknown)
History
- 2026-11-02: add by m2/dev
List of irreducible Tits indices ZPYRNZ32CC
| URI | m2://inv/ZPYRNZ32CC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of irreducible Tits indices, List of irreducible Tits indices (topic). Also Wikidata Q55619389
History
- 2026-11-02: add by m2/dev
ZPYS0S1FSR ZPYS0S1FSR
| URI | m2://inv/ZPYS0S1FSR |
|---|---|
| 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.03288#94LB (statement). In ZHP1MFSACN/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
ZPYT6VA4T0 ZPYT6VA4T0
| URI | m2://inv/ZPYT6VA4T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#KEEI (statement). In E7W2HDNEKJ/e1, theorem 6.36
History
- 2026-10-30: add by m2/v0.4.12
ZPYX0TM95V ZPYX0TM95V
| URI | m2://inv/ZPYX0TM95V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#T7GS (example). In 3PSAWXCCJ8/e1, example 1
History
- 2026-10-29: add by m2/v0.4.12
Multinomial coefficient ZPYXHNQCX3
| URI | m2://inv/ZPYXHNQCX3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multinomial theorem#B9V0, Multinomial coefficient (unknown)
History
- 2026-11-02: add by m2/dev
ZPYZ0CQQ0X ZPYZ0CQQ0X
| URI | m2://inv/ZPYZ0CQQ0X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#GIR4 (definition). In X38P26DK6S/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.4.0
ZPZ0479TQ2 ZPZ0479TQ2
| URI | m2://inv/ZPZ0479TQ2 |
|---|---|
| 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.28011#HEAD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Diversity index ZPZ1BXDEAW
| URI | m2://inv/ZPZ1BXDEAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BRZL, Diversity index (definition)
History
- 2026-11-02: add by m2/dev
ZPZ6326JJV ZPZ6326JJV
| URI | m2://inv/ZPZ6326JJV |
|---|---|
| Kind | example |
| 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#DV1M (example). In RHN12PW9P9/e1, example 4.2
History
- 2026-10-31: add by m2/v0.5.6
ZPZ8CJSTZE ZPZ8CJSTZE
| URI | m2://inv/ZPZ8CJSTZE |
|---|---|
| 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.04516#TX8V (statement). In GZZBR0FX50/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
ZPZEPN15BZ ZPZEPN15BZ
| URI | m2://inv/ZPZEPN15BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#OY1A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Unnatural isomorphism ZPZK06Q6F0
| URI | m2://inv/ZPZK06Q6F0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural transformation#K0II, Unnatural isomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Example ZPZK8Y2ZYB
| URI | m2://inv/ZPZK8Y2ZYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal depth#UU7P, Example (example)
History
- 2026-11-02: add by m2/dev
ZPZRNEV93N ZPZRNEV93N
| URI | m2://inv/ZPZRNEV93N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#12QD (statement). In H3FDP8S1Z7/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5