Inventory rows KR
The cards of the rows of the inventory whose ids start with KR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
KR02KZPBG0 KR02KZPBG0
| URI | m2://inv/KR02KZPBG0 |
|---|---|
| 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 2503.16884#LILY (statement). In B984KNW591/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Definition KR0830E99W
| URI | m2://inv/KR0830E99W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR#3FXW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Women are wonderful effect KR08EMTZES
| URI | m2://inv/KR08EMTZES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#VUG0, Women are wonderful effect (unknown)
History
- 2026-11-02: add by m2/dev
change-of-variable formula KR08YA1DJY
| URI | m2://inv/KR08YA1DJY |
|---|---|
| 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 2406.07116#P8OA, change-of-variable formula (statement). In 5B030CB2RK/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.6
KR0BJDAN3N KR0BJDAN3N
| URI | m2://inv/KR0BJDAN3N |
|---|---|
| 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.27941#V2YP (statement)
History
- 2026-11-01: add by m2/v0.6.15
shape KR0G2WZ7SR
| URI | m2://inv/KR0G2WZ7SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#5I0K, shape (definition)
History
- 2026-11-02: add by m2/dev
Gramian matrix KR0K6XFVEG
| URI | m2://inv/KR0K6XFVEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Gram matrix 00SPJSDT3Z |
Mentions
- wikidata: Wikidata Q1409400, Gramian matrix (unknown). Also MathWorld GramMatrix
- wikipedia: Wikipedia Gram matrix, Gram matrix (definition). Also Wikidata Q1409400
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
An integral estimate KR0P8FJ63V
| URI | m2://inv/KR0P8FJ63V |
|---|---|
| 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.29748#ZXIF, An integral estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
KR0Q2WJ26Q KR0Q2WJ26Q
| URI | m2://inv/KR0Q2WJ26Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26776#PDXQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Rand index KR0QCHKTZ1
| URI | m2://inv/KR0QCHKTZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M4YC, Rand index (definition)
History
- 2026-11-02: add by m2/dev
Computable filter exponent KR0VDDHKRR
| URI | m2://inv/KR0VDDHKRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22308#ZTRT, Computable filter exponent (statement). In 4QN87R0P1G/e1, proposition 16
History
- 2026-10-27: add by m2/v0.4.0
KR14MZ14WM KR14MZ14WM
| URI | m2://inv/KR14MZ14WM |
|---|---|
| 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.12047#ABTO (statement). In ZF1Y3HZMZ9/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.3
Vaughan F. R. Jones KR198REK2V
| URI | m2://inv/KR198REK2V |
|---|---|
| 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#MW7Q, Vaughan F. R. Jones (topic)
History
- 2026-11-02: add by m2/dev
A correction for the first obstruction KR1XDATMES
| URI | m2://inv/KR1XDATMES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#GQ7W, A correction for the first obstruction (statement). In TBFPBPQV3G/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
KR1XSYB42K KR1XSYB42K
| URI | m2://inv/KR1XSYB42K |
|---|---|
| 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.10570#DG0E (statement). In V0MA250K2P/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Abraham Fraenkel KR2537E84Z
| URI | m2://inv/KR2537E84Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7XEO, Abraham Fraenkel (topic)
History
- 2026-11-02: add by m2/dev
Formal definitions KR262E0BNF
| URI | m2://inv/KR262E0BNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#XK41, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
KR27B9QNR2 KR27B9QNR2
| URI | m2://inv/KR27B9QNR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#0X2Q (statement). In 9VPMHV0M4R/e1, lemma 1.15
History
- 2026-10-27: add by m2/v0.3.5
KR286NW40Q KR286NW40Q
| URI | m2://inv/KR286NW40Q |
|---|---|
| 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.16989#YUD2 (statement). In 4769XNDWYS/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Ping-pong lemma KR2G6XW19R
| URI | m2://inv/KR2G6XW19R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ping-pong lemma, Ping-pong lemma (statement). Also Wikidata Q7195651
History
- 2026-11-02: add by m2/dev
KR2JF3HPVT KR2JF3HPVT
| URI | m2://inv/KR2JF3HPVT |
|---|---|
| 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 1907.01440#1M9W (statement). In QDRYC6WJJ7/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
spherical Neumann function KR2JJYAJ2Y
| URI | m2://inv/KR2JJYAJ2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109559239, spherical Neumann function (unknown). Also MathWorld SphericalBesselFunctionoftheSecondKind
History
- 2026-10-26: add by m2/dev
Linear controllability KR2P9FH5JS
| URI | m2://inv/KR2P9FH5JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#OT3O, Linear controllability (statement). In X6E7P2ACAS/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
KR2PM5SZ5X KR2PM5SZ5X
| URI | m2://inv/KR2PM5SZ5X |
|---|---|
| Kind | definition |
| 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 2404.18704#JQDX (definition). In T4MQVXFGWC/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
harshad number KR2T0GCH18
| URI | m2://inv/KR2T0GCH18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q375355, harshad number (unknown). Also MathWorld HarshadNumber
- wikipedia: Wikipedia Harshad number, Harshad number (definition). Also Wikidata Q375355
History
- 2026-10-26: add by m2/dev
KR30VKRS31 KR30VKRS31
| URI | m2://inv/KR30VKRS31 |
|---|---|
| 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.31537#XYXS (statement). In MNYPK3W135/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
I. Schur KR31F1WE76
| URI | m2://inv/KR31F1WE76 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#BC1B, I. Schur (topic)
History
- 2026-11-02: add by m2/dev
Pair submodularity KR37873DYD
| URI | m2://inv/KR37873DYD |
|---|---|
| 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#YVNV, Pair submodularity (statement). In 7MVPNFPRKB/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Nicholas Wladimir Akimoff KR3C0Z41TJ
| URI | m2://inv/KR3C0Z41TJ |
|---|---|
| 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#OQYC, Nicholas Wladimir Akimoff (unknown)
History
- 2026-11-02: add by m2/dev
KR3MRR2Z99 KR3MRR2Z99
| URI | m2://inv/KR3MRR2Z99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15869#D9AT (statement). In 5VRP29WZEK/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Procedures KR3WE9ZX1W
| URI | m2://inv/KR3WE9ZX1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman–Keuls method#HHSO, Procedures (definition)
History
- 2026-11-02: add by m2/dev
Stanisław Krystyn Zaremba KR3YSYF7SM
| URI | m2://inv/KR3YSYF7SM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Krystyn Zaremba, Stanisław Krystyn Zaremba (topic). Also Wikidata Q9342375
History
- 2026-11-02: add by m2/dev
monadic predicate logic KR4189B9RF
| URI | m2://inv/KR4189B9RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#W4E8, monadic predicate logic (definition)
History
- 2026-11-02: add by m2/dev
smart contract KR42HRDAND
| URI | m2://inv/KR42HRDAND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7544035, smart contract (unknown). Also nLab smart contract
History
- 2026-10-26: add by m2/dev
Steiner point KR43F38F78
| URI | m2://inv/KR43F38F78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner point (triangle), Steiner point (definition). Also Wikidata Q7606863
History
- 2026-11-02: add by m2/dev
Time-variant system KR46ZKZX05
| URI | m2://inv/KR46ZKZX05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-variant system, Time-variant system (definition). Also Wikidata Q7804840
History
- 2026-11-02: add by m2/dev
Percival Frost KR48SM4X13
| URI | m2://inv/KR48SM4X13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percival Frost, Percival Frost (topic). Also Wikidata Q7167107
History
- 2026-11-02: add by m2/dev
finite subgroup of SU(2) KR4BDRQ8J0
| URI | m2://inv/KR4BDRQ8J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123399538, finite subgroup of SU(2) (unknown). Also nLab finite rotation group
- wikipedia: Wikipedia Finite subgroups of SU(2), Finite subgroups of SU(2) (definition). Also Wikidata Q123399538
History
- 2026-10-26: add by m2/dev
KR4C3GV1GY KR4C3GV1GY
| URI | m2://inv/KR4C3GV1GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#YAUX (statement). In 78X5SKJX8J/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
inductive, type family KR4EAQAM88
| URI | m2://inv/KR4EAQAM88 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/inductive-type-family, inductive, type family (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
KR4F29X91Q KR4F29X91Q
| URI | m2://inv/KR4F29X91Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2104.12015#YXWV (statement). In ZZ2P08DVQW/e1, theorem 12.5
History
- 2026-10-27: add by m2/v0.3.5
KR4FPHCMX5 KR4FPHCMX5
| URI | m2://inv/KR4FPHCMX5 |
|---|---|
| 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#UYPG (statement). In R2XC1SC9NZ/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.5
KR4J0R9FP1 KR4J0R9FP1
| URI | m2://inv/KR4J0R9FP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#QXKF (statement). In G7R61RPWE2/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Lebesgue differentiation theorem KR4JQ9TP20
| URI | m2://inv/KR4JQ9TP20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DNWI, Lebesgue differentiation theorem (statement)
History
- 2026-11-02: add by m2/dev
Revolution (geometry) KR4P7GEE5H
| URI | m2://inv/KR4P7GEE5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation#RTA7, Revolution (geometry) (unknown)
History
- 2026-11-02: add by m2/dev
Complex permittivity KR50DTJ2B6
| URI | m2://inv/KR50DTJ2B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permittivity#RNQX, Complex permittivity (unknown)
History
- 2026-11-02: add by m2/dev
Exchange Laurent polynomials KR50M3FP3H
| URI | m2://inv/KR50M3FP3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#3C87, Exchange Laurent polynomials (definition). In 9Q8S0NWHP2/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
group, abelian KR51KM6VBY
| URI | m2://inv/KR51KM6VBY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.1/group-abelian, group, abelian (concept). In N54F33XE07, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
KR56M7HS7Q KR56M7HS7Q
| URI | m2://inv/KR56M7HS7Q |
|---|---|
| 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 2301.04933#R9GJ (definition). In Q70CTMCJTP/e1, definition 3.17
History
- 2026-10-27: add by m2/v0.3.5
Edge statistics of the Ginibre ensemble KR56XNXZ31
| URI | m2://inv/KR56XNXZ31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random matrix#JSI1, Edge statistics of the Ginibre ensemble (statement)
History
- 2026-11-02: add by m2/dev
Association rule learning KR5A43JSY7
| URI | m2://inv/KR5A43JSY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#C90R, Association rule learning (definition)
History
- 2026-11-02: add by m2/dev
KR5A88Z8P1 KR5A88Z8P1
| URI | m2://inv/KR5A88Z8P1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-44 (proof). In N54F33XE07, proof, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
KR5C0WR3V4 KR5C0WR3V4
| URI | m2://inv/KR5C0WR3V4 |
|---|---|
| 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.13392#WIQN (statement). In 2FVND41HVS/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
conic KR5CV6MJR2
| URI | m2://inv/KR5CV6MJR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#1MBA, conic (definition)
History
- 2026-11-02: add by m2/dev
KR5DVM2BAW KR5DVM2BAW
| URI | m2://inv/KR5DVM2BAW |
|---|---|
| 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.33383#E528 (statement). In 8AHWRHTP5G/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
Smooth approximation KR5QYEKPKH
| URI | m2://inv/KR5QYEKPKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping space#Q51I, Smooth approximation (unknown)
History
- 2026-11-02: add by m2/dev
KR5T7NZA49 KR5T7NZA49
| URI | m2://inv/KR5T7NZA49 |
|---|---|
| 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 2011.06637#SYC1 (example). In KFCJ5CFP3G/e1, example 5.8
History
- 2026-10-27: add by m2/v0.3.5
uniformly continuous, in a metric space KR5V91B6TR
| URI | m2://inv/KR5V91B6TR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.5.4/uniformly-continuous-in-a-metric-space, uniformly continuous, in a metric space (concept). In E59CDZA4DP, index, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Abelian variety KR5ZAF615Y
| URI | m2://inv/KR5ZAF615Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#2VCL, Abelian variety (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#53Z5, Abelian variety (definition)
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#J2GS, Abelian variety (definition)
History
- 2026-11-02: add by m2/dev
Angus Ellis Taylor KR63M49D22
| URI | m2://inv/KR63M49D22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7XCA, Angus Ellis Taylor (topic)
History
- 2026-11-02: add by m2/dev
KR64RPCA7T KR64RPCA7T
| URI | m2://inv/KR64RPCA7T |
|---|---|
| Kind | example |
| 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 2610.20899#JSEG (example). In BSMDFADA39/e1, example 3.4
History
- 2026-10-27: add by m2/v0.4.2
Alessandro Guiliani KR66Q84XJE
| URI | m2://inv/KR66Q84XJE |
|---|---|
| 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#TXJR, Alessandro Guiliani (unknown)
History
- 2026-11-02: add by m2/dev
Action and reaction principle KR67Y6S1A3
| URI | m2://inv/KR67Y6S1A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peridynamics#NFFQ, Action and reaction principle (statement)
History
- 2026-11-02: add by m2/dev
type, dependent function KR68KR60RH
| URI | m2://inv/KR68KR60RH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/type-dependent-function, type, dependent function (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
KR6CQX1XNK KR6CQX1XNK
| URI | m2://inv/KR6CQX1XNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#8LBR (statement). In QR9WE79ERQ/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Gaussian functions KR6EZRSCGG
| URI | m2://inv/KR6EZRSCGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Gaussian functions, Gaussian functions (unknown)
History
- 2026-10-26: add by m2/dev
KR6MMD0EQE KR6MMD0EQE
| URI | m2://inv/KR6MMD0EQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#Z6LY (statement). In Y1DR0DPWD0/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
multiplicity KR6V7GG1B4
| URI | m2://inv/KR6V7GG1B4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > multiplicity, multiplicity (unknown). Also Mathlib Polynomial.rootMultiplicity
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > multiplicity, multiplicity (unknown). Also Mathlib Polynomial.rootMultiplicity
History
- 2026-10-26: add by m2/dev
KR725F6WK9 KR725F6WK9
| URI | m2://inv/KR725F6WK9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21039#ZU31 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Self-duality KR74XQX7KM
| URI | m2://inv/KR74XQX7KM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (mathematics)#OOWW, Self-duality (unknown)
History
- 2026-11-02: add by m2/dev
KR755A3GJZ KR755A3GJZ
| URI | m2://inv/KR755A3GJZ |
|---|---|
| Kind | example |
| 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 2103.08272#BTF2 (example). In H72E12TYHA/e1, example 4.13
History
- 2026-10-27: add by m2/v0.4.0
KR76HHPX8Z KR76HHPX8Z
| URI | m2://inv/KR76HHPX8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26738#WT6P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Black hole evaporation KR76KHMG8C
| URI | m2://inv/KR76KHMG8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hawking radiation#VWQT, Black hole evaporation (unknown)
History
- 2026-11-02: add by m2/dev
Examples KR76RCFS97
| URI | m2://inv/KR76RCFS97 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime triplet#75OA, Examples (example)
History
- 2026-11-02: add by m2/dev
Approximate rejection sampling with unknown normalization KR7H01VWJ9
| URI | m2://inv/KR7H01VWJ9 |
|---|---|
| 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#2RHE, Approximate rejection sampling with unknown normalization (statement). In WYE2JVEZBT/e1, lemma C.1
History
- 2026-10-31: add by m2/v0.5.6
KR7NGGN3Y2 KR7NGGN3Y2
| URI | m2://inv/KR7NGGN3Y2 |
|---|---|
| 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.24807#3JSX (statement)
History
- 2026-11-01: add by m2/v0.6.15
gas kinetics KR7ZF38F2G
| URI | m2://inv/KR7ZF38F2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 76N15 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1144718, gas kinetics (topic)
History
- 2026-10-26: add by m2/dev
KR80RJAKH4 KR80RJAKH4
| URI | m2://inv/KR80RJAKH4 |
|---|---|
| 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.10736#03NR (statement). In NCYKB4QG5P/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.3
flat witnesses KR82MWHRYJ
| URI | m2://inv/KR82MWHRYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20775#HFRG, flat witnesses (statement). In XG27B81T0G/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
KR88M9H81A KR88M9H81A
| URI | m2://inv/KR88M9H81A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13042#PO86 (statement). In 4QA108C07Y/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
KR8DMNY116 KR8DMNY116
| URI | m2://inv/KR8DMNY116 |
|---|---|
| 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.08288#9VMI (statement). In CHVWYJM7RM/e1, lemma D.6
History
- 2026-10-29: add by m2/v0.4.10
KR8F4FZA3W KR8F4FZA3W
| URI | m2://inv/KR8F4FZA3W |
|---|---|
| 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 0911.1417#UENY (statement). In BBD7TZW79R/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Pascal's wager KR8F525FX2
| URI | m2://inv/KR8F525FX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#22Z9, Pascal's wager (definition)
History
- 2026-11-02: add by m2/dev
Different ideal KR8N3P1F1D
| URI | m2://inv/KR8N3P1F1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#ITYR, Different ideal (definition)
History
- 2026-11-02: add by m2/dev
Theorem KR8SMRCY2X
| URI | m2://inv/KR8SMRCY2X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou–Bieberbach domain#FBGR, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Timeline of computational mathematics KR9NFWFE3E
| URI | m2://inv/KR9NFWFE3E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of computational mathematics, Timeline of computational mathematics (topic). Also Wikidata Q18394466
History
- 2026-11-02: add by m2/dev
Ian Hacking KR9T6TED8P
| URI | m2://inv/KR9T6TED8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#BGXP, Ian Hacking (unknown)
History
- 2026-11-02: add by m2/dev
KR9ZTXNRW2 KR9ZTXNRW2
| URI | m2://inv/KR9ZTXNRW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#I0P6 (statement). In Q1XJ5VWE1N/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Examples KRAA9X1DY8
| URI | m2://inv/KRAA9X1DY8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite function on a group#SKQB, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties KRADGTVNKJ
| URI | m2://inv/KRADGTVNKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antilinear map#5EJ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
KRAGMG7953 KRAGMG7953
| URI | m2://inv/KRAGMG7953 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16181#HA4V (statement). In RXQ64S1BWP/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
6900 KRAP7T0PS6
| URI | m2://inv/KRAP7T0PS6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6000 (number)#KR7I, 6900 (unknown)
History
- 2026-11-02: add by m2/dev
Haybittle–Peto boundary KRB0FFS2SP
| URI | m2://inv/KRB0FFS2SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haybittle–Peto boundary, Haybittle–Peto boundary (definition). Also Wikidata Q5686201
History
- 2026-11-02: add by m2/dev
Statement KRB3PYD7FY
| URI | m2://inv/KRB3PYD7FY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagata's conjecture on curves#VK4T, Statement (statement)
History
- 2026-11-02: add by m2/dev
KRB6SC6XE1 KRB6SC6XE1
| URI | m2://inv/KRB6SC6XE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#T51K (statement)
History
- 2026-11-01: add by m2/v0.6.15
KRB9G9RHKF KRB9G9RHKF
| URI | m2://inv/KRB9G9RHKF |
|---|---|
| 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 2604.23212#8JAU (statement). In 4X12V9RS0D/e1, proposition K.2
History
- 2026-10-27: add by m2/v0.3.5
Song Sun KRBEQZ3DC4
| URI | m2://inv/KRBEQZ3DC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Song Sun, Song Sun (topic). Also Wikidata Q62716444
History
- 2026-11-02: add by m2/dev
Decomposition of $S$ in $L^1$ KRBNASN9Q6
| URI | m2://inv/KRBNASN9Q6 |
|---|---|
| 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.18797#9ZF7, Decomposition of $S$ in $L^1$ (statement). In HVZW77G66Z/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
KRBSRC486S KRBSRC486S
| URI | m2://inv/KRBSRC486S |
|---|---|
| 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#5R4C (statement). In AZFARX0CXG/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Example KRBTTD7MN2
| URI | m2://inv/KRBTTD7MN2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation of variables#5VZ6, Example (example)
History
- 2026-11-02: add by m2/dev
KRBWQ8FPF6 KRBWQ8FPF6
| URI | m2://inv/KRBWQ8FPF6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 35.5
History
- 2026-11-01: add by m2/v0.6.13
KRBX8NSDZA KRBX8NSDZA
| URI | m2://inv/KRBX8NSDZA |
|---|---|
| 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#9QP5 (statement). In MNQAZ70XTH/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.3
Eric van Douwen KRBYP2ESTM
| URI | m2://inv/KRBYP2ESTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric van Douwen, Eric van Douwen (topic). Also Wikidata Q5387842
History
- 2026-11-02: add by m2/dev
KRC3CE0M52 KRC3CE0M52
| URI | m2://inv/KRC3CE0M52 |
|---|---|
| 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 2207.05628#6CYA (statement). In 9JPKTEWW4W/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
KRC4VCF35Q KRC4VCF35Q
| URI | m2://inv/KRC4VCF35Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 63.4
History
- 2026-11-01: add by m2/v0.6.13
Blinded experiment KRC8FCBAA3
| URI | m2://inv/KRC8FCBAA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blinded experiment, Blinded experiment (definition). Also Wikidata Q608510
History
- 2026-11-02: add by m2/dev
Pseudospectral optimal control KRC8SDWP4A
| URI | m2://inv/KRC8SDWP4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudospectral optimal control, Pseudospectral optimal control (definition). Also Wikidata Q7255577
History
- 2026-11-02: add by m2/dev
search, depth first KRCB5B241Z
| URI | m2://inv/KRCB5B241Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2.2/search-depth-first, search, depth first (concept). In Y91XFCEVHQ, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
KRCC49GZRV KRCC49GZRV
| URI | m2://inv/KRCC49GZRV |
|---|---|
| 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.12169#PCZP (statement). In 645GF9SFWM/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.2
Properties KRCCC4HX8H
| URI | m2://inv/KRCCC4HX8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated prime#AZ5J, Properties (statement)
History
- 2026-11-02: add by m2/dev
Banesh Hoffmann KRCF8FMC5W
| URI | m2://inv/KRCF8FMC5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#MBUX, Banesh Hoffmann (topic)
History
- 2026-11-02: add by m2/dev
2.618 KRCHVW6VKQ
| URI | m2://inv/KRCHVW6VKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden ratio#SAC4, 2.618 (unknown)
History
- 2026-11-02: add by m2/dev
KRCKJ0VZV4 KRCKJ0VZV4
| URI | m2://inv/KRCKJ0VZV4 |
|---|---|
| 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.02484#DWWX (statement). In D1V0MQZTFQ/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.12
Skew apeirotope KRCPA1AKZR
| URI | m2://inv/KRCPA1AKZR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of regular polytopes#0YRM, Skew apeirotope (object)
History
- 2026-11-02: add by m2/dev
Randomised test KRCQHZAM9P
| URI | m2://inv/KRCQHZAM9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomised decision rule#NFME, Randomised test (unknown)
History
- 2026-11-02: add by m2/dev
Abel Prize KRD4C0VDQR
| URI | m2://inv/KRD4C0VDQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188184, Abel Prize (definition). Also MathWorld AbelPrize, ProofWiki Definition:Abel_Prize
- wikipedia: Wikipedia Abel Prize, Abel Prize (definition). Also Wikidata Q188184
History
- 2026-10-26: add by m2/dev
Fedorov notation KRD7FCEPZ5
| URI | m2://inv/KRD7FCEPZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#UPM5, Fedorov notation (definition)
History
- 2026-11-02: add by m2/dev
Michael Hopkins KRD7RTPPDR
| URI | m2://inv/KRD7RTPPDR |
|---|---|
| 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#TWRW, Michael Hopkins (topic)
History
- 2026-11-02: add by m2/dev
Social software KRDBM6SWJS
| URI | m2://inv/KRDBM6SWJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social software (research field), Social software (definition). Also Wikidata Q7551376
History
- 2026-11-02: add by m2/dev
Component analysis KRDJ8J4QER
| URI | m2://inv/KRDJ8J4QER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Component analysis (statistics), Component analysis (definition). Also Wikidata Q16950721
History
- 2026-11-02: add by m2/dev
No genuine interior mean critical point KRDS7CX8M8
| URI | m2://inv/KRDS7CX8M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#1UNR, No genuine interior mean critical point (statement)
History
- 2026-11-01: add by m2/v0.6.15
489 (number) KRE1KDNBQB
| URI | m2://inv/KRE1KDNBQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#TNKM, 489 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Chern–Weil homomorphism KREGKPBMM5
| URI | m2://inv/KREGKPBMM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#WZCS, Chern–Weil homomorphism (definition)
History
- 2026-11-02: add by m2/dev
Implementation KREHW53R6C
| URI | m2://inv/KREHW53R6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fan chart (time series)#9YGK, Implementation (definition)
History
- 2026-11-02: add by m2/dev
KREPGSK5M0 KREPGSK5M0
| URI | m2://inv/KREPGSK5M0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-24 (proof). In E59CDZA4DP, proof, section 4.5.1
History
- 2026-11-01: add by m2/v0.6.13
EKS fusion and realization results KREPQ0E4RF
| URI | m2://inv/KREPQ0E4RF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20572#7I7G, EKS fusion and realization results (statement)
History
- 2026-11-02: add by m2/v0.6.18
KREYJWNJQT KREYJWNJQT
| URI | m2://inv/KREYJWNJQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-1 (example). In Y91XFCEVHQ, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
formal KRF655PRXE
| URI | m2://inv/KRF655PRXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#HFQ4, formal (definition)
History
- 2026-11-02: add by m2/dev
KRF8K85DZP KRF8K85DZP
| URI | m2://inv/KRF8K85DZP |
|---|---|
| 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.16225#DIJ7 (definition). In H3DJV9YQW1/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
John Wrench KRF8PABW2E
| URI | m2://inv/KRF8PABW2E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZLLK, John Wrench (topic)
History
- 2026-11-02: add by m2/dev
Linear range KRFC7SRXX7
| URI | m2://inv/KRFC7SRXX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear range, Linear range (definition). Also Wikidata Q6553497
History
- 2026-11-02: add by m2/dev
KRFE940GHC KRFE940GHC
| URI | m2://inv/KRFE940GHC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 100.3
History
- 2026-11-01: add by m2/v0.6.13
Definition KRFJDTX67E
| URI | m2://inv/KRFJDTX67E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian variety#0OPZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
A. Harry Wheeler KRFQ805SR8
| URI | m2://inv/KRFQ805SR8 |
|---|---|
| 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#P11J, A. Harry Wheeler (unknown)
History
- 2026-11-02: add by m2/dev
elongated cupola KRFR8Q7BQW
| URI | m2://inv/KRFR8Q7BQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5367149, elongated cupola (unknown). Also MathWorld ElongatedCupola
- wikipedia: Wikipedia Elongated cupola, Elongated cupola (definition). Also Wikidata Q5367149
History
- 2026-10-26: add by m2/dev
KRFT8WJNTE KRFT8WJNTE
| URI | m2://inv/KRFT8WJNTE |
|---|---|
| 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.30771#DSTU (statement). In PQ5117EYN3/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
Lattice Boltzmann methods for solids KRFTY63YJX
| URI | m2://inv/KRFTY63YJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice Boltzmann methods for solids, Lattice Boltzmann methods for solids (definition). Also Wikidata Q115809244
History
- 2026-11-02: add by m2/dev
Example KRFY8Z2DNT
| URI | m2://inv/KRFY8Z2DNT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fan chart (statistics)#0GSO, Example (example)
History
- 2026-11-02: add by m2/dev
B5 polytope KRG4VYZQ65
| URI | m2://inv/KRG4VYZQ65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B5 polytope, B5 polytope (definition). Also Wikidata Q6563156
History
- 2026-11-02: add by m2/dev
Bieberbach's theorems KRGD0XADT0
| URI | m2://inv/KRGD0XADT0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#J8FJ, Bieberbach's theorems (statement)
History
- 2026-11-02: add by m2/dev
StatXact KRGM48WHKB
| URI | m2://inv/KRGM48WHKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia StatXact, StatXact (definition). Also Wikidata Q7602969
History
- 2026-11-02: add by m2/dev
KRGNDX3MV3 KRGNDX3MV3
| URI | m2://inv/KRGNDX3MV3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
KRGW10K9R1 KRGW10K9R1
| URI | m2://inv/KRGW10K9R1 |
|---|---|
| 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.21972#VYF9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
KRGW987Q21 KRGW987Q21
| URI | m2://inv/KRGW987Q21 |
|---|---|
| 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 2303.17308#PL4C (statement). In 6N0T1S0BQG/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
KRGYE8J3B0 KRGYE8J3B0
| URI | m2://inv/KRGYE8J3B0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:hlevel-cumulative (statement). In N54F33XE07, thm, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
List of analyses of categorical data KRH5E2NCQN
| URI | m2://inv/KRH5E2NCQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#GQ7S, List of analyses of categorical data (topic)
History
- 2026-11-02: add by m2/dev
KRH73E7Y79 KRH73E7Y79
| URI | m2://inv/KRH73E7Y79 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Nicolai V. Krylov KRHE8KXY5A
| URI | m2://inv/KRHE8KXY5A |
|---|---|
| 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#QZ2A, Nicolai V. Krylov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TCQB, Nicolai V. Krylov (topic)
History
- 2026-11-02: add by m2/dev
Classical characteristic Newton polygon KRHFV3KEPK
| URI | m2://inv/KRHFV3KEPK |
|---|---|
| Kind | definition |
| 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#N5YG, Classical characteristic Newton polygon (definition). In 8BNPFYQDQX/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
KRHGX60WAX KRHGX60WAX
| URI | m2://inv/KRHGX60WAX |
|---|---|
| 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 2607.28337#SXA4 (statement). In 7ZJFWBTBKM/e1, theorem 3.2.5
History
- 2026-10-27: add by m2/v0.3.6
Applications KRHRWTCJ5Z
| URI | m2://inv/KRHRWTCJ5Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's formula#NGDU, Applications (example)
History
- 2026-11-02: add by m2/dev
KRHVJPG5VB KRHVJPG5VB
| URI | m2://inv/KRHVJPG5VB |
|---|---|
| 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.35398#LWA8 (statement). In NAJCCHYXR6/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
KRHXKQJEM7 KRHXKQJEM7
| URI | m2://inv/KRHXKQJEM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2404.14253#4VOF (statement). In R7W38A039X/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.6
KRHZMRVC1S KRHZMRVC1S
| URI | m2://inv/KRHZMRVC1S |
|---|---|
| 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#SCYR (statement)
History
- 2026-11-01: add by m2/v0.6.15
KRJ69E004E KRJ69E004E
| URI | m2://inv/KRJ69E004E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#PBH3 (statement). In CC6S1HVK0T/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Mikhlin multiplier theorem KRJBF1WF0A
| URI | m2://inv/KRJBF1WF0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier (Fourier analysis)#JML1, Mikhlin multiplier theorem (statement)
History
- 2026-11-02: add by m2/dev
Nanos Research KRJVV28K13
| URI | m2://inv/KRJVV28K13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#1IDY, Nanos Research (unknown)
History
- 2026-11-02: add by m2/dev
KRJW6T66WF KRJW6T66WF
| URI | m2://inv/KRJW6T66WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#5PCF (statement). In CFJH0Q39FZ/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Symmetries KRJWK1ZQ7M
| URI | m2://inv/KRJWK1ZQ7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 110-vertex Iofinova–Ivanov graph#6NPP, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Example KRJY0ESHRV
| URI | m2://inv/KRJY0ESHRV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertain inference#4EKI, Example (example)
History
- 2026-11-02: add by m2/dev
KRK8FPTW61 KRK8FPTW61
| URI | m2://inv/KRK8FPTW61 |
|---|---|
| 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.03628#66G9 (statement). In P8KT6JV9N1/e1, fact 2.5
History
- 2026-10-29: add by m2/v0.4.12
Jan van Leeuwen KRKA1GWV34
| URI | m2://inv/KRKA1GWV34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PGKE, Jan van Leeuwen (unknown)
History
- 2026-11-02: add by m2/dev
KRKEEP8K87 KRKEEP8K87
| URI | m2://inv/KRKEEP8K87 |
|---|---|
| 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.10406#IR9T (statement). In VQA35Q7C00/e1, proposition 7.5
History
- 2026-10-29: add by m2/v0.4.10
KRKFWXJ69R KRKFWXJ69R
| URI | m2://inv/KRKFWXJ69R |
|---|---|
| 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 2304.02722#FZTJ (statement). In AH7D55D3WV/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
SimRank KRKN7TS2H5
| URI | m2://inv/KRKN7TS2H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SimRank, SimRank (definition). Also Wikidata Q7517234
History
- 2026-11-02: add by m2/dev
KRM2F59WKY KRM2F59WKY
| URI | m2://inv/KRM2F59WKY |
|---|---|
| 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.21005#EB5Q (statement). In E63NRC7MBE/e1, lemma 2.24
History
- 2026-10-27: add by m2/v0.4.2
Wheel theory KRMDPHCF22
| URI | m2://inv/KRMDPHCF22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wheel theory, Wheel theory (definition). Also Wikidata Q7992045
History
- 2026-11-02: add by m2/dev
Cayley–Bacharach theorem KRMJM2HSTA
| URI | m2://inv/KRMJM2HSTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Cayley–Bacharach theorem BZ2MM3CTNA |
Mentions
- mathlib_1000: mathlib_1000 Q4455043, Cayley–Bacharach theorem (statement). Also Wikidata Q4455043
- thousand_plus: thousand_plus Q4455043, Cayley–Bacharach theorem (statement). Also Wikidata Q4455043, Wikipedia Cayley–Bacharach theorem
- wikidata: Wikidata Q4455043, Cayley–Bacharach theorem (statement). Also MathWorld Cayley-BacharachTheorem
- wikipedia: Wikipedia Cayley–Bacharach theorem, Cayley–Bacharach theorem (statement). Also Wikidata Q4455043
History
- 2026-10-26: add by m2/dev
Castelnuovo surface KRMJZ8B5JZ
| URI | m2://inv/KRMJZ8B5JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#LCQG, Castelnuovo surface (definition)
History
- 2026-11-02: add by m2/dev
Statement KRMPWXPRQR
| URI | m2://inv/KRMPWXPRQR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall–Higman theorem#8KMM, Statement (statement)
History
- 2026-11-02: add by m2/dev
Markov's inequality KRMVCYHJDR
| URI | m2://inv/KRMVCYHJDR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Markov's inequality 05PWWHYBX5 |
Mentions
- arxiv: arXiv 2610.11517#04XJ, Markov's inequality (statement). In 87NF85QAKT/e1, lemma 3.2
- wikidata: Wikidata Q842436, Markov's inequality (statement). Also MathWorld MarkovsInequality
- wikipedia: Wikipedia Markov's inequality, Markov's inequality (statement). Also Wikidata Q842436
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
KRMX4HG0BB KRMX4HG0BB
| URI | m2://inv/KRMX4HG0BB |
|---|---|
| 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.20050#W5BF (statement). In T41GD0Y0GX/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
multiplicative axiom KRN4FEDTJD
| URI | m2://inv/KRN4FEDTJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FPDO, multiplicative axiom (definition)
History
- 2026-11-02: add by m2/dev
Example KRN67NJMMB
| URI | m2://inv/KRN67NJMMB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herfindahl–Hirschman index#RQOL, Example (example)
History
- 2026-11-02: add by m2/dev
KRN99WTSJC KRN99WTSJC
| URI | m2://inv/KRN99WTSJC |
|---|---|
| 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.16386#E88F (definition). In RAF0BFY3Z3/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
KRNA8CEWV1 KRNA8CEWV1
| URI | m2://inv/KRNA8CEWV1 |
|---|---|
| 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.20568#QL2W (statement). In BCD0ATARNZ/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.4.2
Center for Human Rights and International Justice KRNBKH70Y8
| URI | m2://inv/KRNBKH70Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#PPCH, Center for Human Rights and International Justice (unknown)
History
- 2026-11-02: add by m2/dev
Matrix string theory KRNKZNB4JG
| URI | m2://inv/KRNKZNB4JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#0TUR, Matrix string theory (unknown)
History
- 2026-11-02: add by m2/dev
List of information graphics software KRNM67J72Z
| URI | m2://inv/KRNM67J72Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of information graphics software, List of information graphics software (topic). Also Wikidata Q2912281
History
- 2026-11-02: add by m2/dev
reciprocal KRNQ9P2SR9
| URI | m2://inv/KRNQ9P2SR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#605I, reciprocal (definition)
History
- 2026-11-02: add by m2/dev
KRNRD6H6P8 KRNRD6H6P8
| URI | m2://inv/KRNRD6H6P8 |
|---|---|
| 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.27078#OYJC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ernest Pogosyants KRNW6Z2EPG
| URI | m2://inv/KRNW6Z2EPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#14DK, Ernest Pogosyants (unknown)
History
- 2026-11-02: add by m2/dev
Finite coverage criterion KRPBMX098A
| URI | m2://inv/KRPBMX098A |
|---|---|
| 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 2610.02216#5WJL, Finite coverage criterion (statement). In 34JGRZ2M5F/e1, corollary 9.2
History
- 2026-10-29: add by m2/v0.4.12
Dickson polynomial KRPJ7D3N0C
| URI | m2://inv/KRPJ7D3N0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson polynomial, Dickson polynomial (definition). Also Wikidata Q5273815
History
- 2026-11-02: add by m2/dev
Russell KRPQWYYMES
| URI | m2://inv/KRPQWYYMES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#U166, Russell (definition)
History
- 2026-11-02: add by m2/dev
KRPRWX12F4 KRPRWX12F4
| URI | m2://inv/KRPRWX12F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08484#F58A (statement). In C2HJ1CCJ0S/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Definitions KRPXJ284HS
| URI | m2://inv/KRPXJ284HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bornivorous set#Z471, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Nick Woodhouse KRQ1K2F67P
| URI | m2://inv/KRQ1K2F67P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nick Woodhouse, Nick Woodhouse (topic). Also Wikidata Q29467328
History
- 2026-11-02: add by m2/dev
KRQ2K5BCG1 KRQ2K5BCG1
| URI | m2://inv/KRQ2K5BCG1 |
|---|---|
| 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.34551#TP6Q (statement). In 3AF7G56AGE/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
KRQ5B2GJBC KRQ5B2GJBC
| URI | m2://inv/KRQ5B2GJBC |
|---|---|
| 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.10736#XZ9Z (statement). In NCYKB4QG5P/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
Definition KRQ5CR0SY7
| URI | m2://inv/KRQ5CR0SY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius endomorphism#Y6XK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Social experiment KRQ5JAJNMV
| URI | m2://inv/KRQ5JAJNMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social experiment, Social experiment (definition). Also Wikidata Q1388421
History
- 2026-11-02: add by m2/dev
Neural radiance field KRQ660ZP6Z
| URI | m2://inv/KRQ660ZP6Z |
|---|---|
| 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#MS23, Neural radiance field (unknown)
History
- 2026-11-02: add by m2/dev
Signature matrix KRQ7M0NK04
| URI | m2://inv/KRQ7M0NK04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature matrix, Signature matrix (definition). Also Wikidata Q4921154
History
- 2026-11-02: add by m2/dev
Spatial descriptive statistics KRQ80YDJ2W
| URI | m2://inv/KRQ80YDJ2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial descriptive statistics, Spatial descriptive statistics (definition). Also Wikidata Q1326776
History
- 2026-11-02: add by m2/dev
KRQAPNNJAN KRQAPNNJAN
| URI | m2://inv/KRQAPNNJAN |
|---|---|
| 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.27301#NK3R (definition)
History
- 2026-11-01: add by m2/v0.6.15
Basic formula KRQAXWAHVN
| URI | m2://inv/KRQAXWAHVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner–Weyl transform#KAZC, Basic formula (statement)
History
- 2026-11-02: add by m2/dev
KRQB8KK4HP KRQB8KK4HP
| URI | m2://inv/KRQB8KK4HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.20257#Y3A2 (statement). In 9NDZ6GG9XZ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Potentially visible set KRQH9HDJ1G
| URI | m2://inv/KRQH9HDJ1G |
|---|---|
| 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#YX77, Potentially visible set (unknown)
History
- 2026-11-02: add by m2/dev
Isaac Schoenberg KRQS0W76RR
| URI | m2://inv/KRQS0W76RR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BGOS, Isaac Schoenberg (topic)
History
- 2026-11-02: add by m2/dev
Dini's surface KRQSJP7RYV
| URI | m2://inv/KRQSJP7RYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ECC1, Dini's surface (definition)
- wikipedia: Wikipedia List of surfaces#ZM33, Dini's surface (definition)
History
- 2026-11-02: add by m2/dev
singular term KRR1EVPNFR
| URI | m2://inv/KRR1EVPNFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8CXF, singular term (definition)
History
- 2026-11-02: add by m2/dev
KRRKYW4BDQ KRRKYW4BDQ
| URI | m2://inv/KRRKYW4BDQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-38 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
Cumulant generating function KRRP23D5MB
| URI | m2://inv/KRRP23D5MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RL55, Cumulant generating function (definition)
History
- 2026-11-02: add by m2/dev
KRRTJVJRPC KRRTJVJRPC
| URI | m2://inv/KRRTJVJRPC |
|---|---|
| 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.08912#DIQ6 (statement). In DK5QY64NGH/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Feodor A. Smirnov KRRYGDZWH6
| URI | m2://inv/KRRYGDZWH6 |
|---|---|
| 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#4HNW, Feodor A. Smirnov (unknown)
History
- 2026-11-02: add by m2/dev
Thought: A Journal of Philosophy KRS0GX9J28
| URI | m2://inv/KRS0GX9J28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thought: A Journal of Philosophy, Thought: A Journal of Philosophy (definition). Also Wikidata Q7796972
History
- 2026-11-02: add by m2/dev
Coherence (statistics) KRS5QBN7T8
| URI | m2://inv/KRS5QBN7T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8PHB, Coherence (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Metric privacy KRSMV4CAGW
| URI | m2://inv/KRSMV4CAGW |
|---|---|
| Kind | definition |
| 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 2204.09167#4UND, Metric privacy (definition). In S1MENYEAG5/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Geodesic azimuth KRSN1A0144
| URI | m2://inv/KRSN1A0144 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azimuth#Y3J5, Geodesic azimuth (unknown)
History
- 2026-11-02: add by m2/dev
Fourier cutoff error KRSSMDQV5B
| URI | m2://inv/KRSSMDQV5B |
|---|---|
| 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.02436#9B9B, Fourier cutoff error (statement). In J9WZBK6KAY/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
KRT5ZTG83Z KRT5ZTG83Z
| URI | m2://inv/KRT5ZTG83Z |
|---|---|
| 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#MHZ8 (statement). In TJH58FRGEN/e1, proposition 8.13
History
- 2026-10-29: add by m2/v0.4.12
Hodge group KRT65JMVZ7
| URI | m2://inv/KRT65JMVZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#M8JP, Hodge group (definition)
History
- 2026-11-02: add by m2/dev
Sphere–cylinder intersection KRTFVEYGAQ
| URI | m2://inv/KRTFVEYGAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere–cylinder intersection, Sphere–cylinder intersection (definition). Also Wikidata Q7576693
History
- 2026-11-02: add by m2/dev
Mathematical Society of the Republic of Moldova KRTKVQ8C9X
| URI | m2://inv/KRTKVQ8C9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#VDC3, Mathematical Society of the Republic of Moldova (definition)
History
- 2026-11-02: add by m2/dev
\textsc{Quantum Circuit-SAT} Problem KRTX48TB2V
| URI | m2://inv/KRTX48TB2V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#LXQJ, \textsc{Quantum Circuit-SAT} Problem (definition)
History
- 2026-11-01: add by m2/v0.6.15
KRTYF45TYB KRTYF45TYB
| URI | m2://inv/KRTYF45TYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#DW2Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Logic of Paradox KRTZBQMB28
| URI | m2://inv/KRTZBQMB28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paraconsistent logic#Z1R5, Logic of Paradox (statement)
History
- 2026-11-02: add by m2/dev
KRV1JRGT1F KRV1JRGT1F
| URI | m2://inv/KRV1JRGT1F |
|---|---|
| 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.28898#7E5Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement KRV4GJVV2X
| URI | m2://inv/KRV4GJVV2X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sherman–Morrison formula#0BII, Statement (statement)
History
- 2026-11-02: add by m2/dev
Tensor sketch KRVB35HY59
| URI | m2://inv/KRVB35HY59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor sketch, Tensor sketch (definition). Also Wikidata Q97357397
History
- 2026-11-02: add by m2/dev
Examples KRVE6354AB
| URI | m2://inv/KRVE6354AB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric map#PLUA, Examples (example)
History
- 2026-11-02: add by m2/dev
oblate spheroidal coordinates KRVKWC5G2M
| URI | m2://inv/KRVKWC5G2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11075615, oblate spheroidal coordinates (unknown). Also MathWorld OblateSpheroidalCoordinates
- wikipedia: Wikipedia Oblate spheroidal coordinates, Oblate spheroidal coordinates (definition). Also Wikidata Q11075615
History
- 2026-10-26: add by m2/dev
KRVPGJB1QV KRVPGJB1QV
| URI | m2://inv/KRVPGJB1QV |
|---|---|
| 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 2112.05010#V83G (statement). In 4SZNPS3Z00/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.6
8-orthoplex KRVWEXWD63
| URI | m2://inv/KRVWEXWD63 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#0MCL, 8-orthoplex (object)
History
- 2026-11-02: add by m2/dev
Generalizations KRVYNSAY78
| URI | m2://inv/KRVYNSAY78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's irreducibility theorem#A0AS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Pena, Daniel KRWCHYVKP4
| URI | m2://inv/KRWCHYVKP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VRRG, Pena, Daniel (unknown)
History
- 2026-11-02: add by m2/dev
Trace orders KRWFFJ4CNA
| URI | m2://inv/KRWFFJ4CNA |
|---|---|
| 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.27200#J06E, Trace orders (statement)
History
- 2026-11-01: add by m2/v0.6.15
KRWH3Z7FGM KRWH3Z7FGM
| URI | m2://inv/KRWH3Z7FGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#DBP3 (statement). In PT5PBPCS3P/e1, theorem 2.16
History
- 2026-10-27: add by m2/v0.3.5
Exclusion by a short vector KRWME18AZY
| URI | m2://inv/KRWME18AZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37615#G3LN, Exclusion by a short vector (statement). In T2B54J7121/e1, proposition 3.12
History
- 2026-10-30: add by m2/v0.4.12
KRWPM9HBYN KRWPM9HBYN
| URI | m2://inv/KRWPM9HBYN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#SY4D (definition). In 6WJ0R9YEBR/e1, definition 5.9
History
- 2026-10-28: add by m2/v0.4.2
KRWSDW5KMK KRWSDW5KMK
| URI | m2://inv/KRWSDW5KMK |
|---|---|
| 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.30544#GMHR (statement). In CB35ZBBBPT/e1, proposition 4.11
History
- 2026-10-31: add by m2/v0.5.6
Move ordering KRWTP9JQNH
| URI | m2://inv/KRWTP9JQNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Move ordering, Move ordering (definition). Also Wikidata Q139754305
History
- 2026-11-02: add by m2/dev
Integration Bee KRWVZADN0N
| URI | m2://inv/KRWVZADN0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#6LO5, Integration Bee (unknown)
History
- 2026-11-02: add by m2/dev
Flow separation KRX5VZ3CB3
| URI | m2://inv/KRX5VZ3CB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow separation, Flow separation (definition). Also Wikidata Q1545856
History
- 2026-11-02: add by m2/dev
KRXAW7XHZH KRXAW7XHZH
| URI | m2://inv/KRXAW7XHZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16563#L4YE (statement). In V51HCA9ZAA/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Intersection numbers KRXHXCYKT9
| URI | m2://inv/KRXHXCYKT9 |
|---|---|
| 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.01731#8Q5B, Intersection numbers (statement). In 3TJ2FWXQ0D/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
Richard Montague KRXM254JM6
| URI | m2://inv/KRXM254JM6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#T0FD, Richard Montague (topic)
History
- 2026-11-02: add by m2/dev
Frank Quinn KRXV3W043Z
| URI | m2://inv/KRXV3W043Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Quinn (mathematician), Frank Quinn (topic). Also Wikidata Q2541028
History
- 2026-11-02: add by m2/dev
Right Distributive Law KRY761G1WN
| URI | m2://inv/KRY761G1WN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#theorem-2, Right Distributive Law (statement). In QKM9DD2H56, theorem, section B.8
History
- 2026-11-01: add by m2/v0.6.13
Ibn Maḍāʾ KRYERH0RPF
| URI | m2://inv/KRYERH0RPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#W35D, Ibn Maḍāʾ (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 3 KRYGK1DNZY
| URI | m2://inv/KRYGK1DNZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation code#DKGG, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Islamic mathematics KRYX1F9QRW
| URI | m2://inv/KRYX1F9QRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#VMQW, Islamic mathematics (definition)
History
- 2026-11-02: add by m2/dev
KRYY8231J8 KRYY8231J8
| URI | m2://inv/KRYY8231J8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#FJ8H (statement). In YA7H9PY3R1/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Social media bias KRZ2WF4TP9
| URI | m2://inv/KRZ2WF4TP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Media bias#JXS0, Social media bias (unknown)
History
- 2026-11-02: add by m2/dev
Wilson line KRZJJRY90D
| URI | m2://inv/KRZJJRY90D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#SWJY, Wilson line (definition)
History
- 2026-11-02: add by m2/dev
KRZP8J6PPV KRZP8J6PPV
| URI | m2://inv/KRZP8J6PPV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-75 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Buridan's principle KRZPBWMV5C
| URI | m2://inv/KRZPBWMV5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buridan's ass#OKJD, Buridan's principle (statement)
History
- 2026-11-02: add by m2/dev
Natalia Komarova KRZRVPM8AR
| URI | m2://inv/KRZRVPM8AR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natalia Komarova, Natalia Komarova (topic). Also Wikidata Q67223515
History
- 2026-11-02: add by m2/dev
The smooth Jacobian locus KRZTXFM960
| URI | m2://inv/KRZTXFM960 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#UPS9, The smooth Jacobian locus (statement). In PZJDV6SJ9E/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Man or boy test KRZV7PFQBR
| URI | m2://inv/KRZV7PFQBR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6746453, Man or boy test (object). Also OEIS A132343
History
- 2026-10-26: add by m2/dev
Applications KRZVKM1V47
| URI | m2://inv/KRZVKM1V47 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence theorem#8JYE, Applications (example)
History
- 2026-11-02: add by m2/dev