Inventory rows KS
The cards of the rows of the inventory whose ids start with KS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Disappearance of Vincent's theorem KS0010WSZD
| URI | m2://inv/KS0010WSZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent's theorem#YDAN, Disappearance of Vincent's theorem (statement)
History
- 2026-11-02: add by m2/dev
KS058AK6BY KS058AK6BY
| URI | m2://inv/KS058AK6BY |
|---|---|
| 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.20510#IZG4 (statement). In 24KCRT4VT2/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
KS05FS5R7M KS05FS5R7M
| URI | m2://inv/KS05FS5R7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#relminmax:lemma (statement). In E59CDZA4DP, lemma, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Construction KS0DZT4QC3
| URI | m2://inv/KS0DZT4QC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taft Hopf algebra#JS7B, Construction (definition)
History
- 2026-11-02: add by m2/dev
Applications KS0GKFENDF
| URI | m2://inv/KS0GKFENDF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percolation theory#3DGS, Applications (example)
History
- 2026-11-02: add by m2/dev
lattice of subgroups KS0N303AES
| URI | m2://inv/KS0N303AES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Lattice of subgroups 0B8BW4YWTF |
Mentions
- wikidata: Wikidata Q3538331, lattice of subgroups (unknown). Also nLab lattice of subgroups
- wikipedia: Wikipedia Lattice of subgroups, Lattice of subgroups (definition). Also Wikidata Q3538331
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
KS0P54J40K KS0P54J40K
| URI | m2://inv/KS0P54J40K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#TJJ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bootstrapping populations KS0SDJTGA2
| URI | m2://inv/KS0SDJTGA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YXJ2, Bootstrapping populations (definition)
History
- 2026-11-02: add by m2/dev
Proper metric space KS0TD0C4N5
| URI | m2://inv/KS0TD0C4N5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Riemannian and metric geometry#6DR0, Proper metric space (unknown)
History
- 2026-11-02: add by m2/dev
Wilkinson's polynomial KS0V566A6K
| URI | m2://inv/KS0V566A6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#V8E1, Wilkinson's polynomial (definition)
- wikipedia: Wikipedia List of mathematical examples#Y73Z, Wilkinson's polynomial (definition)
History
- 2026-11-02: add by m2/dev
KS1AYRXZJ0 KS1AYRXZJ0
| URI | m2://inv/KS1AYRXZJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#5HNZ (statement). In CGA36VE1C5/e1, fact 3.8.6
History
- 2026-10-27: add by m2/v0.3.6
Ρ KS1J7CF943
| URI | m2://inv/KS1J7CF943 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14412, Ρ (unknown). Also ProofWiki Symbols:Greek/Rho
History
- 2026-10-26: add by m2/dev
Variational method KS1T8K53N9
| URI | m2://inv/KS1T8K53N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational method (quantum mechanics), Variational method (definition). Also Wikidata Q164296
History
- 2026-11-02: add by m2/dev
Claim KS1TE6J8KE
| URI | m2://inv/KS1TE6J8KE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#L9UO, Claim (statement)
History
- 2026-11-02: add by m2/dev
Martin Bridson KS2H3YJY9J
| URI | m2://inv/KS2H3YJY9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6775057, Martin Bridson (unknown). Also nLab Martin Bridson
- wikipedia: Wikipedia Martin Bridson, Martin Bridson (topic). Also Wikidata Q6775057
History
- 2026-10-26: add by m2/dev
Power laws, polynomials, quotients, and reciprocals KS2W19EXGV
| URI | m2://inv/KS2W19EXGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation rules#V2VW, Power laws, polynomials, quotients, and reciprocals (statement)
History
- 2026-11-02: add by m2/dev
KS2ZPBE7SF KS2ZPBE7SF
| URI | m2://inv/KS2ZPBE7SF |
|---|---|
| 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#LT5A (statement). In 645GF9SFWM/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
KS339T7QPS KS339T7QPS
| URI | m2://inv/KS339T7QPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17541#PUUJ (statement). In 9PHDBFMHH6/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
N Is a Number: A Portrait of Paul Erdős KS38WCCXS5
| URI | m2://inv/KS38WCCXS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#FWJZ, N Is a Number: A Portrait of Paul Erdős (unknown)
History
- 2026-11-02: add by m2/dev
KS3A1A6Q8H KS3A1A6Q8H
| URI | m2://inv/KS3A1A6Q8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08500#7TNZ (statement). In ZPCYW4N0EH/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Wiman–Valiron theory KS3BFQJ564
| URI | m2://inv/KS3BFQJ564 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiman–Valiron theory, Wiman–Valiron theory (definition). Also Wikidata Q55648775
History
- 2026-11-02: add by m2/dev
events KS3EGK2MQH
| URI | m2://inv/KS3EGK2MQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > events, events (unknown). Also Mathlib MeasurableSet
History
- 2026-10-26: add by m2/dev
Properties KS3S53CTZ3
| URI | m2://inv/KS3S53CTZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morse–Smale system#C0FS, Properties (statement)
History
- 2026-11-02: add by m2/dev
KS3V563XVN KS3V563XVN
| URI | m2://inv/KS3V563XVN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#OR8E (definition)
History
- 2026-11-01: add by m2/v0.6.15
KS3Y8ASPDZ KS3Y8ASPDZ
| URI | m2://inv/KS3Y8ASPDZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06246#1RF6 (definition). In EXZHBFRJ63/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.10
Extended Goodstein's theorem KS3YDTBRHQ
| URI | m2://inv/KS3YDTBRHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodstein's theorem#Z2SW, Extended Goodstein's theorem (statement)
History
- 2026-11-02: add by m2/dev
Koopman, Bernard KS42YJFP67
| URI | m2://inv/KS42YJFP67 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1LTF, Koopman, Bernard (unknown)
History
- 2026-11-02: add by m2/dev
MLSI KS464RSRNW
| URI | m2://inv/KS464RSRNW |
|---|---|
| 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.36016#XKOS, MLSI (definition). In NAM9ZMPHZ9/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Properties KS48N9SD2R
| URI | m2://inv/KS48N9SD2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient#TAEI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Schottky group KS4AFS240F
| URI | m2://inv/KS4AFS240F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schottky group, Schottky group (definition). Also Wikidata Q7432778
History
- 2026-11-02: add by m2/dev
KS4AQF43QP KS4AQF43QP
| URI | m2://inv/KS4AQF43QP |
|---|---|
| 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 2408.03317#W0M8 (statement). In T2ESY2PE1R/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Wheeler–DeWitt equation KS4B0ZWBQV
| URI | m2://inv/KS4B0ZWBQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wheeler–DeWitt equation, Wheeler–DeWitt equation (definition). Also Wikidata Q1368870
History
- 2026-11-02: add by m2/dev
An Essay Towards Solving a Problem in the Doctrine of Chances KS4BVGKB1J
| URI | m2://inv/KS4BVGKB1J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JO69, An Essay Towards Solving a Problem in the Doctrine of Chances (problem)
History
- 2026-11-02: add by m2/dev
Underactuation KS4MWZWQE0
| URI | m2://inv/KS4MWZWQE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Underactuation, Underactuation (definition). Also Wikidata Q7883433
History
- 2026-11-02: add by m2/dev
KS4PNPCYK4 KS4PNPCYK4
| URI | m2://inv/KS4PNPCYK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-genfun.ptx#example-3 (example). In Y91XFCEVHQ, example, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
KS4ZM4PXSF KS4ZM4PXSF
| URI | m2://inv/KS4ZM4PXSF |
|---|---|
| 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.29903#ZGW0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two-spectrum classification KS54Z6QAHH
| URI | m2://inv/KS54Z6QAHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15335#H2ZU, Two-spectrum classification (statement). In Q40KRPP98D/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Pentagram map KS55WC5XSJ
| URI | m2://inv/KS55WC5XSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagram map, Pentagram map (definition). Also Wikidata Q7164990
History
- 2026-11-02: add by m2/dev
Henry Mann KS55YYY0KJ
| URI | m2://inv/KS55YYY0KJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Mann, Henry Mann (topic). Also Wikidata Q1607017
History
- 2026-11-02: add by m2/dev
Fabrizio Ruggeri KS57ENR7VF
| URI | m2://inv/KS57ENR7VF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabrizio Ruggeri, Fabrizio Ruggeri (topic). Also Wikidata Q56446614
History
- 2026-11-02: add by m2/dev
Quotient descent criterion KS5AYZ49MP
| URI | m2://inv/KS5AYZ49MP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#XL26, Quotient descent criterion (statement). In HF7YNMW39N/e1, lemma 13.2
History
- 2026-10-27: add by m2/v0.4.0
Telegrapher's equations KS5E981FY0
| URI | m2://inv/KS5E981FY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#E11Z, Telegrapher's equations (definition)
History
- 2026-11-02: add by m2/dev
KS5MPS541C KS5MPS541C
| URI | m2://inv/KS5MPS541C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24041#XBO6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
KS5QZZB9F4 KS5QZZB9F4
| URI | m2://inv/KS5QZZB9F4 |
|---|---|
| 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 2506.07061#3HSX (statement). In G2PA4KAGRP/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.6
Examples KS5SY4S68K
| URI | m2://inv/KS5SY4S68K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiconvex function#TF0L, Examples (example)
History
- 2026-11-02: add by m2/dev
KS62K6K1B7 KS62K6K1B7
| URI | m2://inv/KS62K6K1B7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#87XI (statement). In 7ZFD9XRKA1/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
subsystem KS645YK1W7
| URI | m2://inv/KS645YK1W7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#2J4G, subsystem (example). In PF5JJ9DS8Q/e1, example 2.2.4
History
- 2026-10-28: add by m2/v0.4.2
Subhamiltonian graph KS6ABGP11M
| URI | m2://inv/KS6ABGP11M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subhamiltonian graph, Subhamiltonian graph (definition). Also Wikidata Q18385984
History
- 2026-11-02: add by m2/dev
Linear Poisson structure KS6FSAJRFD
| URI | m2://inv/KS6FSAJRFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson manifold#8289, Linear Poisson structure (unknown)
History
- 2026-11-02: add by m2/dev
Cantor–Zassenhaus algorithm KS6K0ZH1X3
| URI | m2://inv/KS6K0ZH1X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor–Zassenhaus algorithm, Cantor–Zassenhaus algorithm (definition). Also Wikidata Q2835780
History
- 2026-11-02: add by m2/dev
KS6P931BPF KS6P931BPF
| URI | m2://inv/KS6P931BPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#V2HS (statement). In PJAT9YDX7Y/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
trimorphic number KS74NRCZGK
| URI | m2://inv/KS74NRCZGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4357614, trimorphic number (unknown). Also MathWorld TrimorphicNumber
History
- 2026-10-26: add by m2/dev
KS7JEBG5JE KS7JEBG5JE
| URI | m2://inv/KS7JEBG5JE |
|---|---|
| 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 2601.15010#XQSD (statement). In K3WJ6ZN184/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Variable kernel density estimation KS7PSDFXF3
| URI | m2://inv/KS7PSDFXF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F2KY, Variable kernel density estimation (definition)
History
- 2026-11-02: add by m2/dev
Rank-one well with an illegal-sector penalty KS835H111D
| URI | m2://inv/KS835H111D |
|---|---|
| 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.15199#3OC0, Rank-one well with an illegal-sector penalty (statement). In EVFTDVP4K4/e1, lemma D.3
History
- 2026-10-28: add by m2/v0.4.2
Threemilehouse KS887W4EJ3
| URI | m2://inv/KS887W4EJ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4ZSR, Threemilehouse (unknown)
History
- 2026-11-02: add by m2/dev
Definition KS8EK3JHHZ
| URI | m2://inv/KS8EK3JHHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta constant#ZYE4, Definition (definition)
History
- 2026-11-02: add by m2/dev
KS8NW5035G KS8NW5035G
| URI | m2://inv/KS8NW5035G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.07485#7UDS (definition). In 8KAC1E81JQ/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Example KS8PTAFYC7
| URI | m2://inv/KS8PTAFYC7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation#79GM, Example (example)
History
- 2026-11-02: add by m2/dev
KS8S6MFS00 KS8S6MFS00
| URI | m2://inv/KS8S6MFS00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn-8 (definition). In N54F33XE07, defn, section C.3
History
- 2026-11-01: add by m2/v0.6.13
KS8S98M7J8 KS8S98M7J8
| URI | m2://inv/KS8S98M7J8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#N2E5 (statement). In TB1294GY5X/e1, theorem A.11
History
- 2026-10-27: add by m2/v0.4.2
KS8Y88PNXX KS8Y88PNXX
| URI | m2://inv/KS8Y88PNXX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#NBRT (definition). In VN084GGZGK/e1, definition 3.24
History
- 2026-10-28: add by m2/v0.4.3
Avalanche effect KS9269SQBQ
| URI | m2://inv/KS9269SQBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Avalanche effect, Avalanche effect (definition). Also Wikidata Q1208241
History
- 2026-11-02: add by m2/dev
KS945ZZH57 KS945ZZH57
| URI | m2://inv/KS945ZZH57 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 14-XX, 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.20361#COLJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Cauchy–Schwarz inequality KS993YJPY9
| URI | m2://inv/KS993YJPY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive linear functional#S1R2, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
Wilhelmus Luxemburg KS9CJP550R
| URI | m2://inv/KS9CJP550R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelmus Luxemburg, Wilhelmus Luxemburg (topic). Also Wikidata Q11102898
History
- 2026-11-02: add by m2/dev
KS9CMCYMX1 KS9CMCYMX1
| URI | m2://inv/KS9CMCYMX1 |
|---|---|
| Kind | definition |
| 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#WOS3 (definition). In AH7D55D3WV/e1, definition 15.1
History
- 2026-10-27: add by m2/v0.3.5
Obstruction bundle KS9G40TMBQ
| URI | m2://inv/KS9G40TMBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28501#BHQ4, Obstruction bundle (statement)
History
- 2026-11-01: add by m2/v0.6.15
fiber KS9KQC5P3T
| URI | m2://inv/KS9KQC5P3T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/fiber, fiber (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
KS9P0TX1QK KS9P0TX1QK
| URI | m2://inv/KS9P0TX1QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/duals.tex#def:duals (definition). In PKGMM3P5QY, defn, section 50.3
History
- 2026-11-01: add by m2/v0.6.13
presheafed space KS9RJJQ5CK
| URI | m2://inv/KS9RJJQ5CK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > presheafed space, presheafed space (unknown). Also Mathlib AlgebraicGeometry.PresheafedSpace
History
- 2026-10-26: add by m2/dev
Delta-equivalent KSA3GSD1ER
| URI | m2://inv/KSA3GSD1ER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#U5B9, Delta-equivalent (unknown)
History
- 2026-11-02: add by m2/dev
Block entropy KSA6YMAZJX
| URI | m2://inv/KSA6YMAZJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06742#K82D, Block entropy (statement). In 24FJ7C8WPN/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
KSAC2P7NSG KSAC2P7NSG
| URI | m2://inv/KSAC2P7NSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#6WFL (statement). In 3JZDKWS8NK/e1, lemma 9.1
History
- 2026-10-31: add by m2/v0.5.6
Ann Bergren KSACS54D0K
| URI | m2://inv/KSACS54D0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#NTVM, Ann Bergren (unknown)
History
- 2026-11-02: add by m2/dev
Alexander Merkurjev KSAGABJ8TV
| URI | m2://inv/KSAGABJ8TV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UNVL, Alexander Merkurjev (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BGRF, Alexander Merkurjev (topic)
History
- 2026-11-02: add by m2/dev
Zero-mean condition KSAGG2HSMM
| URI | m2://inv/KSAGG2HSMM |
|---|---|
| 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.26537#RUY4, Zero-mean condition (definition)
History
- 2026-11-01: add by m2/v0.6.15
Absolutely continuous KSAQBSWQJH
| URI | m2://inv/KSAQBSWQJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#GATO, Absolutely continuous (definition)
History
- 2026-11-02: add by m2/dev
Gaussian approximation for the invariant law KSAWKR2CPM
| URI | m2://inv/KSAWKR2CPM |
|---|---|
| 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.39144#1UO6, Gaussian approximation for the invariant law (statement). In 814ZF5WMMF/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
power of two KSB10QXH06
| URI | m2://inv/KSB10QXH06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1136880, power of two (object). Also OEIS A000079
- wikipedia: Wikipedia Power of two, Power of two (definition). Also Wikidata Q1136880
History
- 2026-10-26: add by m2/dev
KSB37M1YCD KSB37M1YCD
| URI | m2://inv/KSB37M1YCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#P1ZW (statement). In TX0H26X4VX/e1, proposition 6.11
History
- 2026-10-29: add by m2/v0.4.12
class number KSB479DSX1
| URI | m2://inv/KSB479DSX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (node 9BDJZGZ5Z5 has the same name, and a person decides if they are one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#ZS6Z, class number (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
KSB7CB147C KSB7CB147C
| URI | m2://inv/KSB7CB147C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2609.21703#FNRX (example)
History
- 2026-11-02: add by m2/v0.6.18
Crofton formula in $H_1$ KSB87XC0QG
| URI | m2://inv/KSB87XC0QG |
|---|---|
| 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 1509.00950#T5YA, Crofton formula in $H_1$ (statement). In MDZFW5GACV/e1, theorem 1.11
History
- 2026-10-27: add by m2/v0.3.5
Bogomolov conjecture KSBAHYBZCJ
| URI | m2://inv/KSBAHYBZCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogomolov conjecture#IGHC, Bogomolov conjecture (statement)
History
- 2026-11-02: add by m2/dev
KSBBNXRZTJ KSBBNXRZTJ
| URI | m2://inv/KSBBNXRZTJ |
|---|---|
| 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 2608.23797#DFSN (statement). In PZCA01JXVR/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.3.5
KSBE4T2YWZ KSBE4T2YWZ
| URI | m2://inv/KSBE4T2YWZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#V6XJ (example)
History
- 2026-11-02: add by m2/v0.6.17
M. J. Bayarri KSBEVZFAF0
| URI | m2://inv/KSBEVZFAF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. J. Bayarri, M. J. Bayarri (topic). Also Wikidata Q41894604
History
- 2026-11-02: add by m2/dev
L'Huilier's theorem KSBKJRBJFM
| URI | m2://inv/KSBKJRBJFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Huilier's theorem#HC44, L'Huilier's theorem (statement)
History
- 2026-11-02: add by m2/dev
KSBQXJW1H9 KSBQXJW1H9
| URI | m2://inv/KSBQXJW1H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#F4BZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
KSBVHD99SH KSBVHD99SH
| URI | m2://inv/KSBVHD99SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02963#YVKA (statement). In FN8MJK3C6K/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
tangential polygon KSBYJ5A3PY
| URI | m2://inv/KSBYJ5A3PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7682882, tangential polygon (unknown). Also MathWorld TangentialPolygon
- wikipedia: Wikipedia Tangential polygon, Tangential polygon (definition). Also Wikidata Q7682882
History
- 2026-10-26: add by m2/dev
KSBYR5DC0G KSBYR5DC0G
| URI | m2://inv/KSBYR5DC0G |
|---|---|
| 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.18445#S0CG (statement). In X63FGXZP4F/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Sufficient condition KSBZYBKH9S
| URI | m2://inv/KSBZYBKH9S |
|---|---|
| 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.23145#YIJJ, Sufficient condition (statement)
History
- 2026-11-02: add by m2/v0.6.17
KSC9BDC4JV KSC9BDC4JV
| URI | m2://inv/KSC9BDC4JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#031X (statement). In B23TX8G4E4/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
KSCE7MHAK4 KSCE7MHAK4
| URI | m2://inv/KSCE7MHAK4 |
|---|---|
| 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 2211.04758#6MI0 (statement). In DRWDJG2G3S/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
KSCGFZCN1C KSCGFZCN1C
| URI | m2://inv/KSCGFZCN1C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#0YFX (example). In G1RP4JY5PE/e1, example 4.3.1
History
- 2026-10-31: add by m2/v0.5.6
KSCH266XE8 KSCH266XE8
| URI | m2://inv/KSCH266XE8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#UE66 (definition). In X1KWTAA3M2/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.5
Laura Andrianopoli KSCX8KESAZ
| URI | m2://inv/KSCX8KESAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57077251, Laura Andrianopoli (unknown). Also nLab Laura Andrianopoli
History
- 2026-10-26: add by m2/dev
KSCZDZ90Y1 KSCZDZ90Y1
| URI | m2://inv/KSCZDZ90Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#O26W (statement)
History
- 2026-11-01: add by m2/v0.6.15
KSD4D5DG1Q KSD4D5DG1Q
| URI | m2://inv/KSD4D5DG1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#KQSF (statement)
History
- 2026-11-02: add by m2/v0.6.18
KSDADY9JTB KSDADY9JTB
| URI | m2://inv/KSDADY9JTB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32181#9HXK (problem). In 8FKEQSPN7M/e1, problem 1.5
History
- 2026-10-31: add by m2/v0.5.6
Example KSDJ0D7S00
| URI | m2://inv/KSDJ0D7S00 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naor–Reingold pseudorandom function#YUO8, Example (example)
History
- 2026-11-02: add by m2/dev
Legendre relation KSDR5NY090
| URI | m2://inv/KSDR5NY090 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#JYVP, Legendre relation (definition)
History
- 2026-11-02: add by m2/dev
KSE0XYV2GH KSE0XYV2GH
| URI | m2://inv/KSE0XYV2GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#F6TC (statement). In 9DQKY7KGE8/e1, corollary 7.4
History
- 2026-10-31: add by m2/v0.5.6
Termination, integrability, and unbiasedness KSE2G8RHR6
| URI | m2://inv/KSE2G8RHR6 |
|---|---|
| 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.20789#A0M6, Termination, integrability, and unbiasedness (statement)
History
- 2026-11-02: add by m2/v0.6.18
KSE383GM0S KSE383GM0S
| URI | m2://inv/KSE383GM0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#4RGS (statement). In M8F4PDHH3S/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
KSE5BYWKZ0 KSE5BYWKZ0
| URI | m2://inv/KSE5BYWKZ0 |
|---|---|
| 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 2404.18690#Q3LQ (statement). In MDCJJJRQ2X/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Jun-iti Nagata KSE90JC1DP
| URI | m2://inv/KSE90JC1DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6377763, Jun-iti Nagata (unknown). Also ProofWiki Mathematician:Jun-iti_Nagata
- wikipedia: Wikipedia Jun-iti Nagata, Jun-iti Nagata (topic). Also Wikidata Q6377763
History
- 2026-10-26: add by m2/dev
Iwasawa group KSE9S0EA3W
| URI | m2://inv/KSE9S0EA3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwasawa group, Iwasawa group (definition). Also Wikidata Q6100707
History
- 2026-11-02: add by m2/dev
Two-piece structure of the integrand KSEH7RNBME
| URI | m2://inv/KSEH7RNBME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11917#BGUC, Two-piece structure of the integrand (statement). In 7BB6PY94G9/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
Beth definability theorem KSEHYXQVTT
| URI | m2://inv/KSEHYXQVTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evert Willem Beth#24QJ, Beth definability theorem (statement)
History
- 2026-11-02: add by m2/dev
KSEJPW98XM KSEJPW98XM
| URI | m2://inv/KSEJPW98XM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18270#5JKT (definition). In CPDMYJ0NJV/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
KSEVMMEGHX KSEVMMEGHX
| URI | m2://inv/KSEVMMEGHX |
|---|---|
| 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.17547#0IMD (statement). In XJ59TDP4HA/e1, fact 5.3
History
- 2026-10-28: add by m2/v0.4.2
Properties KSEX2D6H1Q
| URI | m2://inv/KSEX2D6H1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin-width#1CLO, Properties (statement)
History
- 2026-11-02: add by m2/dev
KSF180ZS1Q KSF180ZS1Q
| URI | m2://inv/KSF180ZS1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#FF64 (statement). In 7QXAZXGNPQ/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
KSF2DGDBP4 KSF2DGDBP4
| URI | m2://inv/KSF2DGDBP4 |
|---|---|
| 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.07099#ZRXO (statement). In 9GNAHRCYFT/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Definition KSF2MR3W0X
| URI | m2://inv/KSF2MR3W0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microbundle#D929, Definition (definition)
History
- 2026-11-02: add by m2/dev
No stationary law for a nonnegative intercept KSF529TPPR
| URI | m2://inv/KSF529TPPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19421#7H9A, No stationary law for a nonnegative intercept (statement). In 3S1VFGYWQE/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
Computation KSF5M7KHZP
| URI | m2://inv/KSF5M7KHZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann function#EV12, Computation (definition)
History
- 2026-11-02: add by m2/dev
KSFA2W4R5E KSFA2W4R5E
| URI | m2://inv/KSFA2W4R5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#1NJR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Principles KSFTK854DH
| URI | m2://inv/KSFTK854DH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical gravity#HSU5, Principles (statement)
History
- 2026-11-02: add by m2/dev
KSFTQNSR3K KSFTQNSR3K
| URI | m2://inv/KSFTQNSR3K |
|---|---|
| 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.29304#JPA2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yescrypt KSFZHW24MK
| URI | m2://inv/KSFZHW24MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yescrypt, Yescrypt (definition). Also Wikidata Q110734564
History
- 2026-11-02: add by m2/dev
Abel transform KSFZVGQKQB
| URI | m2://inv/KSFZVGQKQB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Abel transform QMW1MWQH6J |
Mentions
- wikidata: Wikidata Q4666656, Abel transform (concept). Also MathWorld AbelTransform
- wikipedia: Wikipedia Abel transform, Abel transform (definition). Also Wikidata Q4666656
History
- 2026-10-26: add by m2/dev
Annular hole probability KSG0GE482W
| URI | m2://inv/KSG0GE482W |
|---|---|
| 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.25307#H1IS, Annular hole probability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rainer Burkard KSG2CQ8SZ6
| URI | m2://inv/KSG2CQ8SZ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainer Burkard, Rainer Burkard (topic). Also Wikidata Q87003
History
- 2026-11-02: add by m2/dev
Formal definition KSGC0QMKZ1
| URI | m2://inv/KSGC0QMKZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehresmann connection#V9M2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Vaccines and SIDS KSGKGV6301
| URI | m2://inv/KSGKGV6301 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#JPPC, Vaccines and SIDS (unknown)
History
- 2026-11-02: add by m2/dev
VEGAS algorithm KSGNYSKRMC
| URI | m2://inv/KSGNYSKRMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia VEGAS algorithm, VEGAS algorithm (definition). Also Wikidata Q7906734
History
- 2026-11-02: add by m2/dev
KSHJMKC491 KSHJMKC491
| URI | m2://inv/KSHJMKC491 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonalization#Q034 (problem)
History
- 2026-11-02: add by m2/dev
Weyl's inequality between eigenvalues and singular values KSHK431WBB
| URI | m2://inv/KSHK431WBB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's inequality#GG4B, Weyl's inequality between eigenvalues and singular values (statement)
History
- 2026-11-02: add by m2/dev
KSHYHRYBX1 KSHYHRYBX1
| URI | m2://inv/KSHYHRYBX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#RTIA (statement)
History
- 2026-11-01: add by m2/v0.6.15
KSHYWR813Q KSHYWR813Q
| URI | m2://inv/KSHYWR813Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20801#T64S (statement). In A1GWWGRXPA/e1, lemma 3.57
History
- 2026-10-27: add by m2/v0.4.2
Robert J. Myers KSJ5ARAVC3
| URI | m2://inv/KSJ5ARAVC3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#YJO6, Robert J. Myers (unknown)
History
- 2026-11-02: add by m2/dev
Definition KSJ5EMP9ZH
| URI | m2://inv/KSJ5EMP9ZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puiseux series#ZI5O, Definition (definition)
History
- 2026-11-02: add by m2/dev
unweighted graph KSJCD6G4AP
| URI | m2://inv/KSJCD6G4AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#FSLR, unweighted graph (definition)
History
- 2026-11-02: add by m2/dev
Barabási–Albert model KSJJ1W89JD
| URI | m2://inv/KSJJ1W89JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HFKK, Barabási–Albert model (definition)
History
- 2026-11-02: add by m2/dev
Noetherian group KSJJ2SF96S
| URI | m2://inv/KSJJ2SF96S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emmy Noether#6070, Noetherian group (definition)
History
- 2026-11-02: add by m2/dev
Pure strategies KSJJ596CKQ
| URI | m2://inv/KSJJ596CKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategy (game theory)#7D8R, Pure strategies (unknown)
History
- 2026-11-02: add by m2/dev
KSJP7N7BPW KSJP7N7BPW
| URI | m2://inv/KSJP7N7BPW |
|---|---|
| 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.03719#CVLI (statement). In 8MDK189ZMB/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
KSJS96YHYZ KSJS96YHYZ
| URI | m2://inv/KSJS96YHYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#IVEG (statement). In WYHZMYZT31/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
Doob decomposition theorem KSJSJVX0XC
| URI | m2://inv/KSJSJVX0XC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#U9H8, Doob decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
Olinde Rodrigues KSJSXV0QZP
| URI | m2://inv/KSJSXV0QZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olinde Rodrigues, Olinde Rodrigues (topic). Also Wikidata Q168405
History
- 2026-11-02: add by m2/dev
Proposition 2 KSK93JKJE3
| URI | m2://inv/KSK93JKJE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#65GG, Proposition 2 (statement)
History
- 2026-11-02: add by m2/dev
KSKJMVT260 KSKJMVT260
| URI | m2://inv/KSKJMVT260 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#8AUB (definition). In ZR53K3E0FR/e1, definition 34
History
- 2026-10-27: add by m2/v0.3.6
Fractal transform KSKJYCSJ5F
| URI | m2://inv/KSKJYCSJ5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#IXVN, Fractal transform (definition)
History
- 2026-11-02: add by m2/dev
KSKKDWJH1R KSKKDWJH1R
| URI | m2://inv/KSKKDWJH1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39707#I9KI (statement). In NFH5VEY1D1/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Autocrypt KSKM2J4EQA
| URI | m2://inv/KSKM2J4EQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocrypt, Autocrypt (definition). Also Wikidata Q53883775
History
- 2026-11-02: add by m2/dev
Wucao Suanjing KSKMCC2ZZZ
| URI | m2://inv/KSKMCC2ZZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wucao Suanjing, Wucao Suanjing (definition). Also Wikidata Q9384965
History
- 2026-11-02: add by m2/dev
KSKWW340XY KSKWW340XY
| URI | m2://inv/KSKWW340XY |
|---|---|
| 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.08382#F380 (definition). In GYMGDQS25R/e1, definition 5.6
History
- 2026-10-29: add by m2/v0.4.10
KSKY3PNBZA KSKY3PNBZA
| URI | m2://inv/KSKY3PNBZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#229B (statement). In R68THJCHX6/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.5
Akif Jafar Hajiyev KSM6D16DQE
| URI | m2://inv/KSM6D16DQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akif Jafar Hajiyev, Akif Jafar Hajiyev (topic). Also Wikidata Q4131508
History
- 2026-11-02: add by m2/dev
Kampé de Fériet function KSM9XR2PRG
| URI | m2://inv/KSM9XR2PRG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6359557, Kampé de Fériet function (concept). Also MathWorld KampedeFerietFunction
- wikipedia: Wikipedia Kampé de Fériet function, Kampé de Fériet function (definition). Also Wikidata Q6359557
History
- 2026-10-26: add by m2/dev
Applications KSMH151GZE
| URI | m2://inv/KSMH151GZE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological deep learning#SPK7, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem 1. Every valid formula (true in all structures) is provable. KSMRHCS14M
| URI | m2://inv/KSMRHCS14M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem#5MX3, Theorem 1. Every valid formula (true in all structures) is provable. (statement)
History
- 2026-11-02: add by m2/dev
KSN3HYD3GK KSN3HYD3GK
| URI | m2://inv/KSN3HYD3GK |
|---|---|
| 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.19437#10HI (statement). In 9PXXGQ978Z/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
KSN4DMB227 KSN4DMB227
| URI | m2://inv/KSN4DMB227 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09548#T9K8 (example). In 6D6C14KFGJ/e1, example 2.8
History
- 2026-10-27: add by m2/v0.4.0
\textbf{The sequence spaces} $\hat\ell_d$ KSN6G88KMT
| URI | m2://inv/KSN6G88KMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#QM6K, \textbf{The sequence spaces} $\hat\ell_d$ (statement). In 7R33E8515R/e1, proposition 2.17
History
- 2026-10-28: add by m2/v0.4.2
Environmental statistics KSNK1QEXQ1
| URI | m2://inv/KSNK1QEXQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#GXD3, Environmental statistics (definition)
History
- 2026-11-02: add by m2/dev
Transition enclosures KSNM5RCR39
| URI | m2://inv/KSNM5RCR39 |
|---|---|
| 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 2610.12203#K9Y5, Transition enclosures (statement). In F4YTAZSCS2/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
Line segment intersection KSNRB9YVMX
| URI | m2://inv/KSNRB9YVMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#Q9OW, Line segment intersection (definition)
History
- 2026-11-02: add by m2/dev
Late acceptance hill climbing KSNSP5T2R2
| URI | m2://inv/KSNSP5T2R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Late acceptance hill climbing, Late acceptance hill climbing (definition). Also Wikidata Q56291574
History
- 2026-11-02: add by m2/dev
Khandakhadyaka KSNTRG3BFB
| URI | m2://inv/KSNTRG3BFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19542993, Khandakhadyaka (unknown). Also ProofWiki Book:Brahmagupta/Khandakhadyaka
History
- 2026-10-26: add by m2/dev
KSP5Z27KXH KSP5Z27KXH
| URI | m2://inv/KSP5Z27KXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#VG5B (statement). In F0D8VSM4Z4/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
KSPAM85GF0 KSPAM85GF0
| URI | m2://inv/KSPAM85GF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.02556#JKAI (statement). In 78QQZYTGTD/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Filtration KSPJKD3Q9Y
| URI | m2://inv/KSPJKD3Q9Y |
|---|---|
| Kind | definition |
| 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 math/0003117#K684, Filtration (definition). In WD2NCBV9F0/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Reduction within the angular central Gaussian family KSPR1MYG6C
| URI | m2://inv/KSPR1MYG6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#U1SC, Reduction within the angular central Gaussian family (statement). In N3P196CEAJ/e1, theorem 3.9
History
- 2026-10-30: add by m2/v0.4.12
Hyperplane criterion KSPZD32554
| URI | m2://inv/KSPZD32554 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23362#DBS5, Hyperplane criterion (statement)
History
- 2026-11-02: add by m2/v0.6.17
KSQ2PFS0NN KSQ2PFS0NN
| URI | m2://inv/KSQ2PFS0NN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#URAX (definition)
History
- 2026-11-02: add by m2/v0.6.18
KSQ7DGADRE KSQ7DGADRE
| URI | m2://inv/KSQ7DGADRE |
|---|---|
| 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.24051#MX01 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Aryeh Dvoretzky KSQCVEXVFC
| URI | m2://inv/KSQCVEXVFC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#S9CG, Aryeh Dvoretzky (topic)
History
- 2026-11-02: add by m2/dev
KSQFGCCCHE KSQFGCCCHE
| URI | m2://inv/KSQFGCCCHE |
|---|---|
| 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.27957#TNRI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inverse Dirichlet distribution KSQMP1XF9K
| URI | m2://inv/KSQMP1XF9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse Dirichlet distribution, Inverse Dirichlet distribution (definition). Also Wikidata Q48969663
History
- 2026-11-02: add by m2/dev
$\mathsf{H}$-solution KSQQE555XF
| URI | m2://inv/KSQQE555XF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#ZW02, $\mathsf{H}$-solution (definition). In X765ZXXVC3/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.12
George F. R. Ellis KSQXRRTA1A
| URI | m2://inv/KSQXRRTA1A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#PQOM, George F. R. Ellis (unknown)
History
- 2026-11-02: add by m2/dev
Strongly convex specialization KSQZ26WBVD
| URI | m2://inv/KSQZ26WBVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.38741#81DW, Strongly convex specialization (statement). In 1SQH3PTYMD/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Salome KSQZY1BEBT
| URI | m2://inv/KSQZY1BEBT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#B9KH, Salome (unknown)
History
- 2026-11-02: add by m2/dev
Dmitry Kostomarov KSR0WVN634
| URI | m2://inv/KSR0WVN634 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitry Kostomarov, Dmitry Kostomarov (topic). Also Wikidata Q16514946
History
- 2026-11-02: add by m2/dev
KSR4VFNXPG KSR4VFNXPG
| URI | m2://inv/KSR4VFNXPG |
|---|---|
| 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.30165#D9UT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ball (topology) KSR781RPK9
| URI | m2://inv/KSR781RPK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ball (mathematics)#ZKJC, Ball (topology) (unknown)
History
- 2026-11-02: add by m2/dev
Local estimate independent of the Robin coefficient KSRJHXWCQ9
| URI | m2://inv/KSRJHXWCQ9 |
|---|---|
| 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.21328#APZ8, Local estimate independent of the Robin coefficient (statement). In BJXVV4ZF7B/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
KSRMARBBVQ KSRMARBBVQ
| URI | m2://inv/KSRMARBBVQ |
|---|---|
| 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.34339#QUXG (statement). In 9WFSTGMQ4E/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Jovan Karamata KSRMKEQXZV
| URI | m2://inv/KSRMKEQXZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4L86, Jovan Karamata (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6HMO, Jovan Karamata (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#865X, Jovan Karamata (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QPOU, Jovan Karamata (topic)
History
- 2026-11-02: add by m2/dev
KSRN9PNR8Z KSRN9PNR8Z
| URI | m2://inv/KSRN9PNR8Z |
|---|---|
| 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 math/0507030#MBXV (statement). In QV0QQ5ZCHX/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
KSRQYDW5M7 KSRQYDW5M7
| URI | m2://inv/KSRQYDW5M7 |
|---|---|
| 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 2412.20238#61QD (statement). In V8CA0STSPB/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
Pierre Collet KSRR4P7G8B
| URI | m2://inv/KSRR4P7G8B |
|---|---|
| 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#9VEF, Pierre Collet (unknown)
History
- 2026-11-02: add by m2/dev
Theorem KSRTPDF0JR
| URI | m2://inv/KSRTPDF0JR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#347X, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Lemoine hexagon KSS47BD8AT
| URI | m2://inv/KSS47BD8AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6521264, Lemoine hexagon (unknown). Also MathWorld LemoineHexagon
- wikipedia: Wikipedia Lemoine hexagon, Lemoine hexagon (definition). Also Wikidata Q6521264
History
- 2026-10-26: add by m2/dev
6-demicubic honeycomb KSS7WQMSJF
| URI | m2://inv/KSS7WQMSJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-demicubic honeycomb, 6-demicubic honeycomb (definition). Also Wikidata Q4641562
History
- 2026-11-02: add by m2/dev
Kummer's function KSSBXRB4WW
| URI | m2://inv/KSSBXRB4WW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer's function, Kummer's function (definition). Also Wikidata Q971651
History
- 2026-11-02: add by m2/dev
KSSDBAK3JH KSSDBAK3JH
| URI | m2://inv/KSSDBAK3JH |
|---|---|
| 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.03292#2WMD (statement). In SN2PBM95HT/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
Greatest full-data private releases KSSPSNX3HE
| URI | m2://inv/KSSPSNX3HE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#RST8, Greatest full-data private releases (statement). In 9YAE8FNQST/e1, theorem 29.1
History
- 2026-10-30: add by m2/v0.4.12
Statement KSSZ84DMCM
| URI | m2://inv/KSSZ84DMCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace–Walsh–Szegő theorem#2F1D, Statement (statement)
History
- 2026-11-02: add by m2/dev
Polysphere and polydisk theorem KST40NKXYH
| URI | m2://inv/KST40NKXYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian symmetric space#FU9G, Polysphere and polydisk theorem (statement)
History
- 2026-11-02: add by m2/dev
KSTCV6FJQ3 KSTCV6FJQ3
| URI | m2://inv/KSTCV6FJQ3 |
|---|---|
| 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 2510.12502#1AEM (statement). In 3A4K47Y9F2/e1, lemma 6.16
History
- 2026-10-27: add by m2/v0.4.0
KSV678YE3W KSV678YE3W
| URI | m2://inv/KSV678YE3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20401#H4UT (statement)
History
- 2026-11-02: add by m2/v0.6.18
KSV85BPV5T KSV85BPV5T
| URI | m2://inv/KSV85BPV5T |
|---|---|
| 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.04809#C2OX (statement). In 2VHV0RNTNV/e1, lemma 7.13
History
- 2026-10-29: add by m2/v0.4.12
KSVAATQ1MR KSVAATQ1MR
| URI | m2://inv/KSVAATQ1MR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/basics.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 82.3
History
- 2026-11-01: add by m2/v0.6.13
Zero-sum Ramsey theory KSVCD195ZC
| URI | m2://inv/KSVCD195ZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-sum Ramsey theory, Zero-sum Ramsey theory (topic). Also Wikidata Q119084374
History
- 2026-11-02: add by m2/dev
Spectral regularity as monodromy alignment KSVCT52WNR
| URI | m2://inv/KSVCT52WNR |
|---|---|
| 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#XA3W, Spectral regularity as monodromy alignment (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples KSVD0Y1S9H
| URI | m2://inv/KSVD0Y1S9H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's criterion#PWPQ, Examples (example)
History
- 2026-11-02: add by m2/dev
KSVZB0NZSQ KSVZB0NZSQ
| URI | m2://inv/KSVZB0NZSQ |
|---|---|
| Kind | definition |
| 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 2404.18690#QCWH (definition). In MDCJJJRQ2X/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
KSW373YSQE KSW373YSQE
| URI | m2://inv/KSW373YSQE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eternal dominating set#A965 (problem)
History
- 2026-11-02: add by m2/dev
KSW6WZF4H4 KSW6WZF4H4
| URI | m2://inv/KSW6WZF4H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#HN9M (statement). In 1463YCCRP5/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.4.0
KSW85VYV9G KSW85VYV9G
| URI | m2://inv/KSW85VYV9G |
|---|---|
| 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.38556#MMLB (statement). In GC2H0HS7ZM/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
International Conference on Formal Power Series and Algebraic Combinatorics KSWDB19BJ1
| URI | m2://inv/KSWDB19BJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Conference on Formal Power Series and Algebraic Combinatorics, International Conference on Formal Power Series and Algebraic Combinatorics (topic). Also Wikidata Q111201013
History
- 2026-11-02: add by m2/dev
Moishe Zilberfarb KSWN073SGB
| URI | m2://inv/KSWN073SGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#446S, Moishe Zilberfarb (unknown)
History
- 2026-11-02: add by m2/dev
Examples KSWP105BMH
| URI | m2://inv/KSWP105BMH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumeration#3GQW, Examples (example)
History
- 2026-11-02: add by m2/dev
KSWSV1871X KSWSV1871X
| URI | m2://inv/KSWSV1871X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#ULNB (statement). In QPJ6FWG5HD/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
KSWW8NPDM3 KSWW8NPDM3
| URI | m2://inv/KSWW8NPDM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-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.14045#M3PV (statement). In KZ71GXT2B0/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
AES-GCM-SIV KSX2MMWN0R
| URI | m2://inv/KSX2MMWN0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AES-GCM-SIV, AES-GCM-SIV (definition). Also Wikidata Q85738888
History
- 2026-11-02: add by m2/dev
KSX45EJP1C KSX45EJP1C
| URI | m2://inv/KSX45EJP1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.05177#FUW5 (statement). In G04BKQV6YM/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
KSXAF4QWBR KSXAF4QWBR
| URI | m2://inv/KSXAF4QWBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.21337#LC21 (statement). In EPZN0JTG2Z/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
KSXP8QMVRK KSXP8QMVRK
| URI | m2://inv/KSXP8QMVRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-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.21365#DLFE (statement). In FCMMB2EVAP/e1, proposition 2.19
History
- 2026-10-27: add by m2/v0.4.2
Endre Szemerédi KSXZGSXX5A
| URI | m2://inv/KSXZGSXX5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W0TM, Endre Szemerédi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X1RQ, Endre Szemerédi (topic)
History
- 2026-11-02: add by m2/dev
KSY6FSX8Z4 KSY6FSX8Z4
| URI | m2://inv/KSY6FSX8Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#S0U6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
oint KSY9WTZQ57
| URI | m2://inv/KSY9WTZQ57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#EET1, oint (definition)
History
- 2026-11-02: add by m2/dev
Parisi normalization KSYJS79PDN
| URI | m2://inv/KSYJS79PDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#23JA, Parisi normalization (statement). In 9YAE8FNQST/e1, corollary 22.13
History
- 2026-10-30: add by m2/v0.4.12
KSYRG78HNQ KSYRG78HNQ
| URI | m2://inv/KSYRG78HNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#VHSY (statement). In M7NEWDTM32/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
KSYRZF9H6E KSYRZF9H6E
| URI | m2://inv/KSYRZF9H6E |
|---|---|
| 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.17677#M0B1 (statement). In 5E9G06XJKC/e1, lemma F.20
History
- 2026-10-28: add by m2/v0.4.2
Guo--Phong--Song--Sturm KSYS32EJA0
| URI | m2://inv/KSYS32EJA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#I1IZ, Guo--Phong--Song--Sturm (statement). In YKD51BX3XB/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
KSZA6QG736 KSZA6QG736
| URI | m2://inv/KSZA6QG736 |
|---|---|
| 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 2510.12502#FF6Y (statement). In 3A4K47Y9F2/e1, lemma 2.29
History
- 2026-10-27: add by m2/v0.4.0
KSZB1ARBQZ KSZB1ARBQZ
| URI | m2://inv/KSZB1ARBQZ |
|---|---|
| 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#PPPR (statement). In BCD0ATARNZ/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
bounded function KSZG5PQVJ2
| URI | m2://inv/KSZG5PQVJ2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/bounded-function, bounded function (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Trace operator KSZP4C8QN5
| URI | m2://inv/KSZP4C8QN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace operator, Trace operator (definition). Also Wikidata Q13581708
History
- 2026-11-02: add by m2/dev
Extensions KSZWYQJVGG
| URI | m2://inv/KSZWYQJVGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic programming#Y5K1, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Jean Cerf KSZYE8YK39
| URI | m2://inv/KSZYE8YK39 |
|---|---|
| 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#4DBN, Jean Cerf (topic)
History
- 2026-11-02: add by m2/dev