Inventory rows ZE
The cards of the rows of the inventory whose ids start with ZE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ZE034H01A2 ZE034H01A2
| URI | m2://inv/ZE034H01A2 |
|---|---|
| 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.08288#D887 (statement). In CHVWYJM7RM/e1, proposition B.8
History
- 2026-10-29: add by m2/v0.4.10
The product formula ZE0390SQGK
| URI | m2://inv/ZE0390SQGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental group scheme#RVGS, The product formula (statement)
History
- 2026-11-02: add by m2/dev
queen ZE0C053PKZ
| URI | m2://inv/ZE0C053PKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139, queen (definition). Also ProofWiki Definition:Chess/Piece/Queen
History
- 2026-10-26: add by m2/dev
Sparse flat extension ZE0CRG84AY
| URI | m2://inv/ZE0CRG84AY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#V225, Sparse flat extension (statement). In HRCEFY172P/e1, theorem 3.17
History
- 2026-10-30: add by m2/v0.4.12
A uniform Rogers bound ZE0D8SYAYS
| URI | m2://inv/ZE0D8SYAYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37483#3ZHG, A uniform Rogers bound (statement). In DBAPT7KA04/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Application to circuit lower bounds – Kannan's theorem ZE0FTR9TXG
| URI | m2://inv/ZE0FTR9TXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karp–Lipton theorem#CD5S, Application to circuit lower bounds – Kannan's theorem (statement)
History
- 2026-11-02: add by m2/dev
ZE0M3KRM2X ZE0M3KRM2X
| URI | m2://inv/ZE0M3KRM2X |
|---|---|
| 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.06755#XSGK (statement). In DKEX05SEXS/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Examples ZE0MKASPWC
| URI | m2://inv/ZE0MKASPWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tverberg's theorem#CZ50, Examples (example)
History
- 2026-11-02: add by m2/dev
Asymptotically unbiased ZE0MP0GX92
| URI | m2://inv/ZE0MP0GX92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimator#K57K, Asymptotically unbiased (unknown)
History
- 2026-11-02: add by m2/dev
Implementations ZE0V8Y1H5D
| URI | m2://inv/ZE0V8Y1H5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted Platform Module#HCST, Implementations (definition)
History
- 2026-11-02: add by m2/dev
ZE0WYH0NKD ZE0WYH0NKD
| URI | m2://inv/ZE0WYH0NKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#LQ6A (statement). In ATSYBWEMMP/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
ZE13AJJWQR ZE13AJJWQR
| URI | m2://inv/ZE13AJJWQR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#example-1 (example). In RZP28ERRZV, example, section 23.1
History
- 2026-11-01: add by m2/v0.6.13
Nṛsiṃha ZE13XKERRV
| URI | m2://inv/ZE13XKERRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#80M4, Nṛsiṃha (unknown)
History
- 2026-11-02: add by m2/dev
Straw man ZE17QRD4G4
| URI | m2://inv/ZE17QRD4G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#BTQP, Straw man (definition)
History
- 2026-11-02: add by m2/dev
ovoid ZE1C0056DV
| URI | m2://inv/ZE1C0056DV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4330741, ovoid (unknown). Also MathWorld Ovoid
History
- 2026-10-26: add by m2/dev
ZE1CQMQ2N6 ZE1CQMQ2N6
| URI | m2://inv/ZE1CQMQ2N6 |
|---|---|
| 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#AIBL (statement). In E7W2HDNEKJ/e1, proposition 10.12
History
- 2026-10-30: add by m2/v0.4.12
Chiral Lie algebra ZE1JG56Z0E
| URI | m2://inv/ZE1JG56Z0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiral Lie algebra, Chiral Lie algebra (definition). Also Wikidata Q16886869
History
- 2026-11-02: add by m2/dev
Representations ZE1SDMVBSN
| URI | m2://inv/ZE1SDMVBSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum state#C5VH, Representations (definition)
History
- 2026-11-02: add by m2/dev
David Broomhead ZE1TJ8HH0P
| URI | m2://inv/ZE1TJ8HH0P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Broomhead, David Broomhead (topic). Also Wikidata Q17446196
History
- 2026-11-02: add by m2/dev
ZE1W3FZMST ZE1W3FZMST
| URI | m2://inv/ZE1W3FZMST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.25321#JT9J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cartan–Kähler theorem ZE1X3XYX3H
| URI | m2://inv/ZE1X3XYX3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5047052, Cartan–Kähler theorem (statement). Also Wikidata Q5047052
- thousand_plus: thousand_plus Q5047052, Cartan–Kähler theorem (statement). Also Wikidata Q5047052, Wikipedia Cartan–Kähler theorem
- wikipedia: Wikipedia Cartan–Kähler theorem, Cartan–Kähler theorem (statement). Also Wikidata Q5047052
History
- 2026-10-26: add by m2/dev
Ed Moses ZE1ZCW9GS9
| URI | m2://inv/ZE1ZCW9GS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#7JPV, Ed Moses (unknown)
History
- 2026-11-02: add by m2/dev
Hermite normal form ZE260YDXCW
| URI | m2://inv/ZE260YDXCW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hermite normal form EHE26PR17K |
Mentions
- wikidata: Wikidata Q13650324, Hermite normal form (concept). Also nLab Hermite normal form
- wikipedia: Wikipedia Hermite normal form, Hermite normal form (definition). Also Wikidata Q13650324
History
- 2026-10-26: add by m2/dev
Discrete support and finite torsion order; cf.\ ZE2801KB2G
| URI | m2://inv/ZE2801KB2G |
|---|---|
| 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#DTCT, Discrete support and finite torsion order; cf.\ (statement). In RZDNWV9E29/e1, lemma 2.18
History
- 2026-10-27: add by m2/v0.3.6
Fermat quotient ZE2ACSJ1EJ
| URI | m2://inv/ZE2ACSJ1EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3788278, Fermat quotient (unknown). Also MathWorld FermatQuotient, nLab Fermat quotient
- wikipedia: Wikipedia Fermat quotient, Fermat quotient (definition). Also Wikidata Q3788278
History
- 2026-10-26: add by m2/dev
Linear interpolation ZE2CHDWACR
| URI | m2://inv/ZE2CHDWACR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#PF0D, Linear interpolation (definition)
History
- 2026-11-02: add by m2/dev
ZE2KR7QFPS ZE2KR7QFPS
| URI | m2://inv/ZE2KR7QFPS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#Z8NN (definition). In WYXQDSQR9B/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
Composition of Weakening Application ZE2RQDSCV5
| URI | m2://inv/ZE2RQDSCV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#252S, Composition of Weakening Application (statement). In CPYWHRTPKC/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.2
Uses ZE2T62PDN2
| URI | m2://inv/ZE2T62PDN2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moran's I#79O7, Uses (example)
History
- 2026-11-02: add by m2/dev
Properties ZE2TD54E5P
| URI | m2://inv/ZE2TD54E5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall plane#84G0, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZE32SZYKH6 ZE32SZYKH6
| URI | m2://inv/ZE32SZYKH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#0ECZ (statement). In SFQBJBTW8K/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
Sebastian Finsterwalder ZE35G89615
| URI | m2://inv/ZE35G89615 |
|---|---|
| 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#8UZT, Sebastian Finsterwalder (topic)
History
- 2026-11-02: add by m2/dev
Iwasawa-Tate theory ZE3D9DCCFZ
| URI | m2://inv/ZE3D9DCCFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0S1P, Iwasawa-Tate theory (definition)
History
- 2026-11-02: add by m2/dev
Hubert M. Blalock Jr. ZE3FRYK5MT
| URI | m2://inv/ZE3FRYK5MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#DHRL, Hubert M. Blalock Jr. (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition ZE3J5ACYDQ
| URI | m2://inv/ZE3J5ACYDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular conditional probability#G8M9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Completion relative to a source coloring ZE3MC131YW
| URI | m2://inv/ZE3MC131YW |
|---|---|
| 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.13580#LD6F, Completion relative to a source coloring (statement). In KEQ57N9N7Z/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Generalization ZE3N9CENJ4
| URI | m2://inv/ZE3N9CENJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson–Morozov theorem#GL2K, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Examples ZE3NN6X9Y6
| URI | m2://inv/ZE3NN6X9Y6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-sided limit#MC8A, Examples (example)
History
- 2026-11-02: add by m2/dev
Lewis Henry Haney ZE44K5XQ5Z
| URI | m2://inv/ZE44K5XQ5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0EWX, Lewis Henry Haney (unknown)
History
- 2026-11-02: add by m2/dev
Ward identity ZE44PEEZ2D
| URI | m2://inv/ZE44PEEZ2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ward–Takahashi identity#AJ2H, Ward identity (statement)
History
- 2026-11-02: add by m2/dev
Examples ZE45GQ01J8
| URI | m2://inv/ZE45GQ01J8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivision (simplicial set)#7N0Q, Examples (example)
History
- 2026-11-02: add by m2/dev
ZE46HCEQF5 ZE46HCEQF5
| URI | m2://inv/ZE46HCEQF5 |
|---|---|
| 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.20466#KPJ4 (statement). In M4ZVJWM8YA/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
ZE4FQ2JB1S ZE4FQ2JB1S
| URI | m2://inv/ZE4FQ2JB1S |
|---|---|
| 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.10206#TKPK (statement). In 8TRCP1482Q/e1, theorem B.27
History
- 2026-10-29: add by m2/v0.4.10
Area bisector of a triangle ZE4GCC4D9G
| URI | m2://inv/ZE4GCC4D9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#KZL5, Area bisector of a triangle (definition)
History
- 2026-11-02: add by m2/dev
ZE4N7NMFZW ZE4N7NMFZW
| URI | m2://inv/ZE4N7NMFZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#P0ZB (statement). In MRR92GQNZE/e1, corollary 3.20
History
- 2026-10-30: add by m2/v0.4.12
ZE4RC0Z20T ZE4RC0Z20T
| URI | m2://inv/ZE4RC0Z20T |
|---|---|
| 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.08198#OU3S (statement). In 50K0H8HRED/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
ZE4TRS4EKA ZE4TRS4EKA
| URI | m2://inv/ZE4TRS4EKA |
|---|---|
| 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.26500#X36Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Adi Shamir ZE4VYJXGGN
| URI | m2://inv/ZE4VYJXGGN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#HIVQ, Adi Shamir (topic)
History
- 2026-11-02: add by m2/dev
ZE53SGG36K ZE53SGG36K
| URI | m2://inv/ZE53SGG36K |
|---|---|
| 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.07442#98D6 (statement). In 6SDC2Z8Y8M/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
ZE5A8XBZRC ZE5A8XBZRC
| URI | m2://inv/ZE5A8XBZRC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-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 2609.40028#SJWT (example). In N8TDKGGC7S/e1, example 2.7
History
- 2026-10-30: add by m2/v0.4.12
Definition ZE5CC63J07
| URI | m2://inv/ZE5CC63J07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth's up-arrow notation#ZEG0, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZE5DS4GGCW ZE5DS4GGCW
| URI | m2://inv/ZE5DS4GGCW |
|---|---|
| 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 2308.02672#79JV (statement). In ETRT1R1CQ8/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.0
Properties ZE5KXAGKD3
| URI | m2://inv/ZE5KXAGKD3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function (convex analysis)#G4T3, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZE5PCJ5JXJ ZE5PCJ5JXJ
| URI | m2://inv/ZE5PCJ5JXJ |
|---|---|
| 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.17883#DPA4 (statement). In 9WSJV2WY2S/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
*{Definition 5.14 ZE5PSTF96K
| URI | m2://inv/ZE5PSTF96K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#8TOR, *{Definition 5.14 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Urn problem ZE5XCQDB4G
| URI | m2://inv/ZE5XCQDB4G |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FCVQ, Urn problem (problem)
History
- 2026-11-02: add by m2/dev
ZE63V4G25W ZE63V4G25W
| URI | m2://inv/ZE63V4G25W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#Y3IE (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZE6CHGBASN ZE6CHGBASN
| URI | m2://inv/ZE6CHGBASN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32033#N7GH (statement). In 17W5G060QX/e1, proposition 7.2
History
- 2026-10-31: add by m2/v0.5.6
ZE6HG8WVB3 ZE6HG8WVB3
| URI | m2://inv/ZE6HG8WVB3 |
|---|---|
| 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.35404#BV8B (statement). In DH84PYVRCF/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Second proof ZE6KJ59TY1
| URI | m2://inv/ZE6KJ59TY1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-14, Second proof (proof). In N54F33XE07, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
ZE6PG3VJPQ ZE6PG3VJPQ
| URI | m2://inv/ZE6PG3VJPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#QQ90 (statement). In GHKR740SG3/e1, lemma 19.7
History
- 2026-10-31: add by m2/v0.5.6
Applications of the inequality ZE6R5P3KYS
| URI | m2://inv/ZE6R5P3KYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pólya–Szegő inequality#1IFG, Applications of the inequality (statement)
History
- 2026-11-02: add by m2/dev
ZE6R8BD9Q2 ZE6R8BD9Q2
| URI | m2://inv/ZE6R8BD9Q2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-23 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
Multinomial distribution ZE6S0WFPC6
| URI | m2://inv/ZE6S0WFPC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#0G2D, Multinomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Theorem C (rings) ZE6XEYJBD6
| URI | m2://inv/ZE6XEYJBD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#DH1K, Theorem C (rings) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Lambda language ZE6YQC7P6Y
| URI | m2://inv/ZE6YQC7P6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda calculus#YLRE, Lambda language (unknown)
History
- 2026-11-02: add by m2/dev
Partition vector ZE70J7XCHF
| URI | m2://inv/ZE70J7XCHF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08787#7LIE, Partition vector (definition). In CCQ5XXWYDZ/e1, definition III.5
History
- 2026-10-29: add by m2/v0.4.10
Third-order bound ZE770QTW6A
| URI | m2://inv/ZE770QTW6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#P56C, Third-order bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
primitive recursive relation ZE7710JJ6S
| URI | m2://inv/ZE7710JJ6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6620, primitive recursive relation (definition)
History
- 2026-11-02: add by m2/dev
ZE7KC89PRS ZE7KC89PRS
| URI | m2://inv/ZE7KC89PRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#OUL6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
astrophysics ZE7TPE2D7H
| URI | m2://inv/ZE7TPE2D7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37547, astrophysics (definition). Also ProofWiki Definition:Astrophysics
History
- 2026-10-26: add by m2/dev
Generalized Appell polynomials ZE7XXQ0FNW
| URI | m2://inv/ZE7XXQ0FNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Appell polynomials, Generalized Appell polynomials (definition). Also Wikidata Q3395683
History
- 2026-11-02: add by m2/dev
Chinese room ZE8056C9JD
| URI | m2://inv/ZE8056C9JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese room, Chinese room (definition). Also Wikidata Q304726
History
- 2026-11-02: add by m2/dev
Covariance intersection ZE853CXXJF
| URI | m2://inv/ZE853CXXJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M2WQ, Covariance intersection (definition)
History
- 2026-11-02: add by m2/dev
ZE86036XDQ ZE86036XDQ
| URI | m2://inv/ZE86036XDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17045#PPEP (statement). In PA6JQDSKQT/e1, lemma 4.18
History
- 2026-10-28: add by m2/v0.4.2
periodic table ZE86VV93NB
| URI | m2://inv/ZE86VV93NB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10693, periodic table (unknown). Also nLab periodic table of chemical elements
History
- 2026-10-26: add by m2/dev
Annette Huber-Klawitter ZE8FBBNDPE
| URI | m2://inv/ZE8FBBNDPE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#LAMQ, Annette Huber-Klawitter (topic)
History
- 2026-11-02: add by m2/dev
infimum ZE8FT5PSDT
| URI | m2://inv/ZE8FT5PSDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1199948, infimum (unknown). Also MathWorld Infimum
History
- 2026-10-26: add by m2/dev
ZE8MB0YBBV ZE8MB0YBBV
| URI | m2://inv/ZE8MB0YBBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#UDUR (statement). In 7SRERSS1PF/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Heinrich Scherk ZE952F5EKA
| URI | m2://inv/ZE952F5EKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7YGP, Heinrich Scherk (topic)
History
- 2026-11-02: add by m2/dev
ZE96E8ZFK2 ZE96E8ZFK2
| URI | m2://inv/ZE96E8ZFK2 |
|---|---|
| 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 2411.16655#XAAV (statement). In EJHAXRV685/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
ZE9AAGTZ8F ZE9AAGTZ8F
| URI | m2://inv/ZE9AAGTZ8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#6826 (statement). In D0XH7W96T3/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
2-connected version of Corollary 2 ZE9MTS45FM
| URI | m2://inv/ZE9MTS45FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.06300#ZUY7, 2-connected version of Corollary 2 (statement). In 751KSRS7WT/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Cartan connection ZE9R9BZ4QT
| URI | m2://inv/ZE9R9BZ4QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cartan connection QPR7DCHXPG |
Mentions
- wikidata: Wikidata Q1068049, Cartan connection (unknown). Also nLab Cartan connection
- wikipedia: Wikipedia Cartan connection, Cartan connection (definition). Also Wikidata Q1068049
History
- 2026-10-26: add by m2/dev
Properties ZE9VP3N5F8
| URI | m2://inv/ZE9VP3N5F8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel function#9HM5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Extension of Borel-Heyting Measures ZEA03ZFVZ2
| URI | m2://inv/ZEA03ZFVZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#ZAEG, Extension of Borel-Heyting Measures (statement). In HX63A1PH1W/e1, proposition 7.39
History
- 2026-10-28: add by m2/v0.4.3
Victor Bangert ZEA0E8FGTR
| URI | m2://inv/ZEA0E8FGTR |
|---|---|
| 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#0Z8Y, Victor Bangert (topic)
History
- 2026-11-02: add by m2/dev
Uniqueness of solutions with bounded $\pa_xu$ ZEA1Y9BT5Y
| URI | m2://inv/ZEA1Y9BT5Y |
|---|---|
| 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.13753#GKF8, Uniqueness of solutions with bounded $\pa_xu$ (statement). In AHM0PBKZZN/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Applications ZEA21BPVYB
| URI | m2://inv/ZEA21BPVYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester matrix#K7MP, Applications (example)
History
- 2026-11-02: add by m2/dev
antisquare number ZEA6KCZQ64
| URI | m2://inv/ZEA6KCZQ64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897604, antisquare number (unknown). Also MathWorld AntisquareNumber, OEIS A080255
History
- 2026-10-26: add by m2/dev
Simfit ZEAAJQM080
| URI | m2://inv/ZEAAJQM080 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#1CLX, Simfit (definition)
History
- 2026-11-02: add by m2/dev
Randall–Sundrum model ZEABBGQQQS
| URI | m2://inv/ZEABBGQQQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1135677, Randall–Sundrum model (unknown). Also nLab Randall-Sundrum model
- wikipedia: Wikipedia Randall–Sundrum model, Randall–Sundrum model (definition). Also Wikidata Q1135677
History
- 2026-10-26: add by m2/dev
Algorithm ZEABTZ3ZA7
| URI | m2://inv/ZEABTZ3ZA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficient approximately fair item allocation#LT98, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
ZEACCVRB5T ZEACCVRB5T
| URI | m2://inv/ZEACCVRB5T |
|---|---|
| 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 2411.02694#GN2R (statement). In A8EK2ARN5Q/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.0
Vladimir Varićak ZEAE2MHKE7
| URI | m2://inv/ZEAE2MHKE7 |
|---|---|
| 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#8G2C, Vladimir Varićak (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JL9Z, Vladimir Varićak (unknown)
History
- 2026-11-02: add by m2/dev
ZEAF57VWPZ ZEAF57VWPZ
| URI | m2://inv/ZEAF57VWPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#NDKP (statement). In 5RMV7VP13X/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Locally normal space ZEAGMS7GBS
| URI | m2://inv/ZEAGMS7GBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally normal space, Locally normal space (definition). Also Wikidata Q6664694
History
- 2026-11-02: add by m2/dev
Hilbertian field ZEAKW8CEBF
| URI | m2://inv/ZEAKW8CEBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#RQL0, Hilbertian field (definition)
History
- 2026-11-02: add by m2/dev
ZEAPA7A4DW ZEAPA7A4DW
| URI | m2://inv/ZEAPA7A4DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#5GOX (statement). In 9ZD87293QS/e1, proposition 3.15
History
- 2026-10-27: add by m2/v0.4.0
truth-value gap ZEAQCDDCT8
| URI | m2://inv/ZEAQCDDCT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TSHX, truth-value gap (definition)
History
- 2026-11-02: add by m2/dev
Bochvar logic ZEAR32BDE0
| URI | m2://inv/ZEAR32BDE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-valued logic#WFBU, Bochvar logic (unknown)
History
- 2026-11-02: add by m2/dev
Hatvan ZEASGC91Y9
| URI | m2://inv/ZEASGC91Y9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0WBS, Hatvan (unknown)
History
- 2026-11-02: add by m2/dev
Robinson's Joint Consistency Theorem ZEB4KAM6B3
| URI | m2://inv/ZEB4KAM6B3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#thm-1, Robinson's Joint Consistency Theorem (statement). In PKGMM3P5QY, thm, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
Extension of Lagrange's theorem ZEB8CBSA85
| URI | m2://inv/ZEB8CBSA85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node |
| Node | Extension of Lagrange's theorem VAF6B01Q8W |
Mentions
- wikipedia: Wikipedia Lagrange's theorem (group theory)#DCKK, Extension of Lagrange's theorem (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Coset construction ZEB8FWRCE2
| URI | m2://inv/ZEB8FWRCE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#94DJ, Coset construction (unknown)
History
- 2026-11-02: add by m2/dev
Submodularity ZEBJV87PG7
| URI | m2://inv/ZEBJV87PG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#HHHK, Submodularity (statement). In BAWCMJQGVA/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
ZEBK1MTP25 ZEBK1MTP25
| URI | m2://inv/ZEBK1MTP25 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 86.1
History
- 2026-11-01: add by m2/v0.6.13
ZEBSBWPD7A ZEBSBWPD7A
| URI | m2://inv/ZEBSBWPD7A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
ZEBT4XVTBQ ZEBT4XVTBQ
| URI | m2://inv/ZEBT4XVTBQ |
|---|---|
| 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.09882#FHFH (statement). In 7XV6T4N79V/e1, lemma B.10
History
- 2026-10-29: add by m2/v0.4.10
Carolyn Eisele ZEBTP10YYT
| URI | m2://inv/ZEBTP10YYT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carolyn Eisele, Carolyn Eisele (topic). Also Wikidata Q17489531
History
- 2026-11-02: add by m2/dev
ZEBV4FWZWT ZEBV4FWZWT
| URI | m2://inv/ZEBV4FWZWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20740#I4SB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples ZEBWBFE1QG
| URI | m2://inv/ZEBWBFE1QG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci curvature#LR0K, Examples (example)
History
- 2026-11-02: add by m2/dev
Example ZEBYA1YN96
| URI | m2://inv/ZEBYA1YN96 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subquotient#9UTD, Example (example)
History
- 2026-11-02: add by m2/dev
monomorphism ZEC0TVCS0T
| URI | m2://inv/ZEC0TVCS0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SMEG, monomorphism (definition)
History
- 2026-11-02: add by m2/dev
ZEC1W9P7TF ZEC1W9P7TF
| URI | m2://inv/ZEC1W9P7TF |
|---|---|
| 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#BZF8 (statement). In MQPBZX4DR6/e1, theorem 5.10
History
- 2026-10-28: add by m2/v0.4.2
elementary function arithmetic ZEC8JX0DE8
| URI | m2://inv/ZEC8JX0DE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5358906, elementary function arithmetic (unknown). Also nLab elementary function arithmetic
- wikipedia: Wikipedia Elementary function arithmetic, Elementary function arithmetic (definition). Also Wikidata Q5358906
History
- 2026-10-26: add by m2/dev
Definition of the bidual ZECAFR522B
| URI | m2://inv/ZECAFR522B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#KY5H, Definition of the bidual (definition)
History
- 2026-11-02: add by m2/dev
ZECCA9SJEH ZECCA9SJEH
| URI | m2://inv/ZECCA9SJEH |
|---|---|
| Kind | definition |
| 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#FVXW (definition). In W4TYN4PGE8/e1, definition 2.21
History
- 2026-10-27: add by m2/v0.3.5
ZECQPE2R8X ZECQPE2R8X
| URI | m2://inv/ZECQPE2R8X |
|---|---|
| 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.38014#QCDF (statement). In F3X5W4E0AJ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Hanfried Lenz ZED4940JBQ
| URI | m2://inv/ZED4940JBQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#84AA, Hanfried Lenz (topic)
History
- 2026-11-02: add by m2/dev
ZEDBQ11EDM ZEDBQ11EDM
| URI | m2://inv/ZEDBQ11EDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#ZO1M (statement). In 6V42A71SPC/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.10
ZEDJFERWAT ZEDJFERWAT
| URI | m2://inv/ZEDJFERWAT |
|---|---|
| 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 2108.03672#YL0K (statement). In EZZSZ1F071/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.0
Robert J. Aumann ZEDQASX8YN
| URI | m2://inv/ZEDQASX8YN |
|---|---|
| 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#YVXS, Robert J. Aumann (unknown)
History
- 2026-11-02: add by m2/dev
Softplus calculus ZEDQV8Q9WJ
| URI | m2://inv/ZEDQV8Q9WJ |
|---|---|
| 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.19421#A318, Softplus calculus (statement). In 3S1VFGYWQE/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
False analogy ZEDYN0X0KE
| URI | m2://inv/ZEDYN0X0KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#2VV6, False analogy (definition)
History
- 2026-11-02: add by m2/dev
Booth's multiplication algorithm ZEDZFZ5QNH
| URI | m2://inv/ZEDZFZ5QNH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#KTTS, Booth's multiplication algorithm (unknown)
History
- 2026-11-02: add by m2/dev
ZEE0C67AVA ZEE0C67AVA
| URI | m2://inv/ZEE0C67AVA |
|---|---|
| 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.12479#53SX (statement). In WE001PR75Z/e1, proposition 25
History
- 2026-10-28: add by m2/v0.4.2
Rectangular seed ZEE1NV7E84
| URI | m2://inv/ZEE1NV7E84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#QH5Y, Rectangular seed (statement). In R630A60CMM/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Exact observation likelihood ZEE69T93WQ
| URI | m2://inv/ZEE69T93WQ |
|---|---|
| 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.05498#SM8H, Exact observation likelihood (statement). In TJT32RQ9GC/e1, lemma 6.14
History
- 2026-10-29: add by m2/v0.4.10
ZEEC93PHDY ZEEC93PHDY
| URI | m2://inv/ZEEC93PHDY |
|---|---|
| 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.21358#W5IA (statement). In XV70TXYS5A/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
seminorm ZEEGJH8QBM
| URI | m2://inv/ZEEGJH8QBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Seminorm FP5GVCN8GV |
Mentions
- wikidata: Wikidata Q1416088, seminorm (unknown). Also MathWorld Seminorm
- wikipedia: Wikipedia Seminorm, Seminorm (definition). Also Wikidata Q1416088
History
- 2026-10-26: add by m2/dev
Hofstadter's law ZEEJX400DC
| URI | m2://inv/ZEEJX400DC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas Hofstadter#GWZX, Hofstadter's law (statement)
History
- 2026-11-02: add by m2/dev
Ratio test ZEEP4S2769
| URI | m2://inv/ZEEP4S2769 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#9TFD, Ratio test (definition)
History
- 2026-11-02: add by m2/dev
The norm estimate for the ambient quotient ZEERKTXR35
| URI | m2://inv/ZEERKTXR35 |
|---|---|
| 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 2609.26984#I4PK, The norm estimate for the ambient quotient (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZEETHW5Q0X ZEETHW5Q0X
| URI | m2://inv/ZEETHW5Q0X |
|---|---|
| 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.15472#XVXR (statement). In 5Z3FH46YSY/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
ZEEWHNQTR9 ZEEWHNQTR9
| URI | m2://inv/ZEEWHNQTR9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0009023#5ARD (example). In S937GXH9AS/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Math League ZEF0TGA4S5
| URI | m2://inv/ZEF0TGA4S5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#31VG, Math League (unknown)
- wikipedia: Wikipedia List of mathematics competitions#ACUT, Math League (unknown)
- wikipedia: Wikipedia List of mathematics competitions#QO5D, Math League (unknown)
History
- 2026-11-02: add by m2/dev
Subgraph isomorphism problem ZEF7DP5HJY
| URI | m2://inv/ZEF7DP5HJY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#JKXF, Subgraph isomorphism problem (problem)
- wikipedia: Wikipedia List of algorithms#7ASD, Subgraph isomorphism problem (problem)
History
- 2026-11-02: add by m2/dev
ZEF90WSYMP ZEF90WSYMP
| URI | m2://inv/ZEF90WSYMP |
|---|---|
| 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.31327#VVXX (statement). In F605BQ3AYX/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
ZEFBZ1HZZ9 ZEFBZ1HZZ9
| URI | m2://inv/ZEFBZ1HZZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#MYGG (statement). In WAJ5AZHF62/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.12
Approximate Riemannian Lie group geodesics ZEFP9A455C
| URI | m2://inv/ZEFP9A455C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06788#6823, Approximate Riemannian Lie group geodesics (statement). In B2VE3JQZD3/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
Hugo Relander ZEFQKM5J5X
| URI | m2://inv/ZEFQKM5J5X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugo Relander, Hugo Relander (topic). Also Wikidata Q11863729
History
- 2026-11-02: add by m2/dev
Mess ZEFTT4YTTP
| URI | m2://inv/ZEFTT4YTTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1709.08958#YIQ2, Mess (statement). In H46J8XRDFJ/e1, theorem 2.1.1
History
- 2026-10-27: add by m2/v0.3.5
ZEG100MGA4 ZEG100MGA4
| URI | m2://inv/ZEG100MGA4 |
|---|---|
| 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.24314#81ZD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hofstadter sequence ZEG18D7TN1
| URI | m2://inv/ZEG18D7TN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hofstadter sequence, Hofstadter sequence (definition). Also Wikidata Q1623269
History
- 2026-11-02: add by m2/dev
Entity-relationship diagram ZEG4T0FGPY
| URI | m2://inv/ZEG4T0FGPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#MO40, Entity-relationship diagram (unknown)
History
- 2026-11-02: add by m2/dev
Ellipsoidal-harmonic coordinates ZEGD03K7A0
| URI | m2://inv/ZEGD03K7A0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#SOV2, Ellipsoidal-harmonic coordinates (unknown)
History
- 2026-11-02: add by m2/dev
ZEGGGADEK8 ZEGGGADEK8
| URI | m2://inv/ZEGGGADEK8 |
|---|---|
| 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 2211.15302#6Q1Q (statement). In FAZF2RBE6Y/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
James Ax ZEGKHT8PT7
| URI | m2://inv/ZEGKHT8PT7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Ax, James Ax (topic). Also Wikidata Q930734
History
- 2026-11-02: add by m2/dev
primality certificate ZEGQH5Y945
| URI | m2://inv/ZEGQH5Y945 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7243047, primality certificate (unknown). Also MathWorld PrimalityCertificate
- wikipedia: Wikipedia Primality certificate, Primality certificate (definition). Also Wikidata Q7243047
History
- 2026-10-26: add by m2/dev
ZEGYR4QXXR ZEGYR4QXXR
| URI | m2://inv/ZEGYR4QXXR |
|---|---|
| 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.07790#8BQJ (statement). In A5YJDDM0NX/e1, lemma A.8
History
- 2026-10-29: add by m2/v0.4.10
ZEHQRJEH6X ZEHQRJEH6X
| URI | m2://inv/ZEHQRJEH6X |
|---|---|
| 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 0904.0817#E1LA (definition). In 569FZDANV3/e1, definition 0.2
History
- 2026-10-27: add by m2/v0.3.5
Reed--Solomon sunflower ZEHT1XF576
| URI | m2://inv/ZEHT1XF576 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#GSY7, Reed--Solomon sunflower (definition). In WYHZMYZT31/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
ZEHWEV7BG3 ZEHWEV7BG3
| URI | m2://inv/ZEHWEV7BG3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-115 (exercise). In E9HS8K3A52, exercise, section 5.10.2
History
- 2026-11-01: add by m2/v0.6.13
injective ZEJ1JBAKR5
| URI | m2://inv/ZEJ1JBAKR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#15XP, injective (definition)
History
- 2026-11-02: add by m2/dev
ZEJTES91J7 ZEJTES91J7
| URI | m2://inv/ZEJTES91J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08956#82MI (statement). In DEE631KR3A/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Applications ZEJVRKQMN1
| URI | m2://inv/ZEJVRKQMN1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency (statistics)#O3ET, Applications (example)
History
- 2026-11-02: add by m2/dev
ZEJVY1BNSQ ZEJVY1BNSQ
| URI | m2://inv/ZEJVY1BNSQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#LLRD (definition). In X923ZEY423/e1, definition 5.1.1
History
- 2026-10-27: add by m2/v0.3.5
ZEJX0PDXAG ZEJX0PDXAG
| URI | m2://inv/ZEJX0PDXAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#R0R1 (statement). In ZBQX9341RV/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Terminology ZEJZHVG1M6
| URI | m2://inv/ZEJZHVG1M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz space#SB4J, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Row normalization is row-norm steepest descent ZEK65CV2DX
| URI | m2://inv/ZEK65CV2DX |
|---|---|
| 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.11309#TRGY, Row normalization is row-norm steepest descent (statement). In TTEAQA1XXR/e1, proposition B.13
History
- 2026-10-28: add by m2/v0.4.3
relaxation ZEKJ392VYF
| URI | m2://inv/ZEKJ392VYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2311872, relaxation (unknown). Also MathWorld RelaxationMethods
- wikipedia: Wikipedia Relaxation (iterative method), Relaxation (definition). Also Wikidata Q2311872
History
- 2026-10-26: add by m2/dev
Properties ZEKNYY12ND
| URI | m2://inv/ZEKNYY12ND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-reduction#ALON, Properties (statement)
History
- 2026-11-02: add by m2/dev
Mir Maswood Ali ZEKSKPSJEN
| URI | m2://inv/ZEKSKPSJEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mir Maswood Ali, Mir Maswood Ali (topic). Also Wikidata Q21009673
History
- 2026-11-02: add by m2/dev
ZEKVWKRQ7F ZEKVWKRQ7F
| URI | m2://inv/ZEKVWKRQ7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#8J8J (statement)
History
- 2026-11-01: add by m2/v0.6.15
superheight ZEKX1PS8PF
| URI | m2://inv/ZEKX1PS8PF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#Z3LF, superheight (definition)
History
- 2026-11-02: add by m2/dev
Besicovitch 1919/1928 ZEKXJBXXXC
| URI | m2://inv/ZEKXJBXXXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40161#NSG6, Besicovitch 1919/1928 (statement). In P2ZW0PZMEH/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Hessenberg ZEKYMR27NQ
| URI | m2://inv/ZEKYMR27NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#PH4C, Hessenberg (definition)
History
- 2026-11-02: add by m2/dev
ZEM470XVCA ZEM470XVCA
| URI | m2://inv/ZEM470XVCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#definition-1 (definition). In 649HGZKE96, definition, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Contraction and regularization of strong solutions ZEMB46T6R5
| URI | m2://inv/ZEMB46T6R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#AM54, Contraction and regularization of strong solutions (statement)
History
- 2026-11-02: add by m2/v0.6.18
Strongly proportional division ZEMHR4GSH7
| URI | m2://inv/ZEMHR4GSH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly proportional division, Strongly proportional division (definition). Also Wikidata Q24963032
History
- 2026-11-02: add by m2/dev
Definition ZEMPPA7VWV
| URI | m2://inv/ZEMPPA7VWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced set#ZX1L, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZEMRGD1FHG ZEMRGD1FHG
| URI | m2://inv/ZEMRGD1FHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#CIFG (statement). In TAPS8P2VYS/e1, lemma 1.18
History
- 2026-10-29: add by m2/v0.4.10
Paley graph ZEMYC66EXS
| URI | m2://inv/ZEMYC66EXS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3026495, Paley graph (concept). Also MathWorld PaleyGraph
- wikipedia: Wikipedia Paley graph, Paley graph (definition). Also Wikidata Q3026495
History
- 2026-10-26: add by m2/dev
Stable normal bundle ZEN1TMC6HX
| URI | m2://inv/ZEN1TMC6HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable normal bundle, Stable normal bundle (definition). Also Wikidata Q7595772
History
- 2026-11-02: add by m2/dev
ZEN301FK2F ZEN301FK2F
| URI | m2://inv/ZEN301FK2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21544#EWM8 (statement). In 5FMMWKNYWW/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
ZEN53306GK ZEN53306GK
| URI | m2://inv/ZEN53306GK |
|---|---|
| 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#MGUL (statement). In 64YCRQCKZN/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
Margarethe Kahn ZEN5BYRD81
| URI | m2://inv/ZEN5BYRD81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margarethe Kahn, Margarethe Kahn (topic). Also Wikidata Q1145577
History
- 2026-11-02: add by m2/dev
Bermuda Triangle ZEN8B2784A
| URI | m2://inv/ZEN8B2784A |
|---|---|
| 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#W49T, Bermuda Triangle (unknown)
History
- 2026-11-02: add by m2/dev
Sardinas–Patterson algorithm ZEN9CB03QA
| URI | m2://inv/ZEN9CB03QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sardinas–Patterson algorithm, Sardinas–Patterson algorithm (definition). Also Wikidata Q7423792
History
- 2026-11-02: add by m2/dev
Power one ZENB1JMK7Z
| URI | m2://inv/ZENB1JMK7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#N52G, Power one (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ian Rumfitt ZENHNTDXD1
| URI | m2://inv/ZENHNTDXD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ian Rumfitt, Ian Rumfitt (topic). Also Wikidata Q14945526
History
- 2026-11-02: add by m2/dev
Examples ZEP83XQNME
| URI | m2://inv/ZEP83XQNME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite recursion theorem#O2E4, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties ZEPAZZJCWM
| URI | m2://inv/ZEPAZZJCWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Mazur game#JI9G, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZEPHD7K615 ZEPHD7K615
| URI | m2://inv/ZEPHD7K615 |
|---|---|
| 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.01498#4SEM (statement). In 75GDSC8460/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
ZEPJD5BD1G ZEPJD5BD1G
| URI | m2://inv/ZEPJD5BD1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#560R (statement). In M2X9TEYRPC/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
ZEPNGD1ZKV ZEPNGD1ZKV
| URI | m2://inv/ZEPNGD1ZKV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#7FN2 (example). In Q1XJ5VWE1N/e1, example 6.6
History
- 2026-10-29: add by m2/v0.4.10
Magnetic helicity ZEPNZ81Y50
| URI | m2://inv/ZEPNZ81Y50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic helicity, Magnetic helicity (definition). Also Wikidata Q11587832
History
- 2026-11-02: add by m2/dev
Stricharz norms via $N(t)$ ZEPPHYT6CW
| URI | m2://inv/ZEPPHYT6CW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#X7XO, Stricharz norms via $N(t)$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZEPR5J9DDS ZEPR5J9DDS
| URI | m2://inv/ZEPR5J9DDS |
|---|---|
| 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.01899#LF3I (statement). In 638TEFBFGP/e1, corollary A.2
History
- 2026-10-29: add by m2/v0.4.12
matrix, stochastic ZEPTPF2TGH
| URI | m2://inv/ZEPTPF2TGH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.3/matrix-stochastic, matrix, stochastic (concept). In QKM9DD2H56, index, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
undecimal ZEQ4WXCYVX
| URI | m2://inv/ZEQ4WXCYVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5357322, undecimal (definition). Also ProofWiki Definition:Undecimal_Notation
History
- 2026-10-26: add by m2/dev
ZEQ7KE52E0 ZEQ7KE52E0
| URI | m2://inv/ZEQ7KE52E0 |
|---|---|
| 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 2610.00105#2KN4 (statement). In EZXTEXR47M/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
ZEQC68JDWS ZEQC68JDWS
| URI | m2://inv/ZEQC68JDWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_rationals.ptx#theorem-2 (statement). In QKM9DD2H56, theorem, section B.16
History
- 2026-11-01: add by m2/v0.6.13
Notation ZEQDZK8Q9C
| URI | m2://inv/ZEQDZK8Q9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical trigonometry#5HMO, Notation (definition)
History
- 2026-11-02: add by m2/dev
map folding ZEQEZR3RW8
| URI | m2://inv/ZEQEZR3RW8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6753749, map folding (problem). Also MathWorld MapFolding
- wikipedia: Wikipedia Map folding, Map folding (conjecture). Also Wikidata Q6753749
History
- 2026-10-26: add by m2/dev
exit ZEQTBQXQ51
| URI | m2://inv/ZEQTBQXQ51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#M7QK, exit (definition)
History
- 2026-11-02: add by m2/dev
harmonic function ZER2Q6TESN
| URI | m2://inv/ZER2Q6TESN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.9/harmonic-function, harmonic function (concept). In E9HS8K3A52, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
J-integral ZER46QZD71
| URI | m2://inv/ZER46QZD71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-integral, J-integral (definition). Also Wikidata Q6109458
History
- 2026-11-02: add by m2/dev
dodecahedral graph ZER724YR0Y
| URI | m2://inv/ZER724YR0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115552, dodecahedral graph (unknown). Also House of Graphs 1043, MathWorld DodecahedralGraph
History
- 2026-10-26: add by m2/dev
Forest Ray Moulton ZERD8Q6MCP
| URI | m2://inv/ZERD8Q6MCP |
|---|---|
| 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#O293, Forest Ray Moulton (unknown)
History
- 2026-11-02: add by m2/dev
Exact cutoff count ZERFBD85T6
| URI | m2://inv/ZERFBD85T6 |
|---|---|
| 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.22305#50SB, Exact cutoff count (statement). In P6FTXTV09Q/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.4.0
ZERM08TYVW ZERM08TYVW
| URI | m2://inv/ZERM08TYVW |
|---|---|
| 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.25038#QA0K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robbins pentagon ZERQ5SBT3J
| URI | m2://inv/ZERQ5SBT3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#15ZD, Robbins pentagon (definition)
History
- 2026-11-02: add by m2/dev
Extensions ZERQ8T9T1K
| URI | m2://inv/ZERQ8T9T1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive recursive set function#21D3, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Bolzano–Weierstrass theorem ZERRG7SG1X
| URI | m2://inv/ZERRG7SG1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#71QZ, Bolzano–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
ZERZMQK46C ZERZMQK46C
| URI | m2://inv/ZERZMQK46C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24542#JO6J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Monte Carlo methods for option pricing ZERZVT5ZK2
| URI | m2://inv/ZERZVT5ZK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo methods for option pricing, Monte Carlo methods for option pricing (definition). Also Wikidata Q6904701
History
- 2026-11-02: add by m2/dev
Kleinian singularity ZES0FCMEC7
| URI | m2://inv/ZES0FCMEC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#4A1M, Kleinian singularity (definition)
History
- 2026-11-02: add by m2/dev
ZES5EES886 ZES5EES886
| URI | m2://inv/ZES5EES886 |
|---|---|
| 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.00789#BNY4 (statement). In 4WPYBTARS2/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.12
Finite-dimensional Gaussian approximation ZES5J12E9H
| URI | m2://inv/ZES5J12E9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#9PDH, Finite-dimensional Gaussian approximation (statement). In 9YAE8FNQST/e1, lemma 14.15
History
- 2026-10-30: add by m2/v0.4.12
Statement ZES9673JK5
| URI | m2://inv/ZES9673JK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern–Gauss–Bonnet theorem#CFAT, Statement (statement)
History
- 2026-11-02: add by m2/dev
Motion law of $t\mapsto V_t$, cf.\ ZESFN97EQJ
| URI | m2://inv/ZESFN97EQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#MJMN, Motion law of $t\mapsto V_t$, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZESNTE9JJZ ZESNTE9JJZ
| URI | m2://inv/ZESNTE9JJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#EBZ7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZESPFDMKD9 ZESPFDMKD9
| URI | m2://inv/ZESPFDMKD9 |
|---|---|
| Kind | problem |
| 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.28808#8HLM (problem)
History
- 2026-11-01: add by m2/v0.6.15
Partial fraction ZESRBT4XN8
| URI | m2://inv/ZESRBT4XN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#KT9C, Partial fraction (definition)
History
- 2026-11-02: add by m2/dev
ZESRCTMC8H ZESRCTMC8H
| URI | m2://inv/ZESRCTMC8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#6UAI (statement). In TWPE10CZ1S/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
ZET1B8B7D8 ZET1B8B7D8
| URI | m2://inv/ZET1B8B7D8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#46IW (example). In K0DHYQC5B7/e1, example 2.9
History
- 2026-10-28: add by m2/v0.4.2
ZET4YJ9JYA ZET4YJ9JYA
| URI | m2://inv/ZET4YJ9JYA |
|---|---|
| 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 2504.21000#7MCO (statement). In BCVFS160MF/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.5
Properties ZETCN9KRSC
| URI | m2://inv/ZETCN9KRSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois group#SFWN, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZETEE3N2BE ZETEE3N2BE
| URI | m2://inv/ZETEE3N2BE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-134 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Pure mathematics ZETK7AN3CD
| URI | m2://inv/ZETK7AN3CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#CRFY, Pure mathematics (definition)
History
- 2026-11-02: add by m2/dev
312 (Number) ZETN4KET6C
| URI | m2://inv/ZETN4KET6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#20TS, 312 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
ZETS8B17G0 ZETS8B17G0
| URI | m2://inv/ZETS8B17G0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#LJJY (statement). In 9JHMTYGWFQ/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
Pfaffian function ZETVH32AFH
| URI | m2://inv/ZETVH32AFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfaffian function, Pfaffian function (definition). Also Wikidata Q7179766
History
- 2026-11-02: add by m2/dev
Genus of an algebraic curve ZETZ6RBVM1
| URI | m2://inv/ZETZ6RBVM1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus (mathematics)#37W6, Genus of an algebraic curve (unknown)
History
- 2026-11-02: add by m2/dev
ZEV6MZYPV4 ZEV6MZYPV4
| URI | m2://inv/ZEV6MZYPV4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#K0HI (definition)
History
- 2026-11-01: add by m2/v0.6.15
cf.\ ZEV8XAEF5T
| URI | m2://inv/ZEV8XAEF5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#UJU9, cf.\ (statement). In 7SSKW778T8/e1, lemma 2.21
History
- 2026-10-29: add by m2/v0.4.10
Generalization ZEVBX08R46
| URI | m2://inv/ZEVBX08R46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (variational analysis)#AX6M, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Construction ZEVDBD7ZSC
| URI | m2://inv/ZEVDBD7ZSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pin group#X2AB, Construction (definition)
History
- 2026-11-02: add by m2/dev
ZEVGMSRD0C ZEVGMSRD0C
| URI | m2://inv/ZEVGMSRD0C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-76 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
Shaul Foguel ZEVH8BE1KC
| URI | m2://inv/ZEVH8BE1KC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shaul Foguel, Shaul Foguel (topic). Also Wikidata Q19538813
History
- 2026-11-02: add by m2/dev
ZEVTM9NVM1 ZEVTM9NVM1
| URI | m2://inv/ZEVTM9NVM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#52IL (statement). In 9DQKY7KGE8/e1, lemma 6.23
History
- 2026-10-27: add by m2/v0.3.5
Taylor's law ZEVVNPK980
| URI | m2://inv/ZEVVNPK980 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's law, Taylor's law (statement). Also Wikidata Q7689816
History
- 2026-11-02: add by m2/dev
ZEWCHJXJQX ZEWCHJXJQX
| URI | m2://inv/ZEWCHJXJQX |
|---|---|
| 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 2610.08776#N6JL (statement). In ZQ4M778EA7/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
EP problem ZEWHFY5CA3
| URI | m2://inv/ZEWHFY5CA3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#J48F, EP problem (definition). In X765ZXXVC3/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
ZEWKYCED85 ZEWKYCED85
| URI | m2://inv/ZEWKYCED85 |
|---|---|
| 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.15723#DVPY (statement). In A3KXZ2GBHN/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
ZEWR07CNSV ZEWR07CNSV
| URI | m2://inv/ZEWR07CNSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#1LWS (statement). In 9C684206F0/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
ZEWYCM78V3 ZEWYCM78V3
| URI | m2://inv/ZEWYCM78V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-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.21860#TCFL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lifting retains the entire old pair law ZEX0YXT8HY
| URI | m2://inv/ZEX0YXT8HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#IMQR, Lifting retains the entire old pair law (statement). In 9YAE8FNQST/e1, theorem 27.3
History
- 2026-10-30: add by m2/v0.4.12
Categorical theory ZEX1QZJEP9
| URI | m2://inv/ZEX1QZJEP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15830473, Morley's categoricity theorem (statement). Also Wikidata Q15830473
- thousand_plus: thousand_plus Q15830473, Morley's categoricity theorem (statement). Also Wikidata Q15830473, Wikipedia Morley's categoricity theorem
- wikipedia: Wikipedia Categorical theory, Categorical theory (definition). Also Wikidata Q15830473
History
- 2026-10-26: add by m2/dev
Shannon–Hartley theorem ZEXBCRYBKE
| URI | m2://inv/ZEXBCRYBKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 94-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1756194, Shannon–Hartley theorem (statement). Also Wikidata Q1756194
- thousand_plus: thousand_plus Q1756194, Shannon–Hartley theorem (statement). Also Wikidata Q1756194, Wikipedia Shannon–Hartley theorem
- wikipedia: Wikipedia Shannon–Hartley theorem, Shannon–Hartley theorem (statement). Also Wikidata Q1756194
History
- 2026-10-26: add by m2/dev
ZEXNFHP9GX ZEXNFHP9GX
| URI | m2://inv/ZEXNFHP9GX |
|---|---|
| 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.24078#77DC (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZEXSZ2Y7PD ZEXSZ2Y7PD
| URI | m2://inv/ZEXSZ2Y7PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#0Z0K (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZEY3FRTA5M ZEY3FRTA5M
| URI | m2://inv/ZEY3FRTA5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-14 (example). In E9HS8K3A52, example, section 4.5.2
History
- 2026-11-01: add by m2/v0.6.13
Mitchell's group ZEYFN7ATEB
| URI | m2://inv/ZEYFN7ATEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mitchell's group, Mitchell's group (definition). Also Wikidata Q6881086
History
- 2026-11-02: add by m2/dev
The $\oplaxn\mbox{-}\lax$ parametrized Yoneda lemma ZEYK672VHE
| URI | m2://inv/ZEYK672VHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#W93Q, The $\oplaxn\mbox{-}\lax$ parametrized Yoneda lemma (statement). In 80S2NP05HJ/e1, theorem 3.18
History
- 2026-10-27: add by m2/v0.4.0
Special case: Kernel ridge regression ZEZA1TGFKQ
| URI | m2://inv/ZEZA1TGFKQ |
|---|---|
| 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#4VLP, Special case: Kernel ridge regression (statement). In T9HZXHTQBJ/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.6
Asymptotic rate for large condition numbers ZEZPN7QE71
| URI | m2://inv/ZEZPN7QE71 |
|---|---|
| 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.15125#5ROY, Asymptotic rate for large condition numbers (statement). In V5GT8NJKCM/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2