Inventory rows K1
The cards of the rows of the inventory whose ids start with K1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
K101C93D2Z K101C93D2Z
| URI | m2://inv/K101C93D2Z |
|---|---|
| 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.16700#4A2O (statement). In 3JPKD7NBEN/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.2
Master estimate K101V57C9F
| URI | m2://inv/K101V57C9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#1ILD, Master estimate (statement). In PV4Z2FRXRZ/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
K103ADJM3N K103ADJM3N
| URI | m2://inv/K103ADJM3N |
|---|---|
| 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.34675#G7KI (statement). In C93BAXKJVD/e1, lemma 3.11
History
- 2026-10-30: add by m2/v0.4.12
K107E99DN2 K107E99DN2
| URI | m2://inv/K107E99DN2 |
|---|---|
| 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.21724#P5X2 (statement). In EDDJCSBMXN/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
K10F6JXGY3 K10F6JXGY3
| URI | m2://inv/K10F6JXGY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#YLH3 (statement). In Y7TVAQE9PF/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Driehuis K10G3H9FJB
| URI | m2://inv/K10G3H9FJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WZBK, Driehuis (unknown)
History
- 2026-11-02: add by m2/dev
Marginal value theorem K10GX8M1MJ
| URI | m2://inv/K10GX8M1MJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8URZ, Marginal value theorem (statement)
History
- 2026-11-02: add by m2/dev
K10V1H6Y00 K10V1H6Y00
| URI | m2://inv/K10V1H6Y00 |
|---|---|
| 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.35678#3EWW (definition). In 4X4ZS7CEKD/e1, definition 8
History
- 2026-10-30: add by m2/v0.4.12
Irrigation statistics K10YQ6JRCG
| URI | m2://inv/K10YQ6JRCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrigation statistics, Irrigation statistics (definition). Also Wikidata Q6073853
History
- 2026-11-02: add by m2/dev
Applications K117V2PSZH
| URI | m2://inv/K117V2PSZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network Data Envelopment Analysis#ZXRS, Applications (example)
History
- 2026-11-02: add by m2/dev
K11FYRBM32 K11FYRBM32
| URI | m2://inv/K11FYRBM32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06785#RF1X (statement). In PG6AEWX25E/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
Corollary K11JG8C5D4
| URI | m2://inv/K11JG8C5D4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabola#ZXJV, Corollary (statement)
History
- 2026-11-02: add by m2/dev
hyperbolic unit K11QD0E5Y7
| URI | m2://inv/K11QD0E5Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#YE0S, hyperbolic unit (definition)
History
- 2026-11-02: add by m2/dev
K11SKH8KAE K11SKH8KAE
| URI | m2://inv/K11SKH8KAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#RR6V (statement). In QG9ATXTKJ6/e1, proposition 2.33
History
- 2026-10-27: add by m2/v0.3.5
K123ZZCRWA K123ZZCRWA
| URI | m2://inv/K123ZZCRWA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-9 (proof). In PKGMM3P5QY, proof, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
K1264WJ4F3 K1264WJ4F3
| URI | m2://inv/K1264WJ4F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#04ID (statement). In F7TDYCHCSE/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
Kan (mathematics) K1280T18MZ
| URI | m2://inv/K1280T18MZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kan fibration#GLVY, Kan (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Generalization K128JMJNC1
| URI | m2://inv/K128JMJNC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential extension#IC5H, Generalization (statement)
History
- 2026-11-02: add by m2/dev
K12A1N4PZP K12A1N4PZP
| URI | m2://inv/K12A1N4PZP |
|---|---|
| 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 0807.1620#W2PT (statement). In 2AREGC7WB6/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Regular ring K12CFDWYCE
| URI | m2://inv/K12CFDWYCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular local ring#ZQOP, Regular ring (unknown)
History
- 2026-11-02: add by m2/dev
Weyl–Schouten theorem K12GMNNEST
| URI | m2://inv/K12GMNNEST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#WF5Q, Weyl–Schouten theorem (statement)
- wikipedia: Wikipedia List of things named after Hermann Weyl#FSGL, Weyl–Schouten theorem (statement)
History
- 2026-11-02: add by m2/dev
Memory inhibition K12MNWG5TY
| URI | m2://inv/K12MNWG5TY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#IPLN, Memory inhibition (unknown)
History
- 2026-11-02: add by m2/dev
Projective Coxeter hierarchy K12N99G24S
| URI | m2://inv/K12N99G24S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.34016#YDVU, Projective Coxeter hierarchy (statement). In 1E4AJ49FWV/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Mary Leontius Schulte K12Y3S2V0R
| URI | m2://inv/K12Y3S2V0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Leontius Schulte, Mary Leontius Schulte (topic). Also Wikidata Q99372902
History
- 2026-11-02: add by m2/dev
Feasible generalized least squares K131XFDV4A
| URI | m2://inv/K131XFDV4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized least squares#JATG, Feasible generalized least squares (unknown)
History
- 2026-11-02: add by m2/dev
K13CR7VWS8 K13CR7VWS8
| URI | m2://inv/K13CR7VWS8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness.tex#ex-2 (example). In PKGMM3P5QY, ex, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
K13W1KHK19 K13W1KHK19
| URI | m2://inv/K13W1KHK19 |
|---|---|
| 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.20656#R9IJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
K13XCQ64GN K13XCQ64GN
| URI | m2://inv/K13XCQ64GN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 1507.03803#VIXK (definition). In MMJT4R2MSS/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
K145DJGWE6 K145DJGWE6
| URI | m2://inv/K145DJGWE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.24777#R2CC (statement)
History
- 2026-11-01: add by m2/v0.6.15
inverse K14CQ0XF7X
| URI | m2://inv/K14CQ0XF7X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7017933, inverse (concept). Also MathWorld Inverse
History
- 2026-10-26: add by m2/dev
Definition K14T40AVMP
| URI | m2://inv/K14T40AVMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear subspace#P06F, Definition (definition)
History
- 2026-11-02: add by m2/dev
K14Y6NVHPW K14Y6NVHPW
| URI | m2://inv/K14Y6NVHPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#A0MC (statement). In YG5EX49042/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
K15RGPXT50 K15RGPXT50
| URI | m2://inv/K15RGPXT50 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 96.6.4
History
- 2026-11-01: add by m2/v0.6.13
Claeskens, Gerda K15RX6GXV0
| URI | m2://inv/K15RX6GXV0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#142P, Claeskens, Gerda (topic)
History
- 2026-11-02: add by m2/dev
Constraint (mathematics) K167K6K049
| URI | m2://inv/K167K6K049 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#UW1O, Constraint (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
modular arithmetic K16NKK5PGW
| URI | m2://inv/K16NKK5PGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q319400, modular arithmetic (topic). Also MathWorld ModularArithmetic, nLab modular arithmetic
- wikipedia: Wikipedia Modular arithmetic, Modular arithmetic (definition). Also Wikidata Q319400
History
- 2026-10-26: add by m2/dev
Takagi existence theorem K16S5W3X26
| URI | m2://inv/K16S5W3X26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6Y9M, Takagi existence theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications K173BYTF1D
| URI | m2://inv/K173BYTF1D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat primality test#JBFF, Applications (example)
History
- 2026-11-02: add by m2/dev
K175TN3A6Z K175TN3A6Z
| URI | m2://inv/K175TN3A6Z |
|---|---|
| Kind | definition |
| 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#BUVW (definition). In H72E12TYHA/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
order K17F1MARXY
| URI | m2://inv/K17F1MARXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Order of a group 0B85S2V2DR |
Mentions
- wikidata: Wikidata Q589491, order (definition). Also MathWorld GroupOrder, nLab order of a group, ProofWiki Definition:Order_of_Group_Element
- wikipedia: Wikipedia Order (group theory), Order (definition). Also Wikidata Q589491
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications K17FCYF1XB
| URI | m2://inv/K17FCYF1XB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion–exclusion principle#BR3L, Applications (example)
History
- 2026-11-02: add by m2/dev
List of mathematical topics in classical mechanics K17P1JBTHD
| URI | m2://inv/K17P1JBTHD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#O8BM, List of mathematical topics in classical mechanics (topic)
History
- 2026-11-02: add by m2/dev
Leonard Schulman K184J26ZP5
| URI | m2://inv/K184J26ZP5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N672, Leonard Schulman (unknown)
History
- 2026-11-02: add by m2/dev
K18543YN9M K18543YN9M
| URI | m2://inv/K18543YN9M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#I7XB (definition). In G35G1NJKBX/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Ajtai–Komlós–Tusnády theorem K1878K0W3W
| URI | m2://inv/K1878K0W3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ajtai–Komlós–Tusnády theorem, Ajtai–Komlós–Tusnády theorem (statement). Also Wikidata Q117283062
History
- 2026-11-02: add by m2/dev
K18PS28V74 K18PS28V74
| URI | m2://inv/K18PS28V74 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#TRLM (definition). In PEXJPV3NP8/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
K18SDDVAG6 K18SDDVAG6
| URI | m2://inv/K18SDDVAG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#JR8I (statement). In F0E8YBV0Z0/e1, theorem 6.10
History
- 2026-10-30: add by m2/v0.4.12
K18TGH9JZS K18TGH9JZS
| URI | m2://inv/K18TGH9JZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#4G7Q (statement). In V7SN19J84T/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.2
Kakutani Fixed Point Theorem K1936VEMDJ
| URI | m2://inv/K1936VEMDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.28742#3QQO, Kakutani Fixed Point Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
K19901D05R K19901D05R
| URI | m2://inv/K19901D05R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18106#ZL98 (statement). In VZDPG7NJCX/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Dahiya--Mahajan: certificate complexity from constant intervals K19H4ZHQYQ
| URI | m2://inv/K19H4ZHQYQ |
|---|---|
| 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.23781#6SMS, Dahiya--Mahajan: certificate complexity from constant intervals (statement)
History
- 2026-11-02: add by m2/v0.6.17
K19QQABZ01 K19QQABZ01
| URI | m2://inv/K19QQABZ01 |
|---|---|
| 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 2403.15255#FHVS (statement). In G691MXMYW0/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.4.0
group variety K19R768ZDH
| URI | m2://inv/K19R768ZDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#T27K, group variety (definition)
History
- 2026-11-02: add by m2/dev
K19V8GNVBF K19V8GNVBF
| URI | m2://inv/K19V8GNVBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29537#E2KR (statement)
History
- 2026-11-01: add by m2/v0.6.15
K19VRHA61D K19VRHA61D
| URI | m2://inv/K19VRHA61D |
|---|---|
| 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.23634#I73N (statement)
History
- 2026-11-02: add by m2/v0.6.17
\textcite{lovasz_operations_1967,chaudhuri_optimization_1993 K1A1JP60D2
| URI | m2://inv/K1A1JP60D2 |
|---|---|
| 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.07927#TQ12, \textcite{lovasz_operations_1967,chaudhuri_optimization_1993 (statement). In GKM19DHQTM/e1, theorem 9.4
History
- 2026-10-29: add by m2/v0.4.10
Wendelin Werner K1AAGPH3SA
| URI | m2://inv/K1AAGPH3SA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FN4D, Wendelin Werner (topic)
History
- 2026-11-02: add by m2/dev
Extended modal realism K1ACF6GY93
| URI | m2://inv/K1ACF6GY93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended modal realism, Extended modal realism (definition). Also Wikidata Q104870066
History
- 2026-11-02: add by m2/dev
Examples K1AHZAX4CK
| URI | m2://inv/K1AHZAX4CK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Item bank#SA6A, Examples (example)
History
- 2026-11-02: add by m2/dev
K1ARV2HCWB K1ARV2HCWB
| URI | m2://inv/K1ARV2HCWB |
|---|---|
| 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.11056#51V7 (statement). In 1NDB3SAG7K/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
implicit definition K1ATSAQSKY
| URI | m2://inv/K1ATSAQSKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7ITV, implicit definition (definition)
History
- 2026-11-02: add by m2/dev
K1AV9KCCMQ K1AV9KCCMQ
| URI | m2://inv/K1AV9KCCMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.34289#KU0V (statement). In 9RBATD2Z1F/e1, proposition 3.25
History
- 2026-10-30: add by m2/v0.4.12
K1AV9QVYM2 K1AV9QVYM2
| URI | m2://inv/K1AV9QVYM2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.12834#NX6E (definition). In 25JX9GN5TE/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Hyperelliptic surface K1AXRDMW3Y
| URI | m2://inv/K1AXRDMW3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperelliptic surface, Hyperelliptic surface (definition). Also Wikidata Q17028398
History
- 2026-11-02: add by m2/dev
Applications K1B2BQT1T8
| URI | m2://inv/K1B2BQT1T8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brayton cycle#22JP, Applications (example)
History
- 2026-11-02: add by m2/dev
K1B87R7MCT K1B87R7MCT
| URI | m2://inv/K1B87R7MCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#Z0S9 (statement). In HX63A1PH1W/e1, lemma 8.39
History
- 2026-10-28: add by m2/v0.4.3
Separation-to-rate dictionary K1BHWRTFA8
| URI | m2://inv/K1BHWRTFA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#IDVA, Separation-to-rate dictionary (statement). In PV4Z2FRXRZ/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
free logic K1BJ6CSPRY
| URI | m2://inv/K1BJ6CSPRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SKL4, free logic (definition)
History
- 2026-11-02: add by m2/dev
K1BM85F2JM K1BM85F2JM
| URI | m2://inv/K1BM85F2JM |
|---|---|
| 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#9SM5 (statement). In CC6S1HVK0T/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.2
K1BX1AXEZH K1BX1AXEZH
| URI | m2://inv/K1BX1AXEZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23660#CDIH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Urysohn's lemma K1C31F1D9B
| URI | m2://inv/K1C31F1D9B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#7S1B, Urysohn's lemma (statement)
- wikipedia: Wikipedia List of general topology topics#3A76, Urysohn's lemma (statement)
- wikipedia: Wikipedia List of lemmas#IERB, Urysohn's lemma (statement)
History
- 2026-11-02: add by m2/dev
Open set K1C9P0WZR1
| URI | m2://inv/K1C9P0WZR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ZX3F, Open set (definition)
History
- 2026-11-02: add by m2/dev
K1CA9TE8Y9 K1CA9TE8Y9
| URI | m2://inv/K1CA9TE8Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-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.06747#H4WT (statement). In AB2WPR2FRR/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
K1CAGNGMZC K1CAGNGMZC
| URI | m2://inv/K1CAGNGMZC |
|---|---|
| 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.17476#163A (statement). In 6HXD74FA4S/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
K1CKEFB94V K1CKEFB94V
| URI | m2://inv/K1CKEFB94V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#SVJI (definition). In 7HXP270BD0/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
K1CQBA6QAJ K1CQBA6QAJ
| URI | m2://inv/K1CQBA6QAJ |
|---|---|
| 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.19694#NWQ4 (statement). In EP0M4RSZ9P/e1, corollary 2.8
History
- 2026-10-28: add by m2/v0.4.2
Lorentz Eichstadt K1CT0KSF3B
| URI | m2://inv/K1CT0KSF3B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#1D0R, Lorentz Eichstadt (topic)
History
- 2026-11-02: add by m2/dev
K1CV3C7JCV K1CV3C7JCV
| URI | m2://inv/K1CV3C7JCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#4O6P (statement). In JW8HH6EPG2/e1, lemma 3.36
History
- 2026-10-29: add by m2/v0.4.10
Errera graph K1D22C87Q6
| URI | m2://inv/K1D22C87Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115469, Errera graph (unknown). Also House of Graphs 1063, MathWorld ErreraGraph
- wikipedia: Wikipedia Errera graph, Errera graph (definition). Also Wikidata Q3115469
History
- 2026-10-26: add by m2/dev
L-estimator K1D23DAPMP
| URI | m2://inv/K1D23DAPMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CDT8, L-estimator (definition)
History
- 2026-11-02: add by m2/dev
K1DDY259D5 K1DDY259D5
| URI | m2://inv/K1DDY259D5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#NCHM (statement). In RTE2C0PH4S/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
K1DK1NG88V K1DK1NG88V
| URI | m2://inv/K1DK1NG88V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.8
History
- 2026-11-01: add by m2/v0.6.13
K1DN3N891K K1DN3N891K
| URI | m2://inv/K1DN3N891K |
|---|---|
| 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 2309.01359#IK6Q (statement). In BFV19FC2G7/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Definition K1DRKYYGS1
| URI | m2://inv/K1DRKYYGS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hellinger distance#LMZJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
K1E8VPQCRV K1E8VPQCRV
| URI | m2://inv/K1E8VPQCRV |
|---|---|
| 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.23343#0W7E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pearson relation K1EC4DCX30
| URI | m2://inv/K1EC4DCX30 |
|---|---|
| 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.22027#TDF8, Pearson relation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition K1EE20A2Q5
| URI | m2://inv/K1EE20A2Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kasch ring#L6D9, Definition (definition)
History
- 2026-11-02: add by m2/dev
group K1EF7EVZ2Q
| URI | m2://inv/K1EF7EVZ2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#ZFTK, group (definition)
History
- 2026-11-02: add by m2/dev
K1EJCAVA31 K1EJCAVA31
| URI | m2://inv/K1EJCAVA31 |
|---|---|
| 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 2205.09049#3AMA (definition). In 37S7MNMZ2F/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
K1EQ6T33A2 K1EQ6T33A2
| URI | m2://inv/K1EQ6T33A2 |
|---|---|
| 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.39706#MGIM (statement). In 79Y8JJMKP4/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
K1EVTWJTFK K1EVTWJTFK
| URI | m2://inv/K1EVTWJTFK |
|---|---|
| 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 2603.21971#INX7 (statement). In R6KSZ9H8CY/e1, proposition 1.6
History
- 2026-11-02: add by m2/v0.6.18
Yuri Tschinkel K1EZMY7WXH
| URI | m2://inv/K1EZMY7WXH |
|---|---|
| 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#WDON, Yuri Tschinkel (unknown)
History
- 2026-11-02: add by m2/dev
Variations K1F5VAXAN4
| URI | m2://inv/K1F5VAXAN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleinian group#2B1Y, Variations (statement)
History
- 2026-11-02: add by m2/dev
\frcontrol transition dynamics K1F8ZVH580
| URI | m2://inv/K1F8ZVH580 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.38132#VI0J, \frcontrol transition dynamics (statement). In K6CP8GP51H/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Properties of $\bS_h$ K1FG4G97XY
| URI | m2://inv/K1FG4G97XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01504#YA0O, Properties of $\bS_h$ (statement). In JAVB10Q2YZ/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
K1FGNHG0QY K1FGNHG0QY
| URI | m2://inv/K1FGNHG0QY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.19658#W7HZ (statement). In G00EYA9DXG/e1, lemma 9.3
History
- 2026-10-28: add by m2/v0.4.2
Topologically complete K1FN7SR5NX
| URI | m2://inv/K1FN7SR5NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#4M5I, Topologically complete (definition)
History
- 2026-11-02: add by m2/dev
K1FNA76YHX K1FNA76YHX
| URI | m2://inv/K1FNA76YHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.17116#LA7J (statement). In A02X6MX28Y/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Osterwalder–Schrader axioms K1FVJ5ZVD1
| URI | m2://inv/K1FVJ5ZVD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic quantum field theory#JFU8, Osterwalder–Schrader axioms (statement)
History
- 2026-11-02: add by m2/dev
multivariate analysis of variance K1FVJF2K92
| URI | m2://inv/K1FVJF2K92 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Multivariate analysis of variance 8J3B7N8CAT |
Mentions
- wikidata: Wikidata Q929408, multivariate analysis of variance (concept). Also MathWorld MANOVA
- wikipedia: Wikipedia Multivariate analysis of variance, Multivariate analysis of variance (definition). Also Wikidata Q929408
History
- 2026-10-26: add by m2/dev
K1FZBWK4F0 K1FZBWK4F0
| URI | m2://inv/K1FZBWK4F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-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.06747#CXF4 (statement). In AB2WPR2FRR/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Grid classification K1G0SBW8WZ
| URI | m2://inv/K1G0SBW8WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grid classification, Grid classification (definition). Also Wikidata Q5608609
History
- 2026-11-02: add by m2/dev
Brute Force: Cracking the Data Encryption Standard K1G273ZBKK
| URI | m2://inv/K1G273ZBKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brute Force: Cracking the Data Encryption Standard, Brute Force: Cracking the Data Encryption Standard (definition). Also Wikidata Q4979859
History
- 2026-11-02: add by m2/dev
María Manzano K1G2X4679H
| URI | m2://inv/K1G2X4679H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#90JG, María Manzano (topic)
History
- 2026-11-02: add by m2/dev
Properties K1G7FG46BY
| URI | m2://inv/K1G7FG46BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action algebra#WFQE, Properties (statement)
History
- 2026-11-02: add by m2/dev
K1GN5V4SZX K1GN5V4SZX
| URI | m2://inv/K1GN5V4SZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#79XH (statement). In DWQWQ5KTEE/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
K1GP8C0STQ K1GP8C0STQ
| URI | m2://inv/K1GP8C0STQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#B40O (statement). In 7615KVXDB5/e1, proposition 2.12
History
- 2026-10-30: add by m2/v0.4.12
invariant K1GSRN03ES
| URI | m2://inv/K1GSRN03ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#BQ3E, invariant (definition)
History
- 2026-11-02: add by m2/dev
Properties K1GTHP8J10
| URI | m2://inv/K1GTHP8J10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman Type A distribution#GWDE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Basic diagonal properties on the good set K1GWMFNX99
| URI | m2://inv/K1GWMFNX99 |
|---|---|
| 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#F2MQ, Basic diagonal properties on the good set (statement). In WYE2JVEZBT/e1, lemma 6.5
History
- 2026-10-31: add by m2/v0.5.6
K1GZK1MSEJ K1GZK1MSEJ
| URI | m2://inv/K1GZK1MSEJ |
|---|---|
| Kind | definition |
| 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#LVAS (definition). In FCMMB2EVAP/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
K1H1SG3HQB K1H1SG3HQB
| URI | m2://inv/K1H1SG3HQB |
|---|---|
| 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.33682#DU5K (statement). In GN608RC9ES/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
K1H2BJAMF5 K1H2BJAMF5
| URI | m2://inv/K1H2BJAMF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08581#K3VN (statement). In VCSPPW15BE/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
John of Palermo K1H5SAHXP6
| URI | m2://inv/K1H5SAHXP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John of Palermo, John of Palermo (definition). Also Wikidata Q15972193
History
- 2026-11-02: add by m2/dev
Parameter identification problem K1H6T1KN3Q
| URI | m2://inv/K1H6T1KN3Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2K1L, Parameter identification problem (problem)
History
- 2026-11-02: add by m2/dev
K1HMDPSD65 K1HMDPSD65
| URI | m2://inv/K1HMDPSD65 |
|---|---|
| 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 2610.19285#8I1U (definition). In 6DJR9DKY5W/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Applications K1J4PPKPQ0
| URI | m2://inv/K1J4PPKPQ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total variance#7737, Applications (example)
History
- 2026-11-02: add by m2/dev
Carol K. Redmond K1J7FSP3Z6
| URI | m2://inv/K1J7FSP3Z6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#M4D6, Carol K. Redmond (topic)
History
- 2026-11-02: add by m2/dev
K1J8RMDRP7 K1J8RMDRP7
| URI | m2://inv/K1J8RMDRP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#AYMC (statement)
History
- 2026-11-02: add by m2/v0.6.18
K1JCSN6BPV K1JCSN6BPV
| URI | m2://inv/K1JCSN6BPV |
|---|---|
| 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.14455#5IG2 (statement). In 5KARPAJDCP/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Stability Theorem For Filtrations K1JTG4FN2X
| URI | m2://inv/K1JTG4FN2X |
|---|---|
| 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.16386#T1SC, Stability Theorem For Filtrations (statement). In RAF0BFY3Z3/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Examples K1K8BG027K
| URI | m2://inv/K1K8BG027K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindbladian#IP2S, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties K1KFDF11A2
| URI | m2://inv/K1KFDF11A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar lamina#QW15, Properties (statement)
History
- 2026-11-02: add by m2/dev
List of open-source numerical analysis software K1KG9Y68T8
| URI | m2://inv/K1KG9Y68T8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#BAZ5, List of open-source numerical analysis software (unknown)
History
- 2026-11-02: add by m2/dev
Example K1KGVV8GRY
| URI | m2://inv/K1KGVV8GRY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard translation#VXVP, Example (example)
History
- 2026-11-02: add by m2/dev
Nonresonance of the frequencies K1KMEKZGGY
| URI | m2://inv/K1KMEKZGGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#UQ8Y, Nonresonance of the frequencies (statement). In YCRZC9SDCE/e1, corollary 9.3
History
- 2026-10-28: add by m2/v0.4.2
Stokes wave K1KP95HZ8J
| URI | m2://inv/K1KP95HZ8J |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes wave, Stokes wave (object). Also Wikidata Q7618554
History
- 2026-11-02: add by m2/dev
K1KVZQ0FN6 K1KVZQ0FN6
| URI | m2://inv/K1KVZQ0FN6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#PIOU (definition)
History
- 2026-11-02: add by m2/v0.6.17
argument principle K1KZV9HETC
| URI | m2://inv/K1KZV9HETC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/argument-principle, argument principle (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Properties K1M547B6B9
| URI | m2://inv/K1M547B6B9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composite field (mathematics)#MLSX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Weibull distribution K1MK50T2W2
| URI | m2://inv/K1MK50T2W2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#14G3, Weibull distribution (definition)
History
- 2026-11-02: add by m2/dev
Statistics Canada K1MS9TK3HX
| URI | m2://inv/K1MS9TK3HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Canada, Statistics Canada (definition). Also Wikidata Q1155740
History
- 2026-11-02: add by m2/dev
Susan Miller Rambo K1MTX22G9J
| URI | m2://inv/K1MTX22G9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Miller Rambo, Susan Miller Rambo (topic). Also Wikidata Q18386636
History
- 2026-11-02: add by m2/dev
K1MVFWEQAK K1MVFWEQAK
| URI | m2://inv/K1MVFWEQAK |
|---|---|
| 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 2507.03563#AOOA (statement). In R6DR6F68BJ/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.4.0
D. J. Finney K1MYFMQQS6
| URI | m2://inv/K1MYFMQQS6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#JNH3, D. J. Finney (topic)
History
- 2026-11-02: add by m2/dev
Algorithms K1N1VVAV19
| URI | m2://inv/K1N1VVAV19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight skeleton#W9U9, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
K1N4DAPFVJ K1N4DAPFVJ
| URI | m2://inv/K1N4DAPFVJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osserman manifold#KW8U (problem)
History
- 2026-11-02: add by m2/dev
Matérn covariance function K1N6KR6CYK
| URI | m2://inv/K1N6KR6CYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matérn covariance function, Matérn covariance function (definition). Also Wikidata Q6792079
History
- 2026-11-02: add by m2/dev
K1N7SZXNBE K1N7SZXNBE
| URI | m2://inv/K1N7SZXNBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#4A4Y (statement). In N3Z6JFEPCF/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.2
K1N8BAKYHX K1N8BAKYHX
| URI | m2://inv/K1N8BAKYHX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-84 (exercise). In E9HS8K3A52, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
Siegel–Tukey test K1N9FDM7SP
| URI | m2://inv/K1N9FDM7SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel–Tukey test, Siegel–Tukey test (definition). Also Wikidata Q3985059
History
- 2026-11-02: add by m2/dev
K1NHYRRTKN K1NHYRRTKN
| URI | m2://inv/K1NHYRRTKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#prop:term-primrec (statement). In PKGMM3P5QY, prop, section 27.3
History
- 2026-11-01: add by m2/v0.6.13
Hermann Bondi K1NKVP3PP4
| URI | m2://inv/K1NKVP3PP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9MS6, Hermann Bondi (unknown)
History
- 2026-11-02: add by m2/dev
Arrangement of tropical hypersurfaces for framingtopes K1NRZ0CV4V
| URI | m2://inv/K1NRZ0CV4V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#SYTL, Arrangement of tropical hypersurfaces for framingtopes (definition)
History
- 2026-11-02: add by m2/v0.6.18
William Francis Pohl K1NWQ3B92W
| URI | m2://inv/K1NWQ3B92W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Francis Pohl, William Francis Pohl (topic). Also Wikidata Q28873106
History
- 2026-11-02: add by m2/dev
Applications K1NX2VA6A3
| URI | m2://inv/K1NX2VA6A3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dice-Sørensen coefficient#FR57, Applications (example)
History
- 2026-11-02: add by m2/dev
orthogonal basis K1PABJPD2V
| URI | m2://inv/K1PABJPD2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3306808, orthogonal basis (unknown). Also MathWorld OrthogonalBasis, nLab orthogonal basis
- wikipedia: Wikipedia Orthogonal basis, Orthogonal basis (definition). Also Wikidata Q3306808
History
- 2026-10-26: add by m2/dev
K1PDBYH7C8 K1PDBYH7C8
| URI | m2://inv/K1PDBYH7C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#valphalowerrank (statement). In PKGMM3P5QY, prop, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
Properties K1PDR1JH94
| URI | m2://inv/K1PDR1JH94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane wave#J92I, Properties (statement)
History
- 2026-11-02: add by m2/dev
bridgeless K1PF1VNC40
| URI | m2://inv/K1PF1VNC40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#QP7S, bridgeless (definition)
History
- 2026-11-02: add by m2/dev
Formal definition K1PRDQ99PT
| URI | m2://inv/K1PRDQ99PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size function#QQJK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
K1PWNZCX2C K1PWNZCX2C
| URI | m2://inv/K1PWNZCX2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#K97G (statement). In BT6E9BXXF3/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
K1Q035YD76 K1Q035YD76
| URI | m2://inv/K1Q035YD76 |
|---|---|
| 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#HEIZ (statement). In CHVWYJM7RM/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.10
commutant K1Q2NJ5CER
| URI | m2://inv/K1Q2NJ5CER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2989713, commutant (unknown). Also nLab commutant
History
- 2026-10-26: add by m2/dev
Bernoulli process K1Q38M5C60
| URI | m2://inv/K1Q38M5C60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F5MN, Bernoulli process (definition)
- wikipedia: Wikipedia List of probability topics#DH3R, Bernoulli process (definition)
History
- 2026-11-02: add by m2/dev
K1Q97AAS2Q K1Q97AAS2Q
| URI | m2://inv/K1Q97AAS2Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
Examples K1QA3Y25Q3
| URI | m2://inv/K1QA3Y25Q3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive polynomial#J14Q, Examples (example)
History
- 2026-11-02: add by m2/dev
quotient bounds K1QABWJZZA
| URI | m2://inv/K1QABWJZZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#9Z8Z, quotient bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
K1QAYWMA83 K1QAYWMA83
| URI | m2://inv/K1QAYWMA83 |
|---|---|
| Kind | statement |
| 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#HI8E (statement). In PF5JJ9DS8Q/e1, proposition 3.2.5
History
- 2026-10-28: add by m2/v0.4.2
Weibull modulus K1QD90MBS3
| URI | m2://inv/K1QD90MBS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weibull modulus, Weibull modulus (definition). Also Wikidata Q7979803
History
- 2026-11-02: add by m2/dev
Summable Sampling Error K1QE7YHHPE
| URI | m2://inv/K1QE7YHHPE |
|---|---|
| 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.07674#UXXW, Summable Sampling Error (statement). In W1PRBBP1JD/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Euler's partition theorem K1QFXV7RV7
| URI | m2://inv/K1QFXV7RV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NKS0, Euler's partition theorem (definition)
History
- 2026-11-02: add by m2/dev
VideoGuard K1QPE195MP
| URI | m2://inv/K1QPE195MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia VideoGuard, VideoGuard (definition). Also Wikidata Q2456434
History
- 2026-11-02: add by m2/dev
decimal K1QQH28WTC
| URI | m2://inv/K1QQH28WTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81365, decimal (definition). Also MathWorld Decimal, ProofWiki Definition:Decimal_Notation
- wikipedia: Wikipedia Decimal, Decimal (definition). Also Wikidata Q81365
History
- 2026-10-26: add by m2/dev
K1QTQ76QMD K1QTQ76QMD
| URI | m2://inv/K1QTQ76QMD |
|---|---|
| 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#YLG2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hurewicz theorem K1QYSFWWBY
| URI | m2://inv/K1QYSFWWBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 4 |
| Outcome | open |
| Node | Hurewicz theorem ZA11N5XPZM |
Mentions
- mathlib_1000: mathlib_1000 Q2394548, Hurewicz theorem (statement). Also Wikidata Q2394548
- thousand_plus: thousand_plus Q2394548, Hurewicz theorem (statement). Also Wikidata Q2394548, Wikipedia Hurewicz theorem
- wikidata: Wikidata Q2394548, Hurewicz theorem (statement). Also nLab Hurewicz theorem
- wikipedia: Wikipedia Hurewicz theorem, Hurewicz theorem (statement). Also Wikidata Q2394548
History
- 2026-10-26: add by m2/dev
K1R4HKX68W K1R4HKX68W
| URI | m2://inv/K1R4HKX68W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#LJ9M (definition). In ESDKTYDHC8/e1, definition 16
History
- 2026-10-29: add by m2/v0.4.12
K1R75JW35Y K1R75JW35Y
| URI | m2://inv/K1R75JW35Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17412#YHE6 (statement). In DPBHYJBGKD/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
universal cover K1R7AYJWYG
| URI | m2://inv/K1R7AYJWYG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4475749, universal cover (unknown). Also MathWorld UniversalCover, nLab universal covering space
History
- 2026-10-26: add by m2/dev
Tangency contribution of a transverse singularity K1R7D9WHBX
| URI | m2://inv/K1R7D9WHBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23472#TA4R, Tangency contribution of a transverse singularity (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pure-gap inequality K1R7E9BVQV
| URI | m2://inv/K1R7E9BVQV |
|---|---|
| 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#K5OW, Pure-gap inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
K1R92XAEA7 K1R92XAEA7
| URI | m2://inv/K1R92XAEA7 |
|---|---|
| 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.14135#6N7N (statement). In C304J64Q79/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
K1RAK8YMRC K1RAK8YMRC
| URI | m2://inv/K1RAK8YMRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#GU2B (statement). In NAMCCRM50R/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Projected realization of a flow polytope K1RCJRNACH
| URI | m2://inv/K1RCJRNACH |
|---|---|
| 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.20656#L6VH, Projected realization of a flow polytope (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations K1RE724FAY
| URI | m2://inv/K1RE724FAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic space#7404, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
K1RGSSHA6J K1RGSSHA6J
| URI | m2://inv/K1RGSSHA6J |
|---|---|
| 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.22190#XAUC (statement). In AM6Y5W3HGG/e1, fact 12
History
- 2026-10-27: add by m2/v0.4.0
K1RNC7E4KC K1RNC7E4KC
| URI | m2://inv/K1RNC7E4KC |
|---|---|
| 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 2610.19854#NHYC (statement). In D50WST4CG3/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Dini derivative K1RNKF66H7
| URI | m2://inv/K1RNKF66H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini derivative, Dini derivative (definition). Also Wikidata Q831933
History
- 2026-11-02: add by m2/dev
Qutb al-Din Razi K1RP2J80N0
| URI | m2://inv/K1RP2J80N0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qutb al-Din Razi, Qutb al-Din Razi (topic). Also Wikidata Q5934574
History
- 2026-11-02: add by m2/dev
K1S2QA62T7 K1S2QA62T7
| URI | m2://inv/K1S2QA62T7 |
|---|---|
| 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 2405.05684#QC4A (statement). In 1PR73ECTZB/e1, proposition 35
History
- 2026-10-27: add by m2/v0.3.5
Primitive moments K1S57B6J17
| URI | m2://inv/K1S57B6J17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30808#E9X9, Primitive moments (statement). In 4JCFPV48VG/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Fixed-point subgroup K1SNSHSQAE
| URI | m2://inv/K1SNSHSQAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point subgroup, Fixed-point subgroup (definition). Also Wikidata Q18355543
History
- 2026-11-02: add by m2/dev
Bounded Pareto distribution K1SV8ZW8R9
| URI | m2://inv/K1SV8ZW8R9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto distribution#FBBB, Bounded Pareto distribution (unknown)
History
- 2026-11-02: add by m2/dev
K1SYMFE6BQ K1SYMFE6BQ
| URI | m2://inv/K1SYMFE6BQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#XXLI (definition). In WXJ2V3HA2R/e1, definition E.5
History
- 2026-10-27: add by m2/v0.3.5
Examples K1T21YHYGZ
| URI | m2://inv/K1T21YHYGZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalai's 3^d conjecture#5LJ9, Examples (example)
History
- 2026-11-02: add by m2/dev
Transformer emf K1T3AXPZSG
| URI | m2://inv/K1T3AXPZSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faraday's law of induction#DKZX, Transformer emf (unknown)
History
- 2026-11-02: add by m2/dev
Kaplansky's conjectures K1T8S7KXRC
| URI | m2://inv/K1T8S7KXRC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky's conjectures, Kaplansky's conjectures (topic). Also Wikidata Q6366842
History
- 2026-11-02: add by m2/dev
Construction K1TM9YGNRR
| URI | m2://inv/K1TM9YGNRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perles configuration#WL8N, Construction (definition)
History
- 2026-11-02: add by m2/dev
Melih Onuş K1TPXYM2CH
| URI | m2://inv/K1TPXYM2CH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melih Onuş, Melih Onuş (topic). Also Wikidata Q99657521
History
- 2026-11-02: add by m2/dev
Boolean operator (computer programming) K1V096XZ0F
| URI | m2://inv/K1V096XZ0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean expression#WP6D, Boolean operator (computer programming) (unknown)
History
- 2026-11-02: add by m2/dev
Statement K1V5JA1D0Y
| URI | m2://inv/K1V5JA1D0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barban–Davenport–Halberstam theorem#1PI4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Generalized extreme value distribution K1V6P2W2HE
| URI | m2://inv/K1V6P2W2HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#J1BC, Generalized extreme value distribution (definition)
History
- 2026-11-02: add by m2/dev
Screen space ambient occlusion K1VCC1W37J
| URI | m2://inv/K1VCC1W37J |
|---|---|
| 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#EC3T, Screen space ambient occlusion (unknown)
History
- 2026-11-02: add by m2/dev
Ferrero–Washington theorem K1VCJN70DK
| URI | m2://inv/K1VCJN70DK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferrero–Washington theorem#8F7V, Ferrero–Washington theorem (statement)
History
- 2026-11-02: add by m2/dev
K1VJD6F49V K1VJD6F49V
| URI | m2://inv/K1VJD6F49V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#ZMYE (definition)
History
- 2026-11-01: add by m2/v0.6.15
List of presidents of the Statistical Society of Canada K1VN2A7PXZ
| URI | m2://inv/K1VN2A7PXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Society of Canada#VL7P, List of presidents of the Statistical Society of Canada (unknown)
History
- 2026-11-02: add by m2/dev
K1VPVZWK41 K1VPVZWK41
| URI | m2://inv/K1VPVZWK41 |
|---|---|
| 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.23338#H5S0 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Scientometrics K1VWW72CJG
| URI | m2://inv/K1VWW72CJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientometrics, Scientometrics (definition). Also Wikidata Q472342
History
- 2026-11-02: add by m2/dev
Erd\H{o}s K1W5F7A2HW
| URI | m2://inv/K1W5F7A2HW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#MAE5, Erd\H{o}s (conjecture). In 43TBS9P2PX/e1, conjecture 1.3
History
- 2026-10-28: add by m2/v0.4.2
Direct sum of representations K1WARZ1A2N
| URI | m2://inv/K1WARZ1A2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum#6UZS, Direct sum of representations (unknown)
History
- 2026-11-02: add by m2/dev
joint denial K1WDCX8APP
| URI | m2://inv/K1WDCX8APP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141495715, joint denial (unknown). Also MathWorld JointDenial
History
- 2026-10-26: add by m2/dev
Cartan's theorem K1WNF1EPZT
| URI | m2://inv/K1WNF1EPZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Ambrose–Hicks theorem#QH6R, Cartan's theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations K1WT1ZSSFT
| URI | m2://inv/K1WT1ZSSFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostka number#PVER, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Canopy clustering algorithm K1WZC4XWAS
| URI | m2://inv/K1WZC4XWAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VM7W, Canopy clustering algorithm (definition)
History
- 2026-11-02: add by m2/dev
strict partition function K1X1EZYYAJ
| URI | m2://inv/K1X1EZYYAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11291670, strict partition function (unknown). Also MathWorld PartitionFunctionQ, OEIS A000009
History
- 2026-10-26: add by m2/dev
cubitruncated cuboctahedron K1XEQ51JNW
| URI | m2://inv/K1XEQ51JNW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3006725, cubitruncated cuboctahedron (unknown). Also MathWorld CubitruncatedCuboctahedron
- wikipedia: Wikipedia Cubitruncated cuboctahedron, Cubitruncated cuboctahedron (object). Also Wikidata Q3006725
History
- 2026-10-26: add by m2/dev
Applications K1XQJYM6JF
| URI | m2://inv/K1XQJYM6JF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cavitation#YZ8Z, Applications (example)
History
- 2026-11-02: add by m2/dev
K1XR9YDDN3 K1XR9YDDN3
| URI | m2://inv/K1XR9YDDN3 |
|---|---|
| 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.06544#YAOH (statement). In VCRB27RMN6/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
K1XS7SRNXW K1XS7SRNXW
| URI | m2://inv/K1XS7SRNXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2503.00440#VLLN (statement). In 3HMRK8KEVD/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
K1XSZ4H9DV K1XSZ4H9DV
| URI | m2://inv/K1XSZ4H9DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-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 2609.26127#65WJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pierre de Fermat K1XW3Q3B1H
| URI | m2://inv/K1XW3Q3B1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#AZK3, Pierre de Fermat (topic)
History
- 2026-11-02: add by m2/dev
K1Y1NNS6JW K1Y1NNS6JW
| URI | m2://inv/K1Y1NNS6JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#PWFM (statement). In XDMM0KNNZ9/e1, lemma 28
History
- 2026-10-29: add by m2/v0.4.10
Sketch of proof K1Y6Y9HT74
| URI | m2://inv/K1Y6Y9HT74 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#proof-2, Sketch of proof (proof). In RZP28ERRZV, proof, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
Orthogonal wavelet K1Y9AZDRHA
| URI | m2://inv/K1Y9AZDRHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal wavelet, Orthogonal wavelet (definition). Also Wikidata Q3352512
History
- 2026-11-02: add by m2/dev
K1YDB9VN8K K1YDB9VN8K
| URI | m2://inv/K1YDB9VN8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#TWHS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Context tree weighting K1YK574B6R
| URI | m2://inv/K1YK574B6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#090G, Context tree weighting (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations K1YWNAHKBY
| URI | m2://inv/K1YWNAHKBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex logarithm#Z0VI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Octagonal prism K1Z10CNWY8
| URI | m2://inv/K1Z10CNWY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PQSZ, Octagonal prism (definition)
History
- 2026-11-02: add by m2/dev
K1Z3EM48XV K1Z3EM48XV
| URI | m2://inv/K1Z3EM48XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#JOK8 (statement). In VNE8N0D2FB/e1, lemma 4.13
History
- 2026-10-31: add by m2/v0.5.6
K1Z3RRPY3W K1Z3RRPY3W
| URI | m2://inv/K1Z3RRPY3W |
|---|---|
| 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.02751#VLCL (statement). In MWGXPXF3BW/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
K1Z4TWS8DF K1Z4TWS8DF
| URI | m2://inv/K1Z4TWS8DF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
K1Z55BTQZM K1Z55BTQZM
| URI | m2://inv/K1Z55BTQZM |
|---|---|
| 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.14319#17AC (statement). In N2FBBMPEXA/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
K1Z89W7KD8 K1Z89W7KD8
| URI | m2://inv/K1Z89W7KD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16640#NR1W (statement). In DEVX71G2ZK/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
K1ZA8K762M K1ZA8K762M
| URI | m2://inv/K1ZA8K762M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#ordisoidentity (statement). In PKGMM3P5QY, prop, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
K1ZAF9HE3H K1ZAF9HE3H
| URI | m2://inv/K1ZAF9HE3H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.20153#L4M1 (example)
History
- 2026-11-02: add by m2/v0.6.18
K1ZBWQNABK K1ZBWQNABK
| URI | m2://inv/K1ZBWQNABK |
|---|---|
| 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.17589#9FAD (statement). In GSTK4569X1/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Uniform head amplitudes K1ZKJ9700A
| URI | m2://inv/K1ZKJ9700A |
|---|---|
| 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.37164#D9RE, Uniform head amplitudes (statement). In B2PG75FSQJ/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
General Gram normal form for the corner-supported Toeplitz BW form K1ZKWD8G5P
| URI | m2://inv/K1ZKWD8G5P |
|---|---|
| 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 2610.08980#ZZF1, General Gram normal form for the corner-supported Toeplitz BW form (statement). In X407M6WFNR/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Kleisli category K1ZNT3YKRB
| URI | m2://inv/K1ZNT3YKRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#N8FN, Kleisli category (definition)
History
- 2026-11-02: add by m2/dev
Definition K1ZRCX1X0D
| URI | m2://inv/K1ZRCX1X0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transvectant#VC6Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
K1ZRVF37HB K1ZRVF37HB
| URI | m2://inv/K1ZRVF37HB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#76XM (statement). In HX63A1PH1W/e1, proposition 7.30
History
- 2026-10-28: add by m2/v0.4.3
K1ZVR3PD64 K1ZVR3PD64
| URI | m2://inv/K1ZVR3PD64 |
|---|---|
| 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 2407.12231#48XV (statement). In W44N3VEC6H/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.6
K1ZWV8HFCM K1ZWV8HFCM
| URI | m2://inv/K1ZWV8HFCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#JBSC (statement). In WK2YHYEDZ9/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Variations K1ZWXD8BJN
| URI | m2://inv/K1ZWXD8BJN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractalgrid#AVVN, Variations (statement)
History
- 2026-11-02: add by m2/dev