Inventory rows 3V
The cards of the rows of the inventory whose ids start with 3V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kuiper's test 3V03Y1ZRYA
| URI | m2://inv/3V03Y1ZRYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H7LQ, Kuiper's test (definition)
History
- 2026-11-02: add by m2/dev
Nested grouped roofs 3V08M915MN
| URI | m2://inv/3V08M915MN |
|---|---|
| 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.04027#BVMB, Nested grouped roofs (statement). In DQB4YR2DFH/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
order 3V0G6X2WEA
| URI | m2://inv/3V0G6X2WEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ZYSR, order (definition)
History
- 2026-11-02: add by m2/dev
Applications 3V0G7D5QMA
| URI | m2://inv/3V0G7D5QMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computationally bounded adversary#YF7M, Applications (example)
History
- 2026-11-02: add by m2/dev
p-adic zeta function 3V0P595MA4
| URI | m2://inv/3V0P595MA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#WZLD, p-adic zeta function (definition)
History
- 2026-11-02: add by m2/dev
3V0THS71A6 3V0THS71A6
| URI | m2://inv/3V0THS71A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.17116#FB65 (statement). In A02X6MX28Y/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
Boundary regularity of maximizing discs 3V0VCC9905
| URI | m2://inv/3V0VCC9905 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.25762#AOX3, Boundary regularity of maximizing discs (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 3V0VHEC18A
| URI | m2://inv/3V0VHEC18A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strain energy density function#FGJE, Examples (example)
History
- 2026-11-02: add by m2/dev
3V0XCFHBM4 3V0XCFHBM4
| URI | m2://inv/3V0XCFHBM4 |
|---|---|
| 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 1011.4651#V9EM (statement). In 44YWXB0VB4/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
3V0XJQMVKV 3V0XJQMVKV
| URI | m2://inv/3V0XJQMVKV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#1ZJ7 (definition). In 7V3HG30ZGW/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Gilbreath shuffle 3V1DV815RS
| URI | m2://inv/3V1DV815RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbreath shuffle, Gilbreath shuffle (definition). Also Wikidata Q17017024
History
- 2026-11-02: add by m2/dev
adjoint, equivalence 3V1GTY4K1X
| URI | m2://inv/3V1GTY4K1X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/adjoint-equivalence, adjoint, equivalence (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Sobolev inequality 3V1HBNDJYR
| URI | m2://inv/3V1HBNDJYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#TKXB, Sobolev inequality (statement)
History
- 2026-11-02: add by m2/dev
3V1HN9YB2C 3V1HN9YB2C
| URI | m2://inv/3V1HN9YB2C |
|---|---|
| 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.14377#Y9Q6 (statement). In WEZPNET90D/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Proof of Cartan's uniqueness theorem 3V1NHANT86
| URI | m2://inv/3V1NHANT86 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-12, Proof of Cartan's uniqueness theorem (proof). In VNMV985MXX, proof, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Analysis of variance/Fixed effects model 3V1NRSP77W
| URI | m2://inv/3V1NRSP77W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of variance#6IGE, Analysis of variance/Fixed effects model (unknown)
History
- 2026-11-02: add by m2/dev
Signed arc length 3V1RZB7GHT
| URI | m2://inv/3V1RZB7GHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc length#E1V6, Signed arc length (unknown)
History
- 2026-11-02: add by m2/dev
Furstenberg-Weiss 2003 3V1VP6JVBS
| URI | m2://inv/3V1VP6JVBS |
|---|---|
| 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.28898#TMPH, Furstenberg-Weiss 2003 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yum-Tong Siu 3V1W56V55B
| URI | m2://inv/3V1W56V55B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yum-Tong Siu, Yum-Tong Siu (topic). Also Wikidata Q329158
History
- 2026-11-02: add by m2/dev
3V26KNA5D6 3V26KNA5D6
| URI | m2://inv/3V26KNA5D6 |
|---|---|
| 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.05722#I7FP (statement). In NDKWV5J14V/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
\texttt{Free microscopic Lyapunov functional 3V28KDNKC9
| URI | m2://inv/3V28KDNKC9 |
|---|---|
| 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.06343#5OBX, \texttt{Free microscopic Lyapunov functional (statement). In R8176XJ535/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
The online SBP threshold 3V2A0QXTE9
| URI | m2://inv/3V2A0QXTE9 |
|---|---|
| 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.00103#7U9E, The online SBP threshold (statement). In S7RDXJWP1A/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
3V2BA1FRVE 3V2BA1FRVE
| URI | m2://inv/3V2BA1FRVE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-59 (exercise). In E9HS8K3A52, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Major and Minor arcs 3V2DZ4BJKW
| URI | m2://inv/3V2DZ4BJKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#Q64M, Major and Minor arcs (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem 3V2EQYD44T
| URI | m2://inv/3V2EQYD44T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-Thue system#73VW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Boris Trakhtenbrot 3V2VWD6HD3
| URI | m2://inv/3V2VWD6HD3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Trakhtenbrot, Boris Trakhtenbrot (topic). Also Wikidata Q1617489
History
- 2026-11-02: add by m2/dev
3V33JRM6BM 3V33JRM6BM
| URI | m2://inv/3V33JRM6BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#MB2F (statement). In B9EX6K51RD/e1, theorem 4.14
History
- 2026-10-28: add by m2/v0.4.2
Laplace resonance 3V35441HZP
| URI | m2://inv/3V35441HZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital resonance#AHAK, Laplace resonance (unknown)
History
- 2026-11-02: add by m2/dev
3V35AA0Q9D 3V35AA0Q9D
| URI | m2://inv/3V35AA0Q9D |
|---|---|
| Kind | example |
| 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.22759#S3IT (example)
History
- 2026-11-02: add by m2/v0.6.17
algebraic logic 3V35E3HNRC
| URI | m2://inv/3V35E3HNRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03Gxx |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic logic Z3DE4R4RET |
Mentions
- wikidata: Wikidata Q1005222, algebraic logic (topic)
- wikipedia: Wikipedia Algebraic logic, Algebraic logic (definition). Also Wikidata Q1005222
History
- 2026-10-26: add by m2/dev
3V3F8XN95Z 3V3F8XN95Z
| URI | m2://inv/3V3F8XN95Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#1M9C (statement). In H8NGNDP0XT/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.3
3V3R0E4BV9 3V3R0E4BV9
| URI | m2://inv/3V3R0E4BV9 |
|---|---|
| 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.30354#KWFK (statement). In B81DM51XSK/e1, fact 2
History
- 2026-10-31: add by m2/v0.5.6
3V3TK6XGTJ 3V3TK6XGTJ
| URI | m2://inv/3V3TK6XGTJ |
|---|---|
| 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.08682#4OE3 (statement). In Y306A1GPM5/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
3V3X3R4PKS 3V3X3R4PKS
| URI | m2://inv/3V3X3R4PKS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#VBVA (definition). In 9WP2QGKMG8/e1, definition 1.5
History
- 2026-10-30: add by m2/v0.4.12
3V41J0YR6G 3V41J0YR6G
| URI | m2://inv/3V41J0YR6G |
|---|---|
| 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 2609.24325#3C3U (example)
History
- 2026-11-01: add by m2/v0.6.15
National Math and Science Initiative 3V4AYHA4EB
| URI | m2://inv/3V4AYHA4EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Math and Science Initiative, National Math and Science Initiative (definition). Also Wikidata Q6974270
History
- 2026-11-02: add by m2/dev
Definitions 3V4ET54JFQ
| URI | m2://inv/3V4ET54JFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of determination#K6BO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples 3V4RDSRMBH
| URI | m2://inv/3V4RDSRMBH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded Lie algebra#NUVN, Examples (example)
History
- 2026-11-02: add by m2/dev
Arthur Schopenhauer's criticism of the proofs of the parallel postulate 3V4W0MPBVR
| URI | m2://inv/3V4W0MPBVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Schopenhauer#ES1G, Arthur Schopenhauer's criticism of the proofs of the parallel postulate (unknown)
History
- 2026-11-02: add by m2/dev
Negation 3V4WAP3CJT
| URI | m2://inv/3V4WAP3CJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#LAAH, Negation (definition)
History
- 2026-11-02: add by m2/dev
Grigory Kriss 3V4WM9N0NK
| URI | m2://inv/3V4WM9N0NK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#GR3M, Grigory Kriss (unknown)
History
- 2026-11-02: add by m2/dev
3V4XTHXRX6 3V4XTHXRX6
| URI | m2://inv/3V4XTHXRX6 |
|---|---|
| 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.16002#A95P (statement). In MWXDTQ7XC4/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Philosophical pluralism 3V5E7SWRZG
| URI | m2://inv/3V5E7SWRZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophical pluralism, Philosophical pluralism (definition). Also Wikidata Q879021
History
- 2026-11-02: add by m2/dev
Erik Ivar Fredholm 3V5JP5HFQG
| URI | m2://inv/3V5JP5HFQG |
|---|---|
| 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#90LF, Erik Ivar Fredholm (topic)
History
- 2026-11-02: add by m2/dev
3V5KPDMWAF 3V5KPDMWAF
| URI | m2://inv/3V5KPDMWAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#CJWD (statement). In GXHKRV5BPY/e1, proposition 5.18
History
- 2026-10-29: add by m2/v0.4.10
Algorithm 3V64VNS2CP
| URI | m2://inv/3V64VNS2CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIMPLEC algorithm#W3TG, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Carol K. Redmond 3V6AS365SF
| URI | m2://inv/3V6AS365SF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol K. Redmond, Carol K. Redmond (topic). Also Wikidata Q42426791
History
- 2026-11-02: add by m2/dev
Corollary of Theorems 2.2 and 2.7 3V6BVX2JSB
| URI | m2://inv/3V6BVX2JSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21768#ZBSD, Corollary of Theorems 2.2 and 2.7 (statement). In VD53W58DS1/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
Method 3V6D8RATN5
| URI | m2://inv/3V6D8RATN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zygalski sheets#Y3L8, Method (definition)
History
- 2026-11-02: add by m2/dev
metre 3V6FKGCTKM
| URI | m2://inv/3V6FKGCTKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11573, metre (definition). Also ProofWiki Definition:Metric_System/Length/Metre
History
- 2026-10-26: add by m2/dev
3V6TND24S6 3V6TND24S6
| URI | m2://inv/3V6TND24S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#J0O0 (statement). In 6KR7Z5ETRY/e1, lemma 4.14
History
- 2026-10-27: add by m2/v0.3.5
Lumer–Phillips theorem 3V6TPN91PQ
| URI | m2://inv/3V6TPN91PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1602819, Lumer–Phillips theorem (statement). Also Wikidata Q1602819
- thousand_plus: thousand_plus Q1602819, Lumer–Phillips theorem (statement). Also Wikidata Q1602819, Wikipedia Lumer–Phillips theorem
- wikipedia: Wikipedia Lumer–Phillips theorem, Lumer–Phillips theorem (statement). Also Wikidata Q1602819
History
- 2026-10-26: add by m2/dev
Weil–Brezin Map 3V6W6FR5XB
| URI | m2://inv/3V6W6FR5XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil–Brezin Map, Weil–Brezin Map (definition). Also Wikidata Q25111122
History
- 2026-11-02: add by m2/dev
3V70YK9TJG 3V70YK9TJG
| URI | m2://inv/3V70YK9TJG |
|---|---|
| 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#YPRK (statement). In Q62MDENP26/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 3V75K9GM8Q
| URI | m2://inv/3V75K9GM8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference of two squares#WATF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Fourier analysis 3V786EJ47R
| URI | m2://inv/3V786EJ47R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fourier analysis FAYWXJ68SB |
Mentions
- wikidata: Wikidata Q1365258, Fourier analysis (definition). Also MathWorld FourierAnalysis, ProofWiki Definition:Fourier_Analysis
- wikipedia: Wikipedia Fourier analysis, Fourier analysis (topic). Also Wikidata Q1365258
History
- 2026-10-26: add by m2/dev
3V7A6W4TPG 3V7A6W4TPG
| URI | m2://inv/3V7A6W4TPG |
|---|---|
| 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.34213#O83M (statement). In KGP6NAY0NS/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
3V7F5402EP 3V7F5402EP
| URI | m2://inv/3V7F5402EP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-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.37520#30G0 (example). In BDN507RN7J/e1, example 4.2.12
History
- 2026-10-30: add by m2/v0.4.12
K-minimum spanning tree 3V7QSX3A3M
| URI | m2://inv/3V7QSX3A3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-minimum spanning tree, K-minimum spanning tree (definition). Also Wikidata Q6322849
History
- 2026-11-02: add by m2/dev
Keel–Mori theorem 3V7TJRS4H0
| URI | m2://inv/3V7TJRS4H0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keel–Mori theorem, Keel–Mori theorem (statement). Also Wikidata Q17098389
History
- 2026-11-02: add by m2/dev
Paul Townsend 3V7V6ME9HE
| URI | m2://inv/3V7V6ME9HE |
|---|---|
| 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 Q1727256, Paul Townsend (unknown). Also nLab Paul Townsend
History
- 2026-10-26: add by m2/dev
Mathematics and art 3V7XNY0ASE
| URI | m2://inv/3V7XNY0ASE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and art, Mathematics and art (definition). Also Wikidata Q2864650
History
- 2026-11-02: add by m2/dev
3V8742ZEZJ 3V8742ZEZJ
| URI | m2://inv/3V8742ZEZJ |
|---|---|
| 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.27617#7V06 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Casio V.P.A.M. calculators 3V87GSTBK7
| URI | m2://inv/3V87GSTBK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casio V.P.A.M. calculators, Casio V.P.A.M. calculators (definition). Also Wikidata Q22909598
History
- 2026-11-02: add by m2/dev
Hesse configuration 3V87PWM2GK
| URI | m2://inv/3V87PWM2GK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hesse configuration, Hesse configuration (definition). Also Wikidata Q5746176
History
- 2026-11-02: add by m2/dev
3V8G21JNNN 3V8G21JNNN
| URI | m2://inv/3V8G21JNNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-50 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
3V8WA3GCK8 3V8WA3GCK8
| URI | m2://inv/3V8WA3GCK8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-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 2309.17091#SSH8 (problem). In N0JJM098W2/e1, problem 30
History
- 2026-10-27: add by m2/v0.4.0
Bilinear interpolation 3V8WC8PZ07
| URI | m2://inv/3V8WC8PZ07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#5U1R, Bilinear interpolation (definition)
History
- 2026-11-02: add by m2/dev
Word problem 3V8YGXV5CZ
| URI | m2://inv/3V8YGXV5CZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word problem (mathematics education), Word problem (problem). Also Wikidata Q255912
History
- 2026-11-02: add by m2/dev
gradient 3V921JHCAM
| URI | m2://inv/3V921JHCAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#MOOK, gradient (definition)
History
- 2026-11-02: add by m2/dev
3V96WHBJBZ 3V96WHBJBZ
| URI | m2://inv/3V96WHBJBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#54JD (statement). In AKB3CNDA0F/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.12
Master theorem 3V9F2V8HV7
| URI | m2://inv/3V9F2V8HV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20351#9IBR, Master theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
Milly Dowler 3V9NGEQPH1
| URI | m2://inv/3V9NGEQPH1 |
|---|---|
| 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#CSPP, Milly Dowler (unknown)
History
- 2026-11-02: add by m2/dev
3V9SMWR5ZT 3V9SMWR5ZT
| URI | m2://inv/3V9SMWR5ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.07434#9UWE (statement). In 7XZHQ2H5ZD/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Niven numbers 3VA2QH5A77
| URI | m2://inv/3VA2QH5A77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#4RWN, Niven numbers (definition)
History
- 2026-11-02: add by m2/dev
3VA5DRYQW7 3VA5DRYQW7
| URI | m2://inv/3VA5DRYQW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.15212#P4K3 (statement). In W99XBH6X5N/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
3VA5QQZ38E 3VA5QQZ38E
| URI | m2://inv/3VA5QQZ38E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#question-6 (exercise). In P1C114YBXG, question, section 1
History
- 2026-11-01: add by m2/v0.6.13
Egocentric bias 3VA997FTHE
| URI | m2://inv/3VA997FTHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#FW06, Egocentric bias (unknown)
History
- 2026-11-02: add by m2/dev
3VAATG6NNG 3VAATG6NNG
| URI | m2://inv/3VAATG6NNG |
|---|---|
| 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.37124#DVRB (statement). In 2QF1YG9DD0/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
John Wilson 3VAH05SMRX
| URI | m2://inv/3VAH05SMRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Wilson (English judge), John Wilson (topic). Also Wikidata Q337339
History
- 2026-11-02: add by m2/dev
Mathematische Annalen 3VASXYA6RE
| URI | m2://inv/3VASXYA6RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q703577, Mathematische Annalen (unknown). Also ProofWiki Book:Journal/Mathematische_Annalen
- wikipedia: Wikipedia Mathematische Annalen, Mathematische Annalen (definition). Also Wikidata Q703577
History
- 2026-10-26: add by m2/dev
Sören Illman 3VB0H3FBNF
| URI | m2://inv/3VB0H3FBNF |
|---|---|
| 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 Q11895808, Sören Illman (unknown). Also nLab Sören Illman
History
- 2026-10-26: add by m2/dev
Residual-exogenous optimizer limits 3VB6ZQW448
| URI | m2://inv/3VB6ZQW448 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#VWUE, Residual-exogenous optimizer limits (statement). In TTEAQA1XXR/e1, lemma F.2
History
- 2026-10-28: add by m2/v0.4.3
Epicycloid 3VBJV4WZ8M
| URI | m2://inv/3VBJV4WZ8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of periodic functions#II4I, Epicycloid (definition)
History
- 2026-11-02: add by m2/dev
\textsf{Adjacent-block maximal lemma 3VBPMBK3T0
| URI | m2://inv/3VBPMBK3T0 |
|---|---|
| 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.09404#G7U2, \textsf{Adjacent-block maximal lemma (statement). In D7CZZ48FRN/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Björn Engquist 3VBSHWX88Y
| URI | m2://inv/3VBSHWX88Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Björn Engquist, Björn Engquist (topic). Also Wikidata Q879600
History
- 2026-11-02: add by m2/dev
completely integrable system 3VBT1CVQYP
| URI | m2://inv/3VBT1CVQYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#GTVK, completely integrable system (definition)
History
- 2026-11-02: add by m2/dev
HPO formalism 3VBTFZJM5F
| URI | m2://inv/3VBTFZJM5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HPO formalism, HPO formalism (definition). Also Wikidata Q5635601
History
- 2026-11-02: add by m2/dev
Truncated 5-cell honeycomb 3VC1CKMYZN
| URI | m2://inv/3VC1CKMYZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#07VZ, Truncated 5-cell honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GTWC, Truncated 5-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Chehrzad Shakiban 3VC4R3Q6MH
| URI | m2://inv/3VC4R3Q6MH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5IFC, Chehrzad Shakiban (topic)
History
- 2026-11-02: add by m2/dev
Special cases 3VC5PET48Y
| URI | m2://inv/3VC5PET48Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombohedron#V3TF, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Proof by intimidation 3VC5T5K3QF
| URI | m2://inv/3VC5T5K3QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof by intimidation, Proof by intimidation (definition). Also Wikidata Q7250000
History
- 2026-11-02: add by m2/dev
3VC5YRZTZN 3VC5YRZTZN
| URI | m2://inv/3VC5YRZTZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#definition-1 (definition). In P1C114YBXG, definition, section C
History
- 2026-11-01: add by m2/v0.6.13
Closed-form formulas 3VC94KTBY6
| URI | m2://inv/3VC94KTBY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial root-finding#YQPJ, Closed-form formulas (statement)
History
- 2026-11-02: add by m2/dev
3VCRNMYNSB 3VCRNMYNSB
| URI | m2://inv/3VCRNMYNSB |
|---|---|
| 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#IUQ0 (statement). In F3MWRNBNED/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Principle 3VCZG653VX
| URI | m2://inv/3VCZG653VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Full state feedback#6OR1, Principle (statement)
History
- 2026-11-02: add by m2/dev
Labeled facet network 3VD5B9VVSW
| URI | m2://inv/3VD5B9VVSW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#UDGF, Labeled facet network (definition)
History
- 2026-11-02: add by m2/v0.6.18
3VD92PD2XB 3VD92PD2XB
| URI | m2://inv/3VD92PD2XB |
|---|---|
| Kind | definition |
| 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.20588#XUF5 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Examples 3VD9CD2FCC
| URI | m2://inv/3VD9CD2FCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longitudinal study#YVRR, Examples (example)
History
- 2026-11-02: add by m2/dev
3VDESX6F60 3VDESX6F60
| URI | m2://inv/3VDESX6F60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.36823#W4BH (statement). In 55WT8DME6Y/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Bresenham's line algorithm 3VDJT47YRX
| URI | m2://inv/3VDJT47YRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q549860, Bresenham's line algorithm (unknown). Also MathWorld BresenhamsLineAlgorithm
History
- 2026-10-26: add by m2/dev
3VDKSFN8B7 3VDKSFN8B7
| URI | m2://inv/3VDKSFN8B7 |
|---|---|
| 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.28594#BVPT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aleksandr Khinchin 3VDNT5Y873
| URI | m2://inv/3VDNT5Y873 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandr Khinchin, Aleksandr Khinchin (topic). Also Wikidata Q723638
History
- 2026-11-02: add by m2/dev
Definition 3VDSJFVN9T
| URI | m2://inv/3VDSJFVN9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bode plot#82DS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cayley--Bacharach and the Hilbert tail 3VDTFEN175
| URI | m2://inv/3VDTFEN175 |
|---|---|
| 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 2609.31689#VPJU, Cayley--Bacharach and the Hilbert tail (statement). In Z7M2JSF6HA/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Geometric combinatorics 3VDYTX8TWJ
| URI | m2://inv/3VDYTX8TWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PFBL, Geometric combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Monoidal t-norm logic 3VE255T9FP
| URI | m2://inv/3VE255T9FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal t-norm logic, Monoidal t-norm logic (definition). Also Wikidata Q6901647
History
- 2026-11-02: add by m2/dev
Alexander Pechen 3VE5R015DC
| URI | m2://inv/3VE5R015DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Pechen, Alexander Pechen (topic). Also Wikidata Q42306403
History
- 2026-11-02: add by m2/dev
3VE6C6XVNY 3VE6C6XVNY
| URI | m2://inv/3VE6C6XVNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-10 (definition). In VNMV985MXX, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Enrique Zuazua 3VECDGB02K
| URI | m2://inv/3VECDGB02K |
|---|---|
| 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#BAE8, Enrique Zuazua (topic)
History
- 2026-11-02: add by m2/dev
Generalizations 3VECEMEK5E
| URI | m2://inv/3VECEMEK5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed graph#W2DG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Example 3VEF0KVX0D
| URI | m2://inv/3VEF0KVX0D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect ruler#R04Y, Example (example)
History
- 2026-11-02: add by m2/dev
3VER5PJP56 3VER5PJP56
| URI | m2://inv/3VER5PJP56 |
|---|---|
| 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-2 (proof). In PKGMM3P5QY, proof, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
3VF24S8T3E 3VF24S8T3E
| URI | m2://inv/3VF24S8T3E |
|---|---|
| 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 2102.09374#175J (statement). In TGAHH1F8K5/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.6
3VF2BEVQAS 3VF2BEVQAS
| URI | m2://inv/3VF2BEVQAS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 82.3
History
- 2026-11-01: add by m2/v0.6.13
Variants 3VF6RWMGZP
| URI | m2://inv/3VF6RWMGZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet distance#AVHE, Variants (statement)
History
- 2026-11-02: add by m2/dev
3VF9K61405 3VF9K61405
| URI | m2://inv/3VF9K61405 |
|---|---|
| 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#JJAN (statement)
History
- 2026-11-01: add by m2/v0.6.15
3VFE337H27 3VFE337H27
| URI | m2://inv/3VFE337H27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.25275#6MAS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 3VFJ2C73RX
| URI | m2://inv/3VFJ2C73RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge conjecture#WXAS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3VFMZXCEZC 3VFMZXCEZC
| URI | m2://inv/3VFMZXCEZC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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 2510.05499#VI7J (example). In WRMNCC8VBC/e1, example 19
History
- 2026-10-27: add by m2/v0.3.6
Direct sums 3VFXNPE9E2
| URI | m2://inv/3VFXNPE9E2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#J4U3, Direct sums (statement). In XDTM624YPE/e1, corollary 6.6
History
- 2026-10-27: add by m2/v0.4.2
Mersenne Twister 3VFY70TZ2X
| URI | m2://inv/3VFY70TZ2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mersenne Twister, Mersenne Twister (definition). Also Wikidata Q1196406
History
- 2026-11-02: add by m2/dev
Theorem 3VFYZZ5BQ1
| URI | m2://inv/3VFYZZ5BQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally recoverable code#DJLD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
automorphic 3VG0128WWN
| URI | m2://inv/3VG0128WWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#VDRD, automorphic (definition)
History
- 2026-11-02: add by m2/dev
Borel 3VG0JGNBYP
| URI | m2://inv/3VG0JGNBYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#KVM2, Borel (definition)
History
- 2026-11-02: add by m2/dev
3VGGJ571HJ 3VGGJ571HJ
| URI | m2://inv/3VGGJ571HJ |
|---|---|
| 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 2208.06310#616R (statement). In 9YR0E0T9XA/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Sono's positivity criterion 3VGN1RDB7W
| URI | m2://inv/3VGN1RDB7W |
|---|---|
| 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.35548#UV7U, Sono's positivity criterion (statement). In 12AXZ0DFD9/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
3VGQVVTS9N 3VGQVVTS9N
| URI | m2://inv/3VGQVVTS9N |
|---|---|
| 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.15131#ZLHU (statement). In R80GS8W0WA/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Global first correction 3VH0JQXV7W
| URI | m2://inv/3VH0JQXV7W |
|---|---|
| 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.11077#Z7CY, Global first correction (statement). In 4333A6G5K5/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.3
search, breadth first 3VH17AE58J
| URI | m2://inv/3VH17AE58J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2.2/search-breadth-first, search, breadth first (concept). In Y91XFCEVHQ, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
3VH2MDJV8M 3VH2MDJV8M
| URI | m2://inv/3VH2MDJV8M |
|---|---|
| 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.16233#67JY (statement). In RNXMADQ33J/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
3VHA9RM82K 3VHA9RM82K
| URI | m2://inv/3VHA9RM82K |
|---|---|
| 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 2012.05048#DXQ4 (statement). In NY9HW1E6DY/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Binary Goppa code 3VHAHKVQXK
| URI | m2://inv/3VHAHKVQXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary Goppa code, Binary Goppa code (definition). Also Wikidata Q4913867
History
- 2026-11-02: add by m2/dev
3VHCGJRWK9 3VHCGJRWK9
| URI | m2://inv/3VHCGJRWK9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-114 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
S. R. Srinivasa Varadhan 3VHERG6EMA
| URI | m2://inv/3VHERG6EMA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. R. Srinivasa Varadhan, S. R. Srinivasa Varadhan (topic). Also Wikidata Q370247
History
- 2026-11-02: add by m2/dev
Properties 3VHK7CCZND
| URI | m2://inv/3VHK7CCZND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error function#4ASW, Properties (statement)
History
- 2026-11-02: add by m2/dev
shell integration 3VHSQ181D8
| URI | m2://inv/3VHSQ181D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#VFRS, shell integration (definition)
History
- 2026-11-02: add by m2/dev
MAXEkSAT 3VJ1BGNGQ9
| URI | m2://inv/3VJ1BGNGQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MAXEkSAT, MAXEkSAT (definition). Also Wikidata Q6714607
History
- 2026-11-02: add by m2/dev
Special cases 3VJ1N9Q490
| URI | m2://inv/3VJ1N9Q490 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing number (graph theory)#LQ19, Special cases (statement)
History
- 2026-11-02: add by m2/dev
3VJ9Z074Y3 3VJ9Z074Y3
| URI | m2://inv/3VJ9Z074Y3 |
|---|---|
| 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 1810.06028#EYIL (statement). In ZPFHH6YJG3/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
3VJDMTZPS2 3VJDMTZPS2
| URI | m2://inv/3VJDMTZPS2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#YC9U (example). In HX63A1PH1W/e1, example 3.44
History
- 2026-10-28: add by m2/v0.4.3
complexification 3VJG1CN1XN
| URI | m2://inv/3VJG1CN1XN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.1/complexification, complexification (concept). In VNMV985MXX, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Properties 3VJG3TS2S2
| URI | m2://inv/3VJG3TS2S2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kreiss matrix theorem#8MF0, Properties (statement)
History
- 2026-11-02: add by m2/dev
3VJG5V2PEF 3VJG5V2PEF
| URI | m2://inv/3VJG5V2PEF |
|---|---|
| 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.34876#WROX (statement). In XXQAW3ZBDF/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Dagger compact category 3VJMMBCXX2
| URI | m2://inv/3VJMMBCXX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#DHB0, Dagger compact category (definition)
History
- 2026-11-02: add by m2/dev
Computation 3VJTP1KEJR
| URI | m2://inv/3VJTP1KEJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian number#5J9Q, Computation (definition)
History
- 2026-11-02: add by m2/dev
Sharp normalized stabilizer energy 3VJXTMQ3W9
| URI | m2://inv/3VJXTMQ3W9 |
|---|---|
| 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.02166#YU63, Sharp normalized stabilizer energy (statement). In R6RF3P6D5A/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.12
Milan Kolibiar 3VK0NR20ZJ
| URI | m2://inv/3VK0NR20ZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milan Kolibiar, Milan Kolibiar (topic). Also Wikidata Q6850589
History
- 2026-11-02: add by m2/dev
A binomial gap 3VK29JVVX5
| URI | m2://inv/3VK29JVVX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#DE6Z, A binomial gap (statement). In QPJ6FWG5HD/e1, lemma 2.101
History
- 2026-10-29: add by m2/v0.4.12
Bernstein's theorem 3VK722SNTE
| URI | m2://inv/3VK722SNTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 41-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4894565, Bernstein's theorem (approximation theory) (statement). Also Wikidata Q4894565
- thousand_plus: thousand_plus Q4894565, Bernstein's theorem (statement). Also Wikidata Q4894565, Wikipedia Bernstein's theorem (approximation theory)
- wikipedia: Wikipedia Bernstein's theorem (approximation theory), Bernstein's theorem (statement). Also Wikidata Q4894565
History
- 2026-10-26: add by m2/dev
Amir Aczel 3VKHD5CDKW
| URI | m2://inv/3VKHD5CDKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GTK4, Amir Aczel (topic)
History
- 2026-11-02: add by m2/dev
3VKMRW23EM 3VKMRW23EM
| URI | m2://inv/3VKMRW23EM |
|---|---|
| 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.35323#YFBK (definition). In 5CKPXBWSCX/e1, definition 2.15
History
- 2026-10-30: add by m2/v0.4.12
Exact minimax reduction to weak Schur sampling 3VKNSN5WHJ
| URI | m2://inv/3VKNSN5WHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#Y2SW, Exact minimax reduction to weak Schur sampling (statement)
History
- 2026-11-01: add by m2/v0.6.15
3VKPEGQCEZ 3VKPEGQCEZ
| URI | m2://inv/3VKPEGQCEZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#9UBW (definition). In P8KT6JV9N1/e1, definition A.2
History
- 2026-10-29: add by m2/v0.4.12
Non-invariance of the CAR algebras 3VKQHQP9SY
| URI | m2://inv/3VKQHQP9SY |
|---|---|
| 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.34402#WTY7, Non-invariance of the CAR algebras (statement). In FTTMZWSCMW/e1, corollary 2.5
History
- 2026-10-30: add by m2/v0.4.12
Equal in distribution 3VKS55545R
| URI | m2://inv/3VKS55545R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random variable#N9C6, Equal in distribution (unknown)
History
- 2026-11-02: add by m2/dev
Thesaurus Logarithmorum Completus 3VM09NC863
| URI | m2://inv/3VM09NC863 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jurij Vega#Y7A9, Thesaurus Logarithmorum Completus (unknown)
History
- 2026-11-02: add by m2/dev
A hybrid BFGS-Like method 3VM4MJKYTX
| URI | m2://inv/3VM4MJKYTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#7RCB, A hybrid BFGS-Like method (unknown)
History
- 2026-11-02: add by m2/dev
Elliptic curve point multiplication 3VMAHH7GC2
| URI | m2://inv/3VMAHH7GC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve point multiplication, Elliptic curve point multiplication (definition). Also Wikidata Q78380999
History
- 2026-11-02: add by m2/dev
Central twists with a conductor bound 3VMRVQRXSF
| URI | m2://inv/3VMRVQRXSF |
|---|---|
| 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.33185#GDI6, Central twists with a conductor bound (statement). In QX30H2WNA7/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
3VMXFF9R02 3VMXFF9R02
| URI | m2://inv/3VMXFF9R02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#Z1XA (statement)
History
- 2026-11-01: add by m2/v0.6.15
3VN0DBEM1X 3VN0DBEM1X
| URI | m2://inv/3VN0DBEM1X |
|---|---|
| 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.09042#1NQ1 (statement). In 7CS3N5K9FJ/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
3VN116HDFX 3VN116HDFX
| URI | m2://inv/3VN116HDFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-20 (statement). In VNMV985MXX, thm, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
3VN1RZRKPJ 3VN1RZRKPJ
| URI | m2://inv/3VN1RZRKPJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#R44E (definition). In V5PVKDKGGG/e1, definition 4.12
History
- 2026-10-28: add by m2/v0.4.2
3VN20H66YJ 3VN20H66YJ
| URI | m2://inv/3VN20H66YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#J7SR (statement). In PJAT9YDX7Y/e1, theorem 5.9
History
- 2026-10-27: add by m2/v0.4.0
Properties 3VN2G9Q3ZQ
| URI | m2://inv/3VN2G9Q3ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (topology)#MLLZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Multivariate analysis of covariance 3VN60Z23WF
| URI | m2://inv/3VN60Z23WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate analysis of covariance, Multivariate analysis of covariance (definition). Also Wikidata Q767057
History
- 2026-11-02: add by m2/dev
Binomial equivalence 3VNF9TYQ05
| URI | m2://inv/3VNF9TYQ05 |
|---|---|
| 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.36389#W3JK, Binomial equivalence (definition). In N1S169J2MV/e1, definition 8
History
- 2026-10-30: add by m2/v0.4.12
Surroundings (thermodynamics) 3VNKWECB6B
| URI | m2://inv/3VNKWECB6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic system#31WR, Surroundings (thermodynamics) (unknown)
History
- 2026-11-02: add by m2/dev
transport, in dependent pair types 3VNQ5AV42A
| URI | m2://inv/3VNQ5AV42A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.7/transport-in-dependent-pair-types, transport, in dependent pair types (concept). In N54F33XE07, index, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
Fontainebleau 3VNT5SKCE8
| URI | m2://inv/3VNT5SKCE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#P1TE, Fontainebleau (unknown)
History
- 2026-11-02: add by m2/dev
Validation of QSAR models 3VNTCJBE0C
| URI | m2://inv/3VNTCJBE0C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative structure–activity relationship#OCQX, Validation of QSAR models (unknown)
History
- 2026-11-02: add by m2/dev
Maximum shifts function 3VP1K40H69
| URI | m2://inv/3VP1K40H69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busy beaver#8B36, Maximum shifts function (unknown)
History
- 2026-11-02: add by m2/dev
Categoriae decem 3VP8FGYJXJ
| URI | m2://inv/3VP8FGYJXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#7UHA, Categoriae decem (unknown)
History
- 2026-11-02: add by m2/dev
Alexei Miasnikov 3VPF6JQWV3
| URI | m2://inv/3VPF6JQWV3 |
|---|---|
| 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#Z821, Alexei Miasnikov (unknown)
History
- 2026-11-02: add by m2/dev
Michael Röckner 3VPKJNRHH0
| URI | m2://inv/3VPKJNRHH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#U3NZ, Michael Röckner (topic)
History
- 2026-11-02: add by m2/dev
Deceleration parameter 3VPPF3BF0P
| URI | m2://inv/3VPPF3BF0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deceleration parameter, Deceleration parameter (definition). Also Wikidata Q3363554
History
- 2026-11-02: add by m2/dev
Qualitative theory of differential equations 3VPRAN0VMD
| URI | m2://inv/3VPRAN0VMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative theory of differential equations, Qualitative theory of differential equations (definition). Also Wikidata Q23002968
History
- 2026-11-02: add by m2/dev
3VPTH9FRR5 3VPTH9FRR5
| URI | m2://inv/3VPTH9FRR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.37893#6FME (statement). In 8H0KHK7AMN/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
3VPXAKNH3C 3VPXAKNH3C
| URI | m2://inv/3VPXAKNH3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.15887#CS3H (statement). In 87QYNZZ67Z/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
3VQ24TAKJ0 3VQ24TAKJ0
| URI | m2://inv/3VQ24TAKJ0 |
|---|---|
| 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.30823#UXB2 (statement). In 1YHQ9YNQ68/e1, proposition 2.7
History
- 2026-10-31: add by m2/v0.5.6
K3 surface 3VQ311F6SK
| URI | m2://inv/3VQ311F6SK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | K3 surface Q3V566R6K2 |
Mentions
- wikidata: Wikidata Q1969721, K3 surface (concept). Also nLab K3 surface
- wikipedia: Wikipedia K3 surface, K3 surface (definition). Also Wikidata Q1969721
History
- 2026-10-26: add by m2/dev
Examples 3VQ5ZVCJEB
| URI | m2://inv/3VQ5ZVCJEB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact functor#PLH2, Examples (example)
History
- 2026-11-02: add by m2/dev
3VQ7DM9H88 3VQ7DM9H88
| URI | m2://inv/3VQ7DM9H88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#AAFF (statement). In EVFX1R7ZDD/e1, theorem 14
History
- 2026-10-30: add by m2/v0.4.12
3VQEJMSTX1 3VQEJMSTX1
| URI | m2://inv/3VQEJMSTX1 |
|---|---|
| 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.31090#Y36U (statement). In SMTJDX0Q6R/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
3VQF8N3PPK 3VQF8N3PPK
| URI | m2://inv/3VQF8N3PPK |
|---|---|
| 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.18277#VWQL (statement). In YFRNY7S92A/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Laguerre's method 3VQHF6EV04
| URI | m2://inv/3VQHF6EV04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Laguerre's method Y277TCXZ9Z |
Mentions
- wikidata: Wikidata Q1171964, Laguerre's method (unknown). Also MathWorld LaguerresMethod
- wikipedia: Wikipedia Laguerre's method, Laguerre's method (definition). Also Wikidata Q1171964
History
- 2026-10-26: add by m2/dev
Knotless embedding 3VQJ56PN44
| URI | m2://inv/3VQJ56PN44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#D8F8, Knotless embedding (definition)
History
- 2026-11-02: add by m2/dev
Implementations 3VQM1WBZZA
| URI | m2://inv/3VQM1WBZZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Casteljau's algorithm#KIFX, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Slope stability 3VQMXG87YX
| URI | m2://inv/3VQMXG87YX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#KSLM, Slope stability (definition). In 8BNPFYQDQX/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
First-moment prediction for satisfiability 3VQNZRYQJB
| URI | m2://inv/3VQNZRYQJB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#R054, First-moment prediction for satisfiability (definition). In T8F19ZGHF3/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
Applications 3VQPVBZ04H
| URI | m2://inv/3VQPVBZ04H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational statistics#X0T4, Applications (example)
History
- 2026-11-02: add by m2/dev
Wold's decomposition 3VQRQMCFQZ
| URI | m2://inv/3VQRQMCFQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wold's decomposition, Wold's decomposition (definition). Also Wikidata Q17098023
History
- 2026-11-02: add by m2/dev
3VQSKMZ4HP 3VQSKMZ4HP
| URI | m2://inv/3VQSKMZ4HP |
|---|---|
| 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.31615#L3YZ (statement). In TNV6XTEWEG/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Dunford 3VQV6NFZB1
| URI | m2://inv/3VQV6NFZB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#9GDH, Dunford (definition)
History
- 2026-11-02: add by m2/dev
3VQWGZZ3EP 3VQWGZZ3EP
| URI | m2://inv/3VQWGZZ3EP |
|---|---|
| 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 2211.10816#LNA6 (statement). In 8VNN8PX49Y/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.6
Clock cap 3VQXN1RJ4W
| URI | m2://inv/3VQXN1RJ4W |
|---|---|
| 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.16248#6G45, Clock cap (statement). In TP61DYMBMK/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.2
3VR5G1BF3W 3VR5G1BF3W
| URI | m2://inv/3VR5G1BF3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04325#3FNB (statement). In 42XHT97E64/e1, corollary 6.9
History
- 2026-10-29: add by m2/v0.4.12
Tiny-corner completion; computer-assisted 3VR6EP2NV6
| URI | m2://inv/3VR6EP2NV6 |
|---|---|
| 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#TPPH, Tiny-corner completion; computer-assisted (statement)
History
- 2026-11-01: add by m2/v0.6.15
kilowatt 3VRBTQ0RTA
| URI | m2://inv/3VRBTQ0RTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3320608, kilowatt (definition). Also ProofWiki Definition:SI/Power/Kilowatt
History
- 2026-10-26: add by m2/dev
3VRDDF2YFR 3VRDDF2YFR
| URI | m2://inv/3VRDDF2YFR |
|---|---|
| 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#0AW5 (statement). In 7NS75J7HAM/e1, proposition 7.11
History
- 2026-10-31: add by m2/v0.5.6
3VRGSDA513 3VRGSDA513
| URI | m2://inv/3VRGSDA513 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#SE80 (statement). In CY1FE8W1ZW/e1, lemma 0.50
History
- 2026-10-27: add by m2/v0.3.5
3VRJJPX1BF 3VRJJPX1BF
| URI | m2://inv/3VRJJPX1BF |
|---|---|
| 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#5Z2Z (statement). In JW8HH6EPG2/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
Single-point stochastic oracle 3VRK096J76
| URI | m2://inv/3VRK096J76 |
|---|---|
| Kind | definition |
| 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.00295#EB98, Single-point stochastic oracle (definition). In 7HXP270BD0/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
3VRR2SH391 3VRR2SH391
| URI | m2://inv/3VRR2SH391 |
|---|---|
| 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.21339#WM35 (statement)
History
- 2026-11-02: add by m2/v0.6.18
The atom 3VRVS6M7DG
| URI | m2://inv/3VRVS6M7DG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#JMQ1, The atom (statement). In 2Y47E704Z9/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.10
3VS3GSBT9D 3VS3GSBT9D
| URI | m2://inv/3VS3GSBT9D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-5-3-substitution.xml#example-1 (example). In 907G4C4EJ1, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Summer School Marktoberdorf 3VS4G4650J
| URI | m2://inv/3VS4G4650J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summer School Marktoberdorf, Summer School Marktoberdorf (definition). Also Wikidata Q23003164
History
- 2026-11-02: add by m2/dev
Causal existence, uniqueness, and synchronization 3VS8RYD7Q5
| URI | m2://inv/3VS8RYD7Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#WYZC, Causal existence, uniqueness, and synchronization (statement)
History
- 2026-11-02: add by m2/v0.6.18
3VS9CPA80S 3VS9CPA80S
| URI | m2://inv/3VS9CPA80S |
|---|---|
| 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.07855#TUW7 (statement). In 1VT8CVVCM7/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
3VSAF94CF9 3VSAF94CF9
| URI | m2://inv/3VSAF94CF9 |
|---|---|
| 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.28509#NT6Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
3VSDX983J3 3VSDX983J3
| URI | m2://inv/3VSDX983J3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#ROWB (statement). In ZT7H1ZDN96/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Quantities of information 3VSRRA597R
| URI | m2://inv/3VSRRA597R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantities of information, Quantities of information (definition). Also Wikidata Q2070563
History
- 2026-11-02: add by m2/dev
Hugh MacColl 3VT9GJPQVK
| URI | m2://inv/3VT9GJPQVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#JXRJ, Hugh MacColl (topic)
History
- 2026-11-02: add by m2/dev
area 3VTD7K0YF0
| URI | m2://inv/3VTD7K0YF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle inequalities#2MF6, area (definition)
History
- 2026-11-02: add by m2/dev
Characterizations 3VTV9ZJZ3M
| URI | m2://inv/3VTV9ZJZ3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic quadrilateral#GQSY, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
3VTYS8RYAE 3VTYS8RYAE
| URI | m2://inv/3VTYS8RYAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#1HKZ (statement). In ABS9M47F4K/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.6
enriched category 3VTZ0XXME3
| URI | m2://inv/3VTZ0XXME3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#592E, enriched category (definition)
History
- 2026-11-02: add by m2/dev
simplicial complex 3VTZQPZNJD
| URI | m2://inv/3VTZQPZNJD |
|---|---|
| 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#SRZJ, simplicial complex (example). In PF5JJ9DS8Q/e1, example 2.2.6
History
- 2026-10-28: add by m2/v0.4.2
3VV7K462XD 3VV7K462XD
| URI | m2://inv/3VV7K462XD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#UG9S (statement). In 2W5Z97BBW4/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.4.0
Bingham distribution 3VVB29V6YP
| URI | m2://inv/3VVB29V6YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#YPPL, Bingham distribution (definition)
History
- 2026-11-02: add by m2/dev
Pointwise Fractal Explicit Formula Without Error Term, i.e., Exact; see , Theorem 5.14, page 156 3VVDAHFK6S
| URI | m2://inv/3VVDAHFK6S |
|---|---|
| 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.22759#1EJY, Pointwise Fractal Explicit Formula Without Error Term, i.e., Exact; see , Theorem 5.14, page 156 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MATLAB 3VVHZEYPEV
| URI | m2://inv/3VVHZEYPEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#UCBP, MATLAB (definition)
History
- 2026-11-02: add by m2/dev
Linear probability model 3VVMSHSHK5
| URI | m2://inv/3VVMSHSHK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear probability model, Linear probability model (definition). Also Wikidata Q6553487
History
- 2026-11-02: add by m2/dev
Complex multiplication of abelian varieties 3VVN4Y1PFQ
| URI | m2://inv/3VVN4Y1PFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex multiplication of abelian varieties, Complex multiplication of abelian varieties (definition). Also Wikidata Q3554814
History
- 2026-11-02: add by m2/dev
3VVNFWS42Y 3VVNFWS42Y
| URI | m2://inv/3VVNFWS42Y |
|---|---|
| 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.12329#4DX0 (definition). In ZJQB9W60T6/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Irving Stringham 3VW3PSNXFQ
| URI | m2://inv/3VW3PSNXFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irving Stringham, Irving Stringham (topic). Also Wikidata Q6074815
History
- 2026-11-02: add by m2/dev
3VWEGTAJ1N 3VWEGTAJ1N
| URI | m2://inv/3VWEGTAJ1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#XGPY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Expected residual-weighted stability of kernel regression 3VWFD4WPWH
| URI | m2://inv/3VWFD4WPWH |
|---|---|
| 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.20772#AROX, Expected residual-weighted stability of kernel regression (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem 3VWHK8E37S
| URI | m2://inv/3VWHK8E37S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinkhorn's theorem#5Y9L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
3VWJ3NJ6EJ 3VWJ3NJ6EJ
| URI | m2://inv/3VWJ3NJ6EJ |
|---|---|
| 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.12165#32IC (statement). In 3JSE8A9CFH/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Viscosity of amorphous materials 3VWX8DCGH1
| URI | m2://inv/3VWX8DCGH1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity#I9IL, Viscosity of amorphous materials (unknown)
History
- 2026-11-02: add by m2/dev
3VX1C09BHB 3VX1C09BHB
| URI | m2://inv/3VX1C09BHB |
|---|---|
| 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.10365#ADFF (statement). In PRVQPSBVHK/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
T. Tony Cai 3VX2E5Q735
| URI | m2://inv/3VX2E5Q735 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. Tony Cai, T. Tony Cai (topic). Also Wikidata Q7668763
History
- 2026-11-02: add by m2/dev
3VXCVGRQM0 3VXCVGRQM0
| URI | m2://inv/3VXCVGRQM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#6HUN (statement). In MFCW5CY96C/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
3VXF6M5CD5 3VXF6M5CD5
| URI | m2://inv/3VXF6M5CD5 |
|---|---|
| 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.26401#M3G7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rikitaro Fujisawa 3VXFB4WAJK
| URI | m2://inv/3VXFB4WAJK |
|---|---|
| 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#HA5Z, Rikitaro Fujisawa (topic)
History
- 2026-11-02: add by m2/dev
3VXM520F77 3VXM520F77
| URI | m2://inv/3VXM520F77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#E9KV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example 3VXN140A6K
| URI | m2://inv/3VXN140A6K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chauvenet's criterion#JLXF, Example (example)
History
- 2026-11-02: add by m2/dev
Tagged lifting 3VXRH4ANT7
| URI | m2://inv/3VXRH4ANT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#LIDV, Tagged lifting (statement). In ZZER8ZBSCR/e1, corollary 6.14
History
- 2026-10-29: add by m2/v0.4.12
Antonella Cupillari 3VXXE6GY22
| URI | m2://inv/3VXXE6GY22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonella Cupillari, Antonella Cupillari (topic). Also Wikidata Q102192065
History
- 2026-11-02: add by m2/dev
Superparticular number 3VY36AQPDA
| URI | m2://inv/3VY36AQPDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#ZU01, Superparticular number (definition)
History
- 2026-11-02: add by m2/dev
3VY5RV80PM 3VY5RV80PM
| URI | m2://inv/3VY5RV80PM |
|---|---|
| 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 2610.10570#1MCG (statement). In V0MA250K2P/e1, corollary 3.13
History
- 2026-10-29: add by m2/v0.4.10
3VYE6ZX0P1 3VYE6ZX0P1
| URI | m2://inv/3VYE6ZX0P1 |
|---|---|
| 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.31276#BKCE (statement). In WYDHWYFRFK/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
KK-theory 3VYGM8NXC1
| URI | m2://inv/3VYGM8NXC1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6331703, KK-theory (unknown). Also nLab KK-theory
- wikipedia: Wikipedia KK-theory, KK-theory (topic). Also Wikidata Q6331703
History
- 2026-10-26: add by m2/dev
3VYKM9E4T8 3VYKM9E4T8
| URI | m2://inv/3VYKM9E4T8 |
|---|---|
| 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.13618#F6LZ (statement). In XDQAEGH345/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Riemannian graph 3VYM1PMX2C
| URI | m2://inv/3VYM1PMX2C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#8Z9O, Riemannian graph (unknown)
History
- 2026-11-02: add by m2/dev
3VYMNN35MT 3VYMNN35MT
| URI | m2://inv/3VYMNN35MT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#LE54 (definition). In D8XZBXJPR5/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Serhii Mazlakh 3VYN2TYR2P
| URI | m2://inv/3VYN2TYR2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#5LSK, Serhii Mazlakh (unknown)
History
- 2026-11-02: add by m2/dev
Victor Kac 3VYT9J12C8
| URI | m2://inv/3VYT9J12C8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J0V3, Victor Kac (topic)
History
- 2026-11-02: add by m2/dev
3VZ0K95FME 3VZ0K95FME
| URI | m2://inv/3VZ0K95FME |
|---|---|
| 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.31387#9DR5 (statement). In GBD60VB1JX/e1, lemma 9
History
- 2026-10-31: add by m2/v0.5.6
3VZ1PCR6VR 3VZ1PCR6VR
| URI | m2://inv/3VZ1PCR6VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#FB5P (statement). In 47WN78VDDF/e1, corollary 3.29
History
- 2026-10-30: add by m2/v0.4.12
ISO/IEC 40314 3VZ20F3KP9
| URI | m2://inv/3VZ20F3KP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathML#9ND8, ISO/IEC 40314 (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Fung 3VZ3GRTSZQ
| URI | m2://inv/3VZ3GRTSZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9T7Y, Thomas Fung (unknown)
History
- 2026-11-02: add by m2/dev
A Course of Pure Mathematics 3VZ73074F3
| URI | m2://inv/3VZ73074F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Course of Pure Mathematics, A Course of Pure Mathematics (definition). Also Wikidata Q4656154
History
- 2026-11-02: add by m2/dev
3VZ8C8A36N 3VZ8C8A36N
| URI | m2://inv/3VZ8C8A36N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#9BYW (statement). In 4RPXT0YCS5/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Image augmentation 3VZAA9RV7Z
| URI | m2://inv/3VZAA9RV7Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data augmentation#N8JR, Image augmentation (unknown)
History
- 2026-11-02: add by m2/dev
Pipes 3VZKGA0EBY
| URI | m2://inv/3VZKGA0EBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#ATWU, Pipes (unknown)
History
- 2026-11-02: add by m2/dev
Beta-model 3VZR3CSYKY
| URI | m2://inv/3VZR3CSYKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta-model, Beta-model (definition). Also Wikidata Q114901462
History
- 2026-11-02: add by m2/dev
3VZW0W2DFS 3VZW0W2DFS
| URI | m2://inv/3VZW0W2DFS |
|---|---|
| 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 2311.16205#GD2E (statement). In 3GE9PS9AH0/e1, theorem 5.3.3
History
- 2026-10-27: add by m2/v0.3.5
3VZWEYZJZT 3VZWEYZJZT
| URI | m2://inv/3VZWEYZJZT |
|---|---|
| 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 2111.07717#L95J (statement). In AXFXGWG7ZG/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0