Inventory rows T2
The cards of the rows of the inventory whose ids start with T2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
T20DD54Q9C T20DD54Q9C
| URI | m2://inv/T20DD54Q9C |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28509#TEYH (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
T20E5X60EC T20E5X60EC
| URI | m2://inv/T20E5X60EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#F740 (statement). In RGQZVNXWM5/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
T20EECWC1C T20EECWC1C
| URI | m2://inv/T20EECWC1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#WHQ3 (statement). In 6YY27KRJFN/e1, corollary 3.23
History
- 2026-10-30: add by m2/v0.4.12
Gluon field T20HQDB0SK
| URI | m2://inv/T20HQDB0SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gluon field, Gluon field (definition). Also Wikidata Q17017695
History
- 2026-11-02: add by m2/dev
Relation with Dirichlet's theorem T20PFF5AM9
| URI | m2://inv/T20PFF5AM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebotarev density theorem#1MMO, Relation with Dirichlet's theorem (statement)
History
- 2026-11-02: add by m2/dev
Auxiliary flow computation T2109ZD4T3
| URI | m2://inv/T2109ZD4T3 |
|---|---|
| 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.15511#7AXB, Auxiliary flow computation (statement). In TZM08VJAQT/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
T2120ZRBYD T2120ZRBYD
| URI | m2://inv/T2120ZRBYD |
|---|---|
| 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 2109.09268#OZV5 (statement). In SYZFEVFHC3/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Hadamard test T216RQCNTQ
| URI | m2://inv/T216RQCNTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#DRWM, Hadamard test (unknown)
History
- 2026-11-02: add by m2/dev
T21A2H1AKN T21A2H1AKN
| URI | m2://inv/T21A2H1AKN |
|---|---|
| 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.39531#QJL9 (statement). In SN9RSTHQ07/e1, theorem D.2
History
- 2026-10-30: add by m2/v0.4.12
scalar curvature T21C4E4H0C
| URI | m2://inv/T21C4E4H0C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Scalar curvature ZHX2VYQDZ3 |
Mentions
- wikidata: Wikidata Q1147161, scalar curvature (concept). Also EoM Scalar_curvature, MathWorld ScalarCurvature, nLab scalar curvature
- wikipedia: Wikipedia Scalar curvature, Scalar curvature (definition). Also Wikidata Q1147161
History
- 2026-10-26: add by m2/dev
Four fours T21KV74A6R
| URI | m2://inv/T21KV74A6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four fours, Four fours (definition). Also Wikidata Q1199178
History
- 2026-11-02: add by m2/dev
T21N1YWAK8 T21N1YWAK8
| URI | m2://inv/T21N1YWAK8 |
|---|---|
| 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.38436#0QKR (statement). In 702AF3E4AF/e1, theorem 4.12
History
- 2026-10-30: add by m2/v0.4.12
Good filtration T21SWX546Y
| URI | m2://inv/T21SWX546Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good filtration, Good filtration (definition). Also Wikidata Q5583099
History
- 2026-11-02: add by m2/dev
Truncated dodecadodecahedron T21TKCZQ20
| URI | m2://inv/T21TKCZQ20 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#X81I, Truncated dodecadodecahedron (object)
History
- 2026-11-02: add by m2/dev
Metabigyrate rhombicosidodecahedron T2205CKE2P
| URI | m2://inv/T2205CKE2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JA2E, Metabigyrate rhombicosidodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YGD0, Metabigyrate rhombicosidodecahedron (definition)
History
- 2026-11-02: add by m2/dev
T225CZPFFF T225CZPFFF
| URI | m2://inv/T225CZPFFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#0WBH (statement). In RWNP4FEE65/e1, proposition 3.17
History
- 2026-10-28: add by m2/v0.4.3
T22B2K07NH T22B2K07NH
| URI | m2://inv/T22B2K07NH |
|---|---|
| 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#P1AN (statement)
History
- 2026-11-01: add by m2/v0.6.15
The based loop side T22YS6T4FQ
| URI | m2://inv/T22YS6T4FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#RSMX, The based loop side (statement). In KR7WXN4EWR/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.12
Eckart Viehweg T236HS97DE
| URI | m2://inv/T236HS97DE |
|---|---|
| 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#A5L5, Eckart Viehweg (topic)
- wikipedia: Wikipedia List of German mathematicians#XBFY, Eckart Viehweg (topic)
History
- 2026-11-02: add by m2/dev
Bendich Ahin T237A7JJ9R
| URI | m2://inv/T237A7JJ9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2A6A, Bendich Ahin (unknown)
History
- 2026-11-02: add by m2/dev
Daniel Quillen T237G503R2
| URI | m2://inv/T237G503R2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HUVF, Daniel Quillen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4G33, Daniel Quillen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BB73, Daniel Quillen (topic)
History
- 2026-11-02: add by m2/dev
Streaming-history properties T238FZCMZK
| URI | m2://inv/T238FZCMZK |
|---|---|
| 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.20187#K1ZJ, Streaming-history properties (statement). In N280AVNNBY/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.4.2
T23KCS7M9B T23KCS7M9B
| URI | m2://inv/T23KCS7M9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#XYBK (statement). In EAABRG99V8/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.4.0
T23SWDJ8Q8 T23SWDJ8Q8
| URI | m2://inv/T23SWDJ8Q8 |
|---|---|
| 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.28365#LP4C (statement)
History
- 2026-11-01: add by m2/v0.6.15
T23V37H393 T23V37H393
| URI | m2://inv/T23V37H393 |
|---|---|
| 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#VA4P (statement). In GXHKRV5BPY/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.10
T23VJN587E T23VJN587E
| URI | m2://inv/T23VJN587E |
|---|---|
| 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.32065#2L1O (statement). In 6Z9JQP3204/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
T23WP81Y4A T23WP81Y4A
| URI | m2://inv/T23WP81Y4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#1NMP (statement). In AYG8HYGW6V/e1, lemma E.3
History
- 2026-10-28: add by m2/v0.4.3
Paul D. Seymour T23X064DH8
| URI | m2://inv/T23X064DH8 |
|---|---|
| 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#U0ZJ, Paul D. Seymour (topic)
History
- 2026-11-02: add by m2/dev
T240GBKVQ4 T240GBKVQ4
| URI | m2://inv/T240GBKVQ4 |
|---|---|
| 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#1OQP (statement). In X38P26DK6S/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.4.0
Carlo Rosati T248WMCDNW
| URI | m2://inv/T248WMCDNW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlo Rosati, Carlo Rosati (topic). Also Wikidata Q5041592
History
- 2026-11-02: add by m2/dev
T24D9KECMY T24D9KECMY
| URI | m2://inv/T24D9KECMY |
|---|---|
| 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.20466#IZTG (statement). In M4ZVJWM8YA/e1, corollary 5.33
History
- 2026-10-27: add by m2/v0.4.2
Properties T24E5XNY11
| URI | m2://inv/T24E5XNY11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brzozowski derivative#LAAN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Craig Kauffman T24RC2VBYG
| URI | m2://inv/T24RC2VBYG |
|---|---|
| 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#4UAX, Craig Kauffman (unknown)
History
- 2026-11-02: add by m2/dev
Niklaus Wirth T24VQJX4KZ
| URI | m2://inv/T24VQJX4KZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q92604, Niklaus Wirth (unknown). Also ProofWiki Mathematician:Niklaus_Emil_Wirth
History
- 2026-10-26: add by m2/dev
Affine morphism T24WK20CQ1
| URI | m2://inv/T24WK20CQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf of algebras#GGQ8, Affine morphism (unknown)
History
- 2026-11-02: add by m2/dev
GiNaC T24YCKFZZW
| URI | m2://inv/T24YCKFZZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GiNaC, GiNaC (definition). Also Wikidata Q1083683
History
- 2026-11-02: add by m2/dev
Poincaré conjecture T253BT4TJ5
| URI | m2://inv/T253BT4TJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Poincaré conjecture 3R064KFF68 |
Mentions
- wikidata: Wikidata Q203586, Poincaré conjecture (conjecture). Also MathWorld PoincareConjecture, nLab Poincaré conjecture, ProofWiki Poincaré_Conjecture
- wikipedia: Wikipedia Poincaré conjecture, Poincaré conjecture (statement). Also Wikidata Q203586
History
- 2026-10-26: add by m2/dev
T2552P6JSF T2552P6JSF
| URI | m2://inv/T2552P6JSF |
|---|---|
| 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 2609.32829#SZJ0 (statement). In RYWAX33Z51/e1, corollary 6.5
History
- 2026-10-31: add by m2/v0.5.6
T25FDN2GBQ T25FDN2GBQ
| URI | m2://inv/T25FDN2GBQ |
|---|---|
| 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.09483#GMQY (statement). In N1MQ8F9JN6/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Lebesgue covering dimension T25NMSNAVW
| URI | m2://inv/T25NMSNAVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#VOXT, Lebesgue covering dimension (definition)
History
- 2026-11-02: add by m2/dev
convex function T2618VSSZ6
| URI | m2://inv/T2618VSSZ6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/E.2/convex-function, convex function (concept). In VNMV985MXX, index, section E.2
History
- 2026-11-01: add by m2/v0.6.13
Robert Lowth T264KMRB2Y
| URI | m2://inv/T264KMRB2Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Lowth, Robert Lowth (topic). Also Wikidata Q739953
History
- 2026-11-02: add by m2/dev
T269YG0HMD T269YG0HMD
| URI | m2://inv/T269YG0HMD |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05512#SBRN (unknown). In 2F0KX51XKM/e1, unknown A4’
History
- 2026-10-29: add by m2/v0.4.10
David K. Levine T26MQ9T9CV
| URI | m2://inv/T26MQ9T9CV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#75LN, David K. Levine (unknown)
History
- 2026-11-02: add by m2/dev
Einstein's Blackboard T26N1EEGXH
| URI | m2://inv/T26N1EEGXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein's Blackboard, Einstein's Blackboard (definition). Also Wikidata Q16385576
History
- 2026-11-02: add by m2/dev
T26RSRBM3A T26RSRBM3A
| URI | m2://inv/T26RSRBM3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#continuumis2aleph0 (statement). In PKGMM3P5QY, thm, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
T26STA9F8M T26STA9F8M
| URI | m2://inv/T26STA9F8M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
T2708G5C21 T2708G5C21
| URI | m2://inv/T2708G5C21 |
|---|---|
| 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.18673#OR22 (definition). In 7ZFD9XRKA1/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Terminology T272SYWQ2M
| URI | m2://inv/T272SYWQ2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation Z#KRNP, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Carlos Alberto Barbosa Dantas T277GQ8W56
| URI | m2://inv/T277GQ8W56 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlos Alberto Barbosa Dantas, Carlos Alberto Barbosa Dantas (topic). Also Wikidata Q102116642
History
- 2026-11-02: add by m2/dev
range of a sequence T27DKP4603
| URI | m2://inv/T27DKP4603 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1/range-of-a-sequence, range of a sequence (concept). In E59CDZA4DP, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
T27GR42YKD T27GR42YKD
| URI | m2://inv/T27GR42YKD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Statement T27JMPFGGV
| URI | m2://inv/T27JMPFGGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen–Lichtenbaum conjecture#N225, Statement (statement)
History
- 2026-11-02: add by m2/dev
$\lambda$-abstraction T27QHG9DKB
| URI | m2://inv/T27QHG9DKB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/lambda-abstraction, $\lambda$-abstraction (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
T27RWGGWFZ T27RWGGWFZ
| URI | m2://inv/T27RWGGWFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#769L (statement). In FCMMB2EVAP/e1, proposition 4.15
History
- 2026-10-27: add by m2/v0.4.2
Piekałkiewicz, Jan T27T6ST6JW
| URI | m2://inv/T27T6ST6JW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#53Y3, Piekałkiewicz, Jan (topic)
History
- 2026-11-02: add by m2/dev
T27VS33103 T27VS33103
| URI | m2://inv/T27VS33103 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#CSVS (statement). In XTGB5Z08YH/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.4.0
divergent power series T27ZGKFNES
| URI | m2://inv/T27ZGKFNES |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.1/divergent-power-series, divergent power series (concept). In E9HS8K3A52, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
T281WB6KHJ T281WB6KHJ
| URI | m2://inv/T281WB6KHJ |
|---|---|
| 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.10093#SNF2 (statement). In NJDN112PFS/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Jan Śleszyński T2839W7KJ2
| URI | m2://inv/T2839W7KJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Śleszyński, Jan Śleszyński (topic). Also Wikidata Q6097897
History
- 2026-11-02: add by m2/dev
Upper bound for KRRR T28428Z414
| URI | m2://inv/T28428Z414 |
|---|---|
| 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 2102.11076#NUBJ, Upper bound for KRRR (statement). In T9HZXHTQBJ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Tests of the Einstein equivalence principle T2864MC0C7
| URI | m2://inv/T2864MC0C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence principle#H9HL, Tests of the Einstein equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
representable functor T28AP9DV3Y
| URI | m2://inv/T28AP9DV3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Representable functor KCCHH87H6E |
Mentions
- wikidata: Wikidata Q386320, representable functor (unknown). Also nLab representable functor
- wikipedia: Wikipedia Representable functor, Representable functor (definition). Also Wikidata Q386320
History
- 2026-10-26: add by m2/dev
Optimal Verification Frequency T28C9KS1JF
| URI | m2://inv/T28C9KS1JF |
|---|---|
| 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.12732#6PWS, Optimal Verification Frequency (statement). In 5E91Y3VY9E/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Singular cardinals hypothesis T28FE1ZA4W
| URI | m2://inv/T28FE1ZA4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#YUKW, Singular cardinals hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Thoralf Skolem T28J82GWQ9
| URI | m2://inv/T28J82GWQ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#WY8S, Thoralf Skolem (topic)
History
- 2026-11-02: add by m2/dev
Properties T28N4QA9H5
| URI | m2://inv/T28N4QA9H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual topology#273W, Properties (statement)
History
- 2026-11-02: add by m2/dev
List of scientific laws T28P9HZANC
| URI | m2://inv/T28P9HZANC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W3X3, List of scientific laws (statement)
History
- 2026-11-02: add by m2/dev
Direct consequences of the axiom T28P9KXKYK
| URI | m2://inv/T28P9KXKYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested intervals#IHLE, Direct consequences of the axiom (statement)
History
- 2026-11-02: add by m2/dev
T28QDGGN6P T28QDGGN6P
| URI | m2://inv/T28QDGGN6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#MOMT (statement). In A02X6MX28Y/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
T28S0JCAM3 T28S0JCAM3
| URI | m2://inv/T28S0JCAM3 |
|---|---|
| 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.33697#GIXW (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Siena Research Institute T28XJJ74BX
| URI | m2://inv/T28XJJ74BX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#RMCX, Siena Research Institute (unknown)
History
- 2026-11-02: add by m2/dev
T28YFECSKQ T28YFECSKQ
| URI | m2://inv/T28YFECSKQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-5 (proof). In E59CDZA4DP, proof, section 7.2.1
History
- 2026-11-01: add by m2/v0.6.13
T28YP9AY83 T28YP9AY83
| URI | m2://inv/T28YP9AY83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.06338#BOUQ (statement). In F1CYVYK7YB/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
T28Z8PEQY4 T28Z8PEQY4
| URI | m2://inv/T28Z8PEQY4 |
|---|---|
| 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 2609.32816#XPJY (statement). In 10YV2P9E8W/e1, lemma 4.9
History
- 2026-10-31: add by m2/v0.5.6
T28ZV924JD T28ZV924JD
| URI | m2://inv/T28ZV924JD |
|---|---|
| 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.28803#CN8J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ann S. Almgren T295141TSX
| URI | m2://inv/T295141TSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ann S. Almgren, Ann S. Almgren (topic). Also Wikidata Q21084490
History
- 2026-11-02: add by m2/dev
adjoint representation T29AMXSEJ1
| URI | m2://inv/T29AMXSEJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Adjoint representation of a Lie group P6ZP0TE07M |
Mentions
- wikidata: Wikidata Q1017106, adjoint representation (unknown). Also MathWorld LieGroupAdjointRepresentation, nLab adjoint representation
- wikipedia: Wikipedia Adjoint representation, Adjoint representation (definition). Also Wikidata Q1017106
History
- 2026-10-26: add by m2/dev
T29EHHW1W2 T29EHHW1W2
| URI | m2://inv/T29EHHW1W2 |
|---|---|
| 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.40207#OF74 (definition). In JXTG8KP95P/e1, definition 2.12
History
- 2026-10-30: add by m2/v0.4.12
Hölder continuity T29TVJPTN2
| URI | m2://inv/T29TVJPTN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Hölder continuity 012PBA0FMD |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > Hölder continuity, Hölder continuity (unknown). Also Mathlib HolderWith
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
EP map T2A9CT8JXX
| URI | m2://inv/T2A9CT8JXX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-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.04870#HME0, EP map (definition). In X765ZXXVC3/e1, definition 4.5
History
- 2026-10-29: add by m2/v0.4.12
T2A9NDRFYQ T2A9NDRFYQ
| URI | m2://inv/T2A9NDRFYQ |
|---|---|
| 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.08935#81XG (statement). In G02N9D40B9/e1, lemma 3.1.8
History
- 2026-10-29: add by m2/v0.4.10
T2AJ221GM2 T2AJ221GM2
| URI | m2://inv/T2AJ221GM2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-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.02901#EC5U (definition). In NSP90G5XCQ/e1, definition 2.18
History
- 2026-10-29: add by m2/v0.4.12
Local Tate duality T2AT6KR2H6
| URI | m2://inv/T2AT6KR2H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#3ZQR, Local Tate duality (statement). In H21X3FHNYJ/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.4.2
Convolution theorem for inverse Fourier transform T2ATEMVXHM
| URI | m2://inv/T2ATEMVXHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution theorem#N2EB, Convolution theorem for inverse Fourier transform (statement)
History
- 2026-11-02: add by m2/dev
T2B5Y9MPAN T2B5Y9MPAN
| URI | m2://inv/T2B5Y9MPAN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
Hans Ringström T2BNARJJW2
| URI | m2://inv/T2BNARJJW2 |
|---|---|
| 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#T3VL, Hans Ringström (unknown)
History
- 2026-11-02: add by m2/dev
T2BQJXGMVE T2BQJXGMVE
| URI | m2://inv/T2BQJXGMVE |
|---|---|
| Kind | statement |
| 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 0811.0544#STOS (statement). In RKPZ3SC956/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Scalar equation T2BS5DQSC3
| URI | m2://inv/T2BS5DQSC3 |
|---|---|
| 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#QVX1, Scalar equation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quasi-identifier T2BVQ236GT
| URI | m2://inv/T2BVQ236GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-identifier, Quasi-identifier (definition). Also Wikidata Q17077088
History
- 2026-11-02: add by m2/dev
T2BXGJ93WN T2BXGJ93WN
| URI | m2://inv/T2BXGJ93WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#FXN3 (statement). In YZNK67K060/e1, proposition 7.5
History
- 2026-10-29: add by m2/v0.4.12
Stephen G. Brush T2BYP7SHPG
| URI | m2://inv/T2BYP7SHPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of textbooks in thermodynamics and statistical mechanics#5145, Stephen G. Brush (unknown)
History
- 2026-11-02: add by m2/dev
Construction T2C5P4MP0W
| URI | m2://inv/T2C5P4MP0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian polyhedron#2063, Construction (definition)
History
- 2026-11-02: add by m2/dev
T2CDFHQXG8 T2CDFHQXG8
| URI | m2://inv/T2CDFHQXG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#FBCX (statement). In PZ17NHGAKX/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.10
T2CEQNQRFT T2CEQNQRFT
| URI | m2://inv/T2CEQNQRFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2204.00813#J9GW (statement). In ADKTJTBR9Z/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Reverse triangle inequality T2CGYPQTNT
| URI | m2://inv/T2CGYPQTNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-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.21775#9HFM, Reverse triangle inequality (statement). In KM3Q791JY0/e1, proposition 2.23
History
- 2026-10-27: add by m2/v0.4.2
P-value T2CSRW5A5D
| URI | m2://inv/T2CSRW5A5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1QFT, P-value (definition)
History
- 2026-11-02: add by m2/dev
T2CWXFN3JR T2CWXFN3JR
| URI | m2://inv/T2CWXFN3JR |
|---|---|
| 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.10338#IC33 (statement). In WZ3GXRAB00/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
sample mean T2D026NQVC
| URI | m2://inv/T2D026NQVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#QH02, sample mean (definition)
History
- 2026-11-02: add by m2/dev
T2D4G6BM1R T2D4G6BM1R
| URI | m2://inv/T2D4G6BM1R |
|---|---|
| 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.17129#5S09 (statement). In TCZWAMNYCV/e1, proposition 6.19
History
- 2026-10-28: add by m2/v0.4.2
T2DB38QF96 T2DB38QF96
| URI | m2://inv/T2DB38QF96 |
|---|---|
| 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 2609.39353#K3UJ (statement). In 2PZR1KX2RC/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
T2DC3C21AR T2DC3C21AR
| URI | m2://inv/T2DC3C21AR |
|---|---|
| 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.07890#KNZW (statement). In 6F3GSDT2V1/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Salatiga T2DC52K6NZ
| URI | m2://inv/T2DC52K6NZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GF6O, Salatiga (unknown)
History
- 2026-11-02: add by m2/dev
Legendre–Clebsch condition T2DE4RHPRQ
| URI | m2://inv/T2DE4RHPRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ZZSS, Legendre–Clebsch condition (definition)
History
- 2026-11-02: add by m2/dev
Construction T2DF8YP43V
| URI | m2://inv/T2DF8YP43V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exceptional character#0KY8, Construction (definition)
History
- 2026-11-02: add by m2/dev
T2DH7M3ZJJ T2DH7M3ZJJ
| URI | m2://inv/T2DH7M3ZJJ |
|---|---|
| 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.14249#C0DV (statement). In B6P8PG8R8T/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
T2DQ7GWJVR T2DQ7GWJVR
| URI | m2://inv/T2DQ7GWJVR |
|---|---|
| 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 2610.19311#KZGV (definition). In 3MFD6RSV41/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
T2E79YGAH8 T2E79YGAH8
| URI | m2://inv/T2E79YGAH8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearby Lagrangian conjecture#7SJO (problem)
History
- 2026-11-02: add by m2/dev
Examples T2EBXY7ERW
| URI | m2://inv/T2EBXY7ERW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursion (computer science)#KOHP, Examples (example)
History
- 2026-11-02: add by m2/dev
Somos sequence T2EDTFCQ61
| URI | m2://inv/T2EDTFCQ61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Somos sequence 27K5X7S4XN |
Mentions
- wikidata: Wikidata Q7560513, Somos sequence (unknown). Also MathWorld SomosSequence
- wikipedia: Wikipedia Somos sequence, Somos sequence (definition). Also Wikidata Q7560513
History
- 2026-10-26: add by m2/dev
T2EV6T2FYW T2EV6T2FYW
| URI | m2://inv/T2EV6T2FYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#P9M0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T2F3AT6ASH T2F3AT6ASH
| URI | m2://inv/T2F3AT6ASH |
|---|---|
| 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.29605#XZBS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 149 and Theorem 155 T2F63QZ2VG
| URI | m2://inv/T2F63QZ2VG |
|---|---|
| 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#P5GK, Theorem 149 and Theorem 155 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Victor Mazurov T2F91W7391
| URI | m2://inv/T2F91W7391 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Mazurov, Victor Mazurov (topic). Also Wikidata Q17386353
History
- 2026-11-02: add by m2/dev
Galois, extension T2FJFJV7H8
| URI | m2://inv/T2FJFJV7H8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/galois-extension, Galois, extension (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Construction T2FV9ZCN58
| URI | m2://inv/T2FV9ZCN58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle construction theorem#VIX1, Construction (definition)
History
- 2026-11-02: add by m2/dev
T2G6KN0MWS T2G6KN0MWS
| URI | m2://inv/T2G6KN0MWS |
|---|---|
| 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.18600#KWAF (statement). In 31D6TQVCNZ/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Orthogoal collocation T2G81P7HJ4
| URI | m2://inv/T2G81P7HJ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collocation method#6ZJE, Orthogoal collocation (unknown)
History
- 2026-11-02: add by m2/dev
Diego Córdoba T2G9HD71JV
| URI | m2://inv/T2G9HD71JV |
|---|---|
| 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#2E7Y, Diego Córdoba (unknown)
History
- 2026-11-02: add by m2/dev
Rigidity matroid T2GDXX7QKQ
| URI | m2://inv/T2GDXX7QKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigidity matroid, Rigidity matroid (definition). Also Wikidata Q7333818
History
- 2026-11-02: add by m2/dev
T2GK52566D T2GK52566D
| URI | m2://inv/T2GK52566D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-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.09333#0XN1 (statement). In Z9HC1EDTQP/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
T2GM2R0H4Z T2GM2R0H4Z
| URI | m2://inv/T2GM2R0H4Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#thm:always symmetric (statement). In P1C114YBXG, theorem, section G
History
- 2026-11-01: add by m2/v0.6.13
decision procedure T2GSAEY96V
| URI | m2://inv/T2GSAEY96V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1UGS, decision procedure (definition)
History
- 2026-11-02: add by m2/dev
Babylonian Method T2H161ZESR
| URI | m2://inv/T2H161ZESR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root algorithms#KG6F, Babylonian Method (unknown)
History
- 2026-11-02: add by m2/dev
T2H3KCZRGR T2H3KCZRGR
| URI | m2://inv/T2H3KCZRGR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
Föppl–von Kármán equations T2H7Z5A2NT
| URI | m2://inv/T2H7Z5A2NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Föppl–von Kármán equations, Föppl–von Kármán equations (definition). Also Wikidata Q5511705
History
- 2026-11-02: add by m2/dev
Boris Galerkin T2H9YNWN1V
| URI | m2://inv/T2H9YNWN1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Galerkin, Boris Galerkin (topic). Also Wikidata Q893667
History
- 2026-11-02: add by m2/dev
T2HMWTEF76 T2HMWTEF76
| URI | m2://inv/T2HMWTEF76 |
|---|---|
| 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.01932#GJOK (statement). In XDKWW6NR0K/e1, fact 2.6
History
- 2026-10-29: add by m2/v0.4.12
T2HNC0063D T2HNC0063D
| URI | m2://inv/T2HNC0063D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
Iwasawa T2J6D3WYXF
| URI | m2://inv/T2J6D3WYXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#QGJO, Iwasawa (definition)
History
- 2026-11-02: add by m2/dev
T2JCDQRTW3 T2JCDQRTW3
| URI | m2://inv/T2JCDQRTW3 |
|---|---|
| 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.21915#L0JN (statement)
History
- 2026-11-02: add by m2/v0.6.17
first-order, logic T2JGNAXSTP
| URI | m2://inv/T2JGNAXSTP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.10/first-order-logic, first-order, logic (concept). In N54F33XE07, index, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
Chemical potential T2JPNRRT6M
| URI | m2://inv/T2JPNRRT6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemical potential, Chemical potential (definition). Also Wikidata Q737004
History
- 2026-11-02: add by m2/dev
T2JY1BA7HV T2JY1BA7HV
| URI | m2://inv/T2JY1BA7HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/representing-tms.tex#defn:tm-descr (definition). In PKGMM3P5QY, defn, section 86.9
History
- 2026-11-01: add by m2/v0.6.13
Rho value T2K9T8KC09
| URI | m2://inv/T2K9T8KC09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hammett equation#UYUG, Rho value (unknown)
History
- 2026-11-02: add by m2/dev
Fixation probability T2KD9SBB41
| URI | m2://inv/T2KD9SBB41 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixation (population genetics)#CWQT, Fixation probability (unknown)
History
- 2026-11-02: add by m2/dev
T2KJ9V9FF4 T2KJ9V9FF4
| URI | m2://inv/T2KJ9V9FF4 |
|---|---|
| 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 2103.02468#TPWA (statement). In Q7C6G66CWM/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Examples T2KN5MQJ1C
| URI | m2://inv/T2KN5MQJ1C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kervaire–Milnor group#LOQ8, Examples (example)
History
- 2026-11-02: add by m2/dev
T2KPXZ2W66 T2KPXZ2W66
| URI | m2://inv/T2KPXZ2W66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#AJZO (statement). In 2BET1RE1F6/e1, proposition 3.17
History
- 2026-10-31: add by m2/v0.5.6
T2M1WY11DB T2M1WY11DB
| URI | m2://inv/T2M1WY11DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#AZQT (statement). In PF5JJ9DS8Q/e1, proposition 6.3.2
History
- 2026-10-28: add by m2/v0.4.2
T2M37YP24T T2M37YP24T
| URI | m2://inv/T2M37YP24T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#12Q3 (statement). In Q74G3BVZAQ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Main Theorem T2MC1HRRHN
| URI | m2://inv/T2MC1HRRHN |
|---|---|
| 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 0904.3493#NJEE, Main Theorem (statement). In 1ARY7220P4/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Localized momentum identity T2MJM0WCZ1
| URI | m2://inv/T2MJM0WCZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12387#7A6V, Localized momentum identity (statement). In 3Z0PRE77SY/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Definition T2N4CWQQ9E
| URI | m2://inv/T2N4CWQQ9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface of constant width#RLHB, Definition (definition)
History
- 2026-11-02: add by m2/dev
T2N7NQY2Q7 T2N7NQY2Q7
| URI | m2://inv/T2N7NQY2Q7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-2 (example). In E9HS8K3A52, example, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
Three-leaved clover T2N8BQ8CJ8
| URI | m2://inv/T2N8BQ8CJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane quartic curve#GPJC, Three-leaved clover (unknown)
History
- 2026-11-02: add by m2/dev
LIBSVM T2N9YKYVWM
| URI | m2://inv/T2N9YKYVWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#YHFO, LIBSVM (definition)
History
- 2026-11-02: add by m2/dev
T2NMPZ2PE8 T2NMPZ2PE8
| URI | m2://inv/T2NMPZ2PE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#465X (statement). In Y8A35AV31M/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
T2NNEJH9EK T2NNEJH9EK
| URI | m2://inv/T2NNEJH9EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#7LX7 (statement). In 9XCA9T80GJ/e1, theorem 6.2.2
History
- 2026-10-28: add by m2/v0.4.2
T2NX44B1QF T2NX44B1QF
| URI | m2://inv/T2NX44B1QF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#GOZE (definition). In EVFX1R7ZDD/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
T2NYTSC9KA T2NYTSC9KA
| URI | m2://inv/T2NYTSC9KA |
|---|---|
| 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.31907#AYK4 (statement). In 6B2PCEGCYZ/e1, proposition 2.14
History
- 2026-10-31: add by m2/v0.5.6
T2P09WP5A8 T2P09WP5A8
| URI | m2://inv/T2P09WP5A8 |
|---|---|
| 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.14189#KXON (statement). In 39VAB08YDJ/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
approximation by step functions T2PCRE8YD9
| URI | m2://inv/T2PCRE8YD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > approximation by step functions, approximation by step functions (unknown). Also Mathlib MeasureTheory.SimpleFunc.tendsto_approxOn
History
- 2026-10-26: add by m2/dev
Applications T2PCXKGW6S
| URI | m2://inv/T2PCXKGW6S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waterfall chart#QOUI, Applications (example)
History
- 2026-11-02: add by m2/dev
T2PSFRDWDX T2PSFRDWDX
| URI | m2://inv/T2PSFRDWDX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18907#XXPR (definition). In 4SSZ4PF2P2/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Mechanism design T2PVFE327Z
| URI | m2://inv/T2PVFE327Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechanism design, Mechanism design (topic). Also Wikidata Q26090
History
- 2026-11-02: add by m2/dev
Archimedes' constant T2PVJRGQVN
| URI | m2://inv/T2PVJRGQVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#3YIV, Archimedes' constant (definition)
History
- 2026-11-02: add by m2/dev
law of cosines T2Q09DGJCG
| URI | m2://inv/T2Q09DGJCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Law of cosines 060ZVZBV3E |
Mentions
- wikidata: Wikidata Q164321, law of cosines (statement). Also MathWorld LawofCosines, nLab Law of Cosines, ProofWiki Law_of_Cosines
- wikipedia: Wikipedia Law of cosines, Law of cosines (statement). Also Wikidata Q164321
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Petr–Douglas–Neumann theorem T2Q6A398E7
| URI | m2://inv/T2Q6A398E7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Napoleon's theorem#C1OM, Petr–Douglas–Neumann theorem (statement)
History
- 2026-11-02: add by m2/dev
Philip Welch T2QDFXE4TX
| URI | m2://inv/T2QDFXE4TX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A1EX, Philip Welch (topic)
History
- 2026-11-02: add by m2/dev
T2QEAZ0RZ2 T2QEAZ0RZ2
| URI | m2://inv/T2QEAZ0RZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12319#VJ0M (statement). In FH8GB1C17K/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Virasoro conjecture T2QHP7ZNHY
| URI | m2://inv/T2QHP7ZNHY |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#I62O, Virasoro conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Gradient T2QHVVY46A
| URI | m2://inv/T2QHVVY46A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#Y8GS, Gradient (definition)
History
- 2026-11-02: add by m2/dev
T2QJ9VFXF2 T2QJ9VFXF2
| URI | m2://inv/T2QJ9VFXF2 |
|---|---|
| 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.12912#UYH4 (statement). In PDKBKKJ4BV/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
distance-hereditary graph T2QQ7G18EZ
| URI | m2://inv/T2QQ7G18EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5282847, distance-hereditary graph (unknown). Also MathWorld Distance-HereditaryGraph
- wikipedia: Wikipedia Distance-hereditary graph, Distance-hereditary graph (definition). Also Wikidata Q5282847
History
- 2026-10-26: add by m2/dev
T2QQATWCRZ T2QQATWCRZ
| URI | m2://inv/T2QQATWCRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#JSNP (statement). In 8QVWZ23N42/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
T2QY9V3EGT T2QY9V3EGT
| URI | m2://inv/T2QY9V3EGT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/kleene.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 42.4
History
- 2026-11-01: add by m2/v0.6.13
T2RDSGMHZF T2RDSGMHZF
| URI | m2://inv/T2RDSGMHZF |
|---|---|
| Kind | definition |
| 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 2302.06189#UBW5 (definition). In N5ZSHXYYV6/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
T2RE85FHMX T2RE85FHMX
| URI | m2://inv/T2RE85FHMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.21337#W4QD (statement). In EPZN0JTG2Z/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
T2RZ3ZFN5Q T2RZ3ZFN5Q
| URI | m2://inv/T2RZ3ZFN5Q |
|---|---|
| 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 2308.07021#6GTH (statement). In H4CM84JVPC/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
logical pluralism T2S1HV4MA7
| URI | m2://inv/T2S1HV4MA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#00E4, logical pluralism (definition)
History
- 2026-11-02: add by m2/dev
T2SBBTT3NR T2SBBTT3NR
| URI | m2://inv/T2SBBTT3NR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#example-symmetry-formula (example). In Y91XFCEVHQ, example, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
Artinian ideal T2SDKTCF01
| URI | m2://inv/T2SDKTCF01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#2X33, Artinian ideal (definition)
History
- 2026-11-02: add by m2/dev
T2SGYZESQ6 T2SGYZESQ6
| URI | m2://inv/T2SGYZESQ6 |
|---|---|
| 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.20558#4ZSE (definition). In 46370P3Y9S/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Full-batch Muon versus Adam T2SJEFMVZP
| URI | m2://inv/T2SJEFMVZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#26O1, Full-batch Muon versus Adam (statement). In TTEAQA1XXR/e1, corollary C.28
History
- 2026-10-28: add by m2/v0.4.3
S. S. Chern T2SK0MM5RG
| URI | m2://inv/T2SK0MM5RG |
|---|---|
| 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#HYQ9, S. S. Chern (topic)
History
- 2026-11-02: add by m2/dev
T2SQVTMFGN T2SQVTMFGN
| URI | m2://inv/T2SQVTMFGN |
|---|---|
| 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#ENFO (statement). In S8NB83KQX3/e1, lemma 8
History
- 2026-10-31: add by m2/v0.5.6
Examples T2ST07MAMS
| URI | m2://inv/T2ST07MAMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential map (Lie theory)#7SNM, Examples (example)
History
- 2026-11-02: add by m2/dev
Rational homotopy theory T2SWNS5E0Y
| URI | m2://inv/T2SWNS5E0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational homotopy theory, Rational homotopy theory (definition). Also Wikidata Q4391254
History
- 2026-11-02: add by m2/dev
Logarithmic Sobolev inequalities T2SYRDKF12
| URI | m2://inv/T2SYRDKF12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic Sobolev inequalities, Logarithmic Sobolev inequalities (definition). Also Wikidata Q97610260
History
- 2026-11-02: add by m2/dev
Problem on (-∞,∞) homogeneous initial conditions T2T15PDH24
| URI | m2://inv/T2T15PDH24 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat equation#TNPR, Problem on (-∞,∞) homogeneous initial conditions (problem)
History
- 2026-11-02: add by m2/dev
T2TB3BCBFQ T2TB3BCBFQ
| URI | m2://inv/T2TB3BCBFQ |
|---|---|
| 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.05142#U7H2 (definition). In 8A0HVCGRR8/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
T2TN0ZJVRF T2TN0ZJVRF
| URI | m2://inv/T2TN0ZJVRF |
|---|---|
| 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.09162#VT9I (statement). In TAPS8P2VYS/e1, lemma 1.28
History
- 2026-10-29: add by m2/v0.4.10
B. (Bertram) C. Brookes T2TNNGWZWK
| URI | m2://inv/T2TNNGWZWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B. (Bertram) C. Brookes, B. (Bertram) C. Brookes (topic). Also Wikidata Q15439884
History
- 2026-11-02: add by m2/dev
Null-space decomposition T2V6MNHPS2
| URI | m2://inv/T2V6MNHPS2 |
|---|---|
| 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.13685#K08L, Null-space decomposition (statement). In 4XQWY8C4AV/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
Consistency strength T2V7YASW0N
| URI | m2://inv/T2V7YASW0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equiconsistency#0HAL, Consistency strength (unknown)
History
- 2026-11-02: add by m2/dev
T2VGZMZ824 T2VGZMZ824
| URI | m2://inv/T2VGZMZ824 |
|---|---|
| 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 2202.10920#4NK6 (statement). In 6TTFGK6ZV0/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Current (mathematics) T2VQKJY58G
| URI | m2://inv/T2VQKJY58G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#UA1L, Current (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Andrew Gelman T2VT5MPNYV
| URI | m2://inv/T2VT5MPNYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Gelman, Andrew Gelman (topic). Also Wikidata Q4757073
History
- 2026-11-02: add by m2/dev
T2VYB7VFN6 T2VYB7VFN6
| URI | m2://inv/T2VYB7VFN6 |
|---|---|
| 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.26745#T6K6 (statement)
- arxiv: arXiv 2610.00247#OJHA (statement). In ZAM4S2XS9F/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
T2VYWPBJPG T2VYWPBJPG
| URI | m2://inv/T2VYWPBJPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.28861#AV2C (statement). In A3VQ2TNRKK/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.0
T2W25NMM58 T2W25NMM58
| URI | m2://inv/T2W25NMM58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.06338#0I5B (statement). In F1CYVYK7YB/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
Vaisheshika T2W5WD6YGT
| URI | m2://inv/T2W5WD6YGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaisheshika, Vaisheshika (definition). Also Wikidata Q651387
History
- 2026-11-02: add by m2/dev
Bruce Reznick T2W7649WWJ
| URI | m2://inv/T2W7649WWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NZ1A, Bruce Reznick (topic)
History
- 2026-11-02: add by m2/dev
Passage to the unbounded BSPDE T2W9C8E8JY
| URI | m2://inv/T2W9C8E8JY |
|---|---|
| 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.09278#2M93, Passage to the unbounded BSPDE (statement). In XREKHJHAT7/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.10
Dieter Wandschneider T2WDQ6XV3J
| URI | m2://inv/T2WDQ6XV3J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1222973, Dieter Wandschneider (unknown). Also nLab Dieter Wandschneider
History
- 2026-10-26: add by m2/dev
Applications T2WEHRPHBK
| URI | m2://inv/T2WEHRPHBK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford algebra#LJJ9, Applications (example)
History
- 2026-11-02: add by m2/dev
Lasker-Noether Theorem T2WFSY8EVV
| URI | m2://inv/T2WFSY8EVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative algebra#OVHE, Lasker-Noether Theorem (statement)
History
- 2026-11-02: add by m2/dev
Value at risk T2WHD87F4R
| URI | m2://inv/T2WHD87F4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#1HVW, Value at risk (definition)
History
- 2026-11-02: add by m2/dev
Composite measure T2WXFY53M1
| URI | m2://inv/T2WXFY53M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composite measure, Composite measure (definition). Also Wikidata Q18206127
History
- 2026-11-02: add by m2/dev
Rebeca Guber T2XFFYY5X6
| URI | m2://inv/T2XFFYY5X6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rebeca Guber, Rebeca Guber (topic). Also Wikidata Q60829798
History
- 2026-11-02: add by m2/dev
Aristotle's sea battle T2XJ9Q7VJ5
| URI | m2://inv/T2XJ9Q7VJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#R0FJ, Aristotle's sea battle (definition)
History
- 2026-11-02: add by m2/dev
T2XT8JMJV0 T2XT8JMJV0
| URI | m2://inv/T2XT8JMJV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#LDKA (statement). In BDN507RN7J/e1, theorem 5.3.4
History
- 2026-10-30: add by m2/v0.4.12
Regina Nuzzo T2YQE1D6WZ
| URI | m2://inv/T2YQE1D6WZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regina Nuzzo, Regina Nuzzo (topic). Also Wikidata Q95685631
History
- 2026-11-02: add by m2/dev
Two local moment identities T2YXE28N0C
| URI | m2://inv/T2YXE28N0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#E2YS, Two local moment identities (statement). In HGTFJ325A4/e1, theorem 7.5
History
- 2026-10-30: add by m2/v0.4.12
reflexive space T2YYM72GSQ
| URI | m2://inv/T2YYM72GSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Reflexive space NN8RWPC8WG |
Mentions
- wikidata: Wikidata Q2032198, reflexive space (unknown). Also EoM Reflexive_space, MathWorld ReflexiveSpace, nLab reflexive Banach space
- wikipedia: Wikipedia Reflexive space, Reflexive space (definition). Also Wikidata Q2032198
History
- 2026-10-26: add by m2/dev
S. J. Arakelov T2Z2JZ6CVN
| URI | m2://inv/T2Z2JZ6CVN |
|---|---|
| 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#A4UF, S. J. Arakelov (topic)
History
- 2026-11-02: add by m2/dev
T2Z9EVXQ0R T2Z9EVXQ0R
| URI | m2://inv/T2Z9EVXQ0R |
|---|---|
| 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 2610.14838#UA8J (statement). In J7ZX3WWRQP/e1, theorem 2.20
History
- 2026-10-28: add by m2/v0.4.2
T2ZJ4FVJC0 T2ZJ4FVJC0
| URI | m2://inv/T2ZJ4FVJC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#2TSX (statement). In ZH0PFTZ12Y/e1, lemma 4.18
History
- 2026-10-28: add by m2/v0.4.2
Xiuxiong Chen T2ZJF0MYTY
| URI | m2://inv/T2ZJF0MYTY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xiuxiong Chen, Xiuxiong Chen (topic). Also Wikidata Q63117287
History
- 2026-11-02: add by m2/dev
T2ZMCY38Q3 T2ZMCY38Q3
| URI | m2://inv/T2ZMCY38Q3 |
|---|---|
| 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.04809#LTQC (statement). In 2VHV0RNTNV/e1, lemma 3.19
History
- 2026-10-29: add by m2/v0.4.12
Reduction formula for fermions T2ZT1362V6
| URI | m2://inv/T2ZT1362V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LSZ reduction formula#FQOS, Reduction formula for fermions (statement)
History
- 2026-11-02: add by m2/dev
Properties T2ZWSJ7K32
| URI | m2://inv/T2ZWSJ7K32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism graph#1SB1, Properties (statement)
History
- 2026-11-02: add by m2/dev