Inventory rows JS
The cards of the rows of the inventory whose ids start with JS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Statgraphics JS062EN5MH
| URI | m2://inv/JS062EN5MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#TXNL, Statgraphics (definition)
History
- 2026-11-02: add by m2/dev
JS07JS6NX1 JS07JS6NX1
| URI | m2://inv/JS07JS6NX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#corollary-2 (statement). In RZP28ERRZV, corollary, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
Predicate logic JS07VEQDB4
| URI | m2://inv/JS07VEQDB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#PU96, Predicate logic (definition)
History
- 2026-11-02: add by m2/dev
JS07XWVA2Z JS07XWVA2Z
| URI | m2://inv/JS07XWVA2Z |
|---|---|
| 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.11517#6WX5 (statement). In 87NF85QAKT/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.3
Siebenhengste-Hohgant-Höhle JS09YGGQWV
| URI | m2://inv/JS09YGGQWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1Q89, Siebenhengste-Hohgant-Höhle (unknown)
History
- 2026-11-02: add by m2/dev
JS0A5TARG7 JS0A5TARG7
| URI | m2://inv/JS0A5TARG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34295#3XD2 (statement). In A93R925Z24/e1, corollary 12.2
History
- 2026-10-30: add by m2/v0.4.12
Symmetry JS0DTQM2QF
| URI | m2://inv/JS0DTQM2QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrapentagonal tiling#NWFR, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Definition JS0FBT7YZR
| URI | m2://inv/JS0FBT7YZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue spine#296L, Definition (definition)
History
- 2026-11-02: add by m2/dev
JS0G7AK7WK JS0G7AK7WK
| URI | m2://inv/JS0G7AK7WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#UW1Y (statement). In MNQAZ70XTH/e1, proposition 11.8
History
- 2026-10-28: add by m2/v0.4.3
Robin Gandy JS0G8PB9ZE
| URI | m2://inv/JS0G8PB9ZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robin Gandy, Robin Gandy (topic). Also Wikidata Q249984
History
- 2026-11-02: add by m2/dev
JS0GPWQ7BX JS0GPWQ7BX
| URI | m2://inv/JS0GPWQ7BX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 9.9.1
History
- 2026-11-01: add by m2/v0.6.13
JS0P4EG24B JS0P4EG24B
| URI | m2://inv/JS0P4EG24B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#KTL3 (statement). In G02N9D40B9/e1, theorem 6.3.2
History
- 2026-10-29: add by m2/v0.4.10
arcsine JS0QGWV5BW
| URI | m2://inv/JS0QGWV5BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q674517, arcsine (definition). Also MathWorld InverseSine, ProofWiki Definition:Inverse_Sine
History
- 2026-10-26: add by m2/dev
Phokion G. Kolaitis JS0VP45X71
| URI | m2://inv/JS0VP45X71 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phokion G. Kolaitis, Phokion G. Kolaitis (topic). Also Wikidata Q62560059
History
- 2026-11-02: add by m2/dev
semantically closed language JS10H99XMW
| URI | m2://inv/JS10H99XMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QO25, semantically closed language (definition)
History
- 2026-11-02: add by m2/dev
JS10PDEBV8 JS10PDEBV8
| URI | m2://inv/JS10PDEBV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28880#RTKZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
JS14FFHQ5B JS14FFHQ5B
| URI | m2://inv/JS14FFHQ5B |
|---|---|
| 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.24463#E87I (statement)
History
- 2026-11-01: add by m2/v0.6.15
kinetic energy JS15HN9QGS
| URI | m2://inv/JS15HN9QGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q46276, kinetic energy (definition). Also ProofWiki Definition:Kinetic_Energy
- wikipedia: Wikipedia Kinetic energy, Kinetic energy (definition). Also Wikidata Q46276
History
- 2026-10-26: add by m2/dev
Zero-temperature averaged curvature JS1B4TF7CP
| URI | m2://inv/JS1B4TF7CP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#BCUH, Zero-temperature averaged curvature (statement). In 9YAE8FNQST/e1, lemma 18.7
History
- 2026-10-30: add by m2/v0.4.12
Concentration, uniformly over the width family JS1EJB4BFH
| URI | m2://inv/JS1EJB4BFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#WBVV, Concentration, uniformly over the width family (statement). In ESPJMBH2R2/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Rudy Rucker JS1PSQCBW4
| URI | m2://inv/JS1PSQCBW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#MU4C, Rudy Rucker (unknown)
History
- 2026-11-02: add by m2/dev
Revealed preference JS217QQ1J3
| URI | m2://inv/JS217QQ1J3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revealed preference, Revealed preference (definition). Also Wikidata Q1323737
History
- 2026-11-02: add by m2/dev
JS24K57RNX JS24K57RNX
| URI | m2://inv/JS24K57RNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#T5TY (statement)
History
- 2026-11-01: add by m2/v0.6.15
JS2810SY5S JS2810SY5S
| URI | m2://inv/JS2810SY5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#AR10 (definition). In RB5QBG3MJY/e1, definition 5.10
History
- 2026-10-30: add by m2/v0.4.12
Generalizations JS28KP8S0G
| URI | m2://inv/JS28KP8S0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hénon map#S3S0, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Minhyong Kim JS2D91F54K
| URI | m2://inv/JS2D91F54K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6864935, Minhyong Kim (unknown). Also nLab Minhyong Kim
- wikipedia: Wikipedia Minhyong Kim, Minhyong Kim (topic). Also Wikidata Q6864935
History
- 2026-10-26: add by m2/dev
Construction JS2GPJ6DYS
| URI | m2://inv/JS2GPJ6DYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrahedron#OZ5D, Construction (definition)
History
- 2026-11-02: add by m2/dev
Samuel Karlin JS2GQZ6258
| URI | m2://inv/JS2GQZ6258 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#5LBL, Samuel Karlin (unknown)
History
- 2026-11-02: add by m2/dev
Tarski's axioms for plane geometry JS2JRFK3TD
| URI | m2://inv/JS2JRFK3TD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#IJ0X, Tarski's axioms for plane geometry (statement)
History
- 2026-11-02: add by m2/dev
Tame discriminant formula JS2SQMR6RT
| URI | m2://inv/JS2SQMR6RT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#FELL, Tame discriminant formula (statement)
History
- 2026-11-02: add by m2/v0.6.17
Andreas Seeger JS2T0MDJCC
| URI | m2://inv/JS2T0MDJCC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreas Seeger, Andreas Seeger (topic). Also Wikidata Q62764138
History
- 2026-11-02: add by m2/dev
JS2VSCS2TT JS2VSCS2TT
| URI | m2://inv/JS2VSCS2TT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#S1Y4 (statement). In YYV9SHAPCZ/e1, proposition 2.13
History
- 2026-10-30: add by m2/v0.4.12
Olivier Ramaré JS2ZDEDQRN
| URI | m2://inv/JS2ZDEDQRN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olivier Ramaré, Olivier Ramaré (topic). Also Wikidata Q3292746
History
- 2026-11-02: add by m2/dev
Gibbs rotational ensemble JS37E79B77
| URI | m2://inv/JS37E79B77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs rotational ensemble, Gibbs rotational ensemble (definition). Also Wikidata Q118905053
History
- 2026-11-02: add by m2/dev
Spectral convergence JS37P44JSQ
| URI | m2://inv/JS37P44JSQ |
|---|---|
| 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.35558#WDVO, Spectral convergence (statement). In HR2TQ292AE/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
lightface JS3GWZ4CPK
| URI | m2://inv/JS3GWZ4CPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2V2W, lightface (definition)
History
- 2026-11-02: add by m2/dev
\qm{Reorganization of operators JS3HHPCZB5
| URI | m2://inv/JS3HHPCZB5 |
|---|---|
| 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 1803.10042#TJEH, \qm{Reorganization of operators (statement). In 718SP8YERQ/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Subgroup method JS3SGT4X4V
| URI | m2://inv/JS3SGT4X4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroup series#JRRY, Subgroup method (unknown)
History
- 2026-11-02: add by m2/dev
JS3VGSGCEY JS3VGSGCEY
| URI | m2://inv/JS3VGSGCEY |
|---|---|
| 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.21653#4DXR (statement). In 266RE655Z2/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
The bit as a single spin-bordism coordinate JS3YYC9JVT
| URI | m2://inv/JS3YYC9JVT |
|---|---|
| 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.29839#QIBC, The bit as a single spin-bordism coordinate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jung's theorem JS4BPT035V
| URI | m2://inv/JS4BPT035V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#GZYP, Jung's theorem (statement)
History
- 2026-11-02: add by m2/dev
Three-way Pythagorean split JS4D57D997
| URI | m2://inv/JS4D57D997 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25039#M0OD, Three-way Pythagorean split (statement)
History
- 2026-11-01: add by m2/v0.6.15
JS4DBZNMNE JS4DBZNMNE
| URI | m2://inv/JS4DBZNMNE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#proof-4 (proof). In RZP28ERRZV, proof, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
Gabriel Gabrielsen Holtsmark JS4M7NJF9X
| URI | m2://inv/JS4M7NJF9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#NJ5S, Gabriel Gabrielsen Holtsmark (unknown)
History
- 2026-11-02: add by m2/dev
JS4MQJPDFD JS4MQJPDFD
| URI | m2://inv/JS4MQJPDFD |
|---|---|
| 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.20097#5S6D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement of Brauer's theorem JS4NS6ARX5
| URI | m2://inv/JS4NS6ARX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer's theorem on forms#O9GJ, Statement of Brauer's theorem (statement)
History
- 2026-11-02: add by m2/dev
van der Corput JS4NZWF7SJ
| URI | m2://inv/JS4NZWF7SJ |
|---|---|
| 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.11487#MEX2, van der Corput (statement). In 8S0K3Y25HM/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Conformal latitude JS52KD19ZR
| URI | m2://inv/JS52KD19ZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#4PX2, Conformal latitude (unknown)
History
- 2026-11-02: add by m2/dev
JS586F0WDZ JS586F0WDZ
| URI | m2://inv/JS586F0WDZ |
|---|---|
| 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.24235#6HQB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local restrictions can lose the optimum without separation JS59A10VNM
| URI | m2://inv/JS59A10VNM |
|---|---|
| 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.08152#Y7RL, Local restrictions can lose the optimum without separation (statement). In T1GYQ6SCCZ/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
\bf Aggregation Lemma JS5AZZV5Q5
| URI | m2://inv/JS5AZZV5Q5 |
|---|---|
| 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 2312.14445#S5CG, \bf Aggregation Lemma (statement). In V56MKF0KW2/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Lossless compression JS5B0NJFRK
| URI | m2://inv/JS5B0NJFRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression, Lossless compression (definition). Also Wikidata Q55542
History
- 2026-11-02: add by m2/dev
JS5C4EXQPQ JS5C4EXQPQ
| URI | m2://inv/JS5C4EXQPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12053#K6LS (statement). In MQ226ETRP6/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.3
JS5NJH0KKK JS5NJH0KKK
| URI | m2://inv/JS5NJH0KKK |
|---|---|
| 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.24584#QUX5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Implementation JS5NW8EAKN
| URI | m2://inv/JS5NW8EAKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble Kalman filter#AYXW, Implementation (definition)
History
- 2026-11-02: add by m2/dev
JS5W99KRMS JS5W99KRMS
| URI | m2://inv/JS5W99KRMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#RU8Z (statement). In 22JZ68FGCW/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.3.5
JS606KR66M JS606KR66M
| URI | m2://inv/JS606KR66M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.20131#03GN (definition). In 29D4TTE3J2/e1, definition 8.4
History
- 2026-10-27: add by m2/v0.4.2
Homogeneous process JS6JDQPC8A
| URI | m2://inv/JS6JDQPC8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#W9F9, Homogeneous process (definition)
History
- 2026-11-02: add by m2/dev
final JS6K066WDV
| URI | m2://inv/JS6K066WDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#DKHN, final (definition)
History
- 2026-11-02: add by m2/dev
constructible universe JS6VG95SEJ
| URI | m2://inv/JS6VG95SEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Constructible universe 6TF2JBTPPJ |
Mentions
- wikidata: Wikidata Q2777107, constructible universe (unknown). Also nLab constructible universe
- wikipedia: Wikipedia Constructible universe, Constructible universe (definition). Also Wikidata Q2777107
History
- 2026-10-26: add by m2/dev
probability distribution JS6VWZQACJ
| URI | m2://inv/JS6VWZQACJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Probability distribution 0DVDCMA2DK |
Mentions
- wikidata: Wikidata Q200726, probability distribution (unknown). Also MathWorld StatisticalDistribution
- wikipedia: Wikipedia Probability distribution, Probability distribution (definition). Also Wikidata Q200726
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
JS6W0DCJD9 JS6W0DCJD9
| URI | m2://inv/JS6W0DCJD9 |
|---|---|
| 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.07190#30ZB (statement). In ZWS6Q4467X/e1, lemma D.4
History
- 2026-10-29: add by m2/v0.4.10
Fat-tail distribution risk estimate JS6WBVEQ6A
| URI | m2://inv/JS6WBVEQ6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat-tailed distribution#3IT7, Fat-tail distribution risk estimate (unknown)
History
- 2026-11-02: add by m2/dev
JS70J6DCCB JS70J6DCCB
| URI | m2://inv/JS70J6DCCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#Z9CI (statement). In RTE2C0PH4S/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Rank conditions from monomials and moments JS7B1GZDQW
| URI | m2://inv/JS7B1GZDQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#78VR, Rank conditions from monomials and moments (statement). In 6FY8BVP1F3/e1, corollary D.7
History
- 2026-10-29: add by m2/v0.4.12
Rom Harré JS7DZHKKPG
| URI | m2://inv/JS7DZHKKPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rom Harré, Rom Harré (topic). Also Wikidata Q2026604
History
- 2026-11-02: add by m2/dev
Four color theorem JS7JC9PJ6P
| URI | m2://inv/JS7JC9PJ6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#VUAC, Four color theorem (statement)
History
- 2026-11-02: add by m2/dev
JS7M23G4S1 JS7M23G4S1
| URI | m2://inv/JS7M23G4S1 |
|---|---|
| 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#IHP1 (statement). In 7PACGDW3N7/e1, proposition 22.1
History
- 2026-10-27: add by m2/v0.4.0
JS7NBMH2N5 JS7NBMH2N5
| URI | m2://inv/JS7NBMH2N5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2609.01473#GBDG (statement). In ABS9M47F4K/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.6
Axis truncation JS7PE3XP0E
| URI | m2://inv/JS7PE3XP0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misleading graph#V59U, Axis truncation (unknown)
History
- 2026-11-02: add by m2/dev
Properties JS7S06MXXM
| URI | m2://inv/JS7S06MXXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double coset#AEJM, Properties (statement)
History
- 2026-11-02: add by m2/dev
JS7VS112Z2 JS7VS112Z2
| URI | m2://inv/JS7VS112Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17412#313F (statement). In DPBHYJBGKD/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
Gelfand JS8FPSV9W4
| URI | m2://inv/JS8FPSV9W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#55AI, Gelfand (definition)
History
- 2026-11-02: add by m2/dev
JS8HNY5V3D JS8HNY5V3D
| URI | m2://inv/JS8HNY5V3D |
|---|---|
| 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.36411#QH9E (statement). In 9QG5CND2RQ/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
Generalizations JS8JHFZWWT
| URI | m2://inv/JS8JHFZWWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss circle problem#XJ8X, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
JS8N60H98N JS8N60H98N
| URI | m2://inv/JS8N60H98N |
|---|---|
| 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 1103.1038#NYJH (statement). In T9VMNNPS0H/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.6
JS8R6K89PN JS8R6K89PN
| URI | m2://inv/JS8R6K89PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#SZ4V (statement)
History
- 2026-11-02: add by m2/v0.6.18
JS8VP44R22 JS8VP44R22
| URI | m2://inv/JS8VP44R22 |
|---|---|
| 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.07122#0AKZ (statement). In W0ZHX9DHPV/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
A convergent version of Stirling's formula JS8WKN2R8E
| URI | m2://inv/JS8WKN2R8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling's approximation#L3AL, A convergent version of Stirling's formula (statement)
History
- 2026-11-02: add by m2/dev
JS8Y552HN5 JS8Y552HN5
| URI | m2://inv/JS8Y552HN5 |
|---|---|
| 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.00247#VITO (statement). In ZAM4S2XS9F/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
JS9ER8MD4B JS9ER8MD4B
| URI | m2://inv/JS9ER8MD4B |
|---|---|
| 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.33050#FCJ0 (definition). In VDSBMQ0G9W/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
JS9F30YSKY JS9F30YSKY
| URI | m2://inv/JS9F30YSKY |
|---|---|
| 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 2605.00407#EFQY (statement). In TVFD0G3F2W/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
coefficient bound JS9JVGF279
| URI | m2://inv/JS9JVGF279 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27495#FBIW, coefficient bound (statement). In 1TZVMC23J9/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Examples JS9V1E3986
| URI | m2://inv/JS9V1E3986 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dold–Kan correspondence#QHK3, Examples (example)
History
- 2026-11-02: add by m2/dev
JS9VFCYYXN JS9VFCYYXN
| URI | m2://inv/JS9VFCYYXN |
|---|---|
| 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.37201#URXW (statement). In HJEK865J7W/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
JS9VQ190BX JS9VQ190BX
| URI | m2://inv/JS9VQ190BX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-21 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Victor A. Vyssotsky JS9Y8KSTF4
| URI | m2://inv/JS9Y8KSTF4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor A. Vyssotsky, Victor A. Vyssotsky (topic). Also Wikidata Q93079
History
- 2026-11-02: add by m2/dev
JSA572SYEC JSA572SYEC
| URI | m2://inv/JSA572SYEC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-29 (exercise). In VNMV985MXX, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
John Smillie JSA5YFAWJ8
| URI | m2://inv/JSA5YFAWJ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Smillie (mathematician), John Smillie (topic). Also Wikidata Q102205910
History
- 2026-11-02: add by m2/dev
JSA7HS944D JSA7HS944D
| URI | m2://inv/JSA7HS944D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#GSU1 (statement). In RPC7VG3KHQ/e1, proposition 5.10
History
- 2026-10-30: add by m2/v0.4.12
Anna Wienhard JSA9FZX6MY
| URI | m2://inv/JSA9FZX6MY |
|---|---|
| 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#670X, Anna Wienhard (topic)
- wikipedia: Wikipedia List of German mathematicians#S39C, Anna Wienhard (topic)
History
- 2026-11-02: add by m2/dev
JSAD7SKAJ4 JSAD7SKAJ4
| URI | m2://inv/JSAD7SKAJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#6OEM (statement). In ESDKTYDHC8/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
JSAFASX0ZR JSAFASX0ZR
| URI | m2://inv/JSAFASX0ZR |
|---|---|
| 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.02141#28C0 (statement). In 5AB8YPS19N/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
JSAWPGHC9M JSAWPGHC9M
| URI | m2://inv/JSAWPGHC9M |
|---|---|
| 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 2609.38975#W32F (definition). In D2247CRPPE/e1, definition 23
History
- 2026-10-30: add by m2/v0.4.12
Euler's theorem JSAZX2M0WG
| URI | m2://inv/JSAZX2M0WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#GVTO, Euler's theorem (definition)
History
- 2026-11-02: add by m2/dev
David Simmons-Duffin JSB0WK292F
| URI | m2://inv/JSB0WK292F |
|---|---|
| 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 Q59674354, David Simmons-Duffin (unknown). Also nLab David Simmons-Duffin
History
- 2026-10-26: add by m2/dev
JSB3DNVVG7 JSB3DNVVG7
| URI | m2://inv/JSB3DNVVG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.17736#8P1A (statement). In 2F182H14AM/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Overlap bound for deterministic extremality regions JSB85WSGC3
| URI | m2://inv/JSB85WSGC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#4GJB, Overlap bound for deterministic extremality regions (statement). In G3E1P350Z6/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
Matrix representation of complex numbers JSC3N6B3X2
| URI | m2://inv/JSC3N6B3X2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex number#310N, Matrix representation of complex numbers (unknown)
History
- 2026-11-02: add by m2/dev
JSC75SKD7Y JSC75SKD7Y
| URI | m2://inv/JSC75SKD7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#YV3R (statement). In TSXBJB0EXK/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
Injection of the moving-point class JSCD9KXPNW
| URI | m2://inv/JSCD9KXPNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#0KY8, Injection of the moving-point class (statement). In PZJDV6SJ9E/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Rotation measure JSCG2AJCEZ
| URI | m2://inv/JSCG2AJCEZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faraday effect#5XAG, Rotation measure (unknown)
History
- 2026-11-02: add by m2/dev
JSCV6V256K JSCV6V256K
| URI | m2://inv/JSCV6V256K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#IB8I (example). In CVESAPNMCQ/e1, example 2.7
History
- 2026-10-28: add by m2/v0.4.2
Lentz's algorithm JSCXPXSS95
| URI | m2://inv/JSCXPXSS95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lentz's algorithm, Lentz's algorithm (definition). Also Wikidata Q111945507
History
- 2026-11-02: add by m2/dev
Déborah Oliveros JSD2WNB44P
| URI | m2://inv/JSD2WNB44P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Déborah Oliveros, Déborah Oliveros (topic). Also Wikidata Q102546526
History
- 2026-11-02: add by m2/dev
Masked quadratics JSD7Y0TFGZ
| URI | m2://inv/JSD7Y0TFGZ |
|---|---|
| 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.12641#KFRF, Masked quadratics (statement). In X5BYGZZHPF/e1, theorem N.2
History
- 2026-10-28: add by m2/v0.4.2
Properties JSDHDHX5M3
| URI | m2://inv/JSDHDHX5M3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguity function#HY22, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples JSDTQ7BG74
| URI | m2://inv/JSDTQ7BG74 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tricolorability#DNTV, Examples (example)
History
- 2026-11-02: add by m2/dev
Len Sassaman JSDYWV10MB
| URI | m2://inv/JSDYWV10MB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Len Sassaman, Len Sassaman (topic). Also Wikidata Q523530
History
- 2026-11-02: add by m2/dev
JSECJN7Z0K JSECJN7Z0K
| URI | m2://inv/JSECJN7Z0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32058#6V1F (statement). In N0G73NM4WC/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
JSEJSP7PTJ JSEJSP7PTJ
| URI | m2://inv/JSEJSP7PTJ |
|---|---|
| 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.12983#EH6Z (statement). In M6TFZ6E060/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Open thermal equilibrium JSEPPRKAYX
| URI | m2://inv/JSEPPRKAYX |
|---|---|
| Kind | definition |
| 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 2503.08018#6TN0, Open thermal equilibrium (definition). In TN93YFN45W/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
JSEXHHJC6R JSEXHHJC6R
| URI | m2://inv/JSEXHHJC6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#def:loopfunctor (definition). In N54F33XE07, defn, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem JSF3FQPY5Q
| URI | m2://inv/JSF3FQPY5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali–Hahn–Saks theorem#GSG8, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
truth-teller JSF5ZWGSNZ
| URI | m2://inv/JSF5ZWGSNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RG4X, truth-teller (definition)
History
- 2026-11-02: add by m2/dev
Conway kis operator JSF9EZJDYH
| URI | m2://inv/JSF9EZJDYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway polyhedron notation#R28F, Conway kis operator (unknown)
History
- 2026-11-02: add by m2/dev
JSFDGZYBQ0 JSFDGZYBQ0
| URI | m2://inv/JSFDGZYBQ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
The parity of $E_{LL}$ JSFJDF387D
| URI | m2://inv/JSFJDF387D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#5P0Y, The parity of $E_{LL}$ (statement). In 11JNM66Z09/e1, lemma 13.3
History
- 2026-10-28: add by m2/v0.4.2
Accident JSG4DF1AXD
| URI | m2://inv/JSG4DF1AXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#GZ7Z, Accident (definition)
History
- 2026-11-02: add by m2/dev
JSGCM7542K JSGCM7542K
| URI | m2://inv/JSGCM7542K |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#HOSE (unknown). In R2XC1SC9NZ/e1, unknown 6
History
- 2026-10-27: add by m2/v0.3.5
Cathy Ann Clark JSGNW4GZCQ
| URI | m2://inv/JSGNW4GZCQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cathy Ann Clark, Cathy Ann Clark (topic). Also Wikidata Q102174332
History
- 2026-11-02: add by m2/dev
British Journal of Mathematical and Statistical Psychology JSGTAK7VV0
| URI | m2://inv/JSGTAK7VV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#FEIY, British Journal of Mathematical and Statistical Psychology (definition)
History
- 2026-11-02: add by m2/dev
JSGZTBE9SA JSGZTBE9SA
| URI | m2://inv/JSGZTBE9SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#0H1C (statement). In 6VR4TY5BGV/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
compactness, Heine--Borel JSGZW0MKDK
| URI | m2://inv/JSGZW0MKDK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/compactness-heine-borel, compactness, Heine--Borel (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Perpendicular bisectors of a triangle JSH0ZK3Q0G
| URI | m2://inv/JSH0ZK3Q0G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisection#14PR, Perpendicular bisectors of a triangle (unknown)
History
- 2026-11-02: add by m2/dev
Principles JSH29S5E4J
| URI | m2://inv/JSH29S5E4J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental Principles of Official Statistics#MYZJ, Principles (statement)
History
- 2026-11-02: add by m2/dev
Newton's second law in the two frames JSH6SZRXV2
| URI | m2://inv/JSH6SZRXV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotating reference frame#PZCT, Newton's second law in the two frames (statement)
History
- 2026-11-02: add by m2/dev
JSHK3V0ZWK JSHK3V0ZWK
| URI | m2://inv/JSHK3V0ZWK |
|---|---|
| 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.06081#PUA1 (statement). In 7Z3KQRFEVG/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Souders–Brown equation JSHQ70KYVY
| URI | m2://inv/JSHQ70KYVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Souders–Brown equation, Souders–Brown equation (definition). Also Wikidata Q7564081
History
- 2026-11-02: add by m2/dev
Fundamental monomial identity JSHXMY6SB0
| URI | m2://inv/JSHXMY6SB0 |
|---|---|
| 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.20593#JEL3, Fundamental monomial identity (statement). In 7GMD8J4200/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
JSHXT9H7FW JSHXT9H7FW
| URI | m2://inv/JSHXT9H7FW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example:undampedforcedbylaplacearbitrhs (example). In E9HS8K3A52, example, section 7.3.2
History
- 2026-11-01: add by m2/v0.6.13
Convergence of the normalizer JSHZ9AM4YT
| URI | m2://inv/JSHZ9AM4YT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40203#KJRJ, Convergence of the normalizer (statement). In ECH66J4Y43/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
JSJ1WZSXWV JSJ1WZSXWV
| URI | m2://inv/JSJ1WZSXWV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 97.2
History
- 2026-11-01: add by m2/v0.6.13
Weak representation theorem JSJ2QR7SZE
| URI | m2://inv/JSJ2QR7SZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual system#2KA7, Weak representation theorem (statement)
History
- 2026-11-02: add by m2/dev
JSJ3P13HA1 JSJ3P13HA1
| URI | m2://inv/JSJ3P13HA1 |
|---|---|
| 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.21009#ZI86 (statement). In 23G8VNDWDM/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Debiased machine learning JSJ4JP99CB
| URI | m2://inv/JSJ4JP99CB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#N9A8, Debiased machine learning (definition). In T9HZXHTQBJ/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.6
Secure cryptoprocessor JSJ70WWV06
| URI | m2://inv/JSJ70WWV06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure cryptoprocessor, Secure cryptoprocessor (definition). Also Wikidata Q3698833
History
- 2026-11-02: add by m2/dev
join JSJE5NKK78
| URI | m2://inv/JSJE5NKK78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FS0N, join (definition)
History
- 2026-11-02: add by m2/dev
Holomorphic functional calculus JSJE7B50ZD
| URI | m2://inv/JSJE7B50ZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic functional calculus, Holomorphic functional calculus (topic). Also Wikidata Q1625064
History
- 2026-11-02: add by m2/dev
structural rule JSJEHFBGR6
| URI | m2://inv/JSJEHFBGR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4548693, structural rule (unknown). Also nLab structural rule
- wikipedia: Wikipedia Structural rule, Structural rule (definition). Also Wikidata Q4548693
History
- 2026-10-26: add by m2/dev
JSJVEPQ7YX JSJVEPQ7YX
| URI | m2://inv/JSJVEPQ7YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.01958#I9IK (statement). In NQFYT2M6YZ/e1, corollary 5.12
History
- 2026-10-29: add by m2/v0.4.12
JSK2D8TQ9S JSK2D8TQ9S
| URI | m2://inv/JSK2D8TQ9S |
|---|---|
| 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.30097#CAYX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nagao's theorem JSK2ZFSQ2X
| URI | m2://inv/JSK2ZFSQ2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FUIJ, Nagao's theorem (unknown)
History
- 2026-11-02: add by m2/dev
ordered ring JSK5SRQZGW
| URI | m2://inv/JSK5SRQZGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Rings > ordered ring, ordered ring (unknown). Also Mathlib IsOrderedRing
History
- 2026-10-26: add by m2/dev
Thierry Bodineau JSK7APWBQQ
| URI | m2://inv/JSK7APWBQQ |
|---|---|
| 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#8U1S, Thierry Bodineau (unknown)
History
- 2026-11-02: add by m2/dev
small cubicuboctahedron JSKEW8TS1W
| URI | m2://inv/JSKEW8TS1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3100399, small cubicuboctahedron (unknown). Also MathWorld SmallCubicuboctahedron
- wikipedia: Wikipedia Small cubicuboctahedron, Small cubicuboctahedron (definition). Also Wikidata Q3100399
History
- 2026-10-26: add by m2/dev
JSKJJCTT25 JSKJJCTT25
| URI | m2://inv/JSKJJCTT25 |
|---|---|
| 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.19288#D7DW (statement). In 1EA6AM9V01/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
two-endpoint estimate JSKP666VGB
| URI | m2://inv/JSKP666VGB |
|---|---|
| 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 2608.24606#6ZOF, two-endpoint estimate (statement). In VFV3FFB7Q7/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Definition JSKQCFFWTE
| URI | m2://inv/JSKQCFFWTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plethystic substitution#VUB9, Definition (definition)
History
- 2026-11-02: add by m2/dev
JSKRBH6RR7 JSKRBH6RR7
| URI | m2://inv/JSKRBH6RR7 |
|---|---|
| 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.01225#MQG4 (statement). In MFR807V4YG/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
JSKT2M26Y2 JSKT2M26Y2
| URI | m2://inv/JSKT2M26Y2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-5 (example). In E9HS8K3A52, example, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
JSKT5GVRZS JSKT5GVRZS
| URI | m2://inv/JSKT5GVRZS |
|---|---|
| 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.36237#NIX0 (statement). In JNBMSFE14N/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Saturated startup and clipping price JSKTRZP07P
| URI | m2://inv/JSKTRZP07P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#YQKC, Saturated startup and clipping price (statement). In X1FPG0KYBM/e1, lemma R.2
History
- 2026-10-28: add by m2/v0.4.2
JSKTXA28K9 JSKTXA28K9
| URI | m2://inv/JSKTXA28K9 |
|---|---|
| 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.19982#94MB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement JSKXRTX5ZM
| URI | m2://inv/JSKXRTX5ZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese remainder theorem#DWAD, Statement (statement)
History
- 2026-11-02: add by m2/dev
Cauchy's limit theorem JSMA823ZEW
| URI | m2://inv/JSMA823ZEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's limit theorem, Cauchy's limit theorem (statement). Also Wikidata Q56296628
History
- 2026-11-02: add by m2/dev
Isabel Fernández JSMFJ6QX59
| URI | m2://inv/JSMFJ6QX59 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isabel Fernández (mathematician), Isabel Fernández (topic). Also Wikidata Q59617961
History
- 2026-11-02: add by m2/dev
Joachim Nitsche JSMFXGNK7K
| URI | m2://inv/JSMFXGNK7K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7B0M, Joachim Nitsche (topic)
History
- 2026-11-02: add by m2/dev
Related results JSMGYJYRQP
| URI | m2://inv/JSMGYJYRQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn invariant#NYQD, Related results (statement)
History
- 2026-11-02: add by m2/dev
proof, by contradiction JSMM60QH7B
| URI | m2://inv/JSMM60QH7B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.4/proof-by-contradiction, proof, by contradiction (concept). In N54F33XE07, index, section 9.4
History
- 2026-11-01: add by m2/v0.6.13
Claw finding problem JSMQVR7GYR
| URI | m2://inv/JSMQVR7GYR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claw finding problem, Claw finding problem (problem). Also Wikidata Q85752744
History
- 2026-11-02: add by m2/dev
JSNQTHM2Q0 JSNQTHM2Q0
| URI | m2://inv/JSNQTHM2Q0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#879B (statement). In JJQPFXZQ3D/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
Naum Akhiezer JSNRG41B7Z
| URI | m2://inv/JSNRG41B7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4HSQ, Naum Akhiezer (topic)
History
- 2026-11-02: add by m2/dev
Centre de Recerca Matemàtica JSNRGAG059
| URI | m2://inv/JSNRGAG059 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centre de Recerca Matemàtica, Centre de Recerca Matemàtica (definition). Also Wikidata Q2757630
History
- 2026-11-02: add by m2/dev
truncated dodecahedral graph JSNTHNYH87
| URI | m2://inv/JSNTHNYH87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115557, truncated dodecahedral graph (unknown). Also House of Graphs 1387, MathWorld TruncatedDodecahedralGraph
History
- 2026-10-26: add by m2/dev
Granger causality JSPFNNAK1X
| URI | m2://inv/JSPFNNAK1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Granger causality, Granger causality (definition). Also Wikidata Q2630107
History
- 2026-11-02: add by m2/dev
JSPHZECS4Y JSPHZECS4Y
| URI | m2://inv/JSPHZECS4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/consistency.tex#prop:consistencyfacts (statement). In PKGMM3P5QY, prop, section 50.1
History
- 2026-11-01: add by m2/v0.6.13
Fractal interpolation JSPJB4TYR5
| URI | m2://inv/JSPJB4TYR5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal compression#M990, Fractal interpolation (unknown)
History
- 2026-11-02: add by m2/dev
Definition JSPM50JEZ5
| URI | m2://inv/JSPM50JEZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bradley–Terry model#PWDQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Newman's Lemma JSPP0BFWYX
| URI | m2://inv/JSPP0BFWYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/normalization.tex#lem-2, Newman's Lemma (statement). In PKGMM3P5QY, lem, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Nonfirstorderizability JSPP4Y2MVA
| URI | m2://inv/JSPP4Y2MVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonfirstorderizability, Nonfirstorderizability (definition). Also Wikidata Q7049316
History
- 2026-11-02: add by m2/dev
JSPY25EG6P JSPY25EG6P
| URI | m2://inv/JSPY25EG6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#CT4N (statement). In 7V2PVZS04C/e1, proposition 6.23
History
- 2026-10-31: add by m2/v0.5.6
JSQ1QEYGFA JSQ1QEYGFA
| URI | m2://inv/JSQ1QEYGFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#IZ7D (statement). In 4SZNPS3Z00/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.6
Abel's Uniform Convergence Test JSQPCYKJ9W
| URI | m2://inv/JSQPCYKJ9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel's test#IFY6, Abel's Uniform Convergence Test (unknown)
History
- 2026-11-02: add by m2/dev
Definition JSQS5471JR
| URI | m2://inv/JSQS5471JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-order#P3Q7, Definition (definition)
History
- 2026-11-02: add by m2/dev
conservation of angular momentum JSR1XVX4QC
| URI | m2://inv/JSR1XVX4QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q985318, conservation of angular momentum (statement). Also ProofWiki Principle_of_Conservation_of_Angular_Momentum
History
- 2026-10-26: add by m2/dev
Joseph Bernstein JSR60WXKRG
| URI | m2://inv/JSR60WXKRG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BYT2, Joseph Bernstein (topic)
History
- 2026-11-02: add by m2/dev
JSRA1VC4BR JSRA1VC4BR
| URI | m2://inv/JSRA1VC4BR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#0RV9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Uses JSRBM33Y3G
| URI | m2://inv/JSRBM33Y3G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire category theorem#V2VX, Uses (example)
History
- 2026-11-02: add by m2/dev
Āryabhaṭa's sine table JSREQYPX52
| URI | m2://inv/JSREQYPX52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Āryabhaṭa's sine table, Āryabhaṭa's sine table (definition). Also Wikidata Q8079604
History
- 2026-11-02: add by m2/dev
JSREZR951K JSREZR951K
| URI | m2://inv/JSREZR951K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#WMC7 (statement). In V7SN19J84T/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Werner Heisenberg JSRG7YX4B0
| URI | m2://inv/JSRG7YX4B0 |
|---|---|
| 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 Q40904, Werner Heisenberg (unknown). Also nLab Werner Heisenberg
History
- 2026-10-26: add by m2/dev
JSRJ312NQG JSRJ312NQG
| URI | m2://inv/JSRJ312NQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.02848#C4XZ (statement). In G6WQDW52TJ/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
Takahiro Kawai JSRPDTPEXH
| URI | m2://inv/JSRPDTPEXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Takahiro Kawai, Takahiro Kawai (topic). Also Wikidata Q11553790
History
- 2026-11-02: add by m2/dev
Tetrahedral bipyramid JSRQ2CFAE6
| URI | m2://inv/JSRQ2CFAE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral bipyramid, Tetrahedral bipyramid (definition). Also Wikidata Q115802553
History
- 2026-11-02: add by m2/dev
JSRRCC9SPX JSRRCC9SPX
| URI | m2://inv/JSRRCC9SPX |
|---|---|
| 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 2504.14383#GBP5 (statement). In QD0X3XJS6T/e1, proposition 6.9
History
- 2026-10-27: add by m2/v0.3.5
JSRSXG6Q42 JSRSXG6Q42
| URI | m2://inv/JSRSXG6Q42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#D9P0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eriksson's polygon property lemma JSS3WSEE56
| URI | m2://inv/JSS3WSEE56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman's lemma#QSCS, Eriksson's polygon property lemma (statement)
History
- 2026-11-02: add by m2/dev
Albert Crumeyrolle JSSB9QCEHJ
| URI | m2://inv/JSSB9QCEHJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Crumeyrolle, Albert Crumeyrolle (topic). Also Wikidata Q4709986
History
- 2026-11-02: add by m2/dev
JSSJPECR0J JSSJPECR0J
| URI | m2://inv/JSSJPECR0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#IYFS (statement). In ZZQT0GFMT2/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
ER = EPR JSSJTT3M4C
| URI | m2://inv/JSSJTT3M4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ER = EPR, ER = EPR (definition). Also Wikidata Q19597107
History
- 2026-11-02: add by m2/dev
Potential, period, and level curve JSSSRNQPK4
| URI | m2://inv/JSSSRNQPK4 |
|---|---|
| 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.06875#0UKT, Potential, period, and level curve (statement). In ZDT5J9KQVQ/e1, lemma G.1
History
- 2026-10-29: add by m2/v0.4.10
JSSTVG2H0S JSSTVG2H0S
| URI | m2://inv/JSSTVG2H0S |
|---|---|
| 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 2404.06445#YMAA (statement). In 12JKZ8EN52/e1, corollary 7.5
History
- 2026-10-27: add by m2/v0.3.5
JSSYCFGR0H JSSYCFGR0H
| URI | m2://inv/JSSYCFGR0H |
|---|---|
| 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.21692#8T1P (statement). In CT4N0JGDP4/e1, lemma C.2
History
- 2026-10-27: add by m2/v0.4.2
Equianharmonic JST2WPRVZH
| URI | m2://inv/JST2WPRVZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equianharmonic, Equianharmonic (definition). Also Wikidata Q5384434
History
- 2026-11-02: add by m2/dev
Examples JSTKN8JPYF
| URI | m2://inv/JSTKN8JPYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff dimension#R1MO, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples JSTMXMPCKA
| URI | m2://inv/JSTMXMPCKA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical parameter#WIOH, Examples (example)
History
- 2026-11-02: add by m2/dev
Anna Erschler JSV1XG1ZX3
| URI | m2://inv/JSV1XG1ZX3 |
|---|---|
| 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#7GHW, Anna Erschler (topic)
History
- 2026-11-02: add by m2/dev
JSVASY4JNB JSVASY4JNB
| URI | m2://inv/JSVASY4JNB |
|---|---|
| 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.11487#FTNJ (statement). In 8S0K3Y25HM/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
CSS subspace-design code JSVWDA9VE2
| URI | m2://inv/JSVWDA9VE2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#7J5C, CSS subspace-design code (definition). In 7MVPNFPRKB/e1, definition 1.8
History
- 2026-10-30: add by m2/v0.4.12
a rank-four Kakeya obstruction JSVYCFZPBV
| URI | m2://inv/JSVYCFZPBV |
|---|---|
| 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.20351#EI1K, a rank-four Kakeya obstruction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Consistency with the classical solution, case $V \geq 0$ JSVZP22PBD
| URI | m2://inv/JSVZP22PBD |
|---|---|
| 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 2110.12380#2RH3, Consistency with the classical solution, case $V \geq 0$ (statement). In M6MQPEDQ8N/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Spontaneous symmetry breaking JSW337RN0K
| URI | m2://inv/JSW337RN0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#783A, Spontaneous symmetry breaking (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#0YTS, Spontaneous symmetry breaking (definition)
History
- 2026-11-02: add by m2/dev
Generalizations JSW3MM067N
| URI | m2://inv/JSW3MM067N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superellipse#3J9R, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Nonnegative rank JSW95R8QWY
| URI | m2://inv/JSW95R8QWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonnegative rank (linear algebra), Nonnegative rank (definition). Also Wikidata Q7049502
History
- 2026-11-02: add by m2/dev
JSWF9TAAXN JSWF9TAAXN
| URI | m2://inv/JSWF9TAAXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#7ZUF (statement)
History
- 2026-11-01: add by m2/v0.6.15
electron mass JSWKD2AM58
| URI | m2://inv/JSWKD2AM58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3814108, electron mass (definition). Also ProofWiki Definition:Electron/Mass
History
- 2026-10-26: add by m2/dev
JSWM4GHASX JSWM4GHASX
| URI | m2://inv/JSWM4GHASX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 1603.00857#X2L5 (statement). In XT50B5RJF5/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Location--scale families and the evidence lower bound JSWMCWCEZW
| URI | m2://inv/JSWMCWCEZW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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.26270#PRFW, Location--scale families and the evidence lower bound (example)
History
- 2026-11-01: add by m2/v0.6.15
translation JSWMR5GK35
| URI | m2://inv/JSWMR5GK35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Translation 087VJM5Q77 |
Mentions
- wikidata: Wikidata Q211459, translation (definition). Also MathWorld Translation, ProofWiki Definition:Translation_Mapping
- wikipedia: Wikipedia Translation (geometry), Translation (definition). Also Wikidata Q211459
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Teknomo–Fernandez algorithm JSWR00Y3EN
| URI | m2://inv/JSWR00Y3EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teknomo–Fernandez algorithm, Teknomo–Fernandez algorithm (definition). Also Wikidata Q48774271
History
- 2026-11-02: add by m2/dev
List of integrals of trigonometric functions JSWRMWGHEY
| URI | m2://inv/JSWRMWGHEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#J67K, List of integrals of trigonometric functions (topic)
- wikipedia: Wikipedia Lists of integrals#ZQCZ, List of integrals of trigonometric functions (topic)
- wikipedia: Wikipedia List of calculus topics#SKEM, List of integrals of trigonometric functions (topic)
- wikipedia: Wikipedia Lists of mathematics topics#AK10, List of integrals of trigonometric functions (topic)
History
- 2026-11-02: add by m2/dev
JSWSJ8QYJH JSWSJ8QYJH
| URI | m2://inv/JSWSJ8QYJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#CQJ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
80 JSWVBB0R5B
| URI | m2://inv/JSWVBB0R5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 80 (number), 80 (definition). Also Wikidata Q712467
History
- 2026-11-02: add by m2/dev
Quadratic stationary phase for the Kloosterman phase JSWVXY19PX
| URI | m2://inv/JSWVXY19PX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#MR03, Quadratic stationary phase for the Kloosterman phase (statement). In QPJ6FWG5HD/e1, lemma 1.2
History
- 2026-10-29: add by m2/v0.4.12
Hilbert's fifteenth problem JSX3KRCZ54
| URI | m2://inv/JSX3KRCZ54 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#EFRH, Hilbert's fifteenth problem (conjecture)
History
- 2026-11-02: add by m2/dev
Applications JSXGAJS1NJ
| URI | m2://inv/JSXGAJS1NJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bender–Knuth involution#KBWT, Applications (example)
History
- 2026-11-02: add by m2/dev
Exact H\"older regularity JSXM4JWMGB
| URI | m2://inv/JSXM4JWMGB |
|---|---|
| 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.05457#W6OL, Exact H\"older regularity (statement). In SV36P5P5Z3/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
JSXR4YZTWQ JSXR4YZTWQ
| URI | m2://inv/JSXR4YZTWQ |
|---|---|
| Kind | problem |
| 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.06557#47B6 (problem). In VV5CH6Y31D/e1, problem
History
- 2026-10-29: add by m2/v0.4.10
JSXWWBYPMB JSXWWBYPMB
| URI | m2://inv/JSXWWBYPMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#B8F6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
JSXZZR4AX4 JSXZZR4AX4
| URI | m2://inv/JSXZZR4AX4 |
|---|---|
| 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.15720#PBGE (statement). In VNN52G3BRE/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Lemma 2 JSY5KK0VZC
| URI | m2://inv/JSY5KK0VZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sipser–Lautemann theorem#CQE1, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
JSY84G735A JSY84G735A
| URI | m2://inv/JSY84G735A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#QKJP (statement). In 9DQKY7KGE8/e1, lemma A.20
History
- 2026-10-31: add by m2/v0.5.6
JSYETQNG2C JSYETQNG2C
| URI | m2://inv/JSYETQNG2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#YBRV (statement). In 7MVPNFPRKB/e1, theorem 15.1
History
- 2026-10-30: add by m2/v0.4.12
Secretary problem JSYH6STD9V
| URI | m2://inv/JSYH6STD9V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AOZF, Secretary problem (problem)
History
- 2026-11-02: add by m2/dev
JSYHHMHWAA JSYHHMHWAA
| URI | m2://inv/JSYHHMHWAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#H17R (statement). In 3THDT8WNF7/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
Subadditivity JSYJ9GV9TW
| URI | m2://inv/JSYJ9GV9TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subadditivity, Subadditivity (definition). Also Wikidata Q1934099
History
- 2026-11-02: add by m2/dev
example JSYRKKAWQM
| URI | m2://inv/JSYRKKAWQM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherency (homotopy theory)#OYH4, example (example)
History
- 2026-11-02: add by m2/dev
Computation JSYVP6Z9RY
| URI | m2://inv/JSYVP6Z9RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congestion game#VL41, Computation (definition)
History
- 2026-11-02: add by m2/dev
JSZ79549MB JSZ79549MB
| URI | m2://inv/JSZ79549MB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17204#WYM8 (definition). In 5CZ2BNV4MT/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Delay system with delayed output JSZ8P24VCH
| URI | m2://inv/JSZ8P24VCH |
|---|---|
| Kind | example |
| 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.25431#806H, Delay system with delayed output (example)
History
- 2026-11-01: add by m2/v0.6.15
JSZAH6DZT2 JSZAH6DZT2
| URI | m2://inv/JSZAH6DZT2 |
|---|---|
| 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 math/9602216#506I (statement). In SD43497T8C/e1, corollary 3.13
History
- 2026-10-27: add by m2/v0.3.5
Focal point JSZCARAMJY
| URI | m2://inv/JSZCARAMJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focal point (game theory), Focal point (definition). Also Wikidata Q1435226
History
- 2026-11-02: add by m2/dev
bivariate JSZGH3FBCC
| URI | m2://inv/JSZGH3FBCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#N4PN, bivariate (definition)
History
- 2026-11-02: add by m2/dev
Bonato--Gordinowicz--Pra{\l}at JSZMQQNVD9
| URI | m2://inv/JSZMQQNVD9 |
|---|---|
| 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.02390#SC2E, Bonato--Gordinowicz--Pra{\l}at (statement). In TD4KEERDGT/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
JSZS1N4N78 JSZS1N4N78
| URI | m2://inv/JSZS1N4N78 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35339#DFW2 (unknown). In JT998WJYJJ/e1, unknown 2
History
- 2026-10-30: add by m2/v0.4.12
JSZVNRBWJE JSZVNRBWJE
| URI | m2://inv/JSZVNRBWJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08912#72P3 (statement). In DK5QY64NGH/e1, lemma 7.14
History
- 2026-10-29: add by m2/v0.4.10
Lagrange Island JSZYVTHNFY
| URI | m2://inv/JSZYVTHNFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#YGDU, Lagrange Island (unknown)
History
- 2026-11-02: add by m2/dev