Inventory rows XF
The cards of the rows of the inventory whose ids start with XF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
XF06XHX79G XF06XHX79G
| URI | m2://inv/XF06XHX79G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#F22Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Crossed quadrilateral XF08N3R3YF
| URI | m2://inv/XF08N3R3YF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of self-intersecting polygons#BU8X, Crossed quadrilateral (definition)
History
- 2026-11-02: add by m2/dev
XF093RQKK6 XF093RQKK6
| URI | m2://inv/XF093RQKK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-8 (definition). In E59CDZA4DP, defn, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
XF0GRFRM8H XF0GRFRM8H
| URI | m2://inv/XF0GRFRM8H |
|---|---|
| Kind | statement |
| 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.24701#CP4F (statement)
History
- 2026-11-01: add by m2/v0.6.15
XF0H5S3QXA XF0H5S3QXA
| URI | m2://inv/XF0H5S3QXA |
|---|---|
| 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.23424#3KPH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples XF0JENP76K
| URI | m2://inv/XF0JENP76K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero suppression#IWL3, Examples (example)
History
- 2026-11-02: add by m2/dev
XF0JK9X378 XF0JK9X378
| URI | m2://inv/XF0JK9X378 |
|---|---|
| Kind | definition |
| 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 2610.13888#G23B (definition). In XJWYBPS14M/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Quadratic variances in Hadamard spaces XF0Q1SM72G
| URI | m2://inv/XF0Q1SM72G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#EK0Q, Quadratic variances in Hadamard spaces (statement). In FTPW1SZ8D3/e1, lemma B.10
History
- 2026-10-30: add by m2/v0.4.12
List of partial differential equation topics XF0QNRZ13P
| URI | m2://inv/XF0QNRZ13P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics, List of partial differential equation topics (topic). Also Wikidata Q6632000
History
- 2026-11-02: add by m2/dev
XF0RSKVQFC XF0RSKVQFC
| URI | m2://inv/XF0RSKVQFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 1001.0174#ENMA (statement). In 4P97F3GPJC/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Statement of formula XF0XMXYNVA
| URI | m2://inv/XF0XMXYNVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kingman's formula#S674, Statement of formula (statement)
History
- 2026-11-02: add by m2/dev
Second fundamental theorem of calculus XF15RCBZW4
| URI | m2://inv/XF15RCBZW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of calculus#GLZJ, Second fundamental theorem of calculus (unknown)
History
- 2026-11-02: add by m2/dev
XF1C4G681T XF1C4G681T
| URI | m2://inv/XF1C4G681T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#GF6D (statement). In X3RFXWN6FW/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.6
Dedekind lattice XF1H5V8HJR
| URI | m2://inv/XF1H5V8HJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#AZQ6, Dedekind lattice (definition)
History
- 2026-11-02: add by m2/dev
\(\Gamma\)-expansion and entropic selection XF1HH1PBDD
| URI | m2://inv/XF1HH1PBDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2610.10257#7U4F, \(\Gamma\)-expansion and entropic selection (statement). In BQD9MJHKV8/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
XF1M931HR7 XF1M931HR7
| URI | m2://inv/XF1M931HR7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#AN8B (definition). In 9B5TNEBJHV/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
phase XF1PPDWABB
| URI | m2://inv/XF1PPDWABB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#7806, phase (definition)
History
- 2026-11-02: add by m2/dev
Common twist up to conjugation XF1WPQMKPB
| URI | m2://inv/XF1WPQMKPB |
|---|---|
| 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.30301#PN6Q, Common twist up to conjugation (statement). In 7NS75J7HAM/e1, lemma 9.25
History
- 2026-10-31: add by m2/v0.5.6
XF1X93T714 XF1X93T714
| URI | m2://inv/XF1X93T714 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.38017#3LNX (statement). In SYFKJC9X5M/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Example XF1ZNAJX9C
| URI | m2://inv/XF1ZNAJX9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum superposition#XEOH, Example (example)
History
- 2026-11-02: add by m2/dev
Definition XF22H0NCDW
| URI | m2://inv/XF22H0NCDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold's spectral sequence#GT8Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bridge number XF25YM8PZQ
| URI | m2://inv/XF25YM8PZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#I4X4, Bridge number (definition)
History
- 2026-11-02: add by m2/dev
Symmetry XF26F4B81A
| URI | m2://inv/XF26F4B81A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The 85 Ways to Tie a Tie#YEHV, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Nick Trefethen XF26Y2G614
| URI | m2://inv/XF26Y2G614 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#DTL9, Nick Trefethen (topic)
History
- 2026-11-02: add by m2/dev
XF2B142WBB XF2B142WBB
| URI | m2://inv/XF2B142WBB |
|---|---|
| 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#X7SQ (statement). In WK2YHYEDZ9/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Flux and volume derivatives XF2FPQ7BXB
| URI | m2://inv/XF2FPQ7BXB |
|---|---|
| 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.38838#UH4R, Flux and volume derivatives (statement). In 3EH8M9GWTX/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Definition XF2JBPZXKH
| URI | m2://inv/XF2JBPZXKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klingen Eisenstein series#MF48, Definition (definition)
History
- 2026-11-02: add by m2/dev
XF2QP86QRJ XF2QP86QRJ
| URI | m2://inv/XF2QP86QRJ |
|---|---|
| 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 2610.10964#MNFN (statement). In 16KVMD76PZ/e1, proposition A.2
History
- 2026-10-28: add by m2/v0.4.3
XF2TF5QP56 XF2TF5QP56
| URI | m2://inv/XF2TF5QP56 |
|---|---|
| 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#H0A6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm XF2Z637CVK
| URI | m2://inv/XF2Z637CVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical Huffman code#05JJ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
XF2ZKWH7J1 XF2ZKWH7J1
| URI | m2://inv/XF2ZKWH7J1 |
|---|---|
| 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.28350#9MD3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XF3BFTTPVB XF3BFTTPVB
| URI | m2://inv/XF3BFTTPVB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#8K7V (definition). In RAXRNDW2Z0/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Sinkhorn's theorem XF3D3A3HA8
| URI | m2://inv/XF3D3A3HA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7524563, Sinkhorn's theorem (statement). Also Wikidata Q7524563
- thousand_plus: thousand_plus Q7524563, Sinkhorn's theorem (statement). Also Wikidata Q7524563, Wikipedia Sinkhorn's theorem
- wikipedia: Wikipedia Sinkhorn's theorem, Sinkhorn's theorem (statement). Also Wikidata Q7524563
History
- 2026-10-26: add by m2/dev
XF3ESHRY71 XF3ESHRY71
| URI | m2://inv/XF3ESHRY71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#0V2N (statement). In YZNK67K060/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.12
Technological singularity hypothesis XF3H4XYSH1
| URI | m2://inv/XF3H4XYSH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John von Neumann#F85Q, Technological singularity hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Lower bound; i.i.d.\ model XF3H7EQM3T
| URI | m2://inv/XF3H7EQM3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#G1KT, Lower bound; i.i.d.\ model (statement)
History
- 2026-11-01: add by m2/v0.6.15
XF3W44EG0W XF3W44EG0W
| URI | m2://inv/XF3W44EG0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#LAWH (statement). In DAMYG8BFAK/e1, theorem 4.17
History
- 2026-10-30: add by m2/v0.4.12
XF3WW7Y194 XF3WW7Y194
| URI | m2://inv/XF3WW7Y194 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
$d(h,h')$ XF3ZXDNT04
| URI | m2://inv/XF3ZXDNT04 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#3IJZ, $d(h,h')$ (definition). In PRVQPSBVHK/e1, definition 14
History
- 2026-10-29: add by m2/v0.4.10
Richmond surface XF41EKDJ74
| URI | m2://inv/XF41EKDJ74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richmond surface, Richmond surface (definition). Also Wikidata Q7331060
History
- 2026-11-02: add by m2/dev
XF4DT00NYT XF4DT00NYT
| URI | m2://inv/XF4DT00NYT |
|---|---|
| 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.22924#XBQH (statement)
History
- 2026-11-02: add by m2/v0.6.17
XF4P6FP8FA XF4P6FP8FA
| URI | m2://inv/XF4P6FP8FA |
|---|---|
| Kind | definition |
| 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 2610.22317#716P (definition). In 2W5Z97BBW4/e1, definition 2.23
History
- 2026-10-27: add by m2/v0.4.0
XF4VGKQXN8 XF4VGKQXN8
| URI | m2://inv/XF4VGKQXN8 |
|---|---|
| Kind | statement |
| 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.21017#D3AY (statement). In 8KKYZ4NKT2/e1, theorem 43
History
- 2026-10-27: add by m2/v0.4.2
XF4ZJ7PNE5 XF4ZJ7PNE5
| URI | m2://inv/XF4ZJ7PNE5 |
|---|---|
| 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.13931#5PXS (statement). In EXA79VR78Q/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem XF509CXETG
| URI | m2://inv/XF509CXETG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's tube theorem#KY9J, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XF522RCTC4 XF522RCTC4
| URI | m2://inv/XF522RCTC4 |
|---|---|
| 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.24065#EWJS (statement)
History
- 2026-11-02: add by m2/v0.6.17
XF54J0111Y XF54J0111Y
| URI | m2://inv/XF54J0111Y |
|---|---|
| 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.11905#Z5HM (definition). In QQFXT31CA5/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.3
XF5J1F9P8H XF5J1F9P8H
| URI | m2://inv/XF5J1F9P8H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2507.20176#9EAG (example). In CX4WDA2KAR/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
algebraic number theory XF5J45MWG7
| URI | m2://inv/XF5J45MWG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#3888, algebraic number theory (definition)
History
- 2026-11-02: add by m2/dev
XF5QM324Y4 XF5QM324Y4
| URI | m2://inv/XF5QM324Y4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00113#ONG8 (definition). In R9PP1Y2EP4/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
XF5S5SPC0Q XF5S5SPC0Q
| URI | m2://inv/XF5S5SPC0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.13260#885J (statement). In ZBQX9341RV/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
R XF5VP99B7G
| URI | m2://inv/XF5VP99B7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#RS60, R (definition)
History
- 2026-11-02: add by m2/dev
XF5WPFEVQE XF5WPFEVQE
| URI | m2://inv/XF5WPFEVQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#1KLL (statement). In 67GE5M1GGD/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Gaussian q-distribution XF630NDGSN
| URI | m2://inv/XF630NDGSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6K25, Gaussian q-distribution (definition)
- wikipedia: Wikipedia List of q-analogs#9CBI, Gaussian q-distribution (definition)
History
- 2026-11-02: add by m2/dev
One degree below the particle number XF6853041F
| URI | m2://inv/XF6853041F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#GXEX, One degree below the particle number (statement). In Y1DR0DPWD0/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.12
Statement XF69KRWFT5
| URI | m2://inv/XF69KRWFT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand–Ribet theorem#JZBK, Statement (statement)
History
- 2026-11-02: add by m2/dev
XF6E2K35FW XF6E2K35FW
| URI | m2://inv/XF6E2K35FW |
|---|---|
| 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.16779#5C91 (statement). In 1R7H0ZAHWA/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Coupling XF6FFRH5HT
| URI | m2://inv/XF6FFRH5HT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#L0X9, Coupling (statement). In 2Y47E704Z9/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Adaptive rejection sampling XF6GC0V89H
| URI | m2://inv/XF6GC0V89H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rejection sampling#3KL3, Adaptive rejection sampling (unknown)
History
- 2026-11-02: add by m2/dev
Exact extension of coset choices XF6NHGTCAD
| URI | m2://inv/XF6NHGTCAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.03763#3FQJ, Exact extension of coset choices (statement). In ARZ4X5PXXC/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
XF72G380DR XF72G380DR
| URI | m2://inv/XF72G380DR |
|---|---|
| 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 2610.00914#LS87 (statement). In TQ9CKHBTWN/e1, corollary 1.8
History
- 2026-10-29: add by m2/v0.4.12
XF738V1QNP XF738V1QNP
| URI | m2://inv/XF738V1QNP |
|---|---|
| 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.14681#CCTW (statement). In 459W0NBS5Q/e1, fact 1
History
- 2026-10-28: add by m2/v0.4.2
Grothendieck universe XF79TB8R5D
| URI | m2://inv/XF79TB8R5D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Grothendieck universe SMMK9E0MTM |
Mentions
- wikidata: Wikidata Q1465090, Grothendieck universe (concept). Also nLab Grothendieck universe, ProofWiki Definition:Grothendieck_Universe
- wikipedia: Wikipedia Grothendieck universe, Grothendieck universe (definition). Also Wikidata Q1465090
History
- 2026-10-26: add by m2/dev
XF7A8T1A08 XF7A8T1A08
| URI | m2://inv/XF7A8T1A08 |
|---|---|
| Kind | definition |
| 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 1010.3284#TLZZ (definition). In 7D3VBRZGMY/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
XF7MYZ3BNW XF7MYZ3BNW
| URI | m2://inv/XF7MYZ3BNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#1VAD (definition). In HVGT9D84WV/e1, definition 1.21
History
- 2026-10-27: add by m2/v0.3.5
Princeton Lectures in Analysis XF7N4P4NC0
| URI | m2://inv/XF7N4P4NC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Princeton Lectures in Analysis, Princeton Lectures in Analysis (definition). Also Wikidata Q18157013
History
- 2026-11-02: add by m2/dev
XF829SXMYD XF829SXMYD
| URI | m2://inv/XF829SXMYD |
|---|---|
| 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.29022#PW37 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermann Grassmann XF83JBS6JN
| URI | m2://inv/XF83JBS6JN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WXMJ, Hermann Grassmann (topic)
History
- 2026-11-02: add by m2/dev
aphelion XF84BA5JRN
| URI | m2://inv/XF84BA5JRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1699691, aphelion (definition). Also ProofWiki Definition:Aphelion
History
- 2026-10-26: add by m2/dev
Line drawing algorithm XF8MR2MYA4
| URI | m2://inv/XF8MR2MYA4 |
|---|---|
| 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#WS3B, Line drawing algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Dual wavelet XF8NZRYFP1
| URI | m2://inv/XF8NZRYFP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#N811, Dual wavelet (definition)
History
- 2026-11-02: add by m2/dev
XF8SZSRNP2 XF8SZSRNP2
| URI | m2://inv/XF8SZSRNP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.35632#MKBU (statement). In Q74G3BVZAQ/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Ben F. Laposky XF8WDCMY5K
| URI | m2://inv/XF8WDCMY5K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ben F. Laposky, Ben F. Laposky (topic). Also Wikidata Q4885618
History
- 2026-11-02: add by m2/dev
XF8ZRMPAAQ XF8ZRMPAAQ
| URI | m2://inv/XF8ZRMPAAQ |
|---|---|
| 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.20316#8A6Z (statement). In YRJS76169Z/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Commutativity of \(n\)-valued formal groups over a reduced base XF90WWWE40
| URI | m2://inv/XF90WWWE40 |
|---|---|
| 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.14044#26X3, Commutativity of \(n\)-valued formal groups over a reduced base (statement). In 5452SJRWDT/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
$L^2$-normed $L^\infty$-module XF926DFY8X
| URI | m2://inv/XF926DFY8X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#2ESQ, $L^2$-normed $L^\infty$-module (definition). In 49V3ANDZTY/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
XF9M6WE8DA XF9M6WE8DA
| URI | m2://inv/XF9M6WE8DA |
|---|---|
| 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.09314#EQCD (statement). In Z04N0B3R0V/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
XF9PWT4JRG XF9PWT4JRG
| URI | m2://inv/XF9PWT4JRG |
|---|---|
| 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.40274#SCUE (statement). In 7ZDNJC9MST/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Theorem II XFA1XP6DWY
| URI | m2://inv/XFA1XP6DWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of integration (calculus)#9MF9, Theorem II (statement)
History
- 2026-11-02: add by m2/dev
Vinayak Vatsal XFA43ARPNW
| URI | m2://inv/XFA43ARPNW |
|---|---|
| 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#7WDJ, Vinayak Vatsal (unknown)
History
- 2026-11-02: add by m2/dev
XFA77FM960 XFA77FM960
| URI | m2://inv/XFA77FM960 |
|---|---|
| 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 2610.21475#F2OW (definition). In TTRSZVT4VX/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.4.2
Standard facts XFA9FKG2TG
| URI | m2://inv/XFA9FKG2TG |
|---|---|
| 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.12713#2B0B, Standard facts (statement). In F14A5HX20Q/e1, lemma D.1.1
History
- 2026-10-28: add by m2/v0.4.2
Examples XFAA2PDYBG
| URI | m2://inv/XFAA2PDYBG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End (graph theory)#RPK2, Examples (example)
History
- 2026-11-02: add by m2/dev
Extensions XFAF6C1A47
| URI | m2://inv/XFAF6C1A47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bricard octahedron#P8G0, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Reflection invariant vector function XFAG0N5HRH
| URI | m2://inv/XFAG0N5HRH |
|---|---|
| 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 2609.29671#FQOV, Reflection invariant vector function (definition)
History
- 2026-11-01: add by m2/v0.6.15
XFAH3KCQG8 XFAH3KCQG8
| URI | m2://inv/XFAH3KCQG8 |
|---|---|
| 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.13847#ZDIV (statement). In S4FHV821A2/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
XFAJDTA59H XFAJDTA59H
| URI | m2://inv/XFAJDTA59H |
|---|---|
| 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.10325#U6OR (statement). In 66CDJ94PGW/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Kyle Gass XFB0H83H7G
| URI | m2://inv/XFB0H83H7G |
|---|---|
| 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#AML6, Kyle Gass (unknown)
History
- 2026-11-02: add by m2/dev
quaternionic manifold XFB5VNV0JK
| URI | m2://inv/XFB5VNV0JK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48816073, quaternionic manifold (unknown). Also nLab quaternionic manifold
- wikipedia: Wikipedia Quaternionic manifold, Quaternionic manifold (definition). Also Wikidata Q48816073
History
- 2026-10-26: add by m2/dev
National Health Service XFB7YVFQEG
| URI | m2://inv/XFB7YVFQEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#J9WU, National Health Service (unknown)
History
- 2026-11-02: add by m2/dev
Variants XFBHKFQCV7
| URI | m2://inv/XFBHKFQCV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobordism#LRKN, Variants (statement)
History
- 2026-11-02: add by m2/dev
XFBZ75X3M7 XFBZ75X3M7
| URI | m2://inv/XFBZ75X3M7 |
|---|---|
| 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#OH7G (statement). In BCD0ATARNZ/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
XFC4SC30WW XFC4SC30WW
| URI | m2://inv/XFC4SC30WW |
|---|---|
| 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.00337#JQKI (statement). In 5STQ3ABZ60/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
*{Theorem 1.6 XFC5HRXQPZ
| URI | m2://inv/XFC5HRXQPZ |
|---|---|
| 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.21945#VXD7, *{Theorem 1.6 (statement). In 371P9QASSJ/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.4.2
Algebraic properties XFC8EQCMT2
| URI | m2://inv/XFC8EQCMT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic group#COOJ, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Comparison of statistical packages XFCB7AVMP3
| URI | m2://inv/XFCB7AVMP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CARW, Comparison of statistical packages (definition)
History
- 2026-11-02: add by m2/dev
XFCH9PDAAD XFCH9PDAAD
| URI | m2://inv/XFCH9PDAAD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#J8WE (example)
History
- 2026-11-01: add by m2/v0.6.15
Transformation under a linear time scaling XFCRXTVT5P
| URI | m2://inv/XFCRXTVT5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15466#FH61, Transformation under a linear time scaling (statement). In KJ7V6XG4M7/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Character theory XFCZMSQBNR
| URI | m2://inv/XFCZMSQBNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#RUU6, Character theory (definition)
History
- 2026-11-02: add by m2/dev
XFD0F8QS2A XFD0F8QS2A
| URI | m2://inv/XFD0F8QS2A |
|---|---|
| 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.15313#C1M7 (statement). In KWKY1CWG1Z/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Examples XFD5SF7700
| URI | m2://inv/XFD5SF7700 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual space#6EHJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Cartan-Iwasawa-Malcev theorem XFD6R0XWVQ
| URI | m2://inv/XFD6R0XWVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#ELET, Cartan-Iwasawa-Malcev theorem (definition)
History
- 2026-11-02: add by m2/dev
XFDF12NHJ8 XFDF12NHJ8
| URI | m2://inv/XFDF12NHJ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#H517 (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
prime number XFDJZQ7KTY
| URI | m2://inv/XFDJZQ7KTY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.10/prime-number, prime number (concept). In N54F33XE07, index, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
XFDYSAYG3E XFDYSAYG3E
| URI | m2://inv/XFDYSAYG3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20542#2CVR (statement). In 8PZXZ8Y9FK/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Kazuo Iwama XFDZMZ3CG2
| URI | m2://inv/XFDZMZ3CG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D8ZM, Kazuo Iwama (unknown)
History
- 2026-11-02: add by m2/dev
XFE0W4J9FH XFE0W4J9FH
| URI | m2://inv/XFE0W4J9FH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#MAN2 (example). In 1QSCT53ZED/e1, example 7.5
History
- 2026-10-27: add by m2/v0.4.0
Gaussian Naive Bayes XFE2RM022D
| URI | m2://inv/XFE2RM022D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naive Bayes classifier#4HHS, Gaussian Naive Bayes (unknown)
History
- 2026-11-02: add by m2/dev
Arithmetic–geometric mean XFE4T2KFED
| URI | m2://inv/XFE4T2KFED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulae involving π#5NZJ, Arithmetic–geometric mean (definition)
History
- 2026-11-02: add by m2/dev
XFEEZKPQNB XFEEZKPQNB
| URI | m2://inv/XFEEZKPQNB |
|---|---|
| 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.17442#Y1UC (statement). In 6ADGJ51W1P/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Fresh extensions XFET32AZ21
| URI | m2://inv/XFET32AZ21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.08027#5HZF, Fresh extensions (statement). In YF3CEQDXGQ/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Change of variables XFEVC7GS30
| URI | m2://inv/XFEVC7GS30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of variables, Change of variables (definition). Also Wikidata Q1934165
History
- 2026-11-02: add by m2/dev
XFEXE0TMHN XFEXE0TMHN
| URI | m2://inv/XFEXE0TMHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#TJAL (statement). In 1QSCT53ZED/e1, corollary 9.4
History
- 2026-10-27: add by m2/v0.4.0
XFEYSM849F XFEYSM849F
| URI | m2://inv/XFEYSM849F |
|---|---|
| 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.02893#UO5J (statement). In DQ9TAGM5XP/e1, lemma S.1
History
- 2026-10-29: add by m2/v0.4.12
XFEYW87EY2 XFEYW87EY2
| URI | m2://inv/XFEYW87EY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.30482#IJDS (statement). In KWB9M5YH9G/e1, proposition 9.1
History
- 2026-10-31: add by m2/v0.5.6
honey bee XFF0TBYTD7
| URI | m2://inv/XFF0TBYTD7 |
|---|---|
| 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#Q476, honey bee (unknown)
History
- 2026-11-02: add by m2/dev
concept class XFF3KZ9K0A
| URI | m2://inv/XFF3KZ9K0A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5158394, concept class (concept). Also MathWorld Concept
- wikipedia: Wikipedia Concept class, Concept class (definition). Also Wikidata Q5158394
History
- 2026-10-26: add by m2/dev
Fisher–Yates shuffle XFF6CTRRV0
| URI | m2://inv/XFF6CTRRV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#UEXP, Fisher–Yates shuffle (unknown)
History
- 2026-11-02: add by m2/dev
Applications XFF74AK369
| URI | m2://inv/XFF74AK369 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski addition#SS9C, Applications (example)
History
- 2026-11-02: add by m2/dev
Disposition XFFAAN55NB
| URI | m2://inv/XFFAAN55NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disposition, Disposition (definition). Also Wikidata Q1149305
History
- 2026-11-02: add by m2/dev
Weiss Monotonicity Formula XFFBQJ11ZA
| URI | m2://inv/XFFBQJ11ZA |
|---|---|
| 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.18270#R3HM, Weiss Monotonicity Formula (statement). In CPDMYJ0NJV/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
Tibor Szele XFFCPVWDQF
| URI | m2://inv/XFFCPVWDQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NBD2, Tibor Szele (topic)
History
- 2026-11-02: add by m2/dev
Nicole De Grande-De Kimpe XFFH3Y1WNT
| URI | m2://inv/XFFH3Y1WNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicole De Grande-De Kimpe, Nicole De Grande-De Kimpe (topic). Also Wikidata Q94767661
History
- 2026-11-02: add by m2/dev
Zvi Galil XFFPZGVAWS
| URI | m2://inv/XFFPZGVAWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZZIW, Zvi Galil (topic)
History
- 2026-11-02: add by m2/dev
Examples XFG0R2QSZV
| URI | m2://inv/XFG0R2QSZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ind-scheme#PMKL, Examples (example)
History
- 2026-11-02: add by m2/dev
XFGAY3KHS0 XFGAY3KHS0
| URI | m2://inv/XFGAY3KHS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#RN1R (statement). In 7PACGDW3N7/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.0
XFGBK4G4GS XFGBK4G4GS
| URI | m2://inv/XFGBK4G4GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#822N (statement). In DFZWC9HY0T/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
rhombic triacontahedron XFGCGB0QY9
| URI | m2://inv/XFGCGB0QY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1141696, rhombic triacontahedron (object). Also MathWorld RhombicTriacontahedron
- wikipedia: Wikipedia Rhombic triacontahedron, Rhombic triacontahedron (definition). Also Wikidata Q1141696
History
- 2026-10-26: add by m2/dev
XFGFBT9V9Q XFGFBT9V9Q
| URI | m2://inv/XFGFBT9V9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16388#W2C1 (statement). In Q62MDENP26/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Metanilpotent group XFGN0HQ3W4
| URI | m2://inv/XFGN0HQ3W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metanilpotent group, Metanilpotent group (definition). Also Wikidata Q16942017
History
- 2026-11-02: add by m2/dev
Properties XFGNVJ18VP
| URI | m2://inv/XFGNVJ18VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit cycle#0RJB, Properties (statement)
History
- 2026-11-02: add by m2/dev
equivalence XFGPD3YYYA
| URI | m2://inv/XFGPD3YYYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IRBJ, equivalence (definition)
History
- 2026-11-02: add by m2/dev
Formal definition XFGTCE7VZD
| URI | m2://inv/XFGTCE7VZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superreal number#QUM3, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Ihara's formula XFGTEN5NXG
| URI | m2://inv/XFGTEN5NXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ihara zeta function#VQFM, Ihara's formula (statement)
History
- 2026-11-02: add by m2/dev
XFGVP5Q7P5 XFGVP5Q7P5
| URI | m2://inv/XFGVP5Q7P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#4M2M (statement). In GJKRVZ5YN5/e1, proposition 24
History
- 2026-10-27: add by m2/v0.3.5
variable XFGWP80RAR
| URI | m2://inv/XFGWP80RAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#Y3KU, variable (definition)
History
- 2026-11-02: add by m2/dev
XFGZHAHKKC XFGZHAHKKC
| URI | m2://inv/XFGZHAHKKC |
|---|---|
| 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.21900#WWKZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Solutions of first-order rational difference equations XFH5BAXFAG
| URI | m2://inv/XFH5BAXFAG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational difference equation#SZQ9, Solutions of first-order rational difference equations (unknown)
History
- 2026-11-02: add by m2/dev
Sierpi\'nski coloring XFH8SDHYDG
| URI | m2://inv/XFH8SDHYDG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-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.01919#O05A, Sierpi\'nski coloring (example). In 4H727T2YAS/e1, example 6.2
History
- 2026-10-29: add by m2/v0.4.12
XFHBRA7ZX5 XFHBRA7ZX5
| URI | m2://inv/XFHBRA7ZX5 |
|---|---|
| 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.24553#S3NR (statement)
History
- 2026-11-01: add by m2/v0.6.15
XFHC0JP68J XFHC0JP68J
| URI | m2://inv/XFHC0JP68J |
|---|---|
| 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#ZZSE (statement). In HX63A1PH1W/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.3
Properties XFHCJX5C8Z
| URI | m2://inv/XFHCJX5C8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subsumption lattice#OI2K, Properties (statement)
History
- 2026-11-02: add by m2/dev
category, center of XFHK4EHWPY
| URI | m2://inv/XFHK4EHWPY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.1/category-center-of, category, center of (concept). In N54F33XE07, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
contact area XFHR3805YB
| URI | m2://inv/XFHR3805YB |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 74M15 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5164821, contact area (topic)
History
- 2026-10-26: add by m2/dev
XFHT0HH69D XFHT0HH69D
| URI | m2://inv/XFHT0HH69D |
|---|---|
| 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.12295#5YV4 (statement). In 6DZPR52HRP/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
XFHVB9B8QC XFHVB9B8QC
| URI | m2://inv/XFHVB9B8QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39347#SKTQ (statement). In KBBA2FKDBH/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Support criterion XFHYRWBVT2
| URI | m2://inv/XFHYRWBVT2 |
|---|---|
| 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.05892#BYUR, Support criterion (statement). In PXWRTA62JK/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
XFJ5SEJ85M XFJ5SEJ85M
| URI | m2://inv/XFJ5SEJ85M |
|---|---|
| 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#31AD (statement). In 79Y8JJMKP4/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
XFJ62G83CC XFJ62G83CC
| URI | m2://inv/XFJ62G83CC |
|---|---|
| Kind | problem |
| 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.07508#BSP0 (problem). In TPA3E67MKK/e1, problem 10.2
History
- 2026-10-29: add by m2/v0.4.10
XFJ78BXTGS XFJ78BXTGS
| URI | m2://inv/XFJ78BXTGS |
|---|---|
| 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.20758#U6LZ (statement). In PG0B4PH9YH/e1, corollary 5.21
History
- 2026-10-27: add by m2/v0.4.2
Numberlink XFJ8H9YGZH
| URI | m2://inv/XFJ8H9YGZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#K7G2, Numberlink (definition)
History
- 2026-11-02: add by m2/dev
Raziuddin Siddiqui XFJCH041DZ
| URI | m2://inv/XFJCH041DZ |
|---|---|
| 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#ZVX8, Raziuddin Siddiqui (unknown)
History
- 2026-11-02: add by m2/dev
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L181}{\Verb|of\_sum\_natAbs\_lt| XFJE5V42VX
| URI | m2://inv/XFJE5V42VX |
|---|---|
| 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.16323#GDHE, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L181}{\Verb|of\_sum\_natAbs\_lt| (statement). In E215DFNY09/e1, lemma Lemma
History
- 2026-10-28: add by m2/v0.4.2
XFJEX2XH2P XFJEX2XH2P
| URI | m2://inv/XFJEX2XH2P |
|---|---|
| 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.29152#QRS0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications XFJHMCWE12
| URI | m2://inv/XFJHMCWE12 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transvectant#8JE8, Applications (example)
History
- 2026-11-02: add by m2/dev
Converse accident XFJV58V4J4
| URI | m2://inv/XFJV58V4J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Converse accident, Converse accident (definition). Also Wikidata Q2916179
History
- 2026-11-02: add by m2/dev
generating function, exponential XFJY9JSCTV
| URI | m2://inv/XFJY9JSCTV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/8.6/generating-function-exponential, generating function, exponential (concept). In QKM9DD2H56, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Alberto Pappiani XFJZCM9KW8
| URI | m2://inv/XFJZCM9KW8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alberto Pappiani, Alberto Pappiani (topic). Also Wikidata Q21208842
History
- 2026-11-02: add by m2/dev
Pi Term Predicate $\Pi_i^{\El}$ XFK57V2EK8
| URI | m2://inv/XFK57V2EK8 |
|---|---|
| Kind | definition |
| 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.21131#WEC9, Pi Term Predicate $\Pi_i^{\El}$ (definition). In CPYWHRTPKC/e1, definition 7.10
History
- 2026-10-27: add by m2/v0.4.2
Partial correlation XFK8HW0XBN
| URI | m2://inv/XFK8HW0XBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial correlation, Partial correlation (definition). Also Wikidata Q2998010
History
- 2026-11-02: add by m2/dev
Capacity characterization under non-negative perturbative kernels XFKDAFGH7Z
| URI | m2://inv/XFKDAFGH7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19715#REPK, Capacity characterization under non-negative perturbative kernels (statement). In XXMP1Z495D/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
XFKGXZKWBC XFKGXZKWBC
| URI | m2://inv/XFKGXZKWBC |
|---|---|
| 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.20134#NUN0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
XFKHZ1HX7G XFKHZ1HX7G
| URI | m2://inv/XFKHZ1HX7G |
|---|---|
| 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.28143#F6N6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XFKSBKH1WG XFKSBKH1WG
| URI | m2://inv/XFKSBKH1WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 49.3
History
- 2026-11-01: add by m2/v0.6.13
Local law -- Poisson regime XFM2P0AQMA
| URI | m2://inv/XFM2P0AQMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#7PDI, Local law -- Poisson regime (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sign-indefinite hetero-dimensional interaction XFMMJ1Z22E
| URI | m2://inv/XFMMJ1Z22E |
|---|---|
| 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.34938#HXQC, Sign-indefinite hetero-dimensional interaction (statement). In N57GZ5N6E1/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
XFMPESD3VE XFMPESD3VE
| URI | m2://inv/XFMPESD3VE |
|---|---|
| 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 2106.11898#37UF (statement). In KXXV5X8AG4/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.6
Peter A. Lachenbruch XFN521AXHD
| URI | m2://inv/XFN521AXHD |
|---|---|
| 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#2HRU, Peter A. Lachenbruch (topic)
History
- 2026-11-02: add by m2/dev
XFNDTZF9D9 XFNDTZF9D9
| URI | m2://inv/XFNDTZF9D9 |
|---|---|
| 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 2609.20647#QYG4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
cycle XFNF0R3VMT
| URI | m2://inv/XFNF0R3VMT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/cycle, cycle (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Definition XFNQ8S4BJK
| URI | m2://inv/XFNQ8S4BJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chip-firing game#R4QR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Yehoshua Bar-Hillel XFP344E18D
| URI | m2://inv/XFP344E18D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#NC6D, Yehoshua Bar-Hillel (topic)
History
- 2026-11-02: add by m2/dev
XFP61NXXXS XFP61NXXXS
| URI | m2://inv/XFP61NXXXS |
|---|---|
| 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.25524#L081 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XFP7D7ZMHB XFP7D7ZMHB
| URI | m2://inv/XFP7D7ZMHB |
|---|---|
| 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.25390#J77S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stable rank lifting XFP9FHBT9F
| URI | m2://inv/XFP9FHBT9F |
|---|---|
| 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.39855#2YD3, Stable rank lifting (statement). In E1KFX0NW51/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
460 (number) XFPB8HQEX5
| URI | m2://inv/XFPB8HQEX5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#RVQM, 460 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Spearman, Charles XFPBNPB6RG
| URI | m2://inv/XFPBNPB6RG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RDI0, Spearman, Charles (topic)
History
- 2026-11-02: add by m2/dev
XFPDJY6CKT XFPDJY6CKT
| URI | m2://inv/XFPDJY6CKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#R8I8 (statement). In 4X12V9RS0D/e1, theorem D.1
History
- 2026-10-27: add by m2/v0.3.5
Basic hypergeometric series XFPG2606K2
| URI | m2://inv/XFPG2606K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#PFOZ, Basic hypergeometric series (definition)
History
- 2026-11-02: add by m2/dev
H.R. Haldeman XFPR8G1YBV
| URI | m2://inv/XFPR8G1YBV |
|---|---|
| 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#II5H, H.R. Haldeman (unknown)
History
- 2026-11-02: add by m2/dev
Jürgen Pilz XFPS7D66VC
| URI | m2://inv/XFPS7D66VC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jürgen Pilz, Jürgen Pilz (topic). Also Wikidata Q84118683
History
- 2026-11-02: add by m2/dev
Examples XFQ2RSVXAK
| URI | m2://inv/XFQ2RSVXAK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prouhet–Tarry–Escott problem#JZHI, Examples (example)
History
- 2026-11-02: add by m2/dev
Square root biased sampling XFQ83Z5444
| URI | m2://inv/XFQ83Z5444 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#88F4, Square root biased sampling (definition)
History
- 2026-11-02: add by m2/dev
Casselman-Wallach XFQAZPEQYR
| URI | m2://inv/XFQAZPEQYR |
|---|---|
| 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 math/0301148#0IL8, Casselman-Wallach (statement). In 5RE15848Z0/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
XFQFWN49ZT XFQFWN49ZT
| URI | m2://inv/XFQFWN49ZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#example-1 (example). In RZP28ERRZV, example, section 91.1
History
- 2026-11-01: add by m2/v0.6.13
Orthocentroidal circle XFQM785ZDT
| URI | m2://inv/XFQM785ZDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#CKDO, Orthocentroidal circle (definition)
History
- 2026-11-02: add by m2/dev
XFQQN9K32E XFQQN9K32E
| URI | m2://inv/XFQQN9K32E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#N405 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Central datum in genus zero XFQWTZENZ7
| URI | m2://inv/XFQWTZENZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#JLA0, Central datum in genus zero (statement)
History
- 2026-11-02: add by m2/v0.6.18
Boris Dubrovin XFR5BG9K77
| URI | m2://inv/XFR5BG9K77 |
|---|---|
| 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#206W, Boris Dubrovin (topic)
History
- 2026-11-02: add by m2/dev
Error detection and correction XFR6NARAQ0
| URI | m2://inv/XFR6NARAQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error detection and correction, Error detection and correction (definition). Also Wikidata Q1062839
History
- 2026-11-02: add by m2/dev
XFRAQRSDER XFRAQRSDER
| URI | m2://inv/XFRAQRSDER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#5T8S (statement). In AZMX0CY5NE/e1, proposition 34
History
- 2026-10-27: add by m2/v0.4.2
XFRBNC2FVS XFRBNC2FVS
| URI | m2://inv/XFRBNC2FVS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-17 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Definitions XFRNA49AQD
| URI | m2://inv/XFRNA49AQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visibility polygon#7SU6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Theorem XFRPE9TH8M
| URI | m2://inv/XFRPE9TH8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear continuum#T3LM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XFRQBNFPTT XFRQBNFPTT
| URI | m2://inv/XFRQBNFPTT |
|---|---|
| Kind | example |
| 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.21295#KU6K (example)
History
- 2026-11-02: add by m2/v0.6.18
Girard Desargues XFRTXJFD3D
| URI | m2://inv/XFRTXJFD3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Girard Desargues, Girard Desargues (topic). Also Wikidata Q152817
History
- 2026-11-02: add by m2/dev
XFRXX086HM XFRXX086HM
| URI | m2://inv/XFRXX086HM |
|---|---|
| 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.03298#KW1J (statement). In 9SBZP218SM/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
ROOT XFS09S6BNP
| URI | m2://inv/XFS09S6BNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#YUNO, ROOT (unknown)
History
- 2026-11-02: add by m2/dev
XFS1PGHGHF XFS1PGHGHF
| URI | m2://inv/XFS1PGHGHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2601.13782#5BPJ (statement). In 12RSHWCNMX/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
XFS38M32ZN XFS38M32ZN
| URI | m2://inv/XFS38M32ZN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#YCFB (example). In M0SQY5EZN5/e1, example 3.0.9
History
- 2026-10-27: add by m2/v0.3.5
XFS3KBX0ZM XFS3KBX0ZM
| URI | m2://inv/XFS3KBX0ZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#WJST (definition). In CB68ATPEV9/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
The shrinking wedge of circles XFSAZZSK5B
| URI | m2://inv/XFSAZZSK5B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#example-2, The shrinking wedge of circles (example). In RZP28ERRZV, example, section 53.1
History
- 2026-11-01: add by m2/v0.6.13
XFSGWD34VC XFSGWD34VC
| URI | m2://inv/XFSGWD34VC |
|---|---|
| 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.15019#S4I5 (statement). In 9GWQN1DYM1/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
XFSP814729 XFSP814729
| URI | m2://inv/XFSP814729 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#IPKJ (statement). In K7VY50VFK6/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
XFSW9MSXGG XFSW9MSXGG
| URI | m2://inv/XFSW9MSXGG |
|---|---|
| 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.24845#9324 (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of largest video game companies by revenue XFT4WQX7ZC
| URI | m2://inv/XFT4WQX7ZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of largest video game companies by revenue, List of largest video game companies by revenue (topic). Also Wikidata Q124205193
History
- 2026-11-02: add by m2/dev
XFTG4DF6KH XFTG4DF6KH
| URI | m2://inv/XFTG4DF6KH |
|---|---|
| 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#R1UI (statement). In F4YTAZSCS2/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Order-4 pentagonal tiling XFTJEN4BBN
| URI | m2://inv/XFTJEN4BBN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7100400, Order-4 pentagonal tiling (unknown). Also MathWorld HyperbolicTiling
- wikipedia: Wikipedia Order-4 pentagonal tiling, Order-4 pentagonal tiling (object). Also Wikidata Q7100400
History
- 2026-10-26: add by m2/dev
XFTZ9J7FD7 XFTZ9J7FD7
| URI | m2://inv/XFTZ9J7FD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.17737#L6BJ (statement). In 8SXY7Y68HV/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Mendelian randomization XFTZE81WJV
| URI | m2://inv/XFTZE81WJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8ON8, Mendelian randomization (definition)
History
- 2026-11-02: add by m2/dev
XFV6TEF12K XFV6TEF12K
| URI | m2://inv/XFV6TEF12K |
|---|---|
| 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.19283#2NNS (statement). In 28BAGZRCKG/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
RSA-490 XFV84FA5SM
| URI | m2://inv/XFV84FA5SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#0FWB, RSA-490 (unknown)
History
- 2026-11-02: add by m2/dev
multiple adjacency XFVD9P1NCV
| URI | m2://inv/XFVD9P1NCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#N2AJ, multiple adjacency (definition)
History
- 2026-11-02: add by m2/dev
Definition XFVDFGS651
| URI | m2://inv/XFVDFGS651 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor function#J4QK, Definition (definition)
History
- 2026-11-02: add by m2/dev
XFVTH5KQ4Q XFVTH5KQ4Q
| URI | m2://inv/XFVTH5KQ4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#TW00 (statement). In 2VQ90WEZKB/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Uniformized KL inequality XFVTP7RRZ9
| URI | m2://inv/XFVTP7RRZ9 |
|---|---|
| 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.28306#MYX3, Uniformized KL inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Birectified 5-cube XFVXZ24JMY
| URI | m2://inv/XFVXZ24JMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 5-cubes#QJ2L, Birectified 5-cube (unknown)
History
- 2026-11-02: add by m2/dev
Complete graph XFW0X9K2WQ
| URI | m2://inv/XFW0X9K2WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8ZAN, Complete graph (definition)
History
- 2026-11-02: add by m2/dev
Edward Plunkett, 18th Baron of Dunsany XFW1DVAJQJ
| URI | m2://inv/XFW1DVAJQJ |
|---|---|
| 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 Q458658, Edward Plunkett, 18th Baron of Dunsany (unknown). Also ProofWiki Mathematician:Edward_John_Moreton_Drax_Plunkett
History
- 2026-10-26: add by m2/dev
Granny knot (mathematics) XFW268BK9C
| URI | m2://inv/XFW268BK9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#IZKK, Granny knot (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
XFW279CW80 XFW279CW80
| URI | m2://inv/XFW279CW80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-5 (statement). In E59CDZA4DP, prop, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Cartan–Kuranishi prolongation theorem XFW6CCB5A4
| URI | m2://inv/XFW6CCB5A4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8USG, Cartan–Kuranishi prolongation theorem (statement)
History
- 2026-11-02: add by m2/dev
XFW6GSDXJ1 XFW6GSDXJ1
| URI | m2://inv/XFW6GSDXJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#KL4M (statement). In SQZGKRDVBX/e1, theorem 3.10
History
- 2026-10-31: add by m2/v0.5.6
Strichartz estimate XFWQMYEHFM
| URI | m2://inv/XFWQMYEHFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strichartz estimate, Strichartz estimate (definition). Also Wikidata Q18393075
History
- 2026-11-02: add by m2/dev
rig XFWXPW19YF
| URI | m2://inv/XFWXPW19YF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#UZ34, rig (definition)
History
- 2026-11-02: add by m2/dev
XFX4Q07KWE XFX4Q07KWE
| URI | m2://inv/XFX4Q07KWE |
|---|---|
| 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.33124#CLJQ (definition). In P27HYGQDAN/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
XFX8TVSQ0S XFX8TVSQ0S
| URI | m2://inv/XFX8TVSQ0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2608.16453#9KP1 (statement). In BG3X7ZAEK1/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Von Neumann's 1925 axiom system XFXC99EKPR
| URI | m2://inv/XFXC99EKPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#QLAT, Von Neumann's 1925 axiom system (statement)
History
- 2026-11-02: add by m2/dev
Polygenic score XFXKK7QE6H
| URI | m2://inv/XFXKK7QE6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygenic score, Polygenic score (definition). Also Wikidata Q28135712
History
- 2026-11-02: add by m2/dev
Non-local quantum computation XFXQK2WM9W
| URI | m2://inv/XFXQK2WM9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-local quantum computation, Non-local quantum computation (definition). Also Wikidata Q136128812
History
- 2026-11-02: add by m2/dev
Examples XFXS61RC88
| URI | m2://inv/XFXS61RC88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation (Jordan algebra)#TIR5, Examples (example)
History
- 2026-11-02: add by m2/dev
Achenwall, Gottfried XFXZR2NV11
| URI | m2://inv/XFXZR2NV11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OLNP, Achenwall, Gottfried (topic)
History
- 2026-11-02: add by m2/dev
XFY11S3Z3J XFY11S3Z3J
| URI | m2://inv/XFY11S3Z3J |
|---|---|
| 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.14068#V2RZ (statement). In JF19FEH3SW/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
frame XFY3ASKF83
| URI | m2://inv/XFY3ASKF83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#C0HA, frame (definition)
History
- 2026-11-02: add by m2/dev
XFYADVSZ7T XFYADVSZ7T
| URI | m2://inv/XFYADVSZ7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#H5UU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Probabilistic abduction XFYFYDK188
| URI | m2://inv/XFYFYDK188 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abductive reasoning#6JW6, Probabilistic abduction (unknown)
History
- 2026-11-02: add by m2/dev
XFYMFMETNJ XFYMFMETNJ
| URI | m2://inv/XFYMFMETNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#AMUY (statement). In EBMHYN0XK9/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Problem of points XFYN7YCZKT
| URI | m2://inv/XFYN7YCZKT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of points, Problem of points (problem). Also Wikidata Q623680
History
- 2026-11-02: add by m2/dev
An exact Row--Max transition under aligned test anisotropy XFYTR7FNMB
| URI | m2://inv/XFYTR7FNMB |
|---|---|
| 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.11309#D2QV, An exact Row--Max transition under aligned test anisotropy (statement). In TTEAQA1XXR/e1, proposition G.4
History
- 2026-10-28: add by m2/v0.4.3
XFZ8TDAM6S XFZ8TDAM6S
| URI | m2://inv/XFZ8TDAM6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.35543#ZJBP (statement). In WSG1ZW956E/e1, proposition 7.8
History
- 2026-10-30: add by m2/v0.4.12
XFZ9B1DR9K XFZ9B1DR9K
| URI | m2://inv/XFZ9B1DR9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn-5 (definition). In N54F33XE07, defn, section C.2
History
- 2026-11-01: add by m2/v0.6.13
325 (number) XFZBA1NNT2
| URI | m2://inv/XFZBA1NNT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#Q946, 325 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Opinion XFZDKNBZ1Q
| URI | m2://inv/XFZDKNBZ1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion, Opinion (definition). Also Wikidata Q3962655
History
- 2026-11-02: add by m2/dev
XFZKS53KKC XFZKS53KKC
| URI | m2://inv/XFZKS53KKC |
|---|---|
| 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.03337#4PRA (statement). In VH7EZDGTNA/e1, theorem 2.11
History
- 2026-10-29: add by m2/v0.4.12
XFZNT4SXV2 XFZNT4SXV2
| URI | m2://inv/XFZNT4SXV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03368#KZMG (statement). In 1X4EY4YCQJ/e1, theorem #1
History
- 2026-10-29: add by m2/v0.4.12
GADGET XFZRRR3ATH
| URI | m2://inv/XFZRRR3ATH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#LB9O, GADGET (unknown)
History
- 2026-11-02: add by m2/dev
Technical drawing XFZTRX415W
| URI | m2://inv/XFZTRX415W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#6PVN, Technical drawing (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0OC2, Technical drawing (unknown)
History
- 2026-11-02: add by m2/dev
Minimal polynomial XFZWBHPPGG
| URI | m2://inv/XFZWBHPPGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#D1FG, Minimal polynomial (definition)
History
- 2026-11-02: add by m2/dev