Inventory rows 2E
The cards of the rows of the inventory whose ids start with 2E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Point process 2E04GC4PMP
| URI | m2://inv/2E04GC4PMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#QWQJ, Point process (definition)
History
- 2026-11-02: add by m2/dev
Hans Hermes 2E0538VG2G
| URI | m2://inv/2E0538VG2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Hermes, Hans Hermes (topic). Also Wikidata Q1425952
History
- 2026-11-02: add by m2/dev
Kurt Reidemeister 2E07SWWBVX
| URI | m2://inv/2E07SWWBVX |
|---|---|
| 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#4TF8, Kurt Reidemeister (topic)
- wikipedia: Wikipedia List of German mathematicians#PBDL, Kurt Reidemeister (topic)
History
- 2026-11-02: add by m2/dev
Multiple comparisons 2E0BNGWBMV
| URI | m2://inv/2E0BNGWBMV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in statistics#V5NG, Multiple comparisons (problem)
History
- 2026-11-02: add by m2/dev
2E0E93PWQK 2E0E93PWQK
| URI | m2://inv/2E0E93PWQK |
|---|---|
| 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.06724#DDXA (statement). In W5XG3PGVF1/e1, corollary C.18
History
- 2026-10-29: add by m2/v0.4.10
Applications 2E0KZM0Q81
| URI | m2://inv/2E0KZM0Q81 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of twelfths#BVK9, Applications (example)
History
- 2026-11-02: add by m2/dev
Gaussian location 2E0QFMA2TT
| URI | m2://inv/2E0QFMA2TT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#UL0H, Gaussian location (example)
History
- 2026-11-01: add by m2/v0.6.15
Proposition 10 2E0V9FK9W9
| URI | m2://inv/2E0V9FK9W9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of exhaustion#7Q35, Proposition 10 (statement)
History
- 2026-11-02: add by m2/dev
Lense–Thirring precession 2E12TH5775
| URI | m2://inv/2E12TH5775 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lense–Thirring precession, Lense–Thirring precession (definition). Also Wikidata Q11083519
History
- 2026-11-02: add by m2/dev
Properties 2E1DDDWVE8
| URI | m2://inv/2E1DDDWVE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 26-fullerene graph#AII2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Localization recognition 2E1K844QMX
| URI | m2://inv/2E1K844QMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#Z1B2, Localization recognition (statement). In TB1294GY5X/e1, theorem 1.17
History
- 2026-10-27: add by m2/v0.4.2
Reinhardt Kiehl 2E21ZEABT8
| URI | m2://inv/2E21ZEABT8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinhardt Kiehl, Reinhardt Kiehl (topic). Also Wikidata Q2141192
History
- 2026-11-02: add by m2/dev
Theorem 2E24E4X7QN
| URI | m2://inv/2E24E4X7QN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct integral#XWN3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Jerome Levine 2E2BFN8PWD
| URI | m2://inv/2E2BFN8PWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerome Levine, Jerome Levine (topic). Also Wikidata Q6182821
History
- 2026-11-02: add by m2/dev
2E2GVGYEEC 2E2GVGYEEC
| URI | m2://inv/2E2GVGYEEC |
|---|---|
| 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.28597#RXG4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Erd\H{o}s Matching Conjecture 2E2K6YYCDA
| URI | m2://inv/2E2K6YYCDA |
|---|---|
| Kind | conjecture |
| 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.24353#NATP, Erd\H{o}s Matching Conjecture (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Formulation of a conjecture of Grothendieck on curves 2E333CKVZJ
| URI | m2://inv/2E333CKVZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anabelian geometry#SMGP, Formulation of a conjecture of Grothendieck on curves (statement)
History
- 2026-11-02: add by m2/dev
Walter Trump 2E35H48W1E
| URI | m2://inv/2E35H48W1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Trump, Walter Trump (topic). Also Wikidata Q7966308
History
- 2026-11-02: add by m2/dev
4-tuple 2E38MSF8YV
| URI | m2://inv/2E38MSF8YV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3927329, 4-tuple (unknown). Also MathWorld Quadruple
History
- 2026-10-26: add by m2/dev
Metric interval temporal logic 2E38QGN33D
| URI | m2://inv/2E38QGN33D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric interval temporal logic, Metric interval temporal logic (definition). Also Wikidata Q65080430
History
- 2026-11-02: add by m2/dev
Spirograph 2E3KXT5Z0Q
| URI | m2://inv/2E3KXT5Z0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of periodic functions#6SIY, Spirograph (unknown)
History
- 2026-11-02: add by m2/dev
2E3YKVNAHG 2E3YKVNAHG
| URI | m2://inv/2E3YKVNAHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35204#D9VJ (statement). In 8ZZNDYK76B/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
De Rham curve 2E3ZCAY4PS
| URI | m2://inv/2E3ZCAY4PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham curve, De Rham curve (definition). Also Wikidata Q5244711
History
- 2026-11-02: add by m2/dev
2E421SXKHR 2E421SXKHR
| URI | m2://inv/2E421SXKHR |
|---|---|
| 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 2210.02261#52ZJ (statement). In TT74R659T0/e1, proposition 0.25
History
- 2026-10-27: add by m2/v0.3.5
2E42PDK1AE 2E42PDK1AE
| URI | m2://inv/2E42PDK1AE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Behnke–Stein theorem 2E45WWH1SN
| URI | m2://inv/2E45WWH1SN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#51H5, Behnke–Stein theorem (statement)
History
- 2026-11-02: add by m2/dev
Passing–Bablok regression 2E46EXE5QQ
| URI | m2://inv/2E46EXE5QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Passing–Bablok regression, Passing–Bablok regression (definition). Also Wikidata Q22907634
History
- 2026-11-02: add by m2/dev
Notation 2E4AW4RKYY
| URI | m2://inv/2E4AW4RKYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word (group theory)#DJU7, Notation (definition)
History
- 2026-11-02: add by m2/dev
Ternary extinction 2E4EWVMWQG
| URI | m2://inv/2E4EWVMWQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10557#P8RZ, Ternary extinction (statement). In D2MXWDTHWS/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.10
Representations 2E4FHB0HV1
| URI | m2://inv/2E4FHB0HV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's gamma function#AUYH, Representations (definition)
History
- 2026-11-02: add by m2/dev
Bhargava factorial 2E4GSGXVD3
| URI | m2://inv/2E4GSGXVD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#KW6Y, Bhargava factorial (definition)
History
- 2026-11-02: add by m2/dev
2E4RNAQZ8V 2E4RNAQZ8V
| URI | m2://inv/2E4RNAQZ8V |
|---|---|
| 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 2508.08809#0SQT (statement). In X5NX1YEABW/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
2E4S71CEMF 2E4S71CEMF
| URI | m2://inv/2E4S71CEMF |
|---|---|
| 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.32946#N6CQ (statement). In 6AEBXNK614/e1, lemma 3.10
History
- 2026-10-31: add by m2/v0.5.6
Definition 2E4SRRK2EZ
| URI | m2://inv/2E4SRRK2EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P–P plot#XXRN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Helly's theorem 2E5241H3Q4
| URI | m2://inv/2E5241H3Q4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JWY5, Helly's theorem (statement)
History
- 2026-11-02: add by m2/dev
2E54PNVK3E 2E54PNVK3E
| URI | m2://inv/2E54PNVK3E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1311.6044#BDT7 (definition). In W4FFB6SVZD/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Generic Galois group 2E55FFM98G
| URI | m2://inv/2E55FFM98G |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31189#IRZH, Generic Galois group (conjecture). In 2D061MTT04/e1, conjecture 10.2
History
- 2026-10-31: add by m2/v0.5.6
Ronald DeVore 2E592WD1KS
| URI | m2://inv/2E592WD1KS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald DeVore, Ronald DeVore (topic). Also Wikidata Q1547302
History
- 2026-11-02: add by m2/dev
cartesian oval 2E5A313F5M
| URI | m2://inv/2E5A313F5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2983648, cartesian oval (unknown). Also MathWorld CartesianOvals
- wikipedia: Wikipedia Cartesian oval, Cartesian oval (definition). Also Wikidata Q2983648
History
- 2026-10-26: add by m2/dev
Examples 2E5AY6YDAS
| URI | m2://inv/2E5AY6YDAS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth completion#IBH7, Examples (example)
History
- 2026-11-02: add by m2/dev
Rolling 2E5N759WHB
| URI | m2://inv/2E5N759WHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolling, Rolling (definition). Also Wikidata Q2192732
History
- 2026-11-02: add by m2/dev
A flat proper PTR Gaussian soliton 2E5P7GBEK5
| URI | m2://inv/2E5P7GBEK5 |
|---|---|
| Kind | example |
| 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.00077#WJ98, A flat proper PTR Gaussian soliton (example). In C04B15GH1T/e1, example 2.8
History
- 2026-10-30: add by m2/v0.4.12
2E5ZC5BQ8B 2E5ZC5BQ8B
| URI | m2://inv/2E5ZC5BQ8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20805#D8VE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Linear-Smoothing Tradeoff 2E64R0TDFD
| URI | m2://inv/2E64R0TDFD |
|---|---|
| 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.10167#AUVG, Linear-Smoothing Tradeoff (statement). In SVMDSE7PKG/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Global Sobolev-to-Barron embedding for $\operatorname{ReLU}^s$ 2E6DJ5KNWP
| URI | m2://inv/2E6DJ5KNWP |
|---|---|
| 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.10875#K75U, Global Sobolev-to-Barron embedding for $\operatorname{ReLU}^s$ (statement). In N91F15MHW1/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.3
2E6E3V68W6 2E6E3V68W6
| URI | m2://inv/2E6E3V68W6 |
|---|---|
| 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.07164#BLM0 (statement). In Q1XJ5VWE1N/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Candès, Emmanuel 2E6MTMD38R
| URI | m2://inv/2E6MTMD38R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HUHR, Candès, Emmanuel (unknown)
History
- 2026-11-02: add by m2/dev
theoretical physics 2E6ZQAVNKQ
| URI | m2://inv/2E6ZQAVNKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18362, theoretical physics (definition). Also ProofWiki Definition:Theoretical_Physics
- wikipedia: Wikipedia Theoretical physics, Theoretical physics (topic). Also Wikidata Q18362
History
- 2026-10-26: add by m2/dev
∧ ∨ → ↔ ¬ ∀ ∃ 2E7506S3TA
| URI | m2://inv/2E7506S3TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#43FV, ∧ ∨ → ↔ ¬ ∀ ∃ (definition)
History
- 2026-11-02: add by m2/dev
2E75V41V11 2E75V41V11
| URI | m2://inv/2E75V41V11 |
|---|---|
| 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.11031#CQQG (statement). In 9DMJXFRQN9/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
2E78AQ73X1 2E78AQ73X1
| URI | m2://inv/2E78AQ73X1 |
|---|---|
| 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.03062#WPSQ (statement). In 5H7985A5SD/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
2E7A31QJ46 2E7A31QJ46
| URI | m2://inv/2E7A31QJ46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#DUHW (statement). In ZJ6VQCRDVR/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
2E7F4WGVR0 2E7F4WGVR0
| URI | m2://inv/2E7F4WGVR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02790#4CXN (statement). In NB7HZ8W2K2/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.12
Reider's theorem 2E7M43DHWX
| URI | m2://inv/2E7M43DHWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7310041, Reider's theorem (statement). Also Wikidata Q7310041
- thousand_plus: thousand_plus Q7310041, Reider's theorem (statement). Also Wikidata Q7310041, Wikipedia Reider's theorem
- wikipedia: Wikipedia Reider's theorem, Reider's theorem (statement). Also Wikidata Q7310041
History
- 2026-10-26: add by m2/dev
Lubin–Tate formal group law 2E7YXG3BQQ
| URI | m2://inv/2E7YXG3BQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubin–Tate formal group law, Lubin–Tate formal group law (statement). Also Wikidata Q6695334
History
- 2026-11-02: add by m2/dev
Example 2E7ZK5PXDH
| URI | m2://inv/2E7ZK5PXDH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (geometry)#6FV2, Example (example)
History
- 2026-11-02: add by m2/dev
Properties 2E7ZNGVG4Q
| URI | m2://inv/2E7ZNGVG4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson distribution#65BR, Properties (statement)
History
- 2026-11-02: add by m2/dev
2E81ZKYXXP 2E81ZKYXXP
| URI | m2://inv/2E81ZKYXXP |
|---|---|
| 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 2606.00589#4VKT (statement). In C8JAGP8VCQ/e1, lemma 2.18
History
- 2026-10-27: add by m2/v0.3.5
Euclidean algorithm 2E8AYKDCAA
| URI | m2://inv/2E8AYKDCAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euclidean algorithm 0TRNT4X7J0 |
Mentions
- mathlib_1000: mathlib_1000 Q230848, Lamé’s theorem (statement). Also Wikidata Q230848
- wikidata: Wikidata Q230848, Euclidean algorithm (unknown). Also EoM Euclidean_algorithm, MathWorld EuclideanAlgorithm
- wikipedia: Wikipedia Euclidean algorithm, Euclidean algorithm (definition). Also Wikidata Q230848
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2E8C8M22NX 2E8C8M22NX
| URI | m2://inv/2E8C8M22NX |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#F35V (unknown). In QNBFHFZ3H0/e1, unknown 22
History
- 2026-10-28: add by m2/v0.4.2
Magnetic space group 2E8DATD9X5
| URI | m2://inv/2E8DATD9X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic space group, Magnetic space group (definition). Also Wikidata Q4150776
History
- 2026-11-02: add by m2/dev
\textbf{Proposition 1.1.7 (Decay of characteristic function 2E8F7FA80P
| URI | m2://inv/2E8F7FA80P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#GEQZ, \textbf{Proposition 1.1.7 (Decay of characteristic function (statement). In 8XVS0QJ2AH/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
2E8FA6BYE5 2E8FA6BYE5
| URI | m2://inv/2E8FA6BYE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#05QD (statement). In B5GGGWNJA6/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
Definition 2E8K438BQP
| URI | m2://inv/2E8K438BQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite intersection property#FC5L, Definition (definition)
History
- 2026-11-02: add by m2/dev
CQR accuracy of interval length 2E8MCF0AXY
| URI | m2://inv/2E8MCF0AXY |
|---|---|
| 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.33866#EWJG, CQR accuracy of interval length (statement). In Y3MSGX6472/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Carmichael number 2E902XW5E1
| URI | m2://inv/2E902XW5E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Carmichael number 060ZX7C32T |
Mentions
- wikidata: Wikidata Q849530, Carmichael number (unknown). Also MathWorld CarmichaelNumber, OEIS A002997
- wikipedia: Wikipedia Carmichael number, Carmichael number (definition). Also Wikidata Q849530
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2E9656XCQG 2E9656XCQG
| URI | m2://inv/2E9656XCQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#cor:enum-nat-bij (statement). In PKGMM3P5QY, cor, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Nerve of an open covering 2E99R5DYY8
| URI | m2://inv/2E99R5DYY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#84ZW, Nerve of an open covering (definition)
History
- 2026-11-02: add by m2/dev
Thomas Jerome Schaefer 2E9A187ZQC
| URI | m2://inv/2E9A187ZQC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Jerome Schaefer, Thomas Jerome Schaefer (topic). Also Wikidata Q43482672
History
- 2026-11-02: add by m2/dev
compact element 2E9DN0S3TS
| URI | m2://inv/2E9DN0S3TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Compact element 9F7TYES4KE |
Mentions
- wikidata: Wikidata Q5155306, compact element (unknown). Also nLab compact element
- wikipedia: Wikipedia Compact element, Compact element (definition). Also Wikidata Q5155306
History
- 2026-10-26: add by m2/dev
2E9MT84A2N 2E9MT84A2N
| URI | m2://inv/2E9MT84A2N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/structures.tex#ex-1 (example). In PKGMM3P5QY, ex, section 20.1
History
- 2026-11-01: add by m2/v0.6.13
2E9PGD6YN3 2E9PGD6YN3
| URI | m2://inv/2E9PGD6YN3 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#BYVF (unknown). In 9XMZTTSF5E/e1, unknown 1.2
History
- 2026-10-30: add by m2/v0.4.12
orthogonal, functions 2E9WP39NVJ
| URI | m2://inv/2E9WP39NVJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.1.3/orthogonal-functions, orthogonal, functions (concept). In E9HS8K3A52, index, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
2E9WQK8Q87 2E9WQK8Q87
| URI | m2://inv/2E9WQK8Q87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#CTZ9 (statement). In CC6S1HVK0T/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
2EA14NPWXR 2EA14NPWXR
| URI | m2://inv/2EA14NPWXR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0907.5545#AUC1 (definition). In K3GWCTV5YE/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
2EA1KS8F4J 2EA1KS8F4J
| URI | m2://inv/2EA1KS8F4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#8EQ4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Donna J. Brogan 2EA1X1YQ25
| URI | m2://inv/2EA1X1YQ25 |
|---|---|
| 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#3XII, Donna J. Brogan (topic)
History
- 2026-11-02: add by m2/dev
Sergei Konyagin 2EA396YJ72
| URI | m2://inv/2EA396YJ72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G614, Sergei Konyagin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AJM9, Sergei Konyagin (topic)
History
- 2026-11-02: add by m2/dev
Haversine 2EA5KWKAZ2
| URI | m2://inv/2EA5KWKAZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#D12Z, Haversine (definition)
History
- 2026-11-02: add by m2/dev
Chevy Chase Section Five, Maryland 2EADX29ZNM
| URI | m2://inv/2EADX29ZNM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XX3V, Chevy Chase Section Five, Maryland (unknown)
History
- 2026-11-02: add by m2/dev
List of convex conjugates 2EAQ8E55YS
| URI | m2://inv/2EAQ8E55YS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex conjugate#9I9K, List of convex conjugates (unknown)
History
- 2026-11-02: add by m2/dev
logarithmic derivative 2EAZXR5GHB
| URI | m2://inv/2EAZXR5GHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q762521, logarithmic derivative (unknown). Also MathWorld LogarithmicDerivative
- wikipedia: Wikipedia Logarithmic derivative, Logarithmic derivative (definition). Also Wikidata Q762521
History
- 2026-10-26: add by m2/dev
Engineering datum 2EB1F2NTSZ
| URI | m2://inv/2EB1F2NTSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Datum reference#DVLA, Engineering datum (unknown)
History
- 2026-11-02: add by m2/dev
2EB3T44BRR 2EB3T44BRR
| URI | m2://inv/2EB3T44BRR |
|---|---|
| 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 2609.25094#MW3I (statement)
History
- 2026-11-01: add by m2/v0.6.15
2EB8JXS90J 2EB8JXS90J
| URI | m2://inv/2EB8JXS90J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#HU7E (statement). In 7V2PVZS04C/e1, theorem 3.7
History
- 2026-10-31: add by m2/v0.5.6
Definition 2EBB3Z99ST
| URI | m2://inv/2EBB3Z99ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviation of a local ring#MOKV, Definition (definition)
History
- 2026-11-02: add by m2/dev
2EBBBB62KQ 2EBBBB62KQ
| URI | m2://inv/2EBBBB62KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18287#1RBB (statement). In ZXZN6RMN38/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
echo 2EBECASS6G
| URI | m2://inv/2EBECASS6G |
|---|---|
| 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#QCT6, echo (unknown)
History
- 2026-11-02: add by m2/dev
2EBJG8FTTG 2EBJG8FTTG
| URI | m2://inv/2EBJG8FTTG |
|---|---|
| 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.21403#ZU3A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wang--Zhang, dimension three 2EBM1D2GKT
| URI | m2://inv/2EBM1D2GKT |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15787#ON2K, Wang--Zhang, dimension three (problem). In BPY9RM0VK7/e1, problem 1.2
History
- 2026-10-28: add by m2/v0.4.2
2EBZ2TMVGP 2EBZ2TMVGP
| URI | m2://inv/2EBZ2TMVGP |
|---|---|
| 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.19288#AM9Z (statement). In 1EA6AM9V01/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
List of Martin Gardner Mathematical Games columns 2EC2STKDYP
| URI | m2://inv/2EC2STKDYP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Martin Gardner Mathematical Games columns, List of Martin Gardner Mathematical Games columns (topic). Also Wikidata Q18355344
History
- 2026-11-02: add by m2/dev
2EC3KX8AQ6 2EC3KX8AQ6
| URI | m2://inv/2EC3KX8AQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#SQIS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Categorical logic 2ECYVD95KP
| URI | m2://inv/2ECYVD95KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#Z9YG, Categorical logic (definition)
History
- 2026-11-02: add by m2/dev
Examples 2ED3F7441Y
| URI | m2://inv/2ED3F7441Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homoscedasticity and heteroscedasticity#BPUC, Examples (example)
History
- 2026-11-02: add by m2/dev
Trapezoidal distribution 2ED5Z4VVJN
| URI | m2://inv/2ED5Z4VVJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoidal distribution, Trapezoidal distribution (definition). Also Wikidata Q16938491
History
- 2026-11-02: add by m2/dev
2EDE5JGQXQ 2EDE5JGQXQ
| URI | m2://inv/2EDE5JGQXQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
2EDHB565Q8 2EDHB565Q8
| URI | m2://inv/2EDHB565Q8 |
|---|---|
| Kind | example |
| 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.14318#L6X0 (example). In HA4SZZJ831/e1, example 4.2
History
- 2026-10-28: add by m2/v0.4.2
2EDHMWCX5Z 2EDHMWCX5Z
| URI | m2://inv/2EDHMWCX5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#EQTK (statement). In M0SQY5EZN5/e1, theorem 6.1.9
History
- 2026-10-27: add by m2/v0.3.5
2EDKMPM477 2EDKMPM477
| URI | m2://inv/2EDKMPM477 |
|---|---|
| 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 2504.19468#K5GE (statement). In EY54F2SX08/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Intermediate $t$ lower bound 2EDM4K4VD8
| URI | m2://inv/2EDM4K4VD8 |
|---|---|
| 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.04135#6XTD, Intermediate $t$ lower bound (statement). In 587PWJ6W5D/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
2EDXCWXZG8 2EDXCWXZG8
| URI | m2://inv/2EDXCWXZG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#FHTI (statement). In XDMM0KNNZ9/e1, lemma 29
History
- 2026-10-29: add by m2/v0.4.10
2EDXEHW6K4 2EDXEHW6K4
| URI | m2://inv/2EDXEHW6K4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35123#1ID9 (statement). In 6106R88BNE/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Quality control and genetic algorithms 2EE75DM29Q
| URI | m2://inv/2EE75DM29Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quality control and genetic algorithms, Quality control and genetic algorithms (definition). Also Wikidata Q7268775
History
- 2026-11-02: add by m2/dev
2EE7BF580M 2EE7BF580M
| URI | m2://inv/2EE7BF580M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
2EEC2ZEQM7 2EEC2ZEQM7
| URI | m2://inv/2EEC2ZEQM7 |
|---|---|
| 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.19093#B1YJ (statement). In S2K79KESZ4/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
2EEFGM41QP 2EEFGM41QP
| URI | m2://inv/2EEFGM41QP |
|---|---|
| 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.33733#CABZ (statement). In QBAP8C82FG/e1, theorem 27
History
- 2026-10-30: add by m2/v0.4.12
2EEJWJ4AX8 2EEJWJ4AX8
| URI | m2://inv/2EEJWJ4AX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#UI2P (statement). In 9EMCPF1F2T/e1, theorem 43
History
- 2026-10-29: add by m2/v0.4.10
Counting maximal independent sets 2EEYGTX3A7
| URI | m2://inv/2EEYGTX3A7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal independent set#I52R, Counting maximal independent sets (unknown)
History
- 2026-11-02: add by m2/dev
George Adam Pfeiffer 2EEZD9MMBX
| URI | m2://inv/2EEZD9MMBX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Adam Pfeiffer, George Adam Pfeiffer (topic). Also Wikidata Q22670660
History
- 2026-11-02: add by m2/dev
Vicious abstractionism 2EF6VEK74F
| URI | m2://inv/2EF6VEK74F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reification (fallacy)#PIY1, Vicious abstractionism (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2EF7Q1DDM9
| URI | m2://inv/2EF7Q1DDM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil–Brezin Map#IATZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
2EFB9ESWZQ 2EFB9ESWZQ
| URI | m2://inv/2EFB9ESWZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-succ (statement). In PKGMM3P5QY, prop, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
History of operations research 2EFE7152DD
| URI | m2://inv/2EFE7152DD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operations research#G6XT, History of operations research (unknown)
History
- 2026-11-02: add by m2/dev
Ministry of Defence 2EFNNN8BSD
| URI | m2://inv/2EFNNN8BSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#WEDP, Ministry of Defence (unknown)
History
- 2026-11-02: add by m2/dev
2EFPF9268S 2EFPF9268S
| URI | m2://inv/2EFPF9268S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#2TMW (statement). In PG0B4PH9YH/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.4.2
2EG1M4XGJF 2EG1M4XGJF
| URI | m2://inv/2EG1M4XGJF |
|---|---|
| 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.29274#GK7T (statement)
History
- 2026-11-01: add by m2/v0.6.15
2EG5Y9TVHF 2EG5Y9TVHF
| URI | m2://inv/2EG5Y9TVHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#00W9 (statement). In 5KR3MHYVV6/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Schröder–Bernstein theorem for measurable spaces 2EG8ET4D1R
| URI | m2://inv/2EG8ET4D1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PY91, Schröder–Bernstein theorem for measurable spaces (statement)
History
- 2026-11-02: add by m2/dev
2EGCX70CR2 2EGCX70CR2
| URI | m2://inv/2EGCX70CR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#ML7J (statement). In R68THJCHX6/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.5
Coprime regular pencils 2EGH4FF38M
| URI | m2://inv/2EGH4FF38M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#TMHI, Coprime regular pencils (statement)
History
- 2026-11-01: add by m2/v0.6.15
Peirce's law 2EGVB9ZB5Z
| URI | m2://inv/2EGVB9ZB5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3GWG, Peirce's law (definition)
History
- 2026-11-02: add by m2/dev
Isbell 2EGVF0DQD9
| URI | m2://inv/2EGVF0DQD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#VACM, Isbell (definition)
History
- 2026-11-02: add by m2/dev
2EGY8NV3ZH 2EGY8NV3ZH
| URI | m2://inv/2EGY8NV3ZH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-21 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
2EH00Z96KD 2EH00Z96KD
| URI | m2://inv/2EH00Z96KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00109#2EZD (statement). In FS8J84KFX2/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Terminology 2EH389CVRB
| URI | m2://inv/2EH389CVRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle graph#6CLL, Terminology (definition)
History
- 2026-11-02: add by m2/dev
rng 2EH61TBE05
| URI | m2://inv/2EH61TBE05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rng MBK7NFE74S |
Mentions
- wikidata: Wikidata Q17102802, rng (definition). Also nLab nonunital ring, ProofWiki Definition:Ring_(Abstract_Algebra)
- wikipedia: Wikipedia Rng (algebra), Rng (definition). Also Wikidata Q17102802
History
- 2026-10-26: add by m2/dev
Harold Widom 2EHPE5NQ0J
| URI | m2://inv/2EHPE5NQ0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2H18, Harold Widom (unknown)
History
- 2026-11-02: add by m2/dev
2EHVCMZB0T 2EHVCMZB0T
| URI | m2://inv/2EHVCMZB0T |
|---|---|
| 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.05703#25OO (statement). In 2YS79JFD85/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Mixing under a small contractive perturbation 2EJ0RNSKW4
| URI | m2://inv/2EJ0RNSKW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#7ZG7, Mixing under a small contractive perturbation (statement). In NAM9ZMPHZ9/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Kelly network 2EJ1H362GK
| URI | m2://inv/2EJ1H362GK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelly network, Kelly network (definition). Also Wikidata Q6386356
History
- 2026-11-02: add by m2/dev
Example 2EJ8MV29SX
| URI | m2://inv/2EJ8MV29SX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trachtenberg system#RQCT, Example (example)
History
- 2026-11-02: add by m2/dev
Proposition 6.N 2EJBPXG3P3
| URI | m2://inv/2EJBPXG3P3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tractatus Logico-Philosophicus#6QGG, Proposition 6.N (statement)
History
- 2026-11-02: add by m2/dev
Cosmological principle 2EJCSNFC8V
| URI | m2://inv/2EJCSNFC8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological principle, Cosmological principle (statement). Also Wikidata Q319903
History
- 2026-11-02: add by m2/dev
Gromov product 2EJDENDZ58
| URI | m2://inv/2EJDENDZ58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov product, Gromov product (definition). Also Wikidata Q4380192
History
- 2026-11-02: add by m2/dev
2EJJ049ANC 2EJJ049ANC
| URI | m2://inv/2EJJ049ANC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/completeness-K.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.16
History
- 2026-11-01: add by m2/v0.6.13
2EJNBF6GMA 2EJNBF6GMA
| URI | m2://inv/2EJNBF6GMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#ex-1 (example). In PKGMM3P5QY, ex, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
2EJPE5NGKG 2EJPE5NGKG
| URI | m2://inv/2EJPE5NGKG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#PNHR (unknown). In QNBFHFZ3H0/e1, unknown 33
History
- 2026-10-28: add by m2/v0.4.2
Journal of Multiple-Valued Logic and Soft Computing 2EJR2H2D51
| URI | m2://inv/2EJR2H2D51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#YW2L, Journal of Multiple-Valued Logic and Soft Computing (unknown)
History
- 2026-11-02: add by m2/dev
dichotomy 2EK22T4K8W
| URI | m2://inv/2EK22T4K8W |
|---|---|
| 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.01029#63D7, dichotomy (statement). In KA8VS65Z9G/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
2EKFT5BB3Q 2EKFT5BB3Q
| URI | m2://inv/2EKFT5BB3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#PUK5 (statement). In GAAZD3SGPN/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
2EKHM9WRFN 2EKHM9WRFN
| URI | m2://inv/2EKHM9WRFN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#MUZU (problem). In MG51GG0QZN/e1, problem 4.7
History
- 2026-10-27: add by m2/v0.3.5
Applications 2EKJMFWY4Y
| URI | m2://inv/2EKJMFWY4Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic eigenvalue problem#XR05, Applications (example)
History
- 2026-11-02: add by m2/dev
Lebesgue Constant 2EKJTG665M
| URI | m2://inv/2EKJTG665M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#R8P2, Lebesgue Constant (definition). In Z6WA2R0J50/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
2EKPYAXJRC 2EKPYAXJRC
| URI | m2://inv/2EKPYAXJRC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-examples.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 26.14.1
History
- 2026-11-01: add by m2/v0.6.13
2EKQBCB096 2EKQBCB096
| URI | m2://inv/2EKQBCB096 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
Nested continuity refinements of vanishing diameter 2EKQD60FSE
| URI | m2://inv/2EKQD60FSE |
|---|---|
| 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.00117#HG8C, Nested continuity refinements of vanishing diameter (statement). In 4G2BDP206S/e1, lemma 17
History
- 2026-10-30: add by m2/v0.4.12
2EKSBX94J0 2EKSBX94J0
| URI | m2://inv/2EKSBX94J0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing-alt.tex#ex-1 (example). In PKGMM3P5QY, ex, section 83.10
History
- 2026-11-01: add by m2/v0.6.13
Numerical 3-dimensional matching 2EKY27C0WD
| URI | m2://inv/2EKY27C0WD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#5FMU, Numerical 3-dimensional matching (unknown)
History
- 2026-11-02: add by m2/dev
2EM2QXE1EY 2EM2QXE1EY
| URI | m2://inv/2EM2QXE1EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#C58V (statement)
History
- 2026-11-01: add by m2/v0.6.15
2EM8PEBGPF 2EM8PEBGPF
| URI | m2://inv/2EM8PEBGPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#I6CF (statement). In FK89DQ9J4S/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
2EMCEPTNA9 2EMCEPTNA9
| URI | m2://inv/2EMCEPTNA9 |
|---|---|
| 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 2406.01036#LJ1X (statement). In 6VX2G6RTH7/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
2EMF95XZ7Q 2EMF95XZ7Q
| URI | m2://inv/2EMF95XZ7Q |
|---|---|
| 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.17479#R4H9 (statement). In 4FWAY748N7/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem 2EMG7NZAQT
| URI | m2://inv/2EMG7NZAQT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee–Yang theorem#BVBT, Theorem (statement)
History
- 2026-11-02: add by m2/dev
2EMZ01WW72 2EMZ01WW72
| URI | m2://inv/2EMZ01WW72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2407.06927#V87J (statement). In YM4CSJJDJZ/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.6
Statement 2EN0FM9MAQ
| URI | m2://inv/2EN0FM9MAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blaschke–Lebesgue theorem#07SX, Statement (statement)
History
- 2026-11-02: add by m2/dev
computation time 2EN3D2X1BJ
| URI | m2://inv/2EN3D2X1BJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20830136, computation time (unknown). Also MathWorld ComputationTime
History
- 2026-10-26: add by m2/dev
2EN5HXPJC7 2EN5HXPJC7
| URI | m2://inv/2EN5HXPJC7 |
|---|---|
| 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.04772#GBW4 (statement). In WW08CYN4D4/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Unit hyperbola 2ENAKJ5ADJ
| URI | m2://inv/2ENAKJ5ADJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#R6FO, Unit hyperbola (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#N60F, Unit hyperbola (definition)
History
- 2026-11-02: add by m2/dev
Froda's theorem 2ENDPE8423
| URI | m2://inv/2ENDPE8423 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GFFC, Froda's theorem (definition)
History
- 2026-11-02: add by m2/dev
2ENFSGGVHJ 2ENFSGGVHJ
| URI | m2://inv/2ENFSGGVHJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#QXHB (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Double-Gauss lens 2ENRRC644P
| URI | m2://inv/2ENRRC644P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#7G4F, Double-Gauss lens (unknown)
History
- 2026-11-02: add by m2/dev
Raoul Bott 2EP2SX32MY
| URI | m2://inv/2EP2SX32MY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2DQK, Raoul Bott (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KUPK, Raoul Bott (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WASH, Raoul Bott (topic)
History
- 2026-11-02: add by m2/dev
Statements 2EPCFM21X3
| URI | m2://inv/2EPCFM21X3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's lemma (Lie algebra)#BXCK, Statements (statement)
History
- 2026-11-02: add by m2/dev
2EPDMGR7X8 2EPDMGR7X8
| URI | m2://inv/2EPDMGR7X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#UQ19 (statement). In 8VDXGR4SVD/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
2EPFJYTG42 2EPFJYTG42
| URI | m2://inv/2EPFJYTG42 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-56 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
Zhiren Wang 2EPKW38SJ4
| URI | m2://inv/2EPKW38SJ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhiren Wang, Zhiren Wang (topic). Also Wikidata Q102561076
History
- 2026-11-02: add by m2/dev
News media phone hacking scandal reference lists 2EPNNFDKDB
| URI | m2://inv/2EPNNFDKDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia News media phone hacking scandal reference lists, News media phone hacking scandal reference lists (definition). Also Wikidata Q6630420
History
- 2026-11-02: add by m2/dev
2EPXT43B6E 2EPXT43B6E
| URI | m2://inv/2EPXT43B6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.15434#L37W (statement). In PWF23QSGDX/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
2EQ06FRB40 2EQ06FRB40
| URI | m2://inv/2EQ06FRB40 |
|---|---|
| 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.39747#3MUQ (statement). In 9H2KJ3W3JX/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
2EQAQDAR45 2EQAQDAR45
| URI | m2://inv/2EQAQDAR45 |
|---|---|
| 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.07180#NSKW (statement). In TM4H1RV0BQ/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Comparison with Dirichlet's theorem 2EQFYJYQRW
| URI | m2://inv/2EQFYJYQRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brun–Titchmarsh theorem#BGZ4, Comparison with Dirichlet's theorem (statement)
History
- 2026-11-02: add by m2/dev
Method of moments (statistics) 2EQG8E4PDS
| URI | m2://inv/2EQG8E4PDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#75B4, Method of moments (statistics) (definition)
History
- 2026-11-02: add by m2/dev
2EQHBVWZH2 2EQHBVWZH2
| URI | m2://inv/2EQHBVWZH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-7 (definition). In VNMV985MXX, defn, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
internal category 2EQNW1M6BB
| URI | m2://inv/2EQNW1M6BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6047782, internal category (unknown). Also nLab internal category
- wikipedia: Wikipedia Internal category, Internal category (definition). Also Wikidata Q6047782
History
- 2026-10-26: add by m2/dev
Definitions 2EQPBK3SQJ
| URI | m2://inv/2EQPBK3SQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near and far field#5QSZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
2EQRV00JHV 2EQRV00JHV
| URI | m2://inv/2EQRV00JHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#THP3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
induction principle 2ER0HRGFAY
| URI | m2://inv/2ER0HRGFAY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/induction-principle, induction principle (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Theorem (Hopf) 2ERD4MBJK5
| URI | m2://inv/2ERD4MBJK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebra#JE3Y, Theorem (Hopf) (statement)
History
- 2026-11-02: add by m2/dev
Lewy extension theorem 2ERHTC0BRF
| URI | m2://inv/2ERHTC0BRF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.4/lewy-extension-theorem, Lewy extension theorem (concept). In VNMV985MXX, index, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Solvable 2ERHXN4SS8
| URI | m2://inv/2ERHXN4SS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#XEBJ, Solvable (definition)
History
- 2026-11-02: add by m2/dev
bound state 2ERNBY8HWT
| URI | m2://inv/2ERNBY8HWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q908049, bound state (unknown). Also nLab bound state
- wikipedia: Wikipedia Bound state, Bound state (definition). Also Wikidata Q908049
History
- 2026-10-26: add by m2/dev
2ES1XH1X63 2ES1XH1X63
| URI | m2://inv/2ES1XH1X63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#MUX9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Online analytical processing 2ES3N0SSHY
| URI | m2://inv/2ES3N0SSHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Online analytical processing, Online analytical processing (definition). Also Wikidata Q642514
History
- 2026-11-02: add by m2/dev
History of information security 2ES46M77AE
| URI | m2://inv/2ES46M77AE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information security#LUWP, History of information security (unknown)
History
- 2026-11-02: add by m2/dev
2ES5QERNMA 2ES5QERNMA
| URI | m2://inv/2ES5QERNMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#6YJD (statement). In 7NS75J7HAM/e1, proposition 7.19
History
- 2026-10-31: add by m2/v0.5.6
MPS bond dimension 2ES69JQWQQ
| URI | m2://inv/2ES69JQWQQ |
|---|---|
| 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.02166#XTSB, MPS bond dimension (statement). In R6RF3P6D5A/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.12
2ES94GR15Y 2ES94GR15Y
| URI | m2://inv/2ES94GR15Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26948#MJO3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2ESACH2BV2 2ESACH2BV2
| URI | m2://inv/2ESACH2BV2 |
|---|---|
| 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 2610.19360#LBPM (statement). In MFCW5CY96C/e1, lemma 46
History
- 2026-10-28: add by m2/v0.4.2
Errors and residuals in statistics 2ESK60XW3Z
| URI | m2://inv/2ESK60XW3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H2CX, Errors and residuals in statistics (definition)
History
- 2026-11-02: add by m2/dev
Properties 2ESKYH3NF1
| URI | m2://inv/2ESKYH3NF1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central moment#M19O, Properties (statement)
History
- 2026-11-02: add by m2/dev
Věra Trnková 2ESM0S96B0
| URI | m2://inv/2ESM0S96B0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#87UO, Věra Trnková (unknown)
History
- 2026-11-02: add by m2/dev
Examples 2ESNMH64A8
| URI | m2://inv/2ESNMH64A8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthonormality#GB9O, Examples (example)
History
- 2026-11-02: add by m2/dev
2ESP080RNT 2ESP080RNT
| URI | m2://inv/2ESP080RNT |
|---|---|
| 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.10519#2AGM (statement). In 83MMH8VF1X/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
2ESTYCKBF8 2ESTYCKBF8
| URI | m2://inv/2ESTYCKBF8 |
|---|---|
| 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.10205#MX4V (statement). In PQGS7NDMDQ/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
2ESVEV8RJW 2ESVEV8RJW
| URI | m2://inv/2ESVEV8RJW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-48 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
analytic capacity 2ESYB7DB8B
| URI | m2://inv/2ESYB7DB8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#AAAW, analytic capacity (definition)
History
- 2026-11-02: add by m2/dev
2ESZV9W6E1 2ESZV9W6E1
| URI | m2://inv/2ESZV9W6E1 |
|---|---|
| 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 2210.02997#68Q4 (statement). In KEXVYV0SNS/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
Machine, exact; kissat/glucose, control-checked 2ET1BA1HXA
| URI | m2://inv/2ET1BA1HXA |
|---|---|
| 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.25015#GIO5, Machine, exact; kissat/glucose, control-checked (statement)
History
- 2026-11-01: add by m2/v0.6.15
Graphic matroids 2ET9TG9QAE
| URI | m2://inv/2ET9TG9QAE |
|---|---|
| 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 2610.20649#NYTJ, Graphic matroids (statement). In XDTM624YPE/e1, corollary 9.1
History
- 2026-10-27: add by m2/v0.4.2
Robert Sauer 2ETAXQCMP4
| URI | m2://inv/2ETAXQCMP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Sauer (mathematician), Robert Sauer (topic). Also Wikidata Q1631148
History
- 2026-11-02: add by m2/dev
2ETE7DY03D 2ETE7DY03D
| URI | m2://inv/2ETE7DY03D |
|---|---|
| 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.17135#VWRP (statement). In XX1J2REXY2/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Jurij Vega 2ETFNR5ETT
| URI | m2://inv/2ETFNR5ETT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jurij Vega, Jurij Vega (topic). Also Wikidata Q93520
History
- 2026-11-02: add by m2/dev
Metric tensor 2ETMQBZZVP
| URI | m2://inv/2ETMQBZZVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#YMLZ, Metric tensor (definition)
History
- 2026-11-02: add by m2/dev
Bulois 2ETRAMKDXA
| URI | m2://inv/2ETRAMKDXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#IS15, Bulois (statement). In 8SXY7Y68HV/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
2EV14K0XKQ 2EV14K0XKQ
| URI | m2://inv/2EV14K0XKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#OXPZ (statement). In 6NVP3YRWVA/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
H. Fitting 2EV3BEQ4PG
| URI | m2://inv/2EV3BEQ4PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#99HH, H. Fitting (topic)
History
- 2026-11-02: add by m2/dev
2EV3N5KRF7 2EV3N5KRF7
| URI | m2://inv/2EV3N5KRF7 |
|---|---|
| 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.06724#YT5X (statement). In W5XG3PGVF1/e1, theorem 1.16
History
- 2026-10-29: add by m2/v0.4.10
HAIFA construction 2EV49WYWSS
| URI | m2://inv/2EV49WYWSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HAIFA construction, HAIFA construction (definition). Also Wikidata Q15400317
History
- 2026-11-02: add by m2/dev
The selected branch of \(w_\alpha(z)\) off the support 2EV4M7K8HH
| URI | m2://inv/2EV4M7K8HH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#0PMM, The selected branch of \(w_\alpha(z)\) off the support (statement). In 4AQ48WSBDQ/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Influential observation 2EVBEVG2FM
| URI | m2://inv/2EVBEVG2FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Influential observation, Influential observation (definition). Also Wikidata Q16908492
History
- 2026-11-02: add by m2/dev
Swift–Hohenberg equation 2EVKZGCG37
| URI | m2://inv/2EVKZGCG37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swift–Hohenberg equation, Swift–Hohenberg equation (definition). Also Wikidata Q1974790
History
- 2026-11-02: add by m2/dev
\bf Neural Network for $(d+1)$-Navier-Stokes 2EVV0PKBZN
| URI | m2://inv/2EVV0PKBZN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.23072#Z1XB, \bf Neural Network for $(d+1)$-Navier-Stokes (definition). In FW08HEAPKW/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
2EVYJ0GAWG 2EVYJ0GAWG
| URI | m2://inv/2EVYJ0GAWG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#MUI6 (definition). In GXHKRV5BPY/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Medial inverted pentagonal hexecontahedron 2EW6G9AZAY
| URI | m2://inv/2EW6G9AZAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverted snub dodecadodecahedron#KDEK, Medial inverted pentagonal hexecontahedron (unknown)
History
- 2026-11-02: add by m2/dev
2EWAJQF9YB 2EWAJQF9YB
| URI | m2://inv/2EWAJQF9YB |
|---|---|
| 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.28702#HI00 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2EWKJYFEHG 2EWKJYFEHG
| URI | m2://inv/2EWKJYFEHG |
|---|---|
| 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.02295#9SP9 (statement). In PEBD9ZMA1W/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
2EWP5WR1Z8 2EWP5WR1Z8
| URI | m2://inv/2EWP5WR1Z8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#DIDH (definition). In JQFPH09JG8/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.10
2EWQM88V2Y 2EWQM88V2Y
| URI | m2://inv/2EWQM88V2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 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 2610.04694#3G68 (statement). In W9A0Z2NBMA/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
binomial series 2EWRE0TRER
| URI | m2://inv/2EWRE0TRER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Binomial series 0HB0XKDXHH |
Mentions
- wikidata: Wikidata Q833480, binomial series (unknown). Also MathWorld BinomialSeries
- wikipedia: Wikipedia Binomial series, Binomial series (definition). Also Wikidata Q833480
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2EWT4AFAY4 2EWT4AFAY4
| URI | m2://inv/2EWT4AFAY4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#5W1T (example)
History
- 2026-11-01: add by m2/v0.6.15
Tijdeman's theorem 2EWTNBV6SN
| URI | m2://inv/2EWTNBV6SN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q777924, Tijdeman's theorem (statement). Also Wikidata Q777924
- thousand_plus: thousand_plus Q777924, Tijdeman's theorem (statement). Also Wikidata Q777924, Wikipedia Tijdeman's theorem
- wikipedia: Wikipedia Tijdeman's theorem, Tijdeman's theorem (statement). Also Wikidata Q777924
History
- 2026-10-26: add by m2/dev
Generalized map 2EWXG73QBX
| URI | m2://inv/2EWXG73QBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized map, Generalized map (definition). Also Wikidata Q2940520
History
- 2026-11-02: add by m2/dev
Pragmatics and reasoning 2EWXYCPF75
| URI | m2://inv/2EWXYCPF75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychology of reasoning#U6HA, Pragmatics and reasoning (unknown)
History
- 2026-11-02: add by m2/dev
Leaf power 2EWZ6TRXF4
| URI | m2://inv/2EWZ6TRXF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leaf power, Leaf power (definition). Also Wikidata Q25304867
History
- 2026-11-02: add by m2/dev
Advanced Encryption Standard 2EX09NGZCM
| URI | m2://inv/2EX09NGZCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#J9XZ, Advanced Encryption Standard (definition)
History
- 2026-11-02: add by m2/dev
ternary function 2EX8R27YN1
| URI | m2://inv/2EX8R27YN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FONN, ternary function (definition)
History
- 2026-11-02: add by m2/dev
Essential manifold 2EXA2TB2YP
| URI | m2://inv/2EXA2TB2YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#85LC, Essential manifold (definition)
History
- 2026-11-02: add by m2/dev
2EXAJ7K3VW 2EXAJ7K3VW
| URI | m2://inv/2EXAJ7K3VW |
|---|---|
| Kind | definition |
| 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 2207.12181#TTOL (definition). In FSD8NE3XSR/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
2EXJ5J0HCW 2EXJ5J0HCW
| URI | m2://inv/2EXJ5J0HCW |
|---|---|
| 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.11939#CRNT (statement). In DQMEN40FZV/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
Double-barreled question 2EXJNMYZ5W
| URI | m2://inv/2EXJNMYZ5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double-barreled question, Double-barreled question (definition). Also Wikidata Q5299584
History
- 2026-11-02: add by m2/dev
Knot complement 2EXK2MNEWP
| URI | m2://inv/2EXK2MNEWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#H3C8, Knot complement (definition)
History
- 2026-11-02: add by m2/dev
2EXMA0X634 2EXMA0X634
| URI | m2://inv/2EXMA0X634 |
|---|---|
| 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#1CAM (statement). In SCSTR1Q1BW/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
2EXSNY8CWW 2EXSNY8CWW
| URI | m2://inv/2EXSNY8CWW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#OHKQ (definition). In KEP21CZFV9/e1, definition #1
History
- 2026-10-31: add by m2/v0.5.6
2EXTRAFHGE 2EXTRAFHGE
| URI | m2://inv/2EXTRAFHGE |
|---|---|
| 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.01912#E9R5 (statement). In CTE1C9KYPY/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Authentication (computer science) 2EXVKAXKW0
| URI | m2://inv/2EXVKAXKW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authentication#UPBP, Authentication (computer science) (unknown)
History
- 2026-11-02: add by m2/dev
map projection 2EXVR4CBGZ
| URI | m2://inv/2EXVR4CBGZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q186386, map projection (concept). Also MathWorld MapProjection
- wikipedia: Wikipedia Map projection, Map projection (definition). Also Wikidata Q186386
History
- 2026-10-26: add by m2/dev
Examples 2EXYMXXHE7
| URI | m2://inv/2EXYMXXHE7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit inferior and limit superior#7W8L, Examples (example)
History
- 2026-11-02: add by m2/dev
Vafa–Witten theorem 2EYGA858XR
| URI | m2://inv/2EYGA858XR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q10859514, Vafa–Witten theorem (statement). Also Wikidata Q10859514
- thousand_plus: thousand_plus Q10859514, Vafa–Witten theorem (statement). Also Wikidata Q10859514, Wikipedia Vafa–Witten theorem
- wikipedia: Wikipedia Vafa–Witten theorem, Vafa–Witten theorem (statement). Also Wikidata Q10859514
History
- 2026-10-26: add by m2/dev
2EYHZZ918Z 2EYHZZ918Z
| URI | m2://inv/2EYHZZ918Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 97.3
History
- 2026-11-01: add by m2/v0.6.13
Examples 2EYQR6CQYQ
| URI | m2://inv/2EYQR6CQYQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic grammar#J5J3, Examples (example)
History
- 2026-11-02: add by m2/dev
2EYSGV47M4 2EYSGV47M4
| URI | m2://inv/2EYSGV47M4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-1-2.xml#act-1-1-2 (exercise). In 907G4C4EJ1, activity, section 1.1.3
History
- 2026-11-01: add by m2/v0.6.13
2EYWKY95JM 2EYWKY95JM
| URI | m2://inv/2EYWKY95JM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
2EZCEXBC6W 2EZCEXBC6W
| URI | m2://inv/2EZCEXBC6W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#XMSF (definition). In 5KR3MHYVV6/e1, definition 3.14
History
- 2026-10-28: add by m2/v0.4.2
Napier Shaw 2EZEEX0VJ8
| URI | m2://inv/2EZEEX0VJ8 |
|---|---|
| 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#HTDN, Napier Shaw (unknown)
History
- 2026-11-02: add by m2/dev
Groupshift 2EZFTVW73A
| URI | m2://inv/2EZFTVW73A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#1118, Groupshift (unknown)
History
- 2026-11-02: add by m2/dev