Inventory rows PR
The cards of the rows of the inventory whose ids start with PR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
PR05XPNGWH PR05XPNGWH
| URI | m2://inv/PR05XPNGWH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-34 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
Juliusz Schauder PR083RPZVJ
| URI | m2://inv/PR083RPZVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#HKHK, Juliusz Schauder (topic)
History
- 2026-11-02: add by m2/dev
PR0M5J95P7 PR0M5J95P7
| URI | m2://inv/PR0M5J95P7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21255#G1G9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
PR0NNRHD3D PR0NNRHD3D
| URI | m2://inv/PR0NNRHD3D |
|---|---|
| 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.29152#L6F2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PR0QEWBAH9 PR0QEWBAH9
| URI | m2://inv/PR0QEWBAH9 |
|---|---|
| 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 2610.17737#79H2 (statement). In 8SXY7Y68HV/e1, corollary 5.6
History
- 2026-10-28: add by m2/v0.4.2
PR0T292AZ7 PR0T292AZ7
| URI | m2://inv/PR0T292AZ7 |
|---|---|
| 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 2610.02061#VJ38 (statement). In F5STMSPR6X/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
square cupola PR11NXBBVR
| URI | m2://inv/PR11NXBBVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76068, square cupola (object). Also MathWorld SquareCupola
- wikipedia: Wikipedia Square cupola, Square cupola (definition). Also Wikidata Q76068
History
- 2026-10-26: add by m2/dev
PR1C8AQX31 PR1C8AQX31
| URI | m2://inv/PR1C8AQX31 |
|---|---|
| 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 2308.05715#457B (definition). In FC0SB9JFWH/e1, definition 5.11
History
- 2026-10-27: add by m2/v0.3.5
PR1DSQE55Q PR1DSQE55Q
| URI | m2://inv/PR1DSQE55Q |
|---|---|
| Kind | definition |
| 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.36321#XA6G (definition). In 3KTZ6Z615H/e1, definition 5.17
History
- 2026-10-30: add by m2/v0.4.12
PR1MWHBSGB PR1MWHBSGB
| URI | m2://inv/PR1MWHBSGB |
|---|---|
| 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 2111.07409#1RKV (statement). In KWH4QJDPWC/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.4.0
James Ferguson PR1N394RHJ
| URI | m2://inv/PR1N394RHJ |
|---|---|
| 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#91GB, James Ferguson (unknown)
History
- 2026-11-02: add by m2/dev
Root system PR1NX52RYB
| URI | m2://inv/PR1NX52RYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#8TFI, Root system (definition)
History
- 2026-11-02: add by m2/dev
Haefliger structure PR1QJF86ND
| URI | m2://inv/PR1QJF86ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Haefliger structure 8GYWYYBFWE |
Mentions
- wikidata: Wikidata Q5638159, Haefliger structure (unknown). Also nLab Haefliger structure
- wikipedia: Wikipedia Haefliger structure, Haefliger structure (definition). Also Wikidata Q5638159
History
- 2026-10-26: add by m2/dev
Examples PR1SP842E5
| URI | m2://inv/PR1SP842E5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax estimator#V65V, Examples (example)
History
- 2026-11-02: add by m2/dev
Hard-core lower bound PR1XTM2GV8
| URI | m2://inv/PR1XTM2GV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39699#HVPU, Hard-core lower bound (statement). In 6M4TMC8G6X/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Diagonal of the squared resolvent on the safe set PR24QVRPQK
| URI | m2://inv/PR24QVRPQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#6SO3, Diagonal of the squared resolvent on the safe set (statement). In WYE2JVEZBT/e1, corollary 5.9
History
- 2026-10-31: add by m2/v0.5.6
Tu Rocks PR2AMEJYKC
| URI | m2://inv/PR2AMEJYKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0QD2, Tu Rocks (unknown)
History
- 2026-11-02: add by m2/dev
Giovanni Giorgi PR2BDTSR8X
| URI | m2://inv/PR2BDTSR8X |
|---|---|
| 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#INDA, Giovanni Giorgi (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MTST, Giovanni Giorgi (unknown)
History
- 2026-11-02: add by m2/dev
Schwarz lantern PR2EN4KWQ8
| URI | m2://inv/PR2EN4KWQ8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz lantern, Schwarz lantern (object). Also Wikidata Q56283202
History
- 2026-11-02: add by m2/dev
PR2KK4JDK0 PR2KK4JDK0
| URI | m2://inv/PR2KK4JDK0 |
|---|---|
| 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.26713#WMEF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Matrix-volume integral PR2MXYGA3S
| URI | m2://inv/PR2MXYGA3S |
|---|---|
| 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.06875#D8GD, Matrix-volume integral (statement). In ZDT5J9KQVQ/e1, lemma H.5
History
- 2026-10-29: add by m2/v0.4.10
Definition PR2RKXPHA9
| URI | m2://inv/PR2RKXPHA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral space#1NAW, Definition (definition)
History
- 2026-11-02: add by m2/dev
PR2SXVDHW4 PR2SXVDHW4
| URI | m2://inv/PR2SXVDHW4 |
|---|---|
| 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.32207#JZK2 (statement). In R94G9XD5AC/e1, theorem 1.7
History
- 2026-10-31: add by m2/v0.5.6
Measurability PR2T5T4KRD
| URI | m2://inv/PR2T5T4KRD |
|---|---|
| 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.17519#C3MR, Measurability (statement). In H2DNTQ5MKV/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
sunflower PR359XWF97
| URI | m2://inv/PR359XWF97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#XTOC, sunflower (definition)
History
- 2026-11-02: add by m2/dev
Applications PR3C50Z92K
| URI | m2://inv/PR3C50Z92K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem (divided differences)#AATK, Applications (example)
History
- 2026-11-02: add by m2/dev
PR3D94WX6G PR3D94WX6G
| URI | m2://inv/PR3D94WX6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#7PTF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Common Random Numbers PR3E9YD1HS
| URI | m2://inv/PR3E9YD1HS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance reduction#TTHD, Common Random Numbers (unknown)
History
- 2026-11-02: add by m2/dev
Dynamic kinematic viscosity PR3FSD7CFE
| URI | m2://inv/PR3FSD7CFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity#SULR, Dynamic kinematic viscosity (unknown)
History
- 2026-11-02: add by m2/dev
PR3GCA0XVF PR3GCA0XVF
| URI | m2://inv/PR3GCA0XVF |
|---|---|
| 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 2112.14455#YFAZ (statement). In VDE5R8HBS1/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Application PR3SRETRGF
| URI | m2://inv/PR3SRETRGF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chomsky normal form#TKJB, Application (example)
History
- 2026-11-02: add by m2/dev
Gen'ichirō Sunouchi PR4236ZSVP
| URI | m2://inv/PR4236ZSVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gen'ichirō Sunouchi, Gen'ichirō Sunouchi (topic). Also Wikidata Q5530784
History
- 2026-11-02: add by m2/dev
PR464PD374 PR464PD374
| URI | m2://inv/PR464PD374 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#proof-5 (proof). In RZP28ERRZV, proof, section 61.4
History
- 2026-11-01: add by m2/v0.6.13
PR488JXBWA PR488JXBWA
| URI | m2://inv/PR488JXBWA |
|---|---|
| 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.22338#MNQW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Minkowski's question mark function PR4BQ9PV7T
| URI | m2://inv/PR4BQ9PV7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1967149, Minkowski's question mark function (unknown). Also MathWorld MinkowskisQuestionMarkFunction
- wikipedia: Wikipedia Minkowski's question-mark function, Minkowski's question-mark function (definition). Also Wikidata Q1967149
History
- 2026-10-26: add by m2/dev
trapezoid PR4D2NHPQ5
| URI | m2://inv/PR4D2NHPQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q46303, trapezoid (unknown). Also MathWorld Trapezoid
- wikipedia: Wikipedia Trapezoid, Trapezoid (definition). Also Wikidata Q46303
History
- 2026-10-26: add by m2/dev
Critical Funk star pyramid PR4E1BSN1E
| URI | m2://inv/PR4E1BSN1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#KA6W, Critical Funk star pyramid (definition)
History
- 2026-11-01: add by m2/v0.6.15
PR4JRJ46ZH PR4JRJ46ZH
| URI | m2://inv/PR4JRJ46ZH |
|---|---|
| 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.20894#QOP1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Yves Le Jan PR4RCJ8Y2Z
| URI | m2://inv/PR4RCJ8Y2Z |
|---|---|
| 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#IA9H, Yves Le Jan (topic)
History
- 2026-11-02: add by m2/dev
PR4RS7KNAH PR4RS7KNAH
| URI | m2://inv/PR4RS7KNAH |
|---|---|
| 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 2610.04434#H9ZJ (statement). In EY0QS456EC/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Pythagorean diet PR4XDMFC3R
| URI | m2://inv/PR4XDMFC3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagoreanism#5U7V, Pythagorean diet (unknown)
History
- 2026-11-02: add by m2/dev
Examples PR568Z0D2B
| URI | m2://inv/PR568Z0D2B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean hodograph curve#2ECM, Examples (example)
History
- 2026-11-02: add by m2/dev
PR583TB1ZK PR583TB1ZK
| URI | m2://inv/PR583TB1ZK |
|---|---|
| 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.17442#7OHI (statement). In 6ADGJ51W1P/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
PR5FFT5ANB PR5FFT5ANB
| URI | m2://inv/PR5FFT5ANB |
|---|---|
| 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.00241#TBFJ (statement). In VBRQTN2RXN/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
PR5GVQXHH4 PR5GVQXHH4
| URI | m2://inv/PR5GVQXHH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#TZYE (statement). In TB1294GY5X/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.4.2
Partial inverse PR5KGVA1YG
| URI | m2://inv/PR5KGVA1YG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#3L2F, Partial inverse (unknown)
History
- 2026-11-02: add by m2/dev
European Women in Mathematics PR5M7SKZRZ
| URI | m2://inv/PR5M7SKZRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#3I0O, European Women in Mathematics (definition)
History
- 2026-11-02: add by m2/dev
Graph unification PR5VW516RZ
| URI | m2://inv/PR5VW516RZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph theory#4GNC, Graph unification (unknown)
History
- 2026-11-02: add by m2/dev
PR5Z5N8SPX PR5Z5N8SPX
| URI | m2://inv/PR5Z5N8SPX |
|---|---|
| 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.21231#U0EN (definition). In 4RH9PS7MN1/e1, definition 5
History
- 2026-10-27: add by m2/v0.4.2
PR618AS3ZZ PR618AS3ZZ
| URI | m2://inv/PR618AS3ZZ |
|---|---|
| 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#3WP9 (statement). In E7W2HDNEKJ/e1, theorem 8.12
History
- 2026-10-30: add by m2/v0.4.12
PR655F7MBS PR655F7MBS
| URI | m2://inv/PR655F7MBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2210.17066#GNDC (statement). In X2AEJAQEP8/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.3.5
Little-H\"older spaces PR656MD38X
| URI | m2://inv/PR656MD38X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#W7DS, Little-H\"older spaces (definition). In T3BY4TXYT4/e1, definition A.2
History
- 2026-10-28: add by m2/v0.4.2
PR67TSK0N8 PR67TSK0N8
| URI | m2://inv/PR67TSK0N8 |
|---|---|
| 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 2409.03423#TQFS (statement). In 8C5YCMN81V/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
PR6AA7TQMN PR6AA7TQMN
| URI | m2://inv/PR6AA7TQMN |
|---|---|
| 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.08599#XUK5 (statement). In DST9FWMHT6/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
Ehud Hrushovski PR6QMY4EPE
| URI | m2://inv/PR6QMY4EPE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#67YW, Ehud Hrushovski (topic)
History
- 2026-11-02: add by m2/dev
PR6SHXTZMS PR6SHXTZMS
| URI | m2://inv/PR6SHXTZMS |
|---|---|
| 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 2201.10697#21IF (statement). In WN2Z20ZV49/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.6
PR6T1J172M PR6T1J172M
| URI | m2://inv/PR6T1J172M |
|---|---|
| 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.27788#BBND (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vehicle routing problem PR7182KX0P
| URI | m2://inv/PR7182KX0P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vehicle routing problem, Vehicle routing problem (problem). Also Wikidata Q944041
History
- 2026-11-02: add by m2/dev
Ambiguity effect PR72SQ7ATM
| URI | m2://inv/PR72SQ7ATM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguity effect, Ambiguity effect (definition). Also Wikidata Q4533272
History
- 2026-11-02: add by m2/dev
American Mathematical Society PR74BENG9R
| URI | m2://inv/PR74BENG9R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Mathematical Society, American Mathematical Society (topic). Also Wikidata Q465654
History
- 2026-11-02: add by m2/dev
PR75V87776 PR75V87776
| URI | m2://inv/PR75V87776 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37747#CBMX (statement). In GEYDNVZEP7/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Ring operator PR791DME7G
| URI | m2://inv/PR791DME7G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function composition#2W77, Ring operator (unknown)
History
- 2026-11-02: add by m2/dev
PR7BZ8TKYP PR7BZ8TKYP
| URI | m2://inv/PR7BZ8TKYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.25275#8NYS (statement)
History
- 2026-11-01: add by m2/v0.6.15
PR7W1H0M26 PR7W1H0M26
| URI | m2://inv/PR7W1H0M26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25062#36C6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PR7Z8RPNY7 PR7Z8RPNY7
| URI | m2://inv/PR7Z8RPNY7 |
|---|---|
| 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.24522#JA50 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Overlapping generations model PR80GRX582
| URI | m2://inv/PR80GRX582 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overlapping generations model, Overlapping generations model (definition). Also Wikidata Q1036426
History
- 2026-11-02: add by m2/dev
Applications PR86SNE6D1
| URI | m2://inv/PR86SNE6D1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Heisenberg model#KJD9, Applications (example)
History
- 2026-11-02: add by m2/dev
span PR8BRANXSA
| URI | m2://inv/PR8BRANXSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7573053, span (unknown). Also nLab span
- wikipedia: Wikipedia Span (category theory), Span (definition). Also Wikidata Q7573053
History
- 2026-10-26: add by m2/dev
Non-smooth mechanics PR8H0GSGRP
| URI | m2://inv/PR8H0GSGRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-smooth mechanics, Non-smooth mechanics (definition). Also Wikidata Q7049029
History
- 2026-11-02: add by m2/dev
Graph drawing algorithms PR8H85MMSN
| URI | m2://inv/PR8H85MMSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph drawing#JA7H, Graph drawing algorithms (definition)
History
- 2026-11-02: add by m2/dev
PR8MH21WP7 PR8MH21WP7
| URI | m2://inv/PR8MH21WP7 |
|---|---|
| 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.03555#KMWA (statement). In 9JZJTRRVR1/e1, lemma 4.19
History
- 2026-10-29: add by m2/v0.4.12
Definition PR8RW38W35
| URI | m2://inv/PR8RW38W35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skorokhod integral#ZDXZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Discrete product rule PR913ERA1Q
| URI | m2://inv/PR913ERA1Q |
|---|---|
| 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.16705#J3QZ, Discrete product rule (statement). In B48YQVGAF5/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Group homology PR933A6NGM
| URI | m2://inv/PR933A6NGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group cohomology#PGZ1, Group homology (unknown)
History
- 2026-11-02: add by m2/dev
Krawczyk inclusion PR9A07A19H
| URI | m2://inv/PR9A07A19H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37265#I22Z, Krawczyk inclusion (statement). In BKYAWEC5XH/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
Nash-Williams theorem PR9BT1BA40
| URI | m2://inv/PR9BT1BA40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash-Williams theorem, Nash-Williams theorem (statement). Also Wikidata Q65066994
History
- 2026-11-02: add by m2/dev
Wang Xiaotong PR9E39ZDAC
| URI | m2://inv/PR9E39ZDAC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#VKSV, Wang Xiaotong (unknown)
History
- 2026-11-02: add by m2/dev
PR9F9RPRDH PR9F9RPRDH
| URI | m2://inv/PR9F9RPRDH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#FVK7 (definition). In RK0ZMDJ23T/e1, definition 2.2.9
History
- 2026-10-31: add by m2/v0.5.6
PR9GM2CN1Z PR9GM2CN1Z
| URI | m2://inv/PR9GM2CN1Z |
|---|---|
| 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.20368#79H8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
PR9PGD9MW6 PR9PGD9MW6
| URI | m2://inv/PR9PGD9MW6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09548#QAFC (example). In 6D6C14KFGJ/e1, example 3.8
History
- 2026-10-27: add by m2/v0.4.0
imaginary number PR9PRNQ8R5
| URI | m2://inv/PR9PRNQ8R5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#GTC5, imaginary number (definition)
History
- 2026-11-02: add by m2/dev
Argument from religious experience PR9TEFMAM8
| URI | m2://inv/PR9TEFMAM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from religious experience, Argument from religious experience (definition). Also Wikidata Q4789748
History
- 2026-11-02: add by m2/dev
Properties PR9TKQKR3C
| URI | m2://inv/PR9TKQKR3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doyle spiral#JAC7, Properties (statement)
History
- 2026-11-02: add by m2/dev
PR9YVC3H81 PR9YVC3H81
| URI | m2://inv/PR9YVC3H81 |
|---|---|
| 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 2511.08099#XJ46 (statement). In 5NK801XBGA/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
PR9Z5YZ9FW PR9Z5YZ9FW
| URI | m2://inv/PR9Z5YZ9FW |
|---|---|
| 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.05784#W88I (statement). In 6NVP3YRWVA/e1, fact 4.9
History
- 2026-10-29: add by m2/v0.4.10
Quantum phase estimation algorithm PRA0917MN7
| URI | m2://inv/PRA0917MN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CWA5, Quantum phase estimation algorithm (definition)
History
- 2026-11-02: add by m2/dev
Lead–lag compensator PRA6X1Y5BD
| URI | m2://inv/PRA6X1Y5BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lead–lag compensator, Lead–lag compensator (definition). Also Wikidata Q6508813
History
- 2026-11-02: add by m2/dev
Edgeless graph PRA8RWDTPH
| URI | m2://inv/PRA8RWDTPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null graph#HTTE, Edgeless graph (unknown)
History
- 2026-11-02: add by m2/dev
Talagrand convexity with the optimal three summands PRAAVRGH1T
| URI | m2://inv/PRAAVRGH1T |
|---|---|
| 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#AYHK, Talagrand convexity with the optimal three summands (statement). In 9YAE8FNQST/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Stability of the information PRB0B5WRS6
| URI | m2://inv/PRB0B5WRS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20090#FRYV, Stability of the information (statement). In 2RV3YSN1NX/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
Hirzebruch surface PRB1RTT28J
| URI | m2://inv/PRB1RTT28J |
|---|---|
| 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#Q50I, Hirzebruch surface (example). In Q1XJ5VWE1N/e1, example 2.10
History
- 2026-10-29: add by m2/v0.4.10
true PRBDHVH3KD
| URI | m2://inv/PRBDHVH3KD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16751793, true (unknown). Also MathWorld True
History
- 2026-10-26: add by m2/dev
Double dualization monad PRBF345M8Y
| URI | m2://inv/PRBF345M8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (category theory)#RBYY, Double dualization monad (unknown)
History
- 2026-11-02: add by m2/dev
integration by parts PRBRE9D7QR
| URI | m2://inv/PRBRE9D7QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Integration by parts 08Y1BBQTK9 |
Mentions
- wikidata: Wikidata Q273328, integration by parts (unknown). Also MathWorld IntegrationbyParts, nLab integration by parts
- wikipedia: Wikipedia Integration by parts, Integration by parts (definition). Also Wikidata Q273328
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties PRBYGW7BP4
| URI | m2://inv/PRBYGW7BP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric product (topology)#EVQY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Value function and feedback law coefficient approximations PRC3WKHETE
| URI | m2://inv/PRC3WKHETE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15942#RSZG, Value function and feedback law coefficient approximations (statement). In E1X1SEPNJZ/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
PRC92PJBYK PRC92PJBYK
| URI | m2://inv/PRC92PJBYK |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-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 2508.21045#Y2A4 (conjecture). In CGA36VE1C5/e1, conjecture 10
History
- 2026-10-27: add by m2/v0.3.6
PRCCQ772HE PRCCQ772HE
| URI | m2://inv/PRCCQ772HE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0411039#V5WB (statement). In ZTBDXSKFFW/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Edmund Landau PRCDBY8KRE
| URI | m2://inv/PRCDBY8KRE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#20CL, Edmund Landau (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WO9Z, Edmund Landau (topic)
History
- 2026-11-02: add by m2/dev
Properties PRCE9W4ADV
| URI | m2://inv/PRCE9W4ADV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-ratio#Y3JA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hermann Vermeil PRCFSWEAC7
| URI | m2://inv/PRCFSWEAC7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermann Vermeil, Hermann Vermeil (topic). Also Wikidata Q20936664
History
- 2026-11-02: add by m2/dev
PRCMA2K917 PRCMA2K917
| URI | m2://inv/PRCMA2K917 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-3 (proof). In N54F33XE07, proof, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
A filled couple PRCMR4FZNJ
| URI | m2://inv/PRCMR4FZNJ |
|---|---|
| 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#Z331, A filled couple (statement)
History
- 2026-11-01: add by m2/v0.6.15
PRCSHVABXJ PRCSHVABXJ
| URI | m2://inv/PRCSHVABXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#2MLW (statement). In M2PEDAF7AX/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
PRCXJ8380B PRCXJ8380B
| URI | m2://inv/PRCXJ8380B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-6 (proof). In E59CDZA4DP, proof, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
PRCY0K8DES PRCY0K8DES
| URI | m2://inv/PRCY0K8DES |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-25 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
Axioms PRCY2E5322
| URI | m2://inv/PRCY2E5322 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relation algebra#JKM4, Axioms (statement)
History
- 2026-11-02: add by m2/dev
PRD6YAT46F PRD6YAT46F
| URI | m2://inv/PRD6YAT46F |
|---|---|
| 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.03520#PX4K (statement). In CSRZ9CWK69/e1, proposition 9.7
History
- 2026-10-29: add by m2/v0.4.12
Siamese method PRDA4VVVD8
| URI | m2://inv/PRDA4VVVD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siamese method, Siamese method (definition). Also Wikidata Q3855686
History
- 2026-11-02: add by m2/dev
Lemma (Schauder) PRDB63PB8Z
| URI | m2://inv/PRDB63PB8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#Q51B, Lemma (Schauder) (statement)
History
- 2026-11-02: add by m2/dev
Uniform analytic propagation in the parabolic case PRDBS94HHY
| URI | m2://inv/PRDBS94HHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#HILX, Uniform analytic propagation in the parabolic case (statement). In RHBS9QDHC3/e1, proposition 5.9
History
- 2026-10-28: add by m2/v0.4.2
A3 lattice PRDEQDA4RE
| URI | m2://inv/PRDEQDA4RE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral-octahedral honeycomb#L8BP, A3 lattice (unknown)
History
- 2026-11-02: add by m2/dev
PRDHXDQX3P PRDHXDQX3P
| URI | m2://inv/PRDHXDQX3P |
|---|---|
| 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#UNR1 (statement). In 50K0H8HRED/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Spectral rate for Polyak's tuning PRDK8EEFTG
| URI | m2://inv/PRDK8EEFTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#B8SF, Spectral rate for Polyak's tuning (statement). In 65TJENWK7X/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
PRDPP84PJK PRDPP84PJK
| URI | m2://inv/PRDPP84PJK |
|---|---|
| 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#IUDB (statement)
History
- 2026-11-01: add by m2/v0.6.15
PRDRF7H5PF PRDRF7H5PF
| URI | m2://inv/PRDRF7H5PF |
|---|---|
| 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#OZCI (statement). In CC6S1HVK0T/e1, corollary 8.3
History
- 2026-10-28: add by m2/v0.4.2
Hoshen–Kopelman algorithm PRDSPXZZ6M
| URI | m2://inv/PRDSPXZZ6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoshen–Kopelman algorithm, Hoshen–Kopelman algorithm (definition). Also Wikidata Q2835787
History
- 2026-11-02: add by m2/dev
Properties PRDXZ503D3
| URI | m2://inv/PRDXZ503D3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer broom topology#9D2O, Properties (statement)
History
- 2026-11-02: add by m2/dev
PRE10ADVNM PRE10ADVNM
| URI | m2://inv/PRE10ADVNM |
|---|---|
| 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.07963#9MVI (statement). In HAGJKEZ1CK/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
Moses Schönfinkel PRE8TEZR6H
| URI | m2://inv/PRE8TEZR6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#IIJL, Moses Schönfinkel (topic)
History
- 2026-11-02: add by m2/dev
strict conditional PREBWF21EB
| URI | m2://inv/PREBWF21EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TYCP, strict conditional (definition)
History
- 2026-11-02: add by m2/dev
Triangular billiards PREE71EX9Q
| URI | m2://inv/PREE71EX9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#48T0, Triangular billiards (definition)
History
- 2026-11-02: add by m2/dev
Density-martingale stability PREGTH80YW
| URI | m2://inv/PREGTH80YW |
|---|---|
| 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.09278#X4W1, Density-martingale stability (statement). In XREKHJHAT7/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
Examples PRENYRPC4M
| URI | m2://inv/PRENYRPC4M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided monoidal category#WYWU, Examples (example)
History
- 2026-11-02: add by m2/dev
Jouko Väänänen PRESSS053F
| URI | m2://inv/PRESSS053F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jouko Väänänen, Jouko Väänänen (topic). Also Wikidata Q16145829
History
- 2026-11-02: add by m2/dev
PRETG5PN0X PRETG5PN0X
| URI | m2://inv/PRETG5PN0X |
|---|---|
| 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#Z86G (statement). In BPPBAWGPHJ/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
C. Robin Graham PRETZKT19B
| URI | m2://inv/PRETZKT19B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. Robin Graham, C. Robin Graham (topic). Also Wikidata Q100743431
History
- 2026-11-02: add by m2/dev
PREVYQDEDE PREVYQDEDE
| URI | m2://inv/PREVYQDEDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#TP7S (statement). In 459W0NBS5Q/e1, theorem 18
History
- 2026-10-28: add by m2/v0.4.2
Total preorder PRF29NEXYY
| URI | m2://inv/PRF29NEXYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak ordering#B16K, Total preorder (unknown)
History
- 2026-11-02: add by m2/dev
Example PRF5P0FQWX
| URI | m2://inv/PRF5P0FQWX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biased positional game#F2X0, Example (example)
History
- 2026-11-02: add by m2/dev
Computable function PRF6FWS35X
| URI | m2://inv/PRF6FWS35X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#NVDE, Computable function (definition)
History
- 2026-11-02: add by m2/dev
PRFF2KD7P9 PRFF2KD7P9
| URI | m2://inv/PRFF2KD7P9 |
|---|---|
| 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 2610.08655#DJXW (statement). In ZT7H1ZDN96/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
PRFJD9HRBQ PRFJD9HRBQ
| URI | m2://inv/PRFJD9HRBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.36022#P90R (statement). In ENH5XNBQWH/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Definition PRFMAXEJEE
| URI | m2://inv/PRFMAXEJEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal space#DCZ1, Definition (definition)
History
- 2026-11-02: add by m2/dev
PRG2CFJDE3 PRG2CFJDE3
| URI | m2://inv/PRG2CFJDE3 |
|---|---|
| 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.09084#LN0E (statement). In F5VT2K2QYX/e1, fact 13
History
- 2026-10-29: add by m2/v0.4.10
PRG5ZGZ35T PRG5ZGZ35T
| URI | m2://inv/PRG5ZGZ35T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#8CX6 (definition). In NAMCCRM50R/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Anytime random demand coupon collector (A-RDC PRG7SN66NE
| URI | m2://inv/PRG7SN66NE |
|---|---|
| Kind | definition |
| 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.31607#MVYN, Anytime random demand coupon collector (A-RDC (definition). In H9X9WZ17TT/e1, definition 16
History
- 2026-10-31: add by m2/v0.5.6
PRGDNH9KDJ PRGDNH9KDJ
| URI | m2://inv/PRGDNH9KDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.08004#52RV (statement). In TYS65EG479/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Louis Couffignal PRGSFS6FHC
| URI | m2://inv/PRGSFS6FHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Couffignal, Louis Couffignal (topic). Also Wikidata Q3261606
History
- 2026-11-02: add by m2/dev
Ben Green PRGTVGJ860
| URI | m2://inv/PRGTVGJ860 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ben Green (mathematician), Ben Green (topic). Also Wikidata Q792628
History
- 2026-11-02: add by m2/dev
Examples PRGVBDS0AN
| URI | m2://inv/PRGVBDS0AN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite function#RZ5Q, Examples (example)
History
- 2026-11-02: add by m2/dev
symmetric space PRGXDQVENW
| URI | m2://inv/PRGXDQVENW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Symmetric space PAA93R4WYD |
Mentions
- wikidata: Wikidata Q3058244, symmetric space (unknown). Also nLab symmetric space
- wikipedia: Wikipedia Symmetric space, Symmetric space (definition). Also Wikidata Q3058244
History
- 2026-10-26: add by m2/dev
Heisenberg's uncertainty principle PRH2PPFSNH
| URI | m2://inv/PRH2PPFSNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulae involving π#TG8J, Heisenberg's uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
Adrian Iovita PRH4H1XZJH
| URI | m2://inv/PRH4H1XZJH |
|---|---|
| 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#ELF3, Adrian Iovita (unknown)
History
- 2026-11-02: add by m2/dev
PRH5AAX92D PRH5AAX92D
| URI | m2://inv/PRH5AAX92D |
|---|---|
| Kind | statement |
| 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#0H7A (statement). In 9VPMHV0M4R/e1, proposition 1.17
History
- 2026-10-27: add by m2/v0.3.5
Bryce Reeve PRH5EJH46J
| URI | m2://inv/PRH5EJH46J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bryce Reeve, Bryce Reeve (topic). Also Wikidata Q28966879
History
- 2026-11-02: add by m2/dev
Joanna Isabel Mayer PRH610YDVF
| URI | m2://inv/PRH610YDVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joanna Isabel Mayer, Joanna Isabel Mayer (topic). Also Wikidata Q94739648
History
- 2026-11-02: add by m2/dev
index PRH97F2T2G
| URI | m2://inv/PRH97F2T2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#GGCB, index (definition)
History
- 2026-11-02: add by m2/dev
Interlock protocol PRHJJVJEGJ
| URI | m2://inv/PRHJJVJEGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interlock protocol, Interlock protocol (definition). Also Wikidata Q15617427
History
- 2026-11-02: add by m2/dev
PRHT8X1REV PRHT8X1REV
| URI | m2://inv/PRHT8X1REV |
|---|---|
| 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 2007.14459#RE4H (statement). In SGQ7VFEZ22/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Applications PRHX3SQT83
| URI | m2://inv/PRHX3SQT83 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#UARZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Exponential growth PRJ17FXJ9S
| URI | m2://inv/PRJ17FXJ9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#SF9P, Exponential growth (definition)
- wikipedia: Wikipedia List of exponential topics#8RW7, Exponential growth (definition)
History
- 2026-11-02: add by m2/dev
Harish-Chandra PRJ1XZ1YZW
| URI | m2://inv/PRJ1XZ1YZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#JQD2, Harish-Chandra (definition)
History
- 2026-11-02: add by m2/dev
Pattern recognition PRJ2CNR5WR
| URI | m2://inv/PRJ2CNR5WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W8I1, Pattern recognition (definition)
History
- 2026-11-02: add by m2/dev
pivot element PRJ32MWRVK
| URI | m2://inv/PRJ32MWRVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Pivot 0J0BBCMJ5W |
Mentions
- wikidata: Wikidata Q1425280, pivot element (unknown). Also MathWorld Pivoting
- wikipedia: Wikipedia Pivot element, Pivot element (definition). Also Wikidata Q1425280
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
PRJ4THZQS3 PRJ4THZQS3
| URI | m2://inv/PRJ4THZQS3 |
|---|---|
| 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-41 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
domain PRJ7DR6MT8
| URI | m2://inv/PRJ7DR6MT8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.2/domain, domain (concept). In 907G4C4EJ1, index, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
PRJ87B9J9Z PRJ87B9J9Z
| URI | m2://inv/PRJ87B9J9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#3KUB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Moritz Abraham Stern PRJAJCDAME
| URI | m2://inv/PRJAJCDAME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JMC7, Moritz Abraham Stern (unknown)
History
- 2026-11-02: add by m2/dev
PRJG0N2BHZ PRJG0N2BHZ
| URI | m2://inv/PRJG0N2BHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#theorem-5 (statement). In RZP28ERRZV, theorem, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
The theorem PRJG9X3DZ5
| URI | m2://inv/PRJG9X3DZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coase theorem#38AF, The theorem (statement)
History
- 2026-11-02: add by m2/dev
PRJJ3N2Z6T PRJJ3N2Z6T
| URI | m2://inv/PRJJ3N2Z6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#H7GX (statement). In RW315W172S/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
PRJK3AWN8N PRJK3AWN8N
| URI | m2://inv/PRJK3AWN8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#definition-1 (definition). In 649HGZKE96, definition, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
PRJKC4KVH2 PRJKC4KVH2
| URI | m2://inv/PRJKC4KVH2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2602.15812#OYO0 (definition). In GAAZD3SGPN/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
zeta function PRJKSS9BXZ
| URI | m2://inv/PRJKSS9BXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q196822, zeta function (unknown). Also MathWorld ZetaFunction
History
- 2026-10-26: add by m2/dev
Barrier cone PRJPYP5Z20
| URI | m2://inv/PRJPYP5Z20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrier cone, Barrier cone (definition). Also Wikidata Q4863601
History
- 2026-11-02: add by m2/dev
Semialgebraic space PRJQ1VZ8W2
| URI | m2://inv/PRJQ1VZ8W2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semialgebraic space, Semialgebraic space (definition). Also Wikidata Q7449353
History
- 2026-11-02: add by m2/dev
PRK4HT4WK8 PRK4HT4WK8
| URI | m2://inv/PRK4HT4WK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#KL90 (statement). In X765ZXXVC3/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Translation of axes PRK93T7H28
| URI | m2://inv/PRK93T7H28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation of axes, Translation of axes (definition). Also Wikidata Q25080698
History
- 2026-11-02: add by m2/dev
Cutoff PRKCQWBTST
| URI | m2://inv/PRKCQWBTST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#AMFG, Cutoff (unknown)
History
- 2026-11-02: add by m2/dev
PRKECSG30H PRKECSG30H
| URI | m2://inv/PRKECSG30H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1012.0963#YBXL (statement). In TSA766V8F8/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Statement PRKGPX8REP
| URI | m2://inv/PRKGPX8REP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goncharov conjecture#8M4V, Statement (statement)
History
- 2026-11-02: add by m2/dev
PRKJG55J2W PRKJG55J2W
| URI | m2://inv/PRKJG55J2W |
|---|---|
| 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.09019#N5OF (statement). In 8V6YECFCC1/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Annuity PRKME8CER5
| URI | m2://inv/PRKME8CER5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annuity, Annuity (definition). Also Wikidata Q215579
History
- 2026-11-02: add by m2/dev
Asymptotic Rees theorem PRKP3A7X11
| URI | m2://inv/PRKP3A7X11 |
|---|---|
| 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 2609.23202#6MS8, Asymptotic Rees theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement of the theorem PRKWBMQWBD
| URI | m2://inv/PRKWBMQWBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jurkat–Richert theorem#D776, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Moser's trick PRKZ801GGJ
| URI | m2://inv/PRKZ801GGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#L8I0, Moser's trick (definition)
History
- 2026-11-02: add by m2/dev
Skolem's Paradox PRM08MTH40
| URI | m2://inv/PRM08MTH40 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/downward-ls.tex#ex-1, Skolem's Paradox (example). In PKGMM3P5QY, ex, section 11.2
History
- 2026-11-01: add by m2/v0.6.13
Strange nonchaotic attractor PRM4TVD93N
| URI | m2://inv/PRM4TVD93N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strange nonchaotic attractor, Strange nonchaotic attractor (definition). Also Wikidata Q17106079
History
- 2026-11-02: add by m2/dev
PRMBAZ2Y4A PRMBAZ2Y4A
| URI | m2://inv/PRMBAZ2Y4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.18512#DBII (statement). In 11JNM66Z09/e1, proposition 13.1
History
- 2026-10-28: add by m2/v0.4.2
PRMBX81J56 PRMBX81J56
| URI | m2://inv/PRMBX81J56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#NY6M (statement). In XCSQ27P0XW/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.0
All mean-square private optimizers PRMC5CQMRW
| URI | m2://inv/PRMC5CQMRW |
|---|---|
| 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#E70L, All mean-square private optimizers (statement). In 9YAE8FNQST/e1, theorem 29.12
History
- 2026-10-30: add by m2/v0.4.12
PRMCNY5653 PRMCNY5653
| URI | m2://inv/PRMCNY5653 |
|---|---|
| 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.39905#TD03 (statement). In D4B23ER9QD/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
PRMHHCT1HS PRMHHCT1HS
| URI | m2://inv/PRMHHCT1HS |
|---|---|
| Kind | definition |
| 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.36884#MTDJ (definition). In Z7E16PFFCP/e1, definition 3.28
History
- 2026-10-30: add by m2/v0.4.12
Differentiation under the integral PRMND536P5
| URI | m2://inv/PRMND536P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-49, Differentiation under the integral (statement). In VNMV985MXX, thm, section E.1
History
- 2026-11-01: add by m2/v0.6.13
Properties PRMRWVDRR3
| URI | m2://inv/PRMRWVDRR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered group#2MB6, Properties (statement)
History
- 2026-11-02: add by m2/dev
PRMTQ9GWH0 PRMTQ9GWH0
| URI | m2://inv/PRMTQ9GWH0 |
|---|---|
| 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#CZEB (statement). In 7SSKW778T8/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Perimeter of the polygon PRMVFJ66R4
| URI | m2://inv/PRMVFJ66R4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perimeter#DS99, Perimeter of the polygon (unknown)
History
- 2026-11-02: add by m2/dev
elasticity PRN0TZFF47
| URI | m2://inv/PRN0TZFF47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62932, elasticity (unknown). Also nLab elasticity
History
- 2026-10-26: add by m2/dev
Bradley Efron PRN0ZFNZ5E
| URI | m2://inv/PRN0ZFNZ5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QS7D, Bradley Efron (topic)
History
- 2026-11-02: add by m2/dev
Case-based reasoning PRN94G4ES6
| URI | m2://inv/PRN94G4ES6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Case-based reasoning, Case-based reasoning (definition). Also Wikidata Q1151406
History
- 2026-11-02: add by m2/dev
Two-Track-MAC PRNAMHHQFM
| URI | m2://inv/PRNAMHHQFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-Track-MAC, Two-Track-MAC (definition). Also Wikidata Q4051894
History
- 2026-11-02: add by m2/dev
Henry Crapo PRNE6F613M
| URI | m2://inv/PRNE6F613M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Crapo (mathematician), Henry Crapo (topic). Also Wikidata Q72363253
History
- 2026-11-02: add by m2/dev
dimension PRNKKR2AFJ
| URI | m2://inv/PRNKKR2AFJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.5.2/dimension, dimension (concept). In 649HGZKE96, index, section 3.5.2
History
- 2026-11-01: add by m2/v0.6.13
Mannque Rho PRNT0QZ39B
| URI | m2://inv/PRNT0QZ39B |
|---|---|
| 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 Q1890791, Mannque Rho (unknown). Also nLab Mannque Rho
History
- 2026-10-26: add by m2/dev
Generalizations PRNX7YNKZA
| URI | m2://inv/PRNX7YNKZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simson line#EUDL, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
The paradox PRP5QH5KZD
| URI | m2://inv/PRP5QH5KZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox of fiction#ZIR9, The paradox (statement)
History
- 2026-11-02: add by m2/dev
Shearer PRP9YWDD8N
| URI | m2://inv/PRP9YWDD8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#MOTU, Shearer (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Dorfman PRPM9VA34E
| URI | m2://inv/PRPM9VA34E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#B9KI, Michael Dorfman (unknown)
History
- 2026-11-02: add by m2/dev
PRPQX1MN7F PRPQX1MN7F
| URI | m2://inv/PRPQX1MN7F |
|---|---|
| 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.36827#SKC9 (statement). In VSHAQTB2CA/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
PER membership yields gluing-model membership PRQ099W773
| URI | m2://inv/PRQ099W773 |
|---|---|
| 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#QMZX, PER membership yields gluing-model membership (statement). In CPYWHRTPKC/e1, lemma 7.28
History
- 2026-10-27: add by m2/v0.4.2
Construction PRQ4AZ5WJA
| URI | m2://inv/PRQ4AZ5WJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated icosahedron#1IYL, Construction (definition)
History
- 2026-11-02: add by m2/dev
PRQAVN9F1K PRQAVN9F1K
| URI | m2://inv/PRQAVN9F1K |
|---|---|
| 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.19326#XO6U (statement). In YFWDHG947Q/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
PRQB31E1E1 PRQB31E1E1
| URI | m2://inv/PRQB31E1E1 |
|---|---|
| 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.17408#4IMZ (statement). In QR8H4M1X4N/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Poisson wavelet PRQCFP37AB
| URI | m2://inv/PRQCFP37AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson wavelet, Poisson wavelet (definition). Also Wikidata Q18389138
History
- 2026-11-02: add by m2/dev
Statement of the inequality PRQKTYCYHD
| URI | m2://inv/PRQKTYCYHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ono's inequality#RX62, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
PRQNN2D9PT PRQNN2D9PT
| URI | m2://inv/PRQNN2D9PT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1808.00180#7EJ4 (definition). In XDYCG8DVHE/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
AM–GM inequality PRQYJ2XPFR
| URI | m2://inv/PRQYJ2XPFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QM–AM–GM–HM inequalities#TL7Z, AM–GM inequality (statement)
History
- 2026-11-02: add by m2/dev
PRR78QVRM4 PRR78QVRM4
| URI | m2://inv/PRR78QVRM4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#N3RU (example)
History
- 2026-11-02: add by m2/v0.6.18
PRRBBVDS0V PRRBBVDS0V
| URI | m2://inv/PRRBBVDS0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2510.01873#JI60 (statement). In FVZZDPEYNM/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Bounded weighted Sobolev solution PRRJNHJQQH
| URI | m2://inv/PRRJNHJQQH |
|---|---|
| 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.28985#0NRD, Bounded weighted Sobolev solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
PRRNMPXFTQ PRRNMPXFTQ
| URI | m2://inv/PRRNMPXFTQ |
|---|---|
| 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.06521#1YYK (statement). In NVXWD513NM/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
PRRPFQPMNK PRRPFQPMNK
| URI | m2://inv/PRRPFQPMNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#BU2Y (statement). In H3FDP8S1Z7/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.3.5
Laurette Tuckerman PRRX2WC7J9
| URI | m2://inv/PRRX2WC7J9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DVLV, Laurette Tuckerman (unknown)
History
- 2026-11-02: add by m2/dev
Separate concavity PRRZCZ3F7H
| URI | m2://inv/PRRZCZ3F7H |
|---|---|
| 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.04027#N32M, Separate concavity (statement). In DQB4YR2DFH/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Hypothesis testing PRRZRY50WS
| URI | m2://inv/PRRZRY50WS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akaike information criterion#DOBO, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
PRS0VBDP5C PRS0VBDP5C
| URI | m2://inv/PRS0VBDP5C |
|---|---|
| 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.20028#PYXG (statement)
History
- 2026-11-02: add by m2/v0.6.18
right conoid PRS4AB02TE
| URI | m2://inv/PRS4AB02TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2686383, right conoid (unknown). Also MathWorld RightConoid
- wikipedia: Wikipedia Right conoid, Right conoid (definition). Also Wikidata Q2686383
History
- 2026-10-26: add by m2/dev
Case 2: Fractal Attractors (Ruelle's Inequality) PRSAJGDXR1
| URI | m2://inv/PRSAJGDXR1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pesin Entropy Formula#LSF9, Case 2: Fractal Attractors (Ruelle's Inequality) (statement)
History
- 2026-11-02: add by m2/dev
PRSCYM540X PRSCYM540X
| URI | m2://inv/PRSCYM540X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#I80I (statement)
History
- 2026-11-01: add by m2/v0.6.15
A $(26,26,\{\mathcal{S}_i\}_{i\in[26]},\{f_i\}_{i\in[26]})$ Boolean computation broadcast model with linear demands with a strictly better non-linear encoder PRSNJ7WJS9
| URI | m2://inv/PRSNJ7WJS9 |
|---|---|
| Kind | example |
| 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#PF1F, A $(26,26,\{\mathcal{S}_i\}_{i\in[26]},\{f_i\}_{i\in[26]})$ Boolean computation broadcast model with linear demands with a strictly better non-linear encoder (example). In N7XJ16700B/e1, example 3
History
- 2026-10-29: add by m2/v0.4.10
Italian school of algebraic geometry PRSNS8RD1R
| URI | m2://inv/PRSNS8RD1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#IWSN, Italian school of algebraic geometry (topic)
- wikipedia: Wikipedia List of mathematics history topics#CY0J, Italian school of algebraic geometry (topic)
History
- 2026-11-02: add by m2/dev
Waring's prime number conjecture PRSRK55ZA7
| URI | m2://inv/PRSRK55ZA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7969432, Waring's prime number conjecture (conjecture). Also MathWorld WaringsPrimeNumberConjecture
- wikipedia: Wikipedia Waring's prime number conjecture, Waring's prime number conjecture (statement). Also Wikidata Q7969432
History
- 2026-10-26: add by m2/dev
PRSVAMH1PM PRSVAMH1PM
| URI | m2://inv/PRSVAMH1PM |
|---|---|
| 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.21414#IOZF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Yuri Tschinkel PRT0Q33228
| URI | m2://inv/PRT0Q33228 |
|---|---|
| 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 Q2601947, Yuri Tschinkel (unknown). Also nLab Yuri Tschinkel
History
- 2026-10-26: add by m2/dev
Mo Ostin PRT5Z6EYCA
| URI | m2://inv/PRT5Z6EYCA |
|---|---|
| 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#4AMB, Mo Ostin (unknown)
History
- 2026-11-02: add by m2/dev
Robust frequency estimation PRT6NXEPH3
| URI | m2://inv/PRT6NXEPH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#CMFN, Robust frequency estimation (statement)
History
- 2026-11-01: add by m2/v0.6.15
PRT7J5WEP1 PRT7J5WEP1
| URI | m2://inv/PRT7J5WEP1 |
|---|---|
| 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.13972#8H1X (statement). In S1KHNS8XQM/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Hyperexponential distribution PRT8H76CPF
| URI | m2://inv/PRT8H76CPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperexponential distribution, Hyperexponential distribution (definition). Also Wikidata Q3258517
History
- 2026-11-02: add by m2/dev
Delone set PRTVYQJZ83
| URI | m2://inv/PRTVYQJZ83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delone set, Delone set (definition). Also Wikidata Q5254313
History
- 2026-11-02: add by m2/dev
Mixminion PRTW02XCBB
| URI | m2://inv/PRTW02XCBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixminion, Mixminion (definition). Also Wikidata Q388632
History
- 2026-11-02: add by m2/dev
Weighted Gaussian covariance trace PRVEVAS85G
| URI | m2://inv/PRVEVAS85G |
|---|---|
| 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.06875#ZACN, Weighted Gaussian covariance trace (statement). In ZDT5J9KQVQ/e1, lemma F.7
History
- 2026-10-29: add by m2/v0.4.10
Direct construction PRVG3XW1NC
| URI | m2://inv/PRVG3XW1NC |
|---|---|
| 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.06081#A9ON, Direct construction (statement). In 7Z3KQRFEVG/e1, theorem B.1
History
- 2026-10-29: add by m2/v0.4.10
Two-eigendirection invariant family PRVMHV436V
| URI | m2://inv/PRVMHV436V |
|---|---|
| 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.00939#RO68, Two-eigendirection invariant family (statement). In 3X14CMMG58/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
coequalizer PRVX9KHP8S
| URI | m2://inv/PRVX9KHP8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#9HFT, coequalizer (definition)
History
- 2026-11-02: add by m2/dev
Faustmann's formula PRW63ZRFS4
| URI | m2://inv/PRW63ZRFS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5438320, Faustman–Ohlin theorem (statement). Also Wikidata Q5438320
- thousand_plus: thousand_plus Q5438320, Faustman–Ohlin theorem (statement). Also Wikidata Q5438320, Wikipedia Faustman–Ohlin theorem
- wikipedia: Wikipedia Faustmann's formula, Faustmann's formula (statement). Also Wikidata Q5438320
History
- 2026-10-26: add by m2/dev
The three two-point spaces PRW8JGM4HN
| URI | m2://inv/PRW8JGM4HN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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.26270#VZ7Z, The three two-point spaces (example)
History
- 2026-11-01: add by m2/v0.6.15
PRWQF9Y43X PRWQF9Y43X
| URI | m2://inv/PRWQF9Y43X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1607.01095#ZL04 (definition). In W3T1ZAT3GC/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
abc conjecture PRWZ480A09
| URI | m2://inv/PRWZ480A09 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's Last Theorem#PNS7, abc conjecture (statement)
History
- 2026-11-02: add by m2/dev
Gelfand–Shilov space PRX5AFWZX5
| URI | m2://inv/PRX5AFWZX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand–Shilov space, Gelfand–Shilov space (definition). Also Wikidata Q5530429
History
- 2026-11-02: add by m2/dev
PRX6X6A4PM PRX6X6A4PM
| URI | m2://inv/PRX6X6A4PM |
|---|---|
| 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-12 (example). In E9HS8K3A52, example, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
PRX7Z5G068 PRX7Z5G068
| URI | m2://inv/PRX7Z5G068 |
|---|---|
| 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 2609.21914#A3XR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Maximal Permutation groups in $\mathcal{CH}$ PRXNQ6A989
| URI | m2://inv/PRXNQ6A989 |
|---|---|
| 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 2212.05398#49TH, Maximal Permutation groups in $\mathcal{CH}$ (definition). In WQKQ8438M7/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
PRXRYV2X71 PRXRYV2X71
| URI | m2://inv/PRXRYV2X71 |
|---|---|
| Kind | definition |
| 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#PFM0 (definition). In GXHKRV5BPY/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
holonomy group PRY21VMR1W
| URI | m2://inv/PRY21VMR1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91488726, holonomy group (unknown). Also EoM Holonomy_group, MathWorld HolonomyGroup, nLab holonomy group
History
- 2026-10-26: add by m2/dev
PRY77SDCNZ PRY77SDCNZ
| URI | m2://inv/PRY77SDCNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#3P2B (statement). In XEQD21EBTT/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
normal line PRY7XZB6E5
| URI | m2://inv/PRY7XZB6E5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21011981, normal line (unknown). Also MathWorld NormalLine
History
- 2026-10-26: add by m2/dev
Rectangles in products PRYA38KF56
| URI | m2://inv/PRYA38KF56 |
|---|---|
| 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 2609.23281#XIBQ, Rectangles in products (statement)
History
- 2026-11-02: add by m2/v0.6.17
Γ PRYCX74TSV
| URI | m2://inv/PRYCX74TSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#GQS6, Γ (definition)
History
- 2026-11-02: add by m2/dev
PRYFTASQ6T PRYFTASQ6T
| URI | m2://inv/PRYFTASQ6T |
|---|---|
| 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 2610.20299#4ZMT (statement). In P7T0W5D3W3/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
PRYJDBNMSN PRYJDBNMSN
| URI | m2://inv/PRYJDBNMSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#QZH2 (statement). In QR9WE79ERQ/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.10
PRZ3AMS4W1 PRZ3AMS4W1
| URI | m2://inv/PRZ3AMS4W1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#OBYW (statement). In GMRT5GHBZS/e1, theorem E
History
- 2026-10-29: add by m2/v0.4.10
PRZ46KZD8X PRZ46KZD8X
| URI | m2://inv/PRZ46KZD8X |
|---|---|
| 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.36321#C4EY (statement). In 3KTZ6Z615H/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Bang–bang control PRZ68BJM7M
| URI | m2://inv/PRZ68BJM7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#WA12, Bang–bang control (definition)
History
- 2026-11-02: add by m2/dev
universal, property, of dependent pair type PRZ6J3Q3YZ
| URI | m2://inv/PRZ6J3Q3YZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.12/universal-property-of-dependent-pair-type, universal, property, of dependent pair type (concept). In N54F33XE07, index, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
PRZA9CZNTB PRZA9CZNTB
| URI | m2://inv/PRZA9CZNTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#3PJE (statement). In SYZFEVFHC3/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
Formulation PRZD5RBAYG
| URI | m2://inv/PRZD5RBAYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pixel connectivity#M6HS, Formulation (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Euclid PRZGFD0K2A
| URI | m2://inv/PRZGFD0K2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#2UQX, List of things named after Euclid (topic)
History
- 2026-11-02: add by m2/dev
PRZT2V45JH PRZT2V45JH
| URI | m2://inv/PRZT2V45JH |
|---|---|
| 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 2402.17852#3Q72 (statement). In 1WCXV5PVZA/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.0
Example PRZTQRCBKH
| URI | m2://inv/PRZTQRCBKH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Push–relabel maximum flow algorithm#70R9, Example (example)
History
- 2026-11-02: add by m2/dev
Kernel (ring theory) PRZVVFFD72
| URI | m2://inv/PRZVVFFD72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (algebra)#NUC1, Kernel (ring theory) (unknown)
History
- 2026-11-02: add by m2/dev
Applications PRZYEKNQ53
| URI | m2://inv/PRZYEKNQ53 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integro-differential equation#1OH6, Applications (example)
History
- 2026-11-02: add by m2/dev
PRZYMWTDT2 PRZYMWTDT2
| URI | m2://inv/PRZYMWTDT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#U0M1 (statement). In JPC86V77CH/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Ultraparallel PRZYT1T182
| URI | m2://inv/PRZYT1T182 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic geometry#CP7R, Ultraparallel (unknown)
History
- 2026-11-02: add by m2/dev