Inventory rows DB
The cards of the rows of the inventory whose ids start with DB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Qualitative variation DB006KVB3M
| URI | m2://inv/DB006KVB3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative variation, Qualitative variation (definition). Also Wikidata Q7268700
History
- 2026-11-02: add by m2/dev
Ramanujan prime DB00W6HCAS
| URI | m2://inv/DB00W6HCAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#H6NB, Ramanujan prime (definition)
History
- 2026-11-02: add by m2/dev
DB08EBGMFS DB08EBGMFS
| URI | m2://inv/DB08EBGMFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#RFZQ (statement). In 73A9KWZJRD/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Duality of stereotype spaces DB09QSHRTT
| URI | m2://inv/DB09QSHRTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#DWXX, Duality of stereotype spaces (definition)
History
- 2026-11-02: add by m2/dev
DB0C1SQFP9 DB0C1SQFP9
| URI | m2://inv/DB0C1SQFP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2211.10178#UVWI (statement). In 8T90H89HNB/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Examples DB0D62W7W7
| URI | m2://inv/DB0D62W7W7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total variance#7ALN, Examples (example)
History
- 2026-11-02: add by m2/dev
Ida Busbridge DB0JQH3FVX
| URI | m2://inv/DB0JQH3FVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ida Busbridge, Ida Busbridge (topic). Also Wikidata Q18810936
History
- 2026-11-02: add by m2/dev
DB0M037HJ0 DB0M037HJ0
| URI | m2://inv/DB0M037HJ0 |
|---|---|
| Kind | conjecture |
| 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.20391#HSGN (conjecture). In CTAS41TRM2/e1, conjecture 11.1
History
- 2026-10-27: add by m2/v0.4.2
Gray isometry DB0W50F8GE
| URI | m2://inv/DB0W50F8GE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gray code#K4ED, Gray isometry (unknown)
History
- 2026-11-02: add by m2/dev
DB0Y8R7HP9 DB0Y8R7HP9
| URI | m2://inv/DB0Y8R7HP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#R2BK (statement). In 5ZPSZFE08Q/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
point DB0YZ7XAHF
| URI | m2://inv/DB0YZ7XAHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44946, point (definition). Also MathWorld Point, ProofWiki Definition:Point
- wikipedia: Wikipedia Point (geometry), Point (definition). Also Wikidata Q44946
History
- 2026-10-26: add by m2/dev
cogent inductive argument DB10DSC7RP
| URI | m2://inv/DB10DSC7RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Q0A7, cogent inductive argument (definition)
History
- 2026-11-02: add by m2/dev
DB175S1318 DB175S1318
| URI | m2://inv/DB175S1318 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-conc.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
DB1CBQEJ82 DB1CBQEJ82
| URI | m2://inv/DB1CBQEJ82 |
|---|---|
| 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.29478#HP7N (statement). In XAFYHH8G7X/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
DB1DJHYB2A DB1DJHYB2A
| URI | m2://inv/DB1DJHYB2A |
|---|---|
| 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.35204#Z0T9 (statement). In 8ZZNDYK76B/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Piecewise-smooth manifold DB1E1J58KY
| URI | m2://inv/DB1E1J58KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise-smooth manifold, Piecewise-smooth manifold (definition). Also Wikidata Q7118822
History
- 2026-11-02: add by m2/dev
DB1T6F421R DB1T6F421R
| URI | m2://inv/DB1T6F421R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
Adolf Fraenkel DB1WNEE2WD
| URI | m2://inv/DB1WNEE2WD |
|---|---|
| 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#YGUA, Adolf Fraenkel (topic)
History
- 2026-11-02: add by m2/dev
Kevin McCurley DB1ZVS70D2
| URI | m2://inv/DB1ZVS70D2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kevin McCurley (cryptographer), Kevin McCurley (topic). Also Wikidata Q6396909
History
- 2026-11-02: add by m2/dev
MoM Value-at-Risk DB2680FBKH
| URI | m2://inv/DB2680FBKH |
|---|---|
| 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.15974#UGG9, MoM Value-at-Risk (statement). In 61ZHQ7BTKP/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Relativistic Redshift DB2Q12H51J
| URI | m2://inv/DB2Q12H51J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redshift#ISCN, Relativistic Redshift (unknown)
History
- 2026-11-02: add by m2/dev
Lie algebra DB31ZMCW9V
| URI | m2://inv/DB31ZMCW9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > Lie algebra, Lie algebra (unknown). Also Mathlib LieAlgebra
History
- 2026-10-26: add by m2/dev
Definition and properties DB32RMAJ6W
| URI | m2://inv/DB32RMAJ6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston–Bennequin number#LYPQ, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Symmetries DB33STZD0S
| URI | m2://inv/DB33STZD0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarzschild metric#ZU0D, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Uniform Gaussian-channel representation under covariance slackness DB38VZYR6P
| URI | m2://inv/DB38VZYR6P |
|---|---|
| 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.01855#7WMQ, Uniform Gaussian-channel representation under covariance slackness (statement). In MM8P5CJR18/e1, proposition 5.20
History
- 2026-10-29: add by m2/v0.4.12
gaugino condensation DB3CSZN3G8
| URI | m2://inv/DB3CSZN3G8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5527639, gaugino condensation (unknown). Also nLab gaugino condensation
History
- 2026-10-26: add by m2/dev
DB3E9GHPJ7 DB3E9GHPJ7
| URI | m2://inv/DB3E9GHPJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25255#NI5W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yuri Burago DB3PR95VKS
| URI | m2://inv/DB3PR95VKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Burago, Yuri Burago (topic). Also Wikidata Q710985
History
- 2026-11-02: add by m2/dev
Dürer graph DB3THVQ47W
| URI | m2://inv/DB3THVQ47W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115478, Dürer graph (unknown). Also House of Graphs 34383, MathWorld DuererGraph
- wikipedia: Wikipedia Dürer graph, Dürer graph (definition). Also Wikidata Q3115478
History
- 2026-10-26: add by m2/dev
Evaluation of social relations hypothesis DB3VECBC2C
| URI | m2://inv/DB3VECBC2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wason selection task#UGX9, Evaluation of social relations hypothesis (statement)
History
- 2026-11-02: add by m2/dev
DB402GKP6P DB402GKP6P
| URI | m2://inv/DB402GKP6P |
|---|---|
| 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.25188#6NAL (statement)
History
- 2026-11-01: add by m2/v0.6.15
DB40SPW96W DB40SPW96W
| URI | m2://inv/DB40SPW96W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#F9UE (statement)
History
- 2026-11-01: add by m2/v0.6.15
DB414433KP DB414433KP
| URI | m2://inv/DB414433KP |
|---|---|
| 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.27360#F64B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Application DB486XFS7X
| URI | m2://inv/DB486XFS7X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tragedy of the commons#YLMK, Application (example)
History
- 2026-11-02: add by m2/dev
Paul Balmer DB48EGRKT6
| URI | m2://inv/DB48EGRKT6 |
|---|---|
| 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#WNS6, Paul Balmer (topic)
History
- 2026-11-02: add by m2/dev
Methods DB4RCZNZYX
| URI | m2://inv/DB4RCZNZYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State space (computer science)#9KI4, Methods (definition)
History
- 2026-11-02: add by m2/dev
DB4RW11MTP DB4RW11MTP
| URI | m2://inv/DB4RW11MTP |
|---|---|
| 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 2504.21000#YF8N (statement). In BCVFS160MF/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
Symmetry DB4XYY7FKQ
| URI | m2://inv/DB4XYY7FKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph#ZGQ1, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
DB4Y3EGN0B DB4Y3EGN0B
| URI | m2://inv/DB4Y3EGN0B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#DQKU (definition)
History
- 2026-11-01: add by m2/v0.6.15
DB526F7RRX DB526F7RRX
| URI | m2://inv/DB526F7RRX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#6DVL (definition). In 1QXCNGRWV1/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
DB5C4HE58V DB5C4HE58V
| URI | m2://inv/DB5C4HE58V |
|---|---|
| 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.35360#SKHY (statement). In 770AQ8T366/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
DB5C65EHTJ DB5C65EHTJ
| URI | m2://inv/DB5C65EHTJ |
|---|---|
| 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.23595#P1JQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Marie Cecilia Mangold DB5FJ926NZ
| URI | m2://inv/DB5FJ926NZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Cecilia Mangold, Marie Cecilia Mangold (topic). Also Wikidata Q91111344
History
- 2026-11-02: add by m2/dev
DB5MJXNMJQ DB5MJXNMJQ
| URI | m2://inv/DB5MJXNMJQ |
|---|---|
| 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.05784#0FIV (statement). In 6NVP3YRWVA/e1, corollary 2.23
History
- 2026-10-29: add by m2/v0.4.10
Vera Fischer DB5VQ8Y3Y2
| URI | m2://inv/DB5VQ8Y3Y2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ICSY, Vera Fischer (unknown)
History
- 2026-11-02: add by m2/dev
DB5WDYJBP0 DB5WDYJBP0
| URI | m2://inv/DB5WDYJBP0 |
|---|---|
| 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 2308.05715#YG7N (statement). In FC0SB9JFWH/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.3.5
Principal divisor DB65Q10C1C
| URI | m2://inv/DB65Q10C1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor (algebraic geometry)#VCHJ, Principal divisor (unknown)
History
- 2026-11-02: add by m2/dev
DB694XZVQR DB694XZVQR
| URI | m2://inv/DB694XZVQR |
|---|---|
| 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.35404#X9Y3 (statement). In DH84PYVRCF/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
DB6PD235HF DB6PD235HF
| URI | m2://inv/DB6PD235HF |
|---|---|
| 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.05506#DHVD (statement). In FT53PMB1TE/e1, theorem 6.2.1
History
- 2026-10-29: add by m2/v0.4.10
Examples DB6SZ8M5G0
| URI | m2://inv/DB6SZ8M5G0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from fallacy#2337, Examples (example)
History
- 2026-11-02: add by m2/dev
The positive introspection axiom DB70F8PBFH
| URI | m2://inv/DB70F8PBFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic modal logic#841X, The positive introspection axiom (statement)
History
- 2026-11-02: add by m2/dev
Augmented matrices and solution spaces DB72RK9VD0
| URI | m2://inv/DB72RK9VD0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-2.xml#activity-2, Augmented matrices and solution spaces (exercise). In 649HGZKE96, activity, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
DB7744XA69 DB7744XA69
| URI | m2://inv/DB7744XA69 |
|---|---|
| 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.16554#HVY2 (statement). In GWNT8HEZG1/e1, proposition 3.28
History
- 2026-10-27: add by m2/v0.3.6
Generalizations DB7AHJAZT6
| URI | m2://inv/DB7AHJAZT6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four color theorem#WUI9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Franciszek Indan Pykna DB7BMHQ6MA
| URI | m2://inv/DB7BMHQ6MA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franciszek Indan Pykna, Franciszek Indan Pykna (topic). Also Wikidata Q5484285
History
- 2026-11-02: add by m2/dev
Alternating factorial DB7CPQWMXN
| URI | m2://inv/DB7CPQWMXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#RV39, Alternating factorial (definition)
History
- 2026-11-02: add by m2/dev
Alessandro Padoa DB7JYAR1RH
| URI | m2://inv/DB7JYAR1RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandro Padoa, Alessandro Padoa (topic). Also Wikidata Q2360302
History
- 2026-11-02: add by m2/dev
Lipman Bers DB7PXRZSBP
| URI | m2://inv/DB7PXRZSBP |
|---|---|
| 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#FWJ6, Lipman Bers (topic)
History
- 2026-11-02: add by m2/dev
The Erdős Distance Problem DB7W5B1KRP
| URI | m2://inv/DB7W5B1KRP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Erdős Distance Problem, The Erdős Distance Problem (problem). Also Wikidata Q115805755
History
- 2026-11-02: add by m2/dev
The Max FlowMin Cut Theorem DB7YWK6W7D
| URI | m2://inv/DB7YWK6W7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_labeling-algorithm.ptx#theorem-1, The Max FlowMin Cut Theorem (statement). In QKM9DD2H56, theorem, section 13.4
History
- 2026-11-01: add by m2/v0.6.13
DB8364BAZS DB8364BAZS
| URI | m2://inv/DB8364BAZS |
|---|---|
| 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.19360#SCZR (statement). In MFCW5CY96C/e1, lemma 49
History
- 2026-10-28: add by m2/v0.4.2
DB8E83NRBH DB8E83NRBH
| URI | m2://inv/DB8E83NRBH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-3 (proof). In N54F33XE07, proof, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
DB8EQZQA3G DB8EQZQA3G
| URI | m2://inv/DB8EQZQA3G |
|---|---|
| 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.37026#57S3 (statement). In QGZPH9W8GY/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
DB8GTYMQFA DB8GTYMQFA
| URI | m2://inv/DB8GTYMQFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Properties DB8QZZQGXW
| URI | m2://inv/DB8QZZQGXW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folded normal distribution#B50Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
Integral representation for $\widehat{U}^\omega$ DB90F4QYT5
| URI | m2://inv/DB90F4QYT5 |
|---|---|
| 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 2512.08487#01EC, Integral representation for $\widehat{U}^\omega$ (statement). In 77TVQVYN0Z/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.6
DB935783D8 DB935783D8
| URI | m2://inv/DB935783D8 |
|---|---|
| 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.39505#KIS9 (statement). In WAXS6FS388/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
DB969MK59Z DB969MK59Z
| URI | m2://inv/DB969MK59Z |
|---|---|
| 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 2205.13464#GS6K (statement). In JPYGC2R3FC/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.6
DB977GR8SR DB977GR8SR
| URI | m2://inv/DB977GR8SR |
|---|---|
| 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.05486#G81K (statement). In 5Z46AK2XTC/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
DB9B8T2GQH DB9B8T2GQH
| URI | m2://inv/DB9B8T2GQH |
|---|---|
| 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.00312#69Q1 (statement). In 41NFABHFXH/e1, proposition 7.4
History
- 2026-10-30: add by m2/v0.4.12
DB9C10S7MR DB9C10S7MR
| URI | m2://inv/DB9C10S7MR |
|---|---|
| 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.20740#LHEB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Linkedness criterion DB9EA7ZGHE
| URI | m2://inv/DB9EA7ZGHE |
|---|---|
| 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.34260#N4Y7, Linkedness criterion (statement). In BBE69ZPVTF/e1, proposition 5.11
History
- 2026-10-30: add by m2/v0.4.12
connexity DB9HE4C3Y0
| URI | m2://inv/DB9HE4C3Y0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#QBMX, connexity (definition)
History
- 2026-11-02: add by m2/dev
Automotive batteries DB9N6HRFKG
| URI | m2://inv/DB9N6HRFKG |
|---|---|
| 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#QIXW, Automotive batteries (unknown)
History
- 2026-11-02: add by m2/dev
DB9SB2C1Z0 DB9SB2C1Z0
| URI | m2://inv/DB9SB2C1Z0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
Energeticism DB9WVD0702
| URI | m2://inv/DB9WVD0702 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#UH3Z, Energeticism (unknown)
History
- 2026-11-02: add by m2/dev
Quadratic equation DB9Z04Y3BG
| URI | m2://inv/DB9Z04Y3BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#BLOO, Quadratic equation (definition)
History
- 2026-11-02: add by m2/dev
Newton expansion among siblings DBA1YTX084
| URI | m2://inv/DBA1YTX084 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.20368#U9AE, Newton expansion among siblings (statement). In T8CDHW9MC1/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
Jacqueline Ferrand DBAAPJS803
| URI | m2://inv/DBAAPJS803 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacqueline Ferrand, Jacqueline Ferrand (topic). Also Wikidata Q3157751
History
- 2026-11-02: add by m2/dev
DBAFRRJAAC DBAFRRJAAC
| URI | m2://inv/DBAFRRJAAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#THHB (statement). In PJAT9YDX7Y/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Harold Grad DBAMAJ16VE
| URI | m2://inv/DBAMAJ16VE |
|---|---|
| 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#FA4T, Harold Grad (topic)
History
- 2026-11-02: add by m2/dev
DBANA7V4X1 DBANA7V4X1
| URI | m2://inv/DBANA7V4X1 |
|---|---|
| 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 2212.06621#Y1PE (statement). In DB223AABTH/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
DBASE6N41V DBASE6N41V
| URI | m2://inv/DBASE6N41V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2211.10178#B6QQ (definition). In 8T90H89HNB/e1, definition 1.8
History
- 2026-10-27: add by m2/v0.3.5
Theorems on the differentiation of integrals DBAX71DMCN
| URI | m2://inv/DBAX71DMCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation of integrals#X33C, Theorems on the differentiation of integrals (statement)
History
- 2026-11-02: add by m2/dev
Properties DBAZ5DD44B
| URI | m2://inv/DBAZ5DD44B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete Bessel K function/generalized incomplete gamma function#2B4W, Properties (statement)
History
- 2026-11-02: add by m2/dev
Categorical distribution DBB0A23T9X
| URI | m2://inv/DBB0A23T9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#RL42, Categorical distribution (definition)
History
- 2026-11-02: add by m2/dev
Applications DBB0EMG4ZH
| URI | m2://inv/DBB0EMG4ZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witch of Agnesi#7JHL, Applications (example)
History
- 2026-11-02: add by m2/dev
Löb paradox DBBMF5QGFH
| URI | m2://inv/DBBMF5QGFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ANQI, Löb paradox (definition)
History
- 2026-11-02: add by m2/dev
DBBPYA87TW DBBPYA87TW
| URI | m2://inv/DBBPYA87TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.27798#LFRY (statement)
History
- 2026-11-01: add by m2/v0.6.15
DBBQ8KKXH4 DBBQ8KKXH4
| URI | m2://inv/DBBQ8KKXH4 |
|---|---|
| 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#6X2W (statement). In 9QG5CND2RQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
DBBRXRCPPZ DBBRXRCPPZ
| URI | m2://inv/DBBRXRCPPZ |
|---|---|
| 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#H8WZ (statement). In VH7EZDGTNA/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.12
DBC75HQK5N DBC75HQK5N
| URI | m2://inv/DBC75HQK5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#0I75 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Proofs That Really Count DBC7F3ZSD9
| URI | m2://inv/DBC7F3ZSD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs That Really Count, Proofs That Really Count (definition). Also Wikidata Q96400293
History
- 2026-11-02: add by m2/dev
Pairwise summation DBC9X8FD9T
| URI | m2://inv/DBC9X8FD9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairwise summation, Pairwise summation (definition). Also Wikidata Q17104961
History
- 2026-11-02: add by m2/dev
Filtering the opposite-pair components DBC9Y234N6
| URI | m2://inv/DBC9Y234N6 |
|---|---|
| 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.26576#2XLV, Filtering the opposite-pair components (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dual certificate DBCD2KCMQ4
| URI | m2://inv/DBCD2KCMQ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#9XJE, Dual certificate (definition). In JY6RYSNXMJ/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.10
DBCHXN327C DBCHXN327C
| URI | m2://inv/DBCHXN327C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#LYBY (statement). In AKB3CNDA0F/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Unitary--orthosymplectic identification DBCN1P9D5D
| URI | m2://inv/DBCN1P9D5D |
|---|---|
| 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.01855#RZAI, Unitary--orthosymplectic identification (statement). In MM8P5CJR18/e1, proposition D.2
History
- 2026-10-29: add by m2/v0.4.12
Opting out of the cooperative principle DBCPC41518
| URI | m2://inv/DBCPC41518 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicature#E6ZF, Opting out of the cooperative principle (statement)
History
- 2026-11-02: add by m2/dev
DBCW3DD54D DBCW3DD54D
| URI | m2://inv/DBCW3DD54D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#Z2CP (definition)
History
- 2026-11-01: add by m2/v0.6.15
DBD8VGS66D DBD8VGS66D
| URI | m2://inv/DBD8VGS66D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#TQIR (statement). In ZPT9XCCAPQ/e1, proposition 2.1.9
History
- 2026-10-31: add by m2/v0.5.6
Relationship with the liar paradox DBD9KTBJVR
| URI | m2://inv/DBD9KTBJVR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's incompleteness theorems#FHOT, Relationship with the liar paradox (statement)
History
- 2026-11-02: add by m2/dev
Special cases DBDAM47HEF
| URI | m2://inv/DBDAM47HEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ogden's lemma#FKUT, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Lebesgue integration DBDTJWRPQG
| URI | m2://inv/DBDTJWRPQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#J4MO, Lebesgue integration (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#LX5O, Lebesgue integration (definition)
History
- 2026-11-02: add by m2/dev
DBDX5DT3S2 DBDX5DT3S2
| URI | m2://inv/DBDX5DT3S2 |
|---|---|
| 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.30685#JXBV (statement). In WNNNWV7741/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Lars Hörmander DBDY1MF5AP
| URI | m2://inv/DBDY1MF5AP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TCYH, Lars Hörmander (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GXT2, Lars Hörmander (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HZTS, Lars Hörmander (topic)
History
- 2026-11-02: add by m2/dev
Uncertainty in unknown context proportions DBE50BHD5N
| URI | m2://inv/DBE50BHD5N |
|---|---|
| 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.19207#LFPB, Uncertainty in unknown context proportions (statement). In BH3R0BA3PC/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
enters the atmosphere DBE6WCCFQY
| URI | m2://inv/DBE6WCCFQY |
|---|---|
| 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#OXNG, enters the atmosphere (unknown)
History
- 2026-11-02: add by m2/dev
DBE7E7J4SS DBE7E7J4SS
| URI | m2://inv/DBE7E7J4SS |
|---|---|
| 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#L7V7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DBEDGXM0N0 DBEDGXM0N0
| URI | m2://inv/DBEDGXM0N0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
proof by contrapositive DBEJE0GSHM
| URI | m2://inv/DBEJE0GSHM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2.2/proof-by-contrapositive, proof by contrapositive (concept). In Y91XFCEVHQ, index, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Map projection DBERN3HYYV
| URI | m2://inv/DBERN3HYYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#ZVWK, Map projection (definition)
History
- 2026-11-02: add by m2/dev
Strengthening with the order DBES4SS9QT
| URI | m2://inv/DBES4SS9QT |
|---|---|
| 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.33794#Y6ND, Strengthening with the order (statement). In W0PQMW25VY/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Terminology DBET3P26MP
| URI | m2://inv/DBET3P26MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategic dominance#Y7P6, Terminology (definition)
History
- 2026-11-02: add by m2/dev
DBEV5J5VNR DBEV5J5VNR
| URI | m2://inv/DBEV5J5VNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#ROZT (statement). In PREJREM4BB/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
DBEWMN93M7 DBEWMN93M7
| URI | m2://inv/DBEWMN93M7 |
|---|---|
| Kind | definition |
| 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#8EAW (definition). In HX63A1PH1W/e1, definition 7.28
History
- 2026-10-28: add by m2/v0.4.3
Theorem DBEZSDJCN4
| URI | m2://inv/DBEZSDJCN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre plane#QAOS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
component DBF0FDPVFC
| URI | m2://inv/DBF0FDPVFC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/component, component (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
DBF5M20TMA DBF5M20TMA
| URI | m2://inv/DBF5M20TMA |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#QCQR (unknown). In R2XC1SC9NZ/e1, unknown 5
History
- 2026-10-27: add by m2/v0.3.5
DBF7H36SJ6 DBF7H36SJ6
| URI | m2://inv/DBF7H36SJ6 |
|---|---|
| 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.15257#674T (statement). In 2R95BYW2V7/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Construction DBF89HYT7D
| URI | m2://inv/DBF89HYT7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized singular value decomposition#ODEH, Construction (definition)
History
- 2026-11-02: add by m2/dev
meicatalecticizant DBF8JAV9QQ
| URI | m2://inv/DBF8JAV9QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#J3YK, meicatalecticizant (definition)
History
- 2026-11-02: add by m2/dev
DBFA5FFX5N DBFA5FFX5N
| URI | m2://inv/DBFA5FFX5N |
|---|---|
| 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.27641#FKYY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaston Gonnet DBFT5V461E
| URI | m2://inv/DBFT5V461E |
|---|---|
| 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 Q5526736, Gaston Gonnet (unknown). Also ProofWiki Mathematician:Gaston_Henry_Gonnet
History
- 2026-10-26: add by m2/dev
ELSV formula DBFTFCN2DJ
| URI | m2://inv/DBFTFCN2DJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ELSV formula, ELSV formula (statement). Also Wikidata Q5323322
History
- 2026-11-02: add by m2/dev
Notation DBFXFE1636
| URI | m2://inv/DBFXFE1636 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô calculus#O5X7, Notation (definition)
History
- 2026-11-02: add by m2/dev
Hilbert's syzygy theorem DBFXW22G9Z
| URI | m2://inv/DBFXW22G9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q779220, Hilbert's syzygy theorem (statement). Also Wikidata Q779220
- thousand_plus: thousand_plus Q779220, Hilbert's syzygy theorem (statement). Also Wikidata Q779220, Wikipedia Hilbert's syzygy theorem
- wikipedia: Wikipedia Hilbert's syzygy theorem, Hilbert's syzygy theorem (statement). Also Wikidata Q779220
History
- 2026-10-26: add by m2/dev
Completeness of atomic initial sequents DBG0SA0FN3
| URI | m2://inv/DBG0SA0FN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness of atomic initial sequents, Completeness of atomic initial sequents (definition). Also Wikidata Q5156542
History
- 2026-11-02: add by m2/dev
DBG1AJ6KTZ DBG1AJ6KTZ
| URI | m2://inv/DBG1AJ6KTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2406.06762#CE1H (statement). In J99PFFJXPE/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.3.6
Compartmental neuron models DBG3ADK4GA
| URI | m2://inv/DBG3ADK4GA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compartmental neuron models, Compartmental neuron models (definition). Also Wikidata Q5156047
History
- 2026-11-02: add by m2/dev
Emirp DBG46X0S4C
| URI | m2://inv/DBG46X0S4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#T8N4, Emirp (definition)
History
- 2026-11-02: add by m2/dev
DBG4BTQ9WN DBG4BTQ9WN
| URI | m2://inv/DBG4BTQ9WN |
|---|---|
| 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.15393#RDWH (statement). In H6T3AP80VE/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Direct regularised heat-bath estimates DBG75SGDW9
| URI | m2://inv/DBG75SGDW9 |
|---|---|
| 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.03683#MFM3, Direct regularised heat-bath estimates (statement). In 14AMXF6X2V/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.12
The switching semigroup on $H$ DBG82WWF6Y
| URI | m2://inv/DBG82WWF6Y |
|---|---|
| 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.32585#E3I5, The switching semigroup on $H$ (statement). In FJFJ3WR1SS/e1, lemma 7.10
History
- 2026-10-31: add by m2/v0.5.6
Definitions DBGA87SKGJ
| URI | m2://inv/DBGA87SKGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve-shortening flow#SJUZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
DBGD80ZA4C DBGD80ZA4C
| URI | m2://inv/DBGD80ZA4C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#P6LP (definition). In VGJVFCDV8A/e1, definition 2.26
History
- 2026-10-29: add by m2/v0.4.10
Mittag-Leffler DBGKR7WSHT
| URI | m2://inv/DBGKR7WSHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-44, Mittag-Leffler (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
DBGR4P2X8K DBGR4P2X8K
| URI | m2://inv/DBGR4P2X8K |
|---|---|
| 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 2104.05191#9UAB (statement). In CCNH3FK8YZ/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Defense Intelligence Headquarters DBGRWKNZCM
| URI | m2://inv/DBGRWKNZCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Defense Intelligence Headquarters, Defense Intelligence Headquarters (definition). Also Wikidata Q2915133
History
- 2026-11-02: add by m2/dev
DBGTNECZWQ DBGTNECZWQ
| URI | m2://inv/DBGTNECZWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#SK6Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
dimension DBGZJD5MSR
| URI | m2://inv/DBGZJD5MSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#1C96, dimension (definition)
History
- 2026-11-02: add by m2/dev
The $24$-contact case as an inequality between angles DBHGWZFX77
| URI | m2://inv/DBHGWZFX77 |
|---|---|
| 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.25120#ZYG5, The $24$-contact case as an inequality between angles (statement)
History
- 2026-11-01: add by m2/v0.6.15
$L^p$-regularity of $u_{f,\bsg}$ DBHH1Y6XSB
| URI | m2://inv/DBHH1Y6XSB |
|---|---|
| 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 2512.08487#4P35, $L^p$-regularity of $u_{f,\bsg}$ (statement). In 77TVQVYN0Z/e1, theorem 23
History
- 2026-10-27: add by m2/v0.3.6
Theorem DBHQPP3NNR
| URI | m2://inv/DBHQPP3NNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod algebra#XA9S, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DBHSXWH0MW DBHSXWH0MW
| URI | m2://inv/DBHSXWH0MW |
|---|---|
| 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.22205#SLWB (statement). In 7REABAAQED/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
Gauss–Legendre method DBJ3QSSGJ3
| URI | m2://inv/DBJ3QSSGJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Legendre method, Gauss–Legendre method (definition). Also Wikidata Q5527853
History
- 2026-11-02: add by m2/dev
Completeness DBJA3P8YCA
| URI | m2://inv/DBJA3P8YCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#thm:completeness, Completeness (statement). In PKGMM3P5QY, thm, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
Prodigy Math Game DBJEZFHR8F
| URI | m2://inv/DBJEZFHR8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prodigy Math Game, Prodigy Math Game (definition). Also Wikidata Q125545107
History
- 2026-11-02: add by m2/dev
DBJTH6PTTQ DBJTH6PTTQ
| URI | m2://inv/DBJTH6PTTQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#pr:construct_outer_measure (exercise). In RZP28ERRZV, dproblem, section 63.7
History
- 2026-11-01: add by m2/v0.6.13
Official statistics DBJZM4VSFW
| URI | m2://inv/DBJZM4VSFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6TZA, Official statistics (definition)
History
- 2026-11-02: add by m2/dev
DBK1PM5RBT DBK1PM5RBT
| URI | m2://inv/DBK1PM5RBT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
DBK2XKQYDX DBK2XKQYDX
| URI | m2://inv/DBK2XKQYDX |
|---|---|
| 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 2105.08875#V7KB (statement). In QT8HPDAYPX/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Nusselt number DBK3BMXVXP
| URI | m2://inv/DBK3BMXVXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nusselt number, Nusselt number (definition). Also Wikidata Q898280
History
- 2026-11-02: add by m2/dev
Terminology DBK6VKZVSQ
| URI | m2://inv/DBK6VKZVSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applications of dual quaternions to 2D geometry#S7O3, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Politics, law and policing DBKDXFEKYH
| URI | m2://inv/DBKDXFEKYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confirmation bias#6IWE, Politics, law and policing (statement)
History
- 2026-11-02: add by m2/dev
DBKFHS2YMY DBKFHS2YMY
| URI | m2://inv/DBKFHS2YMY |
|---|---|
| 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.10935#UT24 (statement). In 7X27KRAHCE/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
Simulation Damage Probability Bound DBKGRPT3VE
| URI | m2://inv/DBKGRPT3VE |
|---|---|
| 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 math/0003117#M5YI, Simulation Damage Probability Bound (statement). In WD2NCBV9F0/e1, lemma 10.5
History
- 2026-10-27: add by m2/v0.3.5
374 (number) DBKJ5RHRNT
| URI | m2://inv/DBKJ5RHRNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#BDC7, 374 (number) (unknown)
History
- 2026-11-02: add by m2/dev
DBKWY3F4A2 DBKWY3F4A2
| URI | m2://inv/DBKWY3F4A2 |
|---|---|
| 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.10828#7K1O (statement). In 8PTDFHV8SQ/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
Frobenius' theorem in modern language DBKZZR0DJC
| URI | m2://inv/DBKZZR0DJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius theorem (differential topology)#QGD6, Frobenius' theorem in modern language (statement)
History
- 2026-11-02: add by m2/dev
Ann M. Hardy DBM24DQWP3
| URI | m2://inv/DBM24DQWP3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ann M. Hardy, Ann M. Hardy (topic). Also Wikidata Q92854849
History
- 2026-11-02: add by m2/dev
DBM5S40VGT DBM5S40VGT
| URI | m2://inv/DBM5S40VGT |
|---|---|
| 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 2505.04063#T0F4 (statement). In TFH7T63DX9/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Step 1: the constants are admissible DBMCKZRYAX
| URI | m2://inv/DBMCKZRYAX |
|---|---|
| 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#EHFB, Step 1: the constants are admissible (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses DBME0EXZ5J
| URI | m2://inv/DBME0EXZ5J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narrow class group#UBDW, Uses (example)
History
- 2026-11-02: add by m2/dev
DBN2CH6YRA DBN2CH6YRA
| URI | m2://inv/DBN2CH6YRA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-3 (proof). In N54F33XE07, proof, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
DBN8202NFD DBN8202NFD
| URI | m2://inv/DBN8202NFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2410.14097#O0D8 (definition). In H52QQS8WZA/e1, definition 9.1
History
- 2026-10-27: add by m2/v0.3.5
DBN8GQZS7A DBN8GQZS7A
| URI | m2://inv/DBN8GQZS7A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-1.xml#example-2 (example). In 649HGZKE96, example, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
DBN972C8DX DBN972C8DX
| URI | m2://inv/DBN972C8DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.24610#X347 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DBNBA1BS1Z DBNBA1BS1Z
| URI | m2://inv/DBNBA1BS1Z |
|---|---|
| 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.27834#WXJB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jim Simons DBNFW38WYW
| URI | m2://inv/DBNFW38WYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jim Simons, Jim Simons (topic). Also Wikidata Q560847
History
- 2026-11-02: add by m2/dev
DBNHXM3MGN DBNHXM3MGN
| URI | m2://inv/DBNHXM3MGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#definition-7 (definition). In RZP28ERRZV, definition, section 23.4
History
- 2026-11-01: add by m2/v0.6.13
adjunction DBNJPQ39YE
| URI | m2://inv/DBNJPQ39YE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > adjunction, adjunction (unknown). Also Mathlib CategoryTheory.Adjunction
History
- 2026-10-26: add by m2/dev
DBNK2BFSPA DBNK2BFSPA
| URI | m2://inv/DBNK2BFSPA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#ATRI (definition). In PA3B6C0WY7/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Uniform asymptotic estimate DBPCF9E9JH
| URI | m2://inv/DBPCF9E9JH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#W4SY, Uniform asymptotic estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exponential subchannel approximation DBPTR5FXSG
| URI | m2://inv/DBPTR5FXSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28635#EZ0I, Exponential subchannel approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Analytic combinatorics DBPZY6FB3X
| URI | m2://inv/DBPZY6FB3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#US53, Analytic combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Cubical bipyramid DBQ096X8AX
| URI | m2://inv/DBQ096X8AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubical bipyramid, Cubical bipyramid (definition). Also Wikidata Q115801658
History
- 2026-11-02: add by m2/dev
Rectified 6-cubes DBQ610N3B0
| URI | m2://inv/DBQ610N3B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 6-cubes, Rectified 6-cubes (definition). Also Wikidata Q7303159
History
- 2026-11-02: add by m2/dev
DBQ7456SZM DBQ7456SZM
| URI | m2://inv/DBQ7456SZM |
|---|---|
| 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 2610.07092#LKZ4 (statement). In JWNYJVH8XG/e1, corollary 2.14
History
- 2026-10-29: add by m2/v0.4.10
DBQBRJG9FP DBQBRJG9FP
| URI | m2://inv/DBQBRJG9FP |
|---|---|
| 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.14236#C0SX (statement). In XEQD21EBTT/e1, lemma 4.15
History
- 2026-10-28: add by m2/v0.4.2
Santosh Vempala DBQCDA7HE1
| URI | m2://inv/DBQCDA7HE1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#LWBT, Santosh Vempala (unknown)
History
- 2026-11-02: add by m2/dev
Conditional Wald identity DBQD94HNBV
| URI | m2://inv/DBQD94HNBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#X8GZ, Conditional Wald identity (statement). In H9X9WZ17TT/e1, lemma 26
History
- 2026-10-31: add by m2/v0.5.6
Galois correspondence for graphs DBQES07YQG
| URI | m2://inv/DBQES07YQG |
|---|---|
| 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.03497#FRCK, Galois correspondence for graphs (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Hamming weight DBQRF4XJ5V
| URI | m2://inv/DBQRF4XJ5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5645805, Hamming weight (object). Also OEIS A000120
- wikipedia: Wikipedia Hamming weight, Hamming weight (definition). Also Wikidata Q5645805
History
- 2026-10-26: add by m2/dev
DBR3JVC0ZG DBR3JVC0ZG
| URI | m2://inv/DBR3JVC0ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.12486#UAUP (statement). In 3343AEAXB3/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
DBR4SDBQHP DBR4SDBQHP
| URI | m2://inv/DBR4SDBQHP |
|---|---|
| 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.14236#WSD4 (statement). In XEQD21EBTT/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Pat Ruggles DBRACCB8RD
| URI | m2://inv/DBRACCB8RD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Z88H, Pat Ruggles (unknown)
History
- 2026-11-02: add by m2/dev
Improved Bochner Inequality DBRFN9XKR8
| URI | m2://inv/DBRFN9XKR8 |
|---|---|
| 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.27516#5ADQ, Improved Bochner Inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kit Yates DBRFVZ3YQJ
| URI | m2://inv/DBRFVZ3YQJ |
|---|---|
| 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 Q112547007, Kit Yates (unknown). Also ProofWiki Mathematician:Christian_Yates
History
- 2026-10-26: add by m2/dev
Yasuyuki Kawahigashi DBRJ7PZ69X
| URI | m2://inv/DBRJ7PZ69X |
|---|---|
| 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 Q11553964, Yasuyuki Kawahigashi (unknown). Also nLab Yasuyuki Kawahigashi
- wikipedia: Wikipedia Yasuyuki Kawahigashi, Yasuyuki Kawahigashi (topic). Also Wikidata Q11553964
History
- 2026-10-26: add by m2/dev
Colin J. Bushnell DBRJHGJY7M
| URI | m2://inv/DBRJHGJY7M |
|---|---|
| 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#W5LW, Colin J. Bushnell (topic)
History
- 2026-11-02: add by m2/dev
DBRJNG3285 DBRJNG3285
| URI | m2://inv/DBRJNG3285 |
|---|---|
| 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.40282#6N7C (statement). In P86RWY99S2/e1, lemma 2.2.1
History
- 2026-10-30: add by m2/v0.4.12
DBRJWYN8VQ DBRJWYN8VQ
| URI | m2://inv/DBRJWYN8VQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#ques-7 (exercise). In RZP28ERRZV, ques, section 95.5
History
- 2026-11-01: add by m2/v0.6.13
Examples DBRPZTWMK7
| URI | m2://inv/DBRPZTWMK7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract analytic number theory#ISX4, Examples (example)
History
- 2026-11-02: add by m2/dev
DBSGMTMBF3 DBSGMTMBF3
| URI | m2://inv/DBSGMTMBF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#PQK0 (statement). In TX0H26X4VX/e1, corollary 8.4
History
- 2026-10-29: add by m2/v0.4.12
Daniel da Silva DBT81NA6AS
| URI | m2://inv/DBT81NA6AS |
|---|---|
| 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 Q5219175, Daniel da Silva (unknown). Also ProofWiki Mathematician:Daniel_da_Silva
History
- 2026-10-26: add by m2/dev
Carriers in type $A_2$ DBT825W3JM
| URI | m2://inv/DBT825W3JM |
|---|---|
| Kind | example |
| 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.27253#69R9, Carriers in type $A_2$ (example)
History
- 2026-11-01: add by m2/v0.6.15
DBT8N1HA21 DBT8N1HA21
| URI | m2://inv/DBT8N1HA21 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#ex:qinv-univalence (exercise). In N54F33XE07, ex, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Terminating hypergeometric components at the pure Euler boundary DBTAG6WPEA
| URI | m2://inv/DBTAG6WPEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#WNKU, Terminating hypergeometric components at the pure Euler boundary (statement)
History
- 2026-11-01: add by m2/v0.6.15
Implementations DBTB0JDV0M
| URI | m2://inv/DBTB0JDV0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief revision#458F, Implementations (definition)
History
- 2026-11-02: add by m2/dev
DBTCHY0SPK DBTCHY0SPK
| URI | m2://inv/DBTCHY0SPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#9UBY (statement). In G2PA4KAGRP/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.6
Generalizations DBTDP28YX1
| URI | m2://inv/DBTDP28YX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commandino's theorem#NS6X, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
DBTPEZC7B0 DBTPEZC7B0
| URI | m2://inv/DBTPEZC7B0 |
|---|---|
| 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.21568#IYBF (statement)
History
- 2026-11-02: add by m2/v0.6.18
DBTQS0QBQK DBTQS0QBQK
| URI | m2://inv/DBTQS0QBQK |
|---|---|
| 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.00786#S7RY (statement). In XKEE0DK6N3/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Malnormal subgroup DBV2GX9DE9
| URI | m2://inv/DBV2GX9DE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malnormal subgroup, Malnormal subgroup (definition). Also Wikidata Q6744436
History
- 2026-11-02: add by m2/dev
DBV69F3P2X DBV69F3P2X
| URI | m2://inv/DBV69F3P2X |
|---|---|
| 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 0806.0033#KO6P (statement). In RV34HVZMB3/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Using Ptolemy's theorem DBV75R8CC7
| URI | m2://inv/DBV75R8CC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of cosines#101N, Using Ptolemy's theorem (statement)
History
- 2026-11-02: add by m2/dev
DBV8J3PB2R DBV8J3PB2R
| URI | m2://inv/DBV8J3PB2R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#3XS9 (definition). In T2N92YSY5R/e1, definition 4.14
History
- 2026-10-30: add by m2/v0.4.12
DBVCVXNWV6 DBVCVXNWV6
| URI | m2://inv/DBVCVXNWV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#SPPS (statement). In WJD9YPGGYH/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
DBVXGX8MCD DBVXGX8MCD
| URI | m2://inv/DBVXGX8MCD |
|---|---|
| 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.08226#297E (statement). In V6EPE8XHAD/e1, lemma 7.7
History
- 2026-10-29: add by m2/v0.4.10
DBW2S09Z4M DBW2S09Z4M
| URI | m2://inv/DBW2S09Z4M |
|---|---|
| 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 0905.3937#2YRC (statement). In 9Z920GVSA7/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
DBW3H6YBDM DBW3H6YBDM
| URI | m2://inv/DBW3H6YBDM |
|---|---|
| Kind | definition |
| 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.31783#MW0P (definition). In CGNVT4C47F/e1, definition 1.7
History
- 2026-10-31: add by m2/v0.5.6
Chung–Fuchs theorem DBW5CK14GB
| URI | m2://inv/DBW5CK14GB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chung–Fuchs theorem, Chung–Fuchs theorem (statement). Also Wikidata Q5116402
History
- 2026-11-02: add by m2/dev
Kolmogorov–Smirnov criterion DBW8RFK661
| URI | m2://inv/DBW8RFK661 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum-distance estimation#20DS, Kolmogorov–Smirnov criterion (statement)
History
- 2026-11-02: add by m2/dev
Sklar's theorem DBWB7D9GB4
| URI | m2://inv/DBWB7D9GB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7DIA, Sklar's theorem (definition)
History
- 2026-11-02: add by m2/dev
X, Y & Z DBWEP4MFAQ
| URI | m2://inv/DBWEP4MFAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia X, Y & Z, X, Y & Z (definition). Also Wikidata Q104870608
History
- 2026-11-02: add by m2/dev
Co-NP DBWEYRA2AN
| URI | m2://inv/DBWEYRA2AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Co-NP, Co-NP (definition). Also Wikidata Q955748
History
- 2026-11-02: add by m2/dev
DBWEZY9TM2 DBWEZY9TM2
| URI | m2://inv/DBWEZY9TM2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13898#1EW0 (definition). In 44EVK9BPC9/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Dicut DBWFQEMRXT
| URI | m2://inv/DBWFQEMRXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dicut, Dicut (definition). Also Wikidata Q115805646
History
- 2026-11-02: add by m2/dev
Examples DBWRZ091ND
| URI | m2://inv/DBWRZ091ND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band (order theory)#PEL7, Examples (example)
History
- 2026-11-02: add by m2/dev
Euler–Lagrange equation DBX52GXBZ2
| URI | m2://inv/DBX52GXBZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#6OLJ, Euler–Lagrange equation (definition)
History
- 2026-11-02: add by m2/dev
Cao--Liu--Zhang DBX9BXXCSA
| URI | m2://inv/DBX9BXXCSA |
|---|---|
| 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.16203#T7IJ, Cao--Liu--Zhang (statement). In 43TBS9P2PX/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
DBXDKYCKG2 DBXDKYCKG2
| URI | m2://inv/DBXDKYCKG2 |
|---|---|
| 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 2207.12181#AVH8 (statement). In FSD8NE3XSR/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.0
DBXEXG2VPV DBXEXG2VPV
| URI | m2://inv/DBXEXG2VPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.03138#NZYS (statement). In P5SY7AVP5E/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
DBXK7BYCSR DBXK7BYCSR
| URI | m2://inv/DBXK7BYCSR |
|---|---|
| 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.39103#CTLS (statement). In VGB0N93ES8/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Consistency (statistics) DBXQ4PG0NZ
| URI | m2://inv/DBXQ4PG0NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0OP0, Consistency (statistics) (definition)
History
- 2026-11-02: add by m2/dev
DBXRM9G80D DBXRM9G80D
| URI | m2://inv/DBXRM9G80D |
|---|---|
| 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.02495#7EWT (statement). In T4S7XVAJJC/e1, proposition 16.3
History
- 2026-10-29: add by m2/v0.4.12
DBXTCTAHTT DBXTCTAHTT
| URI | m2://inv/DBXTCTAHTT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_solving.ptx#ex_recurrence_lines-solved (example). In QKM9DD2H56, example, section 9.4.2
History
- 2026-11-01: add by m2/v0.6.13
DBY5Z3RDGR DBY5Z3RDGR
| URI | m2://inv/DBY5Z3RDGR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-31 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Propositions DBY6F52YAZ
| URI | m2://inv/DBY6F52YAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth-bearer#4JMU, Propositions (statement)
History
- 2026-11-02: add by m2/dev
direct successor DBYJTJMC72
| URI | m2://inv/DBYJTJMC72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#NRP9, direct successor (definition)
History
- 2026-11-02: add by m2/dev
Maillet's determinant DBYK7AQ8QD
| URI | m2://inv/DBYK7AQ8QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maillet's determinant, Maillet's determinant (definition). Also Wikidata Q6735806
History
- 2026-11-02: add by m2/dev
DBZ6AW63NC DBZ6AW63NC
| URI | m2://inv/DBZ6AW63NC |
|---|---|
| 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.25656#T0FN (statement)
History
- 2026-11-01: add by m2/v0.6.15
One calibrated law with an energy-dependent entropy deficit DBZ7STJGZM
| URI | m2://inv/DBZ7STJGZM |
|---|---|
| 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#897H, One calibrated law with an energy-dependent entropy deficit (statement). In 9YAE8FNQST/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Metalog distribution DBZ8T2QWHF
| URI | m2://inv/DBZ8T2QWHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalog distribution, Metalog distribution (definition). Also Wikidata Q105677098
History
- 2026-11-02: add by m2/dev
Ed448 DBZATQ8H21
| URI | m2://inv/DBZATQ8H21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EdDSA#L67T, Ed448 (unknown)
History
- 2026-11-02: add by m2/dev
Jack Cole DBZPW2Y0QZ
| URI | m2://inv/DBZPW2Y0QZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Cole (scientist), Jack Cole (topic). Also Wikidata Q6111739
History
- 2026-11-02: add by m2/dev
G.A. Miller DBZR71SZAF
| URI | m2://inv/DBZR71SZAF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#GJPN, G.A. Miller (unknown)
History
- 2026-11-02: add by m2/dev
Actor-observer bias DBZSVKFZD2
| URI | m2://inv/DBZSVKFZD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#BBK8, Actor-observer bias (unknown)
History
- 2026-11-02: add by m2/dev
Near-orthogonality $\Rightarrow$ bounded condition number DBZT8MD8S9
| URI | m2://inv/DBZT8MD8S9 |
|---|---|
| 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.03303#1RJ5, Near-orthogonality $\Rightarrow$ bounded condition number (statement). In VS9KKQWEMX/e1, theorem B.7
History
- 2026-10-29: add by m2/v0.4.12
William T. Trotter DBZWX028PC
| URI | m2://inv/DBZWX028PC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZQP7, William T. Trotter (topic)
History
- 2026-11-02: add by m2/dev
DBZZ7XNFV1 DBZZ7XNFV1
| URI | m2://inv/DBZZ7XNFV1 |
|---|---|
| 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.19249#IIE2 (statement). In 2X586J6KQ1/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2