Inventory rows 8Y
The cards of the rows of the inventory whose ids start with 8Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
enveloping von Neumann algebra 8Y0AHBF3A5
| URI | m2://inv/8Y0AHBF3A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5380924, enveloping von Neumann algebra (unknown). Also nLab enveloping von Neumann algebra
- wikipedia: Wikipedia Enveloping von Neumann algebra, Enveloping von Neumann algebra (definition). Also Wikidata Q5380924
History
- 2026-10-26: add by m2/dev
8Y0BQNASA2 8Y0BQNASA2
| URI | m2://inv/8Y0BQNASA2 |
|---|---|
| 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 2512.11346#SJJI (statement). In ZW58VE9XE3/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
8Y0RMFM9SX 8Y0RMFM9SX
| URI | m2://inv/8Y0RMFM9SX |
|---|---|
| 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.06886#R5RA (statement). In M7E747AYBP/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
8Y0S15R7T5 8Y0S15R7T5
| URI | m2://inv/8Y0S15R7T5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
Polynomial time approximation scheme 8Y0ZXE4EKD
| URI | m2://inv/8Y0ZXE4EKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#6GYH, Polynomial time approximation scheme (definition)
History
- 2026-11-02: add by m2/dev
Examples 8Y17580NKV
| URI | m2://inv/8Y17580NKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular cardinal#E1CN, Examples (example)
History
- 2026-11-02: add by m2/dev
8Y17NXRA8P 8Y17NXRA8P
| URI | m2://inv/8Y17NXRA8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#DA6P (statement). In FT53PMB1TE/e1, lemma 5.2.3
History
- 2026-10-29: add by m2/v0.4.10
8Y18CMGBJB 8Y18CMGBJB
| URI | m2://inv/8Y18CMGBJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#ANNN (statement). In H52QQS8WZA/e1, theorem 10.2
History
- 2026-10-27: add by m2/v0.3.5
8Y18SXC75F 8Y18SXC75F
| URI | m2://inv/8Y18SXC75F |
|---|---|
| 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.21278#WLQO (statement). In DCH1JJGGYH/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.4.2
2800 8Y1FWKNA6M
| URI | m2://inv/8Y1FWKNA6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#Y6R6, 2800 (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 8Y1MMKPXP9
| URI | m2://inv/8Y1MMKPXP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyde theorem#CJWY, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
chain rule 8Y1TH67J8X
| URI | m2://inv/8Y1TH67J8X |
|---|---|
| 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.27495#QUOU, chain rule (statement). In 1TZVMC23J9/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
First number class 8Y1XR5CNGF
| URI | m2://inv/8Y1XR5CNGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal number#NW23, First number class (unknown)
History
- 2026-11-02: add by m2/dev
Euler pseudoprime 8Y25B0TSF7
| URI | m2://inv/8Y25B0TSF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler pseudoprime, Euler pseudoprime (definition). Also Wikidata Q356653
History
- 2026-11-02: add by m2/dev
8Y2HZ7AHBW 8Y2HZ7AHBW
| URI | m2://inv/8Y2HZ7AHBW |
|---|---|
| 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.17569#0H60 (statement). In ERE1EWGZA3/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Definitions 8Y2ME827QW
| URI | m2://inv/8Y2ME827QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic functions#AIA3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Formulation 8Y2WM7V3H5
| URI | m2://inv/8Y2WM7V3H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least squares#8MJ8, Formulation (definition)
History
- 2026-11-02: add by m2/dev
8Y2Z0PJRS9 8Y2Z0PJRS9
| URI | m2://inv/8Y2Z0PJRS9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#L6HQ (unknown). In G97FA99ZEF/e1, unknown A.2
History
- 2026-10-30: add by m2/v0.4.12
Clique entropy 8Y3530JK33
| URI | m2://inv/8Y3530JK33 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#O7S8, Clique entropy (definition). In N7XJ16700B/e1, definition 16
History
- 2026-10-29: add by m2/v0.4.10
Gottfried Köthe 8Y374B7Z6S
| URI | m2://inv/8Y374B7Z6S |
|---|---|
| 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#0FND, Gottfried Köthe (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SIEG, Gottfried Köthe (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T9LM, Gottfried Köthe (topic)
- wikipedia: Wikipedia List of German mathematicians#53NC, Gottfried Köthe (topic)
History
- 2026-11-02: add by m2/dev
Río Tercero 8Y3B1BHX1J
| URI | m2://inv/8Y3B1BHX1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WO2X, Río Tercero (unknown)
History
- 2026-11-02: add by m2/dev
classifying space 8Y3BQB8S0Y
| URI | m2://inv/8Y3BQB8S0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#F6HA, classifying space (definition)
History
- 2026-11-02: add by m2/dev
Steinhaus chessboard theorem 8Y3CJ7DK9N
| URI | m2://inv/8Y3CJ7DK9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan curve theorem#V32I, Steinhaus chessboard theorem (statement)
History
- 2026-11-02: add by m2/dev
Mental model 8Y3MQ46ADN
| URI | m2://inv/8Y3MQ46ADN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental model, Mental model (definition). Also Wikidata Q1851867
History
- 2026-11-02: add by m2/dev
Discrete Bonnet--Myers 8Y40A9DSC2
| URI | m2://inv/8Y40A9DSC2 |
|---|---|
| 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.21454#KGSY, Discrete Bonnet--Myers (statement). In ZP2RJFZ3V2/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.4.2
Mass conservation 8Y41THVVR0
| URI | m2://inv/8Y41THVVR0 |
|---|---|
| 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.32585#O5BH, Mass conservation (statement). In FJFJ3WR1SS/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
8Y48V0C5M5 8Y48V0C5M5
| URI | m2://inv/8Y48V0C5M5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#X184 (statement). In DSXBMRYE0V/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
8Y4GDQ9TB7 8Y4GDQ9TB7
| URI | m2://inv/8Y4GDQ9TB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#CKK1 (statement). In DZ12XTTJSM/e1, lemma 1.4
History
- 2026-10-28: add by m2/v0.4.2
National healthcare systems in Africa 8Y4P86ZH1C
| URI | m2://inv/8Y4P86ZH1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Africa#ZIP0, National healthcare systems in Africa (unknown)
History
- 2026-11-02: add by m2/dev
Ehrhart's volume conjecture 8Y4PKP1DJ3
| URI | m2://inv/8Y4PKP1DJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrhart's volume conjecture, Ehrhart's volume conjecture (statement). Also Wikidata Q25105334
History
- 2026-11-02: add by m2/dev
Approximate cyclic comparisons 8Y4PWH5NZC
| URI | m2://inv/8Y4PWH5NZC |
|---|---|
| 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#82Y3, Approximate cyclic comparisons (statement). In 9YAE8FNQST/e1, lemma 30.13
History
- 2026-10-30: add by m2/v0.4.12
Particle filter 8Y4QSZEQM5
| URI | m2://inv/8Y4QSZEQM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VO52, Particle filter (definition)
History
- 2026-11-02: add by m2/dev
Example 8Y4SGY3GMK
| URI | m2://inv/8Y4SGY3GMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval arithmetic#2CQD, Example (example)
History
- 2026-11-02: add by m2/dev
Examples 8Y4SZQVR36
| URI | m2://inv/8Y4SZQVR36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equation#PGYM, Examples (example)
History
- 2026-11-02: add by m2/dev
8Y566EGHZQ 8Y566EGHZQ
| URI | m2://inv/8Y566EGHZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#V26Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
8Y59T0M85F 8Y59T0M85F
| URI | m2://inv/8Y59T0M85F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#P1O0 (statement). In X38P26DK6S/e1, corollary 6.12
History
- 2026-10-27: add by m2/v0.4.0
Slack, and its absence 8Y5AMWDZAC
| URI | m2://inv/8Y5AMWDZAC |
|---|---|
| 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#6NDM, Slack, and its absence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles Radin 8Y5C69A174
| URI | m2://inv/8Y5C69A174 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1FAG, Charles Radin (topic)
History
- 2026-11-02: add by m2/dev
Eudemus of Rhodes 8Y60752JB7
| URI | m2://inv/8Y60752JB7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q358482, Eudemus of Rhodes (unknown). Also ProofWiki Mathematician:Eudemus_of_Rhodes
- wikipedia: Wikipedia Eudemus of Rhodes, Eudemus of Rhodes (topic). Also Wikidata Q358482
History
- 2026-10-26: add by m2/dev
constant 8Y676V5CKV
| URI | m2://inv/8Y676V5CKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#83DS, constant (definition)
History
- 2026-11-02: add by m2/dev
Construction 8Y6C54AEJ5
| URI | m2://inv/8Y6C54AEJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl–Brauer matrices#KIRB, Construction (definition)
History
- 2026-11-02: add by m2/dev
Regularity criterion 8Y6F6BE7MM
| URI | m2://inv/8Y6F6BE7MM |
|---|---|
| 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.01216#9CDW, Regularity criterion (statement). In 59016RQTW6/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
8Y6FE7VX2W 8Y6FE7VX2W
| URI | m2://inv/8Y6FE7VX2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40138#44KQ (statement). In R60HR493TS/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
8Y6HVB582X 8Y6HVB582X
| URI | m2://inv/8Y6HVB582X |
|---|---|
| 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.14204#W9B2 (statement). In GZAY1Y12YD/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
K shortest path routing 8Y6TY5E1VP
| URI | m2://inv/8Y6TY5E1VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K shortest path routing, K shortest path routing (definition). Also Wikidata Q6343044
History
- 2026-11-02: add by m2/dev
Examples 8Y6VBXSV26
| URI | m2://inv/8Y6VBXSV26 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic form#0QYE, Examples (example)
History
- 2026-11-02: add by m2/dev
Mass separation from positive gap 8Y6XWH3XV5
| URI | m2://inv/8Y6XWH3XV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#CFNE, Mass separation from positive gap (statement). In 7MVPNFPRKB/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
8Y6ZDYQ1QG 8Y6ZDYQ1QG
| URI | m2://inv/8Y6ZDYQ1QG |
|---|---|
| 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 2510.12502#JTUL (statement). In 3A4K47Y9F2/e1, lemma 3.35
History
- 2026-10-27: add by m2/v0.4.0
Beta function 8Y7554VHWG
| URI | m2://inv/8Y7554VHWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta function (physics), Beta function (definition). Also Wikidata Q1750507
History
- 2026-11-02: add by m2/dev
8Y780MYBPK 8Y780MYBPK
| URI | m2://inv/8Y780MYBPK |
|---|---|
| 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 2507.17002#5K0W (statement). In 2EEBP88T16/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
8Y7CQWKEFT 8Y7CQWKEFT
| URI | m2://inv/8Y7CQWKEFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03424#F5KD (statement). In Q6HRJP4AWA/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Coupling the marginals 8Y7RMC16TT
| URI | m2://inv/8Y7RMC16TT |
|---|---|
| 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#X26V, Coupling the marginals (statement). In 9YAE8FNQST/e1, theorem 6.5
History
- 2026-10-30: add by m2/v0.4.12
$( \Ucal, \kappa, \rho)$-uniform-stability 8Y7S9JYNXT
| URI | m2://inv/8Y7S9JYNXT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#YLJO, $( \Ucal, \kappa, \rho)$-uniform-stability (definition)
History
- 2026-11-02: add by m2/v0.6.17
Maxwell model 8Y830QDVQ4
| URI | m2://inv/8Y830QDVQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell model, Maxwell model (definition). Also Wikidata Q3046593
History
- 2026-11-02: add by m2/dev
Universal rank certificate 8Y89GX8ANP
| URI | m2://inv/8Y89GX8ANP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#OG2W, Universal rank certificate (statement). In ZZER8ZBSCR/e1, theorem B.6
History
- 2026-10-29: add by m2/v0.4.12
L’Hopital’s Rule 8Y8HFYBFCR
| URI | m2://inv/8Y8HFYBFCR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 64, L’Hopital’s Rule (statement). Also Mathlib deriv.lhopital_zero_nhds
History
- 2026-10-26: add by m2/dev
Principles 8Y8N38MM02
| URI | m2://inv/8Y8N38MM02 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical model#FUIZ, Principles (statement)
History
- 2026-11-02: add by m2/dev
Nonlinear complementarity problem 8Y8PHV5QXJ
| URI | m2://inv/8Y8PHV5QXJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear complementarity problem, Nonlinear complementarity problem (problem). Also Wikidata Q16948724
History
- 2026-11-02: add by m2/dev
Split orthogonal group 8Y8QQAK803
| URI | m2://inv/8Y8QQAK803 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite orthogonal group#9YAR, Split orthogonal group (unknown)
History
- 2026-11-02: add by m2/dev
Applications 8Y8WBPXR8Q
| URI | m2://inv/8Y8WBPXR8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic eigenvalue problem#605Q, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition 8Y8X1ER23W
| URI | m2://inv/8Y8X1ER23W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard points#EWJT, Definition (definition)
History
- 2026-11-02: add by m2/dev
8Y92ZBSVF8 8Y92ZBSVF8
| URI | m2://inv/8Y92ZBSVF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#example-5 (example). In RZP28ERRZV, example, section 66.3
History
- 2026-11-01: add by m2/v0.6.13
List of convolutions of probability distributions 8Y94SKNEPG
| URI | m2://inv/8Y94SKNEPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D3LM, List of convolutions of probability distributions (topic)
History
- 2026-11-02: add by m2/dev
8Y97SKZM6M 8Y97SKZM6M
| URI | m2://inv/8Y97SKZM6M |
|---|---|
| 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 2501.17276#PZQ1 (statement). In EWKHA675JY/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Stone–Weierstrass theorem, real version 8Y980KAY91
| URI | m2://inv/8Y980KAY91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#AQOZ, Stone–Weierstrass theorem, real version (statement)
History
- 2026-11-02: add by m2/dev
8Y9963FY60 8Y9963FY60
| URI | m2://inv/8Y9963FY60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29789551 (unknown). Also nLab Philip Argyres
History
- 2026-10-26: add by m2/dev
Self-consistent parameter 8Y9GCVPJ2T
| URI | m2://inv/8Y9GCVPJ2T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09044#LFEX, Self-consistent parameter (definition). In 4KYENHR0J8/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Abū Sahl al-Qūhī 8Y9RZ9EK9Z
| URI | m2://inv/8Y9RZ9EK9Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#7NU3, Abū Sahl al-Qūhī (unknown)
History
- 2026-11-02: add by m2/dev
Random band matrix 8Y9SS3G2CP
| URI | m2://inv/8Y9SS3G2CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random band matrix, Random band matrix (definition). Also Wikidata Q136048089
History
- 2026-11-02: add by m2/dev
Global properties of $\Omega_\epsilon$ 8Y9XSG8SXW
| URI | m2://inv/8Y9XSG8SXW |
|---|---|
| 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.14988#1J2L, Global properties of $\Omega_\epsilon$ (statement). In B29M4E6KGC/e1, lemma G.11
History
- 2026-10-28: add by m2/v0.4.2
8YA0GE4YFB 8YA0GE4YFB
| URI | m2://inv/8YA0GE4YFB |
|---|---|
| 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.35558#COR4 (statement). In HR2TQ292AE/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
Loi--Zedda 8YA4747RE6
| URI | m2://inv/8YA4747RE6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22832#EO8R, Loi--Zedda (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
Wait/walk dilemma 8YA5002GXA
| URI | m2://inv/8YA5002GXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wait/walk dilemma, Wait/walk dilemma (definition). Also Wikidata Q7960369
History
- 2026-11-02: add by m2/dev
8YANMPJ62V 8YANMPJ62V
| URI | m2://inv/8YANMPJ62V |
|---|---|
| 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.07927#MBV1 (statement). In GKM19DHQTM/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
8YAQS01KSC 8YAQS01KSC
| URI | m2://inv/8YAQS01KSC |
|---|---|
| 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 2401.14638#EO77 (statement). In 2XC2MZFWPP/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
8YAZXXQZMG 8YAZXXQZMG
| URI | m2://inv/8YAZXXQZMG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#XRRI (definition). In G02N9D40B9/e1, definition 1.5.1
History
- 2026-10-29: add by m2/v0.4.10
8YB29WP53M 8YB29WP53M
| URI | m2://inv/8YB29WP53M |
|---|---|
| Kind | example |
| 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 2501.18744#6G6U (example). In YRWZ02BGEF/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
Cut depth and inverse normal norm 8YB6658GPR
| URI | m2://inv/8YB6658GPR |
|---|---|
| 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.21880#UZ1I, Cut depth and inverse normal norm (statement)
History
- 2026-11-02: add by m2/v0.6.18
8YB8CYMSGV 8YB8CYMSGV
| URI | m2://inv/8YB8CYMSGV |
|---|---|
| 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 2609.29450#3R5U (statement)
History
- 2026-11-01: add by m2/v0.6.15
8YBPHJX5GG 8YBPHJX5GG
| URI | m2://inv/8YBPHJX5GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#YERM (statement)
History
- 2026-11-01: add by m2/v0.6.15
8YBSB8G2RH 8YBSB8G2RH
| URI | m2://inv/8YBSB8G2RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#G45J (statement). In CY1FE8W1ZW/e1, lemma 0.122
History
- 2026-10-27: add by m2/v0.4.0
Robert Lawson Vaught 8YC1J8Y85X
| URI | m2://inv/8YC1J8Y85X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#AJX6, Robert Lawson Vaught (topic)
History
- 2026-11-02: add by m2/dev
Theorem: (Tian) 8YCB57FBFQ
| URI | m2://inv/8YCB57FBFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#RXME, Theorem: (Tian) (statement)
History
- 2026-11-02: add by m2/dev
Berkeley cardinal 8YCHE8B5RS
| URI | m2://inv/8YCHE8B5RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5DJJ, Berkeley cardinal (definition)
History
- 2026-11-02: add by m2/dev
Weber function 8YCN0PANJ1
| URI | m2://inv/8YCN0PANJ1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4493439, Weber function (concept). Also EoM Weber_function, MathWorld WeberFunctions
History
- 2026-10-26: add by m2/dev
8YCPDQZJD8 8YCPDQZJD8
| URI | m2://inv/8YCPDQZJD8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 95.2
History
- 2026-11-01: add by m2/v0.6.13
8YD5XPJ01V 8YD5XPJ01V
| URI | m2://inv/8YD5XPJ01V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/undecidability.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
8YDBTZ4VZQ 8YDBTZ4VZQ
| URI | m2://inv/8YDBTZ4VZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22272#4L5F (statement). In 4VZV5V0YD6/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
8YDG3Z2J0D 8YDG3Z2J0D
| URI | m2://inv/8YDG3Z2J0D |
|---|---|
| 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.38366#Q0EB (statement). In XRSVDG4FJS/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Theory of Knowledge (book) 8YDR8PCSH6
| URI | m2://inv/8YDR8PCSH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roderick Chisholm#WIME, Theory of Knowledge (book) (unknown)
History
- 2026-11-02: add by m2/dev
Outline of statistics 8YDRXY9RA9
| URI | m2://inv/8YDRXY9RA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NDRJ, Outline of statistics (topic)
- wikipedia: Wikipedia Lists of statistics topics#XNB2, Outline of statistics (topic)
History
- 2026-11-02: add by m2/dev
8YDS9RHAWF 8YDS9RHAWF
| URI | m2://inv/8YDS9RHAWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#2T4L (statement). In M0SQY5EZN5/e1, lemma 4.3.2
History
- 2026-10-27: add by m2/v0.3.5
Jacques Ozanam 8YDXS3B0BS
| URI | m2://inv/8YDXS3B0BS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Ozanam, Jacques Ozanam (topic). Also Wikidata Q378060
History
- 2026-11-02: add by m2/dev
8YE4KCCYFB 8YE4KCCYFB
| URI | m2://inv/8YE4KCCYFB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-152 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Euler's critical load 8YE5B1KGMT
| URI | m2://inv/8YE5B1KGMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's critical load, Euler's critical load (definition). Also Wikidata Q3658620
History
- 2026-11-02: add by m2/dev
generator, of a group 8YEF449EMJ
| URI | m2://inv/8YEF449EMJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/generator-of-a-group, generator, of a group (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Definition 8YEPVX4JFM
| URI | m2://inv/8YEPVX4JFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-matrix (iterative method)#WSWJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Brusselator 8YF7S4Z491
| URI | m2://inv/8YF7S4Z491 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q906505, Brusselator (unknown). Also MathWorld BrusselatorEquations
- wikipedia: Wikipedia Brusselator, Brusselator (definition). Also Wikidata Q906505
History
- 2026-10-26: add by m2/dev
uniformly hyperfinite algebra 8YF8MZ3ZAB
| URI | m2://inv/8YF8MZ3ZAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2467095, uniformly hyperfinite algebra (unknown). Also nLab uniformly hyperfinite algebra
- wikipedia: Wikipedia Uniformly hyperfinite algebra, Uniformly hyperfinite algebra (definition). Also Wikidata Q2467095
History
- 2026-10-26: add by m2/dev
/dev/crypto 8YFA8KZZPW
| URI | m2://inv/8YFA8KZZPW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenBSD Cryptographic Framework#AB6T, /dev/crypto (unknown)
History
- 2026-11-02: add by m2/dev
Half Moon Bay, Auckland 8YFBFKH2WT
| URI | m2://inv/8YFBFKH2WT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XVFE, Half Moon Bay, Auckland (unknown)
History
- 2026-11-02: add by m2/dev
Equivalence classes 8YFFK8JQ98
| URI | m2://inv/8YFFK8JQ98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#5FAC, Equivalence classes (definition)
History
- 2026-11-02: add by m2/dev
Mutatis mutandis 8YFVYDE5K7
| URI | m2://inv/8YFVYDE5K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutatis mutandis, Mutatis mutandis (definition). Also Wikidata Q153046
History
- 2026-11-02: add by m2/dev
Ring vaccination 8YFX9RNH49
| URI | m2://inv/8YFX9RNH49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring vaccination, Ring vaccination (definition). Also Wikidata Q14278918
History
- 2026-11-02: add by m2/dev
hyperbolic trigonometry 8YG0PJ1BNT
| URI | m2://inv/8YG0PJ1BNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JUVR, hyperbolic trigonometry (definition)
History
- 2026-11-02: add by m2/dev
Examples 8YG9F9WAB8
| URI | m2://inv/8YG9F9WAB8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiral#QDF9, Examples (example)
History
- 2026-11-02: add by m2/dev
Tame inertia under lifting 8YG9KH3WDM
| URI | m2://inv/8YG9KH3WDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#IRIA, Tame inertia under lifting (statement)
History
- 2026-11-02: add by m2/v0.6.18
8YGKSVC1GP 8YGKSVC1GP
| URI | m2://inv/8YGKSVC1GP |
|---|---|
| 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.10643#DS1I (statement). In 1FJSQAGF8R/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
8YGN6SMATF 8YGN6SMATF
| URI | m2://inv/8YGN6SMATF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23847#MPY5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
8YH36X8FKX 8YH36X8FKX
| URI | m2://inv/8YH36X8FKX |
|---|---|
| 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.01924#HRZM (statement). In CB89152EQW/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
quantization 8YH4BSKCM0
| URI | m2://inv/8YH4BSKCM0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q636027, quantization (unknown). Also nLab quantization
History
- 2026-10-26: add by m2/dev
Family version of Gelfand-Kazhdan 8YH8151RKZ
| URI | m2://inv/8YH8151RKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.15432#4GD3, Family version of Gelfand-Kazhdan (statement). In D1DFM4WYEW/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 8YHCTQT0X7
| URI | m2://inv/8YHCTQT0X7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#THUK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fixed-prefix property 8YHKBBK753
| URI | m2://inv/8YHKBBK753 |
|---|---|
| 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.04809#XXB0, Fixed-prefix property (statement). In 2VHV0RNTNV/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.12
Jim Agler 8YHQM70QZJ
| URI | m2://inv/8YHQM70QZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jim Agler, Jim Agler (topic). Also Wikidata Q24572354
History
- 2026-11-02: add by m2/dev
Examples 8YHVK9K9CW
| URI | m2://inv/8YHVK9K9CW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjunctive group#RKUY, Examples (example)
History
- 2026-11-02: add by m2/dev
8YHW23N8HP 8YHW23N8HP
| URI | m2://inv/8YHW23N8HP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-15 (example). In RZP28ERRZV, example, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
8YHXWJECKR 8YHXWJECKR
| URI | m2://inv/8YHXWJECKR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Virahanka 8YJ0Z3H4NS
| URI | m2://inv/8YJ0Z3H4NS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#9HU9, Virahanka (unknown)
History
- 2026-11-02: add by m2/dev
Vladimir Temlyakov 8YJ4S85TFC
| URI | m2://inv/8YJ4S85TFC |
|---|---|
| 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#26IS, Vladimir Temlyakov (unknown)
History
- 2026-11-02: add by m2/dev
Włodzimierz Kuperberg 8YJJN1ZNMJ
| URI | m2://inv/8YJJN1ZNMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CJSD, Włodzimierz Kuperberg (topic)
History
- 2026-11-02: add by m2/dev
Definitions 8YJQKY20K6
| URI | m2://inv/8YJQKY20K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy distribution#NOUP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8YJSWZANAZ 8YJSWZANAZ
| URI | m2://inv/8YJSWZANAZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-2.xml#activity-1 (exercise). In 649HGZKE96, activity, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
8YJVJQC696 8YJVJQC696
| URI | m2://inv/8YJVJQC696 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#M87O (statement). In Y43AAKZ7E6/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
8YJXBRJ0ZY 8YJXBRJ0ZY
| URI | m2://inv/8YJXBRJ0ZY |
|---|---|
| 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.05312#276R (statement). In 1CMMK399WQ/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.10
8YJZ0G18P7 8YJZ0G18P7
| URI | m2://inv/8YJZ0G18P7 |
|---|---|
| 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.25656#TONZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
8YK33BP5NT 8YK33BP5NT
| URI | m2://inv/8YK33BP5NT |
|---|---|
| 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#0QCC (definition). In X765ZXXVC3/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Definitions 8YK7F74WYY
| URI | m2://inv/8YK7F74WYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic field#YD07, Definitions (definition)
History
- 2026-11-02: add by m2/dev
8YKJGKM63G 8YKJGKM63G
| URI | m2://inv/8YKJGKM63G |
|---|---|
| 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.40201#NOS3 (statement). In 2G4NB7RV5W/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
8YKQQS4FCX 8YKQQS4FCX
| URI | m2://inv/8YKQQS4FCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#4TK9 (statement). In CC6S1HVK0T/e1, corollary 5.19
History
- 2026-10-28: add by m2/v0.4.2
8YKXDCXZ9W 8YKXDCXZ9W
| URI | m2://inv/8YKXDCXZ9W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-1.xml#activity-eigen-intro (exercise). In 649HGZKE96, activity, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
Compactness theorem 8YM37RM2WW
| URI | m2://inv/8YM37RM2WW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness theorem#9YWD, Compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
8YM91HFD02 8YM91HFD02
| URI | m2://inv/8YM91HFD02 |
|---|---|
| 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.24212#4ZZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 8YMP5W7PVJ
| URI | m2://inv/8YMP5W7PVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank (linear algebra)#JU85, Properties (statement)
History
- 2026-11-02: add by m2/dev
8YMPAZZTEB 8YMPAZZTEB
| URI | m2://inv/8YMPAZZTEB |
|---|---|
| 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.02790#Z1B0 (statement). In NB7HZ8W2K2/e1, lemma 29
History
- 2026-10-29: add by m2/v0.4.12
Hartogs–Rosenthal theorem 8YMPWX31YS
| URI | m2://inv/8YMPWX31YS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6I46, Hartogs–Rosenthal theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement 8YMRPQRMDE
| URI | m2://inv/8YMRPQRMDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert–Pollak conjecture#M70O, Statement (statement)
History
- 2026-11-02: add by m2/dev
UK Statistics Authority 8YMSBK0V9T
| URI | m2://inv/8YMSBK0V9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UK Statistics Authority, UK Statistics Authority (definition). Also Wikidata Q14592116
History
- 2026-11-02: add by m2/dev
Example 8YN6DWEETC
| URI | m2://inv/8YN6DWEETC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coskewness#9CFP, Example (example)
History
- 2026-11-02: add by m2/dev
Simple examples 8YNAE6Y3ZW
| URI | m2://inv/8YNAE6Y3ZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistent and inconsistent equations#H5UK, Simple examples (example)
History
- 2026-11-02: add by m2/dev
Diez de Octubre 8YNEGNC37T
| URI | m2://inv/8YNEGNC37T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#47H0, Diez de Octubre (unknown)
History
- 2026-11-02: add by m2/dev
Summary of the estimates obtained so far 8YNER7YCR7
| URI | m2://inv/8YNER7YCR7 |
|---|---|
| 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.24185#G4Q3, Summary of the estimates obtained so far (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 8YNGTR30SH
| URI | m2://inv/8YNGTR30SH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LB-space#BROL, Examples (example)
History
- 2026-11-02: add by m2/dev
Abel equation of the second kind 8YNQVMKCDR
| URI | m2://inv/8YNQVMKCDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel equation of the first kind#4KEE, Abel equation of the second kind (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 8YNX93251A
| URI | m2://inv/8YNX93251A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osculating curve#9ILJ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
8YP3YYY0K3 8YP3YYY0K3
| URI | m2://inv/8YP3YYY0K3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17135#176Y (definition). In 74MXJ2RX4B/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
8YP7ANVA5A 8YP7ANVA5A
| URI | m2://inv/8YP7ANVA5A |
|---|---|
| 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.37865#NP24 (statement). In 1ADMH800X0/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Cirquent calculus 8YP8NKSKPC
| URI | m2://inv/8YP8NKSKPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cirquent calculus, Cirquent calculus (definition). Also Wikidata Q22907269
History
- 2026-11-02: add by m2/dev
8YPBRDY9B0 8YPBRDY9B0
| URI | m2://inv/8YPBRDY9B0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#7GMZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
8YPEJGRNJQ 8YPEJGRNJQ
| URI | m2://inv/8YPEJGRNJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#8EFQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
No U-Turn Sampler 8YPGVTS4BQ
| URI | m2://inv/8YPGVTS4BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian Monte Carlo#XQW4, No U-Turn Sampler (unknown)
History
- 2026-11-02: add by m2/dev
Brownian tail bound 8YPMAT1WY8
| URI | m2://inv/8YPMAT1WY8 |
|---|---|
| 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 2609.40338#NHA0, Brownian tail bound (statement). In K5H6GS0SGQ/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
8YPY5M9BWK 8YPY5M9BWK
| URI | m2://inv/8YPY5M9BWK |
|---|---|
| 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 math/0301148#UDIO (statement). In 5RE15848Z0/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
8YPY5YMY2M 8YPY5YMY2M
| URI | m2://inv/8YPY5YMY2M |
|---|---|
| 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.20119#PRWG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Switching circuit theory 8YPZSRS3F7
| URI | m2://inv/8YPZSRS3F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Switching circuit theory, Switching circuit theory (definition). Also Wikidata Q7659118
History
- 2026-11-02: add by m2/dev
8YQ0SJPG2X 8YQ0SJPG2X
| URI | m2://inv/8YQ0SJPG2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#Q1EZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
8YQ8748ZR9 8YQ8748ZR9
| URI | m2://inv/8YQ8748ZR9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Miller--Vissuet 8YQD0V87AG
| URI | m2://inv/8YQD0V87AG |
|---|---|
| Kind | conjecture |
| 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.12912#QODS, Miller--Vissuet (conjecture). In PDKBKKJ4BV/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.2
8YQG2K8R84 8YQG2K8R84
| URI | m2://inv/8YQG2K8R84 |
|---|---|
| Kind | example |
| 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.01858#GQRS (example). In NXSV14WJKJ/e1, example 4.2
History
- 2026-10-29: add by m2/v0.4.12
Properties 8YQPR80B41
| URI | m2://inv/8YQPR80B41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Struve function#EWBU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Explicit description of the Riemannian Hessian 8YQZZ2ZVJ4
| URI | m2://inv/8YQZZ2ZVJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.17004#E3SE, Explicit description of the Riemannian Hessian (statement). In XNJGNMS6H0/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Regularized Monotonicity Formula 8YR33RHQ9M
| URI | m2://inv/8YR33RHQ9M |
|---|---|
| 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.26592#RSIE, Regularized Monotonicity Formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 8YR3V3JZQH
| URI | m2://inv/8YR3V3JZQH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conference matrix#E7LZ, Examples (example)
History
- 2026-11-02: add by m2/dev
8YRA04ZECE 8YRA04ZECE
| URI | m2://inv/8YRA04ZECE |
|---|---|
| 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#ETQ2 (statement). In ATSYBWEMMP/e1, proposition 5.13
History
- 2026-10-29: add by m2/v0.4.10
A single displacement rule 8YRAEB2V2D
| URI | m2://inv/8YRAEB2V2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#GUTJ, A single displacement rule (statement). In 5E9G06XJKC/e1, lemma E.16
History
- 2026-10-28: add by m2/v0.4.2
Unforced spectral Galerkin solutions 8YRF5X0CC7
| URI | m2://inv/8YRF5X0CC7 |
|---|---|
| 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.33033#FH1U, Unforced spectral Galerkin solutions (statement). In AJWBAHJ8VD/e1, proposition 6.3
History
- 2026-10-31: add by m2/v0.5.6
8YRG1FD1BF 8YRG1FD1BF
| URI | m2://inv/8YRG1FD1BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17009#FS3V (statement). In PESAKD6SSW/e1, theorem 5.16
History
- 2026-10-27: add by m2/v0.3.6
8YRG7X8XNE 8YRG7X8XNE
| URI | m2://inv/8YRG7X8XNE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-32 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
8YRW9PKD9Q 8YRW9PKD9Q
| URI | m2://inv/8YRW9PKD9Q |
|---|---|
| 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.27823#CAV6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8YS82JRFRG 8YS82JRFRG
| URI | m2://inv/8YS82JRFRG |
|---|---|
| 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.05617#51CF (statement). In 5JP3JTYAXK/e1, corollary 5.1
History
- 2026-10-29: add by m2/v0.4.10
8YSA1E7475 8YSA1E7475
| URI | m2://inv/8YSA1E7475 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grundy's game#VMNL (problem)
History
- 2026-11-02: add by m2/dev
8YSC4HZQ6R 8YSC4HZQ6R
| URI | m2://inv/8YSC4HZQ6R |
|---|---|
| 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.16727#XP1M (statement). In Z5QS3MD8HN/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
8YSG2APQQE 8YSG2APQQE
| URI | m2://inv/8YSG2APQQE |
|---|---|
| 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.25717#UVU1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8YSHRYWTN1 8YSHRYWTN1
| URI | m2://inv/8YSHRYWTN1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2302.05529#YVQE (definition). In 9VPMHV0M4R/e1, definition 1.5
History
- 2026-10-31: add by m2/v0.5.6
Bar induction 8YSM9F62A8
| URI | m2://inv/8YSM9F62A8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bar induction, Bar induction (definition). Also Wikidata Q4857985
History
- 2026-11-02: add by m2/dev
Catenary ring 8YSP32M91D
| URI | m2://inv/8YSP32M91D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catenary ring, Catenary ring (definition). Also Wikidata Q5051871
History
- 2026-11-02: add by m2/dev
Tilla Weinstein 8YSPYGEHFH
| URI | m2://inv/8YSPYGEHFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilla Weinstein, Tilla Weinstein (topic). Also Wikidata Q67200147
History
- 2026-11-02: add by m2/dev
Dilworth's Theorem 8YSQ7F2F7A
| URI | m2://inv/8YSQ7F2F7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_dilworth.ptx#thm_dilworth, Dilworth's Theorem (statement). In QKM9DD2H56, theorem, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Dairy products 8YSV3FDMZ2
| URI | m2://inv/8YSV3FDMZ2 |
|---|---|
| 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#GR2E, Dairy products (unknown)
History
- 2026-11-02: add by m2/dev
Artin stack 8YSW39GQNH
| URI | m2://inv/8YSW39GQNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#TYMG, Artin stack (definition)
History
- 2026-11-02: add by m2/dev
8YSX1FHKFX 8YSX1FHKFX
| URI | m2://inv/8YSX1FHKFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#DR4S (statement). In PZ17NHGAKX/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
8YSX9NDNJ7 8YSX9NDNJ7
| URI | m2://inv/8YSX9NDNJ7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#proof-1 (proof). In RZP28ERRZV, proof, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
Spectrum of a compact operator 8YT36NDBQ5
| URI | m2://inv/8YT36NDBQ5 |
|---|---|
| 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.32561#FLM9, Spectrum of a compact operator (statement). In NBT0ZCHBB6/e1, theorem 8
History
- 2026-10-31: add by m2/v0.5.6
Li Yan 8YT74B81P5
| URI | m2://inv/8YT74B81P5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1232458, Li Yan (unknown). Also ProofWiki Mathematician:Li_Yan
History
- 2026-10-26: add by m2/dev
Proposition 8YTDB0ES4X
| URI | m2://inv/8YTDB0ES4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dolbeault cohomology#4HQP, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Telescoping 8YV7KBYCHP
| URI | m2://inv/8YV7KBYCHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telescoping (mathematics), Telescoping (definition). Also Wikidata Q140164295
History
- 2026-11-02: add by m2/dev
8YV8XWGD46 8YV8XWGD46
| URI | m2://inv/8YV8XWGD46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#FA4U (statement). In GXHKRV5BPY/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.10
8YVCH1SS4Q 8YVCH1SS4Q
| URI | m2://inv/8YVCH1SS4Q |
|---|---|
| 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.27301#8274 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fixed-terminal stability under conditional means and contraction 8YVEAGMGXN
| URI | m2://inv/8YVEAGMGXN |
|---|---|
| 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#0ELC, Fixed-terminal stability under conditional means and contraction (statement). In 9YAE8FNQST/e1, theorem 16.3
History
- 2026-10-30: add by m2/v0.4.12
Localization 8YVFHC26VW
| URI | m2://inv/8YVFHC26VW |
|---|---|
| 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.18350#QYPH, Localization (statement). In A20E8FZS21/e1, lemma 9.3
History
- 2026-10-28: add by m2/v0.4.2
Table of common limits 8YVQR2EK02
| URI | m2://inv/8YVQR2EK02 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#O6L8, Table of common limits (topic)
History
- 2026-11-02: add by m2/dev
8YVRZMFWWX 8YVRZMFWWX
| URI | m2://inv/8YVRZMFWWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#0FEV (definition). In XYYEJN00D8/e1, definition 3.6
History
- 2026-10-30: add by m2/v0.4.12
8YVTC2C3TQ 8YVTC2C3TQ
| URI | m2://inv/8YVTC2C3TQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#PDGK (statement). In Z4TD36VFPW/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Lars Arge 8YVWC9QSMD
| URI | m2://inv/8YVWC9QSMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MTHR, Lars Arge (unknown)
History
- 2026-11-02: add by m2/dev
8YVYEA5037 8YVYEA5037
| URI | m2://inv/8YVYEA5037 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
8YW117YPNH 8YW117YPNH
| URI | m2://inv/8YW117YPNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#TZUH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ptolemy 8YW426Z0J7
| URI | m2://inv/8YW426Z0J7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#IRQU, Ptolemy (topic)
History
- 2026-11-02: add by m2/dev
8YWGX6M08F 8YWGX6M08F
| URI | m2://inv/8YWGX6M08F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19954#FF8N (statement). In AXPPYWYJZ5/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
8YWJB5ENFX 8YWJB5ENFX
| URI | m2://inv/8YWJB5ENFX |
|---|---|
| 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.21752#EXEL (statement). In E4DJTPKHAX/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
8YWVATYVHN 8YWVATYVHN
| URI | m2://inv/8YWVATYVHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#WGUT (statement). In 80YMRN5KS9/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
Properties 8YX32T5F6H
| URI | m2://inv/8YX32T5F6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brown measure#E5VK, Properties (statement)
History
- 2026-11-02: add by m2/dev
8YX68QN5YX 8YX68QN5YX
| URI | m2://inv/8YX68QN5YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#H9YK (statement). In Y3X5XY2J65/e1, proposition 10.2
History
- 2026-10-28: add by m2/v0.4.2
Gaussian simplex frontier to second order 8YXA5NADXJ
| URI | m2://inv/8YXA5NADXJ |
|---|---|
| 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#Z17S, Gaussian simplex frontier to second order (statement). In 9YAE8FNQST/e1, theorem 23.26
History
- 2026-10-30: add by m2/v0.4.12
Hadamard's inequality 8YXK5W7HAB
| URI | m2://inv/8YXK5W7HAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#EL9I, Hadamard's inequality (statement)
History
- 2026-11-02: add by m2/dev
Onsager 8YXVEB7BYZ
| URI | m2://inv/8YXVEB7BYZ |
|---|---|
| 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.20910#V1PN, Onsager (statement). In CETHKW9EBV/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
8YXVYC0XKF 8YXVYC0XKF
| URI | m2://inv/8YXVYC0XKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35287#Y25M (statement). In BPPBAWGPHJ/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Next Gen Stats 8YXWDZP33C
| URI | m2://inv/8YXWDZP33C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Next Gen Stats, Next Gen Stats (definition). Also Wikidata Q130619098
History
- 2026-11-02: add by m2/dev
Octav Onicescu 8YY2RQAEDF
| URI | m2://inv/8YY2RQAEDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7076766, Octav Onicescu (unknown). Also EoM Onicescu,_Octav
History
- 2026-10-26: add by m2/dev
8YYDN4W2QF 8YYDN4W2QF
| URI | m2://inv/8YYDN4W2QF |
|---|---|
| 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.04660#K4TL (statement). In 8ABKBS4H0N/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Cramér–Wold theorem 8YYDRFXJRA
| URI | m2://inv/8YYDRFXJRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q966837, Cramér–Wold theorem (statement). Also Wikidata Q966837
- thousand_plus: thousand_plus Q966837, Cramér–Wold theorem (statement). Also Wikidata Q966837, Wikipedia Cramér–Wold theorem
- wikipedia: Wikipedia Cramér–Wold theorem, Cramér–Wold theorem (statement). Also Wikidata Q966837
History
- 2026-10-26: add by m2/dev
Examples 8YYRA281CY
| URI | m2://inv/8YYRA281CY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective function#HYU5, Examples (example)
History
- 2026-11-02: add by m2/dev
Completeness and hereditary small generation 8YYXHK15NG
| URI | m2://inv/8YYXHK15NG |
|---|---|
| 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#TLZD, Completeness and hereditary small generation (statement). In E7W2HDNEKJ/e1, theorem H.14
History
- 2026-10-30: add by m2/v0.4.12
Fundamental theorems of welfare economics 8YZ4JQHCG3
| URI | m2://inv/8YZ4JQHCG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow–Debreu model#5CDS, Fundamental theorems of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
Net (polytope) 8YZ4WXWBBZ
| URI | m2://inv/8YZ4WXWBBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net (polyhedron)#CQ7F, Net (polytope) (unknown)
History
- 2026-11-02: add by m2/dev
Lyman James Briggs 8YZ7XVHWXW
| URI | m2://inv/8YZ7XVHWXW |
|---|---|
| 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#HEQJ, Lyman James Briggs (unknown)
History
- 2026-11-02: add by m2/dev
Schweder, Tore 8YZGC1TR9B
| URI | m2://inv/8YZGC1TR9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7SA7, Schweder, Tore (unknown)
History
- 2026-11-02: add by m2/dev
Example 8YZH0KBXE0
| URI | m2://inv/8YZH0KBXE0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest increasing subsequence#ABAH, Example (example)
History
- 2026-11-02: add by m2/dev
Fine topology 8YZJ8A6B80
| URI | m2://inv/8YZJ8A6B80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine topology (potential theory), Fine topology (definition). Also Wikidata Q5450128
History
- 2026-11-02: add by m2/dev
8YZJQ1CZA6 8YZJQ1CZA6
| URI | m2://inv/8YZJQ1CZA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#DUYM (statement). In REDG6QVHM3/e1, theorem 6.7
History
- 2026-10-29: add by m2/v0.4.12
Properties 8YZK3PMK9P
| URI | m2://inv/8YZK3PMK9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized quadrangle#VGOC, Properties (statement)
History
- 2026-11-02: add by m2/dev
8YZS6JETCE 8YZS6JETCE
| URI | m2://inv/8YZS6JETCE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#WZJ4 (definition). In HTBRYNPHSJ/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12