Inventory rows AV
The cards of the rows of the inventory whose ids start with AV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
AV03RBVDAT AV03RBVDAT
| URI | m2://inv/AV03RBVDAT |
|---|---|
| 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.21477#KHIK (statement)
History
- 2026-11-02: add by m2/v0.6.18
AV05DSQGB4 AV05DSQGB4
| URI | m2://inv/AV05DSQGB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#2M29 (statement). In P3V3ZGCHV7/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
\protect{Reiser--Wraith AV0AAF44YV
| URI | m2://inv/AV0AAF44YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38126#QUE6, \protect{Reiser--Wraith (statement). In QNVKW32G02/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
AV0AG04D81 AV0AG04D81
| URI | m2://inv/AV0AG04D81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#WIV1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Convergence of the Semi-Discrete Systems with Homogeneous Dirichlet Boundary Conditions AV0BQRTD5K
| URI | m2://inv/AV0BQRTD5K |
|---|---|
| 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.13355#7F93, Convergence of the Semi-Discrete Systems with Homogeneous Dirichlet Boundary Conditions (statement). In QJ1G1HBC6C/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
Glen A. Satten AV0CV5FDE2
| URI | m2://inv/AV0CV5FDE2 |
|---|---|
| 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#AZJW, Glen A. Satten (unknown)
History
- 2026-11-02: add by m2/dev
single turnstile AV0G3TKQ7N
| URI | m2://inv/AV0G3TKQ7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#60EA, single turnstile (definition)
History
- 2026-11-02: add by m2/dev
AV0JMR77G8 AV0JMR77G8
| URI | m2://inv/AV0JMR77G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#G06R (statement). In 9B5TNEBJHV/e1, lemma 1.12
History
- 2026-10-29: add by m2/v0.4.10
Homonoia AV0RP91DBY
| URI | m2://inv/AV0RP91DBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homonoia, Homonoia (definition). Also Wikidata Q17013837
History
- 2026-11-02: add by m2/dev
Construction of the terminal partition AV1055ZRPW
| URI | m2://inv/AV1055ZRPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#PUS0, Construction of the terminal partition (statement)
History
- 2026-11-02: add by m2/v0.6.18
Estimation statistics AV17YPNP3E
| URI | m2://inv/AV17YPNP3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation statistics, Estimation statistics (definition). Also Wikidata Q9255134
History
- 2026-11-02: add by m2/dev
Gilbert Baumslag AV1B6JM7A2
| URI | m2://inv/AV1B6JM7A2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#288I, Gilbert Baumslag (topic)
History
- 2026-11-02: add by m2/dev
Elasticity of a function AV1C71XJ4Z
| URI | m2://inv/AV1C71XJ4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elasticity of a function, Elasticity of a function (definition). Also Wikidata Q5353573
History
- 2026-11-02: add by m2/dev
Block inverse implication AV1CJGET3J
| URI | m2://inv/AV1CJGET3J |
|---|---|
| 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.28198#YH4E, Block inverse implication (statement)
History
- 2026-11-01: add by m2/v0.6.15
Intersection Cut AV1K8BRHD5
| URI | m2://inv/AV1K8BRHD5 |
|---|---|
| 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.33946#JUUT, Intersection Cut (statement). In T61D8EZH24/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Large number of rare events AV1KMTKPFY
| URI | m2://inv/AV1KMTKPFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large number of rare events, Large number of rare events (definition). Also Wikidata Q65052142
History
- 2026-11-02: add by m2/dev
Andrei Zelevinsky AV1THGWWP0
| URI | m2://inv/AV1THGWWP0 |
|---|---|
| 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 Q502771, Andrei Zelevinsky (unknown). Also nLab Andrei Zelevinsky
- wikipedia: Wikipedia Andrei Zelevinsky, Andrei Zelevinsky (topic). Also Wikidata Q502771
History
- 2026-10-26: add by m2/dev
AV21HA8A13 AV21HA8A13
| URI | m2://inv/AV21HA8A13 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
AV254X67AW AV254X67AW
| URI | m2://inv/AV254X67AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08288#QSTM (statement). In CHVWYJM7RM/e1, proposition 4.16
History
- 2026-10-29: add by m2/v0.4.10
Computation AV2720NGF9
| URI | m2://inv/AV2720NGF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleolus (game theory)#V4UC, Computation (definition)
History
- 2026-11-02: add by m2/dev
induction principle, for coproduct AV276C07EB
| URI | m2://inv/AV276C07EB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.7/induction-principle-for-coproduct, induction principle, for coproduct (concept). In N54F33XE07, index, section A.7
History
- 2026-11-01: add by m2/v0.6.13
AV28MWZ8T4 AV28MWZ8T4
| URI | m2://inv/AV28MWZ8T4 |
|---|---|
| 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 2412.14956#NVQB (definition). In T8BQ6HHZYT/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
AV2AX0VZ0J AV2AX0VZ0J
| URI | m2://inv/AV2AX0VZ0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#3ST2 (statement). In F2XATDBRK4/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
AV2NF5TP50 AV2NF5TP50
| URI | m2://inv/AV2NF5TP50 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#NIEC (definition). In EAABRG99V8/e1, definition
History
- 2026-10-27: add by m2/v0.4.0
A second route to the fractional-moment formula AV2RVGAYKN
| URI | m2://inv/AV2RVGAYKN |
|---|---|
| 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#CQJW, A second route to the fractional-moment formula (statement). In NKXTXH59P1/e1, corollary G.4
History
- 2026-10-29: add by m2/v0.4.10
Applications AV2W77NVB0
| URI | m2://inv/AV2W77NVB0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese restaurant process#KJYV, Applications (example)
History
- 2026-11-02: add by m2/dev
AV3NV0BRCS AV3NV0BRCS
| URI | m2://inv/AV3NV0BRCS |
|---|---|
| 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 2609.27046#T521 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
AV3QAHWSD3 AV3QAHWSD3
| URI | m2://inv/AV3QAHWSD3 |
|---|---|
| Kind | example |
| 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 2412.14956#3C5C (example). In T8BQ6HHZYT/e1, example 2.6
History
- 2026-10-27: add by m2/v0.3.5
Paolo Piccione AV3Y3HCKZC
| URI | m2://inv/AV3Y3HCKZC |
|---|---|
| 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 Q55975373, Paolo Piccione (unknown). Also nLab Paolo Piccione
- wikipedia: Wikipedia Paolo Piccione, Paolo Piccione (topic). Also Wikidata Q55975373
History
- 2026-10-26: add by m2/dev
AV46DX1F5H AV46DX1F5H
| URI | m2://inv/AV46DX1F5H |
|---|---|
| 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#D3PK (statement). In F5XF5VXTXY/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Harnack's curve theorem AV47M1H2XR
| URI | m2://inv/AV47M1H2XR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#34LJ, Harnack's curve theorem (statement)
History
- 2026-11-02: add by m2/dev
Hypothesis testing (positive test strategy) explanation (Klayman and Ha) AV48TYV4R2
| URI | m2://inv/AV48TYV4R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confirmation bias#GM4P, Hypothesis testing (positive test strategy) explanation (Klayman and Ha) (statement)
History
- 2026-11-02: add by m2/dev
Theorem AV49XMM1AK
| URI | m2://inv/AV49XMM1AK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#V2TP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Stephanie Wehner AV4CGT2ZD5
| URI | m2://inv/AV4CGT2ZD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X3KD, Stephanie Wehner (unknown)
History
- 2026-11-02: add by m2/dev
AV4CHN5B1E AV4CHN5B1E
| URI | m2://inv/AV4CHN5B1E |
|---|---|
| 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.19437#EVAI (definition). In 9PXXGQ978Z/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
AV4CJ4KSCW AV4CJ4KSCW
| URI | m2://inv/AV4CJ4KSCW |
|---|---|
| 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.19426#IS8W (statement). In Y28XB7TPPZ/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Subexponential boundary control AV4PCV3SZ2
| URI | m2://inv/AV4PCV3SZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25060#X007, Subexponential boundary control (statement)
History
- 2026-11-01: add by m2/v0.6.15
AV4WF53HN8 AV4WF53HN8
| URI | m2://inv/AV4WF53HN8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
semi-reflexive AV4YFN7YEG
| URI | m2://inv/AV4YFN7YEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#K44N, semi-reflexive (definition)
History
- 2026-11-02: add by m2/dev
AV50NT9E2Y AV50NT9E2Y
| URI | m2://inv/AV50NT9E2Y |
|---|---|
| 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 2404.18704#INNF (definition). In T4MQVXFGWC/e1, definition II.3
History
- 2026-10-27: add by m2/v0.3.5
Simiation AV589VDZQA
| URI | m2://inv/AV589VDZQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternation (geometry)#DSYP, Simiation (unknown)
History
- 2026-11-02: add by m2/dev
Ordinary differential equation AV5C1NAKD3
| URI | m2://inv/AV5C1NAKD3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/ordinary-differential-equation, Ordinary differential equation (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
Institute for Logic, Language and Computation AV5FZRMAHB
| URI | m2://inv/AV5FZRMAHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute for Logic, Language and Computation, Institute for Logic, Language and Computation (definition). Also Wikidata Q6039478
History
- 2026-11-02: add by m2/dev
AV5HCX1YQJ AV5HCX1YQJ
| URI | m2://inv/AV5HCX1YQJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#J3DW (definition). In BSWNH3NW1M/e1, definition 9.19
History
- 2026-10-27: add by m2/v0.4.0
AV5KR951EK AV5KR951EK
| URI | m2://inv/AV5KR951EK |
|---|---|
| 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 2404.18704#BH8X (statement). In T4MQVXFGWC/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
AV5NJRYNBD AV5NJRYNBD
| URI | m2://inv/AV5NJRYNBD |
|---|---|
| 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.06419#IZXS (statement). In JSZRXT3W3E/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Partitions and discretization parameter AV5Q7DTCFP
| URI | m2://inv/AV5Q7DTCFP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29153#2QEI, Partitions and discretization parameter (definition)
History
- 2026-11-01: add by m2/v0.6.15
AV618TJE31 AV618TJE31
| URI | m2://inv/AV618TJE31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#0UBH (statement). In SXTX59QBVT/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Applications AV64V8N8ZG
| URI | m2://inv/AV64V8N8ZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Thorin theorem#669H, Applications (example)
History
- 2026-11-02: add by m2/dev
Wavelets AV65DJ9R0A
| URI | m2://inv/AV65DJ9R0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AXS6, Wavelets (definition)
History
- 2026-11-02: add by m2/dev
AV6KQXSZMB AV6KQXSZMB
| URI | m2://inv/AV6KQXSZMB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#ZLUH (definition). In FCMMB2EVAP/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Gap trajectory AV6WTTE2T7
| URI | m2://inv/AV6WTTE2T7 |
|---|---|
| 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.26873#GZV7, Gap trajectory (statement)
History
- 2026-11-01: add by m2/v0.6.15
AV70RMN570 AV70RMN570
| URI | m2://inv/AV70RMN570 |
|---|---|
| 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.21097#4S33 (statement). In Y1KA940FPZ/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
AV71MPVJW1 AV71MPVJW1
| URI | m2://inv/AV71MPVJW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-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 2504.07573#VIVS (statement). In 78X5SKJX8J/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.3.5
AV75AMDEZF AV75AMDEZF
| URI | m2://inv/AV75AMDEZF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#T7YR (definition). In GW23NX78SB/e1, definition 2.27
History
- 2026-10-28: add by m2/v0.4.2
AV78687RNP AV78687RNP
| URI | m2://inv/AV78687RNP |
|---|---|
| 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.21358#FVEQ (statement). In XV70TXYS5A/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
No free lunch in search and optimization AV7QRDR0QE
| URI | m2://inv/AV7QRDR0QE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No free lunch in search and optimization, No free lunch in search and optimization (definition). Also Wikidata Q255847
History
- 2026-11-02: add by m2/dev
Five-island theorem AV7ZT3XDY7
| URI | m2://inv/AV7ZT3XDY7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahlfors theory#A6R7, Five-island theorem (statement)
History
- 2026-11-02: add by m2/dev
Cycle decomposition AV821KD4XH
| URI | m2://inv/AV821KD4XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle decomposition (graph theory), Cycle decomposition (definition). Also Wikidata Q5198158
History
- 2026-11-02: add by m2/dev
Vitaly Ginzburg AV869JRQ63
| URI | m2://inv/AV869JRQ63 |
|---|---|
| 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#BR1E, Vitaly Ginzburg (unknown)
History
- 2026-11-02: add by m2/dev
AV87FM53YY AV87FM53YY
| URI | m2://inv/AV87FM53YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#GY6F (statement)
History
- 2026-11-02: add by m2/v0.6.18
AV885GWDC1 AV885GWDC1
| URI | m2://inv/AV885GWDC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#89NH (statement). In M8F4PDHH3S/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
AV8B03AR5X AV8B03AR5X
| URI | m2://inv/AV8B03AR5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.25761#LAQQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
T-function AV8JGP1KVC
| URI | m2://inv/AV8JGP1KVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-function, T-function (definition). Also Wikidata Q926281
History
- 2026-11-02: add by m2/dev
Leon AV906EZJ5A
| URI | m2://inv/AV906EZJ5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leon (mathematician), Leon (topic). Also Wikidata Q19551067
History
- 2026-11-02: add by m2/dev
AV93ASSQ13 AV93ASSQ13
| URI | m2://inv/AV93ASSQ13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01359#VN8M (statement). In V2RVS5VC1Y/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Example AV93T4AC03
| URI | m2://inv/AV93T4AC03 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz–Christoffel mapping#7PVA, Example (example)
History
- 2026-11-02: add by m2/dev
Graphics library AV951PMJRP
| URI | m2://inv/AV951PMJRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#6BVB, Graphics library (unknown)
History
- 2026-11-02: add by m2/dev
Sonja Petrović AV97G6K3WE
| URI | m2://inv/AV97G6K3WE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonja Petrović (statistician), Sonja Petrović (topic). Also Wikidata Q102340857
History
- 2026-11-02: add by m2/dev
AV9E34AWV0 AV9E34AWV0
| URI | m2://inv/AV9E34AWV0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-5 (example). In RZP28ERRZV, example, section 90.2
History
- 2026-11-01: add by m2/v0.6.13
Stable decomposition AV9ESNK8PD
| URI | m2://inv/AV9ESNK8PD |
|---|---|
| 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.18580#SWB0, Stable decomposition (statement). In 443TZD4P0A/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
Variable splitting AV9NY8N6Q5
| URI | m2://inv/AV9NY8N6Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable splitting, Variable splitting (definition). Also Wikidata Q7915739
History
- 2026-11-02: add by m2/dev
AV9R636M96 AV9R636M96
| URI | m2://inv/AV9R636M96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#SLC0 (statement). In G00EYA9DXG/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Queueing model AV9V318YSW
| URI | m2://inv/AV9V318YSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y4XH, Queueing model (definition)
History
- 2026-11-02: add by m2/dev
Definition AV9VJPGXEF
| URI | m2://inv/AV9VJPGXEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consani–Scholten quintic#I4IM, Definition (definition)
History
- 2026-11-02: add by m2/dev
AV9YW9NTV3 AV9YW9NTV3
| URI | m2://inv/AV9YW9NTV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#L79N (statement). In Q62MDENP26/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
AVA2Y3H0PB AVA2Y3H0PB
| URI | m2://inv/AVA2Y3H0PB |
|---|---|
| Kind | definition |
| 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#C5NM (definition). In XEQD21EBTT/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
AVA45XKHR9 AVA45XKHR9
| URI | m2://inv/AVA45XKHR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.35102#6K4O (statement). In XK6H7F2F13/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
Convergence of the regularized gradients AVA4Q1M8V1
| URI | m2://inv/AVA4Q1M8V1 |
|---|---|
| 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 2202.02831#APYQ, Convergence of the regularized gradients (statement). In YA5DBTQCB1/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
AVA91Q3S6G AVA91Q3S6G
| URI | m2://inv/AVA91Q3S6G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 89.1
History
- 2026-11-01: add by m2/v0.6.13
the following are equivalent (TFAE) AVACZHWGPB
| URI | m2://inv/AVACZHWGPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#KBGK, the following are equivalent (TFAE) (definition)
History
- 2026-11-02: add by m2/dev
BD+ AVADHB6C6Y
| URI | m2://inv/AVADHB6C6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BD+, BD+ (definition). Also Wikidata Q795742
History
- 2026-11-02: add by m2/dev
Old Hundred, North Carolina AVAGZFMVGT
| URI | m2://inv/AVAGZFMVGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VTJZ, Old Hundred, North Carolina (unknown)
History
- 2026-11-02: add by m2/dev
Generalized associative law AVAHKVC7H8
| URI | m2://inv/AVAHKVC7H8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associative property#J096, Generalized associative law (statement)
History
- 2026-11-02: add by m2/dev
Redshift conjecture AVAKE5FRQ4
| URI | m2://inv/AVAKE5FRQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redshift conjecture, Redshift conjecture (statement). Also Wikidata Q16967033
History
- 2026-11-02: add by m2/dev
Examples AVARQC1J4E
| URI | m2://inv/AVARQC1J4E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular momentum#V9K2, Examples (example)
History
- 2026-11-02: add by m2/dev
Skolem's paradox AVB259V8DD
| URI | m2://inv/AVB259V8DD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinality#KVPQ, Skolem's paradox (statement)
History
- 2026-11-02: add by m2/dev
AVBCVPWC5K AVBCVPWC5K
| URI | m2://inv/AVBCVPWC5K |
|---|---|
| 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.33771#S9KH (statement). In ZXQA7QH0H0/e1, theorem 3.28
History
- 2026-10-30: add by m2/v0.4.12
Cameron--Wanless AVBHZNTC1K
| URI | m2://inv/AVBHZNTC1K |
|---|---|
| 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.13580#7RZT, Cameron--Wanless (statement). In KEQ57N9N7Z/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Overlap near the cone AVBPKWCT0G
| URI | m2://inv/AVBPKWCT0G |
|---|---|
| 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.37265#8NGB, Overlap near the cone (statement). In BKYAWEC5XH/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Riemann problem AVBQA3VF7S
| URI | m2://inv/AVBQA3VF7S |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#9MSL, Riemann problem (problem)
History
- 2026-11-02: add by m2/dev
Oscar S. Adams AVC1HJ5E43
| URI | m2://inv/AVC1HJ5E43 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscar S. Adams, Oscar S. Adams (topic). Also Wikidata Q115316303
History
- 2026-11-02: add by m2/dev
Mixed differential forms AVC4QTG4YA
| URI | m2://inv/AVC4QTG4YA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#K0PO, Mixed differential forms (definition). In MS13WE3CSD/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Complex function AVC66VD2TV
| URI | m2://inv/AVC66VD2TV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#ZRYN, Complex function (topic)
History
- 2026-11-02: add by m2/dev
AVC8ZXNEX1 AVC8ZXNEX1
| URI | m2://inv/AVC8ZXNEX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#XKGT (statement). In JW8HH6EPG2/e1, proposition 2.16
History
- 2026-10-29: add by m2/v0.4.10
AVCFEQZ6EP AVCFEQZ6EP
| URI | m2://inv/AVCFEQZ6EP |
|---|---|
| Kind | example |
| 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.19260#HLTS (example). In PWXT7J9JX3/e1, example 2.14
History
- 2026-10-28: add by m2/v0.4.2
News Corporation's AVCK57E972
| URI | m2://inv/AVCK57E972 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#OQL0, News Corporation's (unknown)
History
- 2026-11-02: add by m2/dev
Spurious complement minima AVCNEE3Z2H
| URI | m2://inv/AVCNEE3Z2H |
|---|---|
| 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.37917#9CRU, Spurious complement minima (statement). In YYN10BJG1Q/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
up-cone AVCRE4GAR5
| URI | m2://inv/AVCRE4GAR5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#SKFI, up-cone (example). In PF5JJ9DS8Q/e1, example 5.2.1
History
- 2026-10-28: add by m2/v0.4.2
AVCTDG0Y5D AVCTDG0Y5D
| URI | m2://inv/AVCTDG0Y5D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/relational-models.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 32.5
History
- 2026-11-01: add by m2/v0.6.13
AVCVJ3HXCY AVCVJ3HXCY
| URI | m2://inv/AVCVJ3HXCY |
|---|---|
| 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.09882#T1CA (statement). In 7XV6T4N79V/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Angular rank at two regular polygons AVD55MS4FZ
| URI | m2://inv/AVD55MS4FZ |
|---|---|
| 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.04136#QFDC, Angular rank at two regular polygons (statement). In TBYTWR87F3/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Ioannis Iliopoulos AVD69SN6ZP
| URI | m2://inv/AVD69SN6ZP |
|---|---|
| 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 Q655289, Ioannis Iliopoulos (unknown). Also nLab John Iliopoulos
History
- 2026-10-26: add by m2/dev
AVD8RQT4TS AVD8RQT4TS
| URI | m2://inv/AVD8RQT4TS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#proof-2 (proof). In RZP28ERRZV, proof, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
Sierpiński carpet AVDBB10358
| URI | m2://inv/AVDBB10358 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#LNZ1, Sierpiński carpet (definition)
- wikipedia: Wikipedia List of things named after Wacław Sierpiński#XZHF, Sierpiński carpet (definition)
History
- 2026-11-02: add by m2/dev
first-round deletion AVDMRAREFB
| URI | m2://inv/AVDMRAREFB |
|---|---|
| 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 2211.04758#UMEX, first-round deletion (statement). In DRWDJG2G3S/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.3.5
Operator monotone function AVDSGD5Z31
| URI | m2://inv/AVDSGD5Z31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator monotone function, Operator monotone function (definition). Also Wikidata Q55627738
History
- 2026-11-02: add by m2/dev
Exponential Diophantine equation AVE40EJSF7
| URI | m2://inv/AVE40EJSF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine equation#NQJM, Exponential Diophantine equation (unknown)
History
- 2026-11-02: add by m2/dev
Representations AVECE9AHNM
| URI | m2://inv/AVECE9AHNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli polynomials#LMGN, Representations (definition)
History
- 2026-11-02: add by m2/dev
AVEFQPF12Y AVEFQPF12Y
| URI | m2://inv/AVEFQPF12Y |
|---|---|
| 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.33018#N8JU (statement). In 8XVS0QJ2AH/e1, proposition 30
History
- 2026-10-31: add by m2/v0.5.6
AVEH5JG8QG AVEH5JG8QG
| URI | m2://inv/AVEH5JG8QG |
|---|---|
| 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.37589#O144 (statement). In 18HVB2SKW1/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Subpaving AVEY1DN66B
| URI | m2://inv/AVEY1DN66B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subpaving, Subpaving (definition). Also Wikidata Q17106104
History
- 2026-11-02: add by m2/dev
AVF3VQZ87D AVF3VQZ87D
| URI | m2://inv/AVF3VQZ87D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Ferdinand Karl Schweikart AVFB6X55XN
| URI | m2://inv/AVFB6X55XN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferdinand Karl Schweikart, Ferdinand Karl Schweikart (topic). Also Wikidata Q121718
History
- 2026-11-02: add by m2/dev
List of homological algebra topics AVFC4N0EYZ
| URI | m2://inv/AVFC4N0EYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics, List of homological algebra topics (topic). Also Wikidata Q6623421
History
- 2026-11-02: add by m2/dev
Range searching AVFD0R96MD
| URI | m2://inv/AVFD0R96MD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#W974, Range searching (unknown)
History
- 2026-11-02: add by m2/dev
AVG285TKYM AVG285TKYM
| URI | m2://inv/AVG285TKYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15847#CBEB (statement). In BTV3DAMX28/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Approximate solution in finite dimensions AVG305A9QW
| URI | m2://inv/AVG305A9QW |
|---|---|
| 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.18350#A94C, Approximate solution in finite dimensions (statement). In A20E8FZS21/e1, proposition 8.4
History
- 2026-10-28: add by m2/v0.4.2
AVGAN861PS AVGAN861PS
| URI | m2://inv/AVGAN861PS |
|---|---|
| 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 2609.25015#0942 (definition)
History
- 2026-11-01: add by m2/v0.6.15
AVGF4247Z9 AVGF4247Z9
| URI | m2://inv/AVGF4247Z9 |
|---|---|
| Kind | problem |
| 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.12329#S24B (problem). In ZJQB9W60T6/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Elementary matrix AVGK7FH9WV
| URI | m2://inv/AVGK7FH9WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary matrix, Elementary matrix (definition). Also Wikidata Q609566
History
- 2026-11-02: add by m2/dev
AVGV7JXE52 AVGV7JXE52
| URI | m2://inv/AVGV7JXE52 |
|---|---|
| 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.19296#RCX6 (statement). In WFR2WNW8NB/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
AVGVY5667K AVGVY5667K
| URI | m2://inv/AVGVY5667K |
|---|---|
| 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 2411.02694#QSAM (statement). In A8EK2ARN5Q/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Hans Föllmer AVH4P302FT
| URI | m2://inv/AVH4P302FT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Föllmer, Hans Föllmer (topic). Also Wikidata Q103669
History
- 2026-11-02: add by m2/dev
tachyon AVH6VH662A
| URI | m2://inv/AVH6VH662A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41995, tachyon (unknown). Also nLab tachyon
History
- 2026-10-26: add by m2/dev
AVH86PM1PD AVH86PM1PD
| URI | m2://inv/AVH86PM1PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#2DE8 (statement). In WSG1ZW956E/e1, corollary 7.6
History
- 2026-10-30: add by m2/v0.4.12
AVHA9P3AZD AVHA9P3AZD
| URI | m2://inv/AVHA9P3AZD |
|---|---|
| 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.23607#9774 (statement)
History
- 2026-11-02: add by m2/v0.6.17
AVHD9AAGE5 AVHD9AAGE5
| URI | m2://inv/AVHD9AAGE5 |
|---|---|
| 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 2610.03420#96I0 (definition). In TG11SZZQCR/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
Aleksandr Aleksandrov AVHGCC4NMM
| URI | m2://inv/AVHGCC4NMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#E1WL, Aleksandr Aleksandrov (unknown)
History
- 2026-11-02: add by m2/dev
Haruki's Theorem AVHKKWTWK0
| URI | m2://inv/AVHKKWTWK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25304094, Haruki's Theorem (statement). Also MathWorld HarukisTheorem
- wikipedia: Wikipedia Haruki's Theorem, Haruki's Theorem (statement). Also Wikidata Q25304094
History
- 2026-10-26: add by m2/dev
Formulation AVHMYAX52F
| URI | m2://inv/AVHMYAX52F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haversine formula#30YK, Formulation (definition)
History
- 2026-11-02: add by m2/dev
AVHN7GWNP0 AVHN7GWNP0
| URI | m2://inv/AVHN7GWNP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#definition-3 (definition). In 649HGZKE96, definition, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
The first check to fire AVHPD5YG9T
| URI | m2://inv/AVHPD5YG9T |
|---|---|
| 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#CZZJ, The first check to fire (statement). In 7REABAAQED/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Formal definition AVHPGYPX55
| URI | m2://inv/AVHPGYPX55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical model#OIV8, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Properties AVHRB19EHW
| URI | m2://inv/AVHRB19EHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carré du champ operator#SFSH, Properties (statement)
History
- 2026-11-02: add by m2/dev
AVHV2R9E0Q AVHV2R9E0Q
| URI | m2://inv/AVHV2R9E0Q |
|---|---|
| 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.33590#SOYC (statement). In WRE0P7V6Z3/e1, proposition 8.10
History
- 2026-10-30: add by m2/v0.4.12
AVHW4HS9PG AVHW4HS9PG
| URI | m2://inv/AVHW4HS9PG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#proof-1 (proof). In RZP28ERRZV, proof, section 63.2
History
- 2026-11-01: add by m2/v0.6.13
Uniform joint-low-entropy collar AVHZPDG9RT
| URI | m2://inv/AVHZPDG9RT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#20CX, Uniform joint-low-entropy collar (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vsevolod Ivanovich Romanovsky AVJ4T29QWF
| URI | m2://inv/AVJ4T29QWF |
|---|---|
| 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#D7IX, Vsevolod Ivanovich Romanovsky (topic)
History
- 2026-11-02: add by m2/dev
AVJHB7BTDM AVJHB7BTDM
| URI | m2://inv/AVJHB7BTDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#FHFY (statement). In AQWX60Z563/e1, lemma 4.28
History
- 2026-10-28: add by m2/v0.4.2
Compression AVJTMS3A4R
| URI | m2://inv/AVJTMS3A4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compression (functional analysis), Compression (definition). Also Wikidata Q5157034
History
- 2026-11-02: add by m2/dev
Frequent pattern discovery AVJZ3EZRQK
| URI | m2://inv/AVJZ3EZRQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequent pattern discovery, Frequent pattern discovery (definition). Also Wikidata Q65118469
History
- 2026-11-02: add by m2/dev
Bilinear upper bound from existing methods AVK4ANGVRG
| URI | m2://inv/AVK4ANGVRG |
|---|---|
| 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.04944#CZMX, Bilinear upper bound from existing methods (statement). In BHSY6QQCVK/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
AVK569Q07K AVK569Q07K
| URI | m2://inv/AVK569Q07K |
|---|---|
| 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.03050#LXBD (example). In WXBRJN9PHQ/e1, example 4.7
History
- 2026-10-29: add by m2/v0.4.12
AVK66J46WZ AVK66J46WZ
| URI | m2://inv/AVK66J46WZ |
|---|---|
| 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 1009.2047#Q9XQ (statement). In F3MWRNBNED/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Euler–Tricomi equation AVK9X7TFT6
| URI | m2://inv/AVK9X7TFT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#90FA, Euler–Tricomi equation (definition)
History
- 2026-11-02: add by m2/dev
$\infty$-groupoid AVKDCQPM29
| URI | m2://inv/AVKDCQPM29 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/infty-groupoid, $\infty$-groupoid (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Alexander Abian AVKF0A6X08
| URI | m2://inv/AVKF0A6X08 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Abian, Alexander Abian (topic). Also Wikidata Q339342
History
- 2026-11-02: add by m2/dev
List of International Congresses of Mathematicians Plenary and Invited Speakers AVKHSYERHH
| URI | m2://inv/AVKHSYERHH |
|---|---|
| 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, List of International Congresses of Mathematicians Plenary and Invited Speakers (topic). Also Wikidata Q21015854
History
- 2026-11-02: add by m2/dev
Robbert Dijkgraaf AVKX3S432Z
| URI | m2://inv/AVKX3S432Z |
|---|---|
| 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 Q710978, Robbert Dijkgraaf (unknown). Also nLab Robbert Dijkgraaf
History
- 2026-10-26: add by m2/dev
systems theory AVMRCHZ0G7
| URI | m2://inv/AVMRCHZ0G7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 93-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q269699, systems theory (topic)
- wikipedia: Wikipedia Systems theory, Systems theory (definition). Also Wikidata Q269699
History
- 2026-10-26: add by m2/dev
AVMXRQS4AR AVMXRQS4AR
| URI | m2://inv/AVMXRQS4AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#X95Q (statement). In ZD7BWDKT84/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
Definition AVN0KPKVXC
| URI | m2://inv/AVN0KPKVXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial depth#0S8A, Definition (definition)
History
- 2026-11-02: add by m2/dev
Grand antiprism prism AVN1C8E63X
| URI | m2://inv/AVN1C8E63X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IVFE, Grand antiprism prism (unknown)
History
- 2026-11-02: add by m2/dev
AVN20V0512 AVN20V0512
| URI | m2://inv/AVN20V0512 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
AVN3HH7QVK AVN3HH7QVK
| URI | m2://inv/AVN3HH7QVK |
|---|---|
| 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#A4K0 (definition). In VGJVFCDV8A/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Properties AVNAS6CCGY
| URI | m2://inv/AVNAS6CCGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace monoid#Y2RC, Properties (statement)
History
- 2026-11-02: add by m2/dev
AVNGNPRKP4 AVNGNPRKP4
| URI | m2://inv/AVNGNPRKP4 |
|---|---|
| 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.39782#HPWK (statement). In JF4188WVV0/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Province No. 1 AVNKQYKZF2
| URI | m2://inv/AVNKQYKZF2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YJCS, Province No. 1 (unknown)
History
- 2026-11-02: add by m2/dev
Reparameterization trick AVNWAMMW4N
| URI | m2://inv/AVNWAMMW4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reparameterization trick, Reparameterization trick (definition). Also Wikidata Q130457634
History
- 2026-11-02: add by m2/dev
AVP2QQSJ5D AVP2QQSJ5D
| URI | m2://inv/AVP2QQSJ5D |
|---|---|
| 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.15744#DMT9 (statement). In NV3PBZGBB7/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
Alexandrov topology AVP7N8WGMR
| URI | m2://inv/AVP7N8WGMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandrov topology, Alexandrov topology (definition). Also Wikidata Q3532117
History
- 2026-11-02: add by m2/dev
Example AVPBDV9NV6
| URI | m2://inv/AVPBDV9NV6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic equation (calculus)#SK2J, Example (example)
History
- 2026-11-02: add by m2/dev
AVPBVBFG6X AVPBVBFG6X
| URI | m2://inv/AVPBVBFG6X |
|---|---|
| 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.23446#7Y6V (statement)
History
- 2026-11-02: add by m2/v0.6.17
AVPCGTCPVR AVPCGTCPVR
| URI | m2://inv/AVPCGTCPVR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/combining-machines.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 85.3
History
- 2026-11-01: add by m2/v0.6.13
Derivative of a matrix AVPH48YFR6
| URI | m2://inv/AVPH48YFR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix calculus#OREP, Derivative of a matrix (unknown)
History
- 2026-11-02: add by m2/dev
Gideon J. Mellenbergh AVPTXWXPAE
| URI | m2://inv/AVPTXWXPAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gideon J. Mellenbergh, Gideon J. Mellenbergh (topic). Also Wikidata Q13234727
History
- 2026-11-02: add by m2/dev
AVPZ1ZK5ZS AVPZ1ZK5ZS
| URI | m2://inv/AVPZ1ZK5ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.25761#U8CY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples AVPZQZSSH8
| URI | m2://inv/AVPZQZSSH8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second moment of area#BKQ8, Examples (example)
History
- 2026-11-02: add by m2/dev
AVQ42XKD09 AVQ42XKD09
| URI | m2://inv/AVQ42XKD09 |
|---|---|
| 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.19285#85P0 (statement). In 6DJR9DKY5W/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
AVQ6H88CZP AVQ6H88CZP
| URI | m2://inv/AVQ6H88CZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#4U88 (statement). In QHFP0837Q8/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.12
choice sequence AVQA1S32NA
| URI | m2://inv/AVQA1S32NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5104040, choice sequence (unknown). Also nLab choice sequence
- wikipedia: Wikipedia Choice sequence, Choice sequence (definition). Also Wikidata Q5104040
History
- 2026-10-26: add by m2/dev
Calibration with exact gradient and scalar Fisher information AVQSJ5RPMF
| URI | m2://inv/AVQSJ5RPMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33499#PZ00, Calibration with exact gradient and scalar Fisher information (statement). In AAH14S2JJ2/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
context AVQVM2WDFR
| URI | m2://inv/AVQVM2WDFR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/context, context (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
Artin's conjecture on primitive roots AVQXBRDF46
| URI | m2://inv/AVQXBRDF46 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| MSC | 94-XX |
| Sources | 3 |
| Outcome | open |
| Node | Artin's conjecture on primitive roots BB4FJ1FFGM |
Mentions
- arxiv: arXiv 2507.13548#4H1M, Artin’s Conjecture on Primitive Roots (conjecture). In 4NVVK50D1P/e1, conjecture 5.3
- wikidata: Wikidata Q2319635, Artin's conjecture on primitive roots (conjecture). Also MathWorld ArtinsConstant
- wikipedia: Wikipedia Artin's conjecture on primitive roots, Artin's conjecture on primitive roots (conjecture). Also Wikidata Q2319635
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
American Mathematical Monthly AVQXCY8TSJ
| URI | m2://inv/AVQXCY8TSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2707818, American Mathematical Monthly (unknown). Also ProofWiki Book:Journal/American_Mathematical_Monthly
- wikipedia: Wikipedia The American Mathematical Monthly, The American Mathematical Monthly (topic). Also Wikidata Q2707818
History
- 2026-10-26: add by m2/dev
Use AVQZEEF6ZP
| URI | m2://inv/AVQZEEF6ZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian information criterion#F1R0, Use (example)
History
- 2026-11-02: add by m2/dev
Definition AVR1D58626
| URI | m2://inv/AVR1D58626 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole#NH4T, Definition (definition)
History
- 2026-11-02: add by m2/dev
No Laurent relation for an irrational character AVR2D6BM0M
| URI | m2://inv/AVR2D6BM0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27970#Y4M5, No Laurent relation for an irrational character (statement)
History
- 2026-11-01: add by m2/v0.6.15
AVR4T845WS AVR4T845WS
| URI | m2://inv/AVR4T845WS |
|---|---|
| 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.10873#S6PE (statement). In AYG8HYGW6V/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
Hájek–Le Cam convolution theorem AVRB4GWZRM
| URI | m2://inv/AVRB4GWZRM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3LIG, Hájek–Le Cam convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
AVRDHWFBEF AVRDHWFBEF
| URI | m2://inv/AVRDHWFBEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#QOF5 (statement). In QFA8TMJPHZ/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
Poincar\'e inequality and forcing estimate on a rectangle AVRG3KM3CK
| URI | m2://inv/AVRG3KM3CK |
|---|---|
| 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.33033#8XSI, Poincar\'e inequality and forcing estimate on a rectangle (statement). In AJWBAHJ8VD/e1, proposition 5.5
History
- 2026-10-31: add by m2/v0.5.6
427 (number) AVRGY2SW2Y
| URI | m2://inv/AVRGY2SW2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#G61B, 427 (number) (unknown)
History
- 2026-11-02: add by m2/dev
AVRK5K0BDB AVRK5K0BDB
| URI | m2://inv/AVRK5K0BDB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#TXBP (example). In M0SQY5EZN5/e1, example 4.3.6
History
- 2026-10-27: add by m2/v0.3.5
Green's theorem AVRRHHW677
| URI | m2://inv/AVRRHHW677 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.6/green-s-theorem, Green's theorem (concept). In E59CDZA4DP, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Middle perversity AVRT0YSN9E
| URI | m2://inv/AVRT0YSN9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection homology#DH7N, Middle perversity (unknown)
History
- 2026-11-02: add by m2/dev
Taylor's theorem AVRTSYYNBD
| URI | m2://inv/AVRTSYYNBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6R1G, Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
History of abstract algebra AVRXSNFB90
| URI | m2://inv/AVRXSNFB90 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract algebra#MHGO, History of abstract algebra (unknown)
History
- 2026-11-02: add by m2/dev
JeAnne Burg AVRYY0FSRX
| URI | m2://inv/AVRYY0FSRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia JeAnne Burg, JeAnne Burg (topic). Also Wikidata Q107503025
History
- 2026-11-02: add by m2/dev
Construction AVRZMVJWHS
| URI | m2://inv/AVRZMVJWHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salem–Spencer set#NZ25, Construction (definition)
History
- 2026-11-02: add by m2/dev
Roger Jowell AVSGH495M7
| URI | m2://inv/AVSGH495M7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#631U, Roger Jowell (unknown)
History
- 2026-11-02: add by m2/dev
Vertex isoperimetric inequality AVSHYKXHXP
| URI | m2://inv/AVSHYKXHXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoperimetric inequality#LNFM, Vertex isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
Leonid Levin AVSN30391J
| URI | m2://inv/AVSN30391J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X269, Leonid Levin (unknown)
History
- 2026-11-02: add by m2/dev
Fixed point AVSSHH4TRY
| URI | m2://inv/AVSSHH4TRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#NW91, Fixed point (definition)
History
- 2026-11-02: add by m2/dev
Saul Kaplun AVSTPBVH4W
| URI | m2://inv/AVSTPBVH4W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saul Kaplun, Saul Kaplun (topic). Also Wikidata Q96364343
History
- 2026-11-02: add by m2/dev
Polish space AVSV7PFQ9R
| URI | m2://inv/AVSV7PFQ9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Polish space 584GXXY73M |
Mentions
- wikidata: Wikidata Q1207972, Polish space (definition). Also EoM Polish_space, MathWorld PolishSpace, nLab Polish space, ProofWiki Definition:Polish_Space
- wikipedia: Wikipedia Polish space, Polish space (definition). Also Wikidata Q1207972
History
- 2026-10-26: add by m2/dev
AVT0YMW5QY AVT0YMW5QY
| URI | m2://inv/AVT0YMW5QY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#E9IA (statement). In DWQWQ5KTEE/e1, proposition 19
History
- 2026-10-28: add by m2/v0.4.2
An example of a $\ZZ$-module AVTJZJYCAW
| URI | m2://inv/AVTJZJYCAW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-14, An example of a $\ZZ$-module (example). In RZP28ERRZV, example, section 62.10
History
- 2026-11-01: add by m2/v0.6.13
AVTNHMJVZH AVTNHMJVZH
| URI | m2://inv/AVTNHMJVZH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-7 (exercise). In E9HS8K3A52, exercise, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Miwin's dice AVTQ5K556D
| URI | m2://inv/AVTQ5K556D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intransitive dice#4SH5, Miwin's dice (unknown)
History
- 2026-11-02: add by m2/dev
CR function AVTR472ZJD
| URI | m2://inv/AVTR472ZJD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.2/cr-function, CR function (concept). In VNMV985MXX, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Triheptagonal tiling AVTWNKH6YW
| URI | m2://inv/AVTWNKH6YW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triheptagonal tiling, Triheptagonal tiling (object). Also Wikidata Q3505059
History
- 2026-11-02: add by m2/dev
⊦ AVV3N3XF9D
| URI | m2://inv/AVV3N3XF9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#C9M7, ⊦ (definition)
History
- 2026-11-02: add by m2/dev
AVV8ZJMVKP AVV8ZJMVKP
| URI | m2://inv/AVV8ZJMVKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#8TCU (statement). In HA2GG72C23/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
AVVAR1JM05 AVVAR1JM05
| URI | m2://inv/AVVAR1JM05 |
|---|---|
| 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 2506.21337#WK65 (statement). In EPZN0JTG2Z/e1, lemma 3.17
History
- 2026-10-27: add by m2/v0.3.5
AVVSB1RG6X AVVSB1RG6X
| URI | m2://inv/AVVSB1RG6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24056#I0IQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Corollary 1 AVVSZ947K3
| URI | m2://inv/AVVSZ947K3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence#9VHG, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
Weak solutions and subsolutions AVW43CZFN9
| URI | m2://inv/AVW43CZFN9 |
|---|---|
| Kind | definition |
| 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#AULY, Weak solutions and subsolutions (definition)
History
- 2026-11-01: add by m2/v0.6.15
AVW60F3VHZ AVW60F3VHZ
| URI | m2://inv/AVW60F3VHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#X4XM (statement)
History
- 2026-11-01: add by m2/v0.6.15
AVW827F83S AVW827F83S
| URI | m2://inv/AVW827F83S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#XSJL (statement). In CC6S1HVK0T/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Strichartz estimate AVW8Z05SHB
| URI | m2://inv/AVW8Z05SHB |
|---|---|
| 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 2406.07116#EAS8, Strichartz estimate (statement). In 5B030CB2RK/e1, theorem 9.5
History
- 2026-10-27: add by m2/v0.3.6
AVWAE3C2Q6 AVWAE3C2Q6
| URI | m2://inv/AVWAE3C2Q6 |
|---|---|
| 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.35030#KOE6 (statement). In DPT4P2BTEW/e1, proposition 10.3
History
- 2026-10-30: add by m2/v0.4.12
AVWEB56K0G AVWEB56K0G
| URI | m2://inv/AVWEB56K0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37112#UC12 (statement). In 5B10HAY4C3/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
AVWJM757RM AVWJM757RM
| URI | m2://inv/AVWJM757RM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
AVWQX952TW AVWQX952TW
| URI | m2://inv/AVWQX952TW |
|---|---|
| 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.21622#ITQI (statement). In H21X3FHNYJ/e1, theorem 6.10
History
- 2026-10-27: add by m2/v0.4.2
Kloosterman sum AVWTBHP1H6
| URI | m2://inv/AVWTBHP1H6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kloosterman sum E1SQWQ2PAV |
Mentions
- wikidata: Wikidata Q6421354, Kloosterman sum (concept). Also MathWorld KloostermansSum
- wikipedia: Wikipedia Kloosterman sum, Kloosterman sum (definition). Also Wikidata Q6421354
History
- 2026-10-26: add by m2/dev
The Symmetries of Things AVWY2S4762
| URI | m2://inv/AVWY2S4762 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Symmetries of Things, The Symmetries of Things (definition). Also Wikidata Q105612067
History
- 2026-11-02: add by m2/dev
Clustered randomized controlled trial AVXA6SNPBG
| URI | m2://inv/AVXA6SNPBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#FPZH, Clustered randomized controlled trial (definition)
History
- 2026-11-02: add by m2/dev
AVXA7CBXX4 AVXA7CBXX4
| URI | m2://inv/AVXA7CBXX4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#proof-1 (proof). In RZP28ERRZV, proof, section 41.3
History
- 2026-11-01: add by m2/v0.6.13
Examples AVXFW6AV2N
| URI | m2://inv/AVXFW6AV2N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prewellordering#D6JV, Examples (example)
History
- 2026-11-02: add by m2/dev
AVXHKEFDNT AVXHKEFDNT
| URI | m2://inv/AVXHKEFDNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#FOL0 (statement). In C8VC86B6H8/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
The GPU speedup is not an effect of blocking AVXHS3XQ0X
| URI | m2://inv/AVXHS3XQ0X |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#N05N, The GPU speedup is not an effect of blocking (unknown)
History
- 2026-11-01: add by m2/v0.6.15
hyperdeterminant AVXRD5SDQG
| URI | m2://inv/AVXRD5SDQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5957938, hyperdeterminant (unknown). Also nLab hyperdeterminant
- wikipedia: Wikipedia Hyperdeterminant, Hyperdeterminant (definition). Also Wikidata Q5957938
History
- 2026-10-26: add by m2/dev
AVXVQM8HYT AVXVQM8HYT
| URI | m2://inv/AVXVQM8HYT |
|---|---|
| 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.36088#3JU0 (statement). In QJD3MZMJHW/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Institute for Computational and Experimental Research in Mathematics AVY1GZ05P1
| URI | m2://inv/AVY1GZ05P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute for Computational and Experimental Research in Mathematics, Institute for Computational and Experimental Research in Mathematics (definition). Also Wikidata Q6039245
History
- 2026-11-02: add by m2/dev
Freedman, David A. AVY4TTWWBP
| URI | m2://inv/AVY4TTWWBP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#J2SG, Freedman, David A. (topic)
History
- 2026-11-02: add by m2/dev
AVY95WHTVH AVY95WHTVH
| URI | m2://inv/AVY95WHTVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04776#29WW (statement). In WSQDYBQDSV/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
AVY986A4MM AVY986A4MM
| URI | m2://inv/AVY986A4MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#JQJD (statement). In DGE917KQSQ/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.4.2
Statement AVYE4MFNEV
| URI | m2://inv/AVYE4MFNEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasch's theorem#SXGK, Statement (statement)
History
- 2026-11-02: add by m2/dev
AVYPXJVTJV AVYPXJVTJV
| URI | m2://inv/AVYPXJVTJV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
Definition AVZ5B1GC9Q
| URI | m2://inv/AVZ5B1GC9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixation index#QUGL, Definition (definition)
History
- 2026-11-02: add by m2/dev
AVZ8CMNZKD AVZ8CMNZKD
| URI | m2://inv/AVZ8CMNZKD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#76YS (example). In QX77AN49J0/e1, example 5.2
History
- 2026-10-27: add by m2/v0.4.2
Paranormal space AVZ8S1MNFT
| URI | m2://inv/AVZ8S1MNFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paranormal space, Paranormal space (definition). Also Wikidata Q7135557
History
- 2026-11-02: add by m2/dev
AVZMTXDHBB AVZMTXDHBB
| URI | m2://inv/AVZMTXDHBB |
|---|---|
| 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.00339#XXRQ (statement). In ZRG6NY1ECH/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
\labelcref{algebraic_dimension_formula AVZPENDSC0
| URI | m2://inv/AVZPENDSC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#OH61, \labelcref{algebraic_dimension_formula (statement). In X1KWTAA3M2/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5