Inventory rows E6
The cards of the rows of the inventory whose ids start with E6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
James Wallace E60216MQ2G
| URI | m2://inv/E60216MQ2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Wallace (mathematician), James Wallace (topic). Also Wikidata Q134519346
History
- 2026-11-02: add by m2/dev
Riesz-Thorin E603D156Q1
| URI | m2://inv/E603D156Q1 |
|---|---|
| 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 2208.07784#OZ1S, Riesz-Thorin (statement). In X0GJCD9768/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
Unitary normal form E605M3AW1V
| URI | m2://inv/E605M3AW1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25925#7KJ2, Unitary normal form (statement)
History
- 2026-11-01: add by m2/v0.6.15
E606Z47D5G E606Z47D5G
| URI | m2://inv/E606Z47D5G |
|---|---|
| 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 2506.18813#9FXJ (statement). In J2QAPQ7JW3/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
E608255TED E608255TED
| URI | m2://inv/E608255TED |
|---|---|
| Kind | definition |
| 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#QDNR (definition). In 8XVS0QJ2AH/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
Quasitoric manifold E60Q7T2HSQ
| URI | m2://inv/E60Q7T2HSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitoric manifold, Quasitoric manifold (definition). Also Wikidata Q7269540
History
- 2026-11-02: add by m2/dev
E60RKHBS6K E60RKHBS6K
| URI | m2://inv/E60RKHBS6K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-28 (proof). In N54F33XE07, proof, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
E60RR8WJZ3 E60RR8WJZ3
| URI | m2://inv/E60RR8WJZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#86GV (statement). In P3HWTYFDBX/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Krein-Smulian Theorem E60X0VN8VW
| URI | m2://inv/E60X0VN8VW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Smulian theorem#OX13, Krein-Smulian Theorem (statement)
History
- 2026-11-02: add by m2/dev
E61B7EXYD2 E61B7EXYD2
| URI | m2://inv/E61B7EXYD2 |
|---|---|
| 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 2411.10658#TIVP (statement). In 3PY22ABV4Y/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Corollary E61ENZR174
| URI | m2://inv/E61ENZR174 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael's theorem on paracompact spaces#LXKY, Corollary (statement)
History
- 2026-11-02: add by m2/dev
E61HXE300W E61HXE300W
| URI | m2://inv/E61HXE300W |
|---|---|
| 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.34168#YFAA (statement). In 30YQV8N04M/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
pure first-order logic E61KNBB5WZ
| URI | m2://inv/E61KNBB5WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LZ2P, pure first-order logic (definition)
History
- 2026-11-02: add by m2/dev
Pick’s Theorem E61NND89ZQ
| URI | m2://inv/E61NND89ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 92, Pick’s Theorem (statement)
History
- 2026-10-26: add by m2/dev
division algebra E61TEA7HHT
| URI | m2://inv/E61TEA7HHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 17A35 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1231309, division algebra (topic). Also MathWorld DivisionAlgebra
- wikipedia: Wikipedia Division algebra, Division algebra (definition). Also Wikidata Q1231309
History
- 2026-10-26: add by m2/dev
Ringschluss E61XVPKV80
| URI | m2://inv/E61XVPKV80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringschluss, Ringschluss (definition). Also Wikidata Q100350718
History
- 2026-11-02: add by m2/dev
E61ZZWE0G5 E61ZZWE0G5
| URI | m2://inv/E61ZZWE0G5 |
|---|---|
| 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.11047#0GD8 (statement). In MNQAZ70XTH/e1, lemma 10.13
History
- 2026-10-28: add by m2/v0.4.3
E62628D3CK E62628D3CK
| URI | m2://inv/E62628D3CK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#201L (statement). In GMRT5GHBZS/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
E62C8DJWGF E62C8DJWGF
| URI | m2://inv/E62C8DJWGF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#FP1L (definition). In 9B5TNEBJHV/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Regular and singular points E62FNF3720
| URI | m2://inv/E62FNF3720 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13613#VUFD, Regular and singular points (definition). In 3HCT4TQ5PM/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Xiaoyu Luo E62H2RJD2Q
| URI | m2://inv/E62H2RJD2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xiaoyu Luo, Xiaoyu Luo (topic). Also Wikidata Q34004409
History
- 2026-11-02: add by m2/dev
E62S283MPE E62S283MPE
| URI | m2://inv/E62S283MPE |
|---|---|
| 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.02993#H0NM (statement). In TJH58FRGEN/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
E62VKYPTJE E62VKYPTJE
| URI | m2://inv/E62VKYPTJE |
|---|---|
| Kind | problem |
| 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 2503.22636#ME6R (problem). In 2X2A6MT0QD/e1, problem 2.30
History
- 2026-10-27: add by m2/v0.3.5
Mean-field Schr\"odinger Bridge E62XN4A1R8
| URI | m2://inv/E62XN4A1R8 |
|---|---|
| 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.02537#8SEG, Mean-field Schr\"odinger Bridge (statement). In C9D410HMJ3/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Examples E62Z21BYTD
| URI | m2://inv/E62Z21BYTD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Escalation of commitment#1QPM, Examples (example)
History
- 2026-11-02: add by m2/dev
Kuiper's theorem E6311MTH3N
| URI | m2://inv/E6311MTH3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#S057, Kuiper's theorem (statement)
History
- 2026-11-02: add by m2/dev
Airy beam E631ZBK3G2
| URI | m2://inv/E631ZBK3G2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Airy beam, Airy beam (topic). Also Wikidata Q4270087
History
- 2026-11-02: add by m2/dev
Bounded distortion E635N0YBKS
| URI | m2://inv/E635N0YBKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#PA9L, Bounded distortion (statement). In GG14QF0JKJ/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
César Camacho E63HCZNF1M
| URI | m2://inv/E63HCZNF1M |
|---|---|
| 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#PAMX, César Camacho (unknown)
History
- 2026-11-02: add by m2/dev
Judith Grabiner E63Y5VDMAK
| URI | m2://inv/E63Y5VDMAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judith Grabiner, Judith Grabiner (topic). Also Wikidata Q541646
History
- 2026-11-02: add by m2/dev
One-pair completeness E63ZAMK1QT
| URI | m2://inv/E63ZAMK1QT |
|---|---|
| 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.05442#ID2P, One-pair completeness (statement). In WEPE51JCHZ/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Brigitte Vallée E64KG1YNWP
| URI | m2://inv/E64KG1YNWP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brigitte Vallée, Brigitte Vallée (topic). Also Wikidata Q2925491
History
- 2026-11-02: add by m2/dev
Earthquake E64M4PEFNE
| URI | m2://inv/E64M4PEFNE |
|---|---|
| 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#URIO, Earthquake (unknown)
History
- 2026-11-02: add by m2/dev
Hybrid Blockchain E64NFCAZJZ
| URI | m2://inv/E64NFCAZJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#UMRX, Hybrid Blockchain (unknown)
History
- 2026-11-02: add by m2/dev
E64ZQA1VC9 E64ZQA1VC9
| URI | m2://inv/E64ZQA1VC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#RNGR (statement)
History
- 2026-11-01: add by m2/v0.6.15
complex-analytic variety E64ZZZZW1W
| URI | m2://inv/E64ZZZZW1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.5/complex-analytic-variety, complex-analytic variety (concept). In VNMV985MXX, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Discrete time E653JM2YA2
| URI | m2://inv/E653JM2YA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete time and continuous time#JYU9, Discrete time (unknown)
History
- 2026-11-02: add by m2/dev
E65DGVB9ZD E65DGVB9ZD
| URI | m2://inv/E65DGVB9ZD |
|---|---|
| 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.07812#XH14 (statement). In PVX8WBBXW5/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
E65HJKCQMK E65HJKCQMK
| URI | m2://inv/E65HJKCQMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#ASQ2 (statement). In RK0ZMDJ23T/e1, lemma 1.1.4
History
- 2026-10-31: add by m2/v0.5.6
E65P8STK61 E65P8STK61
| URI | m2://inv/E65P8STK61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#orderedfield (definition). In PKGMM3P5QY, defn, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
Closedness of marginal energy sublevel sets E65RHQ81XP
| URI | m2://inv/E65RHQ81XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#QQC9, Closedness of marginal energy sublevel sets (statement). In MM8P5CJR18/e1, proposition A.6
History
- 2026-10-29: add by m2/v0.4.12
Implementation E65X4CN8SX
| URI | m2://inv/E65X4CN8SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-mer#8Y0O, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Sum of a Geometric Series E65ZVCVQF6
| URI | m2://inv/E65ZVCVQF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 66, Sum of a Geometric Series (statement). Also Mathlib geom_sum_Ico, Mathlib NNReal.hasSum_geometric
History
- 2026-10-26: add by m2/dev
Definition E661C205XQ
| URI | m2://inv/E661C205XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic partial differential equation#7RPZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
No uniform root-$T$ rate E6650AARS4
| URI | m2://inv/E6650AARS4 |
|---|---|
| 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.38267#NK91, No uniform root-$T$ rate (statement). In 518V871EKW/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
C. E. Mike Yates E6681ZPQ8N
| URI | m2://inv/E6681ZPQ8N |
|---|---|
| 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#43LA, C. E. Mike Yates (unknown)
History
- 2026-11-02: add by m2/dev
E668E70AV6 E668E70AV6
| URI | m2://inv/E668E70AV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29326#RHIG (statement). In 3F83V6VKKA/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.6
Gerald W. Schwarz E66ACKXAB2
| URI | m2://inv/E66ACKXAB2 |
|---|---|
| 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#95A8, Gerald W. Schwarz (topic)
History
- 2026-11-02: add by m2/dev
Johann Friedrich Schultz E66G7GZMKA
| URI | m2://inv/E66G7GZMKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#XXH4, Johann Friedrich Schultz (unknown)
History
- 2026-11-02: add by m2/dev
Quantum coin flipping E66MA6NHFA
| URI | m2://inv/E66MA6NHFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum coin flipping, Quantum coin flipping (definition). Also Wikidata Q30324533
History
- 2026-11-02: add by m2/dev
E66MK1B6EY E66MK1B6EY
| URI | m2://inv/E66MK1B6EY |
|---|---|
| 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.36300#XXAJ (statement). In MNWD3Y6W56/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
E66MR3D139 E66MR3D139
| URI | m2://inv/E66MR3D139 |
|---|---|
| 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 2404.05965#6D45 (statement). In GD1GED3FZ3/e1, proposition 9.1
History
- 2026-10-27: add by m2/v0.3.5
E66NNH2C65 E66NNH2C65
| URI | m2://inv/E66NNH2C65 |
|---|---|
| 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.22237#PIRE (statement). In 2FWTWMHA2W/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Stability of macroscopic blocks near the endpoints E66WE3XJ34
| URI | m2://inv/E66WE3XJ34 |
|---|---|
| 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.12271#NPL3, Stability of macroscopic blocks near the endpoints (statement). In WGCET6KSQ7/e1, lemma 42
History
- 2026-10-27: add by m2/v0.3.6
Example 2 E672RTRDMW
| URI | m2://inv/E672RTRDMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive normal form#V6NV, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Bernhard Keller E679N5VSDD
| URI | m2://inv/E679N5VSDD |
|---|---|
| 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#WFWW, Bernhard Keller (topic)
History
- 2026-11-02: add by m2/dev
A. W. Faber Model 366 E67PW4W3QJ
| URI | m2://inv/E67PW4W3QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A. W. Faber Model 366, A. W. Faber Model 366 (definition). Also Wikidata Q106394420
History
- 2026-11-02: add by m2/dev
Mark Goresky E67S4P0ZFW
| URI | m2://inv/E67S4P0ZFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Goresky, Mark Goresky (topic). Also Wikidata Q1900071
History
- 2026-11-02: add by m2/dev
Column operations E67T40CQ3S
| URI | m2://inv/E67T40CQ3S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#problem-1, Column operations (exercise). In RZP28ERRZV, problem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
Conway's Soldiers E67Y6AZ0RC
| URI | m2://inv/E67Y6AZ0RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#NJAR, Conway's Soldiers (definition)
History
- 2026-11-02: add by m2/dev
Graph partition E67ZM7GWNS
| URI | m2://inv/E67ZM7GWNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#L0IA, Graph partition (definition)
History
- 2026-11-02: add by m2/dev
Application E67ZYHC4WE
| URI | m2://inv/E67ZYHC4WE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace principle (large deviations theory)#UY3F, Application (example)
History
- 2026-11-02: add by m2/dev
Watrous E682G5N0B5
| URI | m2://inv/E682G5N0B5 |
|---|---|
| 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.40260#CTD3, Watrous (statement). In 524FZAC6NB/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
E684QB7WVF E684QB7WVF
| URI | m2://inv/E684QB7WVF |
|---|---|
| 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 2205.15365#0AWP (statement). In R2XC1SC9NZ/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
E6852VGN92 E6852VGN92
| URI | m2://inv/E6852VGN92 |
|---|---|
| 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.25880#0LWD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spatiotemporal reservoir resampling E6889HQZHJ
| URI | m2://inv/E6889HQZHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#LD24, Spatiotemporal reservoir resampling (unknown)
History
- 2026-11-02: add by m2/dev
Identity management E68DGF1G8F
| URI | m2://inv/E68DGF1G8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cloud computing security#WDSS, Identity management (statement)
History
- 2026-11-02: add by m2/dev
E68K77WRA1 E68K77WRA1
| URI | m2://inv/E68K77WRA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23279#5G06 (statement)
History
- 2026-11-02: add by m2/v0.6.17
rounded rectangle E68KQT9JYH
| URI | m2://inv/E68KQT9JYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120446160, rounded rectangle (unknown). Also MathWorld RoundedRectangle
History
- 2026-10-26: add by m2/dev
E68NESVMQA E68NESVMQA
| URI | m2://inv/E68NESVMQA |
|---|---|
| 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.02642#Q1T1 (statement). In VMWV58VWKN/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Algorithm E68SY9KQN6
| URI | m2://inv/E68SY9KQN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoidal rule#TI3Y, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
USD1 E690SV6BAK
| URI | m2://inv/E690SV6BAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia World Liberty Financial#YEQ3, USD1 (unknown)
History
- 2026-11-02: add by m2/dev
Michael O. Rabin E696Z02DET
| URI | m2://inv/E696Z02DET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#ICBC, Michael O. Rabin (topic)
History
- 2026-11-02: add by m2/dev
Atsushi Ichino E69B1AX098
| URI | m2://inv/E69B1AX098 |
|---|---|
| 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#LRXH, Atsushi Ichino (unknown)
History
- 2026-11-02: add by m2/dev
E69K927GF9 E69K927GF9
| URI | m2://inv/E69K927GF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15698#DE6Q (statement). In 69GJX04N6M/e1, proposition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Rarely used trigonometric functions E69QTMSC9V
| URI | m2://inv/E69QTMSC9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#YEJF, Rarely used trigonometric functions (unknown)
History
- 2026-11-02: add by m2/dev
Cyclic order E69SDRH8FR
| URI | m2://inv/E69SDRH8FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#AC6J, Cyclic order (definition)
History
- 2026-11-02: add by m2/dev
Gauss–Markov theorem E69TTBBR8M
| URI | m2://inv/E69TTBBR8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IBH1, Gauss–Markov theorem (statement)
History
- 2026-11-02: add by m2/dev
E69WAGFQXW E69WAGFQXW
| URI | m2://inv/E69WAGFQXW |
|---|---|
| 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.27114#UUKS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Principles E69WJA2DP3
| URI | m2://inv/E69WJA2DP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse-search algorithm#ICML, Principles (statement)
History
- 2026-11-02: add by m2/dev
Applications E6A2X5TQPF
| URI | m2://inv/E6A2X5TQPF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensegrity#A3SF, Applications (example)
History
- 2026-11-02: add by m2/dev
E6AAE3ZY04 E6AAE3ZY04
| URI | m2://inv/E6AAE3ZY04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#N3M4 (statement). In ZXQA7QH0H0/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
E6AD17Y748 E6AD17Y748
| URI | m2://inv/E6AD17Y748 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0805.4273#WM2S (statement). In ZX3NV58FRX/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.3.5
E6AH4G8G2X E6AH4G8G2X
| URI | m2://inv/E6AH4G8G2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28364#JNWA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example E6AJKDWN1M
| URI | m2://inv/E6AJKDWN1M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence plot#KVDM, Example (example)
History
- 2026-11-02: add by m2/dev
SPQR tree E6AKS7G975
| URI | m2://inv/E6AKS7G975 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPQR tree, SPQR tree (definition). Also Wikidata Q2902363
History
- 2026-11-02: add by m2/dev
Lillian Pierce E6ASJSA3W3
| URI | m2://inv/E6ASJSA3W3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lillian Pierce, Lillian Pierce (topic). Also Wikidata Q53279770
History
- 2026-11-02: add by m2/dev
Gerhard Hessenberg E6ATVXY9P9
| URI | m2://inv/E6ATVXY9P9 |
|---|---|
| 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#WNSF, Gerhard Hessenberg (topic)
History
- 2026-11-02: add by m2/dev
E6B0JSHQRZ E6B0JSHQRZ
| URI | m2://inv/E6B0JSHQRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37337#XBDI (statement). In 813JGZV08G/e1, lemma E.4
History
- 2026-10-30: add by m2/v0.4.12
E6BHXAM2F9 E6BHXAM2F9
| URI | m2://inv/E6BHXAM2F9 |
|---|---|
| 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.23332#00F2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Well distributed sequence E6BRPV6P8P
| URI | m2://inv/E6BRPV6P8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistributed sequence#31IT, Well distributed sequence (unknown)
History
- 2026-11-02: add by m2/dev
E6C4EWEZRY E6C4EWEZRY
| URI | m2://inv/E6C4EWEZRY |
|---|---|
| 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 2305.10921#CJN5 (statement). In PD5PJ0EYG6/e1, proposition 1.8
History
- 2026-10-27: add by m2/v0.3.5
Continued fraction E6C6YYQ9WM
| URI | m2://inv/E6C6YYQ9WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#E1VY, Continued fraction (definition)
- wikipedia: Wikipedia List of real analysis topics#Q1R2, Continued fraction (definition)
History
- 2026-11-02: add by m2/dev
E6CBAG6YM4 E6CBAG6YM4
| URI | m2://inv/E6CBAG6YM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#BJKB (statement). In DGE917KQSQ/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
Statement E6CBDPG7G2
| URI | m2://inv/E6CBDPG7G2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baker's theorem#CE95, Statement (statement)
History
- 2026-11-02: add by m2/dev
Numerical parameter E6CCW0J21R
| URI | m2://inv/E6CCW0J21R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EUOI, Numerical parameter (definition)
History
- 2026-11-02: add by m2/dev
E6CHFA89GK E6CHFA89GK
| URI | m2://inv/E6CHFA89GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30561#7ATP (statement). In EHQBEXHF9W/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
E6CKWWXVNX E6CKWWXVNX
| URI | m2://inv/E6CKWWXVNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#FK8G (statement). In 2QP93JHYNB/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
The case $\ell=2$ E6CPM1MNPV
| URI | m2://inv/E6CPM1MNPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#FRCK, The case $\ell=2$ (statement). In JXTG8KP95P/e1, corollary 5.27
History
- 2026-10-30: add by m2/v0.4.12
Gaussian velocity in $\R$ E6CQ4NTHQX
| URI | m2://inv/E6CQ4NTHQX |
|---|---|
| Kind | example |
| 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.15086#OFBZ, Gaussian velocity in $\R$ (example). In V60MVF3KQ1/e1, example 6.2
History
- 2026-10-28: add by m2/v0.4.2
E6CW6HCYFS E6CW6HCYFS
| URI | m2://inv/E6CW6HCYFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#GBB9 (statement). In CY1FE8W1ZW/e1, lemma 0.73
History
- 2026-10-27: add by m2/v0.4.0
E6D1477VFD E6D1477VFD
| URI | m2://inv/E6D1477VFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#0CGR (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition E6D4KFK9V3
| URI | m2://inv/E6D4KFK9V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maslov index#QMIW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variants of the Jacobian conjecture for fields with positive characteristic E6D5ESH6D7
| URI | m2://inv/E6D5ESH6D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#BSPP, Variants of the Jacobian conjecture for fields with positive characteristic (statement)
History
- 2026-11-02: add by m2/dev
logical operator E6D5JNDT0H
| URI | m2://inv/E6D5JNDT0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Logical connective QS0XVAN9BG |
Mentions
- wikidata: Wikidata Q211790, logical operator (definition). Also EoM Propositional_connective, nLab logical connective, ProofWiki Definition:Logical_Connective
- wikipedia: Wikipedia Logical connective, Logical connective (definition). Also Wikidata Q211790
History
- 2026-10-26: add by m2/dev
Greta Panova E6D9YA05TT
| URI | m2://inv/E6D9YA05TT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greta Panova, Greta Panova (topic). Also Wikidata Q70796059
History
- 2026-11-02: add by m2/dev
E6DCHH0V33 E6DCHH0V33
| URI | m2://inv/E6DCHH0V33 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#87OP (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
E6DD72DV66 E6DD72DV66
| URI | m2://inv/E6DD72DV66 |
|---|---|
| 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#9RX4 (statement). In MFCW5CY96C/e1, lemma 42
History
- 2026-10-28: add by m2/v0.4.2
Mary D. Sammel E6DMG19BCS
| URI | m2://inv/E6DMG19BCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZEQQ, Mary D. Sammel (unknown)
History
- 2026-11-02: add by m2/dev
Hall violator E6DTBFGSM2
| URI | m2://inv/E6DTBFGSM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall violator, Hall violator (definition). Also Wikidata Q85765527
History
- 2026-11-02: add by m2/dev
Gaylord Larsen E6DTBTWZKV
| URI | m2://inv/E6DTBTWZKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#ZTFL, Gaylord Larsen (unknown)
History
- 2026-11-02: add by m2/dev
Matheass E6DZ7T2493
| URI | m2://inv/E6DZ7T2493 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matheass, Matheass (definition). Also Wikidata Q1908341
History
- 2026-11-02: add by m2/dev
E6E0S75PQS E6E0S75PQS
| URI | m2://inv/E6E0S75PQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13358#XUO5 (statement). In QHT28GABDG/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Barsotti–Tate group E6E33MNAHD
| URI | m2://inv/E6E33MNAHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barsotti–Tate group, Barsotti–Tate group (definition). Also Wikidata Q4865014
History
- 2026-11-02: add by m2/dev
E6E4VNJJGT E6E4VNJJGT
| URI | m2://inv/E6E4VNJJGT |
|---|---|
| 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.18632#I3AI (statement). In PTM5MVD4M0/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
noose E6E5SMN0PY
| URI | m2://inv/E6E5SMN0PY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1583329, noose (unknown). Also MathWorld RunningKnot
History
- 2026-10-26: add by m2/dev
E6E72JW432 E6E72JW432
| URI | m2://inv/E6E72JW432 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Archimedes' hat-box theorem E6E98MGNPJ
| URI | m2://inv/E6E98MGNPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2226575, Archimedes' hat-box theorem (statement). Also MathWorld ArchimedesHat-BoxTheorem
History
- 2026-10-26: add by m2/dev
E6EA6K90K0 E6EA6K90K0
| URI | m2://inv/E6EA6K90K0 |
|---|---|
| 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#I744 (statement). In 4FWAY748N7/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
The Math Book E6EK96DHQX
| URI | m2://inv/E6EK96DHQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Math Book, The Math Book (definition). Also Wikidata Q7750652
History
- 2026-11-02: add by m2/dev
E6EKY55H74 E6EKY55H74
| URI | m2://inv/E6EKY55H74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#MMWV (statement). In QG9ATXTKJ6/e1, proposition 2.26
History
- 2026-10-27: add by m2/v0.3.5
Heinrich August Rothe E6ETQH2M3A
| URI | m2://inv/E6ETQH2M3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich August Rothe, Heinrich August Rothe (topic). Also Wikidata Q5699940
History
- 2026-11-02: add by m2/dev
E6EWKVF1QP E6EWKVF1QP
| URI | m2://inv/E6EWKVF1QP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#9BHL (statement). In 9TR5E527P5/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
E6EX53WQCG E6EX53WQCG
| URI | m2://inv/E6EX53WQCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#TT51 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Structural decomposition E6EYAY8QYE
| URI | m2://inv/E6EYAY8QYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#1AIK, Structural decomposition (statement). In 7GMD8J4200/e1, corollary 7
History
- 2026-10-27: add by m2/v0.4.2
E6EYCYAGPX E6EYCYAGPX
| URI | m2://inv/E6EYCYAGPX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08599#YAIS (example). In DST9FWMHT6/e1, example 4.12
History
- 2026-10-29: add by m2/v0.4.10
Self-synchronizing code E6F0W1P8N6
| URI | m2://inv/E6F0W1P8N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-synchronizing code, Self-synchronizing code (definition). Also Wikidata Q56313399
- wikipedia: Wikipedia Self-synchronizing code#LIIA, code words (definition)
History
- 2026-11-02: add by m2/dev
E6F2ZEBBTV E6F2ZEBBTV
| URI | m2://inv/E6F2ZEBBTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15610#KHAG (statement). In HENAFHBDQS/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Straight face test E6F4W64PW6
| URI | m2://inv/E6F4W64PW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight face test, Straight face test (definition). Also Wikidata Q16920465
History
- 2026-11-02: add by m2/dev
E6FAY24KGV E6FAY24KGV
| URI | m2://inv/E6FAY24KGV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Training recurrent neural networks E6FG5GBP42
| URI | m2://inv/E6FG5GBP42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network#YRUE, Training recurrent neural networks (unknown)
History
- 2026-11-02: add by m2/dev
Sete Quedas E6FHWWRDRB
| URI | m2://inv/E6FHWWRDRB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WKDP, Sete Quedas (unknown)
History
- 2026-11-02: add by m2/dev
Converse E6FMEVAE91
| URI | m2://inv/E6FMEVAE91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriel's horn#WPKT, Converse (statement)
History
- 2026-11-02: add by m2/dev
Recovery of ordinary domination E6FNVE81WW
| URI | m2://inv/E6FNVE81WW |
|---|---|
| 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 2609.31535#81YX, Recovery of ordinary domination (statement). In BAWCMJQGVA/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
symmetric group E6FTXK2B33
| URI | m2://inv/E6FTXK2B33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Symmetric group 0515A6D2Y1 |
Mentions
- wikidata: Wikidata Q849512, symmetric group (definition). Also EoM Symmetric_group, LMFDB knowl group.symmetric, MathWorld SymmetricGroup, nLab symmetric group, ProofWiki Definition:Symmetric_Group
- wikipedia: Wikipedia Symmetric group, Symmetric group (definition). Also Wikidata Q849512
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Fibonacci, numbers E6G56ZRA2E
| URI | m2://inv/E6G56ZRA2E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.1.1/fibonacci-numbers, Fibonacci, numbers (concept). In QKM9DD2H56, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Stuart S. Antman E6G76BA7KX
| URI | m2://inv/E6G76BA7KX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stuart S. Antman, Stuart S. Antman (topic). Also Wikidata Q73262
History
- 2026-11-02: add by m2/dev
William Fulton E6GK8XD8MJ
| URI | m2://inv/E6GK8XD8MJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2061291, William Fulton (unknown). Also nLab William Fulton
- wikipedia: Wikipedia William Fulton (mathematician), William Fulton (topic). Also Wikidata Q2061291
History
- 2026-10-26: add by m2/dev
E6GQ1MZ0R0 E6GQ1MZ0R0
| URI | m2://inv/E6GQ1MZ0R0 |
|---|---|
| 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.04993#8JZO (statement). In JQBWZPXKAV/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Characterization E6GS5J6ZW4
| URI | m2://inv/E6GS5J6ZW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha shape#1Q2O, Characterization (statement)
History
- 2026-11-02: add by m2/dev
McDiarmid's inequality E6GSMFAXNG
| URI | m2://inv/E6GSMFAXNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob martingale#O99I, McDiarmid's inequality (statement)
History
- 2026-11-02: add by m2/dev
Michael Stewart Paterson E6GTMA5SEH
| URI | m2://inv/E6GTMA5SEH |
|---|---|
| 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#2EAK, Michael Stewart Paterson (unknown)
History
- 2026-11-02: add by m2/dev
Abner of Burgos E6GTSJZ7PB
| URI | m2://inv/E6GTSJZ7PB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TXAA, Abner of Burgos (unknown)
History
- 2026-11-02: add by m2/dev
Uniform degree-gap criterion E6GTY5R238
| URI | m2://inv/E6GTY5R238 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#QHLS, Uniform degree-gap criterion (statement). In 8BNPFYQDQX/e1, theorem 16.2
History
- 2026-10-29: add by m2/v0.4.10
De plantis E6GXHS19DZ
| URI | m2://inv/E6GXHS19DZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#WER5, De plantis (unknown)
History
- 2026-11-02: add by m2/dev
Orbit transform: explicit form E6GYC2X6Y7
| URI | m2://inv/E6GYC2X6Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#Y2A1, Orbit transform: explicit form (statement). In 7HXP270BD0/e1, lemma 3.19
History
- 2026-10-30: add by m2/v0.4.12
E6H16JEGXN E6H16JEGXN
| URI | m2://inv/E6H16JEGXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39793#ITPT (statement). In 380M45ANWF/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Halperin, I. E6H424KD6F
| URI | m2://inv/E6H424KD6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#3HX0, Halperin, I. (unknown)
History
- 2026-11-02: add by m2/dev
E6H5T40HSS E6H5T40HSS
| URI | m2://inv/E6H5T40HSS |
|---|---|
| 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#U8BA (statement). In MFCW5CY96C/e1, lemma 54
History
- 2026-10-28: add by m2/v0.4.2
E6HA7HFM9E E6HA7HFM9E
| URI | m2://inv/E6HA7HFM9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#T66M (statement). In V6EPE8XHAD/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
E6HC8VT1RX E6HC8VT1RX
| URI | m2://inv/E6HC8VT1RX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28489#Y3KK (definition)
History
- 2026-11-01: add by m2/v0.6.15
E6HRVE81ST E6HRVE81ST
| URI | m2://inv/E6HRVE81ST |
|---|---|
| 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.15877#QD6L (statement). In F3W750X9N6/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
E6HSD9WG0P E6HSD9WG0P
| URI | m2://inv/E6HSD9WG0P |
|---|---|
| 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 2403.01959#5ORU (statement). In 5YMNGJRC6Y/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
E6HSZX8J6R E6HSZX8J6R
| URI | m2://inv/E6HSZX8J6R |
|---|---|
| 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.03384#NCX9 (statement). In J55JTTKG84/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
E6HTAHFAS1 E6HTAHFAS1
| URI | m2://inv/E6HTAHFAS1 |
|---|---|
| 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.38539#S5WG (statement). In 6H78W2WZ5G/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
center of mass (point-masses E6HTJZBW27
| URI | m2://inv/E6HTJZBW27 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.3.4/center-of-mass-point-masses, center of mass (point-masses (concept). In 907G4C4EJ1, index, section 6.3.4
History
- 2026-11-01: add by m2/v0.6.13
Construction E6HW210SAD
| URI | m2://inv/E6HW210SAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareigis Hopf algebra#5LUF, Construction (definition)
History
- 2026-11-02: add by m2/dev
E6J07WWXT4 E6J07WWXT4
| URI | m2://inv/E6J07WWXT4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-21 (proof). In N54F33XE07, proof, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Paul Riebesell E6J59DK9Z6
| URI | m2://inv/E6J59DK9Z6 |
|---|---|
| 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#LXDX, Paul Riebesell (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P9XM, Paul Riebesell (topic)
History
- 2026-11-02: add by m2/dev
E6J7VZMWCZ E6J7VZMWCZ
| URI | m2://inv/E6J7VZMWCZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#example-9 (example). In RZP28ERRZV, example, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
Carleson's theorem E6JBATFZRJ
| URI | m2://inv/E6JBATFZRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#C79K, Carleson's theorem (statement)
History
- 2026-11-02: add by m2/dev
E6JKR2ATRM E6JKR2ATRM
| URI | m2://inv/E6JKR2ATRM |
|---|---|
| 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.01015#YEW5 (statement). In PSH07NKZ62/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
List of numeral system topics E6JN16XT07
| URI | m2://inv/E6JN16XT07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics, List of numeral system topics (topic). Also Wikidata Q6585938
History
- 2026-11-02: add by m2/dev
E6JN48WBBT E6JN48WBBT
| URI | m2://inv/E6JN48WBBT |
|---|---|
| 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#PFZD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition E6KGR82KHM
| URI | m2://inv/E6KGR82KHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect ring#ZXUT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rational root theorem E6KJSM5CZ9
| URI | m2://inv/E6KJSM5CZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WOOJ, Rational root theorem (statement)
History
- 2026-11-02: add by m2/dev
E6KMK0E53N E6KMK0E53N
| URI | m2://inv/E6KMK0E53N |
|---|---|
| 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.01812#JMGB (statement). In FQPVSYXAGC/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
E6KNZQYYHE E6KNZQYYHE
| URI | m2://inv/E6KNZQYYHE |
|---|---|
| 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.10773#YL8P (statement). In 744Y8ZPEV7/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
Order-5 hexagonal tiling honeycomb E6KQFKEXR5
| URI | m2://inv/E6KQFKEXR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YF9B, Order-5 hexagonal tiling honeycomb (definition)
History
- 2026-11-02: add by m2/dev
E6M261HC4F E6M261HC4F
| URI | m2://inv/E6M261HC4F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 89.7
History
- 2026-11-01: add by m2/v0.6.13
E6M38ZTD4S E6M38ZTD4S
| URI | m2://inv/E6M38ZTD4S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00144#2JVK (definition). In HAZGBX88B3/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Conditional Borel–Cantelli lemma E6M3ZH8K7H
| URI | m2://inv/E6M3ZH8K7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#E23K, Conditional Borel–Cantelli lemma (statement)
History
- 2026-11-02: add by m2/dev
Robert D. Hough E6M4EDX08X
| URI | m2://inv/E6M4EDX08X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert D. Hough, Robert D. Hough (topic). Also Wikidata Q46181506
History
- 2026-11-02: add by m2/dev
Examples E6M4WRW1TH
| URI | m2://inv/E6M4WRW1TH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data transformation (statistics)#NH06, Examples (example)
- wikipedia: Wikipedia Log transformation (statistics)#ART6, Examples (example)
History
- 2026-11-02: add by m2/dev
undetermined coefficients E6M5V6VWNN
| URI | m2://inv/E6M5V6VWNN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.5.2/undetermined-coefficients, undetermined coefficients (concept). In E9HS8K3A52, index, section 6.5.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem E6M7HNXSRH
| URI | m2://inv/E6M7HNXSRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite matrix#YSYU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Massey, Kenneth E6M7R947Y8
| URI | m2://inv/E6M7R947Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LYZC, Massey, Kenneth (unknown)
History
- 2026-11-02: add by m2/dev
V E6M9ZD85WJ
| URI | m2://inv/E6M9ZD85WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KH9S, V (definition)
History
- 2026-11-02: add by m2/dev
Kimberly J. Lee E6MATF78JC
| URI | m2://inv/E6MATF78JC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#NBSB, Kimberly J. Lee (unknown)
History
- 2026-11-02: add by m2/dev
E6MD7ZJ34B E6MD7ZJ34B
| URI | m2://inv/E6MD7ZJ34B |
|---|---|
| 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.35669#MLKW (statement). In 8380G43M8E/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
E6MDPNV40B E6MDPNV40B
| URI | m2://inv/E6MDPNV40B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#XFHO (definition). In ZR53K3E0FR/e1, definition 22
History
- 2026-10-27: add by m2/v0.3.6
Expectation for one flag E6MQHZTT1B
| URI | m2://inv/E6MQHZTT1B |
|---|---|
| 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.40252#GVKB, Expectation for one flag (statement). In 7MVPNFPRKB/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
Generalizations E6MZN1HEDZ
| URI | m2://inv/E6MZN1HEDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three utilities problem#YM65, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Lafforgue's theorem E6N6HYEKB7
| URI | m2://inv/E6N6HYEKB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6471668, Lafforgue's theorem (statement). Also Wikidata Q6471668
- thousand_plus: thousand_plus Q6471668, Lafforgue's theorem (statement). Also Wikidata Q6471668, Wikipedia Lafforgue's theorem
- wikipedia: Wikipedia Lafforgue's theorem, Lafforgue's theorem (statement). Also Wikidata Q6471668
History
- 2026-10-26: add by m2/dev
E6NA96TD2B E6NA96TD2B
| URI | m2://inv/E6NA96TD2B |
|---|---|
| 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 2406.19866#SHK5 (statement). In 9F94CEQ1ZM/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Fibonacci Rabbits E6NHR7PMQT
| URI | m2://inv/E6NHR7PMQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci sequence#M9T6, Fibonacci Rabbits (unknown)
History
- 2026-11-02: add by m2/dev
Number-theoretic transform E6NS4BB9SN
| URI | m2://inv/E6NS4BB9SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#ADHX, Number-theoretic transform (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#F2YR, Number-theoretic transform (definition)
History
- 2026-11-02: add by m2/dev
The intermediate value theorem E6NS9REZNA
| URI | m2://inv/E6NS9REZNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness of the real numbers#LJNF, The intermediate value theorem (statement)
History
- 2026-11-02: add by m2/dev
E6P4AC815J E6P4AC815J
| URI | m2://inv/E6P4AC815J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#9WBQ (statement). In 7WMNVJBAVR/e1, theorem 5.9
History
- 2026-10-29: add by m2/v0.4.10
An example E6PFED5VXS
| URI | m2://inv/E6PFED5VXS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WKB approximation#NP7Y, An example (example)
History
- 2026-11-02: add by m2/dev
Henda Swart E6PHBJ5P1P
| URI | m2://inv/E6PHBJ5P1P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henda Swart, Henda Swart (topic). Also Wikidata Q19519928
History
- 2026-11-02: add by m2/dev
E6PSJ1MZYD E6PSJ1MZYD
| URI | m2://inv/E6PSJ1MZYD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26948#7G2Q (example)
History
- 2026-11-01: add by m2/v0.6.15
Edward Vermilye Huntington E6PV88BCA8
| URI | m2://inv/E6PV88BCA8 |
|---|---|
| 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#75UY, Edward Vermilye Huntington (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#K643, Edward Vermilye Huntington (unknown)
History
- 2026-11-02: add by m2/dev
E6Q76ZQ28W E6Q76ZQ28W
| URI | m2://inv/E6Q76ZQ28W |
|---|---|
| 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 2609.22077#5V8Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
E6Q8767XPV E6Q8767XPV
| URI | m2://inv/E6Q8767XPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop:absbas (statement). In E59CDZA4DP, prop, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
E6QBGXBPNF E6QBGXBPNF
| URI | m2://inv/E6QBGXBPNF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-19 (proof). In N54F33XE07, proof, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Qvist's theorem E6QDHQJ8HR
| URI | m2://inv/E6QDHQJ8HR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qvist's theorem, Qvist's theorem (statement). Also Wikidata Q23058987
History
- 2026-11-02: add by m2/dev
E6R6RS4ESM E6R6RS4ESM
| URI | m2://inv/E6R6RS4ESM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
E6RJMJM2T0 E6RJMJM2T0
| URI | m2://inv/E6RJMJM2T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#QMUM (statement). In KH1H3TSWPS/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.3.6
Emma Castelnuovo E6RJT9DPK6
| URI | m2://inv/E6RJT9DPK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emma Castelnuovo, Emma Castelnuovo (topic). Also Wikidata Q3724631
History
- 2026-11-02: add by m2/dev
Definitions E6RQ5PBV8N
| URI | m2://inv/E6RQ5PBV8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous function#1TY4, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Applications E6RWQYQX4G
| URI | m2://inv/E6RWQYQX4G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-transform#XJEJ, Applications (example)
History
- 2026-11-02: add by m2/dev
statistical parameter E6S41B1QJW
| URI | m2://inv/E6S41B1QJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#68HR, statistical parameter (definition)
History
- 2026-11-02: add by m2/dev
E6S4DFTXCM E6S4DFTXCM
| URI | m2://inv/E6S4DFTXCM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
Huiyan Sang E6S832QPB0
| URI | m2://inv/E6S832QPB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#AU2E, Huiyan Sang (unknown)
History
- 2026-11-02: add by m2/dev
Rung A: from $H_{1}\big(SC_{n-2}(R_{w-2,2})\big)$ to $H_{1}\big(SC_{n}(R_{w,2};1;1)\big)$ E6SW1GJ4FP
| URI | m2://inv/E6SW1GJ4FP |
|---|---|
| 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.12633#0P9F, Rung A: from $H_{1}\big(SC_{n-2}(R_{w-2,2})\big)$ to $H_{1}\big(SC_{n}(R_{w,2};1;1)\big)$ (statement). In NGZ5AZ70NN/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Smaller box E6SW3KSWH4
| URI | m2://inv/E6SW3KSWH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27843#FD67, Smaller box (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition E6SXZ03WRW
| URI | m2://inv/E6SXZ03WRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence coloring#XMRD, Definition (definition)
History
- 2026-11-02: add by m2/dev
E6T201EMT1 E6T201EMT1
| URI | m2://inv/E6T201EMT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#HLZP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lovelock's theorem E6T4R9ZDQG
| URI | m2://inv/E6T4R9ZDQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#V454, Lovelock's theorem (statement)
History
- 2026-11-02: add by m2/dev
E6TE54N41W E6TE54N41W
| URI | m2://inv/E6TE54N41W |
|---|---|
| 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#UZ33 (statement). In 1EA6AM9V01/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
E6TK77G0W7 E6TK77G0W7
| URI | m2://inv/E6TK77G0W7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#2GG9 (statement). In KH1H3TSWPS/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
associativity, of addition, of natural numbers E6TKK33F2K
| URI | m2://inv/E6TKK33F2K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/associativity-of-addition-of-natural-numbers, associativity, of addition, of natural numbers (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
Certificate decomposition E6TN7EV8A5
| URI | m2://inv/E6TN7EV8A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33360#X77R, Certificate decomposition (statement). In GH6FSDK4YB/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
E6TNKE9TVW E6TNKE9TVW
| URI | m2://inv/E6TNKE9TVW |
|---|---|
| Kind | proof |
| 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#proof-3 (proof). In PKGMM3P5QY, proof, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
Electrohydrodynamics E6TRWQ70FN
| URI | m2://inv/E6TRWQ70FN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrohydrodynamics, Electrohydrodynamics (topic). Also Wikidata Q1326902
History
- 2026-11-02: add by m2/dev
Full-Systematic Encoder E6TYJA0MYB
| URI | m2://inv/E6TYJA0MYB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#ZOYI, Full-Systematic Encoder (definition). In D7NDCWSDJE/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Discrete symmetry group E6V1SFKEAV
| URI | m2://inv/E6V1SFKEAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry group#5ICD, Discrete symmetry group (unknown)
History
- 2026-11-02: add by m2/dev
E6VHNRSK9V E6VHNRSK9V
| URI | m2://inv/E6VHNRSK9V |
|---|---|
| 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.20568#39H9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Workshop on Geometric Methods in Physics E6VJYK57MB
| URI | m2://inv/E6VJYK57MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Workshop on Geometric Methods in Physics, Workshop on Geometric Methods in Physics (definition). Also Wikidata Q112030311
History
- 2026-11-02: add by m2/dev
Eilenberg–Ganea conjecture E6VR0DHWE7
| URI | m2://inv/E6VR0DHWE7 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#INFP, Eilenberg–Ganea conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
E6W1FXTWPB E6W1FXTWPB
| URI | m2://inv/E6W1FXTWPB |
|---|---|
| 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.14076#SP58 (statement). In HE0AHBPDFZ/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
algebraic geometry E6W787J4AA
| URI | m2://inv/E6W787J4AA |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180969, algebraic geometry (topic). Also EoM Algebraic_geometry, MathWorld AlgebraicGeometry, nLab algebraic geometry, ProofWiki Definition:Algebraic_Geometry
- wikipedia: Wikipedia Algebraic geometry, Algebraic geometry (topic). Also Wikidata Q180969
History
- 2026-10-26: add by m2/dev
Milton Friedman E6WF76AV59
| URI | m2://inv/E6WF76AV59 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#L2Q4, Milton Friedman (unknown)
History
- 2026-11-02: add by m2/dev
Area Formula, \protect E6WKBAZSZV
| URI | m2://inv/E6WKBAZSZV |
|---|---|
| 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 2601.22681#BLKL, Area Formula, \protect (statement). In 68VEQQX68G/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
projective unitary group E6WNVE6MK4
| URI | m2://inv/E6WNVE6MK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249475, projective unitary group (unknown). Also MathWorld ProjectiveGeneralUnitaryGroup, nLab projective unitary group
- wikipedia: Wikipedia Projective unitary group, Projective unitary group (definition). Also Wikidata Q7249475
History
- 2026-10-26: add by m2/dev
Rotational lift of the Jacobi-like measure and its Weyl matrix E6WSQVSX58
| URI | m2://inv/E6WSQVSX58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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 2609.26066#0L7T, Rotational lift of the Jacobi-like measure and its Weyl matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite moment reduction for partial rigid alignment E6X0KQE9MQ
| URI | m2://inv/E6X0KQE9MQ |
|---|---|
| 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.10408#Q49L, Finite moment reduction for partial rigid alignment (statement). In H976NYKBNT/e1, proposition 22
History
- 2026-10-29: add by m2/v0.4.10
List of q-analogs E6X38KEJRY
| URI | m2://inv/E6X38KEJRY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#V448, List of q-analogs (topic)
History
- 2026-11-02: add by m2/dev
Rank reduction E6X4MGRYHM
| URI | m2://inv/E6X4MGRYHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05364#9722, Rank reduction (statement). In TPYRE2ARMD/e1, theorem 6.7
History
- 2026-10-29: add by m2/v0.4.10
Canonicalization E6X5RVVQRK
| URI | m2://inv/E6X5RVVQRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38375#KQT1, Canonicalization (statement). In CHSB1TGAKB/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Sampling on small wedges via E6X7VWEW81
| URI | m2://inv/E6X7VWEW81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#XL2A, Sampling on small wedges via (statement). In WYE2JVEZBT/e1, theorem 7.1
History
- 2026-10-31: add by m2/v0.5.6
Rational transform of foliations E6XBVKXQ3P
| URI | m2://inv/E6XBVKXQ3P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#K2D6, Rational transform of foliations (definition). In ZA6XNBA90V/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.3.5
E6XE2KPS4G E6XE2KPS4G
| URI | m2://inv/E6XE2KPS4G |
|---|---|
| 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.12633#RLAV (statement). In NGZ5AZ70NN/e1, proposition 5.11
History
- 2026-10-28: add by m2/v0.4.2
RSA-640 E6XHRC7M83
| URI | m2://inv/E6XHRC7M83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#XLJ9, RSA-640 (unknown)
History
- 2026-11-02: add by m2/dev
Bolza problem E6XR6G771R
| URI | m2://inv/E6XR6G771R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4183824, Bolza problem (problem). Also MathWorld BolzaProblem
History
- 2026-10-26: add by m2/dev
Jabir ibn Aflah E6XW0Z57XW
| URI | m2://inv/E6XW0Z57XW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jabir ibn Aflah, Jabir ibn Aflah (topic). Also Wikidata Q288111
History
- 2026-11-02: add by m2/dev
Applications E6XXJGC13J
| URI | m2://inv/E6XXJGC13J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani fixed-point theorem#ERCI, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications E6Y8822V08
| URI | m2://inv/E6Y8822V08 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#YL3B, Applications (example)
History
- 2026-11-02: add by m2/dev
Erdős distinct distances problem E6YB8P82E2
| URI | m2://inv/E6YB8P82E2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#CZ9L, Erdős distinct distances problem (conjecture)
History
- 2026-11-02: add by m2/dev
E6YF9TR9FE E6YF9TR9FE
| URI | m2://inv/E6YF9TR9FE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#FMKR (example). In S7PNTM0GZC/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.2
E6YKT06CE5 E6YKT06CE5
| URI | m2://inv/E6YKT06CE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2208.13855#EY9K (statement). In GJKRVZ5YN5/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
E6YQZVX1JF E6YQZVX1JF
| URI | m2://inv/E6YQZVX1JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.11433#9MXS (statement). In JNA2B803FH/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Wave front set E6YTW14X16
| URI | m2://inv/E6YTW14X16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave front set, Wave front set (definition). Also Wikidata Q7975304
History
- 2026-11-02: add by m2/dev
E6YWNWNHVB E6YWNWNHVB
| URI | m2://inv/E6YWNWNHVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#7A5X (statement). In QEFS0Y021A/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Examples E6ZBGM6CYA
| URI | m2://inv/E6ZBGM6CYA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat polygonal number theorem#RWOK, Examples (example)
History
- 2026-11-02: add by m2/dev
Eisenhart, Churchill E6ZCXRD51Z
| URI | m2://inv/E6ZCXRD51Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5JW3, Eisenhart, Churchill (topic)
History
- 2026-11-02: add by m2/dev
E6ZF9TZC3K E6ZF9TZC3K
| URI | m2://inv/E6ZF9TZC3K |
|---|---|
| Kind | definition |
| 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.22657#EZA0 (definition)
History
- 2026-11-02: add by m2/v0.6.17
E6ZJEK81BQ E6ZJEK81BQ
| URI | m2://inv/E6ZJEK81BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26434#Y6T0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition E6ZKK3TE4Q
| URI | m2://inv/E6ZKK3TE4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence (measure theory)#5N89, Definition (definition)
History
- 2026-11-02: add by m2/dev
Austin moving-knife procedures E6ZNQMJHQ2
| URI | m2://inv/E6ZNQMJHQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Austin moving-knife procedures, Austin moving-knife procedures (definition). Also Wikidata Q25303604
History
- 2026-11-02: add by m2/dev
Proposition 1 E6ZSVN9W8W
| URI | m2://inv/E6ZSVN9W8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf bifurcation#ITQA, Proposition 1 (statement)
History
- 2026-11-02: add by m2/dev
First-order theory E6ZY1VVGHT
| URI | m2://inv/E6ZY1VVGHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#QGQL, First-order theory (definition)
History
- 2026-11-02: add by m2/dev