Inventory rows ES
The cards of the rows of the inventory whose ids start with ES. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
crown graph ES07NQ4PMV
| URI | m2://inv/ES07NQ4PMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115466, crown graph (unknown). Also MathWorld CrownGraph
- wikipedia: Wikipedia Crown graph, Crown graph (definition). Also Wikidata Q3115466
History
- 2026-10-26: add by m2/dev
Admissible exponent ES0D5WDW2Y
| URI | m2://inv/ES0D5WDW2Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#BVWU, Admissible exponent (definition)
History
- 2026-11-01: add by m2/v0.6.15
Extinction probability ES0DM3P3Z3
| URI | m2://inv/ES0DM3P3Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extinction probability, Extinction probability (definition). Also Wikidata Q5422082
History
- 2026-11-02: add by m2/dev
ES0HD0WEA5 ES0HD0WEA5
| URI | m2://inv/ES0HD0WEA5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
W. Feit ES0V25JK55
| URI | m2://inv/ES0V25JK55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#M852, W. Feit (unknown)
History
- 2026-11-02: add by m2/dev
completion ES11AQ9R59
| URI | m2://inv/ES11AQ9R59 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91198359, completion (unknown). Also MathWorld Completion
History
- 2026-10-26: add by m2/dev
Engle, Robert F. ES12S6V43D
| URI | m2://inv/ES12S6V43D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#04UQ, Engle, Robert F. (unknown)
History
- 2026-11-02: add by m2/dev
all-pairs shortest path problem ES14F27582
| URI | m2://inv/ES14F27582 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105135306, all-pairs shortest path problem (unknown). Also MathWorld All-PairsShortestPath
History
- 2026-10-26: add by m2/dev
Specious reasoning ES16NCWHVB
| URI | m2://inv/ES16NCWHVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Specious reasoning, Specious reasoning (definition). Also Wikidata Q123311129
History
- 2026-11-02: add by m2/dev
ES19BKKSNC ES19BKKSNC
| URI | m2://inv/ES19BKKSNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#IPMF (statement)
History
- 2026-11-01: add by m2/v0.6.15
ES1FFVEQHB ES1FFVEQHB
| URI | m2://inv/ES1FFVEQHB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-6 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
ES1GXHAHTK ES1GXHAHTK
| URI | m2://inv/ES1GXHAHTK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
Acceptable game ES1PG6158N
| URI | m2://inv/ES1PG6158N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#JW85, Acceptable game (definition)
History
- 2026-11-02: add by m2/dev
Gram kernels are positive ES1VZMG6MB
| URI | m2://inv/ES1VZMG6MB |
|---|---|
| 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#IQB2, Gram kernels are positive (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mohammed Abouzaid ES1Y42X3JY
| URI | m2://inv/ES1Y42X3JY |
|---|---|
| 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 Q27960245, Mohammed Abouzaid (unknown). Also nLab Mohammed Abouzaid
- wikipedia: Wikipedia Mohammed Abouzaid, Mohammed Abouzaid (topic). Also Wikidata Q27960245
History
- 2026-10-26: add by m2/dev
Properties ES22AF4QPP
| URI | m2://inv/ES22AF4QPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann sampler#QE7H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Difference in differences ES26FMFVKF
| URI | m2://inv/ES26FMFVKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7R70, Difference in differences (definition)
History
- 2026-11-02: add by m2/dev
ES2AW32XF2 ES2AW32XF2
| URI | m2://inv/ES2AW32XF2 |
|---|---|
| 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 2208.07401#N4U3 (statement). In GJD7HKCE56/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.6
Barbara Falkenbach Ryan ES2B4B3KP3
| URI | m2://inv/ES2B4B3KP3 |
|---|---|
| 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#OYSF, Barbara Falkenbach Ryan (unknown)
History
- 2026-11-02: add by m2/dev
Urtzi Buijs ES2FJW5TGJ
| URI | m2://inv/ES2FJW5TGJ |
|---|---|
| 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 Q102292256, Urtzi Buijs (unknown). Also nLab Urtzi Buijs
History
- 2026-10-26: add by m2/dev
Properties ES2K525PPV
| URI | m2://inv/ES2K525PPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric relation#WYH9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulation ES2RDCNAS1
| URI | m2://inv/ES2RDCNAS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Bernays paradox#ZNIA, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Rational Hurewicz theorem ES2ZYTRHZG
| URI | m2://inv/ES2ZYTRHZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurewicz theorem#FLCZ, Rational Hurewicz theorem (statement)
History
- 2026-11-02: add by m2/dev
Computation ES34QWH3JB
| URI | m2://inv/ES34QWH3JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engset formula#A12L, Computation (definition)
History
- 2026-11-02: add by m2/dev
ES3Q21HV51 ES3Q21HV51
| URI | m2://inv/ES3Q21HV51 |
|---|---|
| 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.21035#RLDR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kurnow, Ernest ES405N3Z7H
| URI | m2://inv/ES405N3Z7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#78RM, Kurnow, Ernest (unknown)
History
- 2026-11-02: add by m2/dev
Nondegeneracy of the polar pairing ES43HR8EK0
| URI | m2://inv/ES43HR8EK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#9NPU, Nondegeneracy of the polar pairing (statement). In 7NS75J7HAM/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
ES4B4276QB ES4B4276QB
| URI | m2://inv/ES4B4276QB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#GE80 (definition). In G02N9D40B9/e1, definition 4.2.7
History
- 2026-10-29: add by m2/v0.4.10
ES4JH6BHQJ ES4JH6BHQJ
| URI | m2://inv/ES4JH6BHQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#PIH4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statisticians' and engineers' cross-reference of statistical terms ES4V9JAXJE
| URI | m2://inv/ES4V9JAXJE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statisticians' and engineers' cross-reference of statistical terms, Statisticians' and engineers' cross-reference of statistical terms (topic). Also Wikidata Q7604422
History
- 2026-11-02: add by m2/dev
Locally closed subset ES4XW0N37H
| URI | m2://inv/ES4XW0N37H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#U09A, Locally closed subset (definition)
History
- 2026-11-02: add by m2/dev
Running example ES56DAPN1K
| URI | m2://inv/ES56DAPN1K |
|---|---|
| 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.20656#C8KE, Running example (example)
History
- 2026-11-02: add by m2/v0.6.18
Existence and uniqueness ES59FF2R39
| URI | m2://inv/ES59FF2R39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08374#ZON5, Existence and uniqueness (statement). In XYVSD6A7GV/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
pullback bundle ES5DDXGZ2S
| URI | m2://inv/ES5DDXGZ2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4200951, pullback bundle (unknown). Also nLab pullback bundle
- wikipedia: Wikipedia Pullback bundle, Pullback bundle (definition). Also Wikidata Q4200951
History
- 2026-10-26: add by m2/dev
Potential under changes of unit and reference ES5F8A98F0
| URI | m2://inv/ES5F8A98F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15466#YIRN, Potential under changes of unit and reference (statement). In KJ7V6XG4M7/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
ES5R9P4GBK ES5R9P4GBK
| URI | m2://inv/ES5R9P4GBK |
|---|---|
| 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.33238#SS2M (statement). In MVWXMDFP3P/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Definition ES5R9R63FJ
| URI | m2://inv/ES5R9R63FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm kernel#D85N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Yan Soibelman ES5S7JZB9C
| URI | m2://inv/ES5S7JZB9C |
|---|---|
| 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 Q8048171, Yan Soibelman (unknown). Also nLab Yan Soibelman
- wikipedia: Wikipedia Yan Soibelman, Yan Soibelman (topic). Also Wikidata Q8048171
History
- 2026-10-26: add by m2/dev
Fischer group Fi23 ES5SN5VVPS
| URI | m2://inv/ES5SN5VVPS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fischer group Fi23, Fischer group Fi23 (object). Also Wikidata Q5454433
History
- 2026-11-02: add by m2/dev
ES5VSZW669 ES5VSZW669
| URI | m2://inv/ES5VSZW669 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central configuration#U7J1 (problem)
History
- 2026-11-02: add by m2/dev
Nonuniqueness for the transferred singular generator ES5YQW5KFX
| URI | m2://inv/ES5YQW5KFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18180#75O6, Nonuniqueness for the transferred singular generator (statement). In NJGS7D1EPH/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
ES6DBMHQDM ES6DBMHQDM
| URI | m2://inv/ES6DBMHQDM |
|---|---|
| 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 2609.30067#YYE3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hexapentakis truncated icosahedron ES6K9MW5DE
| URI | m2://inv/ES6K9MW5DE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexapentakis truncated icosahedron, Hexapentakis truncated icosahedron (object). Also Wikidata Q30591387
History
- 2026-11-02: add by m2/dev
Revelation principles ES6QPMSXWY
| URI | m2://inv/ES6QPMSXWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incentive compatibility#2XSN, Revelation principles (statement)
History
- 2026-11-02: add by m2/dev
Chow variety ES7J2PEHE8
| URI | m2://inv/ES7J2PEHE8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5105518, Chow variety (concept). Also EoM Chow variety, MathWorld ChowVariety
- wikipedia: Wikipedia Chow variety, Chow variety (definition). Also Wikidata Q5105518
History
- 2026-10-26: add by m2/dev
Myhill, Nerode (1957) ES7M0FV35P
| URI | m2://inv/ES7M0FV35P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myhill–Nerode theorem#Q2I8, Myhill, Nerode (1957) (statement)
History
- 2026-11-02: add by m2/dev
Properties ES7PXJ2CQV
| URI | m2://inv/ES7PXJ2CQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-arithmetic mean#5AVK, Properties (statement)
History
- 2026-11-02: add by m2/dev
ES7SMTTFT8 ES7SMTTFT8
| URI | m2://inv/ES7SMTTFT8 |
|---|---|
| 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.22218#WQYU (statement). In 338GKREFVP/e1, lemma 39
History
- 2026-10-27: add by m2/v0.4.0
Simson line ES7X4DVZKE
| URI | m2://inv/ES7X4DVZKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simson line PNRMHP5A0C |
Mentions
- wikidata: Wikidata Q937921, Simson line (statement). Also MathWorld SimsonLine
- wikipedia: Wikipedia Simson line, Simson line (definition). Also Wikidata Q937921
History
- 2026-10-26: add by m2/dev
ES8025K4XC ES8025K4XC
| URI | m2://inv/ES8025K4XC |
|---|---|
| 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 2410.12994#OI78 (statement). In DF7NRQSDH9/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
ES82N1HAD6 ES82N1HAD6
| URI | m2://inv/ES82N1HAD6 |
|---|---|
| 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.03327#31VD (statement). In EBNXA84CPM/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Positive autocovariance at every lag ES8A3JFGCK
| URI | m2://inv/ES8A3JFGCK |
|---|---|
| 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.25084#WF77, Positive autocovariance at every lag (statement)
History
- 2026-11-01: add by m2/v0.6.15
Configuration space ES8BMVNKWN
| URI | m2://inv/ES8BMVNKWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration space (physics), Configuration space (definition). Also Wikidata Q1156912
History
- 2026-11-02: add by m2/dev
Archimedes constant ES8GTBZ57S
| URI | m2://inv/ES8GTBZ57S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#6CW2, Archimedes constant (definition)
History
- 2026-11-02: add by m2/dev
confluent hypergeometric function of the second kind ES8TZR6CQ3
| URI | m2://inv/ES8TZR6CQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109750741, confluent hypergeometric function of the second kind (unknown). Also MathWorld ConfluentHypergeometricFunctionoftheSecondKind
History
- 2026-10-26: add by m2/dev
ES8X49R47A ES8X49R47A
| URI | m2://inv/ES8X49R47A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35766#N4OM (definition). In 6638EFW1NG/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
ES9A0GTRDR ES9A0GTRDR
| URI | m2://inv/ES9A0GTRDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16518#SNWE (statement). In SAQBDG4FK1/e1, corollary F.4
History
- 2026-10-28: add by m2/v0.4.2
Generalized doubled ideals ES9ERDQK9S
| URI | m2://inv/ES9ERDQK9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#FNZB, Generalized doubled ideals (statement)
History
- 2026-11-02: add by m2/v0.6.18
Extrapolation domain analysis ES9GJN6BEW
| URI | m2://inv/ES9GJN6BEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extrapolation domain analysis, Extrapolation domain analysis (definition). Also Wikidata Q5422245
History
- 2026-11-02: add by m2/dev
Cyprus Mathematical Society ES9H5XGB93
| URI | m2://inv/ES9H5XGB93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#KOPE, Cyprus Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
ES9R8SMQZS ES9R8SMQZS
| URI | m2://inv/ES9R8SMQZS |
|---|---|
| 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.01267#Z58Q (statement). In GWWHP6R0BZ/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Steven G. Krantz ES9S1SY9PJ
| URI | m2://inv/ES9S1SY9PJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EQF2, Steven G. Krantz (topic)
History
- 2026-11-02: add by m2/dev
ES9TQDGT40 ES9TQDGT40
| URI | m2://inv/ES9TQDGT40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.29574#0YTQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
In law ES9VGA4XCP
| URI | m2://inv/ES9VGA4XCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vagueness#YBSE, In law (statement)
History
- 2026-11-02: add by m2/dev
Examples ES9X6JWEKG
| URI | m2://inv/ES9X6JWEKG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zarankiewicz problem#W4UA, Examples (example)
History
- 2026-11-02: add by m2/dev
Colin McGinn ESA6STR1SZ
| URI | m2://inv/ESA6STR1SZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colin McGinn, Colin McGinn (topic). Also Wikidata Q742827
History
- 2026-11-02: add by m2/dev
Lara Alcock ESA7Z57WPN
| URI | m2://inv/ESA7Z57WPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lara Alcock, Lara Alcock (topic). Also Wikidata Q56604039
History
- 2026-11-02: add by m2/dev
Applications ESAJRKP12F
| URI | m2://inv/ESAJRKP12F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta function#RWBV, Applications (example)
History
- 2026-11-02: add by m2/dev
ESAK0ZK93F ESAK0ZK93F
| URI | m2://inv/ESAK0ZK93F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#TQJH (example). In DB223AABTH/e1, example 2.6
History
- 2026-10-27: add by m2/v0.3.5
disk ESAQT4YEV5
| URI | m2://inv/ESAQT4YEV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16557296 (unknown). Also MathWorld Disk
- wikidata: Wikidata Q238231, disk (unknown). Also MathWorld Disk
- wikipedia: Wikipedia Disk (mathematics), Disk (definition). Also Wikidata Q238231
History
- 2026-10-26: add by m2/dev
Examples ESASR9BG7G
| URI | m2://inv/ESASR9BG7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generator (category theory)#HFN9, Examples (example)
History
- 2026-11-02: add by m2/dev
Hough transform ESAV9NYZ6D
| URI | m2://inv/ESAV9NYZ6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hough transform 3DK4V3A10K |
Mentions
- wikidata: Wikidata Q195076, Hough transform (unknown). Also MathWorld HoughTransform
- wikipedia: Wikipedia Hough transform, Hough transform (definition). Also Wikidata Q195076
History
- 2026-10-26: add by m2/dev
Example of doubling ESAYYMHKFM
| URI | m2://inv/ESAYYMHKFM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Edwards curve#MTY4, Example of doubling (example)
History
- 2026-11-02: add by m2/dev
Invariant coordinate slabs ESAZKZEKJY
| URI | m2://inv/ESAZKZEKJY |
|---|---|
| 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.10993#DWIV, Invariant coordinate slabs (statement). In 1JCPN0K7DB/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
596 (number) ESB09CWG8Y
| URI | m2://inv/ESB09CWG8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#4H12, 596 (number) (unknown)
History
- 2026-11-02: add by m2/dev
ESB6H7P4ER ESB6H7P4ER
| URI | m2://inv/ESB6H7P4ER |
|---|---|
| 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 2508.02432#KA2Y (statement). In B366ACYB37/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
A sufficient Hall condition ESBEJZTPZS
| URI | m2://inv/ESBEJZTPZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01391#M2EP, A sufficient Hall condition (statement). In MAZNVJX5YK/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Example ESBKBAJCHE
| URI | m2://inv/ESBKBAJCHE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal matrix#LHBP, Example (example)
History
- 2026-11-02: add by m2/dev
ESBKX5M7EP ESBKX5M7EP
| URI | m2://inv/ESBKX5M7EP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#theorem-5 (statement). In RZP28ERRZV, theorem, section 12.4
History
- 2026-11-01: add by m2/v0.6.13
Aleph function ESBPHFJWGB
| URI | m2://inv/ESBPHFJWGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleph number#XVL0, Aleph function (unknown)
History
- 2026-11-02: add by m2/dev
Key encapsulation mechanism ESBSKB554K
| URI | m2://inv/ESBSKB554K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key encapsulation mechanism, Key encapsulation mechanism (definition). Also Wikidata Q6398156
History
- 2026-11-02: add by m2/dev
ESC233HE79 ESC233HE79
| URI | m2://inv/ESC233HE79 |
|---|---|
| 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.20521#7KG2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ESC3RAME5M ESC3RAME5M
| URI | m2://inv/ESC3RAME5M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#FP63 (definition)
History
- 2026-11-01: add by m2/v0.6.15
ESC8M6G8HG ESC8M6G8HG
| URI | m2://inv/ESC8M6G8HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#07H8 (statement). In RW315W172S/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
ESCFHRMQTM ESCFHRMQTM
| URI | m2://inv/ESCFHRMQTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#HDL0 (statement). In 3CGS9GSKTQ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Difference-map algorithm ESCGCNWMDF
| URI | m2://inv/ESCGCNWMDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#F7J8, Difference-map algorithm (unknown)
History
- 2026-11-02: add by m2/dev
9998 (number) ESCVCYP2N8
| URI | m2://inv/ESCVCYP2N8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 9000 (number)#GYVR, 9998 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic statistics ESCZJB762C
| URI | m2://inv/ESCZJB762C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SQWW, Algebraic statistics (topic)
History
- 2026-11-02: add by m2/dev
Zero-section factorization over arbitrary bases ESD00WS4V7
| URI | m2://inv/ESD00WS4V7 |
|---|---|
| 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#R2AV, Zero-section factorization over arbitrary bases (statement). In 8PTDFHV8SQ/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.3
Yao's XOR lemma ESD4V3ZWB2
| URI | m2://inv/ESD4V3ZWB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5CA5, Yao's XOR lemma (definition)
History
- 2026-11-02: add by m2/dev
ESD6DFR1FJ ESD6DFR1FJ
| URI | m2://inv/ESD6DFR1FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#WMOZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Complex coordinate space ESD8EZM71W
| URI | m2://inv/ESD8EZM71W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex coordinate space, Complex coordinate space (definition). Also Wikidata Q21167419
History
- 2026-11-02: add by m2/dev
ESD8QH35SB ESD8QH35SB
| URI | m2://inv/ESD8QH35SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#QLV3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ESDG19E3ME ESDG19E3ME
| URI | m2://inv/ESDG19E3ME |
|---|---|
| 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 2609.22240#0XRL (statement)
History
- 2026-11-02: add by m2/v0.6.17
ESDR265V18 ESDR265V18
| URI | m2://inv/ESDR265V18 |
|---|---|
| Kind | definition |
| 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.13076#QOKE (definition). In K7GJA4WGV7/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Latent Dirichlet allocation ESDXV4N8Z7
| URI | m2://inv/ESDXV4N8Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S278, Latent Dirichlet allocation (definition)
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#T23Y, Latent Dirichlet allocation (definition)
History
- 2026-11-02: add by m2/dev
ESDXZZ16WN ESDXZZ16WN
| URI | m2://inv/ESDXZZ16WN |
|---|---|
| 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.27049#C42J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Explicit place of prime degree ESE3K33RF6
| URI | m2://inv/ESE3K33RF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#U2NR, Explicit place of prime degree (statement). In N4M6B8EMCW/e1, proposition 3.7
History
- 2026-10-31: add by m2/v0.5.6
Rodrigues' formula ESE7FNR2TD
| URI | m2://inv/ESE7FNR2TD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical orthogonal polynomials#IHYU, Rodrigues' formula (statement)
History
- 2026-11-02: add by m2/dev
Theorem (Distinct Cosets) ESED5EPRKY
| URI | m2://inv/ESED5EPRKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#AWY7, Theorem (Distinct Cosets) (statement)
History
- 2026-11-02: add by m2/dev
ESEJPJDZQP ESEJPJDZQP
| URI | m2://inv/ESEJPJDZQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24355#V51O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Characterization ESEKBH2W69
| URI | m2://inv/ESEKBH2W69 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amenable number#HJSN, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Kim Hyun-Min ESEX8SRFQT
| URI | m2://inv/ESEX8SRFQT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kim Hyun-Min, Kim Hyun-Min (topic). Also Wikidata Q102312563
History
- 2026-11-02: add by m2/dev
Maximal set ESF1CWZ0B3
| URI | m2://inv/ESF1CWZ0B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal set (computability theory), Maximal set (definition). Also Wikidata Q6795644
History
- 2026-11-02: add by m2/dev
Operator span seminorm ESF6E3VB6T
| URI | m2://inv/ESF6E3VB6T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#14QJ, Operator span seminorm (definition). In B29M4E6KGC/e1, definition E.3
History
- 2026-10-28: add by m2/v0.4.2
Examples ESFDVAXM0G
| URI | m2://inv/ESFDVAXM0G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rota's basis conjecture#Y2CZ, Examples (example)
History
- 2026-11-02: add by m2/dev
ESFQE5DHK3 ESFQE5DHK3
| URI | m2://inv/ESFQE5DHK3 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#Q9Q0 (unknown). In Q3NMYW8ANH/e1, unknown 1.5
History
- 2026-10-27: add by m2/v0.4.2
pseudocircle ESFQJ1JS1G
| URI | m2://inv/ESFQJ1JS1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7254653, pseudocircle (unknown). Also nLab pseudocircle
- wikipedia: Wikipedia Pseudocircle, Pseudocircle (definition). Also Wikidata Q7254653
History
- 2026-10-26: add by m2/dev
ESFQY859X3 ESFQY859X3
| URI | m2://inv/ESFQY859X3 |
|---|---|
| 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.12108#A1PF (statement). In JQH3FHYPW3/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Clairaut's theorem ESFRAVW2WJ
| URI | m2://inv/ESFRAVW2WJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1068385, Clairaut's theorem (statement). Also Wikidata Q1068385
- thousand_plus: thousand_plus Q1068385, Clairaut's theorem (statement). Also Wikidata Q1068385, Wikipedia Clairaut's theorem
- wikipedia: Wikipedia Clairaut's theorem (gravity), Clairaut's theorem (statement). Also Wikidata Q1068385
History
- 2026-10-26: add by m2/dev
ESFVRPBM6N ESFVRPBM6N
| URI | m2://inv/ESFVRPBM6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#3550 (statement). In 30YQV8N04M/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
History of zero ESFW8PVYZQ
| URI | m2://inv/ESFW8PVYZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 0#9ZQD, History of zero (unknown)
History
- 2026-11-02: add by m2/dev
ESG3RVCDP9 ESG3RVCDP9
| URI | m2://inv/ESG3RVCDP9 |
|---|---|
| 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.37897#FBGR (statement). In RBQ5FNCVNZ/e1, proposition 7.13
History
- 2026-10-30: add by m2/v0.4.12
\textbf{Intrinsic operator identifies the Riemannian metric (for fixed bandwidth and positive density ESGAW4QSRA
| URI | m2://inv/ESGAW4QSRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17032#OM3L, \textbf{Intrinsic operator identifies the Riemannian metric (for fixed bandwidth and positive density (statement). In MXPK9A2HK2/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
ESGB18C08D ESGB18C08D
| URI | m2://inv/ESGB18C08D |
|---|---|
| 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 2602.19452#AXO1 (statement). In 3GF75S0XJ0/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
Michelle Schatzman ESGBYZJG0E
| URI | m2://inv/ESGBYZJG0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michelle Schatzman, Michelle Schatzman (topic). Also Wikidata Q16267563
History
- 2026-11-02: add by m2/dev
ESGS4Q1262 ESGS4Q1262
| URI | m2://inv/ESGS4Q1262 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#OVOW (statement). In F7TDYCHCSE/e1, corollary 5.12
History
- 2026-10-27: add by m2/v0.3.5
Spatial covariance reduction ESGSM08SB9
| URI | m2://inv/ESGSM08SB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10408#5ROB, Spatial covariance reduction (statement). In H976NYKBNT/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.10
Rules ESH0Y3XWSY
| URI | m2://inv/ESH0Y3XWSY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#HRMR, Rules (definition). In WD2NCBV9F0/e1, definition 9.6
History
- 2026-10-27: add by m2/v0.3.5
Relation to Newton's law ESH39K911B
| URI | m2://inv/ESH39K911B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law for gravity#FPBC, Relation to Newton's law (statement)
History
- 2026-11-02: add by m2/dev
Peak–end rule ESH3C3Y5EC
| URI | m2://inv/ESH3C3Y5EC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#7GSO, Peak–end rule (unknown)
History
- 2026-11-02: add by m2/dev
Hellmann–Feynman theorem ESH8ZVQDRS
| URI | m2://inv/ESH8ZVQDRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q906809, Hellmann–Feynman theorem (statement). Also Wikidata Q906809
- thousand_plus: thousand_plus Q906809, Hellmann–Feynman theorem (statement). Also Wikidata Q906809, Wikipedia Hellmann–Feynman theorem
- wikipedia: Wikipedia Hellmann–Feynman theorem, Hellmann–Feynman theorem (statement). Also Wikidata Q906809
History
- 2026-10-26: add by m2/dev
ESHTJ2R0KF ESHTJ2R0KF
| URI | m2://inv/ESHTJ2R0KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-2-lim.xml#definition-1 (definition). In 907G4C4EJ1, definition, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
ESHTX08P45 ESHTX08P45
| URI | m2://inv/ESHTX08P45 |
|---|---|
| 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.37739#QNSQ (statement). In F5XF5VXTXY/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Cartan's theorems A and B ESHVVQ19P7
| URI | m2://inv/ESHVVQ19P7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5047043, Cartan's theorems A and B (statement). Also Wikidata Q5047043
- thousand_plus: thousand_plus Q5047043, Cartan's theorems A and B (statement). Also Wikidata Q5047043, Wikipedia Cartan's theorems A and B
- wikipedia: Wikipedia Cartan's theorems A and B, Cartan's theorems A and B (statement). Also Wikidata Q5047043
History
- 2026-10-26: add by m2/dev
Shannon capacity ESHXGAGWSG
| URI | m2://inv/ESHXGAGWSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17105770, Shannon capacity (unknown). Also MathWorld ShannonCapacity
- wikipedia: Wikipedia Shannon capacity of a graph, Shannon capacity of a graph (definition). Also Wikidata Q17105770
History
- 2026-10-26: add by m2/dev
Examples ESHYX733Y2
| URI | m2://inv/ESHYX733Y2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Desarguesian plane#XLDN, Examples (example)
History
- 2026-11-02: add by m2/dev
ESHZTSWYKX ESHZTSWYKX
| URI | m2://inv/ESHZTSWYKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#F85Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
partition, of an integer ESJ30PSFEF
| URI | m2://inv/ESJ30PSFEF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.5.1/partition-of-an-integer, partition, of an integer (concept). In QKM9DD2H56, index, section 16.5.1
History
- 2026-11-01: add by m2/v0.6.13
isolated ESJ7G1D5E2
| URI | m2://inv/ESJ7G1D5E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#QQE6, isolated (definition)
History
- 2026-11-02: add by m2/dev
ESJ7K0NAJY ESJ7K0NAJY
| URI | m2://inv/ESJ7K0NAJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#WJ31 (statement). In 55QFMZQ5HM/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.3.6
ESJAE4HNBE ESJAE4HNBE
| URI | m2://inv/ESJAE4HNBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27751#D6SZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coupon collector's problem ESJCTQWWA5
| URI | m2://inv/ESJCTQWWA5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#JRIO, Coupon collector's problem (problem)
History
- 2026-11-02: add by m2/dev
Properties ESJMD8DYA4
| URI | m2://inv/ESJMD8DYA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astroid#FW2F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kronecker–Weber theorem ESJMZWEJ25
| URI | m2://inv/ESJMZWEJ25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#C17R, Kronecker–Weber theorem (statement)
History
- 2026-11-02: add by m2/dev
Francis Amasa Walker ESJV58Z8JD
| URI | m2://inv/ESJV58Z8JD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Amasa Walker, Francis Amasa Walker (topic). Also Wikidata Q324031
History
- 2026-11-02: add by m2/dev
Discontinuous linear map ESJX69F4VV
| URI | m2://inv/ESJX69F4VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuous linear map, Discontinuous linear map (definition). Also Wikidata Q4391529
History
- 2026-11-02: add by m2/dev
Auction envelope theorem ESK3QPR8RJ
| URI | m2://inv/ESK3QPR8RJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auction theory#PWVE, Auction envelope theorem (statement)
History
- 2026-11-02: add by m2/dev
ESK521CQTP ESK521CQTP
| URI | m2://inv/ESK521CQTP |
|---|---|
| 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 1912.08672#N2I6 (statement). In 55X5V0M3K7/e1, proposition
History
- 2026-10-27: add by m2/v0.3.6
ESK6FHF7EE ESK6FHF7EE
| URI | m2://inv/ESK6FHF7EE |
|---|---|
| Kind | example |
| 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.11043#A3AJ (example). In R3NJYPZH52/e1, example 3.9
History
- 2026-10-28: add by m2/v0.4.3
Infinite towers ESK7BSZX3C
| URI | m2://inv/ESK7BSZX3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20401#9R81, Infinite towers (statement)
History
- 2026-11-02: add by m2/v0.6.18
Partial inverse of a matrix ESK90BS4GR
| URI | m2://inv/ESK90BS4GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial inverse of a matrix, Partial inverse of a matrix (definition). Also Wikidata Q60791007
History
- 2026-11-02: add by m2/dev
Retained states are subexponentially many given existence ESKJRP18Z2
| URI | m2://inv/ESKJRP18Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#U20K, Retained states are subexponentially many given existence (statement). In NKXTXH59P1/e1, proposition E.26
History
- 2026-10-29: add by m2/v0.4.10
ESKP0KDEQ4 ESKP0KDEQ4
| URI | m2://inv/ESKP0KDEQ4 |
|---|---|
| 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.21475#374P (statement). In TTRSZVT4VX/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.4.2
Discrete stochastic Hamilton-Pontryagin principle ESM608DFPY
| URI | m2://inv/ESM608DFPY |
|---|---|
| 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.14717#QM81, Discrete stochastic Hamilton-Pontryagin principle (statement). In ZB2QPB5EBN/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
ESM9YC0ERH ESM9YC0ERH
| URI | m2://inv/ESM9YC0ERH |
|---|---|
| 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 2610.07905#DZ8D (statement). In 88GEN3Z5VG/e1, corollary 8.5
History
- 2026-10-29: add by m2/v0.4.10
Omri Sarig ESMH8J4F5E
| URI | m2://inv/ESMH8J4F5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omri Sarig, Omri Sarig (topic). Also Wikidata Q47540126
History
- 2026-11-02: add by m2/dev
Copeland–Erdős constant ESMNH88EY7
| URI | m2://inv/ESMNH88EY7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#XH5O, Copeland–Erdős constant (object)
History
- 2026-11-02: add by m2/dev
Generalization ESMPWJA2BN
| URI | m2://inv/ESMPWJA2BN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual representation#BH2S, Generalization (statement)
History
- 2026-11-02: add by m2/dev
ESMV54YNG6 ESMV54YNG6
| URI | m2://inv/ESMV54YNG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#definition-3 (definition). In RZP28ERRZV, definition, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Littlewood's theorem ESMVECXSZC
| URI | m2://inv/ESMVECXSZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#H22D, Littlewood's theorem (statement)
History
- 2026-11-02: add by m2/dev
isolated singularity ESMYZJ99FT
| URI | m2://inv/ESMYZJ99FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Isolated singularity 05Z3FC0154 |
Mentions
- wikidata: Wikidata Q2297037, isolated singularity (definition). Also EoM Isolated_singular_point, MathWorld IsolatedSingularity, ProofWiki Definition:Isolated_Singularity
- wikipedia: Wikipedia Isolated singularity, Isolated singularity (definition). Also Wikidata Q2297037
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ESN5DW9K3T ESN5DW9K3T
| URI | m2://inv/ESN5DW9K3T |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Normalized-contrast oracle inequality ESNNP9N3NW
| URI | m2://inv/ESNNP9N3NW |
|---|---|
| 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.05388#Q7FW, Normalized-contrast oracle inequality (statement). In 4HJK1986EJ/e1, theorem C.1
History
- 2026-10-29: add by m2/v0.4.10
Strong modus ponendo tollens ESNPRWPDBD
| URI | m2://inv/ESNPRWPDBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modus ponendo tollens#ZD0C, Strong modus ponendo tollens (unknown)
History
- 2026-11-02: add by m2/dev
Uniform isomorphism ESNSHVB13C
| URI | m2://inv/ESNSHVB13C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#10FJ, Uniform isomorphism (definition)
History
- 2026-11-02: add by m2/dev
Engel expansion ESNWWMQPEP
| URI | m2://inv/ESNWWMQPEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q279156, Engel expansion (unknown). Also MathWorld EngelExpansion
- wikipedia: Wikipedia Engel expansion, Engel expansion (definition). Also Wikidata Q279156
History
- 2026-10-26: add by m2/dev
Example ESP4H7XHBE
| URI | m2://inv/ESP4H7XHBE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian period#9BUF, Example (example)
History
- 2026-11-02: add by m2/dev
Torus ESP4JSK2ZM
| URI | m2://inv/ESP4JSK2ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#11GV, Torus (definition)
- wikipedia: Wikipedia List of mathematical shapes#KS69, Torus (definition)
- wikipedia: Wikipedia List of topologies#56MP, Torus (definition)
- wikipedia: Wikipedia List of surfaces#KYR9, Torus (definition)
- wikipedia: Wikipedia List of manifolds#8Q7L, Torus (definition)
History
- 2026-11-02: add by m2/dev
ESPBF6S884 ESPBF6S884
| URI | m2://inv/ESPBF6S884 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#Z6AJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
transitive closure ESPGMH4G0W
| URI | m2://inv/ESPGMH4G0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Transitive closure 05J9NWX07X |
Mentions
- wikidata: Wikidata Q1501387, transitive closure (unknown). Also MathWorld TransitiveClosure
- wikipedia: Wikipedia Transitive closure, Transitive closure (definition). Also Wikidata Q1501387
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ESPJECKB3C ESPJECKB3C
| URI | m2://inv/ESPJECKB3C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-12 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Localized estimates of Plotnikov--Weigant ESPZ531P5G
| URI | m2://inv/ESPZ531P5G |
|---|---|
| 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.12387#K6PP, Localized estimates of Plotnikov--Weigant (statement). In 3Z0PRE77SY/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Properties ESQ24JG5JN
| URI | m2://inv/ESQ24JG5JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega and agemo subgroup#XWYA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Difference kernel ESQDFTZT7G
| URI | m2://inv/ESQDFTZT7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08007#39TZ, Difference kernel (definition). In MBFRRC83TH/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Lectures on the Philosophy of Religion ESQHRKQ8ZH
| URI | m2://inv/ESQHRKQ8ZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6512443, Lectures on the Philosophy of Religion (unknown). Also nLab Lectures on the Philosophy of Religion
History
- 2026-10-26: add by m2/dev
ESQSFVZK5E ESQSFVZK5E
| URI | m2://inv/ESQSFVZK5E |
|---|---|
| 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.15405#THRO (statement). In 9QCYCXVF5W/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
ANOVA gauge R&R ESQTEEPDT9
| URI | m2://inv/ESQTEEPDT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ANOVA gauge R&R, ANOVA gauge R&R (definition). Also Wikidata Q3094318
History
- 2026-11-02: add by m2/dev
Free Fisher information, Voiculescu ESQY2P9ANX
| URI | m2://inv/ESQY2P9ANX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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 2610.22109#C4RO, Free Fisher information, Voiculescu (definition). In MZ60NP20BH/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Nikolaus Hautsch ESR31H8365
| URI | m2://inv/ESR31H8365 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolaus Hautsch, Nikolaus Hautsch (topic). Also Wikidata Q30074764
History
- 2026-11-02: add by m2/dev
Extensions ESR3GVK638
| URI | m2://inv/ESR3GVK638 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fair random assignment#RLKR, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Cox's theorem ESR5XN1M2B
| URI | m2://inv/ESR5XN1M2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MAO2, Cox's theorem (statement)
History
- 2026-11-02: add by m2/dev
Neurons and shell field ESR7KETGT4
| URI | m2://inv/ESR7KETGT4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#32T6, Neurons and shell field (definition). In ESPJMBH2R2/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
ESR7RQQRRK ESR7RQQRRK
| URI | m2://inv/ESR7RQQRRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37106#U6QI (statement). In XNK04XFP2C/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
ESRHHCRP67 ESRHHCRP67
| URI | m2://inv/ESRHHCRP67 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.06152#18F1 (definition). In HH35K7S17H/e1, definition 6.4
History
- 2026-10-29: add by m2/v0.4.10
ESRP8A1NXR ESRP8A1NXR
| URI | m2://inv/ESRP8A1NXR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/disciplined-machines.tex#tur:mac:dis:prob:disc-succ (exercise). In PKGMM3P5QY, prob, section 85.5
History
- 2026-11-01: add by m2/v0.6.13
ESRYWZX18R ESRYWZX18R
| URI | m2://inv/ESRYWZX18R |
|---|---|
| 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 math/0411039#7GXF (statement). In ZTBDXSKFFW/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
Milnor's fibration theorem ESSAGFAWJ9
| URI | m2://inv/ESSAGFAWJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor map#EH1S, Milnor's fibration theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition ESSKGA73CH
| URI | m2://inv/ESSKGA73CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability#Q6NX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Desnanot–Jacobi identity ESSTAQPSTR
| URI | m2://inv/ESSTAQPSTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodgson condensation#FVAW, Desnanot–Jacobi identity (statement)
History
- 2026-11-02: add by m2/dev
ESSWN1MMCV ESSWN1MMCV
| URI | m2://inv/ESSWN1MMCV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#ELGE (definition). In QM1T8JDK4A/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Arguments for and against the Riemann hypothesis ESSWT5BCJV
| URI | m2://inv/ESSWT5BCJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#43CY, Arguments for and against the Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Kenkichi Iwasawa ESSXEVMNF8
| URI | m2://inv/ESSXEVMNF8 |
|---|---|
| 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 Q933692, Kenkichi Iwasawa (unknown). Also nLab Kenkichi Iwasawa
History
- 2026-10-26: add by m2/dev
Examples EST06FWADY
| URI | m2://inv/EST06FWADY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential spectrum#KA9U, Examples (example)
History
- 2026-11-02: add by m2/dev
EST1CW940B EST1CW940B
| URI | m2://inv/EST1CW940B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proposition-3 (statement). In RZP28ERRZV, proposition, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
List of academic statistical associations EST929P9PX
| URI | m2://inv/EST929P9PX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#9S79, List of academic statistical associations (topic)
History
- 2026-11-02: add by m2/dev
EST96ZMX1T EST96ZMX1T
| URI | m2://inv/EST96ZMX1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19250#NTDR (statement). In FRJPR9GBCH/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
ESTHMWHGVP ESTHMWHGVP
| URI | m2://inv/ESTHMWHGVP |
|---|---|
| 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.25912#M9L2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kolmogorov–Arnold representation theorem ESTMTTKZ1B
| URI | m2://inv/ESTMTTKZ1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q25099402, Kolmogorov–Arnold representation theorem (statement). Also Wikidata Q25099402
- thousand_plus: thousand_plus Q25099402, Kolmogorov–Arnold representation theorem (statement). Also Wikidata Q25099402, Wikipedia Kolmogorov–Arnold representation theorem
- wikipedia: Wikipedia Kolmogorov–Arnold representation theorem, Kolmogorov–Arnold representation theorem (statement). Also Wikidata Q25099402
History
- 2026-10-26: add by m2/dev
ESTR6BYC4P ESTR6BYC4P
| URI | m2://inv/ESTR6BYC4P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.11038#WERN (definition). In M3E3ARMJXK/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
ESV7DM3SQH ESV7DM3SQH
| URI | m2://inv/ESV7DM3SQH |
|---|---|
| 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.21174#OGYN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Linda Petzold ESV7F85KYD
| URI | m2://inv/ESV7F85KYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#09CE, Linda Petzold (unknown)
History
- 2026-11-02: add by m2/dev
ESVA8C72Y1 ESVA8C72Y1
| URI | m2://inv/ESVA8C72Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10325#JJX2 (statement). In 66CDJ94PGW/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
ESVAWN2J8P ESVAWN2J8P
| URI | m2://inv/ESVAWN2J8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#PB7L (statement). In 9PXXGQ978Z/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
ESVBDZ6J1G ESVBDZ6J1G
| URI | m2://inv/ESVBDZ6J1G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 91.2
History
- 2026-11-01: add by m2/v0.6.13
ESVE893W51 ESVE893W51
| URI | m2://inv/ESVE893W51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01806#2CPH (statement). In 4FXW9CRBXX/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
ESVM5HXQN8 ESVM5HXQN8
| URI | m2://inv/ESVM5HXQN8 |
|---|---|
| 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#EG33 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Waterman ESVM65RQ15
| URI | m2://inv/ESVM65RQ15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B2SX, Michael Waterman (unknown)
History
- 2026-11-02: add by m2/dev
Example ESVTT8ZWRH
| URI | m2://inv/ESVTT8ZWRH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farkas' lemma#R5CJ, Example (example)
History
- 2026-11-02: add by m2/dev
Examples ESW1GD7ZHK
| URI | m2://inv/ESW1GD7ZHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-compact group#DTMF, Examples (example)
History
- 2026-11-02: add by m2/dev
Least-squares adjustment ESW824ATN9
| URI | m2://inv/ESW824ATN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-squares adjustment, Least-squares adjustment (definition). Also Wikidata Q2517078
History
- 2026-11-02: add by m2/dev
Local asymptotic normality ESWC6X90GA
| URI | m2://inv/ESWC6X90GA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local asymptotic normality, Local asymptotic normality (definition). Also Wikidata Q6664277
History
- 2026-11-02: add by m2/dev
Balanced reflection principle ESWCT78874
| URI | m2://inv/ESWCT78874 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01783#NHCD, Balanced reflection principle (statement). In 8BKC3PVX9G/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
trivial ESWK764QYF
| URI | m2://inv/ESWK764QYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#F40X, trivial (definition)
History
- 2026-11-02: add by m2/dev
ESWVY69WH3 ESWVY69WH3
| URI | m2://inv/ESWVY69WH3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#AAXI (definition). In 7V2PVZS04C/e1, definition 6.15
History
- 2026-10-31: add by m2/v0.5.6
ESX01VC18A ESX01VC18A
| URI | m2://inv/ESX01VC18A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#1FQA (statement). In 9604WYX0BW/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.3
ESX883FWT6 ESX883FWT6
| URI | m2://inv/ESX883FWT6 |
|---|---|
| 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_deg2-repeated (example). In QKM9DD2H56, example, section 9.4.1
History
- 2026-11-01: add by m2/v0.6.13
Zugzwang ESX8G7ZPXG
| URI | m2://inv/ESX8G7ZPXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zugzwang, Zugzwang (definition). Also Wikidata Q228570
History
- 2026-11-02: add by m2/dev
Self-dual Yang-Mills equations ESXBV9E108
| URI | m2://inv/ESXBV9E108 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills equations#SQRZ, Self-dual Yang-Mills equations (unknown)
History
- 2026-11-02: add by m2/dev
Theorem ESXDG5TVCN
| URI | m2://inv/ESXDG5TVCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ∞-topos#LS8K, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations ESXGFVDG3Q
| URI | m2://inv/ESXGFVDG3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kayles#I3VC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Grid azimuth ESXHP468ZV
| URI | m2://inv/ESXHP468ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azimuth#PBK1, Grid azimuth (unknown)
History
- 2026-11-02: add by m2/dev
Equivalisation ESXKAZZNB0
| URI | m2://inv/ESXKAZZNB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalisation, Equivalisation (definition). Also Wikidata Q5384736
History
- 2026-11-02: add by m2/dev
ESXKNZ0W4F ESXKNZ0W4F
| URI | m2://inv/ESXKNZ0W4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#0C2K (statement). In C8JAGP8VCQ/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
Cumrun Vafa ESXNY92CMW
| URI | m2://inv/ESXNY92CMW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MAF6, Cumrun Vafa (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KTM0, Cumrun Vafa (topic)
- wikipedia: Wikipedia List of string theory topics#UKVU, Cumrun Vafa (topic)
History
- 2026-11-02: add by m2/dev
1089 ESXQ07C6R3
| URI | m2://inv/ESXQ07C6R3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2299683, 1089 (statement). Also ProofWiki 1089
History
- 2026-10-26: add by m2/dev
Two-envelope comparison ESXTZ7GJX2
| URI | m2://inv/ESXTZ7GJX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37164#FG8D, Two-envelope comparison (statement). In B2PG75FSQJ/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Maciej P. Wojtkowski ESXY7Z56NA
| URI | m2://inv/ESXY7Z56NA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MVAU, Maciej P. Wojtkowski (unknown)
History
- 2026-11-02: add by m2/dev
Conjectures ESY0QV6V5K
| URI | m2://inv/ESY0QV6V5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motivic L-function#IY2L, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
ESY1HRDM6R ESY1HRDM6R
| URI | m2://inv/ESY1HRDM6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#RGSK (statement). In 7F8KACT5AJ/e1, corollary 2.8
History
- 2026-10-28: add by m2/v0.4.2
ESY5K9TGR3 ESY5K9TGR3
| URI | m2://inv/ESY5K9TGR3 |
|---|---|
| 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 2501.17009#1095 (statement). In PESAKD6SSW/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.6
ESYKBXVBZ7 ESYKBXVBZ7
| URI | m2://inv/ESYKBXVBZ7 |
|---|---|
| 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.26162#8Q32 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2 Pi Day ESZ13DDPXD
| URI | m2://inv/ESZ13DDPXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#PURM, 2 Pi Day (unknown)
History
- 2026-11-02: add by m2/dev
Thierry Aubin ESZ1QRZKSZ
| URI | m2://inv/ESZ1QRZKSZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thierry Aubin, Thierry Aubin (topic). Also Wikidata Q1398909
History
- 2026-11-02: add by m2/dev
Eustachy Żyliński ESZ1SXAEB3
| URI | m2://inv/ESZ1SXAEB3 |
|---|---|
| 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#TOWO, Eustachy Żyliński (topic)
History
- 2026-11-02: add by m2/dev
Clearing denominators ESZ1XAQE6X
| URI | m2://inv/ESZ1XAQE6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clearing denominators, Clearing denominators (definition). Also Wikidata Q48971469
History
- 2026-11-02: add by m2/dev
Bronisław Knaster ESZ435ERVJ
| URI | m2://inv/ESZ435ERVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bronisław Knaster, Bronisław Knaster (topic). Also Wikidata Q721176
History
- 2026-11-02: add by m2/dev
Cubic character of $7$, general family ESZ8N6AFXN
| URI | m2://inv/ESZ8N6AFXN |
|---|---|
| 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 2606.18859#M948, Cubic character of $7$, general family (statement). In EVRAASXEDY/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.0
Akṣapāda Gautama ESZ9M4NFX1
| URI | m2://inv/ESZ9M4NFX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#C8ON, Akṣapāda Gautama (definition)
History
- 2026-11-02: add by m2/dev
ESZCC4017N ESZCC4017N
| URI | m2://inv/ESZCC4017N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#4ZMR (statement). In 6HJQXZS0A6/e1, lemma 1.6
History
- 2026-10-29: add by m2/v0.4.12
ESZH1SPT5F ESZH1SPT5F
| URI | m2://inv/ESZH1SPT5F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#Z21O (example). In 7VXBVQ5SAC/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.10
ESZJ4KTJHN ESZJ4KTJHN
| URI | m2://inv/ESZJ4KTJHN |
|---|---|
| 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.11974#0YKV (statement). In AW6S4XZ9ZZ/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.3
type, product ESZNZP5RY3
| URI | m2://inv/ESZNZP5RY3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.5/type-product, type, product (concept). In N54F33XE07, index, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
ESZR3CRZDR ESZR3CRZDR
| URI | m2://inv/ESZR3CRZDR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#H2UT (definition). In WD2NCBV9F0/e1, definition 12.10
History
- 2026-10-27: add by m2/v0.3.5
Theorem (VC Inequality) ESZZPFE7EJ
| URI | m2://inv/ESZZPFE7EJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vapnik–Chervonenkis theory#CHOM, Theorem (VC Inequality) (statement)
History
- 2026-11-02: add by m2/dev