Inventory rows JR
The cards of the rows of the inventory whose ids start with JR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kepler's first law JR042DWVKK
| URI | m2://inv/JR042DWVKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122928282, Kepler's first law (statement). Also ProofWiki Kepler's_Laws_of_Planetary_Motion/First_Law
History
- 2026-10-26: add by m2/dev
Tangent direction of the river JR0440A5QF
| URI | m2://inv/JR0440A5QF |
|---|---|
| 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.30957#8OZ8, Tangent direction of the river (statement). In P5YB6R0RK3/e1, lemma D.7
History
- 2026-10-31: add by m2/v0.5.6
Weakly contractible space JR08AKWBEM
| URI | m2://inv/JR08AKWBEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly contractible space, Weakly contractible space (definition). Also Wikidata Q7977980
History
- 2026-11-02: add by m2/dev
JR08J1KKZW JR08J1KKZW
| URI | m2://inv/JR08J1KKZW |
|---|---|
| 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 2609.37271#9T6W (statement). In 9WP2QGKMG8/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
JR09Y1MZGK JR09Y1MZGK
| URI | m2://inv/JR09Y1MZGK |
|---|---|
| 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 2609.19945#JXNQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition JR0CATVSMG
| URI | m2://inv/JR0CATVSMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Casteljau's algorithm#Y9WK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Construction JR0PS131M9
| URI | m2://inv/JR0PS131M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triakis truncated tetrahedron#3DYW, Construction (definition)
History
- 2026-11-02: add by m2/dev
JR0RT0X958 JR0RT0X958
| URI | m2://inv/JR0RT0X958 |
|---|---|
| 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.05193#C0QA (statement). In XDMM0KNNZ9/e1, proposition 38
History
- 2026-10-29: add by m2/v0.4.10
JR16V2GDMB JR16V2GDMB
| URI | m2://inv/JR16V2GDMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03629#7KLR (statement). In T6W0HCPXFN/e1, lemma A2
History
- 2026-10-29: add by m2/v0.4.12
Dov Gabbay JR172WX85D
| URI | m2://inv/JR172WX85D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dov Gabbay, Dov Gabbay (topic). Also Wikidata Q220076
History
- 2026-11-02: add by m2/dev
Richard L. Anderson JR17C6JHMX
| URI | m2://inv/JR17C6JHMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Q0AY, Richard L. Anderson (unknown)
History
- 2026-11-02: add by m2/dev
Lerch transcendent JR17Y5JSC2
| URI | m2://inv/JR17Y5JSC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1546155, Lerch transcendent (definition). Also MathWorld LerchTranscendent, ProofWiki Definition:Lerch_Transcendent
- wikipedia: Wikipedia Lerch transcendent, Lerch transcendent (definition). Also Wikidata Q1546155
History
- 2026-10-26: add by m2/dev
Group representation theory JR1BEJXCF3
| URI | m2://inv/JR1BEJXCF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TXA8, Group representation theory (definition)
History
- 2026-11-02: add by m2/dev
Algorithm \(\SampleLCD\ JR1DH1BGEE
| URI | m2://inv/JR1DH1BGEE |
|---|---|
| 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.08664#W28O, Algorithm \(\SampleLCD\ (definition). In 1YY0P4ZS0T/e1, definition 16
History
- 2026-10-29: add by m2/v0.4.10
Spray JR1DYPJR20
| URI | m2://inv/JR1DYPJR20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spray (mathematics), Spray (definition). Also Wikidata Q7580222
History
- 2026-11-02: add by m2/dev
Bessel potential JR1EWT3DST
| URI | m2://inv/JR1EWT3DST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel potential, Bessel potential (definition). Also Wikidata Q4896404
History
- 2026-11-02: add by m2/dev
Conon of Samos JR1P1N62VF
| URI | m2://inv/JR1P1N62VF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#KMCI, Conon of Samos (unknown)
History
- 2026-11-02: add by m2/dev
Examples JR1WKZZV8N
| URI | m2://inv/JR1WKZZV8N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential growth#0BXM, Examples (example)
History
- 2026-11-02: add by m2/dev
Boundary coefficients JR1WMS9JQG
| URI | m2://inv/JR1WMS9JQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10557#385S, Boundary coefficients (statement). In D2MXWDTHWS/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
JR238FVB8B JR238FVB8B
| URI | m2://inv/JR238FVB8B |
|---|---|
| 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#GZIO (statement). In QR9WE79ERQ/e1, theorem 1.13
History
- 2026-10-29: add by m2/v0.4.10
JR24S62YV9 JR24S62YV9
| URI | m2://inv/JR24S62YV9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-12 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
JR2GAAN99B JR2GAAN99B
| URI | m2://inv/JR2GAAN99B |
|---|---|
| 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.23617#KQ9Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
JR2MG57285 JR2MG57285
| URI | m2://inv/JR2MG57285 |
|---|---|
| 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.26406#X64R (statement)
History
- 2026-11-01: add by m2/v0.6.15
sexticovariant JR2TYE5P5G
| URI | m2://inv/JR2TYE5P5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ALCI, sexticovariant (definition)
History
- 2026-11-02: add by m2/dev
Froude number JR2X5MWMQ8
| URI | m2://inv/JR2X5MWMQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Froude number, Froude number (definition). Also Wikidata Q273090
History
- 2026-11-02: add by m2/dev
JR32E22P5S JR32E22P5S
| URI | m2://inv/JR32E22P5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#VZ6Q (definition). In FR51ART4NF/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
JR3H33RKJT JR3H33RKJT
| URI | m2://inv/JR3H33RKJT |
|---|---|
| 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.36717#U47Q (statement). In 69FBWG9P3B/e1, proposition 3.15
History
- 2026-10-30: add by m2/v0.4.12
Berk-Jones test JR3J22HX5V
| URI | m2://inv/JR3J22HX5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berk-Jones test, Berk-Jones test (definition). Also Wikidata Q137801332
History
- 2026-11-02: add by m2/dev
convergence to a deterministic variable JR3R4WB5J1
| URI | m2://inv/JR3R4WB5J1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05423#T3VZ, convergence to a deterministic variable (definition). In 3ABGS3F1JG/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
JR3RV1BC8V JR3RV1BC8V
| URI | m2://inv/JR3RV1BC8V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#26DL (definition). In W6Y6NPK648/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Enumeration reducibility JR3SD8G8R8
| URI | m2://inv/JR3SD8G8R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumeration reducibility, Enumeration reducibility (definition). Also Wikidata Q104881701
History
- 2026-11-02: add by m2/dev
JR3V9DXSGE JR3V9DXSGE
| URI | m2://inv/JR3V9DXSGE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#YJPI (definition). In WJD9YPGGYH/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Closing the strip estimate JR3VX7B7F5
| URI | m2://inv/JR3VX7B7F5 |
|---|---|
| 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.01391#MP57, Closing the strip estimate (statement). In MAZNVJX5YK/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
JR41EF941Q JR41EF941Q
| URI | m2://inv/JR41EF941Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#K9E5 (statement). In 1PN6NESQER/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
three initial symbols JR42F1GVQF
| URI | m2://inv/JR42F1GVQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#UJ0V, three initial symbols (statement). In JY50YXMH5N/e1, theorem 28
History
- 2026-10-29: add by m2/v0.4.12
JR45H78EAT JR45H78EAT
| URI | m2://inv/JR45H78EAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#EY04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JR49Z37KZG JR49Z37KZG
| URI | m2://inv/JR49Z37KZG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-8 (proof). In RZP28ERRZV, proof, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
directed witnesses to signed minoration JR4BY99VC5
| URI | m2://inv/JR4BY99VC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30525#JHGI, directed witnesses to signed minoration (statement). In CHEZQEACQG/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
signature JR4KPMQ5HG
| URI | m2://inv/JR4KPMQ5HG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > signature, signature (unknown). Also Mathlib Equiv.Perm.sign
History
- 2026-10-26: add by m2/dev
Pappus's area theorem JR4NGA3F30
| URI | m2://inv/JR4NGA3F30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#M20G, Pappus's area theorem (statement)
History
- 2026-11-02: add by m2/dev
JR4RH7ZFSR JR4RH7ZFSR
| URI | m2://inv/JR4RH7ZFSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#9CR3 (statement). In BWJS3H55WH/e1, lemma 37
History
- 2026-10-27: add by m2/v0.3.5
Applications JR4W5WR83T
| URI | m2://inv/JR4W5WR83T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg trace formula#6UKC, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties JR54TVBDJX
| URI | m2://inv/JR54TVBDJX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostka number#YUGF, Properties (statement)
History
- 2026-11-02: add by m2/dev
JR5DHQ3CKS JR5DHQ3CKS
| URI | m2://inv/JR5DHQ3CKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.40214#DW9Q (statement). In XD603HRHKC/e1, proposition B.9
History
- 2026-10-30: add by m2/v0.4.12
Generalizations JR5FPHER2M
| URI | m2://inv/JR5FPHER2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#HJBH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
JR5GTNMXT4 JR5GTNMXT4
| URI | m2://inv/JR5GTNMXT4 |
|---|---|
| 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 alg-geom/9506022#K0IW (statement). In AQGEM4XAKD/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
JR5P3TWEHS JR5P3TWEHS
| URI | m2://inv/JR5P3TWEHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#PVNB (statement). In MQPBZX4DR6/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
JR5QZEHST4 JR5QZEHST4
| URI | m2://inv/JR5QZEHST4 |
|---|---|
| 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.28075#RT76 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JR5W5DVJRC JR5W5DVJRC
| URI | m2://inv/JR5W5DVJRC |
|---|---|
| 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.02663#1DI0 (statement). In PGAZ70WGMG/e1, corollary 16
History
- 2026-10-29: add by m2/v0.4.12
JR61HA8SW7 JR61HA8SW7
| URI | m2://inv/JR61HA8SW7 |
|---|---|
| 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.23238#RJZ7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
JR625Z3RGD JR625Z3RGD
| URI | m2://inv/JR625Z3RGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#HGP0 (statement). In ABS9M47F4K/e1, corollary 3.20
History
- 2026-10-27: add by m2/v0.3.6
JR6JEFH70G JR6JEFH70G
| URI | m2://inv/JR6JEFH70G |
|---|---|
| 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.13618#ZY6O (statement). In XDQAEGH345/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
chartwise criterion JR6PY6A5MW
| URI | m2://inv/JR6PY6A5MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#VXC0, chartwise criterion (statement). In CBCCH5VTMQ/e1, corollary 3.19
History
- 2026-10-29: add by m2/v0.4.12
Bondy–Chvátal theorem JR6RMFZ44W
| URI | m2://inv/JR6RMFZ44W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#59I3, Bondy–Chvátal theorem (definition)
History
- 2026-11-02: add by m2/dev
Pusey–Barrett–Rudolph theorem JR6S0G91MJ
| URI | m2://inv/JR6S0G91MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pusey–Barrett–Rudolph theorem, Pusey–Barrett–Rudolph theorem (statement). Also Wikidata Q17099549
History
- 2026-11-02: add by m2/dev
icosahedron JR6XAXDZFJ
| URI | m2://inv/JR6XAXDZFJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3.2/icosahedron, icosahedron (concept). In Y91XFCEVHQ, index, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Applications JR71H8EZWN
| URI | m2://inv/JR71H8EZWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic interferometry#Y0LM, Applications (example)
History
- 2026-11-02: add by m2/dev
JR734XB2VY JR734XB2VY
| URI | m2://inv/JR734XB2VY |
|---|---|
| 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#RSR3 (statement). In X765ZXXVC3/e1, lemma 6.18
History
- 2026-10-29: add by m2/v0.4.12
Riemann mapping theorem\index{Riemann mapping theorem} JR7843V8F5
| URI | m2://inv/JR7843V8F5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-8, Riemann mapping theorem\index{Riemann mapping theorem} (statement). In VNMV985MXX, thm, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Boundary rank-one certificate JR79C9MHAX
| URI | m2://inv/JR79C9MHAX |
|---|---|
| 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.17371#8CA6, Boundary rank-one certificate (statement). In FF92TNYHQR/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
Carlton E. Lemke JR7AE9PDH9
| URI | m2://inv/JR7AE9PDH9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlton E. Lemke, Carlton E. Lemke (topic). Also Wikidata Q15791164
History
- 2026-11-02: add by m2/dev
J. Malcolm Bird JR7DA6JNXS
| URI | m2://inv/JR7DA6JNXS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. Malcolm Bird, J. Malcolm Bird (topic). Also Wikidata Q23688836
History
- 2026-11-02: add by m2/dev
Statistical process control JR7DRF4RSN
| URI | m2://inv/JR7DRF4RSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CHSN, Statistical process control (definition)
History
- 2026-11-02: add by m2/dev
Filter subbase JR7EFJRHES
| URI | m2://inv/JR7EFJRHES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter on a set#XCGV, Filter subbase (unknown)
History
- 2026-11-02: add by m2/dev
Subbayya Sivasankaranarayana Pillai JR7NGPVB9N
| URI | m2://inv/JR7NGPVB9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subbayya Sivasankaranarayana Pillai, Subbayya Sivasankaranarayana Pillai (topic). Also Wikidata Q370251
History
- 2026-11-02: add by m2/dev
JR7PMF5R13 JR7PMF5R13
| URI | m2://inv/JR7PMF5R13 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-76 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Example JR7XHF4TY7
| URI | m2://inv/JR7XHF4TY7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility rule#SSCU, Example (example)
History
- 2026-11-02: add by m2/dev
Properties JR7YVCDYRB
| URI | m2://inv/JR7YVCDYRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal graph#8K2S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Range bound JR80D4XSW8
| URI | m2://inv/JR80D4XSW8 |
|---|---|
| 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.02355#B1QC, Range bound (statement). In 1AXXV9ZT11/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
JR84783MF1 JR84783MF1
| URI | m2://inv/JR84783MF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#QB2W (statement)
History
- 2026-11-01: add by m2/v0.6.15
partial derivatives JR8P4RY8C0
| URI | m2://inv/JR8P4RY8C0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > partial derivatives, partial derivatives (unknown)
History
- 2026-10-26: add by m2/dev
Iraqi block cipher JR8XXV09T2
| URI | m2://inv/JR8XXV09T2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iraqi block cipher, Iraqi block cipher (definition). Also Wikidata Q3801848
History
- 2026-11-02: add by m2/dev
Stanisław Saks JR92SDNQ0D
| URI | m2://inv/JR92SDNQ0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CSFP, Stanisław Saks (topic)
History
- 2026-11-02: add by m2/dev
Laplace equation JR9778HY2F
| URI | m2://inv/JR9778HY2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#SR0H, Laplace equation (definition)
History
- 2026-11-02: add by m2/dev
JR997TAAE6 JR997TAAE6
| URI | m2://inv/JR997TAAE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#WXG2 (statement). In Y8A35AV31M/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Hadamard parametrix construction JR9A9EHVDF
| URI | m2://inv/JR9A9EHVDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametrix#7EA3, Hadamard parametrix construction (unknown)
History
- 2026-11-02: add by m2/dev
Applications JR9HVP6W7X
| URI | m2://inv/JR9HVP6W7X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dormand–Prince method#2QVI, Applications (example)
History
- 2026-11-02: add by m2/dev
JR9JJ20RW7 JR9JJ20RW7
| URI | m2://inv/JR9JJ20RW7 |
|---|---|
| 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 1303.4328#VQ6N (statement). In HCTYW6VH87/e1, theorem C.2
History
- 2026-10-27: add by m2/v0.3.5
Properties JR9TFNEVQY
| URI | m2://inv/JR9TFNEVQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductor of an abelian variety#IJY8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conditional expectation JRA0S7V5A5
| URI | m2://inv/JRA0S7V5A5 |
|---|---|
| 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.18907#E01D, Conditional expectation (statement). In 4SSZ4PF2P2/e1, theorem A.2
History
- 2026-10-28: add by m2/v0.4.2
JRABCR3E6M JRABCR3E6M
| URI | m2://inv/JRABCR3E6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37337#GGCZ (statement). In 813JGZV08G/e1, corollary 7.2
History
- 2026-10-30: add by m2/v0.4.12
Uses JRAM4DJRED
| URI | m2://inv/JRAM4DJRED |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brain in a vat#CIK8, Uses (example)
History
- 2026-11-02: add by m2/dev
JRAT0ZK84Z JRAT0ZK84Z
| URI | m2://inv/JRAT0ZK84Z |
|---|---|
| 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 2506.07061#A2L5 (statement). In G2PA4KAGRP/e1, theorem 2.23
History
- 2026-10-27: add by m2/v0.3.6
Post machine JRATG8QXTB
| URI | m2://inv/JRATG8QXTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#QVHT, Post machine (definition)
History
- 2026-11-02: add by m2/dev
JRAVGSSFKH JRAVGSSFKH
| URI | m2://inv/JRAVGSSFKH |
|---|---|
| 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.17476#ED1U (statement). In 6HXD74FA4S/e1, theorem 10.1
History
- 2026-10-28: add by m2/v0.4.2
Latent Dirichlet allocation JRAYVM4CDR
| URI | m2://inv/JRAYVM4CDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent Dirichlet allocation, Latent Dirichlet allocation (definition). Also Wikidata Q269236
History
- 2026-11-02: add by m2/dev
Jörn Dunkel JRB11TDRJS
| URI | m2://inv/JRB11TDRJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jörn Dunkel, Jörn Dunkel (topic). Also Wikidata Q42323437
History
- 2026-11-02: add by m2/dev
JRBEG1W9YY JRBEG1W9YY
| URI | m2://inv/JRBEG1W9YY |
|---|---|
| Kind | statement |
| 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#TFX3 (statement). In CGA36VE1C5/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
JRBM37Z8KY JRBM37Z8KY
| URI | m2://inv/JRBM37Z8KY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 4
History
- 2026-11-01: add by m2/v0.6.13
JRBT33FTWS JRBT33FTWS
| URI | m2://inv/JRBT33FTWS |
|---|---|
| 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.15424#1HIX (statement). In C4081PN64B/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Comparison of BitTorrent clients JRBVT0TTSV
| URI | m2://inv/JRBVT0TTSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of BitTorrent clients, Comparison of BitTorrent clients (definition). Also Wikidata Q1419551
History
- 2026-11-02: add by m2/dev
Rate vanishes as $\varepsilon\to 0$ JRBW2AM7WT
| URI | m2://inv/JRBW2AM7WT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05712#1OO1, Rate vanishes as $\varepsilon\to 0$ (statement). In 44Q2H3DWNW/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Kernel of a function-field derivation JRBXQ1W3CC
| URI | m2://inv/JRBXQ1W3CC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#HVHL, Kernel of a function-field derivation (statement). In A5R31P82BK/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
parameter, space JRC50CAHNA
| URI | m2://inv/JRC50CAHNA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/parameter-space, parameter, space (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Bernard J. Matkowsky JRCB0NC8ZC
| URI | m2://inv/JRCB0NC8ZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard J. Matkowsky, Bernard J. Matkowsky (topic). Also Wikidata Q47879594
History
- 2026-11-02: add by m2/dev
JRCE4F1VG8 JRCE4F1VG8
| URI | m2://inv/JRCE4F1VG8 |
|---|---|
| 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.09704#XJBT (statement). In FNG4B47MRV/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
Definition JRCF5EDHZT
| URI | m2://inv/JRCF5EDHZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate stable distribution#5RJH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition JRCPK80FYT
| URI | m2://inv/JRCPK80FYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum relative entropy#TKYP, Definition (definition)
History
- 2026-11-02: add by m2/dev
John Aston JRCR1R3QW3
| URI | m2://inv/JRCR1R3QW3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Aston (statistician), John Aston (topic). Also Wikidata Q91907795
History
- 2026-11-02: add by m2/dev
Plane of rotation JRCW8JK7TA
| URI | m2://inv/JRCW8JK7TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane of rotation, Plane of rotation (definition). Also Wikidata Q7201016
History
- 2026-11-02: add by m2/dev
Carl Friedrich Gauss JRD3PXZTJY
| URI | m2://inv/JRD3PXZTJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#8LZ6, Carl Friedrich Gauss (topic)
History
- 2026-11-02: add by m2/dev
Consensus clustering JRD3XFBJBY
| URI | m2://inv/JRD3XFBJBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus clustering, Consensus clustering (definition). Also Wikidata Q5162841
History
- 2026-11-02: add by m2/dev
JRD92C5XCH JRD92C5XCH
| URI | m2://inv/JRD92C5XCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#TANN (statement). In N3P196CEAJ/e1, lemma A.5
History
- 2026-10-30: add by m2/v0.4.12
Millennials in the United States JRD9KFPZKQ
| URI | m2://inv/JRD9KFPZKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennials in the United States, Millennials in the United States (definition). Also Wikidata Q122761636
History
- 2026-11-02: add by m2/dev
Deficiency JRDDDXH3X4
| URI | m2://inv/JRDDDXH3X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deficiency (statistics), Deficiency (definition). Also Wikidata Q124719131
History
- 2026-11-02: add by m2/dev
Properties JRDDWNSRAF
| URI | m2://inv/JRDDWNSRAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly smooth space#G2NM, Properties (statement)
History
- 2026-11-02: add by m2/dev
JRDKRCA2E7 JRDKRCA2E7
| URI | m2://inv/JRDKRCA2E7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/enumerating-tms.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 86.6
History
- 2026-11-01: add by m2/v0.6.13
Nonnegative operators with compact resolvent JRDNSCSHCS
| URI | m2://inv/JRDNSCSHCS |
|---|---|
| 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.01855#BX83, Nonnegative operators with compact resolvent (statement). In MM8P5CJR18/e1, corollary A.2
History
- 2026-10-29: add by m2/v0.4.12
Disjointness JRDTBCRQY8
| URI | m2://inv/JRDTBCRQY8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14154#PUCR, Disjointness (definition). In 8X6PXX2TRA/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Drinfeld module JRE45P6178
| URI | m2://inv/JRE45P6178 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drinfeld module, Drinfeld module (definition). Also Wikidata Q3277053
History
- 2026-11-02: add by m2/dev
JREGDFCMVB JREGDFCMVB
| URI | m2://inv/JREGDFCMVB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-27 (exercise). In VNMV985MXX, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Émile Lemoine JREP6N6MWQ
| URI | m2://inv/JREP6N6MWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q286074, Émile Lemoine (unknown). Also ProofWiki Mathematician:Émile_Michel_Hyacinthe_Lemoine
- wikipedia: Wikipedia Émile Lemoine, Émile Lemoine (topic). Also Wikidata Q286074
History
- 2026-10-26: add by m2/dev
JREX64JXMF JREX64JXMF
| URI | m2://inv/JREX64JXMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.01359#ZT4T (statement). In BFV19FC2G7/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Reciprocal distribution JRF00AN1XM
| URI | m2://inv/JRF00AN1XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FRSC, Reciprocal distribution (definition)
History
- 2026-11-02: add by m2/dev
Schroeder stairs JRF0BQPSM9
| URI | m2://inv/JRF0BQPSM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21072708, Schroeder stairs (unknown). Also MathWorld SchroederStairs
History
- 2026-10-26: add by m2/dev
JRFB2RK0Q8 JRFB2RK0Q8
| URI | m2://inv/JRFB2RK0Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14811#ZCVK (statement). In QA5CM6HNM1/e1, theorem 14.1
History
- 2026-10-28: add by m2/v0.4.2
Support at valuation $p+3$ JRFBNYG6ZB
| URI | m2://inv/JRFBNYG6ZB |
|---|---|
| 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.15262#HY8V, Support at valuation $p+3$ (statement). In C44HVXWYRF/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
music JRFXT147NR
| URI | m2://inv/JRFXT147NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q638, music (definition). Also ProofWiki Definition:Music
History
- 2026-10-26: add by m2/dev
JRFZVR2075 JRFZVR2075
| URI | m2://inv/JRFZVR2075 |
|---|---|
| Kind | example |
| 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 math/0003117#HDDS (example). In WD2NCBV9F0/e1, example 4.7
History
- 2026-10-27: add by m2/v0.3.5
JRG96F7AVF JRG96F7AVF
| URI | m2://inv/JRG96F7AVF |
|---|---|
| Kind | definition |
| 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 2411.11470#8UDM (definition). In G1E3KERT6K/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Ciucu JRGD7GRDS6
| URI | m2://inv/JRGD7GRDS6 |
|---|---|
| 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.38493#D44H, Ciucu (statement). In WTA8VGP6B1/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Prescribed scalar curvature problem JRGE0897N8
| URI | m2://inv/JRGE0897N8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prescribed scalar curvature problem, Prescribed scalar curvature problem (problem). Also Wikidata Q7240881
History
- 2026-11-02: add by m2/dev
Post correspondence problem JRGGFR67J4
| URI | m2://inv/JRGGFR67J4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post correspondence problem, Post correspondence problem (problem). Also Wikidata Q798572
History
- 2026-11-02: add by m2/dev
Kurt Strebel JRGYRX5J8A
| URI | m2://inv/JRGYRX5J8A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Strebel, Kurt Strebel (topic). Also Wikidata Q15824700
History
- 2026-11-02: add by m2/dev
arithmetic JRHXZB5JE1
| URI | m2://inv/JRHXZB5JE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#YL6W, arithmetic (definition)
History
- 2026-11-02: add by m2/dev
The Vertical Isomorphisms---Top Twist Cases JRJ1V33RY8
| URI | m2://inv/JRJ1V33RY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#XW98, The Vertical Isomorphisms---Top Twist Cases (statement). In 46370P3Y9S/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.4.2
JRJ4H2YDWJ JRJ4H2YDWJ
| URI | m2://inv/JRJ4H2YDWJ |
|---|---|
| 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.14821#VUQI (statement). In B0B2P7JEAQ/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Riemann-Roch for 0-cycles JRJ6GSJQ8J
| URI | m2://inv/JRJ6GSJQ8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#WSCT, Riemann-Roch for 0-cycles (statement). In E1Y93JNBJA/e1, theorem 7.2
History
- 2026-10-31: add by m2/v0.5.6
Funk transform JRJ9P3TDAF
| URI | m2://inv/JRJ9P3TDAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Funk transform, Funk transform (definition). Also Wikidata Q5509245
History
- 2026-11-02: add by m2/dev
Examples JRJFTZCF2G
| URI | m2://inv/JRJFTZCF2G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian monoidal category#0TNV, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties JRJGFCTZ9Y
| URI | m2://inv/JRJGFCTZ9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact Lie algebra#EN63, Properties (statement)
History
- 2026-11-02: add by m2/dev
JRJTTPQCE2 JRJTTPQCE2
| URI | m2://inv/JRJTTPQCE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#BWGW (statement). In QJ6AEW93RB/e1, lemma 1.8
History
- 2026-10-30: add by m2/v0.4.12
Poincaré lemma JRJW0PTZB2
| URI | m2://inv/JRJW0PTZB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#HJ72, Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
existence and uniqueness JRJY4T7JKQ
| URI | m2://inv/JRJY4T7JKQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.3/existence-and-uniqueness, existence and uniqueness (concept). In E9HS8K3A52, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
SSH File Transfer Protocol JRJYDSXSFV
| URI | m2://inv/JRJYDSXSFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSH File Transfer Protocol, SSH File Transfer Protocol (definition). Also Wikidata Q1126823
History
- 2026-11-02: add by m2/dev
JRKDH2HE2N JRKDH2HE2N
| URI | m2://inv/JRKDH2HE2N |
|---|---|
| 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 2107.00792#HDVW (statement). In TD16A541ZN/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
JRKMKT2XH3 JRKMKT2XH3
| URI | m2://inv/JRKMKT2XH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-5 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Buenaventura River JRKMXCDTCN
| URI | m2://inv/JRKMXCDTCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#8CQ7, Buenaventura River (unknown)
History
- 2026-11-02: add by m2/dev
JRKRAWHE11 JRKRAWHE11
| URI | m2://inv/JRKRAWHE11 |
|---|---|
| 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.26675#I5FB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Geli JRKW2R6FPW
| URI | m2://inv/JRKW2R6FPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geli (software), Geli (definition). Also Wikidata Q5530435
History
- 2026-11-02: add by m2/dev
mock modular form JRKY1M39B3
| URI | m2://inv/JRKY1M39B3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754575, mock modular form (concept). Also MathWorld MockThetaFunction
- wikipedia: Wikipedia Mock modular form, Mock modular form (definition). Also Wikidata Q3754575
History
- 2026-10-26: add by m2/dev
Fisher kernel JRKZ9E35XQ
| URI | m2://inv/JRKZ9E35XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher kernel, Fisher kernel (definition). Also Wikidata Q8563425
History
- 2026-11-02: add by m2/dev
Mixed quantum state JRKZCTP0NK
| URI | m2://inv/JRKZCTP0NK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum state#3QVP, Mixed quantum state (unknown)
History
- 2026-11-02: add by m2/dev
Properties and Applications JRM45ZHHQA
| URI | m2://inv/JRM45ZHHQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kundu equation#MMQF, Properties and Applications (statement)
History
- 2026-11-02: add by m2/dev
JRMBJS2YAV JRMBJS2YAV
| URI | m2://inv/JRMBJS2YAV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-3.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
JRMN8WHTJQ JRMN8WHTJQ
| URI | m2://inv/JRMN8WHTJQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 93.7
History
- 2026-11-01: add by m2/v0.6.13
JRN5MFG0R9 JRN5MFG0R9
| URI | m2://inv/JRN5MFG0R9 |
|---|---|
| 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 2608.23797#B2IV (statement). In PZCA01JXVR/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Circuit axioms JRNCKT37AA
| URI | m2://inv/JRNCKT37AA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented matroid#5HYQ, Circuit axioms (statement)
History
- 2026-11-02: add by m2/dev
Properties JRNDDMB031
| URI | m2://inv/JRNDDMB031 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant#UZ9T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Paul Guldin JRNHVHKMJZ
| URI | m2://inv/JRNHVHKMJZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Guldin, Paul Guldin (topic). Also Wikidata Q93538
History
- 2026-11-02: add by m2/dev
Dorothy Edgington JRNMTBC060
| URI | m2://inv/JRNMTBC060 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#KK71, Dorothy Edgington (topic)
History
- 2026-11-02: add by m2/dev
JRNN1WYT70 JRNN1WYT70
| URI | m2://inv/JRNN1WYT70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.01594#REFS (statement). In BR3N3GSY2C/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Enumerations of specific permutation classes JRNQSK87DA
| URI | m2://inv/JRNQSK87DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#ZNX2, Enumerations of specific permutation classes (definition)
History
- 2026-11-02: add by m2/dev
Orbit method JRNS2PWK5F
| URI | m2://inv/JRNS2PWK5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#AQ8Q, Orbit method (definition)
History
- 2026-11-02: add by m2/dev
Dong--Mason JRP0F72CG0
| URI | m2://inv/JRP0F72CG0 |
|---|---|
| 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.29489#7097, Dong--Mason (statement)
History
- 2026-11-01: add by m2/v0.6.15
JRPAHS6E94 JRPAHS6E94
| URI | m2://inv/JRPAHS6E94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/beta-function.tex#lem:beta (statement). In PKGMM3P5QY, lem, section 29.4
History
- 2026-11-01: add by m2/v0.6.13
Applications JRPKC4SDWE
| URI | m2://inv/JRPKC4SDWE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concatenation#EP0V, Applications (example)
History
- 2026-11-02: add by m2/dev
Moments of Gaussian measures JRPNV063KM
| URI | m2://inv/JRPNV063KM |
|---|---|
| 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 2406.07116#QG32, Moments of Gaussian measures (statement). In 5B030CB2RK/e1, lemma 9.8
History
- 2026-10-27: add by m2/v0.3.6
Circle packing theorem JRPS7HJPVC
| URI | m2://inv/JRPS7HJPVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle packing theorem, Circle packing theorem (statement). Also Wikidata Q5121504
History
- 2026-11-02: add by m2/dev
Luzin space JRPSEYHFCS
| URI | m2://inv/JRPSEYHFCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luzin space, Luzin space (definition). Also Wikidata Q4381558
History
- 2026-11-02: add by m2/dev
Maryna Viazovska JRQ33ZMKCR
| URI | m2://inv/JRQ33ZMKCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23721911, Maryna Viazovska (unknown). Also nLab Maryna Viazovska
- wikipedia: Wikipedia Maryna Viazovska, Maryna Viazovska (topic). Also Wikidata Q23721911
History
- 2026-10-26: add by m2/dev
Fondements de la Géometrie Algébrique JRQ8RYE1E4
| URI | m2://inv/JRQ8RYE1E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fondements de la Géometrie Algébrique, Fondements de la Géometrie Algébrique (definition). Also Wikidata Q3075733
History
- 2026-11-02: add by m2/dev
Lisa M. LaVange JRQ93H5EPF
| URI | m2://inv/JRQ93H5EPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#I3JQ, Lisa M. LaVange (unknown)
History
- 2026-11-02: add by m2/dev
Seven Fields, Pennsylvania JRQC3QB0BZ
| URI | m2://inv/JRQC3QB0BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#V9HM, Seven Fields, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
JRQCSKZ8YY JRQCSKZ8YY
| URI | m2://inv/JRQCSKZ8YY |
|---|---|
| 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#6BCP (statement)
History
- 2026-11-02: add by m2/v0.6.17
JRQD3ACMFD JRQD3ACMFD
| URI | m2://inv/JRQD3ACMFD |
|---|---|
| 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.14821#0SF2 (statement). In B0B2P7JEAQ/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Chen–Gackstatter surface JRQGQQJ2A3
| URI | m2://inv/JRQGQQJ2A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5091567, Chen–Gackstatter surface (unknown). Also MathWorld Chen-GackstatterSurfaces
- wikipedia: Wikipedia Chen–Gackstatter surface, Chen–Gackstatter surface (definition). Also Wikidata Q5091567
History
- 2026-10-26: add by m2/dev
JRQHSXVBVT JRQHSXVBVT
| URI | m2://inv/JRQHSXVBVT |
|---|---|
| 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 2503.16884#EK5Z (statement). In B984KNW591/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Promptuary JRQRGH1KQ6
| URI | m2://inv/JRQRGH1KQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Promptuary, Promptuary (definition). Also Wikidata Q7249900
History
- 2026-11-02: add by m2/dev
Examples JRQS691JZK
| URI | m2://inv/JRQS691JZK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally profinite group#RJTY, Examples (example)
History
- 2026-11-02: add by m2/dev
excluded middle JRQSH8PFVX
| URI | m2://inv/JRQSH8PFVX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/excluded-middle, excluded middle (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Explicit and implicit methods JRR58257K3
| URI | m2://inv/JRR58257K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit and implicit methods, Explicit and implicit methods (definition). Also Wikidata Q5421265
History
- 2026-11-02: add by m2/dev
Coates graph JRR5QBQ3NP
| URI | m2://inv/JRR5QBQ3NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coates graph, Coates graph (definition). Also Wikidata Q5138620
History
- 2026-11-02: add by m2/dev
Methods JRRMHTX9SA
| URI | m2://inv/JRRMHTX9SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression#EGJX, Methods (definition)
History
- 2026-11-02: add by m2/dev
Generalized Kahler structure JRRN9W4AV6
| URI | m2://inv/JRRN9W4AV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized complex structure#RANY, Generalized Kahler structure (unknown)
History
- 2026-11-02: add by m2/dev
Quantum entanglement JRRRGG6E1D
| URI | m2://inv/JRRRGG6E1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#DKSP, Quantum entanglement (definition)
History
- 2026-11-02: add by m2/dev
JRRTENT0GH JRRTENT0GH
| URI | m2://inv/JRRTENT0GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#TXZ8 (statement). In 66H5YPQCYV/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Construction JRRW5Y9PXB
| URI | m2://inv/JRRW5Y9PXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldberg–Coxeter construction#BW0Z, Construction (definition)
History
- 2026-11-02: add by m2/dev
JRS3YRQHZS JRS3YRQHZS
| URI | m2://inv/JRS3YRQHZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26452#XYC1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact preservation JRS9PTHFAT
| URI | m2://inv/JRS9PTHFAT |
|---|---|
| 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.33794#HA8V, Exact preservation (statement). In W0PQMW25VY/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Astrophobia JRSB5Z5XFQ
| URI | m2://inv/JRSB5Z5XFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space#BZIT, Astrophobia (unknown)
History
- 2026-11-02: add by m2/dev
JRSCKH0SZM JRSCKH0SZM
| URI | m2://inv/JRSCKH0SZM |
|---|---|
| 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 2206.11471#4AIE (statement). In 8387H919D5/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Three descriptions of $T$ JRSETCRGX5
| URI | m2://inv/JRSETCRGX5 |
|---|---|
| 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.26201#JU6Z, Three descriptions of $T$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Relative different JRSEW85HAJ
| URI | m2://inv/JRSEW85HAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Different ideal#M5BO, Relative different (unknown)
History
- 2026-11-02: add by m2/dev
gyroelongated triangular bicupola JRSF9D45JG
| URI | m2://inv/JRSF9D45JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2023304, gyroelongated triangular bicupola (object). Also MathWorld GyroelongatedTriangularBicupola
- wikipedia: Wikipedia Gyroelongated triangular bicupola, Gyroelongated triangular bicupola (definition). Also Wikidata Q2023304
History
- 2026-10-26: add by m2/dev
Betty W. Holz JRSKJCDFZ4
| URI | m2://inv/JRSKJCDFZ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betty W. Holz, Betty W. Holz (topic). Also Wikidata Q108986057
History
- 2026-11-02: add by m2/dev
JRSQ1ZBRRS JRSQ1ZBRRS
| URI | m2://inv/JRSQ1ZBRRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#3E5Y (statement). In 7QXAZXGNPQ/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
GNU Privacy Guard JRSZ4Q3044
| URI | m2://inv/JRSZ4Q3044 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNU Privacy Guard, GNU Privacy Guard (definition). Also Wikidata Q223204
History
- 2026-11-02: add by m2/dev
recursion principle, for coproduct JRT1WDY6WB
| URI | m2://inv/JRT1WDY6WB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.7/recursion-principle-for-coproduct, recursion principle, for coproduct (concept). In N54F33XE07, index, section A.7
History
- 2026-11-01: add by m2/v0.6.13
JRTC83VCXH JRTC83VCXH
| URI | m2://inv/JRTC83VCXH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.05730#HFX2 (problem). In VQ7STN4KDC/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Olga Vitek JRTQ2GZZCD
| URI | m2://inv/JRTQ2GZZCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#LS4Y, Olga Vitek (unknown)
History
- 2026-11-02: add by m2/dev
Cayley-Klein parameters JRTREZFGK6
| URI | m2://inv/JRTREZFGK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Rodrigues formula#RUZI, Cayley-Klein parameters (unknown)
History
- 2026-11-02: add by m2/dev
Michael D. Morley JRV3J6ZPYC
| URI | m2://inv/JRV3J6ZPYC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael D. Morley, Michael D. Morley (topic). Also Wikidata Q1928649
History
- 2026-11-02: add by m2/dev
JRV5R87SVG JRV5R87SVG
| URI | m2://inv/JRV5R87SVG |
|---|---|
| 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.33954#E2HM (statement). In DBC6DB2VW0/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
\texttt{Constrained entropy production JRVBNKQ6CP
| URI | m2://inv/JRVBNKQ6CP |
|---|---|
| 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.06343#5OOM, \texttt{Constrained entropy production (statement). In R8176XJ535/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
positional draw JRVDM23BVC
| URI | m2://inv/JRVDM23BVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2105652, positional draw (definition). Also ProofWiki Definition:Chess/Draw/Insufficient_Pieces
History
- 2026-10-26: add by m2/dev
Shor, Naum Zuselevevich JRVFD6CQP1
| URI | m2://inv/JRVFD6CQP1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#8F2D, Shor, Naum Zuselevevich (topic)
History
- 2026-11-02: add by m2/dev
James Earl Baumgartner JRVJ5B5ZMK
| URI | m2://inv/JRVJ5B5ZMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SYRD, James Earl Baumgartner (topic)
History
- 2026-11-02: add by m2/dev
JRVNNJ74QS JRVNNJ74QS
| URI | m2://inv/JRVNNJ74QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31393#D12J (statement). In ED0WC9Z55C/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
JRVP6CVNAY JRVP6CVNAY
| URI | m2://inv/JRVP6CVNAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13734#CGBL (statement). In XB23QP7GK9/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
Liouville integrability JRVTQ90M7R
| URI | m2://inv/JRVTQ90M7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrable system#NCTB, Liouville integrability (unknown)
History
- 2026-11-02: add by m2/dev
Economic data JRVWZ3J25X
| URI | m2://inv/JRVWZ3J25X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NZQO, Economic data (definition)
History
- 2026-11-02: add by m2/dev
Virbhadra–Ellis lens equation JRVXM35N20
| URI | m2://inv/JRVXM35N20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virbhadra–Ellis lens equation, Virbhadra–Ellis lens equation (definition). Also Wikidata Q7933669
History
- 2026-11-02: add by m2/dev
Dyadic distribution JRW2V8HSK6
| URI | m2://inv/JRW2V8HSK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadic distribution, Dyadic distribution (definition). Also Wikidata Q5318398
History
- 2026-11-02: add by m2/dev
JRW6R75KM6 JRW6R75KM6
| URI | m2://inv/JRW6R75KM6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-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 2601.13782#SJ1X (definition). In 12RSHWCNMX/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Forward nonbranching JRW8RJGEP3
| URI | m2://inv/JRW8RJGEP3 |
|---|---|
| Kind | definition |
| 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.17129#2V73, Forward nonbranching (definition). In TCZWAMNYCV/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
JRWEW0A48V JRWEW0A48V
| URI | m2://inv/JRWEW0A48V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03851#B1GF (statement). In HNV63B8Y1A/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.12
Generalized logistic distribution JRWGY2GESS
| URI | m2://inv/JRWGY2GESS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized logistic distribution, Generalized logistic distribution (definition). Also Wikidata Q65205009
History
- 2026-11-02: add by m2/dev
Bounded inverse theorem JRWMEAZN1T
| URI | m2://inv/JRWMEAZN1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4949984, Bounded inverse theorem (statement). Also Wikidata Q4949984
- thousand_plus: thousand_plus Q4949984, Bounded inverse theorem (statement). Also Wikidata Q4949984, Wikipedia Bounded inverse theorem
History
- 2026-10-26: add by m2/dev
JRWX615TRB JRWX615TRB
| URI | m2://inv/JRWX615TRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#T7IL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hooke's law JRWX9266NW
| URI | m2://inv/JRWX9266NW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum harmonic oscillator#JKQB, Hooke's law (statement)
History
- 2026-11-02: add by m2/dev
JRWZB1GE3Z JRWZB1GE3Z
| URI | m2://inv/JRWZB1GE3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#7IV9 (statement). In S654779J5P/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Zvi Galil JRX4JMSEEE
| URI | m2://inv/JRX4JMSEEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#IE2B, Zvi Galil (topic)
History
- 2026-11-02: add by m2/dev
Iwasawa theory JRX9PNTD7D
| URI | m2://inv/JRX9PNTD7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#MZVS, Iwasawa theory (topic)
History
- 2026-11-02: add by m2/dev
JRXASHQP85 JRXASHQP85
| URI | m2://inv/JRXASHQP85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#D7W0 (statement). In VD4JP4HVBX/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
Statement JRXCJ5DF25
| URI | m2://inv/JRXCJ5DF25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem for surfaces#0BIZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
JRXE4N56DK JRXE4N56DK
| URI | m2://inv/JRXE4N56DK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
β JRXHJE9PW3
| URI | m2://inv/JRXHJE9PW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#DC4E, β (definition)
History
- 2026-11-02: add by m2/dev
C.a.R. JRXP3WH8DB
| URI | m2://inv/JRXP3WH8DB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#ZE6T, C.a.R. (unknown)
History
- 2026-11-02: add by m2/dev
JRXPM8GBR4 JRXPM8GBR4
| URI | m2://inv/JRXPM8GBR4 |
|---|---|
| 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.03497#P6OU (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Janet D. Elashoff JRXQHQSXXC
| URI | m2://inv/JRXQHQSXXC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#UEAL, Janet D. Elashoff (topic)
History
- 2026-11-02: add by m2/dev
Regional ISS in $\mathbb{X}$ JRXTXADJY0
| URI | m2://inv/JRXTXADJY0 |
|---|---|
| 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 2303.11021#3QHN, Regional ISS in $\mathbb{X}$ (definition). In B2ZK4DF2PM/e1, definition 3
History
- 2026-10-27: add by m2/v0.4.0
Statement JRXXW5E5VN
| URI | m2://inv/JRXXW5E5VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolle's theorem#0Z2M, Statement (statement)
History
- 2026-11-02: add by m2/dev
Examples JRXYEDTZDK
| URI | m2://inv/JRXYEDTZDK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub (geometry)#Z554, Examples (example)
History
- 2026-11-02: add by m2/dev
JRY50D8PXK JRY50D8PXK
| URI | m2://inv/JRY50D8PXK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/line-bundles.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 85.3
History
- 2026-11-01: add by m2/v0.6.13
Hugo E. Rossi JRY7VJEQ7N
| URI | m2://inv/JRY7VJEQ7N |
|---|---|
| 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#8RSF, Hugo E. Rossi (topic)
History
- 2026-11-02: add by m2/dev
JRYCA8PF6P JRYCA8PF6P
| URI | m2://inv/JRYCA8PF6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#8QFX (statement). In XBHQRTBH62/e1, theorem 5.9
History
- 2026-10-31: add by m2/v0.5.6
Local hardness from directional derivative bounds JRYGEBK58K
| URI | m2://inv/JRYGEBK58K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#EP6J, Local hardness from directional derivative bounds (statement). In ZZER8ZBSCR/e1, theorem 5.28
History
- 2026-10-29: add by m2/v0.4.12
Gabriel Cramer JRYRB5KZK6
| URI | m2://inv/JRYRB5KZK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel Cramer, Gabriel Cramer (topic). Also Wikidata Q122331
History
- 2026-11-02: add by m2/dev
Sun JRYRH4B6WJ
| URI | m2://inv/JRYRH4B6WJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#BKKM, Sun (unknown)
History
- 2026-11-02: add by m2/dev
Truncated stochastic-characteristic equation JRYVDCHW6T
| URI | m2://inv/JRYVDCHW6T |
|---|---|
| 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#YK67, Truncated stochastic-characteristic equation (statement). In XREKHJHAT7/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
JRZ6BDYMAP JRZ6BDYMAP
| URI | m2://inv/JRZ6BDYMAP |
|---|---|
| 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.23327#X0HC (statement)
History
- 2026-11-02: add by m2/v0.6.17
JRZGR3JKZ9 JRZGR3JKZ9
| URI | m2://inv/JRZGR3JKZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#ITH0 (statement). In 6R0KH80PTK/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Definition JRZJRXGSVK
| URI | m2://inv/JRZJRXGSVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming distance#PWDJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
JRZQWCJ2VA JRZQWCJ2VA
| URI | m2://inv/JRZQWCJ2VA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example:harmonsumanything (example). In E59CDZA4DP, example, section 10.6.3
History
- 2026-11-01: add by m2/v0.6.13
Symmetric power JRZWMPEHX1
| URI | m2://inv/JRZWMPEHX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric power, Symmetric power (definition). Also Wikidata Q55643402
History
- 2026-11-02: add by m2/dev