Inventory rows 3Y
The cards of the rows of the inventory whose ids start with 3Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bounds on Average Area for Large $s$ 3Y0251TDBQ
| URI | m2://inv/3Y0251TDBQ |
|---|---|
| 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.07671#T3FQ, Bounds on Average Area for Large $s$ (statement). In XHHBGCVG90/e1, lemma 6.3.1
History
- 2026-10-29: add by m2/v0.4.10
3Y03Z7P7F1 3Y03Z7P7F1
| URI | m2://inv/3Y03Z7P7F1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#090D (statement). In 1QPAA94Q76/e1, proposition 31
History
- 2026-10-28: add by m2/v0.4.2
epistemic paradox 3Y10SBCX6V
| URI | m2://inv/3Y10SBCX6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LM73, epistemic paradox (definition)
History
- 2026-11-02: add by m2/dev
3Y15Y9ZD11 3Y15Y9ZD11
| URI | m2://inv/3Y15Y9ZD11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#AQ3P (definition). In REDG6QVHM3/e1, definition 8.3
History
- 2026-10-29: add by m2/v0.4.12
Abiogenesis 3Y1698HK4W
| URI | m2://inv/3Y1698HK4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#2DFH, Abiogenesis (unknown)
History
- 2026-11-02: add by m2/dev
Definition 3Y182YB4T1
| URI | m2://inv/3Y182YB4T1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable group#MI9N, Definition (definition)
History
- 2026-11-02: add by m2/dev
3Y18CZHZC1 3Y18CZHZC1
| URI | m2://inv/3Y18CZHZC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#RLWZ (statement). In SYZFEVFHC3/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Proof of $A\implies B$ by contraposition 3Y1EJ1YHGQ
| URI | m2://inv/3Y1EJ1YHGQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#pf by contraposition, Proof of $A\implies B$ by contraposition (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
3Y1G385FX8 3Y1G385FX8
| URI | m2://inv/3Y1G385FX8 |
|---|---|
| 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.02628#6E3I (statement). In G4S9C5M1A4/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Definition and notation 3Y1N4H5SNY
| URI | m2://inv/3Y1N4H5SNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a field extension#LJRY, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
plethysm 3Y1ZHQX28M
| URI | m2://inv/3Y1ZHQX28M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7204726, plethysm (unknown). Also nLab plethysm
- wikipedia: Wikipedia Plethysm, Plethysm (definition). Also Wikidata Q7204726
History
- 2026-10-26: add by m2/dev
Multi-vari chart 3Y252TVHVP
| URI | m2://inv/3Y252TVHVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-vari chart, Multi-vari chart (definition). Also Wikidata Q6934518
History
- 2026-11-02: add by m2/dev
Camille Jordan 3Y26MPB2NG
| URI | m2://inv/3Y26MPB2NG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q310755, Camille Jordan (unknown). Also ProofWiki Mathematician:Marie_Ennemond_Camille_Jordan
- wikipedia: Wikipedia Camille Jordan, Camille Jordan (topic). Also Wikidata Q310755
History
- 2026-10-26: add by m2/dev
Dual copula strategy 3Y2A8DESRB
| URI | m2://inv/3Y2A8DESRB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonexistent objects#P1QA, Dual copula strategy (unknown)
History
- 2026-11-02: add by m2/dev
Triangle Inequality 3Y2BZ8880E
| URI | m2://inv/3Y2BZ8880E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:triangle inequality, Triangle Inequality (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
3Y34BVH45G 3Y34BVH45G
| URI | m2://inv/3Y34BVH45G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#1K0T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reduction to the isotropic one-mode case 3Y3CVPNQB5
| URI | m2://inv/3Y3CVPNQB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#54O4, Reduction to the isotropic one-mode case (statement). In MM8P5CJR18/e1, proposition E.1
History
- 2026-10-29: add by m2/v0.4.12
Ambiguous mathematical notation 3Y3E3QXZQ2
| URI | m2://inv/3Y3E3QXZQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguity#04EP, Ambiguous mathematical notation (unknown)
History
- 2026-11-02: add by m2/dev
3Y3JHEK5Z8 3Y3JHEK5Z8
| URI | m2://inv/3Y3JHEK5Z8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#99WP (definition). In PA6JQDSKQT/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
3Y3PT9D214 3Y3PT9D214
| URI | m2://inv/3Y3PT9D214 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#8WU4 (statement). In QR8H4M1X4N/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
3Y3RV0VAMX 3Y3RV0VAMX
| URI | m2://inv/3Y3RV0VAMX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#B1CC (definition). In 9GMTVSTAVN/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.3.5
3Y3XG90G2V 3Y3XG90G2V
| URI | m2://inv/3Y3XG90G2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#QJLI (statement). In FYM5XFD9RR/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
3Y3YDP824E 3Y3YDP824E
| URI | m2://inv/3Y3YDP824E |
|---|---|
| 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.01411#BCT7 (statement). In SD28S3K7BT/e1, theorem 15
History
- 2026-10-29: add by m2/v0.4.12
Elementary Theory of the Category of Sets 3Y454MCXQF
| URI | m2://inv/3Y454MCXQF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u5/elementary-theory-of-the-category-of-sets, Elementary Theory of the Category of Sets (concept). In N54F33XE07, index, section u1.u5
History
- 2026-11-01: add by m2/v0.6.13
Grain 3Y4BCZ6DPC
| URI | m2://inv/3Y4BCZ6DPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grain (cipher), Grain (definition). Also Wikidata Q5593489
History
- 2026-11-02: add by m2/dev
Curved spinorial square identity 3Y4M75RNF9
| URI | m2://inv/3Y4M75RNF9 |
|---|---|
| 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.20197#M3O8, Curved spinorial square identity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Friedrich Prym 3Y4MDCFP06
| URI | m2://inv/3Y4MDCFP06 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#OX1M, Friedrich Prym (topic)
History
- 2026-11-02: add by m2/dev
3Y4YCXMK3Z 3Y4YCXMK3Z
| URI | m2://inv/3Y4YCXMK3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#LSWZ (statement). In WRE0P7V6Z3/e1, lemma 9.4
History
- 2026-10-30: add by m2/v0.4.12
Examples 3Y50AAYNRH
| URI | m2://inv/3Y50AAYNRH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petrov classification#HIZN, Examples (example)
History
- 2026-11-02: add by m2/dev
Axiom of power set 3Y50G20NA6
| URI | m2://inv/3Y50G20NA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#UBIE, Axiom of power set (statement)
History
- 2026-11-02: add by m2/dev
hypersurface, real 3Y56SEEAF7
| URI | m2://inv/3Y56SEEAF7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/hypersurface-real, hypersurface, real (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Margaret Kivelson 3Y5A4444HD
| URI | m2://inv/3Y5A4444HD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#GS2R, Margaret Kivelson (unknown)
History
- 2026-11-02: add by m2/dev
Scheme 3Y5G92H506
| URI | m2://inv/3Y5G92H506 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#DNMW, Scheme (definition)
History
- 2026-11-02: add by m2/dev
Neil Lambert 3Y5KAE66TP
| URI | m2://inv/3Y5KAE66TP |
|---|---|
| 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 Q81913342, Neil Lambert (unknown). Also nLab Neil Lambert
History
- 2026-10-26: add by m2/dev
3Y5Q6XYZJH 3Y5Q6XYZJH
| URI | m2://inv/3Y5Q6XYZJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#QWFU (statement)
History
- 2026-11-02: add by m2/v0.6.17
3Y5T6G3DWG 3Y5T6G3DWG
| URI | m2://inv/3Y5T6G3DWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#TBT1 (statement). In XM98BX97RT/e1, corollary A.1
History
- 2026-10-30: add by m2/v0.4.12
walk 3Y6CAZ6112
| URI | m2://inv/3Y6CAZ6112 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12776184, walk (unknown). Also MathWorld Walk
History
- 2026-10-26: add by m2/dev
3Y6GFZ451M 3Y6GFZ451M
| URI | m2://inv/3Y6GFZ451M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#B5NA (statement). In SCSTR1Q1BW/e1, theorem 7.9
History
- 2026-10-29: add by m2/v0.4.10
Central extension (mathematics) 3Y6TQPBHRS
| URI | m2://inv/3Y6TQPBHRS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group extension#VQNA, Central extension (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
3Y6Z3DWN3A 3Y6Z3DWN3A
| URI | m2://inv/3Y6Z3DWN3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39274#JQPW (statement). In HVC7RVEM6V/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Galois cohomology 3Y70G9MF0C
| URI | m2://inv/3Y70G9MF0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Galois cohomology 9MPCZ3EAJM |
Mentions
- wikidata: Wikidata Q382839, Galois cohomology (unknown). Also nLab Galois cohomology
- wikipedia: Wikipedia Galois cohomology, Galois cohomology (definition). Also Wikidata Q382839
History
- 2026-10-26: add by m2/dev
TI-84 Plus Silver Edition VSC 3Y74FJEWF4
| URI | m2://inv/3Y74FJEWF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus series#L92Y, TI-84 Plus Silver Edition VSC (unknown)
History
- 2026-11-02: add by m2/dev
3Y75AF70R7 3Y75AF70R7
| URI | m2://inv/3Y75AF70R7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#NTSY (statement). In RYWAX33Z51/e1, proposition 4.21
History
- 2026-10-31: add by m2/v0.5.6
Jordan–Hölder theorem 3Y76J8AD2P
| URI | m2://inv/3Y76J8AD2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#B3LU, Jordan–Hölder theorem (definition)
History
- 2026-11-02: add by m2/dev
A nonsymmetric cusp 3Y7BPGMZJS
| URI | m2://inv/3Y7BPGMZJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#6Q2P, A nonsymmetric cusp (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hiroshi Umemura 3Y7CHH3SN4
| URI | m2://inv/3Y7CHH3SN4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hiroshi Umemura (mathematician), Hiroshi Umemura (topic). Also Wikidata Q11538508
History
- 2026-11-02: add by m2/dev
Examples 3Y7CJAJ509
| URI | m2://inv/3Y7CJAJ509 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense-in-itself#80HL, Examples (example)
History
- 2026-11-02: add by m2/dev
type, interval 3Y7GDX8YR8
| URI | m2://inv/3Y7GDX8YR8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.3/type-interval, type, interval (concept). In N54F33XE07, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Gaussian Gram-conditioned Wyner--Ziv achievability 3Y7K93FSM6
| URI | m2://inv/3Y7K93FSM6 |
|---|---|
| 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.09472#UZUD, Gaussian Gram-conditioned Wyner--Ziv achievability (statement). In 35925M9GJW/e1, theorem 22
History
- 2026-10-29: add by m2/v0.4.10
Identity 3Y7QFCTWJQ
| URI | m2://inv/3Y7QFCTWJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redheffer star product#6ZJD, Identity (statement)
History
- 2026-11-02: add by m2/dev
Density near the endpoints 3Y812YM7PC
| URI | m2://inv/3Y812YM7PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-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 2610.08568#EK9B, Density near the endpoints (statement). In FDDA562VCA/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
Adolph Winkler Goodman 3Y81A6DGTJ
| URI | m2://inv/3Y81A6DGTJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolph Winkler Goodman, Adolph Winkler Goodman (topic). Also Wikidata Q10562713
History
- 2026-11-02: add by m2/dev
Gary Chartrand 3Y832WBHX7
| URI | m2://inv/3Y832WBHX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gary Chartrand, Gary Chartrand (topic). Also Wikidata Q5524834
History
- 2026-11-02: add by m2/dev
3Y8486YKAE 3Y8486YKAE
| URI | m2://inv/3Y8486YKAE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 5-polytope#4P9F (problem)
History
- 2026-11-02: add by m2/dev
Conditional independence 3Y8JSEZC54
| URI | m2://inv/3Y8JSEZC54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional independence, Conditional independence (definition). Also Wikidata Q5159264
History
- 2026-11-02: add by m2/dev
Gilford, Dorothy M. 3Y8K6F3QMR
| URI | m2://inv/3Y8K6F3QMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NUUR, Gilford, Dorothy M. (topic)
History
- 2026-11-02: add by m2/dev
fundamental unit 3Y8PCA0MBA
| URI | m2://inv/3Y8PCA0MBA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5508977, fundamental unit (concept). Also MathWorld FundamentalUnit
- wikipedia: Wikipedia Fundamental unit (number theory), Fundamental unit (definition). Also Wikidata Q5508977
History
- 2026-10-26: add by m2/dev
Bidirectional texture function 3Y8TC4RR9V
| URI | m2://inv/3Y8TC4RR9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#QC1W, Bidirectional texture function (unknown)
History
- 2026-11-02: add by m2/dev
Davenport–Erdős theorem 3Y8WBNNR2Y
| URI | m2://inv/3Y8WBNNR2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#SW0R, Davenport–Erdős theorem (statement)
History
- 2026-11-02: add by m2/dev
Mourad Ismail 3Y93MYCE6E
| URI | m2://inv/3Y93MYCE6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WSO8, Mourad Ismail (topic)
History
- 2026-11-02: add by m2/dev
Terminology 3Y94T2ST7M
| URI | m2://inv/3Y94T2ST7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic function#4OSF, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Partial condensation 3Y9CZQ3AND
| URI | m2://inv/3Y9CZQ3AND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#ACZD, Partial condensation (statement). In ZZER8ZBSCR/e1, lemma 6.23
History
- 2026-10-29: add by m2/v0.4.12
Remark 3Y9ED1N0T1
| URI | m2://inv/3Y9ED1N0T1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann mapping theorem#YNYH, Remark (unknown)
History
- 2026-11-02: add by m2/dev
3Y9N4MM19X 3Y9N4MM19X
| URI | m2://inv/3Y9N4MM19X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#OR3W (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions 3Y9R6S3CB5
| URI | m2://inv/3Y9R6S3CB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursively enumerable language#67JQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
3YA259SSTJ 3YA259SSTJ
| URI | m2://inv/3YA259SSTJ |
|---|---|
| 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.30336#3M0K (statement). In CCWHTB3911/e1, proposition 3.5
History
- 2026-10-31: add by m2/v0.5.6
3YAACNE572 3YAACNE572
| URI | m2://inv/3YAACNE572 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-3 (example). In PKGMM3P5QY, ex, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
Grafting tree 3YAH2XH2M8
| URI | m2://inv/3YAH2XH2M8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#FKFH, Grafting tree (definition). In SMJMAQ2S3J/e1, definition 28
History
- 2026-10-27: add by m2/v0.4.0
satellite 3YAJ8E5R6A
| URI | m2://inv/3YAJ8E5R6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#7GAR, satellite (definition)
History
- 2026-11-02: add by m2/dev
3YAMZA0G3N 3YAMZA0G3N
| URI | m2://inv/3YAMZA0G3N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.10920#HLFV (definition). In 6TTFGK6ZV0/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
3YARFF4GCK 3YARFF4GCK
| URI | m2://inv/3YARFF4GCK |
|---|---|
| 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.13745#137C (statement). In CFJH0Q39FZ/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Azuma's inequality 3YATV37K83
| URI | m2://inv/3YATV37K83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azuma's inequality, Azuma's inequality (statement). Also Wikidata Q2410467
History
- 2026-11-02: add by m2/dev
Examples 3YB595VSB4
| URI | m2://inv/3YB595VSB4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subcategory#G72V, Examples (example)
History
- 2026-11-02: add by m2/dev
Order parameter 3YB6Y8PMW1
| URI | m2://inv/3YB6Y8PMW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase transition#T0K6, Order parameter (unknown)
History
- 2026-11-02: add by m2/dev
3YBB9PN9PJ 3YBB9PN9PJ
| URI | m2://inv/3YBB9PN9PJ |
|---|---|
| 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 2603.21971#D65B (statement). In R6KSZ9H8CY/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Definition 3YBBN5TXZT
| URI | m2://inv/3YBBN5TXZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SMASH (hash)#HOEF, Definition (definition)
History
- 2026-11-02: add by m2/dev
3YBNM7EC5F 3YBNM7EC5F
| URI | m2://inv/3YBNM7EC5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#4GYK (statement). In ET8GYMMDQM/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Extensions and variations of Fatou's lemma 3YBQ155ZE3
| URI | m2://inv/3YBQ155ZE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#FTEX, Extensions and variations of Fatou's lemma (statement)
History
- 2026-11-02: add by m2/dev
Density-based clustering 3YBQ4AHRAE
| URI | m2://inv/3YBQ4AHRAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster analysis#7JWS, Density-based clustering (unknown)
History
- 2026-11-02: add by m2/dev
spherical geometry 3YBVFZV7WQ
| URI | m2://inv/3YBVFZV7WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spherical geometry SQ9RQVANMG |
Mentions
- wikidata: Wikidata Q326905, spherical geometry (topic). Also EoM Spherical_geometry, MathWorld SphericalGeometry, ProofWiki Definition:Spherical_Geometry
- wikipedia: Wikipedia Spherical geometry, Spherical geometry (definition). Also Wikidata Q326905
History
- 2026-10-26: add by m2/dev
Rebecca Andridge 3YBYPNVPT4
| URI | m2://inv/3YBYPNVPT4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O4PB, Rebecca Andridge (topic)
History
- 2026-11-02: add by m2/dev
Candidates and a symmetric partner 3YBYRWMK8F
| URI | m2://inv/3YBYRWMK8F |
|---|---|
| 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.18884#86CU, Candidates and a symmetric partner (statement). In 8WM10QMA9E/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
3YC3DWEQZS 3YC3DWEQZS
| URI | m2://inv/3YC3DWEQZS |
|---|---|
| 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#1BL9 (statement). In JWNYJVH8XG/e1, corollary 3.12
History
- 2026-10-29: add by m2/v0.4.10
Examples 3YC8TTE96W
| URI | m2://inv/3YC8TTE96W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey topology#I9RE, Examples (example)
History
- 2026-11-02: add by m2/dev
3YC9QHSXWJ 3YC9QHSXWJ
| URI | m2://inv/3YC9QHSXWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#44ER (statement)
History
- 2026-11-01: add by m2/v0.6.15
RapidMiner 3YCANTQ4AE
| URI | m2://inv/3YCANTQ4AE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#EC13, RapidMiner (unknown)
History
- 2026-11-02: add by m2/dev
Example 3YCFWCHTYP
| URI | m2://inv/3YCFWCHTYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axis–angle representation#VPS6, Example (example)
History
- 2026-11-02: add by m2/dev
3YCMSYATEN 3YCMSYATEN
| URI | m2://inv/3YCMSYATEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#EJUG (statement). In GHKR740SG3/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
3YCPNQWN7G 3YCPNQWN7G
| URI | m2://inv/3YCPNQWN7G |
|---|---|
| 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 math/9802134#KTQL (statement). In 235B1J1ETB/e1, lemma 1.10
History
- 2026-10-27: add by m2/v0.3.5
3YCW2HEJ21 3YCW2HEJ21
| URI | m2://inv/3YCW2HEJ21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#CRS3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
3YD0NHDZ1B 3YD0NHDZ1B
| URI | m2://inv/3YD0NHDZ1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39169#LRTC (statement). In ANHWXYPQFX/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Jeff Westbrook 3YD65Z3BZ3
| URI | m2://inv/3YD65Z3BZ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7DAO, Jeff Westbrook (unknown)
History
- 2026-11-02: add by m2/dev
Critical pair 3YD7MQ14FQ
| URI | m2://inv/3YD7MQ14FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical pair (order theory), Critical pair (definition). Also Wikidata Q5186745
History
- 2026-11-02: add by m2/dev
Mortimer Spiegelman 3YD8DG6M72
| URI | m2://inv/3YD8DG6M72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#D07Y, Mortimer Spiegelman (unknown)
History
- 2026-11-02: add by m2/dev
3YDAXXHP6V 3YDAXXHP6V
| URI | m2://inv/3YDAXXHP6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prop:iden1 (statement). In PKGMM3P5QY, prop, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Israel Zamosz 3YDEHS4WKD
| URI | m2://inv/3YDEHS4WKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NVGO, Israel Zamosz (unknown)
History
- 2026-11-02: add by m2/dev
Examples 3YDHNQ4JKE
| URI | m2://inv/3YDHNQ4JKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian system#12TQ, Examples (example)
History
- 2026-11-02: add by m2/dev
$k$-sum property and additive triple 3YDMBGG38M
| URI | m2://inv/3YDMBGG38M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30203#LUKO, $k$-sum property and additive triple (definition)
History
- 2026-11-01: add by m2/v0.6.15
3YDNRBCTAB 3YDNRBCTAB
| URI | m2://inv/3YDNRBCTAB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 16-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.34193#X6S8 (conjecture). In 9XMZTTSF5E/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
Henry P. McKean 3YDPAEK998
| URI | m2://inv/3YDPAEK998 |
|---|---|
| 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#18V6, Henry P. McKean (topic)
History
- 2026-11-02: add by m2/dev
Lionel Cooper 3YDQ4Q44W7
| URI | m2://inv/3YDQ4Q44W7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#53BY, Lionel Cooper (unknown)
History
- 2026-11-02: add by m2/dev
3YDTYSVTF3 3YDTYSVTF3
| URI | m2://inv/3YDTYSVTF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#2DX2 (statement). In Y8A35AV31M/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Nagata's conjecture 3YDY3BSG64
| URI | m2://inv/3YDY3BSG64 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagata's conjecture#HRLB, Nagata's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Dan Laksov 3YE22XS620
| URI | m2://inv/3YE22XS620 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#23D7, Dan Laksov (topic)
History
- 2026-11-02: add by m2/dev
Seashell surface 3YE5010VZ0
| URI | m2://inv/3YE5010VZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#UXE3, Seashell surface (definition)
History
- 2026-11-02: add by m2/dev
3YE7MG5KH0 3YE7MG5KH0
| URI | m2://inv/3YE7MG5KH0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#thm:preimages basic open sets (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
3YE8S3QMJT 3YE8S3QMJT
| URI | m2://inv/3YE8S3QMJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#4VOC (statement). In WRE0P7V6Z3/e1, theorem 1.29
History
- 2026-10-30: add by m2/v0.4.12
Construction 3YEAY5WEEH
| URI | m2://inv/3YEAY5WEEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osgood curve#QWUU, Construction (definition)
History
- 2026-11-02: add by m2/dev
3YECESVYK3 3YECESVYK3
| URI | m2://inv/3YECESVYK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#ZJYD (statement). In 3PSAWXCCJ8/e1, corollary 20
History
- 2026-10-29: add by m2/v0.4.12
Lyapunov Function 3YEF7VJNXK
| URI | m2://inv/3YEF7VJNXK |
|---|---|
| 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 2610.17604#KP50, Lyapunov Function (definition). In CZNRSB168G/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
3YEG1J2MF6 3YEG1J2MF6
| URI | m2://inv/3YEG1J2MF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#J87M (statement). In 5350Q52F6P/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
3YEHXWKB9M 3YEHXWKB9M
| URI | m2://inv/3YEHXWKB9M |
|---|---|
| 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.29943#I9S4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elizebeth Smith Friedman 3YEJ2RBKAN
| URI | m2://inv/3YEJ2RBKAN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#1GAU, Elizebeth Smith Friedman (topic)
History
- 2026-11-02: add by m2/dev
Ely Devons 3YEJGX7PRV
| URI | m2://inv/3YEJGX7PRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KCNG, Ely Devons (unknown)
History
- 2026-11-02: add by m2/dev
3YEMXBJ7S7 3YEMXBJ7S7
| URI | m2://inv/3YEMXBJ7S7 |
|---|---|
| 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.03449#7WKW (statement). In 3XM05SYQ8D/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Jean Chazy 3YEPNVXGZT
| URI | m2://inv/3YEPNVXGZT |
|---|---|
| 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#9FFH, Jean Chazy (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B78O, Jean Chazy (topic)
History
- 2026-11-02: add by m2/dev
onto 3YERT7V4BV
| URI | m2://inv/3YERT7V4BV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4.2/onto, onto (concept). In Y91XFCEVHQ, index, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
Lévy distribution 3YEYJKAK6Q
| URI | m2://inv/3YEYJKAK6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PRKX, Lévy distribution (definition)
History
- 2026-11-02: add by m2/dev
3YEZAPS8C4 3YEZAPS8C4
| URI | m2://inv/3YEZAPS8C4 |
|---|---|
| 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.04330#QBSI (statement). In 17H0HEM54D/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
BLAS 3YF5BQQVCA
| URI | m2://inv/3YF5BQQVCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical libraries#FGC9, BLAS (unknown)
History
- 2026-11-02: add by m2/dev
Curvature varifolds with boundary 3YF5K8RHSN
| URI | m2://inv/3YF5K8RHSN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#KEG5, Curvature varifolds with boundary (definition). In AKB3CNDA0F/e1, definition 3.33
History
- 2026-10-29: add by m2/v0.4.12
3YF9F6X383 3YF9F6X383
| URI | m2://inv/3YF9F6X383 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01998#I01M (statement). In 71YD1PGG8E/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
3YF9HGZC3H 3YF9HGZC3H
| URI | m2://inv/3YF9HGZC3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#1UJO (statement). In CGA36VE1C5/e1, fact 7.1.1
History
- 2026-10-27: add by m2/v0.3.6
Chisanbop 3YFC9PA8VQ
| URI | m2://inv/3YFC9PA8VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chisanbop, Chisanbop (definition). Also Wikidata Q5102047
History
- 2026-11-02: add by m2/dev
3YFCGDTZSX 3YFCGDTZSX
| URI | m2://inv/3YFCGDTZSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32446#5M82 (statement). In W1KVJEGJ1W/e1, corollary B.1
History
- 2026-10-31: add by m2/v0.5.6
3YFFJARDG1 3YFFJARDG1
| URI | m2://inv/3YFFJARDG1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33050#F6QV (definition). In VDSBMQ0G9W/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
3YFRV8T5RW 3YFRV8T5RW
| URI | m2://inv/3YFRV8T5RW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#D1TL (unknown). In RQZGQG3PBR/e1, unknown II.12.1
History
- 2026-10-30: add by m2/v0.4.12
3YFSE1VR2N 3YFSE1VR2N
| URI | m2://inv/3YFSE1VR2N |
|---|---|
| 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.20225#4BQ1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Thomassen graph 105 3YG22NSQ1M
| URI | m2://inv/3YG22NSQ1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2806753, Thomassen graph 105 (unknown). Also House of Graphs 1347
History
- 2026-10-26: add by m2/dev
3YG46Y32KY 3YG46Y32KY
| URI | m2://inv/3YG46Y32KY |
|---|---|
| Kind | example |
| 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 1810.06028#VEQ0 (example). In ZPFHH6YJG3/e1, example 2.21
History
- 2026-10-27: add by m2/v0.3.5
3YG4781V20 3YG4781V20
| URI | m2://inv/3YG4781V20 |
|---|---|
| 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.00339#AAW2 (statement). In ZRG6NY1ECH/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Concurrent separation logic 3YG50V7CVA
| URI | m2://inv/3YG50V7CVA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation logic#26NL, Concurrent separation logic (unknown)
History
- 2026-11-02: add by m2/dev
3YGHAQE2VA 3YGHAQE2VA
| URI | m2://inv/3YGHAQE2VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11946#QCFS (statement). In VQ96F8CY5M/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
Mixed inhomogeneous Gallagher 3YH24MB8ZY
| URI | m2://inv/3YH24MB8ZY |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15809#S72Q, Mixed inhomogeneous Gallagher (conjecture). In 6GBT11XKAF/e1, conjecture 3.2
History
- 2026-10-28: add by m2/v0.4.2
3YH3ZR27BY 3YH3ZR27BY
| URI | m2://inv/3YH3ZR27BY |
|---|---|
| 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#XTR7 (example). In PZCA01JXVR/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.5
cf.\ 3YH7H3R16E
| URI | m2://inv/3YH7H3R16E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#3RE2, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
3YHGM98WDH 3YHGM98WDH
| URI | m2://inv/3YHGM98WDH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-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.21931#E94J (definition)
History
- 2026-11-02: add by m2/v0.6.17
3YHNMTGCMB 3YHNMTGCMB
| URI | m2://inv/3YHNMTGCMB |
|---|---|
| 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.02506#DBJ3 (statement). In 3JKRBZWJ33/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
3YHT6986XS 3YHT6986XS
| URI | m2://inv/3YHT6986XS |
|---|---|
| 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 2208.07401#RY91 (statement). In GJD7HKCE56/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.6
Sylvestre Gallot 3YHWHYAZPW
| URI | m2://inv/3YHWHYAZPW |
|---|---|
| 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#TPHV, Sylvestre Gallot (topic)
History
- 2026-11-02: add by m2/dev
V. A. Toponogov 3YJ1JJ2K16
| URI | m2://inv/3YJ1JJ2K16 |
|---|---|
| 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#NBZ2, V. A. Toponogov (topic)
History
- 2026-11-02: add by m2/dev
Dimitri Nanopoulos 3YJ20WSP80
| URI | m2://inv/3YJ20WSP80 |
|---|---|
| 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 Q578084, Dimitri Nanopoulos (unknown). Also nLab Dimitri Nanopoulos
History
- 2026-10-26: add by m2/dev
Fundamental lemma of Langlands and Shelstad 3YJ3AAMCTC
| URI | m2://inv/3YJ3AAMCTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#UCGC, Fundamental lemma of Langlands and Shelstad (statement)
History
- 2026-11-02: add by m2/dev
David Hinkley 3YJ5CWE3NM
| URI | m2://inv/3YJ5CWE3NM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WC66, David Hinkley (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5ZM1, David Hinkley (topic)
History
- 2026-11-02: add by m2/dev
Harry Coonce 3YJ9H4G4X7
| URI | m2://inv/3YJ9H4G4X7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Coonce, Harry Coonce (topic). Also Wikidata Q11099210
History
- 2026-11-02: add by m2/dev
Heine functions 3YJEC1YBQS
| URI | m2://inv/3YJEC1YBQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Eduard Heine#9LLE, Heine functions (definition)
History
- 2026-11-02: add by m2/dev
The future and past flow maps 3YJZMN7NJJ
| URI | m2://inv/3YJZMN7NJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#QV43, The future and past flow maps (definition). In VCHH2AC34R/e1, definition 3.16
History
- 2026-10-29: add by m2/v0.4.10
3YK88F0VCV 3YK88F0VCV
| URI | m2://inv/3YK88F0VCV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#UX1B (example). In GKM19DHQTM/e1, example 6.40
History
- 2026-10-29: add by m2/v0.4.10
Curved space 3YK8ED8FNT
| URI | m2://inv/3YK8ED8FNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curved space, Curved space (definition). Also Wikidata Q5196078
History
- 2026-11-02: add by m2/dev
Stieltjes–Wigert polynomials 3YKFNK67HJ
| URI | m2://inv/3YKFNK67HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stieltjes–Wigert polynomials, Stieltjes–Wigert polynomials (definition). Also Wikidata Q15603260
History
- 2026-11-02: add by m2/dev
Michael W. Davis 3YKKK2WKYG
| URI | m2://inv/3YKKK2WKYG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael W. Davis, Michael W. Davis (topic). Also Wikidata Q102161851
History
- 2026-11-02: add by m2/dev
3YKMNZZ2YS 3YKMNZZ2YS
| URI | m2://inv/3YKMNZZ2YS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#2OMU (statement). In 9ZD87293QS/e1, lemma 3.27
History
- 2026-10-27: add by m2/v0.4.0
List of numerical computational geometry topics 3YKR7BDNGM
| URI | m2://inv/3YKR7BDNGM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical computational geometry topics, List of numerical computational geometry topics (topic). Also Wikidata Q16977698
History
- 2026-11-02: add by m2/dev
AI 3YM20EKTRH
| URI | m2://inv/3YM20EKTRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#NORD, AI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Matching bounds for large sample smoothness 3YM4ZAYH96
| URI | m2://inv/3YM4ZAYH96 |
|---|---|
| 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.12641#J94U, Matching bounds for large sample smoothness (statement). In X5BYGZZHPF/e1, corollary 5.6
History
- 2026-10-28: add by m2/v0.4.2
Michel Reiss 3YMPM87N7V
| URI | m2://inv/3YMPM87N7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#NWPL, Michel Reiss (topic)
History
- 2026-11-02: add by m2/dev
Example 3YMTBPZG7G
| URI | m2://inv/3YMTBPZG7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-shrinking generator#JQMC, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions 3YN0R7854W
| URI | m2://inv/3YN0R7854W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#9UPV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
3YN7G73Z0X 3YN7G73Z0X
| URI | m2://inv/3YN7G73Z0X |
|---|---|
| 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.13076#L22A (statement). In K7GJA4WGV7/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
NP-complete 3YNJZS86YM
| URI | m2://inv/3YNJZS86YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215206, NP-complete (definition). Also MathWorld NP-CompleteProblem, ProofWiki Definition:NP-Complete
- wikipedia: Wikipedia NP-completeness, NP-completeness (definition). Also Wikidata Q215206
History
- 2026-10-26: add by m2/dev
direct sum 3YNSDEA0X1
| URI | m2://inv/3YNSDEA0X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#GWBO, direct sum (definition)
History
- 2026-11-02: add by m2/dev
3YNVA522EV 3YNVA522EV
| URI | m2://inv/3YNVA522EV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#VWA7 (problem). In NC5ZRF6F8N/e1, problem 1.2
History
- 2026-10-29: add by m2/v0.4.12
3YNWQJM035 3YNWQJM035
| URI | m2://inv/3YNWQJM035 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#A7AW (definition). In 9H45HQE7AZ/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
Delta lemma 3YP12XEEWA
| URI | m2://inv/3YP12XEEWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#F2KP, Delta lemma (definition)
History
- 2026-11-02: add by m2/dev
Grover's algorithm 3YP2HPHX92
| URI | m2://inv/3YP2HPHX92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#47WZ, Grover's algorithm (definition)
History
- 2026-11-02: add by m2/dev
3YP52HPH6B 3YP52HPH6B
| URI | m2://inv/3YP52HPH6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#7S7E (statement)
History
- 2026-11-02: add by m2/v0.6.18
Constructive quantum field theory 3YP89DJGYP
| URI | m2://inv/3YP89DJGYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#71QW, Constructive quantum field theory (definition)
History
- 2026-11-02: add by m2/dev
Approximate e-variable 3YPA29T4PJ
| URI | m2://inv/3YPA29T4PJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11388#1KGP, Approximate e-variable (definition). In PC1SZ68BPZ/e1, definition C.1
History
- 2026-10-28: add by m2/v0.4.3
Proof of the lemma 3YPCHK294R
| URI | m2://inv/3YPCHK294R |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-57, Proof of the lemma (proof). In VNMV985MXX, proof, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Complex averages under nearby laws 3YPHNERWYV
| URI | m2://inv/3YPHNERWYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#EIK3, Complex averages under nearby laws (statement). In 5XPM4E03W6/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Gagliardo–Nirenberg–Sobolev inequality 3YPW7MTFYG
| URI | m2://inv/3YPW7MTFYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev inequality#5498, Gagliardo–Nirenberg–Sobolev inequality (statement)
History
- 2026-11-02: add by m2/dev
Xiangyu Zhou 3YPYB1RXDJ
| URI | m2://inv/3YPYB1RXDJ |
|---|---|
| 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#SGTS, Xiangyu Zhou (topic)
History
- 2026-11-02: add by m2/dev
Theorem 3YQ7NEQBVW
| URI | m2://inv/3YQ7NEQBVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multinomial distribution#DIE4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Multiple-criteria decision analysis 3YQ7S8QVVA
| URI | m2://inv/3YQ7S8QVVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple-criteria decision analysis, Multiple-criteria decision analysis (definition). Also Wikidata Q1895805
History
- 2026-11-02: add by m2/dev
Regular convexity 3YQBMH52YZ
| URI | m2://inv/3YQBMH52YZ |
|---|---|
| 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.05204#7WQK, Regular convexity (statement). In ET0TQ8YF7Z/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
3YQDD62SZ4 3YQDD62SZ4
| URI | m2://inv/3YQDD62SZ4 |
|---|---|
| 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.36088#4CTT (statement). In QJD3MZMJHW/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
3YQV7GZPMP 3YQV7GZPMP
| URI | m2://inv/3YQV7GZPMP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#JD6K (definition). In 13H5BTAXHF/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.5
Bounded value corruption 3YQY4ACD4G
| URI | m2://inv/3YQY4ACD4G |
|---|---|
| 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.15202#4NCM, Bounded value corruption (statement). In X1FPG0KYBM/e1, theorem F.2
History
- 2026-10-28: add by m2/v0.4.2
Driebergen 3YQYD6ZTFR
| URI | m2://inv/3YQYD6ZTFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2806, Driebergen (unknown)
History
- 2026-11-02: add by m2/dev
3YR0F7AYZN 3YR0F7AYZN
| URI | m2://inv/3YR0F7AYZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#631V (statement). In GW23NX78SB/e1, lemma 4.32
History
- 2026-10-28: add by m2/v0.4.2
Likelihood-trained translations give Euclidean, cosine, and correlation distances 3YR5637JS4
| URI | m2://inv/3YR5637JS4 |
|---|---|
| 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.31544#5V71, Likelihood-trained translations give Euclidean, cosine, and correlation distances (statement). In TX449S1VZV/e1, proposition B.1
History
- 2026-10-31: add by m2/v0.5.6
Definition and examples 3YR5XZ298F
| URI | m2://inv/3YR5XZ298F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composite polyhedron#2GGV, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
System dynamics 3YR947JZXM
| URI | m2://inv/3YR947JZXM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F9F3, System dynamics (topic)
History
- 2026-11-02: add by m2/dev
Itô's lemma 3YRAM9SG9T
| URI | m2://inv/3YRAM9SG9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S620, Itô's lemma (statement)
- wikipedia: Wikipedia List of mathematical proofs#BATU, Itô's lemma (statement)
- wikipedia: Wikipedia List of probability topics#TJ0A, Itô's lemma (statement)
History
- 2026-11-02: add by m2/dev
Mycielski of cycle graph 3YRPXWY2B9
| URI | m2://inv/3YRPXWY2B9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20881#99I5, Mycielski of cycle graph (definition)
History
- 2026-11-02: add by m2/v0.6.18
Linear elasticity 3YRV1R98V5
| URI | m2://inv/3YRV1R98V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear elasticity, Linear elasticity (definition). Also Wikidata Q3851760
History
- 2026-11-02: add by m2/dev
Arithmeum 3YRYT4D8EP
| URI | m2://inv/3YRYT4D8EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmeum, Arithmeum (definition). Also Wikidata Q669212
History
- 2026-11-02: add by m2/dev
Roland Fraïssé 3YRZB4D2MD
| URI | m2://inv/3YRZB4D2MD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#0T52, Roland Fraïssé (topic)
History
- 2026-11-02: add by m2/dev
Henry Burchard Fine 3YS2XVBKYB
| URI | m2://inv/3YS2XVBKYB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Burchard Fine, Henry Burchard Fine (topic). Also Wikidata Q385654
History
- 2026-11-02: add by m2/dev
Gan–Gross–Prasad conjecture 3YS5FGY8R0
| URI | m2://inv/3YS5FGY8R0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#YBF0, Gan–Gross–Prasad conjecture (statement)
History
- 2026-11-02: add by m2/dev
Zdzisław Skupień 3YS73FZHKP
| URI | m2://inv/3YS73FZHKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zdzisław Skupień, Zdzisław Skupień (topic). Also Wikidata Q8068116
History
- 2026-11-02: add by m2/dev
Statement 3YSM87FN9S
| URI | m2://inv/3YSM87FN9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cholesky decomposition#21IE, Statement (statement)
History
- 2026-11-02: add by m2/dev
entanglement-assisted monotonicity 3YSR6JSF0H
| URI | m2://inv/3YSR6JSF0H |
|---|---|
| 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.20775#KWS7, entanglement-assisted monotonicity (statement). In XG27B81T0G/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.2
Bayesian model averaging 3YT00KSN44
| URI | m2://inv/3YT00KSN44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble learning#HSRF, Bayesian model averaging (unknown)
History
- 2026-11-02: add by m2/dev
Euler's theorem 3YT2NYY3C4
| URI | m2://inv/3YT2NYY3C4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#K7FU, Euler's theorem (statement)
History
- 2026-11-02: add by m2/dev
George Wood 3YT4QAEW4A
| URI | m2://inv/3YT4QAEW4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Wood (New Zealand statistician), George Wood (topic). Also Wikidata Q97369461
History
- 2026-11-02: add by m2/dev
3YT4QBSD8S 3YT4QBSD8S
| URI | m2://inv/3YT4QBSD8S |
|---|---|
| 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 1810.06028#0JAF (definition). In ZPFHH6YJG3/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Examples 3YTF62JXAM
| URI | m2://inv/3YTF62JXAM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessenberg variety#5IV1, Examples (example)
History
- 2026-11-02: add by m2/dev
Maximal weak subslope vs. maximal relaxed subslope 3YTG2DDSN8
| URI | m2://inv/3YTG2DDSN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#EMNK, Maximal weak subslope vs. maximal relaxed subslope (statement). In KM3Q791JY0/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.4.2
Sze-Tsen Hu 3YTH8YQ5KD
| URI | m2://inv/3YTH8YQ5KD |
|---|---|
| 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#SIYI, Sze-Tsen Hu (unknown)
History
- 2026-11-02: add by m2/dev
order 3YTPMH3ZBW
| URI | m2://inv/3YTPMH3ZBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real numbers > order, order (unknown). Also Mathlib Real.linearOrder
History
- 2026-10-26: add by m2/dev
3YTQEH3AXR 3YTQEH3AXR
| URI | m2://inv/3YTQEH3AXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26743#LCOM (statement)
History
- 2026-11-01: add by m2/v0.6.15
High probability events in $H$ 3YTV15GP1C
| URI | m2://inv/3YTV15GP1C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#8EF7, High probability events in $H$ (definition). In T9HZXHTQBJ/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.6
Bill Ferrar 3YV0Z9GNSM
| URI | m2://inv/3YV0Z9GNSM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bill Ferrar, Bill Ferrar (topic). Also Wikidata Q20711639
History
- 2026-11-02: add by m2/dev
Problem of the criterion 3YV1RZ7RVQ
| URI | m2://inv/3YV1RZ7RVQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic philosophy#KHDA, Problem of the criterion (problem)
History
- 2026-11-02: add by m2/dev
3YV2J3G7Q4 3YV2J3G7Q4
| URI | m2://inv/3YV2J3G7Q4 |
|---|---|
| Kind | counterexample |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#WFBG (counterexample). In HX63A1PH1W/e1, counterexample 5.39
History
- 2026-10-28: add by m2/v0.4.3
GGDPC dendrogram via single linkage clustering 3YV3ECM3SV
| URI | m2://inv/3YV3ECM3SV |
|---|---|
| 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.01050#68G3, GGDPC dendrogram via single linkage clustering (statement). In 48NN33SAH7/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
3YV7GYBYQW 3YV7GYBYQW
| URI | m2://inv/3YV7GYBYQW |
|---|---|
| Kind | definition |
| 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 2610.15517#ZR9H (definition). In C87H6KZSBM/e1, definition A.4
History
- 2026-10-28: add by m2/v0.4.2
Cross-stitch curve 3YVF9NMGWX
| URI | m2://inv/3YVF9NMGWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koch snowflake#RXTJ, Cross-stitch curve (unknown)
History
- 2026-11-02: add by m2/dev
Example 3YVH4W2AQK
| URI | m2://inv/3YVH4W2AQK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturm's theorem#BFBK, Example (example)
History
- 2026-11-02: add by m2/dev
Asymptotic equipartition property 3YVPVF67YS
| URI | m2://inv/3YVPVF67YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic equipartition property, Asymptotic equipartition property (definition). Also Wikidata Q4812181
History
- 2026-11-02: add by m2/dev
Applications 3YW11YD93S
| URI | m2://inv/3YW11YD93S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axial current#I7NW, Applications (example)
History
- 2026-11-02: add by m2/dev
3YW6NHW0DE 3YW6NHW0DE
| URI | m2://inv/3YW6NHW0DE |
|---|---|
| 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 2404.06445#IDA1 (statement). In 12JKZ8EN52/e1, theorem 8.25
History
- 2026-10-27: add by m2/v0.3.5
3YW9GK4XKT 3YW9GK4XKT
| URI | m2://inv/3YW9GK4XKT |
|---|---|
| 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#V50X (statement). In Q70CTMCJTP/e1, lemma 3.29
History
- 2026-10-27: add by m2/v0.3.5
Examples 3YWB0RGE9Z
| URI | m2://inv/3YWB0RGE9Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic group#T82S, Examples (example)
History
- 2026-11-02: add by m2/dev
Clay Córdova 3YWBJRQBX6
| URI | m2://inv/3YWBJRQBX6 |
|---|---|
| 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 Q102409877, Clay Córdova (unknown). Also nLab Clay Cordova
History
- 2026-10-26: add by m2/dev
RS2 model 3YWGB8VHST
| URI | m2://inv/3YWGB8VHST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randall–Sundrum model#23GN, RS2 model (unknown)
History
- 2026-11-02: add by m2/dev
Riemann zeta function 3YWHK4XSP6
| URI | m2://inv/3YWHK4XSP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#KL64, Riemann zeta function (definition)
History
- 2026-11-02: add by m2/dev
3YWMTH1KFP 3YWMTH1KFP
| URI | m2://inv/3YWMTH1KFP |
|---|---|
| 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.14240#5XFU (statement). In HGQCBDDMQJ/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
Modal fallacy 3YWN7V6F7W
| URI | m2://inv/3YWN7V6F7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#4E1B, Modal fallacy (definition)
History
- 2026-11-02: add by m2/dev
Identity alone 3YWNHMT6YZ
| URI | m2://inv/3YWNHMT6YZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knights and Knaves#CJR7, Identity alone (statement)
History
- 2026-11-02: add by m2/dev
Correction blocks 3YWSBQ54N4
| URI | m2://inv/3YWSBQ54N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36098#YKQC, Correction blocks (statement). In NRP62VNE58/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Applications 3YWV3QTXGR
| URI | m2://inv/3YWV3QTXGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivector#SW4H, Applications (example)
History
- 2026-11-02: add by m2/dev
3YWWYFX1V8 3YWWYFX1V8
| URI | m2://inv/3YWWYFX1V8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-11 (example). In E59CDZA4DP, example, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem 3YWXNFY58T
| URI | m2://inv/3YWXNFY58T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entire function#31KI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Univariate 3YWXWXHPT2
| URI | m2://inv/3YWXWXHPT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Univariate (statistics), Univariate (definition). Also Wikidata Q30678297
History
- 2026-11-02: add by m2/dev
3YX0S7TV1N 3YX0S7TV1N
| URI | m2://inv/3YX0S7TV1N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
Convective acceleration 3YX399J9A1
| URI | m2://inv/3YX399J9A1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Navier–Stokes equations#YCF8, Convective acceleration (unknown)
History
- 2026-11-02: add by m2/dev
path 3YX5X2ADB8
| URI | m2://inv/3YX5X2ADB8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/path, path (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Phase rule 3YXACVE1J2
| URI | m2://inv/3YXACVE1J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase rule, Phase rule (definition). Also Wikidata Q752412
History
- 2026-11-02: add by m2/dev
William Shaw 3YXHKB28HF
| URI | m2://inv/3YXHKB28HF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Shaw (mathematician), William Shaw (topic). Also Wikidata Q8018341
History
- 2026-11-02: add by m2/dev
3YXJYZRV8Q 3YXJYZRV8Q
| URI | m2://inv/3YXJYZRV8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-16 (example). In E9HS8K3A52, example, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
3YXN9950Z8 3YXN9950Z8
| URI | m2://inv/3YXN9950Z8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#E6RM (statement). In TXBXCPP0QH/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.10
The Schoolmaster's Assistant, Being a Compendium of Arithmetic Both Practical and Theoretical 3YXNT6G2TS
| URI | m2://inv/3YXNT6G2TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Schoolmaster's Assistant, Being a Compendium of Arithmetic Both Practical and Theoretical, The Schoolmaster's Assistant, Being a Compendium of Arithmetic Both Practical and Theoretical (definition). Also Wikidata Q7762552
History
- 2026-11-02: add by m2/dev
3YXNWDS4AV 3YXNWDS4AV
| URI | m2://inv/3YXNWDS4AV |
|---|---|
| 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.11757#BPTJ (statement). In VSJRVTHWWA/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Definition 3YY2WN3KMD
| URI | m2://inv/3YY2WN3KMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grubbs's test#OCKU, Definition (definition)
History
- 2026-11-02: add by m2/dev
3YYAVKV4P3 3YYAVKV4P3
| URI | m2://inv/3YYAVKV4P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36877#THXK (statement). In FYS6VV5M99/e1, theorem 2.10
History
- 2026-10-30: add by m2/v0.4.12
3YYD7ETQ6Y 3YYD7ETQ6Y
| URI | m2://inv/3YYD7ETQ6Y |
|---|---|
| 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.23341#530E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jack Wolf 3YYN2MF2SZ
| URI | m2://inv/3YYN2MF2SZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CT74, Jack Wolf (unknown)
History
- 2026-11-02: add by m2/dev
Axioms 3YYSDW8HGE
| URI | m2://inv/3YYSDW8HGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal t-norm logic#690X, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Voter model 3YZDXS414B
| URI | m2://inv/3YZDXS414B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#USNC, Voter model (definition)
History
- 2026-11-02: add by m2/dev
Complex-field equations 3YZJ5S31RG
| URI | m2://inv/3YZJ5S31RG |
|---|---|
| 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.02721#FV16, Complex-field equations (statement). In XXFYVDVPPE/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
3YZJKX3FBW 3YZJKX3FBW
| URI | m2://inv/3YZJKX3FBW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2401.11433#OHJD (definition). In JNA2B803FH/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet convolution 3YZN6P7P5R
| URI | m2://inv/3YZN6P7P5R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Dirichlet convolution 037F589D1D |
Mentions
- wikidata: Wikidata Q6453184, Dirichlet convolution (concept). Also EoM Dirichlet_convolution, ProofWiki Definition:Dirichlet_Convolution
- wikipedia: Wikipedia Dirichlet convolution, Dirichlet convolution (definition). Also Wikidata Q6453184
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3YZNKDPZ08 3YZNKDPZ08
| URI | m2://inv/3YZNKDPZ08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#LQLS (statement). In PJAT9YDX7Y/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.4.0
Algebra 3YZPEJA61X
| URI | m2://inv/3YZPEJA61X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra (book), Algebra (definition). Also Wikidata Q134967126
History
- 2026-11-02: add by m2/dev
3YZV1D40FD 3YZV1D40FD
| URI | m2://inv/3YZV1D40FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19464#MRIK (statement). In G8JCZ109A9/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Universal coefficient theorem for cohomology 3YZWP6VV8C
| URI | m2://inv/3YZWP6VV8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal coefficient theorem#NZ21, Universal coefficient theorem for cohomology (statement)
History
- 2026-11-02: add by m2/dev