Inventory rows W7
The cards of the rows of the inventory whose ids start with W7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
W702AXZQ6B W702AXZQ6B
| URI | m2://inv/W702AXZQ6B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 89.7
History
- 2026-11-01: add by m2/v0.6.13
Fermat polygonal number theorem W706D6G6ZM
| URI | m2://inv/W706D6G6ZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BTBU, Fermat polygonal number theorem (statement)
History
- 2026-11-02: add by m2/dev
Balls W70C9SXRNB
| URI | m2://inv/W70C9SXRNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.22407#FVG0, Balls (statement)
History
- 2026-11-02: add by m2/v0.6.17
W70HSAGGZ2 W70HSAGGZ2
| URI | m2://inv/W70HSAGGZ2 |
|---|---|
| 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 1902.04230#NZIV (statement). In 22JZ68FGCW/e1, proposition 6.17
History
- 2026-10-27: add by m2/v0.3.5
W70RX8CVEP W70RX8CVEP
| URI | m2://inv/W70RX8CVEP |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#5WA5 (unknown). In 4YJH4FPWDA/e1, unknown 3.9
History
- 2026-10-30: add by m2/v0.4.12
Definition W7109KZH41
| URI | m2://inv/W7109KZH41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary equivalence relation#5QSF, Definition (definition)
History
- 2026-11-02: add by m2/dev
W713YQK9Q8 W713YQK9Q8
| URI | m2://inv/W713YQK9Q8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#Z5V1 (definition). In S654779J5P/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
W7145DGJSX W7145DGJSX
| URI | m2://inv/W7145DGJSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-quantifiers.tex#prop:provability-quantifiers (statement). In PKGMM3P5QY, prop, section 8.9
History
- 2026-11-01: add by m2/v0.6.13
Graph traversal algorithms W7161Y7MHK
| URI | m2://inv/W7161Y7MHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph traversal#RYI7, Graph traversal algorithms (definition)
History
- 2026-11-02: add by m2/dev
Equidistant map projection W7180KQE9M
| URI | m2://inv/W7180KQE9M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map projection#MCRP, Equidistant map projection (unknown)
History
- 2026-11-02: add by m2/dev
Khayyam triangle W71BT2SXXH
| URI | m2://inv/W71BT2SXXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal's triangle#S658, Khayyam triangle (unknown)
History
- 2026-11-02: add by m2/dev
Attainment of the optimal cotype W71ET8CRCB
| URI | m2://inv/W71ET8CRCB |
|---|---|
| Kind | example |
| 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.15504#Y9Q9, Attainment of the optimal cotype (example). In AZ8SEW6HAV/e1, example 4
History
- 2026-10-28: add by m2/v0.4.2
W71NXV88EZ W71NXV88EZ
| URI | m2://inv/W71NXV88EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#9BED (statement)
History
- 2026-11-01: add by m2/v0.6.15
Block structure W71V57XHVF
| URI | m2://inv/W71V57XHVF |
|---|---|
| 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.06653#GM8K, Block structure (statement). In 9D2N76AJAT/e1, lemma E.3
History
- 2026-10-29: add by m2/v0.4.10
W722AA5W3G W722AA5W3G
| URI | m2://inv/W722AA5W3G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-34 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
curves dominated by a fibration W7247DZJEG
| URI | m2://inv/W7247DZJEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#1PPO, curves dominated by a fibration (statement). In 1SPQ4J3AWY/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
W724JYNBB9 W724JYNBB9
| URI | m2://inv/W724JYNBB9 |
|---|---|
| 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.26129#OJ3H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Peano W728B2GDJ9
| URI | m2://inv/W728B2GDJ9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/peano, Peano (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Trochoid W729JA1S25
| URI | m2://inv/W729JA1S25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4B4C, Trochoid (definition)
- wikipedia: Wikipedia List of curves#2H91, Trochoid (definition)
History
- 2026-11-02: add by m2/dev
Fixed-mesh fully discrete midpoint estimate W72E1N6NS3
| URI | m2://inv/W72E1N6NS3 |
|---|---|
| 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.21991#SPG3, Fixed-mesh fully discrete midpoint estimate (statement). In KRBDK9J44X/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.2
W72EM407XZ W72EM407XZ
| URI | m2://inv/W72EM407XZ |
|---|---|
| Kind | problem |
| 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.32338#ZY1R (problem). In HVY45JQRNK/e1, problem 4
History
- 2026-10-31: add by m2/v0.5.6
Examples W72MBJT18T
| URI | m2://inv/W72MBJT18T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median graph#921F, Examples (example)
History
- 2026-11-02: add by m2/dev
The theorem W72MSV6HSA
| URI | m2://inv/W72MSV6HSA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder–Bernstein theorem for measurable spaces#I1S7, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Halbert L. Dunn W72NAYSRWH
| URI | m2://inv/W72NAYSRWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MXIF, Halbert L. Dunn (topic)
History
- 2026-11-02: add by m2/dev
Continuous big q-Hermite polynomials W72QGD9DGQ
| URI | m2://inv/W72QGD9DGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous big q-Hermite polynomials, Continuous big q-Hermite polynomials (definition). Also Wikidata Q5165461
History
- 2026-11-02: add by m2/dev
W72QWQAZMS W72QWQAZMS
| URI | m2://inv/W72QWQAZMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.07243#TVUL (statement). In 9RH8C8RYW3/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
De Morgan's laws for quantifiers W72RTEJDHC
| URI | m2://inv/W72RTEJDHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Morgan's laws#SHP2, De Morgan's laws for quantifiers (unknown)
History
- 2026-11-02: add by m2/dev
Definition W72TDYWHJV
| URI | m2://inv/W72TDYWHJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learnable function class#4JZY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations W7338F2TT5
| URI | m2://inv/W7338F2TT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann zeta function#QDHW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
W734FABSSC W734FABSSC
| URI | m2://inv/W734FABSSC |
|---|---|
| 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.16886#S4C1 (statement). In Y8QQAH7VCF/e1, lemma C.7
History
- 2026-10-28: add by m2/v0.4.2
Applications W736N5YH5C
| URI | m2://inv/W736N5YH5C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoshen–Kopelman algorithm#K5K7, Applications (example)
History
- 2026-11-02: add by m2/dev
Temporal anti-aliasing W739FQ1593
| URI | m2://inv/W739FQ1593 |
|---|---|
| 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#4EM3, Temporal anti-aliasing (unknown)
History
- 2026-11-02: add by m2/dev
W73GGEPB11 W73GGEPB11
| URI | m2://inv/W73GGEPB11 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#EWQE (conjecture). In 59016RQTW6/e1, conjecture 9.5
History
- 2026-10-29: add by m2/v0.4.12
eigenvector W73N4DY4DN
| URI | m2://inv/W73N4DY4DN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Structure theory of endomorphisms > eigenvector, eigenvector (unknown). Also Mathlib Module.End.HasEigenvector
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > eigenvector, eigenvector (unknown). Also Mathlib Module.End.HasEigenvector
History
- 2026-10-26: add by m2/dev
W73S9VCJ18 W73S9VCJ18
| URI | m2://inv/W73S9VCJ18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#IRMR (statement). In KTQS6YPA4E/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Heptadecahedron W73ZZ754VG
| URI | m2://inv/W73ZZ754VG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heptadecahedron, Heptadecahedron (object). Also Wikidata Q16964023
History
- 2026-11-02: add by m2/dev
Watson's lemma W7405N83RN
| URI | m2://inv/W7405N83RN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5QWG, Watson's lemma (statement)
History
- 2026-11-02: add by m2/dev
bicuspidal W7417MTN6Z
| URI | m2://inv/W7417MTN6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#OW5O, bicuspidal (definition)
History
- 2026-11-02: add by m2/dev
Countable W744P48P7F
| URI | m2://inv/W744P48P7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#JAHK, Countable (definition)
History
- 2026-11-02: add by m2/dev
W7472BVZM3 W7472BVZM3
| URI | m2://inv/W7472BVZM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#6JY7 (statement). In CHC3T113Y4/e1, corollary 7.6
History
- 2026-10-28: add by m2/v0.4.2
Properties W74H51CP70
| URI | m2://inv/W74H51CP70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional mutual information#4PLV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Inversive ring geometry W74R8D7KG1
| URI | m2://inv/W74R8D7KG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SZXP, Inversive ring geometry (definition)
History
- 2026-11-02: add by m2/dev
Pathwise weak limit of a blow-up W74VWKRAYS
| URI | m2://inv/W74VWKRAYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#JQ2T, Pathwise weak limit of a blow-up (statement)
History
- 2026-11-02: add by m2/v0.6.18
W759PK1KEW W759PK1KEW
| URI | m2://inv/W759PK1KEW |
|---|---|
| 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.17325#02OB (statement). In SE16BAED46/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Quantum Heisenberg model W75B22V3K4
| URI | m2://inv/W75B22V3K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Heisenberg model, Quantum Heisenberg model (definition). Also Wikidata Q899196
History
- 2026-11-02: add by m2/dev
W75FVMPCZ4 W75FVMPCZ4
| URI | m2://inv/W75FVMPCZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24638#F3J1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of things named after Isaac Newton W75GF3NFPY
| URI | m2://inv/W75GF3NFPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Isaac Newton, List of things named after Isaac Newton (topic). Also Wikidata Q4435395
History
- 2026-11-02: add by m2/dev
Implementation W75HGH8H74
| URI | m2://inv/W75HGH8H74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HMAC#76L4, Implementation (definition)
History
- 2026-11-02: add by m2/dev
W75MYDZWSA W75MYDZWSA
| URI | m2://inv/W75MYDZWSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:monos-are-split-monos-iff-LEM-holds (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Volodymyr Koshmanenko W75Q1ZBY26
| URI | m2://inv/W75Q1ZBY26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volodymyr Koshmanenko, Volodymyr Koshmanenko (topic). Also Wikidata Q28808347
History
- 2026-11-02: add by m2/dev
London equations W75ZT1PT3M
| URI | m2://inv/W75ZT1PT3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia London equations, London equations (definition). Also Wikidata Q1338834
History
- 2026-11-02: add by m2/dev
W761Z8H1NX W761Z8H1NX
| URI | m2://inv/W761Z8H1NX |
|---|---|
| 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.10221#SJRV (statement). In 9Z5M655EPV/e1, theorem 5.15
History
- 2026-10-29: add by m2/v0.4.10
Multiplet W762ZT7TGG
| URI | m2://inv/W762ZT7TGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplet, Multiplet (definition). Also Wikidata Q4598301
History
- 2026-11-02: add by m2/dev
W765NZR8QX W765NZR8QX
| URI | m2://inv/W765NZR8QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.16834#EB47 (statement). In Q0DTV6PJJW/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Truncated order-4 heptagonal tiling W76RXTDKGS
| URI | m2://inv/W76RXTDKGS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 heptagonal tiling, Truncated order-4 heptagonal tiling (object). Also Wikidata Q7847895
History
- 2026-11-02: add by m2/dev
W770Z43801 W770Z43801
| URI | m2://inv/W770Z43801 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20825#GRQG (statement). In K9G02J8MXT/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Example W772FSRVXJ
| URI | m2://inv/W772FSRVXJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Defective matrix#B9CF, Example (example)
History
- 2026-11-02: add by m2/dev
Example W774A4SQFE
| URI | m2://inv/W774A4SQFE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's theorem (convex hull)#VSYY, Example (example)
History
- 2026-11-02: add by m2/dev
W7761GS5E6 W7761GS5E6
| URI | m2://inv/W7761GS5E6 |
|---|---|
| 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 2111.07717#BM6T (statement). In AXFXGWG7ZG/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
Characterization by a convolution identity W77BFM4ZSV
| URI | m2://inv/W77BFM4ZSV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial type#2LZB, Characterization by a convolution identity (statement)
History
- 2026-11-02: add by m2/dev
Congruent number problem W77D1GQ9RA
| URI | m2://inv/W77D1GQ9RA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruent number#KGRF, Congruent number problem (unknown)
History
- 2026-11-02: add by m2/dev
M. H. A. Davis W77DS64RGB
| URI | m2://inv/W77DS64RGB |
|---|---|
| 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#6DVM, M. H. A. Davis (unknown)
History
- 2026-11-02: add by m2/dev
W77EJQCXQ4 W77EJQCXQ4
| URI | m2://inv/W77EJQCXQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15454155 (unknown). Also nLab Bruce Blackadar
History
- 2026-10-26: add by m2/dev
Example W77GWJ0KDA
| URI | m2://inv/W77GWJ0KDA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-reduction#YNRA, Example (example)
History
- 2026-11-02: add by m2/dev
Itô's lemma W77H310S6N
| URI | m2://inv/W77H310S6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#4O8J, Itô's lemma (statement)
History
- 2026-11-02: add by m2/dev
Multiplication theorem W77SCT8S9C
| URI | m2://inv/W77SCT8S9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel function#XYSG, Multiplication theorem (statement)
History
- 2026-11-02: add by m2/dev
Midpoint rule W77TBTQS1Y
| URI | m2://inv/W77TBTQS1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann sum#PJL0, Midpoint rule (unknown)
History
- 2026-11-02: add by m2/dev
Spectral graph theory W77V80QHQR
| URI | m2://inv/W77V80QHQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#9YVZ, Spectral graph theory (definition)
History
- 2026-11-02: add by m2/dev
Weka (machine learning) W77ZNV1BSD
| URI | m2://inv/W77ZNV1BSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#ED3I, Weka (machine learning) (unknown)
History
- 2026-11-02: add by m2/dev
W77ZZSK41E W77ZZSK41E
| URI | m2://inv/W77ZZSK41E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#RWT8 (statement). In VD4JP4HVBX/e1, proposition 6.19
History
- 2026-10-28: add by m2/v0.4.2
Griselda Pascual W78G2CZ2ZG
| URI | m2://inv/W78G2CZ2ZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griselda Pascual, Griselda Pascual (topic). Also Wikidata Q21622608
History
- 2026-11-02: add by m2/dev
W78Q1TM5ZG W78Q1TM5ZG
| URI | m2://inv/W78Q1TM5ZG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00877#WBPL (definition). In 1QVKNGBS3D/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Mathematical maturity W78RT7SGMG
| URI | m2://inv/W78RT7SGMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical maturity, Mathematical maturity (definition). Also Wikidata Q6786862
History
- 2026-11-02: add by m2/dev
Moore matrix and determinant W78T0JHZ02
| URI | m2://inv/W78T0JHZ02 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#4R62, Moore matrix and determinant (definition). In 1YY0P4ZS0T/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.10
W78VBQN2T6 W78VBQN2T6
| URI | m2://inv/W78VBQN2T6 |
|---|---|
| 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.20368#WT1T (statement)
History
- 2026-11-02: add by m2/v0.6.18
optimal decision W78WZP64K8
| URI | m2://inv/W78WZP64K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#TVUN, optimal decision (definition)
History
- 2026-11-02: add by m2/dev
W78Z4H431B W78Z4H431B
| URI | m2://inv/W78Z4H431B |
|---|---|
| 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.11671#07TM (statement). In V06H8BAGEH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
W797Z7QMSB W797Z7QMSB
| URI | m2://inv/W797Z7QMSB |
|---|---|
| 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.10567#N05H (statement). In Q7TTRJ20KD/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
W79E31JW0R W79E31JW0R
| URI | m2://inv/W79E31JW0R |
|---|---|
| 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 2108.09548#XRKH (statement). In 6D6C14KFGJ/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.0
Definition W79JYMYR4E
| URI | m2://inv/W79JYMYR4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence-permutable algebra#5Y8H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Yarrow algorithm W79QM59D9R
| URI | m2://inv/W79QM59D9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yarrow algorithm, Yarrow algorithm (definition). Also Wikidata Q719738
History
- 2026-11-02: add by m2/dev
p-subgroup W79TWZ8NB1
| URI | m2://inv/W79TWZ8NB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 53993) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#7WM8, p-subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
W7A36XQTKG W7A36XQTKG
| URI | m2://inv/W7A36XQTKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#J5K5 (statement). In M8TSJ24RC2/e1, theorem 2.28
History
- 2026-10-28: add by m2/v0.4.2
Applications W7AEA2WDZ3
| URI | m2://inv/W7AEA2WDZ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial Analysis of Principal Components#ZI0D, Applications (example)
History
- 2026-11-02: add by m2/dev
Bump function W7AEFM8KZA
| URI | m2://inv/W7AEFM8KZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-58, Bump function (statement). In VNMV985MXX, thm, section E.3
History
- 2026-11-01: add by m2/v0.6.13
Confounding W7AFERS34B
| URI | m2://inv/W7AFERS34B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VD1C, Confounding (definition)
History
- 2026-11-02: add by m2/dev
Jean-Michel Bony W7AJEAJHF0
| URI | m2://inv/W7AJEAJHF0 |
|---|---|
| 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#CMEJ, Jean-Michel Bony (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KYYC, Jean-Michel Bony (topic)
History
- 2026-11-02: add by m2/dev
Applications W7ARFGC59Q
| URI | m2://inv/W7ARFGC59Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal one-way hash function#SYKC, Applications (example)
History
- 2026-11-02: add by m2/dev
probability W7AYPE3XBT
| URI | m2://inv/W7AYPE3XBT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.1/probability, probability (concept). In QKM9DD2H56, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
symmetric relation W7AYYEJG1C
| URI | m2://inv/W7AYYEJG1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Symmetric relation 061J5VGSPT |
Mentions
- wikidata: Wikidata Q621461, symmetric relation (definition). Also MathWorld SymmetricRelation, nLab symmetric relation, ProofWiki Definition:Symmetric_Relation
- wikipedia: Wikipedia Symmetric relation, Symmetric relation (definition). Also Wikidata Q621461
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
W7AZT2D43J W7AZT2D43J
| URI | m2://inv/W7AZT2D43J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#HB3T (statement). In 6YY27KRJFN/e1, corollary 6.11
History
- 2026-10-30: add by m2/v0.4.12
The Independence of the Continuum Hypothesis W7B0WKKAFF
| URI | m2://inv/W7B0WKKAFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 24, The Independence of the Continuum Hypothesis (statement)
History
- 2026-10-26: add by m2/dev
W7B2DXF4JA W7B2DXF4JA
| URI | m2://inv/W7B2DXF4JA |
|---|---|
| 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 2311.16205#D315 (definition). In 3GE9PS9AH0/e1, definition 5.2.1
History
- 2026-10-27: add by m2/v0.3.5
W7B2PVP32C W7B2PVP32C
| URI | m2://inv/W7B2PVP32C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#XNN1 (statement). In YKD51BX3XB/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.4.2
Qingzhao Yu W7B3P84YH9
| URI | m2://inv/W7B3P84YH9 |
|---|---|
| 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#4XLO, Qingzhao Yu (unknown)
History
- 2026-11-02: add by m2/dev
W7B55SPH12 W7B55SPH12
| URI | m2://inv/W7B55SPH12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#EVO4 (statement). In HTBRYNPHSJ/e1, theorem 6.13
History
- 2026-10-29: add by m2/v0.4.12
Fermat's principle W7B84XQAVD
| URI | m2://inv/W7B84XQAVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fermat's principle RKX9XJ0RVW |
Mentions
- wikidata: Wikidata Q331041, Fermat's principle (statement). Also ProofWiki Fermat's_Principle_of_Least_Time
- wikipedia: Wikipedia Fermat's principle, Fermat's principle (statement). Also Wikidata Q331041
History
- 2026-10-26: add by m2/dev
W7BKCAG59X W7BKCAG59X
| URI | m2://inv/W7BKCAG59X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 12.5
History
- 2026-11-01: add by m2/v0.6.13
Leslie Hogben W7BMY2FZ1R
| URI | m2://inv/W7BMY2FZ1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leslie Hogben, Leslie Hogben (topic). Also Wikidata Q67090841
History
- 2026-11-02: add by m2/dev
affine along $d$ W7CVVDVR3M
| URI | m2://inv/W7CVVDVR3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01029#A1BK, affine along $d$ (statement). In KA8VS65Z9G/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
W7CW0MGTSA W7CW0MGTSA
| URI | m2://inv/W7CW0MGTSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#NDLZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exactly one decreasing wall column W7CW64HW6H
| URI | m2://inv/W7CW64HW6H |
|---|---|
| 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 2609.28892#RDMB, Exactly one decreasing wall column (example)
History
- 2026-11-01: add by m2/v0.6.15
W7CZRR0TMX W7CZRR0TMX
| URI | m2://inv/W7CZRR0TMX |
|---|---|
| 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#LRVV (statement). In MNQAZ70XTH/e1, proposition 12.3
History
- 2026-10-28: add by m2/v0.4.3
K. G. Ramanathan W7D4QAG8NN
| URI | m2://inv/W7D4QAG8NN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K. G. Ramanathan, K. G. Ramanathan (topic). Also Wikidata Q10965844
History
- 2026-11-02: add by m2/dev
NCSS W7D6CXSRMQ
| URI | m2://inv/W7D6CXSRMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NCSS (statistical software), NCSS (definition). Also Wikidata Q17042611
History
- 2026-11-02: add by m2/dev
W7D9QT5J1P W7D9QT5J1P
| URI | m2://inv/W7D9QT5J1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#92W8 (statement). In ES1CVGG59Y/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
Power-deviation estimate W7DC3VFRSG
| URI | m2://inv/W7DC3VFRSG |
|---|---|
| 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.10840#0CIX, Power-deviation estimate (statement). In P0HKF5DY7M/e1, proposition B.2
History
- 2026-10-27: add by m2/v0.3.5
Max Noether W7DEDRSC8Q
| URI | m2://inv/W7DEDRSC8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#BW90, Max Noether (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ADQA, Max Noether (topic)
- wikipedia: Wikipedia List of German mathematicians#N7TT, Max Noether (topic)
History
- 2026-11-02: add by m2/dev
Xiumin Du W7DHKXSVF5
| URI | m2://inv/W7DHKXSVF5 |
|---|---|
| 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#2I6L, Xiumin Du (unknown)
History
- 2026-11-02: add by m2/dev
Cheng Siwei W7DY8909CE
| URI | m2://inv/W7DY8909CE |
|---|---|
| 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#LRGG, Cheng Siwei (unknown)
History
- 2026-11-02: add by m2/dev
Applications W7DYBPF66C
| URI | m2://inv/W7DYBPF66C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive root modulo n#5MBG, Applications (example)
History
- 2026-11-02: add by m2/dev
W7DYPERH7X W7DYPERH7X
| URI | m2://inv/W7DYPERH7X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#2FAQ (example). In PWXT7J9JX3/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.2
W7E5908JPY W7E5908JPY
| URI | m2://inv/W7E5908JPY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#eg-1 (example). In N54F33XE07, eg, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
W7E8JKN1HN W7E8JKN1HN
| URI | m2://inv/W7E8JKN1HN |
|---|---|
| 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 2109.12716#MLZT (statement). In 6X76XBE3HV/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
W7EJ9PMF0J W7EJ9PMF0J
| URI | m2://inv/W7EJ9PMF0J |
|---|---|
| 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.07162#2GTR (statement). In MQEB9ZHQAT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
The representation theorem W7EKMQY183
| URI | m2://inv/W7EKMQY183 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational consequence relation#LXVZ, The representation theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem W7EMVVC76K
| URI | m2://inv/W7EMVVC76K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noisy-channel coding theorem#6TUM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
V-optimal histograms W7FB8TFVYQ
| URI | m2://inv/W7FB8TFVYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V-optimal histograms, V-optimal histograms (definition). Also Wikidata Q7905858
History
- 2026-11-02: add by m2/dev
W7FF6WXF2X W7FF6WXF2X
| URI | m2://inv/W7FF6WXF2X |
|---|---|
| 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.25823#XVXS (statement)
History
- 2026-11-01: add by m2/v0.6.15
W7FFVJ3AQB W7FFVJ3AQB
| URI | m2://inv/W7FFVJ3AQB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#lemma-2 (statement). In E59CDZA4DP, lemma, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Gaussian moat W7FK1S2S5D
| URI | m2://inv/W7FK1S2S5D |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5527841, Gaussian moat (problem). Also MathWorld Moat-CrossingProblem
- wikipedia: Wikipedia Gaussian moat, Gaussian moat (conjecture). Also Wikidata Q5527841
History
- 2026-10-26: add by m2/dev
Digital renminbi W7FPD6P5PD
| URI | m2://inv/W7FPD6P5PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital renminbi, Digital renminbi (definition). Also Wikidata Q101940490
History
- 2026-11-02: add by m2/dev
Sensitivity theorem W7FXDTD0PA
| URI | m2://inv/W7FXDTD0PA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Q0UO, Sensitivity theorem (statement)
History
- 2026-11-02: add by m2/dev
Epidemiological methods W7FYATP1MZ
| URI | m2://inv/W7FYATP1MZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3308, Epidemiological methods (unknown)
- wikipedia: Wikipedia List of mathematics-based methods#B2BH, Epidemiological methods (unknown)
History
- 2026-11-02: add by m2/dev
W7G4MMM2DS W7G4MMM2DS
| URI | m2://inv/W7G4MMM2DS |
|---|---|
| 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 2604.05177#GA9A (statement). In G04BKQV6YM/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Notation W7GA9AY60P
| URI | m2://inv/W7GA9AY60P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope#XWEB, Notation (definition)
History
- 2026-11-02: add by m2/dev
W7GKVH76SX W7GKVH76SX
| URI | m2://inv/W7GKVH76SX |
|---|---|
| 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.14217#YMEI (statement). In K0DHYQC5B7/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Properties W7GQBBBCNT
| URI | m2://inv/W7GQBBBCNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic–geometric mean#L3XZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Filtered group W7GR2EBMAQ
| URI | m2://inv/W7GR2EBMAQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filtration (mathematics)#E7QT, Filtered group (unknown)
History
- 2026-11-02: add by m2/dev
Continuity W7GWJ83AH3
| URI | m2://inv/W7GWJ83AH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31555#UFCD, Continuity (statement). In 2GC6K487FE/e1, lemma
History
- 2026-10-31: add by m2/v0.5.6
Examples W7H4N2C6VQ
| URI | m2://inv/W7H4N2C6VQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spread of a matrix#OMX9, Examples (example)
History
- 2026-11-02: add by m2/dev
Homoscedasticity W7HAJYJSFM
| URI | m2://inv/W7HAJYJSFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RMP5, Homoscedasticity (definition)
History
- 2026-11-02: add by m2/dev
Critical front and its tail W7HDRDTFAT
| URI | m2://inv/W7HDRDTFAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#M2I4, Critical front and its tail (statement). In XM98BX97RT/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
W7HEYF71KD W7HEYF71KD
| URI | m2://inv/W7HEYF71KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#Y691 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetric Lov\'asz Local Lemma W7HKXQ7SCS
| URI | m2://inv/W7HKXQ7SCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23362#XTBV, Symmetric Lov\'asz Local Lemma (statement)
History
- 2026-11-02: add by m2/v0.6.17
W7HS8VWPCJ W7HS8VWPCJ
| URI | m2://inv/W7HS8VWPCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#UAJS (statement). In PWXT7J9JX3/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Paul Biran W7HVM0YAZK
| URI | m2://inv/W7HVM0YAZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Biran, Paul Biran (topic). Also Wikidata Q690891
History
- 2026-11-02: add by m2/dev
Greenberger–Horne–Zeilinger state W7HXJCHYJ9
| URI | m2://inv/W7HXJCHYJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberger–Horne–Zeilinger state, Greenberger–Horne–Zeilinger state (definition). Also Wikidata Q11300563
History
- 2026-11-02: add by m2/dev
W7HZ12F24J W7HZ12F24J
| URI | m2://inv/W7HZ12F24J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#MJNF (statement). In QV16PHDXKJ/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
W7J1D888GZ W7J1D888GZ
| URI | m2://inv/W7J1D888GZ |
|---|---|
| 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.11829#BBX5 (statement). In 76DK6SPN88/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
W7J42HPFAJ W7J42HPFAJ
| URI | m2://inv/W7J42HPFAJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06556#6SLO (problem). In KW8C7VE9XR/e1, problem 39
History
- 2026-10-29: add by m2/v0.4.10
differentiation rules W7J6T6H7CR
| URI | m2://inv/W7J6T6H7CR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#FK2A, differentiation rules (definition)
History
- 2026-11-02: add by m2/dev
W7JC7Z3CYK W7JC7Z3CYK
| URI | m2://inv/W7JC7Z3CYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31986#TBHV (statement). In 8WR0AEDAHT/e1, proposition 24
History
- 2026-10-31: add by m2/v0.5.6
Expected utility hypothesis W7JR7KC93V
| URI | m2://inv/W7JR7KC93V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5CVT, Expected utility hypothesis (statement)
History
- 2026-11-02: add by m2/dev
type, inductive W7JXNXABS4
| URI | m2://inv/W7JXNXABS4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/type-inductive, type, inductive (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
centered octahedral number W7JYA29B7W
| URI | m2://inv/W7JYA29B7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14390354, centered octahedral number (object). Also OEIS A001845
- wikipedia: Wikipedia Centered octahedral number, Centered octahedral number (definition). Also Wikidata Q14390354
History
- 2026-10-26: add by m2/dev
W7JZW59WYK W7JZW59WYK
| URI | m2://inv/W7JZW59WYK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#example-3 (example). In RZP28ERRZV, example, section 59.3.2
History
- 2026-11-01: add by m2/v0.6.13
Wreath product W7K3NATYTS
| URI | m2://inv/W7K3NATYTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FAJG, Wreath product (definition)
- wikipedia: Wikipedia List of permutation topics#PI37, Wreath product (definition)
History
- 2026-11-02: add by m2/dev
Block update W7K3YGR00R
| URI | m2://inv/W7K3YGR00R |
|---|---|
| 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.15335#1T6H, Block update (statement). In Q40KRPP98D/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Invariant measure W7K435DZQ2
| URI | m2://inv/W7K435DZQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant measure, Invariant measure (definition). Also Wikidata Q4200518
History
- 2026-11-02: add by m2/dev
Exact criticality W7KH4ZT8E8
| URI | m2://inv/W7KH4ZT8E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#L7FG, Exact criticality (statement). In NKXTXH59P1/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
W7KK0AHEN0 W7KK0AHEN0
| URI | m2://inv/W7KK0AHEN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.02244#B0DL (statement). In 3REM2EXQK7/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.12
W7KQ2Z3ZD0 W7KQ2Z3ZD0
| URI | m2://inv/W7KQ2Z3ZD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#MVAC (statement). In V97F4YZ8B0/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
General definition W7KW5HHS22
| URI | m2://inv/W7KW5HHS22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pin group#QNRS, General definition (definition)
History
- 2026-11-02: add by m2/dev
W7M370J2B9 W7M370J2B9
| URI | m2://inv/W7M370J2B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#59CY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hodge-Riemann bilinear relations W7M9YQ0WMN
| URI | m2://inv/W7M9YQ0WMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge structure#UEN3, Hodge-Riemann bilinear relations (unknown)
History
- 2026-11-02: add by m2/dev
391 (number) W7MNKM7EN0
| URI | m2://inv/W7MNKM7EN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#18XT, 391 (number) (unknown)
History
- 2026-11-02: add by m2/dev
WMAPE W7MYG2M8KY
| URI | m2://inv/W7MYG2M8KY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute percentage error#NMOM, WMAPE (unknown)
History
- 2026-11-02: add by m2/dev
Target-linked clean initialization W7N523YF8D
| URI | m2://inv/W7N523YF8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#WAUF, Target-linked clean initialization (statement). In X1FPG0KYBM/e1, theorem N.2
History
- 2026-10-28: add by m2/v0.4.2
Zorn's lemma W7NSG4BWMW
| URI | m2://inv/W7NSG4BWMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#NY9W, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
Rate tightness of the generalization bound W7NVC3RN2N
| URI | m2://inv/W7NVC3RN2N |
|---|---|
| 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.15847#KGYG, Rate tightness of the generalization bound (statement). In BTV3DAMX28/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Uniform specialized inverse-tail asymptotic W7NYTNESQ9
| URI | m2://inv/W7NYTNESQ9 |
|---|---|
| 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.28198#PKR5, Uniform specialized inverse-tail asymptotic (statement)
History
- 2026-11-01: add by m2/v0.6.15
W7PKX26CJ6 W7PKX26CJ6
| URI | m2://inv/W7PKX26CJ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#X7LX (definition). In 8Z47D12KSX/e1, definition 10.2
History
- 2026-10-29: add by m2/v0.4.10
Morava E-theory W7PPC7FVVE
| URI | m2://inv/W7PPC7FVVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morava E-theory, Morava E-theory (definition). Also Wikidata Q141143424
History
- 2026-11-02: add by m2/dev
Inequalities in information theory W7PQ4Q1SJX
| URI | m2://inv/W7PQ4Q1SJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#38JG, Inequalities in information theory (definition)
History
- 2026-11-02: add by m2/dev
Purely negative cocircuit witnesses W7PVA50YKT
| URI | m2://inv/W7PVA50YKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#NEP5, Purely negative cocircuit witnesses (statement). In XDTM624YPE/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
W7PZT4YQNW W7PZT4YQNW
| URI | m2://inv/W7PZT4YQNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#3NOE (statement). In 2HSB99DW4M/e1, proposition 4.14
History
- 2026-10-27: add by m2/v0.3.6
W7Q8K9MRWZ W7Q8K9MRWZ
| URI | m2://inv/W7Q8K9MRWZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-3-2.xml#act-5-3-2 (exercise). In 907G4C4EJ1, activity, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
W7Q8WZAE47 W7Q8WZAE47
| URI | m2://inv/W7Q8WZAE47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12819#8TFL (statement). In JW8S0XEMWG/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Taguchi loss function W7QJ4BRVPK
| URI | m2://inv/W7QJ4BRVPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KQN2, Taguchi loss function (definition)
History
- 2026-11-02: add by m2/dev
Five-dimensional near-null space at $A_{20}$ W7QJ574GJH
| URI | m2://inv/W7QJ574GJH |
|---|---|
| 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.25120#OL8Z, Five-dimensional near-null space at $A_{20}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition W7QPW1SN97
| URI | m2://inv/W7QPW1SN97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure (mathematics)#CJ7P, Definition (definition)
History
- 2026-11-02: add by m2/dev
One-sweep inclusion bound W7R0SY6PZX
| URI | m2://inv/W7R0SY6PZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18884#ZN90, One-sweep inclusion bound (statement). In 8WM10QMA9E/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Esa Saarinen W7RDWY916C
| URI | m2://inv/W7RDWY916C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esa Saarinen, Esa Saarinen (topic). Also Wikidata Q3735483
History
- 2026-11-02: add by m2/dev
=*{Definition 2.19 W7RN0FV71B
| URI | m2://inv/W7RN0FV71B |
|---|---|
| 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.36922#D1LZ, =*{Definition 2.19 (definition). In BMHWE5QTTR/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Definition W7RNMYHE7M
| URI | m2://inv/W7RNMYHE7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductor (ring theory)#8N87, Definition (definition)
History
- 2026-11-02: add by m2/dev
W7RQQ8PR9A W7RQQ8PR9A
| URI | m2://inv/W7RQQ8PR9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#D3B3 (definition). In W4TYN4PGE8/e1, definition 3.32
History
- 2026-10-27: add by m2/v0.3.5
W7RTSZ7ECF W7RTSZ7ECF
| URI | m2://inv/W7RTSZ7ECF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-6 (example). In E59CDZA4DP, example, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
\boldmath Rates for \(P_k/P_{k-1}\ W7RY3SEW0T
| URI | m2://inv/W7RY3SEW0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31555#RAGA, \boldmath Rates for \(P_k/P_{k-1}\ (statement). In 2GC6K487FE/e1, corollary
History
- 2026-10-31: add by m2/v0.5.6
Perturbation of the interior Liouville residual W7S1D7ZPGN
| URI | m2://inv/W7S1D7ZPGN |
|---|---|
| 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.10484#WZL2, Perturbation of the interior Liouville residual (statement). In 5B4AX4SF88/e1, lemma 4.15
History
- 2026-10-29: add by m2/v0.4.10
Ginibre formula (Tao 2012, page 251) W7S1XKETJ3
| URI | m2://inv/W7S1XKETJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson Brownian motion#3PIF, Ginibre formula (Tao 2012, page 251) (statement)
History
- 2026-11-02: add by m2/dev
Definitions W7SAY6BMFR
| URI | m2://inv/W7SAY6BMFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antimatroid#XYZ3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
W7SEZDEXC2 W7SEZDEXC2
| URI | m2://inv/W7SEZDEXC2 |
|---|---|
| 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 2610.20376#XD8E (definition). In DGTCGQX6YZ/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
External memory graph traversal W7SN4RNNR7
| URI | m2://inv/W7SN4RNNR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia External memory graph traversal, External memory graph traversal (definition). Also Wikidata Q85760109
History
- 2026-11-02: add by m2/dev
W7SS33VV89 W7SS33VV89
| URI | m2://inv/W7SS33VV89 |
|---|---|
| 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.16059#32CA (statement). In 51W7AECQDA/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
MATHCOUNTS W7T1GTEZS1
| URI | m2://inv/W7T1GTEZS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#MQVR, MATHCOUNTS (definition)
History
- 2026-11-02: add by m2/dev
Reinhold Strassmann W7T4RJVB02
| URI | m2://inv/W7T4RJVB02 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WMG8, Reinhold Strassmann (topic)
History
- 2026-11-02: add by m2/dev
quadratic algebra W7T5053RCB
| URI | m2://inv/W7T5053RCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 17A45 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7268354, quadratic algebra (topic). Also nLab quadratic algebra
- wikipedia: Wikipedia Quadratic algebra, Quadratic algebra (definition). Also Wikidata Q7268354
History
- 2026-10-26: add by m2/dev
Pretty Good Privacy W7TB78K5C6
| URI | m2://inv/W7TB78K5C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pretty Good Privacy, Pretty Good Privacy (definition). Also Wikidata Q1227452
History
- 2026-11-02: add by m2/dev
Pietro Abbati Marescotti W7TBBJ72TK
| URI | m2://inv/W7TBBJ72TK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pietro Abbati Marescotti, Pietro Abbati Marescotti (topic). Also Wikidata Q3710198
History
- 2026-11-02: add by m2/dev
A deep ray is its normalized constant term W7TDE22KSP
| URI | m2://inv/W7TDE22KSP |
|---|---|
| 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#LHB0, A deep ray is its normalized constant term (statement)
History
- 2026-11-01: add by m2/v0.6.15
W7TDSM6KC0 W7TDSM6KC0
| URI | m2://inv/W7TDSM6KC0 |
|---|---|
| Kind | definition |
| 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.32614#ZSU7 (definition). In SG8GT73ZNH/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
W7TK3AYYK6 W7TK3AYYK6
| URI | m2://inv/W7TK3AYYK6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
W7TW7DXQSF W7TW7DXQSF
| URI | m2://inv/W7TW7DXQSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#JQT6 (statement). In AZFARX0CXG/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
W7V6HF6NXN W7V6HF6NXN
| URI | m2://inv/W7V6HF6NXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26771#OJ97 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Landon Curt Noll W7V7TTR7D1
| URI | m2://inv/W7V7TTR7D1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landon Curt Noll, Landon Curt Noll (topic). Also Wikidata Q1327684
History
- 2026-11-02: add by m2/dev
W7V89F9Z55 W7V89F9Z55
| URI | m2://inv/W7V89F9Z55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#4ECP (statement). In V7SN19J84T/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
W7V8HZYDKE W7V8HZYDKE
| URI | m2://inv/W7V8HZYDKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.02848#D21H (statement). In G6WQDW52TJ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
Definitions W7V908WG0F
| URI | m2://inv/W7V908WG0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta distribution#91ND, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Girard W7VA9DVZG9
| URI | m2://inv/W7VA9DVZG9 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#GUBL, Girard (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
W7VCGC8BKE W7VCGC8BKE
| URI | m2://inv/W7VCGC8BKE |
|---|---|
| Kind | definition |
| 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.01328#G8NW (definition). In GNY2MTPWW6/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
W7VGR718XW W7VGR718XW
| URI | m2://inv/W7VGR718XW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#example-orthogonal-set (example). In 649HGZKE96, example, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
W7VPCSRR4H W7VPCSRR4H
| URI | m2://inv/W7VPCSRR4H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-66 (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
W7W268CRKT W7W268CRKT
| URI | m2://inv/W7W268CRKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-30 (definition). In VNMV985MXX, defn, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Nevanlinna theory W7W26S7D21
| URI | m2://inv/W7W26S7D21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nevanlinna theory 1EHH63VNAD |
Mentions
- wikidata: Wikidata Q1281926, Nevanlinna theory (topic). Also MathWorld NevanlinnaTheory
- wikipedia: Wikipedia Nevanlinna theory, Nevanlinna theory (topic). Also Wikidata Q1281926
History
- 2026-10-26: add by m2/dev
W7W6YS8Q9J W7W6YS8Q9J
| URI | m2://inv/W7W6YS8Q9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#VZ9A (statement). In GAG532VMPF/e1, theorem 6.1.1
History
- 2026-10-27: add by m2/v0.3.5
Brad Holland W7WAZTNRZ2
| URI | m2://inv/W7WAZTNRZ2 |
|---|---|
| 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#71HG, Brad Holland (unknown)
History
- 2026-11-02: add by m2/dev
W7WCPZ9FFG W7WCPZ9FFG
| URI | m2://inv/W7WCPZ9FFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#O64K (statement). In 1SPQ4J3AWY/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Drucker stability W7WJ9C75MV
| URI | m2://inv/W7WJ9C75MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drucker stability, Drucker stability (definition). Also Wikidata Q16000080
History
- 2026-11-02: add by m2/dev
denying the antecedent W7WKXE049N
| URI | m2://inv/W7WKXE049N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2296529, denying the antecedent (statement). Also ProofWiki Denying_the_Antecedent
- wikipedia: Wikipedia Denying the antecedent, Denying the antecedent (definition). Also Wikidata Q2296529
History
- 2026-10-26: add by m2/dev
Poincaré separation theorem W7WN3KC0RG
| URI | m2://inv/W7WN3KC0RG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#TXU2, Poincaré separation theorem (statement)
- wikipedia: Wikipedia List of inequalities#NTAX, Poincaré separation theorem (statement)
History
- 2026-11-02: add by m2/dev
Danny Calegari W7WQZQDY4T
| URI | m2://inv/W7WQZQDY4T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danny Calegari, Danny Calegari (topic). Also Wikidata Q1164526
History
- 2026-11-02: add by m2/dev
Contra principia negantem non est disputandum W7WSBEEWDR
| URI | m2://inv/W7WSBEEWDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contra principia negantem non est disputandum, Contra principia negantem non est disputandum (definition). Also Wikidata Q1129047
History
- 2026-11-02: add by m2/dev
Antipodal point W7WTMXGTPZ
| URI | m2://inv/W7WTMXGTPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#5IW8, Antipodal point (definition)
History
- 2026-11-02: add by m2/dev
Cox's theorem W7WWSXMFQM
| URI | m2://inv/W7WWSXMFQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B8NU, Cox's theorem (statement)
- wikipedia: Wikipedia List of probability topics#86WM, Cox's theorem (statement)
- wikipedia: Wikipedia List of probability topics#KZMD, Cox's theorem (statement)
History
- 2026-11-02: add by m2/dev
W7WZ9MGJHC W7WZ9MGJHC
| URI | m2://inv/W7WZ9MGJHC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:not-brck-A-impl-A (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
W7X2VBQ0Q3 W7X2VBQ0Q3
| URI | m2://inv/W7X2VBQ0Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#UBW2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definitions W7X3DY2XQT
| URI | m2://inv/W7X3DY2XQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive relation#IWYZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Hurwitz's theorem W7X5188KBX
| URI | m2://inv/W7X5188KBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1139430, Hurwitz's theorem (normed division algebras) (statement). Also Wikidata Q1139430
- thousand_plus: thousand_plus Q1139430, Hurwitz's theorem (statement). Also Wikidata Q1139430, Wikipedia Hurwitz's theorem (normed division algebras)
- wikipedia: Wikipedia Hurwitz's theorem (composition algebras), Hurwitz's theorem (statement). Also Wikidata Q1139430
History
- 2026-10-26: add by m2/dev
W7X5S7K697 W7X5S7K697
| URI | m2://inv/W7X5S7K697 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#62IX (statement). In X9WFC1D9ZS/e1, theorem 36
History
- 2026-10-27: add by m2/v0.4.2
Lagrange spectrum W7X8Z8C7T2
| URI | m2://inv/W7X8Z8C7T2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#Q1EG, Lagrange spectrum (definition)
History
- 2026-11-02: add by m2/dev
Isabelle Gallagher W7XFA6TQEM
| URI | m2://inv/W7XFA6TQEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isabelle Gallagher, Isabelle Gallagher (topic). Also Wikidata Q6470312
History
- 2026-11-02: add by m2/dev
W7XQCBG0M1 W7XQCBG0M1
| URI | m2://inv/W7XQCBG0M1 |
|---|---|
| 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.39700#ON2F (statement). In E7W2HDNEKJ/e1, theorem 6.30
History
- 2026-10-30: add by m2/v0.4.12
Borel regular measure W7XQEX3AAH
| URI | m2://inv/W7XQEX3AAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel regular measure, Borel regular measure (definition). Also Wikidata Q3088680
History
- 2026-11-02: add by m2/dev
Simpang Empat W7XTKYX6NT
| URI | m2://inv/W7XTKYX6NT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RH1X, Simpang Empat (unknown)
History
- 2026-11-02: add by m2/dev
Marc-Antoine Parseval W7Y0KPFJS3
| URI | m2://inv/W7Y0KPFJS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marc-Antoine Parseval, Marc-Antoine Parseval (topic). Also Wikidata Q527008
History
- 2026-11-02: add by m2/dev
W7Y0XTCPY3 W7Y0XTCPY3
| URI | m2://inv/W7Y0XTCPY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31335#HBN0 (statement). In YN58PZTGFD/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
W7Y1KW84RT W7Y1KW84RT
| URI | m2://inv/W7Y1KW84RT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25314#50XW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Guttenberg W7Y6EJ2DW5
| URI | m2://inv/W7Y6EJ2DW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#DRJ0, Guttenberg (unknown)
History
- 2026-11-02: add by m2/dev
W7YFVN7CFG W7YFVN7CFG
| URI | m2://inv/W7YFVN7CFG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-84 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
W7YJN0KC4B W7YJN0KC4B
| URI | m2://inv/W7YJN0KC4B |
|---|---|
| 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.25301#S3MS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heine–Borel theorem W7YMW6F3RY
| URI | m2://inv/W7YMW6F3RY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-upper-bound property#JZVY, Heine–Borel theorem (statement)
History
- 2026-11-02: add by m2/dev
Representative elementary volume W7YN69KY76
| URI | m2://inv/W7YN69KY76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representative elementary volume, Representative elementary volume (definition). Also Wikidata Q7314248
History
- 2026-11-02: add by m2/dev
Bernstein-type envelopes W7YNR9THK7
| URI | m2://inv/W7YNR9THK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#VACN, Bernstein-type envelopes (statement). In N6EBNRZCYX/e1, corollary A.7
History
- 2026-10-29: add by m2/v0.4.10
Geometric standard deviation W7YWX5C0EK
| URI | m2://inv/W7YWX5C0EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric standard deviation, Geometric standard deviation (definition). Also Wikidata Q446798
History
- 2026-11-02: add by m2/dev
Kolmogorov, Andrey Nikolaevich W7YY97A8TV
| URI | m2://inv/W7YY97A8TV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#S0OF, Kolmogorov, Andrey Nikolaevich (topic)
History
- 2026-11-02: add by m2/dev
Godunov's scheme W7Z549SQNP
| URI | m2://inv/W7Z549SQNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Godunov's scheme, Godunov's scheme (definition). Also Wikidata Q4291826
History
- 2026-11-02: add by m2/dev
W7ZAZD930P W7ZAZD930P
| URI | m2://inv/W7ZAZD930P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 50.6
History
- 2026-11-01: add by m2/v0.6.13
Minimum bounding box algorithms W7ZEP9BR1D
| URI | m2://inv/W7ZEP9BR1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#JN01, Minimum bounding box algorithms (unknown)
History
- 2026-11-02: add by m2/dev
Cyclic reduction W7ZERXFXDG
| URI | m2://inv/W7ZERXFXDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#CZU9, Cyclic reduction (definition)
History
- 2026-11-02: add by m2/dev
A uniform probability estimate W7ZPP12A39
| URI | m2://inv/W7ZPP12A39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12351#7ENE, A uniform probability estimate (statement). In G1S5YM8TSR/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2