Inventory rows 3G
The cards of the rows of the inventory whose ids start with 3G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Frobenius characteristic map 3G00HGA9PD
| URI | m2://inv/3G00HGA9PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#WZPA, Frobenius characteristic map (definition)
History
- 2026-11-02: add by m2/dev
Abraham Nemeth 3G026X53P5
| URI | m2://inv/3G026X53P5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Nemeth, Abraham Nemeth (topic). Also Wikidata Q4669109
History
- 2026-11-02: add by m2/dev
3G0378CHRQ 3G0378CHRQ
| URI | m2://inv/3G0378CHRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#027D (statement). In GWNT8HEZG1/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.6
3G06GZEWAR 3G06GZEWAR
| URI | m2://inv/3G06GZEWAR |
|---|---|
| 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.32977#RDB9 (definition). In 4KT9TK3MG4/e1, definition 2.8
History
- 2026-10-31: add by m2/v0.5.6
Spectral increments 3G0BN32AY6
| URI | m2://inv/3G0BN32AY6 |
|---|---|
| Kind | definition |
| 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.20593#APGR, Spectral increments (definition). In 7GMD8J4200/e1, definition 9
History
- 2026-10-27: add by m2/v0.4.2
3G0BQHR3WJ 3G0BQHR3WJ
| URI | m2://inv/3G0BQHR3WJ |
|---|---|
| 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#YR7V (statement). In JW8HH6EPG2/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.10
Viktor Valentinovich Novozhilov 3G0J4BKC4A
| URI | m2://inv/3G0J4BKC4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viktor Valentinovich Novozhilov, Viktor Valentinovich Novozhilov (topic). Also Wikidata Q4323968
History
- 2026-11-02: add by m2/dev
Lipschitz property with cost functions 3G0NXVET6X
| URI | m2://inv/3G0NXVET6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#2J8X, Lipschitz property with cost functions (statement). In 7XV6T4N79V/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Georg Henrik von Wright 3G0QTTKTPP
| URI | m2://inv/3G0QTTKTPP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Henrik von Wright, Georg Henrik von Wright (topic). Also Wikidata Q350183
History
- 2026-11-02: add by m2/dev
Examples 3G0Y81E6KJ
| URI | m2://inv/3G0Y81E6KJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Texas sharpshooter fallacy#OL7F, Examples (example)
History
- 2026-11-02: add by m2/dev
Bretagnolle--Huber inequality 3G125VZGQ3
| URI | m2://inv/3G125VZGQ3 |
|---|---|
| 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.38659#ZGJG, Bretagnolle--Huber inequality (statement). In DCJ23ZYXGK/e1, lemma E.4
History
- 2026-10-30: add by m2/v0.4.12
3G13TZR896 3G13TZR896
| URI | m2://inv/3G13TZR896 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-2.xml#reduced-row-echelon (definition). In 649HGZKE96, definition, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
3G14CZ6EP6 3G14CZ6EP6
| URI | m2://inv/3G14CZ6EP6 |
|---|---|
| Kind | definition |
| 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.09557#QVIG (definition). In VHC7FQVPCZ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Malgorzata Dubiel 3G15V2VZR3
| URI | m2://inv/3G15V2VZR3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malgorzata Dubiel, Malgorzata Dubiel (topic). Also Wikidata Q57915881
History
- 2026-11-02: add by m2/dev
Giovanni Francesco Sagredo 3G1F2KJ2C3
| URI | m2://inv/3G1F2KJ2C3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Francesco Sagredo, Giovanni Francesco Sagredo (topic). Also Wikidata Q5563846
History
- 2026-11-02: add by m2/dev
3G1JFNEJZP 3G1JFNEJZP
| URI | m2://inv/3G1JFNEJZP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.0068#BK6Q (definition). In MBKYGM01FK/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Agata Smoktunowicz 3G1TR6837P
| URI | m2://inv/3G1TR6837P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agata Smoktunowicz, Agata Smoktunowicz (topic). Also Wikidata Q390879
History
- 2026-11-02: add by m2/dev
3G1XVM049A 3G1XVM049A
| URI | m2://inv/3G1XVM049A |
|---|---|
| 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.01737#DV9X (statement). In M4JGP708F4/e1, fact 3.15
History
- 2026-10-29: add by m2/v0.4.12
3G1Y029RD4 3G1Y029RD4
| URI | m2://inv/3G1Y029RD4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#UT1D (definition). In GVR218P3ZR/e1, definition 2.1.1
History
- 2026-10-30: add by m2/v0.4.12
Completeness theorems 3G1ZND0WR4
| URI | m2://inv/3G1ZND0WR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leon Henkin#MSK7, Completeness theorems (statement)
History
- 2026-11-02: add by m2/dev
power series convergence 3G264BACWM
| URI | m2://inv/3G264BACWM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.2/power-series-convergence, power series convergence (concept). In VNMV985MXX, index, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Poisson process 3G28KN9MC4
| URI | m2://inv/3G28KN9MC4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Poisson point process 0MTNR28K60 |
Mentions
- wikidata: Wikidata Q1145117, Poisson process (concept). Also EoM Poisson_process, MathWorld PoissonProcess
- wikipedia: Wikipedia Poisson point process, Poisson point process (definition). Also Wikidata Q1145117
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Generalized logistic distribution 3G2BK7N21Y
| URI | m2://inv/3G2BK7N21Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#LETP, Generalized logistic distribution (definition)
History
- 2026-11-02: add by m2/dev
Stochastic one-step inequality 3G2P86A4E6
| URI | m2://inv/3G2P86A4E6 |
|---|---|
| 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#4WRA, Stochastic one-step inequality (statement). In E75XQY0QFM/e1, lemma D.2
History
- 2026-10-28: add by m2/v0.4.2
3G2P8M15E9 3G2P8M15E9
| URI | m2://inv/3G2P8M15E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.23884#UQ4Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
Image and object order rendering 3G2QFNPQGQ
| URI | m2://inv/3G2QFNPQGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#HZYG, Image and object order rendering (unknown)
History
- 2026-11-02: add by m2/dev
fractional calculus 3G2SQ1PZTW
| URI | m2://inv/3G2SQ1PZTW |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 26A33 |
| Sources | 2 |
| Outcome | open |
| Node | Fractional calculus T73XK15SA2 |
Mentions
- wikidata: Wikidata Q1339058, fractional calculus (topic). Also MathWorld FractionalCalculus, ProofWiki Definition:Fractional_Calculus
- wikipedia: Wikipedia Fractional calculus, Fractional calculus (topic). Also Wikidata Q1339058
History
- 2026-10-26: add by m2/dev
3G2T8PF5SG 3G2T8PF5SG
| URI | m2://inv/3G2T8PF5SG |
|---|---|
| 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.22777#VQWD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Edward Meshekoff 3G2V4S6JRV
| URI | m2://inv/3G2V4S6JRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#872T, Edward Meshekoff (unknown)
History
- 2026-11-02: add by m2/dev
3G2ZKVZ14X 3G2ZKVZ14X
| URI | m2://inv/3G2ZKVZ14X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#0VRQ (definition). In MVSGDTN2PB/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
3G32QTZNH2 3G32QTZNH2
| URI | m2://inv/3G32QTZNH2 |
|---|---|
| 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.35307#2M97 (statement). In FT5TKY10T8/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
The definition of the cotangent complex 3G33MSNDF9
| URI | m2://inv/3G33MSNDF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent complex#AFZL, The definition of the cotangent complex (definition)
History
- 2026-11-02: add by m2/dev
Boundary values are invertible 3G355Y2CYA
| URI | m2://inv/3G355Y2CYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.15180#4FC7, Boundary values are invertible (statement). In AMRWRJDNKJ/e1, lemma 9.6
History
- 2026-10-28: add by m2/v0.4.2
3G37CG1HMS 3G37CG1HMS
| URI | m2://inv/3G37CG1HMS |
|---|---|
| Kind | conjecture |
| 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.18544#5457 (conjecture). In HT5MC1SPD9/e1, conjecture 1.3
History
- 2026-10-28: add by m2/v0.4.2
3G3GC9YV3N 3G3GC9YV3N
| URI | m2://inv/3G3GC9YV3N |
|---|---|
| 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.05314#Q4K3 (statement). In PA3B6C0WY7/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Definition 3G3M0GDS29
| URI | m2://inv/3G3M0GDS29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress (mechanics)#GFD7, Definition (definition)
History
- 2026-11-02: add by m2/dev
3G3MVAFVR5 3G3MVAFVR5
| URI | m2://inv/3G3MVAFVR5 |
|---|---|
| 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 0904.2839#FPNL (statement). In 2P34N0GWS1/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Expected mean squares 3G3QXPJY89
| URI | m2://inv/3G3QXPJY89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected mean squares, Expected mean squares (definition). Also Wikidata Q104849598
History
- 2026-11-02: add by m2/dev
3G3RQA0W4F 3G3RQA0W4F
| URI | m2://inv/3G3RQA0W4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#S7LV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Univalent function 3G3T0SPAKK
| URI | m2://inv/3G3T0SPAKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#XWTP, Univalent function (definition)
History
- 2026-11-02: add by m2/dev
3G3TWPR72Z 3G3TWPR72Z
| URI | m2://inv/3G3TWPR72Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#6VCV (statement). In RS6WWZKMT6/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
3G45PQKWKF 3G45PQKWKF
| URI | m2://inv/3G45PQKWKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#3OUG (statement). In PEXJPV3NP8/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.3.5
Generalization error bound 3G4738SETQ
| URI | m2://inv/3G4738SETQ |
|---|---|
| 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.15111#NJNE, Generalization error bound (statement). In 6RE6JYE4GP/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Thompson uniqueness theorem 3G4EXENYCA
| URI | m2://inv/3G4EXENYCA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7795828, Thompson uniqueness theorem (statement). Also Wikidata Q7795828
- thousand_plus: thousand_plus Q7795828, Thompson uniqueness theorem (statement). Also Wikidata Q7795828, Wikipedia Thompson uniqueness theorem
- wikipedia: Wikipedia Thompson uniqueness theorem, Thompson uniqueness theorem (statement). Also Wikidata Q7795828
History
- 2026-10-26: add by m2/dev
Examples 3G4J0GJDZF
| URI | m2://inv/3G4J0GJDZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function problem#ZTSX, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 3G4JJ0HV37
| URI | m2://inv/3G4JJ0HV37 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-module#7M84, Examples (example)
History
- 2026-11-02: add by m2/dev
3G4KZA3T22 3G4KZA3T22
| URI | m2://inv/3G4KZA3T22 |
|---|---|
| Kind | example |
| 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.04046#6URB (example). In 3THDT8WNF7/e1, example 16
History
- 2026-10-29: add by m2/v0.4.12
Definition 3G4MACYXBY
| URI | m2://inv/3G4MACYXBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensemaking#HRIM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties 3G4MQ2B7Z1
| URI | m2://inv/3G4MQ2B7Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism of categories#BTPM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Flags and entropy systems 3G4WR54BB7
| URI | m2://inv/3G4WR54BB7 |
|---|---|
| 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.22296#WJE5, Flags and entropy systems (definition)
History
- 2026-11-02: add by m2/v0.6.17
3G4ZPPMSE2 3G4ZPPMSE2
| URI | m2://inv/3G4ZPPMSE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#LGCK (statement). In 55QFMZQ5HM/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.6
Richard Fletcher 3G4ZTBTSWW
| URI | m2://inv/3G4ZTBTSWW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Fletcher (American politician), Richard Fletcher (topic). Also Wikidata Q679414
History
- 2026-11-02: add by m2/dev
3G59428P7S 3G59428P7S
| URI | m2://inv/3G59428P7S |
|---|---|
| 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 2206.05392#57WU (statement). In 58D1ZC82DW/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Definition 3G5CSNWW6B
| URI | m2://inv/3G5CSNWW6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zometool#34FO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bloom Filter 3G5F3GQPMD
| URI | m2://inv/3G5F3GQPMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PJ9L, Bloom Filter (unknown)
History
- 2026-11-02: add by m2/dev
Higher-order statistics 3G5HC7AMPV
| URI | m2://inv/3G5HC7AMPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LSXW, Higher-order statistics (definition)
History
- 2026-11-02: add by m2/dev
Novikov–Boone theorem 3G5J2CNG03
| URI | m2://inv/3G5J2CNG03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presentation of a group#E7BR, Novikov–Boone theorem (statement)
History
- 2026-11-02: add by m2/dev
3G5TB70N76 3G5TB70N76
| URI | m2://inv/3G5TB70N76 |
|---|---|
| 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.36068#HUQJ (statement). In CKNAB8QY5B/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
3G65NNS5VA 3G65NNS5VA
| URI | m2://inv/3G65NNS5VA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
3G66PYMY5W 3G66PYMY5W
| URI | m2://inv/3G66PYMY5W |
|---|---|
| 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.20237#V6LP (statement)
History
- 2026-11-02: add by m2/v0.6.18
formal semantics 3G69G24E9A
| URI | m2://inv/3G69G24E9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#K440, formal semantics (definition)
History
- 2026-11-02: add by m2/dev
Ledet's conjecture as a lifting statement 3G69KRNCB9
| URI | m2://inv/3G69KRNCB9 |
|---|---|
| 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.09298#86V8, Ledet's conjecture as a lifting statement (statement). In 1SPQ4J3AWY/e1, proposition 8.8
History
- 2026-10-29: add by m2/v0.4.10
3G69KV0EVE 3G69KV0EVE
| URI | m2://inv/3G69KV0EVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2306.00590#VX66 (definition). In D3WTQN2F7B/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
3G6ARA7GQC 3G6ARA7GQC
| URI | m2://inv/3G6ARA7GQC |
|---|---|
| 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.36668#RYXZ (statement). In RD729BY377/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Definition 3G6DDCSXEZ
| URI | m2://inv/3G6DDCSXEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calderón projector#T11Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Second Thomson relation 3G6SF4HNPY
| URI | m2://inv/3G6SF4HNPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermoelectric effect#8LC3, Second Thomson relation (unknown)
History
- 2026-11-02: add by m2/dev
Weak gravitational lensing 3G6SY4GYH2
| URI | m2://inv/3G6SY4GYH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak gravitational lensing, Weak gravitational lensing (definition). Also Wikidata Q2974316
History
- 2026-11-02: add by m2/dev
3G71TKWZ6F 3G71TKWZ6F
| URI | m2://inv/3G71TKWZ6F |
|---|---|
| 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.10581#TBKE (statement). In 6V42A71SPC/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
3G748Y0W70 3G748Y0W70
| URI | m2://inv/3G748Y0W70 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:intersectionhpseudo (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
c 3G76QAE95E
| URI | m2://inv/3G76QAE95E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#2TZN, c (definition)
History
- 2026-11-02: add by m2/dev
planar straight-line graph 3G79195JYF
| URI | m2://inv/3G79195JYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7200964, planar straight-line graph (unknown). Also MathWorld PlanarStraightLineEmbedding
- wikipedia: Wikipedia Planar straight-line graph, Planar straight-line graph (definition). Also Wikidata Q7200964
History
- 2026-10-26: add by m2/dev
3G7B3HVGFN 3G7B3HVGFN
| URI | m2://inv/3G7B3HVGFN |
|---|---|
| Kind | example |
| 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.13295#N41A (example). In 8Q7QXTWD0S/e1, example 4.10
History
- 2026-10-28: add by m2/v0.4.2
Decoupling 3G7BG6Y7Z7
| URI | m2://inv/3G7BG6Y7Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decoupling (probability), Decoupling (definition). Also Wikidata Q5249645
History
- 2026-11-02: add by m2/dev
Foundations of Algebraic Geometry 3G7BPG8AYX
| URI | m2://inv/3G7BPG8AYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of Algebraic Geometry, Foundations of Algebraic Geometry (definition). Also Wikidata Q5474572
History
- 2026-11-02: add by m2/dev
3G7MVSZSNN 3G7MVSZSNN
| URI | m2://inv/3G7MVSZSNN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#proof-1 (proof). In RZP28ERRZV, proof, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
3G7PTRAVSQ 3G7PTRAVSQ
| URI | m2://inv/3G7PTRAVSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13528#2G35 (statement). In TSBJEBS7SP/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
3G7X4VXCQ6 3G7X4VXCQ6
| URI | m2://inv/3G7X4VXCQ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
3G7X9SW9CT 3G7X9SW9CT
| URI | m2://inv/3G7X9SW9CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#OCTR (statement). In VM9V8SXEA2/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Equiangular lines 3G80JVV6MM
| URI | m2://inv/3G80JVV6MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equiangular lines, Equiangular lines (definition). Also Wikidata Q5384433
History
- 2026-11-02: add by m2/dev
Alexei Borodin 3G845K41JB
| URI | m2://inv/3G845K41JB |
|---|---|
| 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#6NM8, Alexei Borodin (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#REFH, Alexei Borodin (unknown)
History
- 2026-11-02: add by m2/dev
triangular orthobicupola 3G87BVBSDS
| URI | m2://inv/3G87BVBSDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q940483, triangular orthobicupola (object). Also MathWorld TriangularOrthobicupola
- wikipedia: Wikipedia Triangular orthobicupola, Triangular orthobicupola (definition). Also Wikidata Q940483
History
- 2026-10-26: add by m2/dev
3G8AYCKRG7 3G8AYCKRG7
| URI | m2://inv/3G8AYCKRG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.05179#QSAH (statement). In 9EMCPF1F2T/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.10
Mike Steel 3G8CW7D1GJ
| URI | m2://inv/3G8CW7D1GJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KBID, Mike Steel (topic)
History
- 2026-11-02: add by m2/dev
Properties 3G8HTXE4GP
| URI | m2://inv/3G8HTXE4GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-s-cobordism#B5U4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Pentadecagon 3G8J1E5418
| URI | m2://inv/3G8J1E5418 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8OCP, Pentadecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#RO37, Pentadecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#V7TC, Pentadecagon (definition)
History
- 2026-11-02: add by m2/dev
Formulation of the inequality 3G8JWBT6XE
| URI | m2://inv/3G8JWBT6XE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether inequality#24AU, Formulation of the inequality (statement)
History
- 2026-11-02: add by m2/dev
$\beta\eta$-complete development 3G8MN8X7YM
| URI | m2://inv/3G8MN8X7YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#defn:becd, $\beta\eta$-complete development (definition). In PKGMM3P5QY, defn, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
3G94RMFZHF 3G94RMFZHF
| URI | m2://inv/3G94RMFZHF |
|---|---|
| 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.32338#TI1Z (statement). In HVY45JQRNK/e1, corollary 2.20
History
- 2026-10-31: add by m2/v0.5.6
3G9569WGCX 3G9569WGCX
| URI | m2://inv/3G9569WGCX |
|---|---|
| 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.25543#WGAD (statement)
History
- 2026-11-01: add by m2/v0.6.15
3G9734M5KJ 3G9734M5KJ
| URI | m2://inv/3G9734M5KJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/wo.tex#propwoinduction (statement). In PKGMM3P5QY, prop, section 73.4
History
- 2026-11-01: add by m2/v0.6.13
Masked-man fallacy 3G999EBFAP
| URI | m2://inv/3G999EBFAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#3TSR, Masked-man fallacy (unknown)
History
- 2026-11-02: add by m2/dev
3G9BE0A0Y0 3G9BE0A0Y0
| URI | m2://inv/3G9BE0A0Y0 |
|---|---|
| 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 2105.13129#BWQO (statement). In J5Z1JD5VKR/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
Extension neglect 3G9BFSVE2D
| URI | m2://inv/3G9BFSVE2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension neglect, Extension neglect (definition). Also Wikidata Q5421944
History
- 2026-11-02: add by m2/dev
LLT polynomial 3G9Q3MXCKS
| URI | m2://inv/3G9Q3MXCKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LLT polynomial, LLT polynomial (definition). Also Wikidata Q6458976
History
- 2026-11-02: add by m2/dev
Krieger finite generator theorem (Krieger 1970) 3G9XTT4KP4
| URI | m2://inv/3G9XTT4KP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#QUC8, Krieger finite generator theorem (Krieger 1970) (statement)
History
- 2026-11-02: add by m2/dev
Inon Zur 3GA0362VRT
| URI | m2://inv/3GA0362VRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#L0T8, Inon Zur (unknown)
History
- 2026-11-02: add by m2/dev
CP violation 3GA70M4HCA
| URI | m2://inv/3GA70M4HCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12794416, CP violation (unknown). Also nLab CP violation
History
- 2026-10-26: add by m2/dev
3GAM6MBMA4 3GAM6MBMA4
| URI | m2://inv/3GAM6MBMA4 |
|---|---|
| Kind | example |
| 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.40207#S85Q (example). In JXTG8KP95P/e1, example 8.2
History
- 2026-10-30: add by m2/v0.4.12
Glushkov, Victor Mihailovich 3GAY4P2ZS4
| URI | m2://inv/3GAY4P2ZS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#GEVC, Glushkov, Victor Mihailovich (unknown)
History
- 2026-11-02: add by m2/dev
3GBPEGH95W 3GBPEGH95W
| URI | m2://inv/3GBPEGH95W |
|---|---|
| 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.23004#JNOA (statement)
History
- 2026-11-02: add by m2/v0.6.17
3GBRJ3VJQW 3GBRJ3VJQW
| URI | m2://inv/3GBRJ3VJQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30480#J4C1 (statement). In VP7MPRKH0M/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Supercompact cardinal 3GBV20FBRV
| URI | m2://inv/3GBV20FBRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#41UY, Supercompact cardinal (definition)
History
- 2026-11-02: add by m2/dev
3GC4EHDC0V 3GC4EHDC0V
| URI | m2://inv/3GC4EHDC0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_prop-integers.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section B.15
History
- 2026-11-01: add by m2/v0.6.13
Example 3GC7FV70KX
| URI | m2://inv/3GC7FV70KX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borůvka's algorithm#OV4X, Example (example)
History
- 2026-11-02: add by m2/dev
Wolfgang Hackbusch 3GC9RP96XF
| URI | m2://inv/3GC9RP96XF |
|---|---|
| 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#E8LB, Wolfgang Hackbusch (topic)
- wikipedia: Wikipedia List of German mathematicians#YVY2, Wolfgang Hackbusch (topic)
History
- 2026-11-02: add by m2/dev
Pre-Socratic philosophy 3GCBS91TAV
| URI | m2://inv/3GCBS91TAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q178540, Pre-Socratic philosophy (definition). Also ProofWiki Definition:Pre-Socratic
History
- 2026-10-26: add by m2/dev
Rom Varshamov 3GCTFQWCKQ
| URI | m2://inv/3GCTFQWCKQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rom Varshamov, Rom Varshamov (topic). Also Wikidata Q2164419
History
- 2026-11-02: add by m2/dev
3GCTWDPAQC 3GCTWDPAQC
| URI | m2://inv/3GCTWDPAQC |
|---|---|
| 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.21668#5OZT (statement)
History
- 2026-11-02: add by m2/v0.6.18
3GCWCAV7CY 3GCWCAV7CY
| URI | m2://inv/3GCWCAV7CY |
|---|---|
| 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.35421#7RHQ (statement). In KE8B8KMDJJ/e1, corollary 7
History
- 2026-10-30: add by m2/v0.4.12
Feige–Fiat–Shamir identification scheme 3GCZ2TK66W
| URI | m2://inv/3GCZ2TK66W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feige–Fiat–Shamir identification scheme, Feige–Fiat–Shamir identification scheme (definition). Also Wikidata Q1410418
History
- 2026-11-02: add by m2/dev
Subtle cardinal 3GD281EQPX
| URI | m2://inv/3GD281EQPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subtle cardinal, Subtle cardinal (definition). Also Wikidata Q7632240
History
- 2026-11-02: add by m2/dev
Jordan algebra 3GD3KBNKC5
| URI | m2://inv/3GD3KBNKC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 4 |
| Outcome | open |
| Node | Jordan algebra 6C2MCVB8C7 |
Mentions
- mathlib_1000: mathlib_1000 Q649977, Shirshov–Cohn theorem (statement). Also Wikidata Q649977
- thousand_plus: thousand_plus Q649977, Shirshov–Cohn theorem (statement). Also Wikidata Q649977, Wikipedia Shirshov–Cohn theorem
- wikidata: Wikidata Q649977, Jordan algebra (concept). Also EoM Jordan_algebra, MathWorld JordanAlgebra, nLab Jordan algebra
- wikipedia: Wikipedia Jordan algebra, Jordan algebra (definition). Also Wikidata Q649977
History
- 2026-10-26: add by m2/dev
Leroy Milton Kelly 3GDF81R7ND
| URI | m2://inv/3GDF81R7ND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leroy Milton Kelly, Leroy Milton Kelly (topic). Also Wikidata Q6529006
History
- 2026-11-02: add by m2/dev
Definition 3GDH9Y7ZNQ
| URI | m2://inv/3GDH9Y7ZNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete numbering#V0IC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Thierry Coquand 3GDPERG5GZ
| URI | m2://inv/3GDPERG5GZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#0YRS, Thierry Coquand (topic)
History
- 2026-11-02: add by m2/dev
Depressed polynomial 3GDXD31Q4N
| URI | m2://inv/3GDXD31Q4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial transformation#YWFK, Depressed polynomial (unknown)
History
- 2026-11-02: add by m2/dev
Morisawa's outcome criterion 3GDY6FXRQN
| URI | m2://inv/3GDY6FXRQN |
|---|---|
| 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.06925#OIWT, Morisawa's outcome criterion (statement). In P0NV7337EK/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
3GE3DEB540 3GE3DEB540
| URI | m2://inv/3GE3DEB540 |
|---|---|
| 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 1508.01731#JSIK (statement). In PKJFZEY8ZV/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Complete catalogue and exact SVP 3GE5GKBH1C
| URI | m2://inv/3GE5GKBH1C |
|---|---|
| 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 2609.37482#Y2GV, Complete catalogue and exact SVP (statement). In 9QDRMZX8EY/e1, theorem 0.7
History
- 2026-10-30: add by m2/v0.4.12
Fabien Morel 3GE7SCRCZC
| URI | m2://inv/3GE7SCRCZC |
|---|---|
| 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#459L, Fabien Morel (topic)
History
- 2026-11-02: add by m2/dev
Meissel–Mertens constant 3GEF92462S
| URI | m2://inv/3GEF92462S |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1918289, Meissel–Mertens constant (object). Also MathWorld MertensConstant, OEIS A077761
- wikipedia: Wikipedia Meissel–Mertens constant, Meissel–Mertens constant (object). Also Wikidata Q1918289
History
- 2026-10-26: add by m2/dev
3GEGMP1M7V 3GEGMP1M7V
| URI | m2://inv/3GEGMP1M7V |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#FA73 (unknown). In QNBFHFZ3H0/e1, unknown 19
History
- 2026-10-28: add by m2/v0.4.2
Convolution theorem 3GEXZC36QB
| URI | m2://inv/3GEXZC36QB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#C3CC, Convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
3GF1ZBQT6C 3GF1ZBQT6C
| URI | m2://inv/3GF1ZBQT6C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-59 (exercise). In E59CDZA4DP, exercise, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
3GF9QKW7W8 3GF9QKW7W8
| URI | m2://inv/3GF9QKW7W8 |
|---|---|
| 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 2404.14312#HUZM (statement). In SEPBZN2DRH/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
3GFBA5Q7JD 3GFBA5Q7JD
| URI | m2://inv/3GFBA5Q7JD |
|---|---|
| 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.23128#OZW4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
3GFFT7BMCZ 3GFFT7BMCZ
| URI | m2://inv/3GFFT7BMCZ |
|---|---|
| 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.24569#R2UI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dense submodule 3GFFZ9SV9N
| URI | m2://inv/3GFFZ9SV9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense submodule, Dense submodule (definition). Also Wikidata Q5259310
History
- 2026-11-02: add by m2/dev
Von Mises–Fisher distribution 3GFP30NRTR
| URI | m2://inv/3GFP30NRTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ODZ8, Von Mises–Fisher distribution (definition)
History
- 2026-11-02: add by m2/dev
Yang Le 3GFR6R0GKS
| URI | m2://inv/3GFR6R0GKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang Le, Yang Le (topic). Also Wikidata Q8462828
History
- 2026-11-02: add by m2/dev
Applications 3GFSQYTQFW
| URI | m2://inv/3GFSQYTQFW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NK model#JENE, Applications (example)
History
- 2026-11-02: add by m2/dev
Marcia Groszek 3GFWVYBPEK
| URI | m2://inv/3GFWVYBPEK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcia Groszek, Marcia Groszek (topic). Also Wikidata Q76444529
History
- 2026-11-02: add by m2/dev
3GFZK60YTD 3GFZK60YTD
| URI | m2://inv/3GFZK60YTD |
|---|---|
| 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.10233#HQD4 (statement). In QR9WE79ERQ/e1, fact 4.1
History
- 2026-10-29: add by m2/v0.4.10
Probabilistic Turing Machine 3GG53JJZFA
| URI | m2://inv/3GG53JJZFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#F0A4, Probabilistic Turing Machine (definition)
- wikipedia: Wikipedia List of probability topics#CR2W, Probabilistic Turing machine (definition)
History
- 2026-11-02: add by m2/dev
Tree data structure 3GGEB12JQZ
| URI | m2://inv/3GGEB12JQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#UBIV, Tree data structure (unknown)
History
- 2026-11-02: add by m2/dev
3GGGSJWYRC 3GGGSJWYRC
| URI | m2://inv/3GGGSJWYRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.02158#98KS (statement). In PCV12VAD47/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
3GGT8P4QG9 3GGT8P4QG9
| URI | m2://inv/3GGT8P4QG9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-10 (example). In E9HS8K3A52, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
3GGV3C50JD 3GGV3C50JD
| URI | m2://inv/3GGV3C50JD |
|---|---|
| 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.16731#0RY0 (statement). In D68KBZQ4Q6/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
Rademacher bound 3GGX7KENHQ
| URI | m2://inv/3GGX7KENHQ |
|---|---|
| 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.22752#QDB1, Rademacher bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Process capability 3GH2CCJ4XX
| URI | m2://inv/3GH2CCJ4XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process capability, Process capability (definition). Also Wikidata Q1279773
History
- 2026-11-02: add by m2/dev
3GHB3JB2RV 3GHB3JB2RV
| URI | m2://inv/3GHB3JB2RV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#proof-8 (proof). In RZP28ERRZV, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Examples 3GHMTEN03Z
| URI | m2://inv/3GHMTEN03Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid#FOGP, Examples (example)
History
- 2026-11-02: add by m2/dev
Swap trick 3GJ56DRB35
| URI | m2://inv/3GJ56DRB35 |
|---|---|
| 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.11002#S1UI, Swap trick (statement). In P55JSAYR3T/e1, lemma
History
- 2026-10-28: add by m2/v0.4.3
3GJ93QA9CA 3GJ93QA9CA
| URI | m2://inv/3GJ93QA9CA |
|---|---|
| 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 2604.10080#35ZN (statement). In KM2FWKP93A/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.0
Operator system 3GJD3X7FEW
| URI | m2://inv/3GJD3X7FEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator system, Operator system (definition). Also Wikidata Q7097842
History
- 2026-11-02: add by m2/dev
3GJDXZ4EMZ 3GJDXZ4EMZ
| URI | m2://inv/3GJDXZ4EMZ |
|---|---|
| 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#SU5L (statement). In KZ71GXT2B0/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
\theoremcite{Lemma 4.1}{aliprantis1974 3GJECJ7D58
| URI | m2://inv/3GJECJ7D58 |
|---|---|
| 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.29498#EY10, \theoremcite{Lemma 4.1}{aliprantis1974 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bernstein's problem 3GJW093HG8
| URI | m2://inv/3GJW093HG8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein's problem, Bernstein's problem (problem). Also Wikidata Q4894564
History
- 2026-11-02: add by m2/dev
Glen E. Baxter 3GK5577XSF
| URI | m2://inv/3GK5577XSF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A6ZP, Glen E. Baxter (topic)
History
- 2026-11-02: add by m2/dev
3GKAPCV1EC 3GKAPCV1EC
| URI | m2://inv/3GKAPCV1EC |
|---|---|
| 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.23526#8HN9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Existence of a preference relation 3GKAWRJ5QF
| URI | m2://inv/3GKAWRJ5QF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2610.20542#E4WT, Existence of a preference relation (statement). In 8PZXZ8Y9FK/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.4.2
3GKB39T6BR 3GKB39T6BR
| URI | m2://inv/3GKB39T6BR |
|---|---|
| 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.38742#T0NZ (statement). In TSXBJB0EXK/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
3GKN9TFCEW 3GKN9TFCEW
| URI | m2://inv/3GKN9TFCEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#KPAU (statement). In XCSQ27P0XW/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
Raghavarao, D. 3GKR0FMZTZ
| URI | m2://inv/3GKR0FMZTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R56L, Raghavarao, D. (unknown)
History
- 2026-11-02: add by m2/dev
3GKS0KW7EV 3GKS0KW7EV
| URI | m2://inv/3GKS0KW7EV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#lemma-1 (statement). In QKM9DD2H56, lemma, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
3GKT8C3DR9 3GKT8C3DR9
| URI | m2://inv/3GKT8C3DR9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
3GM0TM9E2M 3GM0TM9E2M
| URI | m2://inv/3GM0TM9E2M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 14.1
History
- 2026-11-01: add by m2/v0.6.13
Location estimation in sensor networks 3GM2093K7F
| URI | m2://inv/3GM2093K7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RRNZ, Location estimation in sensor networks (definition)
History
- 2026-11-02: add by m2/dev
3GM5JPRCAG 3GM5JPRCAG
| URI | m2://inv/3GM5JPRCAG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#3A43 (definition). In MVSGDTN2PB/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
i.i.d.\ SAA: a bias governed by the state dimension 3GMFAZZ6NF
| URI | m2://inv/3GMFAZZ6NF |
|---|---|
| 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.12713#5RBC, i.i.d.\ SAA: a bias governed by the state dimension (statement). In F14A5HX20Q/e1, proposition C.3.1
History
- 2026-10-28: add by m2/v0.4.2
3GMM3AVZNW 3GMM3AVZNW
| URI | m2://inv/3GMM3AVZNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#XVWQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
3GN299CR58 3GN299CR58
| URI | m2://inv/3GN299CR58 |
|---|---|
| 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.13864#V6QE (statement). In ZGZGGGCWD3/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
bimodule 3GN41QWPXR
| URI | m2://inv/3GN41QWPXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#DCA0, bimodule (definition)
History
- 2026-11-02: add by m2/dev
Definition 3GN4J1SA7A
| URI | m2://inv/3GN4J1SA7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gijswijt's sequence#GDAU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gurvan Saikhan Mountains 3GNCS332T0
| URI | m2://inv/3GNCS332T0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DORK, Gurvan Saikhan Mountains (unknown)
History
- 2026-11-02: add by m2/dev
Mean 3GNDYFXSWS
| URI | m2://inv/3GNDYFXSWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O9Y4, Mean (definition)
History
- 2026-11-02: add by m2/dev
Applications 3GNFVBHK1P
| URI | m2://inv/3GNFVBHK1P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ekman transport#8VF3, Applications (example)
History
- 2026-11-02: add by m2/dev
3GNGTF6S9M 3GNGTF6S9M
| URI | m2://inv/3GNGTF6S9M |
|---|---|
| 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 2508.07340#9L9B (statement). In 2HSB99DW4M/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.6
Cauchy, complex series 3GNKVF9266
| URI | m2://inv/3GNKVF9266 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.1.2/cauchy-complex-series, Cauchy, complex series (concept). In E59CDZA4DP, index, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
3GP8JPGCBQ 3GP8JPGCBQ
| URI | m2://inv/3GP8JPGCBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-5 (example). In Y91XFCEVHQ, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
3GPA8FQ1WB 3GPA8FQ1WB
| URI | m2://inv/3GPA8FQ1WB |
|---|---|
| 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 2610.20376#R2VK (definition). In DGTCGQX6YZ/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Smooth dyadic decomposition of unity 3GPN60HB8Y
| URI | m2://inv/3GPN60HB8Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17204#V4J1, Smooth dyadic decomposition of unity (definition). In 5CZ2BNV4MT/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
3GQ8320RS0 3GQ8320RS0
| URI | m2://inv/3GQ8320RS0 |
|---|---|
| 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.27908#RLE8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pauline Mellon 3GQ84WAM31
| URI | m2://inv/3GQ84WAM31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauline Mellon, Pauline Mellon (topic). Also Wikidata Q81486124
History
- 2026-11-02: add by m2/dev
GHZ correlation self-testing 3GQKWF8VHJ
| URI | m2://inv/3GQKWF8VHJ |
|---|---|
| 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.35339#5LFS, GHZ correlation self-testing (statement). In JT998WJYJJ/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Serre–Tate theorem 3GR05HJPKW
| URI | m2://inv/3GR05HJPKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre–Tate theorem, Serre–Tate theorem (statement). Also Wikidata Q7455423
History
- 2026-11-02: add by m2/dev
3GR4ENQ4VT 3GR4ENQ4VT
| URI | m2://inv/3GR4ENQ4VT |
|---|---|
| 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 2610.08039#8P9Z (statement). In Y1K8WE4MDP/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Theorems on methods for summing divergent series 3GR6965M2S
| URI | m2://inv/3GR6965M2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergent series#LS8Z, Theorems on methods for summing divergent series (statement)
History
- 2026-11-02: add by m2/dev
Coding theory 3GR8PX05VB
| URI | m2://inv/3GR8PX05VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JD8A, Coding theory (definition)
History
- 2026-11-02: add by m2/dev
statistical mechanics 3GRB088VMJ
| URI | m2://inv/3GRB088VMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 82-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188715, statistical mechanics (topic). Also EoM Statistical_mechanics,_mathematical_problems_in
- wikipedia: Wikipedia Statistical mechanics, Statistical mechanics (definition). Also Wikidata Q188715
History
- 2026-10-26: add by m2/dev
Alternative definitions 3GRERCZHD4
| URI | m2://inv/3GRERCZHD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Threshold graph#02T6, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Method 3GRHBEYT9V
| URI | m2://inv/3GRHBEYT9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bred vector#THRP, Method (definition)
History
- 2026-11-02: add by m2/dev
Conceptual necessity 3GRQKM4NSQ
| URI | m2://inv/3GRQKM4NSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptual necessity, Conceptual necessity (definition). Also Wikidata Q5158440
History
- 2026-11-02: add by m2/dev
$1$-density 3GRWZR55XW
| URI | m2://inv/3GRWZR55XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#definition-5, $1$-density (definition). In RZP28ERRZV, definition, section 43.6
History
- 2026-11-01: add by m2/v0.6.13
3GRZ98QG3V 3GRZ98QG3V
| URI | m2://inv/3GRZ98QG3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#7PPZ (statement). In 67GE5M1GGD/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
Hodge structure 3GS5ZNMD32
| URI | m2://inv/3GS5ZNMD32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#AAIV, Hodge structure (definition)
History
- 2026-11-02: add by m2/dev
Wasserstein distance 3GS6W8DFH4
| URI | m2://inv/3GS6W8DFH4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.10559#IP5S, Wasserstein distance (definition). In WEP0PNJW09/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Helmut Maier 3GS8DTCGS0
| URI | m2://inv/3GS8DTCGS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmut Maier, Helmut Maier (topic). Also Wikidata Q5709706
History
- 2026-11-02: add by m2/dev
Analytic capacity 3GSAV0HGWA
| URI | m2://inv/3GSAV0HGWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#F1S9, Analytic capacity (definition)
- wikipedia: Wikipedia List of complex analysis topics#58R8, Analytic capacity (definition)
History
- 2026-11-02: add by m2/dev
3GSEN0F5QC 3GSEN0F5QC
| URI | m2://inv/3GSEN0F5QC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things-quant.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.10
History
- 2026-11-01: add by m2/v0.6.13
William R. Pulleyblank 3GT0CKG0AN
| URI | m2://inv/3GT0CKG0AN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7TLO, William R. Pulleyblank (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HAZM, William R. Pulleyblank (unknown)
History
- 2026-11-02: add by m2/dev
3GT2T49ZNY 3GT2T49ZNY
| URI | m2://inv/3GT2T49ZNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#DYTR (statement). In 91RRFW0K5D/e1, lemma 24
History
- 2026-10-27: add by m2/v0.3.5
3GT5M0JT32 3GT5M0JT32
| URI | m2://inv/3GT5M0JT32 |
|---|---|
| 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 1712.02437#IB3N (statement). In GZDFK652T9/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
409 (number) 3GT62FXHEM
| URI | m2://inv/3GT62FXHEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#MRU7, 409 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Boscovich, Roger Joseph 3GT6V2GCAN
| URI | m2://inv/3GT6V2GCAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YVTL, Boscovich, Roger Joseph (unknown)
History
- 2026-11-02: add by m2/dev
3GT7CTNHAC 3GT7CTNHAC
| URI | m2://inv/3GT7CTNHAC |
|---|---|
| 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 2410.10337#64FK (definition). In RBBF0XNZ5E/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Dixon's Q test 3GTDV6PT8M
| URI | m2://inv/3GTDV6PT8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3YZI, Dixon's Q test (definition)
History
- 2026-11-02: add by m2/dev
Theorem 5.8 in , Section 2.2 3GTGBVNGFV
| URI | m2://inv/3GTGBVNGFV |
|---|---|
| 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 1904.09810#HDSF, Theorem 5.8 in , Section 2.2 (statement). In T1VFA7TXPA/e1, theorem 24
History
- 2026-10-27: add by m2/v0.3.5
3GTK0ZSC20 3GTK0ZSC20
| URI | m2://inv/3GTK0ZSC20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#L3NC (statement)
History
- 2026-11-01: add by m2/v0.6.15
3GTK5XDYPP 3GTK5XDYPP
| URI | m2://inv/3GTK5XDYPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26162#923W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Primal formulation 3GTN8GPHVB
| URI | m2://inv/3GTN8GPHVB |
|---|---|
| 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.34474#DQQQ, Primal formulation (statement). In R8417G6ABM/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
3GTS477SG5 3GTS477SG5
| URI | m2://inv/3GTS477SG5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-41 (exercise). In E59CDZA4DP, exercise, section 1.5.1
History
- 2026-11-01: add by m2/v0.6.13
Isoperimetric inequality 3GTV6K6BE8
| URI | m2://inv/3GTV6K6BE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#SJ42, Isoperimetric inequality (statement)
- wikipedia: Wikipedia List of inequalities#7MXR, Isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
3GV0N6P91A 3GV0N6P91A
| URI | m2://inv/3GV0N6P91A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#BQ34 (example). In XGPZ0G9E1Q/e1, example 7.3
History
- 2026-10-29: add by m2/v0.4.12
Rubin, Donald 3GV1B15AG6
| URI | m2://inv/3GV1B15AG6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R0ZI, Rubin, Donald (topic)
History
- 2026-11-02: add by m2/dev
Herfindahl–Hirschman index 3GV5SEBSV7
| URI | m2://inv/3GV5SEBSV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herfindahl–Hirschman index, Herfindahl–Hirschman index (definition). Also Wikidata Q370089
History
- 2026-11-02: add by m2/dev
Emanuele Fergola 3GV7Z9QHWB
| URI | m2://inv/3GV7Z9QHWB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#U1M0, Emanuele Fergola (unknown)
History
- 2026-11-02: add by m2/dev
Lyapunov equation for $\ms{KOS}$ 3GVBAC845A
| URI | m2://inv/3GVBAC845A |
|---|---|
| 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.36334#U01K, Lyapunov equation for $\ms{KOS}$ (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
3GVKSJ292A 3GVKSJ292A
| URI | m2://inv/3GVKSJ292A |
|---|---|
| Kind | definition |
| 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.10928#C39U (definition). In 8M7BFVQYMM/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Variations 3GVSCFE24D
| URI | m2://inv/3GVSCFE24D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association fallacy#URG7, Variations (statement)
History
- 2026-11-02: add by m2/dev
3GVT72FK2M 3GVT72FK2M
| URI | m2://inv/3GVT72FK2M |
|---|---|
| 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#WIY9 (statement). In W99XBH6X5N/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.0
$L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers 3GVVEY3G9P
| URI | m2://inv/3GVVEY3G9P |
|---|---|
| Kind | statement |
| 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 2610.11911#MW0B, $L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers (statement). In 5BYE5NYB89/e1, theorem 3.16
History
- 2026-10-28: add by m2/v0.4.3
3GVZPCYXSE 3GVZPCYXSE
| URI | m2://inv/3GVZPCYXSE |
|---|---|
| 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 2203.17055#342A (statement). In 2FCSSBRX80/e1, theorem III.1
History
- 2026-10-27: add by m2/v0.3.6
Completely regular semigroup 3GW24ZXCG0
| URI | m2://inv/3GW24ZXCG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely regular semigroup, Completely regular semigroup (definition). Also Wikidata Q5156534
History
- 2026-11-02: add by m2/dev
Sobolev Multiplication Theorem 3GW5NK5CWZ
| URI | m2://inv/3GW5NK5CWZ |
|---|---|
| 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.15111#1PZU, Sobolev Multiplication Theorem (statement). In 6RE6JYE4GP/e1, theorem F.7
History
- 2026-10-28: add by m2/v0.4.2
Examples 3GWK1W0Z8H
| URI | m2://inv/3GWK1W0Z8H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois extension#LN96, Examples (example)
History
- 2026-11-02: add by m2/dev
3GWMECV24M 3GWMECV24M
| URI | m2://inv/3GWMECV24M |
|---|---|
| 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 0904.2839#IBRM (statement). In 2P34N0GWS1/e1, lemma 2.3.3
History
- 2026-10-27: add by m2/v0.3.5
3GWMKTANCV 3GWMKTANCV
| URI | m2://inv/3GWMKTANCV |
|---|---|
| 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 0907.5545#VYJ3 (statement). In K3GWCTV5YE/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Testimator 3GX32KKE5P
| URI | m2://inv/3GX32KKE5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Testimator, Testimator (definition). Also Wikidata Q7705878
History
- 2026-11-02: add by m2/dev
3GX4F6H7B7 3GX4F6H7B7
| URI | m2://inv/3GX4F6H7B7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#eg:kg1 (example). In N54F33XE07, eg, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
3GXCAZ24QS 3GXCAZ24QS
| URI | m2://inv/3GXCAZ24QS |
|---|---|
| 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#18OM (statement). In XB93QX7DAA/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Uniqueness of the optimal blended gradient 3GXCNDVPZZ
| URI | m2://inv/3GXCNDVPZZ |
|---|---|
| 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#XGON, Uniqueness of the optimal blended gradient (statement). In E75XQY0QFM/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Example 3GXHSDFW3Y
| URI | m2://inv/3GXHSDFW3Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial long division#6K1Y, Example (example)
History
- 2026-11-02: add by m2/dev
3GXJD8N6M1 3GXJD8N6M1
| URI | m2://inv/3GXJD8N6M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13180#5V54 (statement). In 7TSVFYEGD8/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
BHT algorithm 3GXV32ZTEQ
| URI | m2://inv/3GXV32ZTEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#POV8, BHT algorithm (unknown)
History
- 2026-11-02: add by m2/dev
3GXZ1YR63K 3GXZ1YR63K
| URI | m2://inv/3GXZ1YR63K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28251#NPW7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mary Perry Smith 3GY1DD7W5H
| URI | m2://inv/3GY1DD7W5H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Perry Smith, Mary Perry Smith (topic). Also Wikidata Q88239202
History
- 2026-11-02: add by m2/dev
The site $\Site$ 3GY40EMSHP
| URI | m2://inv/3GY40EMSHP |
|---|---|
| Kind | definition |
| 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.26270#5BH4, The site $\Site$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example 3GY4X64BXT
| URI | m2://inv/3GY4X64BXT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph Modelling Language#BASN, Example (example)
History
- 2026-11-02: add by m2/dev
3GY613XZ32 3GY613XZ32
| URI | m2://inv/3GY613XZ32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#B5XK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robbins lemma 3GYA0S7V6N
| URI | m2://inv/3GYA0S7V6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X8SH, Robbins lemma (statement)
- wikipedia: Wikipedia List of lemmas#HA8D, Robbins lemma (statement)
History
- 2026-11-02: add by m2/dev
3GZ2S7935G 3GZ2S7935G
| URI | m2://inv/3GZ2S7935G |
|---|---|
| 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#XZDU (statement). In GXHKRV5BPY/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
3GZASBNESQ 3GZASBNESQ
| URI | m2://inv/3GZASBNESQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-2 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
3GZCAB572B 3GZCAB572B
| URI | m2://inv/3GZCAB572B |
|---|---|
| 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#KTGE (statement). In 5E9G06XJKC/e1, lemma F.21
History
- 2026-10-28: add by m2/v0.4.2
3GZGBB13S2 3GZGBB13S2
| URI | m2://inv/3GZGBB13S2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#TIOH (statement). In G00EYA9DXG/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
Sz.-Nagy's dilation theorem 3GZHD6JAFD
| URI | m2://inv/3GZHD6JAFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stinespring dilation theorem#SW5F, Sz.-Nagy's dilation theorem (statement)
History
- 2026-11-02: add by m2/dev
set 3GZHPYJGFW
| URI | m2://inv/3GZHPYJGFW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/set, set (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
3GZKZYQ6EA 3GZKZYQ6EA
| URI | m2://inv/3GZKZYQ6EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#T13X (statement). In 9TR5E527P5/e1, lemma 6.15
History
- 2026-10-29: add by m2/v0.4.10
Boethius 3GZRFT4VYV
| URI | m2://inv/3GZRFT4VYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#QJOL, Boethius (topic)
History
- 2026-11-02: add by m2/dev