Inventory rows JG
The cards of the rows of the inventory whose ids start with JG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
JG01324DHA JG01324DHA
| URI | m2://inv/JG01324DHA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#FXJA (example)
History
- 2026-11-01: add by m2/v0.6.15
Record medium JG01A5R14Q
| URI | m2://inv/JG01A5R14Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data storage#H1SJ, Record medium (unknown)
History
- 2026-11-02: add by m2/dev
Compactness JG08HHM59F
| URI | m2://inv/JG08HHM59F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16563#6LUN, Compactness (statement). In V51HCA9ZAA/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
JG0C70AXC8 JG0C70AXC8
| URI | m2://inv/JG0C70AXC8 |
|---|---|
| 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 2610.15698#WYE9 (statement). In 69GJX04N6M/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
JG0NV27H6J JG0NV27H6J
| URI | m2://inv/JG0NV27H6J |
|---|---|
| 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 2111.00496#4KG5 (statement). In 5XJR7QGZXW/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Euclid number JG0NYB7VWC
| URI | m2://inv/JG0NYB7VWC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q728223, Euclid number (object). Also OEIS A006862
- wikipedia: Wikipedia Euclid number, Euclid number (conjecture). Also Wikidata Q728223
History
- 2026-10-26: add by m2/dev
JG0RK6ZVJ7 JG0RK6ZVJ7
| URI | m2://inv/JG0RK6ZVJ7 |
|---|---|
| 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.14086#8OCX (statement). In J6EZ2RQW2F/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
square matrix JG0S0WRK74
| URI | m2://inv/JG0S0WRK74 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.2.1/square-matrix, square matrix (concept). In E9HS8K3A52, index, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
JG1ARZKES7 JG1ARZKES7
| URI | m2://inv/JG1ARZKES7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#L3DR (statement)
History
- 2026-11-01: add by m2/v0.6.15
JG1MFK5WPH JG1MFK5WPH
| URI | m2://inv/JG1MFK5WPH |
|---|---|
| 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 2301.07434#CD1H (statement). In 7XZHQ2H5ZD/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
JG21499WG6 JG21499WG6
| URI | m2://inv/JG21499WG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07285#PQJF (statement). In S284XRA4WK/e1, lemma B.8
History
- 2026-10-29: add by m2/v0.4.10
Hasse's theorem on elliptic curves JG226VWAYY
| URI | m2://inv/JG226VWAYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3502015, Hasse's theorem on elliptic curves (statement). Also Wikidata Q3502015
- thousand_plus: thousand_plus Q3502015, Hasse's theorem on elliptic curves (statement). Also Wikidata Q3502015, Wikipedia Hasse's theorem on elliptic curves
- wikipedia: Wikipedia Hasse's theorem on elliptic curves, Hasse's theorem on elliptic curves (statement). Also Wikidata Q3502015
History
- 2026-10-26: add by m2/dev
Curt Meyer JG2656QBV0
| URI | m2://inv/JG2656QBV0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curt Meyer, Curt Meyer (topic). Also Wikidata Q91363
History
- 2026-11-02: add by m2/dev
index number JG283V3D0B
| URI | m2://inv/JG283V3D0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1738991, index number (unknown). Also MathWorld IndexNumber
History
- 2026-10-26: add by m2/dev
JG2F6QZJE8 JG2F6QZJE8
| URI | m2://inv/JG2F6QZJE8 |
|---|---|
| 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 2207.07461#6D9Z (statement). In GAG532VMPF/e1, lemma 7.2.5
History
- 2026-10-27: add by m2/v0.3.5
JG2GF1SD88 JG2GF1SD88
| URI | m2://inv/JG2GF1SD88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 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 2605.02634#O3SC (statement). In EZ6PAF0MXH/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.3.5
JG2S9KBYMC JG2S9KBYMC
| URI | m2://inv/JG2S9KBYMC |
|---|---|
| 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.13103#5LTM (statement). In GG2ZZV6KEQ/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
TI-83 Plus JG2SMEJS4H
| URI | m2://inv/JG2SMEJS4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-83 series#67N1, TI-83 Plus (unknown)
History
- 2026-11-02: add by m2/dev
Dune JG2SYB754B
| URI | m2://inv/JG2SYB754B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dune (mathematics software), Dune (definition). Also Wikidata Q1265582
History
- 2026-11-02: add by m2/dev
Orthogonality JG2XTADRNE
| URI | m2://inv/JG2XTADRNE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#JD69, Orthogonality (definition). In MRR92GQNZE/e1, definition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Galois dehulling JG2YET7P71
| URI | m2://inv/JG2YET7P71 |
|---|---|
| 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.08664#TW6E, Galois dehulling (statement). In 1YY0P4ZS0T/e1, proposition 56
History
- 2026-10-29: add by m2/v0.4.10
JG30ATDEFH JG30ATDEFH
| URI | m2://inv/JG30ATDEFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#BHGX (statement). In VM9V8SXEA2/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Examples JG30QJRVJK
| URI | m2://inv/JG30QJRVJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness#SM3T, Examples (example)
History
- 2026-11-02: add by m2/dev
Formal definition JG33SWS81P
| URI | m2://inv/JG33SWS81P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medial graph#QAFS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Jónsson–Tarski algebra JG342AJ533
| URI | m2://inv/JG342AJ533 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#0DP3, Jónsson–Tarski algebra (definition)
History
- 2026-11-02: add by m2/dev
JG39DQRA64 JG39DQRA64
| URI | m2://inv/JG39DQRA64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#YTD8 (statement). In DH84PYVRCF/e1, corollary 1.6
History
- 2026-10-30: add by m2/v0.4.12
Finite averaging JG3A7JSNHG
| URI | m2://inv/JG3A7JSNHG |
|---|---|
| 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.20994#UQ6H, Finite averaging (statement). In E90KYMVZMR/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Cesaro orthogonality JG3AW47HY2
| URI | m2://inv/JG3AW47HY2 |
|---|---|
| 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.16351#LNC8, Cesaro orthogonality (statement). In 1QSV7EQE3T/e1, lemma S10
History
- 2026-10-28: add by m2/v0.4.2
JG3H22C2A0 JG3H22C2A0
| URI | m2://inv/JG3H22C2A0 |
|---|---|
| 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#1X0R (statement). In 8387H919D5/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
JG3HNZRYT6 JG3HNZRYT6
| URI | m2://inv/JG3HNZRYT6 |
|---|---|
| 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.18101#XB0J (statement). In XXN6KKXPYF/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Olivier Mathieu JG3SA72JFX
| URI | m2://inv/JG3SA72JFX |
|---|---|
| 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#LLGI, Olivier Mathieu (unknown)
History
- 2026-11-02: add by m2/dev
JG3VD7TKMR JG3VD7TKMR
| URI | m2://inv/JG3VD7TKMR |
|---|---|
| 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.21533#PCQJ (statement). In N3Z6JFEPCF/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
Plum Analytics JG42849J25
| URI | m2://inv/JG42849J25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plum Analytics, Plum Analytics (definition). Also Wikidata Q54953793
History
- 2026-11-02: add by m2/dev
Daniel B. Szyld JG4TB2NWPX
| URI | m2://inv/JG4TB2NWPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel B. Szyld, Daniel B. Szyld (topic). Also Wikidata Q80921169
History
- 2026-11-02: add by m2/dev
JG4VE37GXG JG4VE37GXG
| URI | m2://inv/JG4VE37GXG |
|---|---|
| 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#13SV (statement). In VD4JP4HVBX/e1, lemma 10.8
History
- 2026-10-28: add by m2/v0.4.2
JG4VXT6ET4 JG4VXT6ET4
| URI | m2://inv/JG4VXT6ET4 |
|---|---|
| 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 2301.04933#IO7G (statement). In Q70CTMCJTP/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
voir par exemple JG4X02V3RS
| URI | m2://inv/JG4X02V3RS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#8MFM, voir par exemple (statement). In AY2MA29921/e1, theorem 05
History
- 2026-10-27: add by m2/v0.3.5
Christine Proust JG518XYT3P
| URI | m2://inv/JG518XYT3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Proust, Christine Proust (topic). Also Wikidata Q6532268
History
- 2026-11-02: add by m2/dev
Atiyah–Hirzebruch spectral sequence JG5HC3XV4Q
| URI | m2://inv/JG5HC3XV4Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17004665, Atiyah–Hirzebruch spectral sequence (concept). Also nLab Atiyah–Hirzebruch spectral sequence
- wikipedia: Wikipedia Atiyah–Hirzebruch spectral sequence, Atiyah–Hirzebruch spectral sequence (definition). Also Wikidata Q17004665
History
- 2026-10-26: add by m2/dev
q-Laguerre polynomials JG5KKGG078
| URI | m2://inv/JG5KKGG078 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#0OF4, q-Laguerre polynomials (definition)
History
- 2026-11-02: add by m2/dev
Simplex graph JG5R5JW3M8
| URI | m2://inv/JG5R5JW3M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex graph, Simplex graph (definition). Also Wikidata Q7520883
History
- 2026-11-02: add by m2/dev
JG5VW7PHCG JG5VW7PHCG
| URI | m2://inv/JG5VW7PHCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.3062#9NM1 (statement). In R0XRMGK6ZQ/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Cayley's Formula JG5YR30CJY
| URI | m2://inv/JG5YR30CJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_counting-trees.ptx#thm_cayley, Cayley's Formula (statement). In QKM9DD2H56, theorem, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
David Levermore JG65ZZ7PS5
| URI | m2://inv/JG65ZZ7PS5 |
|---|---|
| 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#AQA8, David Levermore (unknown)
History
- 2026-11-02: add by m2/dev
Uniform equicoercivity and Gamma-convergence in time JG67HCG3Z6
| URI | m2://inv/JG67HCG3Z6 |
|---|---|
| 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.20215#2M77, Uniform equicoercivity and Gamma-convergence in time (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations JG68WRDZ8X
| URI | m2://inv/JG68WRDZ8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahlswede–Daykin inequality#ESQ2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
JG69M1PTRM JG69M1PTRM
| URI | m2://inv/JG69M1PTRM |
|---|---|
| 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.07049#8JLP (statement). In GMF552ESG6/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
JG6FRMHQYM JG6FRMHQYM
| URI | m2://inv/JG6FRMHQYM |
|---|---|
| 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.20087#MQX6 (statement). In ZRE2WQR5XA/e1, proposition III.4
History
- 2026-10-27: add by m2/v0.4.2
null set JG6RS1XBAS
| URI | m2://inv/JG6RS1XBAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Null set VQQM4Y550T |
Mentions
- wikidata: Wikidata Q1201815, null set (definition). Also MathWorld MeasureZero, ProofWiki Definition:Null_Set
- wikipedia: Wikipedia Null set, Null set (definition). Also Wikidata Q1201815
History
- 2026-10-26: add by m2/dev
Matilde Lalín JG7399GXNP
| URI | m2://inv/JG7399GXNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matilde Lalín, Matilde Lalín (topic). Also Wikidata Q102278600
History
- 2026-11-02: add by m2/dev
JG74T58KZX JG74T58KZX
| URI | m2://inv/JG74T58KZX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proof-3 (proof). In RZP28ERRZV, proof, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
Plug-in stability JG7DG4MS25
| URI | m2://inv/JG7DG4MS25 |
|---|---|
| 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.11007#TLOE, Plug-in stability (statement). In MF0H78XZXC/e1, lemma C.11
History
- 2026-10-28: add by m2/v0.4.3
Kurt Mahler JG7K0Q0SMH
| URI | m2://inv/JG7K0Q0SMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4W76, Kurt Mahler (topic)
History
- 2026-11-02: add by m2/dev
Relative position JG7QQZ28PZ
| URI | m2://inv/JG7QQZ28PZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Position (geometry)#W0SU, Relative position (unknown)
History
- 2026-11-02: add by m2/dev
JG7YF4P0HD JG7YF4P0HD
| URI | m2://inv/JG7YF4P0HD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-8 (proof). In N54F33XE07, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Definition JG805XK6RP
| URI | m2://inv/JG805XK6RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular decomposition#I6ZB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Unrestricted Bellman theorem implies balanced CK JG8KKQHXAP
| URI | m2://inv/JG8KKQHXAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#HRLO, Unrestricted Bellman theorem implies balanced CK (statement)
History
- 2026-11-01: add by m2/v0.6.15
JG8Z44ED4Z JG8Z44ED4Z
| URI | m2://inv/JG8Z44ED4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#6OIP (statement). In 9B0X8YPF3P/e1, corollary 8.3
History
- 2026-10-28: add by m2/v0.4.2
Definition JG92CWKZHT
| URI | m2://inv/JG92CWKZHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabin signature algorithm#CDO0, Definition (definition)
History
- 2026-11-02: add by m2/dev
random walk JG97DZ36TR
| URI | m2://inv/JG97DZ36TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Random walk 04VZE3FZXF |
Mentions
- wikidata: Wikidata Q856741, random walk (unknown). Also MathWorld RandomWalk
- wikipedia: Wikipedia Random walk, Random walk (definition). Also Wikidata Q856741
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Abel elliptic functions JG98G19JN0
| URI | m2://inv/JG98G19JN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel elliptic functions, Abel elliptic functions (definition). Also Wikidata Q27105750
History
- 2026-11-02: add by m2/dev
JG9BAWQ0CQ JG9BAWQ0CQ
| URI | m2://inv/JG9BAWQ0CQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#56HW (definition)
History
- 2026-11-02: add by m2/v0.6.17
Special cases JG9GS4JZN3
| URI | m2://inv/JG9GS4JZN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution of the product of two random variables#IZC3, Special cases (statement)
History
- 2026-11-02: add by m2/dev
JG9QPDXHT7 JG9QPDXHT7
| URI | m2://inv/JG9QPDXHT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#95MX (statement). In 8SVVEVGMNE/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Examples JG9QPMG5EZ
| URI | m2://inv/JG9QPMG5EZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Back-of-the-envelope calculation#P92G, Examples (example)
History
- 2026-11-02: add by m2/dev
Half argument formulas JG9VCVBDRQ
| URI | m2://inv/JG9VCVBDRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic functions#95DI, Half argument formulas (statement)
History
- 2026-11-02: add by m2/dev
Derivation from Planck's law JG9ZXQEBSE
| URI | m2://inv/JG9ZXQEBSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wien's displacement law#9N55, Derivation from Planck's law (statement)
History
- 2026-11-02: add by m2/dev
Formal definition JGA063W7H5
| URI | m2://inv/JGA063W7H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kempe chain#4U2Y, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
existence and uniqueness JGA3N17CJ9
| URI | m2://inv/JGA3N17CJ9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.1/existence-and-uniqueness, existence and uniqueness (concept). In E9HS8K3A52, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Boy or girl paradox JGAA63ZWJY
| URI | m2://inv/JGAA63ZWJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boy or girl paradox, Boy or girl paradox (statement). Also Wikidata Q2271174
History
- 2026-11-02: add by m2/dev
Examples JGAFEDSKV2
| URI | m2://inv/JGAFEDSKV2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental sequence (set theory)#IT7O, Examples (example)
History
- 2026-11-02: add by m2/dev
JGAG1346BY JGAG1346BY
| URI | m2://inv/JGAG1346BY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv hep-th/9409063#CH4B (definition). In 145ETYF9CG/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
open term JGAJ77CJG5
| URI | m2://inv/JGAJ77CJG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HWRW, open term (definition)
History
- 2026-11-02: add by m2/dev
JGAKYR5TDH JGAKYR5TDH
| URI | m2://inv/JGAKYR5TDH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
Imre Lakatos JGAQMZ59G4
| URI | m2://inv/JGAQMZ59G4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#E6N5, Imre Lakatos (topic)
History
- 2026-11-02: add by m2/dev
JGB6CNJFYH JGB6CNJFYH
| URI | m2://inv/JGB6CNJFYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.10505#4ODC (definition). In JW8HH6EPG2/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
JGB804TGX9 JGB804TGX9
| URI | m2://inv/JGB804TGX9 |
|---|---|
| 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 0805.4273#DPNM (statement). In ZX3NV58FRX/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.5
JGBEY818T3 JGBEY818T3
| URI | m2://inv/JGBEY818T3 |
|---|---|
| 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.07122#ZY19 (statement). In W0ZHX9DHPV/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.10
Clifford Taubes JGC4H915C4
| URI | m2://inv/JGC4H915C4 |
|---|---|
| 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#68DT, Clifford Taubes (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#94XM, Clifford Taubes (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K3N8, Clifford Taubes (topic)
History
- 2026-11-02: add by m2/dev
Theorems involving prevalence and shyness JGC8E0VFG8
| URI | m2://inv/JGC8E0VFG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prevalent and shy sets#EU88, Theorems involving prevalence and shyness (statement)
History
- 2026-11-02: add by m2/dev
analytic manifold JGC8W7WPFY
| URI | m2://inv/JGC8W7WPFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4751134, analytic manifold (unknown). Also EoM Analytic_manifold, nLab analytic manifold
- wikipedia: Wikipedia Analytic manifold, Analytic manifold (definition). Also Wikidata Q4751134
History
- 2026-10-26: add by m2/dev
Self-service password reset JGCBJ679Z7
| URI | m2://inv/JGCBJ679Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-service password reset, Self-service password reset (definition). Also Wikidata Q7448212
History
- 2026-11-02: add by m2/dev
Confirmation bias JGCCK7M5VM
| URI | m2://inv/JGCCK7M5VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E6GM, Confirmation bias (definition)
History
- 2026-11-02: add by m2/dev
JGCD44R3MX JGCD44R3MX
| URI | m2://inv/JGCD44R3MX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#BNWI (example). In S26QVW5613/e1, example 6.0.1
History
- 2026-10-30: add by m2/v0.4.12
Shift Harnack inequality JGCHR5WVND
| URI | m2://inv/JGCHR5WVND |
|---|---|
| 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 2303.10636#1219, Shift Harnack inequality (statement). In 9SV2RAEPXM/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.6
JGCKM1PYFD JGCKM1PYFD
| URI | m2://inv/JGCKM1PYFD |
|---|---|
| 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 2207.07461#BLP2 (statement). In GAG532VMPF/e1, theorem 3.3.5
History
- 2026-10-27: add by m2/v0.3.5
JGCT53BZ79 JGCT53BZ79
| URI | m2://inv/JGCT53BZ79 |
|---|---|
| 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.27902#1FZI (definition)
History
- 2026-11-01: add by m2/v0.6.15
JGCXPY5CS2 JGCXPY5CS2
| URI | m2://inv/JGCXPY5CS2 |
|---|---|
| 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.32065#N62Q (statement). In 6Z9JQP3204/e1, corollary 3.4
History
- 2026-10-31: add by m2/v0.5.6
JGCXY0JV0S JGCXY0JV0S
| URI | m2://inv/JGCXY0JV0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#VS40 (statement). In JWNYJVH8XG/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
quasinorm JGD0Q0TVSZ
| URI | m2://inv/JGD0Q0TVSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269508, quasinorm (unknown). Also EoM Quasi-norm
- wikipedia: Wikipedia Quasinorm, Quasinorm (definition). Also Wikidata Q7269508
History
- 2026-10-26: add by m2/dev
0F1 JGD968H0HE
| URI | m2://inv/JGD968H0HE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#L5QH, 0F1 (unknown)
History
- 2026-11-02: add by m2/dev
Computation in the limit JGDR0X35R0
| URI | m2://inv/JGDR0X35R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computation in the limit, Computation in the limit (definition). Also Wikidata Q5157271
History
- 2026-11-02: add by m2/dev
Line moiré JGDT3ES1HC
| URI | m2://inv/JGDT3ES1HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line moiré, Line moiré (definition). Also Wikidata Q6553272
History
- 2026-11-02: add by m2/dev
JGDYTHKMTX JGDYTHKMTX
| URI | m2://inv/JGDYTHKMTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20460#839J (statement)
History
- 2026-11-02: add by m2/v0.6.18
JGE2B55F4H JGE2B55F4H
| URI | m2://inv/JGE2B55F4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#70ZA (statement). In 43TBS9P2PX/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
Soliton JGE7MRQX0V
| URI | m2://inv/JGE7MRQX0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soliton (optics), Soliton (definition). Also Wikidata Q6128993
History
- 2026-11-02: add by m2/dev
Relativistic system JGEHJ0A75M
| URI | m2://inv/JGEHJ0A75M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relativistic system (mathematics), Relativistic system (definition). Also Wikidata Q17105482
History
- 2026-11-02: add by m2/dev
Conway knot JGEYJTWQTD
| URI | m2://inv/JGEYJTWQTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime knots#KDNA, Conway knot (definition)
History
- 2026-11-02: add by m2/dev
Example JGEYZBWZ0F
| URI | m2://inv/JGEYZBWZ0F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper morphism#LCVO, Example (example)
History
- 2026-11-02: add by m2/dev
JGF1M462WR JGF1M462WR
| URI | m2://inv/JGF1M462WR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#ex-6 (example). In PKGMM3P5QY, ex, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
homotopy, group, of sphere JGF6BX7DFV
| URI | m2://inv/JGF6BX7DFV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.6/homotopy-group-of-sphere, homotopy, group, of sphere (concept). In N54F33XE07, index, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
George David Birkhoff JGFD6GGHHF
| URI | m2://inv/JGFD6GGHHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#9IZL, George David Birkhoff (topic)
History
- 2026-11-02: add by m2/dev
JGFEBAJBM6 JGFEBAJBM6
| URI | m2://inv/JGFEBAJBM6 |
|---|---|
| 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.35762#IBT7 (statement). In C9QEPN1E56/e1, lemma F.6
History
- 2026-10-30: add by m2/v0.4.12
Examples JGFFKYTFMC
| URI | m2://inv/JGFFKYTFMC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract structure#QXCI, Examples (example)
History
- 2026-11-02: add by m2/dev
JGFNM0RSG4 JGFNM0RSG4
| URI | m2://inv/JGFNM0RSG4 |
|---|---|
| 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-38 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
JGFPPVZ1K8 JGFPPVZ1K8
| URI | m2://inv/JGFPPVZ1K8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.13213#G0OR (statement). In V97F4YZ8B0/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
MINUIT JGFR82BRA1
| URI | m2://inv/JGFR82BRA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#ER5F, MINUIT (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian private releases with no common upper bound JGFSGB614K
| URI | m2://inv/JGFSGB614K |
|---|---|
| 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#8NUD, Gaussian private releases with no common upper bound (statement). In 9YAE8FNQST/e1, theorem 29.4
History
- 2026-10-30: add by m2/v0.4.12
Variance JGFTDP30MM
| URI | m2://inv/JGFTDP30MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#WDHW, Variance (statement). In RHN12PW9P9/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Statement of Parseval's theorem JGFTSTW17Y
| URI | m2://inv/JGFTSTW17Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parseval's theorem#7LCQ, Statement of Parseval's theorem (statement)
History
- 2026-11-02: add by m2/dev
T. R. Ramadas JGG5AAQBN2
| URI | m2://inv/JGG5AAQBN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. R. Ramadas, T. R. Ramadas (topic). Also Wikidata Q16886007
History
- 2026-11-02: add by m2/dev
399 (number) JGG7PKKY5M
| URI | m2://inv/JGG7PKKY5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#D5T1, 399 (number) (unknown)
History
- 2026-11-02: add by m2/dev
JGGD0RVM0T JGGD0RVM0T
| URI | m2://inv/JGGD0RVM0T |
|---|---|
| Kind | problem |
| 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.21963#4R91 (problem). In HR9R8RPKN8/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.4.2
JGGRCR0BGP JGGRCR0BGP
| URI | m2://inv/JGGRCR0BGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#XB8N (statement). In A3KXZ2GBHN/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
JGGS5D5F2X JGGS5D5F2X
| URI | m2://inv/JGGS5D5F2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26996#27IS (statement). In FP7Z8PJ4AW/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
JGGZ94AA6B JGGZ94AA6B
| URI | m2://inv/JGGZ94AA6B |
|---|---|
| Kind | definition |
| 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 2609.25957#6QDS (definition)
History
- 2026-11-01: add by m2/v0.6.15
JGH0HTX725 JGH0HTX725
| URI | m2://inv/JGH0HTX725 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#DF0D (statement). In 879ZDHVK7N/e1, proposition 3.15
History
- 2026-10-27: add by m2/v0.4.2
Shattering JGH6R83A6D
| URI | m2://inv/JGH6R83A6D |
|---|---|
| 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.40345#8HKX, Shattering (definition). In WK0PT95WW1/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Jack van Lint JGHDPSE0GR
| URI | m2://inv/JGHDPSE0GR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HU8Q, Jack van Lint (topic)
History
- 2026-11-02: add by m2/dev
1 048 576 JGHF8E71EG
| URI | m2://inv/JGHF8E71EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power of two#6B1J, 1 048 576 (unknown)
History
- 2026-11-02: add by m2/dev
JGHGPJ2K9G JGHGPJ2K9G
| URI | m2://inv/JGHGPJ2K9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#cor-1 (statement). In E59CDZA4DP, cor, section 9.2.4
History
- 2026-11-01: add by m2/v0.6.13
Use JGHH0MKQ5V
| URI | m2://inv/JGHH0MKQ5V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runge–Kutta methods#623S, Use (example)
History
- 2026-11-02: add by m2/dev
center JGHP6JYX3M
| URI | m2://inv/JGHP6JYX3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#WOQ2, center (definition)
History
- 2026-11-02: add by m2/dev
JGHSA321AZ JGHSA321AZ
| URI | m2://inv/JGHSA321AZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-7 (proof). In Y91XFCEVHQ, proof, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Properties JGHWYTHGD8
| URI | m2://inv/JGHWYTHGD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulated category#KCI1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ottlik, Géza JGHZEQ89W4
| URI | m2://inv/JGHZEQ89W4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#ULLF, Ottlik, Géza (unknown)
History
- 2026-11-02: add by m2/dev
Rössler attractor JGJ8XNN82Q
| URI | m2://inv/JGJ8XNN82Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q720574, Rössler attractor (unknown). Also MathWorld RoesslerAttractor
- wikipedia: Wikipedia Rössler attractor, Rössler attractor (definition). Also Wikidata Q720574
History
- 2026-10-26: add by m2/dev
JGJ9RKSMM9 JGJ9RKSMM9
| URI | m2://inv/JGJ9RKSMM9 |
|---|---|
| Kind | problem |
| 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.21399#TDL2 (problem)
History
- 2026-11-02: add by m2/v0.6.18
JGJ9T4CDJT JGJ9T4CDJT
| URI | m2://inv/JGJ9T4CDJT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.36332#4OUR (definition). In APK7X4MFAX/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
JGJNZKH41P JGJNZKH41P
| URI | m2://inv/JGJNZKH41P |
|---|---|
| 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#I3SQ (statement). In QR9WE79ERQ/e1, lemma 8.4
History
- 2026-10-29: add by m2/v0.4.10
direct JGJPTPBV92
| URI | m2://inv/JGJPTPBV92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#ETU4, direct (definition)
History
- 2026-11-02: add by m2/dev
Roman Turovsky-Savchuk JGJW93AZ2Y
| URI | m2://inv/JGJW93AZ2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#WK94, Roman Turovsky-Savchuk (unknown)
History
- 2026-11-02: add by m2/dev
Why Johnny Can't Add JGJYHDADJJ
| URI | m2://inv/JGJYHDADJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Why Johnny Can't Add, Why Johnny Can't Add (definition). Also Wikidata Q23307216
History
- 2026-11-02: add by m2/dev
bimonoidal JGK5ZSJNTR
| URI | m2://inv/JGK5ZSJNTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#S2W3, bimonoidal (definition)
History
- 2026-11-02: add by m2/dev
JGKAFJJVEE JGKAFJJVEE
| URI | m2://inv/JGKAFJJVEE |
|---|---|
| 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.09042#D9SK (statement). In 7CS3N5K9FJ/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Per-token denoising loss is average conditional KL JGKANV29AK
| URI | m2://inv/JGKANV29AK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#P325, Per-token denoising loss is average conditional KL (statement). In XXV36V6CK8/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Veniamin Myasnikov JGKBN7WSQ6
| URI | m2://inv/JGKBN7WSQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veniamin Myasnikov, Veniamin Myasnikov (topic). Also Wikidata Q4310325
History
- 2026-11-02: add by m2/dev
Corollary JGKGAJZJMM
| URI | m2://inv/JGKGAJZJMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral radius#ZISJ, Corollary (statement)
History
- 2026-11-02: add by m2/dev
JGKK7G94QE JGKK7G94QE
| URI | m2://inv/JGKK7G94QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39990#G4GD (statement). In SH78APY2T8/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
JGKPCG0Y40 JGKPCG0Y40
| URI | m2://inv/JGKPCG0Y40 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#0UCW (problem). In 9B0X8YPF3P/e1, problem 11.3
History
- 2026-10-28: add by m2/v0.4.2
Applications JGKT89NGKF
| URI | m2://inv/JGKT89NGKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data and information visualization#C7FC, Applications (example)
History
- 2026-11-02: add by m2/dev
JGKVPBZEMV JGKVPBZEMV
| URI | m2://inv/JGKVPBZEMV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-5 (example). In E9HS8K3A52, example, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Schlaifer, Robert JGKYWFM97Y
| URI | m2://inv/JGKYWFM97Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DMPJ, Schlaifer, Robert (unknown)
History
- 2026-11-02: add by m2/dev
JGKZR6VY1Q JGKZR6VY1Q
| URI | m2://inv/JGKZR6VY1Q |
|---|---|
| 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.03856#DJ1Q (statement). In HTBRYNPHSJ/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.12
Correlative-based fallacies JGM6BT6EGH
| URI | m2://inv/JGM6BT6EGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#EJLR, Correlative-based fallacies (definition)
History
- 2026-11-02: add by m2/dev
JGM6SX2SFH JGM6SX2SFH
| URI | m2://inv/JGM6SX2SFH |
|---|---|
| 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.34283#IQPR (statement). In DF1S2FHKJE/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Abraham Fraenkel JGMDC377F7
| URI | m2://inv/JGMDC377F7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#YUPJ, Abraham Fraenkel (topic)
History
- 2026-11-02: add by m2/dev
JGMJDWRC7F JGMJDWRC7F
| URI | m2://inv/JGMJDWRC7F |
|---|---|
| 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#3IYR (statement). In BKYAWEC5XH/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Zvia Agur JGMQBBVHSF
| URI | m2://inv/JGMQBBVHSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I54Y, Zvia Agur (unknown)
History
- 2026-11-02: add by m2/dev
Affine changes of Boolean functions JGMSZVG6PV
| URI | m2://inv/JGMSZVG6PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#ZRFT, Affine changes of Boolean functions (statement). In DSXBMRYE0V/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
Chain rule JGMT7JGDGS
| URI | m2://inv/JGMT7JGDGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain rule (probability)#E7HC, Chain rule (statement)
History
- 2026-11-02: add by m2/dev
JGMZ6DXP3K JGMZ6DXP3K
| URI | m2://inv/JGMZ6DXP3K |
|---|---|
| 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.21475#Q3X2 (statement). In TTRSZVT4VX/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
JGN41BP9JM JGN41BP9JM
| URI | m2://inv/JGN41BP9JM |
|---|---|
| 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#061R (statement)
History
- 2026-11-01: add by m2/v0.6.15
JGN53QHCVR JGN53QHCVR
| URI | m2://inv/JGN53QHCVR |
|---|---|
| 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.10873#66OQ (statement). In AYG8HYGW6V/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.3
Observations conflicting with Newton's formula JGN7EM5JM4
| URI | m2://inv/JGN7EM5JM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's law of universal gravitation#VRZ8, Observations conflicting with Newton's formula (statement)
History
- 2026-11-02: add by m2/dev
JGN8RY6GXJ JGN8RY6GXJ
| URI | m2://inv/JGN8RY6GXJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#T25T (example)
History
- 2026-11-01: add by m2/v0.6.15
Nalini Ravishanker JGNDWS3BQ1
| URI | m2://inv/JGNDWS3BQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nalini Ravishanker, Nalini Ravishanker (topic). Also Wikidata Q42321224
History
- 2026-11-02: add by m2/dev
JGNJRN1PFJ JGNJRN1PFJ
| URI | m2://inv/JGNJRN1PFJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-1 (example). In Y91XFCEVHQ, example, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
JGNK1W3H2M JGNK1W3H2M
| URI | m2://inv/JGNK1W3H2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#Y6NI (statement). In V399QB419P/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Interpretation of a formal theorem JGNPRBT592
| URI | m2://inv/JGNPRBT592 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem#AZE4, Interpretation of a formal theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem JGNR26GAMA
| URI | m2://inv/JGNR26GAMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable Riemann mapping theorem#KPEL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
JGNW9RCSFB JGNW9RCSFB
| URI | m2://inv/JGNW9RCSFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#N81E (statement). In 8TSZ2E32K3/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
Summation by parts JGNX0ZV6CF
| URI | m2://inv/JGNX0ZV6CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#N70Y, Summation by parts (definition)
History
- 2026-11-02: add by m2/dev
Jianwen Cai JGP0FS9GH2
| URI | m2://inv/JGP0FS9GH2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jianwen Cai, Jianwen Cai (topic). Also Wikidata Q91417516
History
- 2026-11-02: add by m2/dev
JGP0GZY9MF JGP0GZY9MF
| URI | m2://inv/JGP0GZY9MF |
|---|---|
| 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 2508.07340#T86V (statement). In 2HSB99DW4M/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.6
JGP0JP3G1B JGP0JP3G1B
| URI | m2://inv/JGP0JP3G1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#R7K5 (statement). In 9TR5E527P5/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Properties JGP530MMP9
| URI | m2://inv/JGP530MMP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling polynomials#WJ57, Properties (statement)
History
- 2026-11-02: add by m2/dev
JGPC4YK7C6 JGPC4YK7C6
| URI | m2://inv/JGPC4YK7C6 |
|---|---|
| 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.34876#XP5Q (statement). In XXQAW3ZBDF/e1, lemma 8.8
History
- 2026-10-30: add by m2/v0.4.12
Robert W. Brooks JGPC6RAX0X
| URI | m2://inv/JGPC6RAX0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert W. Brooks, Robert W. Brooks (topic). Also Wikidata Q7350645
History
- 2026-11-02: add by m2/dev
Great deltoidal hexecontahedron JGPFYWTF3C
| URI | m2://inv/JGPFYWTF3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4TYV, Great deltoidal hexecontahedron (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Li–Tian–Wang, Li) JGPQPF9DEG
| URI | m2://inv/JGPQPF9DEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#Z16P, Theorem (Li–Tian–Wang, Li) (statement)
History
- 2026-11-02: add by m2/dev
JGQ659ZJVV JGQ659ZJVV
| URI | m2://inv/JGQ659ZJVV |
|---|---|
| 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.29227#34S4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
André-Marie Ampère JGQ66D2YV4
| URI | m2://inv/JGQ66D2YV4 |
|---|---|
| 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 Q675, André-Marie Ampère (unknown). Also ProofWiki Mathematician:André-Marie_Ampère
History
- 2026-10-26: add by m2/dev
JGQ6NNC15K JGQ6NNC15K
| URI | m2://inv/JGQ6NNC15K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#225W (definition). In 8SVVEVGMNE/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Yutaka Yamamoto JGQ74Z67T6
| URI | m2://inv/JGQ74Z67T6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yutaka Yamamoto (mathematician), Yutaka Yamamoto (topic). Also Wikidata Q8062091
History
- 2026-11-02: add by m2/dev
Differentiable manifold JGQ85CTPXR
| URI | m2://inv/JGQ85CTPXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#0Q7U, Differentiable manifold (definition)
History
- 2026-11-02: add by m2/dev
JGQ9M3TP5J JGQ9M3TP5J
| URI | m2://inv/JGQ9M3TP5J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:pr-to-rec (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Alison Etheridge JGQA90NWC1
| URI | m2://inv/JGQA90NWC1 |
|---|---|
| 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#GS84, Alison Etheridge (topic)
History
- 2026-11-02: add by m2/dev
Square-free polynomial JGQPCNEHFE
| URI | m2://inv/JGQPCNEHFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-free polynomial, Square-free polynomial (definition). Also Wikidata Q7581979
History
- 2026-11-02: add by m2/dev
Significant figures JGQRHG0YYP
| URI | m2://inv/JGQRHG0YYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1C9A, Significant figures (definition)
History
- 2026-11-02: add by m2/dev
Dominating set JGQT0A10DW
| URI | m2://inv/JGQT0A10DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominating set, Dominating set (definition). Also Wikidata Q2915204
History
- 2026-11-02: add by m2/dev
Basel problem JGQWWS0T1J
| URI | m2://inv/JGQWWS0T1J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#ZKP4, Basel problem (problem)
History
- 2026-11-02: add by m2/dev
Mathematical Sciences Foundation JGQWY5WG0N
| URI | m2://inv/JGQWY5WG0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Sciences Foundation, Mathematical Sciences Foundation (definition). Also Wikidata Q6786841
History
- 2026-11-02: add by m2/dev
Examples JGR1NJDXG4
| URI | m2://inv/JGR1NJDXG4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centrifugal force#2IL5, Examples (example)
History
- 2026-11-02: add by m2/dev
JGR7QF51CJ JGR7QF51CJ
| URI | m2://inv/JGR7QF51CJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#ATJD (definition). In 89XYDVXG38/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
B-bar (Morse code) JGR8MC2YV4
| URI | m2://inv/JGR8MC2YV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-Dienst#RN7K, B-bar (Morse code) (unknown)
History
- 2026-11-02: add by m2/dev
Hausdorff Center for Mathematics JGRAJHHEH6
| URI | m2://inv/JGRAJHHEH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Hausdorff#DCGZ, Hausdorff Center for Mathematics (definition)
History
- 2026-11-02: add by m2/dev
Generalizations JGRH0W1FQD
| URI | m2://inv/JGRH0W1FQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-positive curvature#QDR9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definition JGRKBNDHBV
| URI | m2://inv/JGRKBNDHBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-theory#U89S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hoeffding's covariance identity JGRKYQGMQF
| URI | m2://inv/JGRKYQGMQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance#FD0V, Hoeffding's covariance identity (statement)
History
- 2026-11-02: add by m2/dev
forcing JGRSDM661Z
| URI | m2://inv/JGRSDM661Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Forcing F2DTWW9HP7 |
Mentions
- wikidata: Wikidata Q1003136, forcing (unknown). Also MathWorld Forcing
- wikipedia: Wikipedia Forcing (mathematics), Forcing (definition). Also Wikidata Q1003136
History
- 2026-10-26: add by m2/dev
JGRXBSTRPM JGRXBSTRPM
| URI | m2://inv/JGRXBSTRPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#CH9N (statement). In F3BKXXPR3K/e1, theorem 3.33
History
- 2026-10-27: add by m2/v0.4.2
JGRY7K968K JGRY7K968K
| URI | m2://inv/JGRY7K968K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#definition-1 (definition). In RZP28ERRZV, definition, section 52.3
History
- 2026-11-01: add by m2/v0.6.13
Turmite JGSCEF6Z86
| URI | m2://inv/JGSCEF6Z86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#KGU8, Turmite (unknown)
History
- 2026-11-02: add by m2/dev
JGSCVH3SBF JGSCVH3SBF
| URI | m2://inv/JGSCVH3SBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#TMP9 (statement). In ESDKTYDHC8/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Random walk Monte Carlo JGSFJH7TJ6
| URI | m2://inv/JGSFJH7TJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#63TF, Random walk Monte Carlo (definition)
History
- 2026-11-02: add by m2/dev
equivariant algebraic topology JGSJZSDMMQ
| URI | m2://inv/JGSJZSDMMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#QI2F, equivariant algebraic topology (definition)
History
- 2026-11-02: add by m2/dev
JGSR6NTWN3 JGSR6NTWN3
| URI | m2://inv/JGSR6NTWN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#L6KB (statement). In HVGT9D84WV/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
JGSRY2NP2W JGSRY2NP2W
| URI | m2://inv/JGSRY2NP2W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-39 (exercise). In E9HS8K3A52, exercise, section 7.3.4
History
- 2026-11-01: add by m2/v0.6.13
Theorem JGSSE6GP8P
| URI | m2://inv/JGSSE6GP8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#TI3E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
JGSYZ2QRZK JGSYZ2QRZK
| URI | m2://inv/JGSYZ2QRZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#defn-1 (definition). In E59CDZA4DP, defn, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Definition JGTB8Y4DJ3
| URI | m2://inv/JGTB8Y4DJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation space#YKPO, Definition (definition)
History
- 2026-11-02: add by m2/dev
JGTJRPCPM6 JGTJRPCPM6
| URI | m2://inv/JGTJRPCPM6 |
|---|---|
| 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.10248#ZKV6 (statement). In TMV74X2725/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
JGTKET7FWQ JGTKET7FWQ
| URI | m2://inv/JGTKET7FWQ |
|---|---|
| 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.01946#6Y11 (statement). In NB1Z31FMXN/e1, fact 2.10
History
- 2026-10-29: add by m2/v0.4.12
Journal of Geometry JGTM48E12H
| URI | m2://inv/JGTM48E12H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Geometry, Journal of Geometry (definition). Also Wikidata Q15750476
History
- 2026-11-02: add by m2/dev
JGTM5K70HM JGTM5K70HM
| URI | m2://inv/JGTM5K70HM |
|---|---|
| Kind | statement |
| 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#QECQ (statement). In WJD9YPGGYH/e1, corollary 5.1
History
- 2026-10-27: add by m2/v0.3.5
JGTMTDK91E JGTMTDK91E
| URI | m2://inv/JGTMTDK91E |
|---|---|
| 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.21765#5UJ9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Metamathematics JGTSY78S1E
| URI | m2://inv/JGTSY78S1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#32T4, Metamathematics (topic)
History
- 2026-11-02: add by m2/dev
Part I: the saturated regime JGTWMFHN50
| URI | m2://inv/JGTWMFHN50 |
|---|---|
| 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.14509#4FBG, Part I: the saturated regime (statement). In N6GD8392QB/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
JGV1VR0KBV JGV1VR0KBV
| URI | m2://inv/JGV1VR0KBV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-24 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Poincaré Medal JGVBSMGFTX
| URI | m2://inv/JGVBSMGFTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré Medal, Poincaré Medal (definition). Also Wikidata Q60790701
History
- 2026-11-02: add by m2/dev
Boolean searching JGVCBGEJN9
| URI | m2://inv/JGVCBGEJN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra#XNX2, Boolean searching (unknown)
History
- 2026-11-02: add by m2/dev
JGVF8CKXH2 JGVF8CKXH2
| URI | m2://inv/JGVF8CKXH2 |
|---|---|
| Kind | definition |
| 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 2212.06621#C95I (definition). In DB223AABTH/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
JGVNRVQ58F JGVNRVQ58F
| URI | m2://inv/JGVNRVQ58F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#W35T (statement)
History
- 2026-11-01: add by m2/v0.6.15
558 (number) JGVR7HZECR
| URI | m2://inv/JGVR7HZECR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#TIMZ, 558 (number) (unknown)
History
- 2026-11-02: add by m2/dev
JGVSX0EG2G JGVSX0EG2G
| URI | m2://inv/JGVSX0EG2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#ECY4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
JGW0XCFAY6 JGW0XCFAY6
| URI | m2://inv/JGW0XCFAY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22964#B480 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gyula Farkas JGW16MGM7E
| URI | m2://inv/JGW16MGM7E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#V9A1, Gyula Farkas (topic)
History
- 2026-11-02: add by m2/dev
Particle-size distribution JGW1KFFT2Z
| URI | m2://inv/JGW1KFFT2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle-size distribution, Particle-size distribution (definition). Also Wikidata Q2054937
History
- 2026-11-02: add by m2/dev
Example JGW2JGZ4DY
| URI | m2://inv/JGW2JGZ4DY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second fundamental form#H0KJ, Example (example)
History
- 2026-11-02: add by m2/dev
Configuration JGW6NBVXVB
| URI | m2://inv/JGW6NBVXVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/configuration.tex#defn-1, Configuration (definition). In PKGMM3P5QY, defn, section 85.4
History
- 2026-11-01: add by m2/v0.6.13
circuit JGWK84BKSF
| URI | m2://inv/JGWK84BKSF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.3/circuit, circuit (concept). In QKM9DD2H56, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
JGWN2H0M76 JGWN2H0M76
| URI | m2://inv/JGWN2H0M76 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
JGWRA4WQM9 JGWRA4WQM9
| URI | m2://inv/JGWRA4WQM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#1P4S (statement)
History
- 2026-11-02: add by m2/v0.6.17
JGX43ZMXTC JGX43ZMXTC
| URI | m2://inv/JGX43ZMXTC |
|---|---|
| Kind | example |
| 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#1ZPV (example). In PZCA01JXVR/e1, example 4.4
History
- 2026-10-27: add by m2/v0.3.5
Properties JGXA4BJ3K4
| URI | m2://inv/JGXA4BJ3K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-algebraically closed field#H5MQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
90 JGXACE82EJ
| URI | m2://inv/JGXACE82EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q239346, 90 (unknown). Also MathWorld 90
- wikipedia: Wikipedia 90 (number), 90 (definition). Also Wikidata Q239346
History
- 2026-10-26: add by m2/dev
primorial prime JGXBMJ225T
| URI | m2://inv/JGXBMJ225T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2085786, primorial prime (definition). Also MathWorld PrimorialPrime, OEIS A228486, ProofWiki Definition:Primorial_Prime
- wikipedia: Wikipedia Primorial prime, Primorial prime (object). Also Wikidata Q2085786
History
- 2026-10-26: add by m2/dev
Christoph Rudolff JGXJMHH5NH
| URI | m2://inv/JGXJMHH5NH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#BF6A, Christoph Rudolff (topic)
History
- 2026-11-02: add by m2/dev
Marr's tri-level hypothesis JGXRA9C3C8
| URI | m2://inv/JGXRA9C3C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level of analysis#2ODM, Marr's tri-level hypothesis (statement)
History
- 2026-11-02: add by m2/dev
JGY2NYHW3Y JGY2NYHW3Y
| URI | m2://inv/JGY2NYHW3Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#QU6M (definition). In VJTRH1S4JA/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Posterior log-loss regret and induced rank regret JGY2XCX75S
| URI | m2://inv/JGY2XCX75S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#GH48, Posterior log-loss regret and induced rank regret (statement)
History
- 2026-11-01: add by m2/v0.6.15
Expansion 1.10a JGY3B9PBP7
| URI | m2://inv/JGY3B9PBP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#4OZO, Expansion 1.10a (statement). In ZPCYW4N0EH/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.10
JGY47TFBMG JGY47TFBMG
| URI | m2://inv/JGY47TFBMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#SE4U (statement). In 5RE15848Z0/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
JGYC07JH05 JGYC07JH05
| URI | m2://inv/JGYC07JH05 |
|---|---|
| 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.03555#QKZN (definition). In 9JZJTRRVR1/e1, definition 3.10
History
- 2026-10-29: add by m2/v0.4.12
Examples JGYNKAAHRJ
| URI | m2://inv/JGYNKAAHRJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total ring of fractions#IVKY, Examples (example)
History
- 2026-11-02: add by m2/dev
JGYRFNHEBW JGYRFNHEBW
| URI | m2://inv/JGYRFNHEBW |
|---|---|
| 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.18600#Z8AI (statement). In 31D6TQVCNZ/e1, theorem 3.20
History
- 2026-10-28: add by m2/v0.4.2
JGYTFV2ZT3 JGYTFV2ZT3
| URI | m2://inv/JGYTFV2ZT3 |
|---|---|
| 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.05459#WOKQ (statement). In VYW16D089Y/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Association rule learning JGYWY3YHCC
| URI | m2://inv/JGYWY3YHCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association rule learning, Association rule learning (definition). Also Wikidata Q386780
History
- 2026-11-02: add by m2/dev
Carson, Carol S. JGYXEKZFKD
| URI | m2://inv/JGYXEKZFKD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Q448, Carson, Carol S. (topic)
History
- 2026-11-02: add by m2/dev
JGZ0HMYQ4S JGZ0HMYQ4S
| URI | m2://inv/JGZ0HMYQ4S |
|---|---|
| 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.15013#1MT7 (statement). In JB837X6D1Q/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Montes Archimedes JGZ6C35FSZ
| URI | m2://inv/JGZ6C35FSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#012A, Montes Archimedes (unknown)
History
- 2026-11-02: add by m2/dev
Topology semantics JGZ7TRE8DT
| URI | m2://inv/JGZ7TRE8DT |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15824#ZA6T, Topology semantics (unknown). In GDZXR87FJV/e1, unknown 7
History
- 2026-10-28: add by m2/v0.4.2
Factoring $5$ in a Galois/non-Galois extension JGZA81TDCQ
| URI | m2://inv/JGZA81TDCQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#example-3, Factoring $5$ in a Galois/non-Galois extension (example). In RZP28ERRZV, example, section 18.4
History
- 2026-11-01: add by m2/v0.6.13
Examples JGZM38BYWX
| URI | m2://inv/JGZM38BYWX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal characteristic of the continuum#QRO2, Examples (example)
History
- 2026-11-02: add by m2/dev
Quantum topology JGZXJ905V5
| URI | m2://inv/JGZXJ905V5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum topology, Quantum topology (topic). Also Wikidata Q10952567
History
- 2026-11-02: add by m2/dev