Inventory rows 3S
The cards of the rows of the inventory whose ids start with 3S. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Canonical phase decomposition 3S002JFJNG
| URI | m2://inv/3S002JFJNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#NXYH, Canonical phase decomposition (statement)
History
- 2026-11-02: add by m2/v0.6.17
Measurability 3S02G0AXGC
| URI | m2://inv/3S02G0AXGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15974#PAYN, Measurability (statement). In 61ZHQ7BTKP/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Statement 3S03YJ0BBE
| URI | m2://inv/3S03YJ0BBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keel–Mori theorem#RXLR, Statement (statement)
History
- 2026-11-02: add by m2/dev
Applications 3S0MFJM98V
| URI | m2://inv/3S0MFJM98V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode-k flattening#IQIH, Applications (example)
History
- 2026-11-02: add by m2/dev
triacontadigon 3S0TJFMRAY
| URI | m2://inv/3S0TJFMRAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3037388, triacontadigon (unknown). Also MathWorld Icosidodecagon
History
- 2026-10-26: add by m2/dev
3S10H6EFRT 3S10H6EFRT
| URI | m2://inv/3S10H6EFRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#3V29 (statement)
History
- 2026-11-02: add by m2/v0.6.18
strictification 3S12KM3HJ6
| URI | m2://inv/3S12KM3HJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#LSAR, strictification (definition)
History
- 2026-11-02: add by m2/dev
Statement 3S136TV2E1
| URI | m2://inv/3S136TV2E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's speed-up theorem#GXF9, Statement (statement)
History
- 2026-11-02: add by m2/dev
Hypercell 3S15DZN656
| URI | m2://inv/3S15DZN656 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MGL8, Hypercell (definition)
History
- 2026-11-02: add by m2/dev
Fourier form of the cubic identity 3S15JVN5EE
| URI | m2://inv/3S15JVN5EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#UHCN, Fourier form of the cubic identity (statement). In VEXM27M8Q1/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.3
Addition formulas 3S19BRAH5S
| URI | m2://inv/3S19BRAH5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Hessian curves#SYXM, Addition formulas (statement)
History
- 2026-11-02: add by m2/dev
3S1BFD9HAJ 3S1BFD9HAJ
| URI | m2://inv/3S1BFD9HAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2112.10058#ERXJ (statement). In YQKKA47GS9/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 3S1GZERY3D
| URI | m2://inv/3S1GZERY3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irwin–Hall distribution#F4VL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform absolute-convergence 3S1HY3X2HE
| URI | m2://inv/3S1HY3X2HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform absolute-convergence, Uniform absolute-convergence (definition). Also Wikidata Q7885093
History
- 2026-11-02: add by m2/dev
Fibre Nullstellens\"atze 3S1RVCQK9G
| URI | m2://inv/3S1RVCQK9G |
|---|---|
| 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#AD2B, Fibre Nullstellens\"atze (statement). In 87QYNZZ67Z/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
3S1RXPB7EX 3S1RXPB7EX
| URI | m2://inv/3S1RXPB7EX |
|---|---|
| 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.10937#WUT6 (statement). In 6VVK3YTABP/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.3
3S22TZTRPD 3S22TZTRPD
| URI | m2://inv/3S22TZTRPD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#0XEQ (definition). In 1EA6AM9V01/e1, definition 1.6
History
- 2026-10-28: add by m2/v0.4.2
John C. Wood 3S2GYZGGX5
| URI | m2://inv/3S2GYZGGX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John C. Wood, John C. Wood (topic). Also Wikidata Q19662663
History
- 2026-11-02: add by m2/dev
elementary matrix 3S2KZ689SS
| URI | m2://inv/3S2KZ689SS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.2.3/elementary-matrix, elementary matrix (concept). In E59CDZA4DP, index, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13
Constructions 3S2N4FRX9H
| URI | m2://inv/3S2N4FRX9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero ring#K1YX, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Frederick Harcourt Kitchin 3S2PS2GFX7
| URI | m2://inv/3S2PS2GFX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick Harcourt Kitchin, Frederick Harcourt Kitchin (topic). Also Wikidata Q6301424
History
- 2026-11-02: add by m2/dev
3S2PT1484S 3S2PT1484S
| URI | m2://inv/3S2PT1484S |
|---|---|
| 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.28501#NBM9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3S32CGTPH3 3S32CGTPH3
| URI | m2://inv/3S32CGTPH3 |
|---|---|
| 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 2508.03972#N8D6 (statement). In 2JD3KNKJ1P/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Ivar Stakgold 3S3EBTX1NP
| URI | m2://inv/3S3EBTX1NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivar Stakgold, Ivar Stakgold (topic). Also Wikidata Q18352608
History
- 2026-11-02: add by m2/dev
Composition 3S3KZK8W6Y
| URI | m2://inv/3S3KZK8W6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/composition.tex#defn-1, Composition (definition). In PKGMM3P5QY, defn, section 78.8
History
- 2026-11-01: add by m2/v0.6.13
3S3SJKBKBB 3S3SJKBKBB
| URI | m2://inv/3S3SJKBKBB |
|---|---|
| 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.19852#IC4C (statement). In SPW2D8X2PG/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Cryptographic protocol 3S3ST6A9FC
| URI | m2://inv/3S3ST6A9FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic protocol, Cryptographic protocol (definition). Also Wikidata Q1254335
History
- 2026-11-02: add by m2/dev
3S3YBSX1VV 3S3YBSX1VV
| URI | m2://inv/3S3YBSX1VV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#ques-11 (exercise). In RZP28ERRZV, ques, section 9.9.2
History
- 2026-11-01: add by m2/v0.6.13
3S416902F3 3S416902F3
| URI | m2://inv/3S416902F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1003.2117#167B (statement). In H4D4RFNH2V/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.5
Electric $\Z_2$-action on magnetic charges for $\X=S^1$ 3S43YE00SR
| URI | m2://inv/3S43YE00SR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#DRWS, Electric $\Z_2$-action on magnetic charges for $\X=S^1$ (example). In G3D1YR20BJ/e1, example 2.18
History
- 2026-10-29: add by m2/v0.4.12
Dedekind number 3S466GSX07
| URI | m2://inv/3S466GSX07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#VHJJ, Dedekind number (definition)
History
- 2026-11-02: add by m2/dev
Normal number 3S477PQDM9
| URI | m2://inv/3S477PQDM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#GKFV, Normal number (definition)
History
- 2026-11-02: add by m2/dev
Residue number system 3S4AWX7MS4
| URI | m2://inv/3S4AWX7MS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue number system, Residue number system (definition). Also Wikidata Q3086516
History
- 2026-11-02: add by m2/dev
Vladimir Entov 3S4BQ1S2YC
| URI | m2://inv/3S4BQ1S2YC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Entov, Vladimir Entov (topic). Also Wikidata Q3378844
History
- 2026-11-02: add by m2/dev
Uniform regression stability 3S4E5KJHMF
| URI | m2://inv/3S4E5KJHMF |
|---|---|
| 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.31458#DLNE, Uniform regression stability (statement). In SNWC76WKWT/e1, lemma G.6
History
- 2026-10-31: add by m2/v0.5.6
connected 3S4E7DBNH2
| URI | m2://inv/3S4E7DBNH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#9K9C, connected (definition)
History
- 2026-11-02: add by m2/dev
Properties of the starred transform 3S4JH5EDCY
| URI | m2://inv/3S4JH5EDCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Starred transform#QH0M, Properties of the starred transform (statement)
History
- 2026-11-02: add by m2/dev
3S4MKFMEFT 3S4MKFMEFT
| URI | m2://inv/3S4MKFMEFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#N4WO (statement). In 30YQV8N04M/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
3S4R7TKV87 3S4R7TKV87
| URI | m2://inv/3S4R7TKV87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#A45J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ezra Brown 3S4S70MK78
| URI | m2://inv/3S4S70MK78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ezra Brown, Ezra Brown (topic). Also Wikidata Q97572385
History
- 2026-11-02: add by m2/dev
Basis of the wedge product 3S5ASJPM8Q
| URI | m2://inv/3S5ASJPM8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#proposition-2, Basis of the wedge product (statement). In RZP28ERRZV, proposition, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem LFT4 3S5BMMWPTB
| URI | m2://inv/3S5BMMWPTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#08OC, Theorem LFT4 (statement)
History
- 2026-11-02: add by m2/dev
3S5PWQV61J 3S5PWQV61J
| URI | m2://inv/3S5PWQV61J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#BOJQ (statement). In X38P26DK6S/e1, theorem 8.4
History
- 2026-10-27: add by m2/v0.4.0
Leaky integrate-and-fire 3S5X7BV422
| URI | m2://inv/3S5X7BV422 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biological neuron model#2LOY, Leaky integrate-and-fire (unknown)
History
- 2026-11-02: add by m2/dev
3S6019SFQS 3S6019SFQS
| URI | m2://inv/3S6019SFQS |
|---|---|
| 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.28893#RSLR (statement)
History
- 2026-11-01: add by m2/v0.6.15
3S60J3ES2M 3S60J3ES2M
| URI | m2://inv/3S60J3ES2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#9HT7 (statement). In PWXT7J9JX3/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
cac 3S60QRE933
| URI | m2://inv/3S60QRE933 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KZP6, cac (definition)
History
- 2026-11-02: add by m2/dev
Sacker-Sell spectrum 3S61M7P582
| URI | m2://inv/3S61M7P582 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#3C6E, Sacker-Sell spectrum (definition). In YVK8EFSYNJ/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Example 3S61NEZ75B
| URI | m2://inv/3S61NEZ75B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomic constraints#XRC9, Example (example)
History
- 2026-11-02: add by m2/dev
3S66GWSMM2 3S66GWSMM2
| URI | m2://inv/3S66GWSMM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#XGUU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bias of the regularized target 3S6F27JNZ2
| URI | m2://inv/3S6F27JNZ2 |
|---|---|
| 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.13773#E0O6, Bias of the regularized target (statement). In E75XQY0QFM/e1, lemma F.7
History
- 2026-10-28: add by m2/v0.4.2
Principal ideal theorem 3S6GKZ8TKE
| URI | m2://inv/3S6GKZ8TKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#IPQ5, Principal ideal theorem (statement)
History
- 2026-11-02: add by m2/dev
Adriaan Fokker 3S6H4A09NY
| URI | m2://inv/3S6H4A09NY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MJEN, Adriaan Fokker (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 3S6PZQBE21
| URI | m2://inv/3S6PZQBE21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure theorem for Gaussian measures#HAYN, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
3S6WS9AAW6 3S6WS9AAW6
| URI | m2://inv/3S6WS9AAW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00811#JL1P (statement). In 9T4X83HHQS/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
3S6ZCFVEWH 3S6ZCFVEWH
| URI | m2://inv/3S6ZCFVEWH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#JUAY (definition). In Q5Z178SAHP/e1, definition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Dunnell, Karen 3S6ZQ03A3H
| URI | m2://inv/3S6ZQ03A3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#070A, Dunnell, Karen (unknown)
History
- 2026-11-02: add by m2/dev
functor, equivalence 3S76GNYF8V
| URI | m2://inv/3S76GNYF8V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.4/functor-equivalence, functor, equivalence (concept). In N54F33XE07, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Properties 3S79W4M4SD
| URI | m2://inv/3S79W4M4SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Exton q-Bessel function#FPZA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example 3S7S39W2P3
| URI | m2://inv/3S7S39W2P3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of variance#13W8, Example (example)
History
- 2026-11-02: add by m2/dev
Emanuel Lasker 3S7WGGSZA0
| URI | m2://inv/3S7WGGSZA0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#PNEU, Emanuel Lasker (topic)
History
- 2026-11-02: add by m2/dev
Harmonic superadditivity 3S7XESWJYS
| URI | m2://inv/3S7XESWJYS |
|---|---|
| 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.04671#33SO, Harmonic superadditivity (statement). In BYP65TRGDT/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
3S85ZR4Y9X 3S85ZR4Y9X
| URI | m2://inv/3S85ZR4Y9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#LSU2 (statement). In KZ71GXT2B0/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.2
Main theorem, metastable-seminorm version 3S86WWTE59
| URI | m2://inv/3S86WWTE59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#WI9Z, Main theorem, metastable-seminorm version (statement). In XD603HRHKC/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Variants 3S89W09F1C
| URI | m2://inv/3S89W09F1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Challenge-Handshake Authentication Protocol#Z30I, Variants (statement)
History
- 2026-11-02: add by m2/dev
Painlevé equations 3S8D7NJS8K
| URI | m2://inv/3S8D7NJS8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#EPXF, Painlevé equations (definition)
History
- 2026-11-02: add by m2/dev
3S8DNT7VWX 3S8DNT7VWX
| URI | m2://inv/3S8DNT7VWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02213#XAB1 (statement). In 43B5W08GMR/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Characterization of stateless sequential sampling 3S8EXJ5YJ9
| URI | m2://inv/3S8EXJ5YJ9 |
|---|---|
| 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.14615#I6YH, Characterization of stateless sequential sampling (statement). In 7D5MMP8XB5/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Margin under a nonnegative residual 3S8H26Z8ZG
| URI | m2://inv/3S8H26Z8ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33360#P4HH, Margin under a nonnegative residual (statement). In GH6FSDK4YB/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Examples 3S8H6TTPRY
| URI | m2://inv/3S8H6TTPRY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metatheorem#DOQN, Examples (example)
History
- 2026-11-02: add by m2/dev
Dimension formula 3S8J0RRP8G
| URI | m2://inv/3S8J0RRP8G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catenary ring#2JMW, Dimension formula (statement)
History
- 2026-11-02: add by m2/dev
Frank Pacard 3S8KB1X4AM
| URI | m2://inv/3S8KB1X4AM |
|---|---|
| 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#ELQY, Frank Pacard (unknown)
History
- 2026-11-02: add by m2/dev
quantified modal logic 3S92JEPCKT
| URI | m2://inv/3S92JEPCKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7L24, quantified modal logic (definition)
History
- 2026-11-02: add by m2/dev
Non-examples 3S9BZMJGFY
| URI | m2://inv/3S9BZMJGFY |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact object (mathematics)#SJMN, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Zeev Nehari 3S9D0J4MZN
| URI | m2://inv/3S9D0J4MZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JI3W, Zeev Nehari (topic)
History
- 2026-11-02: add by m2/dev
3S9H2959GX 3S9H2959GX
| URI | m2://inv/3S9H2959GX |
|---|---|
| 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.03555#5TKN (statement). In 9JZJTRRVR1/e1, lemma 4.18
History
- 2026-10-29: add by m2/v0.4.12
3S9J9C6V2M 3S9J9C6V2M
| URI | m2://inv/3S9J9C6V2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#NYZZ (statement). In CCRSWBXWXW/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Vatter 3S9NFP32KQ
| URI | m2://inv/3S9NFP32KQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#7SZ0, Vatter (statement). In 338GKREFVP/e1, proposition 9
History
- 2026-10-27: add by m2/v0.4.0
3S9T29ET66 3S9T29ET66
| URI | m2://inv/3S9T29ET66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/completeness-K.tex#cor:Kcomplete (statement). In PKGMM3P5QY, cor, section 50.16
History
- 2026-11-01: add by m2/v0.6.13
Formulation 3S9TDYE0VA
| URI | m2://inv/3S9TDYE0VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac equation#308U, Formulation (definition)
History
- 2026-11-02: add by m2/dev
3S9XS4T14X 3S9XS4T14X
| URI | m2://inv/3S9XS4T14X |
|---|---|
| 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.25038#HTMD (statement)
History
- 2026-11-01: add by m2/v0.6.15
3SACZK29Z3 3SACZK29Z3
| URI | m2://inv/3SACZK29Z3 |
|---|---|
| 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.32903#QM87 (statement). In S8NB83KQX3/e1, lemma 15
History
- 2026-10-31: add by m2/v0.5.6
3SAJQZE726 3SAJQZE726
| URI | m2://inv/3SAJQZE726 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#Z4H9 (statement). In 25B3WHEKH2/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.4.2
3SAVA6R8W6 3SAVA6R8W6
| URI | m2://inv/3SAVA6R8W6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#5S15 (statement). In SXTX59QBVT/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
3SAZVX1T4P 3SAZVX1T4P
| URI | m2://inv/3SAZVX1T4P |
|---|---|
| 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.08658#BMJ5 (statement). In 7PK5WS7246/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Grand Cru 3SB6JS5X5P
| URI | m2://inv/3SB6JS5X5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand Cru (cipher), Grand Cru (definition). Also Wikidata Q4039650
History
- 2026-11-02: add by m2/dev
3SB88FRH7M 3SB88FRH7M
| URI | m2://inv/3SB88FRH7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#YC1C (statement). In ZRG6NY1ECH/e1, corollary 11
History
- 2026-10-30: add by m2/v0.4.12
3SBVYH8B8Q 3SBVYH8B8Q
| URI | m2://inv/3SBVYH8B8Q |
|---|---|
| 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.32946#A4BX (statement). In 6AEBXNK614/e1, lemma 2.10
History
- 2026-10-31: add by m2/v0.5.6
Definition 3SBWVGGQJB
| URI | m2://inv/3SBWVGGQJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized eigenvector#RLPW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Limaçon trisectrix 3SC1XZWF4Y
| URI | m2://inv/3SC1XZWF4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limaçon trisectrix, Limaçon trisectrix (definition). Also Wikidata Q3821093
History
- 2026-11-02: add by m2/dev
Sylvester's formula 3SC552VHXN
| URI | m2://inv/3SC552VHXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#9EO0, Sylvester's formula (statement)
History
- 2026-11-02: add by m2/dev
Application 3SC9EFA1JV
| URI | m2://inv/3SC9EFA1JV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite difference#HA74, Application (example)
History
- 2026-11-02: add by m2/dev
3SC9RN6FAB 3SC9RN6FAB
| URI | m2://inv/3SC9RN6FAB |
|---|---|
| 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#QMFV (statement). In 4RPXT0YCS5/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
3SCCGN6Y9B 3SCCGN6Y9B
| URI | m2://inv/3SCCGN6Y9B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#CQLP (definition). In D2247CRPPE/e1, definition 22
History
- 2026-10-30: add by m2/v0.4.12
Transformation formulas 3SCFABYQ6V
| URI | m2://inv/3SCFABYQ6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function#M8ZY, Transformation formulas (statement)
History
- 2026-11-02: add by m2/dev
3SCSNKFFDB 3SCSNKFFDB
| URI | m2://inv/3SCSNKFFDB |
|---|---|
| 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#3O1D (example). In WRMNCC8VBC/e1, example 37
History
- 2026-10-27: add by m2/v0.3.6
Basic properties 3SD192466R
| URI | m2://inv/3SD192466R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hafnian#Z44Y, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Joseph Zubin 3SD43E7A79
| URI | m2://inv/3SD43E7A79 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BB4A, Joseph Zubin (unknown)
History
- 2026-11-02: add by m2/dev
3SD450A5AC 3SD450A5AC
| URI | m2://inv/3SD450A5AC |
|---|---|
| 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 2405.05684#7W96 (statement). In 1PR73ECTZB/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Angular momentum 3SD7QD5HXE
| URI | m2://inv/3SD7QD5HXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#HB3V, Angular momentum (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#8IQ9, Angular momentum (definition)
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#01IB, Angular momentum (definition)
History
- 2026-11-02: add by m2/dev
3SD8XSDGVA 3SD8XSDGVA
| URI | m2://inv/3SD8XSDGVA |
|---|---|
| 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.18219#JPH9 (statement). In X1AGBB90EH/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
boundary of a manifold 3SDJ9QTK3Y
| URI | m2://inv/3SDJ9QTK3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > boundary of a manifold, boundary of a manifold (unknown). Also Mathlib ModelWithCorners.boundary
History
- 2026-10-26: add by m2/dev
Berlin procedure 3SDJMMNBPN
| URI | m2://inv/3SDJMMNBPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q4PZ, Berlin procedure (definition)
History
- 2026-11-02: add by m2/dev
3SDPTP8BJ6 3SDPTP8BJ6
| URI | m2://inv/3SDPTP8BJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0911.1417#AYAT (statement). In BBD7TZW79R/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
3SDSGZQJP0 3SDSGZQJP0
| URI | m2://inv/3SDSGZQJP0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#CIAG (example). In KWH4QJDPWC/e1, example 4.5
History
- 2026-10-27: add by m2/v0.4.0
Single brace 3SDVWJAEAB
| URI | m2://inv/3SDVWJAEAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#KRX7, Single brace (definition)
History
- 2026-11-02: add by m2/dev
3SDWZWXC25 3SDWZWXC25
| URI | m2://inv/3SDWZWXC25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#18WS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philippe Di Francesco 3SDXMW2V22
| URI | m2://inv/3SDXMW2V22 |
|---|---|
| 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#FPYI, Philippe Di Francesco (topic)
History
- 2026-11-02: add by m2/dev
Examples 3SE0NHEQMD
| URI | m2://inv/3SE0NHEQMD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated mean#0VD9, Examples (example)
History
- 2026-11-02: add by m2/dev
Pure-strategy Nash equilibria in Game III and equivalence of $ \distr(\calad)$ and $(\cala\rightarrow \distr(\cald))$ 3SE13JAW3P
| URI | m2://inv/3SE13JAW3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#YY6D, Pure-strategy Nash equilibria in Game III and equivalence of $ \distr(\calad)$ and $(\cala\rightarrow \distr(\cald))$ (statement). In 718SP8YERQ/e1, theorem A5
History
- 2026-10-27: add by m2/v0.3.5
Definition 3SE4Z6TYK2
| URI | m2://inv/3SE4Z6TYK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth#91J0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Orlicz-Pettis type theorems 3SE51PA480
| URI | m2://inv/3SE51PA480 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz–Pettis theorem#ZNG2, Orlicz-Pettis type theorems (statement)
History
- 2026-11-02: add by m2/dev
line graph 3SE558VTD3
| URI | m2://inv/3SE558VTD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Line graph GTN3QQYTT5 |
Mentions
- wikidata: Wikidata Q1378376, line graph (unknown). Also EoM Line_graph, MathWorld LineGraph
- wikipedia: Wikipedia Line graph, Line graph (definition). Also Wikidata Q1378376
History
- 2026-10-26: add by m2/dev
GetFEM++ 3SE9J7108Y
| URI | m2://inv/3SE9J7108Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#3M4Q, GetFEM++ (unknown)
History
- 2026-11-02: add by m2/dev
3SEH56GHCT 3SEH56GHCT
| URI | m2://inv/3SEH56GHCT |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#WRSM (unknown). In QNBFHFZ3H0/e1, unknown 97
History
- 2026-10-28: add by m2/v0.4.2
3SEYR446QN 3SEYR446QN
| URI | m2://inv/3SEYR446QN |
|---|---|
| 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 2506.16491#XPC6 (definition). In P9J6P06Y40/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
3SF1TQ0ZT2 3SF1TQ0ZT2
| URI | m2://inv/3SF1TQ0ZT2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
3SF27RXCR3 3SF27RXCR3
| URI | m2://inv/3SF27RXCR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#GNEL (statement). In A4VP56CT7B/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Up to 3SF49F4R6J
| URI | m2://inv/3SF49F4R6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Up to, Up to (definition). Also Wikidata Q2914964
History
- 2026-11-02: add by m2/dev
3SF4TXTTAA 3SF4TXTTAA
| URI | m2://inv/3SF4TXTTAA |
|---|---|
| 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.28011#USML (statement)
History
- 2026-11-01: add by m2/v0.6.15
3SFYR4SGP0 3SFYR4SGP0
| URI | m2://inv/3SFYR4SGP0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#ZA8K (definition). In 8XVS0QJ2AH/e1, definition 16
History
- 2026-10-31: add by m2/v0.5.6
positive-operator-valued measure 3SG1VHMVCV
| URI | m2://inv/3SG1VHMVCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q907206, positive-operator-valued measure (unknown). Also nLab positive-operator-valued measure
- wikipedia: Wikipedia POVM, POVM (definition). Also Wikidata Q907206
History
- 2026-10-26: add by m2/dev
3SGR4M1H4H 3SGR4M1H4H
| URI | m2://inv/3SGR4M1H4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-symbols.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 27.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 3SH4EYF6QD
| URI | m2://inv/3SH4EYF6QD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeller's congruence#A5RZ, Examples (example)
History
- 2026-11-02: add by m2/dev
3SH9C82HHX 3SH9C82HHX
| URI | m2://inv/3SH9C82HHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#FXJF (statement). In 5RE15848Z0/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Strict scalar alternative 3SHBT059GA
| URI | m2://inv/3SHBT059GA |
|---|---|
| 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#EWI0, Strict scalar alternative (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grothendieck's connectedness theorem 3SHDDJ7MY6
| URI | m2://inv/3SHDDJ7MY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PM03, Grothendieck's connectedness theorem (statement)
History
- 2026-11-02: add by m2/dev
Linear relation 3SHEKZ1RQ1
| URI | m2://inv/3SHEKZ1RQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear relation, Linear relation (definition). Also Wikidata Q85776755
History
- 2026-11-02: add by m2/dev
Representation 3SHG9FMAPD
| URI | m2://inv/3SHG9FMAPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fusion frame#BOS5, Representation (definition)
History
- 2026-11-02: add by m2/dev
3SHGZBTACD 3SHGZBTACD
| URI | m2://inv/3SHGZBTACD |
|---|---|
| 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.17569#YX9Z (statement). In ERE1EWGZA3/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Group of fractions 3SHKM8FEGD
| URI | m2://inv/3SHKM8FEGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup#DNEF, Group of fractions (unknown)
History
- 2026-11-02: add by m2/dev
Wallace, Chris 3SHVRG1979
| URI | m2://inv/3SHVRG1979 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KH7O, Wallace, Chris (unknown)
History
- 2026-11-02: add by m2/dev
3SHVYS5FQ5 3SHVYS5FQ5
| URI | m2://inv/3SHVYS5FQ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12324#B8NP (definition). In CJDCSSCF1V/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Microscopic law 3SHX45266Y
| URI | m2://inv/3SHX45266Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular law#B8HX, Microscopic law (statement)
History
- 2026-11-02: add by m2/dev
3SJ0353QFP 3SJ0353QFP
| URI | m2://inv/3SJ0353QFP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0804.3628#FNB3 (definition). In E2WHVW5VSD/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Finite-time a priori estimate 3SJ19P4PMC
| URI | m2://inv/3SJ19P4PMC |
|---|---|
| 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.13248#YX8E, Finite-time a priori estimate (statement). In MGMC5SREP3/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Gorenstein 3SJ7GWADV0
| URI | m2://inv/3SJ7GWADV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#AMDG, Gorenstein (definition)
History
- 2026-11-02: add by m2/dev
3SJ8VYH579 3SJ8VYH579
| URI | m2://inv/3SJ8VYH579 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#8HLT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heine–Cantor theorem 3SJKTX7900
| URI | m2://inv/3SJKTX7900 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TKN0, Heine–Cantor theorem (statement)
History
- 2026-11-02: add by m2/dev
3SJTY2A29V 3SJTY2A29V
| URI | m2://inv/3SJTY2A29V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Insertion work 3SJXT4BW2G
| URI | m2://inv/3SJXT4BW2G |
|---|---|
| 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.11330#5OMX, Insertion work (statement). In Z73GKA9WDB/e1, lemma C.9
History
- 2026-10-28: add by m2/v0.4.3
Trigonometric function 3SJXW2RY2H
| URI | m2://inv/3SJXW2RY2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle inequalities#9BJU, Trigonometric function (definition)
History
- 2026-11-02: add by m2/dev
Zoll surface 3SK3F4QK59
| URI | m2://inv/3SK3F4QK59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#RIMX, Zoll surface (definition)
History
- 2026-11-02: add by m2/dev
Connotation 3SK44CTKJN
| URI | m2://inv/3SK44CTKJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connotation, Connotation (definition). Also Wikidata Q661062
History
- 2026-11-02: add by m2/dev
Applications 3SKCP1DJTZ
| URI | m2://inv/3SKCP1DJTZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small cancellation theory#5RRK, Applications (example)
History
- 2026-11-02: add by m2/dev
Moore–Aronszajn theorem 3SKFK9VK2D
| URI | m2://inv/3SKFK9VK2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reproducing kernel Hilbert space#4YSF, Moore–Aronszajn theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 3SKK1CR2RN
| URI | m2://inv/3SKK1CR2RN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor#HJ3Z, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3SKM4WZ5JS 3SKM4WZ5JS
| URI | m2://inv/3SKM4WZ5JS |
|---|---|
| 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.21017#SZO8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
3SKVG2P8NW 3SKVG2P8NW
| URI | m2://inv/3SKVG2P8NW |
|---|---|
| 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.17677#UDO9 (statement). In 5E9G06XJKC/e1, lemma G.14
History
- 2026-10-28: add by m2/v0.4.2
3SKVYR3H1H 3SKVYR3H1H
| URI | m2://inv/3SKVYR3H1H |
|---|---|
| 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.19309#VTEF (statement). In XKENQH35DW/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Applications 3SKY30TCGM
| URI | m2://inv/3SKY30TCGM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hysteresis#4NN0, Applications (example)
History
- 2026-11-02: add by m2/dev
Valued quiver 3SM54MJD05
| URI | m2://inv/3SM54MJD05 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#WMNE, Valued quiver (definition). In REDG6QVHM3/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
European Mathematical Society 3SMA85GGBJ
| URI | m2://inv/3SMA85GGBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#9X4T, European Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Linda Gilbert Saucier 3SMCAJXQMB
| URI | m2://inv/3SMCAJXQMB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Gilbert Saucier, Linda Gilbert Saucier (topic). Also Wikidata Q57915860
History
- 2026-11-02: add by m2/dev
3SME0X2SBT 3SME0X2SBT
| URI | m2://inv/3SME0X2SBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#P9WZ (statement). In HRCEFY172P/e1, theorem 3.30
History
- 2026-10-30: add by m2/v0.4.12
Algebraic properties 3SMR5CXBBE
| URI | m2://inv/3SMR5CXBBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion#XQOS, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
3SN6209DFF 3SN6209DFF
| URI | m2://inv/3SN6209DFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#example-2 (example). In RZP28ERRZV, example, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
Lukacs's proportion-sum independence theorem 3SN6HB7ANZ
| URI | m2://inv/3SN6HB7ANZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AJ8W, Lukacs's proportion-sum independence theorem (statement)
History
- 2026-11-02: add by m2/dev
Wing-shape optimization 3SNDYHJGMX
| URI | m2://inv/3SNDYHJGMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1KZT, Wing-shape optimization (unknown)
History
- 2026-11-02: add by m2/dev
John W. Dold 3SNKM28PR1
| URI | m2://inv/3SNKM28PR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John W. Dold, John W. Dold (topic). Also Wikidata Q102342989
History
- 2026-11-02: add by m2/dev
Rank-two syzygies 3SNNP7DCRP
| URI | m2://inv/3SNNP7DCRP |
|---|---|
| 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#BQHL, Rank-two syzygies (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sequential one-sided offset bound 3SNQ8P80SP
| URI | m2://inv/3SNQ8P80SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20687#LRK9, Sequential one-sided offset bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
3SP4MZGMYP 3SP4MZGMYP
| URI | m2://inv/3SP4MZGMYP |
|---|---|
| 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 2610.12054#HO94 (statement). In 1A01NFHBGA/e1, lemma 2.18
History
- 2026-10-28: add by m2/v0.4.3
tangent cone 3SP6VNVJQA
| URI | m2://inv/3SP6VNVJQA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2392464, tangent cone (concept). Also EoM Tangent_cone, nLab tangent cone
- wikipedia: Wikipedia Tangent cone, Tangent cone (definition). Also Wikidata Q2392464
History
- 2026-10-26: add by m2/dev
3SP8WJ48WR 3SP8WJ48WR
| URI | m2://inv/3SP8WJ48WR |
|---|---|
| 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.23526#6P1B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quintino Sella 3SPA7PHQYF
| URI | m2://inv/3SPA7PHQYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#GZQV, Quintino Sella (unknown)
History
- 2026-11-02: add by m2/dev
3SPB6NWM1S 3SPB6NWM1S
| URI | m2://inv/3SPB6NWM1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37589#5H0H (statement). In 18HVB2SKW1/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
3SPYVGRM9R 3SPYVGRM9R
| URI | m2://inv/3SPYVGRM9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17752#U5SB (statement). In 13N3N5WZWC/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Great dodecacronic hexecontahedron 3SPZMZ8EFH
| URI | m2://inv/3SPZMZ8EFH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9SJH, Great dodecacronic hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
Example 3SQ43MQBV3
| URI | m2://inv/3SQ43MQBV3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of imprimitivity#MLGB, Example (example)
History
- 2026-11-02: add by m2/dev
3SQ7TH90TY 3SQ7TH90TY
| URI | m2://inv/3SQ7TH90TY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.06030#8HG0 (statement). In 2Q0CNQ8DQB/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.5
3SQEYPZJ3T 3SQEYPZJ3T
| URI | m2://inv/3SQEYPZJ3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#0J81 (statement). In VG8AF124T3/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
Example 3SQKJV4VGV
| URI | m2://inv/3SQKJV4VGV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct integral#DFDE, Example (example)
History
- 2026-11-02: add by m2/dev
3SQYCJS9EJ 3SQYCJS9EJ
| URI | m2://inv/3SQYCJS9EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#GW0T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gyroelongated pentagonal pyramid 3SR1A8WFK4
| URI | m2://inv/3SR1A8WFK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#LF1O, Gyroelongated pentagonal pyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VHC6, Gyroelongated pentagonal pyramid (definition)
History
- 2026-11-02: add by m2/dev
3SR9GH3SKF 3SR9GH3SKF
| URI | m2://inv/3SR9GH3SKF |
|---|---|
| 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.03555#ENUZ (statement). In 9JZJTRRVR1/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.12
One-variable criterion 3SRH2W0DCT
| URI | m2://inv/3SRH2W0DCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#310K, One-variable criterion (statement). In 1NZSZ241WE/e1, proposition B.1
History
- 2026-10-29: add by m2/v0.4.10
Yu Deng 3SRHEGE7FJ
| URI | m2://inv/3SRHEGE7FJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yu Deng, Yu Deng (topic). Also Wikidata Q102585127
History
- 2026-11-02: add by m2/dev
Dwell period lower bound 3SRNSD72TP
| URI | m2://inv/3SRNSD72TP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#0Y81, Dwell period lower bound (definition). In WD2NCBV9F0/e1, definition 7.18
History
- 2026-10-27: add by m2/v0.3.5
3SRXWZBKXQ 3SRXWZBKXQ
| URI | m2://inv/3SRXWZBKXQ |
|---|---|
| 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 2306.08237#32HN (statement). In E22A2MFR4Y/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.6
3SS4VEA742 3SS4VEA742
| URI | m2://inv/3SS4VEA742 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#MNQX (statement). In EZXTEXR47M/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
Applications 3SS5R8A7S2
| URI | m2://inv/3SS5R8A7S2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#IX8W, Applications (example)
History
- 2026-11-02: add by m2/dev
Carmichael function 3SS617FW9K
| URI | m2://inv/3SS617FW9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#L9KF, Carmichael function (definition)
History
- 2026-11-02: add by m2/dev
Definition 3SS7YY65QC
| URI | m2://inv/3SS7YY65QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-elliptic operator#CEZ0, Definition (definition)
History
- 2026-11-02: add by m2/dev
3SSKG78JHE 3SSKG78JHE
| URI | m2://inv/3SSKG78JHE |
|---|---|
| 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.08658#FZK8 (statement). In 7PK5WS7246/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
3SSTQ6DT8V 3SSTQ6DT8V
| URI | m2://inv/3SSTQ6DT8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#APJL (statement). In 5PN85N6EJF/e1, lemma F.4
History
- 2026-10-31: add by m2/v0.5.6
3SSXJ89XHJ 3SSXJ89XHJ
| URI | m2://inv/3SSXJ89XHJ |
|---|---|
| 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#AKPN (statement). In JW8HH6EPG2/e1, lemma 4.21
History
- 2026-10-29: add by m2/v0.4.10
Riccati equation 3STCGPPJ6Y
| URI | m2://inv/3STCGPPJ6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#AKPB, Riccati equation (definition)
- wikipedia: Wikipedia List of named differential equations#QTV6, Riccati equation (definition)
History
- 2026-11-02: add by m2/dev
The theorem 3STFTZK5E1
| URI | m2://inv/3STFTZK5E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liberal paradox#UTM9, The theorem (statement)
History
- 2026-11-02: add by m2/dev
3STT9K34NR 3STT9K34NR
| URI | m2://inv/3STT9K34NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11974#DLQR (statement). In AW6S4XZ9ZZ/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Envelope theorem 3STVAVQ4AV
| URI | m2://inv/3STVAVQ4AV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WZHY, Envelope theorem (statement)
History
- 2026-11-02: add by m2/dev
A moment bound near the identity 3SV5ASY3ND
| URI | m2://inv/3SV5ASY3ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#IAUR, A moment bound near the identity (statement). In T2B54J7121/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Refinement descent datum 3SV5VSH074
| URI | m2://inv/3SV5VSH074 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#13MQ, Refinement descent datum (definition)
History
- 2026-11-01: add by m2/v0.6.15
Geometric connectedness and profiles under change of field 3SVC5Z8XYB
| URI | m2://inv/3SVC5Z8XYB |
|---|---|
| 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 2609.20572#88ZK, Geometric connectedness and profiles under change of field (statement)
History
- 2026-11-02: add by m2/v0.6.18
3SVE8RZ0ZP 3SVE8RZ0ZP
| URI | m2://inv/3SVE8RZ0ZP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-44 (proof). In N54F33XE07, proof, section C.5
History
- 2026-11-01: add by m2/v0.6.13
3SVJJRV6B8 3SVJJRV6B8
| URI | m2://inv/3SVJJRV6B8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-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.15385#532G (problem). In HBZXCMYPME/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
3SVN8W9R8F 3SVN8W9R8F
| URI | m2://inv/3SVN8W9R8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#KPQC (statement). In JJQPFXZQ3D/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
3SVTYNRF5M 3SVTYNRF5M
| URI | m2://inv/3SVTYNRF5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#example-1 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
Transformation 3SVZXKH26C
| URI | m2://inv/3SVZXKH26C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transformation (function), Transformation (definition). Also Wikidata Q12202238
History
- 2026-11-02: add by m2/dev
3SW8VK4ED6 3SW8VK4ED6
| URI | m2://inv/3SW8VK4ED6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#J7AI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Error bar 3SW9HR352N
| URI | m2://inv/3SW9HR352N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y1TW, Error bar (definition)
History
- 2026-11-02: add by m2/dev
3SWA6FWE4M 3SWA6FWE4M
| URI | m2://inv/3SWA6FWE4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#ZEKE (statement). In 3Y76AQQGF0/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.12
3SWB72CM4S 3SWB72CM4S
| URI | m2://inv/3SWB72CM4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#SHZI (statement). In 4SPYEGKZ8J/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
3SWBGWNX1P 3SWBGWNX1P
| URI | m2://inv/3SWBGWNX1P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
3SWBV0KX7M 3SWBV0KX7M
| URI | m2://inv/3SWBV0KX7M |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Examples 3SWC90PMZA
| URI | m2://inv/3SWC90PMZA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two wrongs don't make a right#LW25, Examples (example)
History
- 2026-11-02: add by m2/dev
Algorithm 3SWEANABYN
| URI | m2://inv/3SWEANABYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random optimization#QKV5, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Definition 3SWQ3ANCWH
| URI | m2://inv/3SWQ3ANCWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index set (computability)#EQZV, Definition (definition)
History
- 2026-11-02: add by m2/dev
3SWZA7ZX3C 3SWZA7ZX3C
| URI | m2://inv/3SWZA7ZX3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#XBNI (statement). In H71AJ341B3/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Ralph Allen Sampson 3SXBCJDFYB
| URI | m2://inv/3SXBCJDFYB |
|---|---|
| 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#B9TY, Ralph Allen Sampson (unknown)
History
- 2026-11-02: add by m2/dev
Thomassen graph 60 3SXGGQNKBA
| URI | m2://inv/3SXGGQNKBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2817910, Thomassen graph 60 (unknown). Also House of Graphs 1357
History
- 2026-10-26: add by m2/dev
mathematical fallacy 3SXSJE7ZJ8
| URI | m2://inv/3SXSJE7ZJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q387855, mathematical fallacy (unknown). Also MathWorld Fallacy
- wikipedia: Wikipedia Mathematical fallacy, Mathematical fallacy (definition). Also Wikidata Q387855
History
- 2026-10-26: add by m2/dev
orthonormal frame 3SXWFNXDYJ
| URI | m2://inv/3SXWFNXDYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7104842, orthonormal frame (definition). Also ProofWiki Definition:Orthonormal_Frame
- wikipedia: Wikipedia Orthonormal frame, Orthonormal frame (definition). Also Wikidata Q7104842
History
- 2026-10-26: add by m2/dev
Closed formula for every principal trapezoidal interval 3SY38EPEEC
| URI | m2://inv/3SY38EPEEC |
|---|---|
| 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.24541#KBS0, Closed formula for every principal trapezoidal interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 3SY4JRND8V
| URI | m2://inv/3SY4JRND8V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal job scheduling#2J35, Examples (example)
History
- 2026-11-02: add by m2/dev
3SYH5MW5Q8 3SYH5MW5Q8
| URI | m2://inv/3SYH5MW5Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15771#A8DT (statement). In F2243YZX7A/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
3SYHZ7KC7C 3SYHZ7KC7C
| URI | m2://inv/3SYHZ7KC7C |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BPP (complexity)#L6TO (problem)
History
- 2026-11-02: add by m2/dev
Trigintaduonion 3SYN7YM5HJ
| URI | m2://inv/3SYN7YM5HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigintaduonion, Trigintaduonion (definition). Also Wikidata Q111667622
History
- 2026-11-02: add by m2/dev
Jean Jacod 3SYQDGANJN
| URI | m2://inv/3SYQDGANJN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#QPMG, Jean Jacod (topic)
History
- 2026-11-02: add by m2/dev
3SYYAEDEC4 3SYYAEDEC4
| URI | m2://inv/3SYYAEDEC4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 34.7
History
- 2026-11-01: add by m2/v0.6.13
Greatest full-data private releases 3SYYXDEYPQ
| URI | m2://inv/3SYYXDEYPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#I39E, Greatest full-data private releases (statement). In 9YAE8FNQST/e1, theorem 1.13
History
- 2026-10-30: add by m2/v0.4.12
3SZ5SGVWZ8 3SZ5SGVWZ8
| URI | m2://inv/3SZ5SGVWZ8 |
|---|---|
| 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.16768#WSN9 (statement). In 8FWK676AQX/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
3SZANBT7MX 3SZANBT7MX
| URI | m2://inv/3SZANBT7MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.15869#KUE4 (statement). In 5VRP29WZEK/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
improper integral, diverges 3SZC17Q589
| URI | m2://inv/3SZC17Q589 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.5.3/improper-integral-diverges, improper integral, diverges (concept). In 907G4C4EJ1, index, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
Richard Courant 3SZEC2KSMH
| URI | m2://inv/3SZEC2KSMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9WD7, Richard Courant (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W4TD, Richard Courant (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YYHP, Richard Courant (topic)
History
- 2026-11-02: add by m2/dev
Uniform coarse-table inequality 3SZJAG0614
| URI | m2://inv/3SZJAG0614 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#13NV, Uniform coarse-table inequality (statement). In NKW6YQ04QW/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
3SZN15DWXN 3SZN15DWXN
| URI | m2://inv/3SZN15DWXN |
|---|---|
| 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 2606.26962#18ER (statement). In XB93QX7DAA/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
3SZWQDCM2T 3SZWQDCM2T
| URI | m2://inv/3SZWQDCM2T |
|---|---|
| Kind | problem |
| 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 2609.26133#UQPV (problem)
History
- 2026-11-01: add by m2/v0.6.15
Properties 3SZY87QJYF
| URI | m2://inv/3SZY87QJYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre cubic#5Q64, Properties (statement)
History
- 2026-11-02: add by m2/dev
base change 3SZZ3QCJT7
| URI | m2://inv/3SZZ3QCJT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#0MWU, base change (definition)
History
- 2026-11-02: add by m2/dev