Inventory rows TM
The cards of the rows of the inventory whose ids start with TM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Adams-Riemann-Roch TM03MVB2V1
| URI | m2://inv/TM03MVB2V1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2211.10178#Z4T9, Adams-Riemann-Roch (statement). In 8T90H89HNB/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Jacobian identity TM068Q02SN
| URI | m2://inv/TM068Q02SN |
|---|---|
| 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.05204#YP44, Jacobian identity (statement). In ET0TQ8YF7Z/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Raymond J. Carroll TM0VT9FVG4
| URI | m2://inv/TM0VT9FVG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WCX7, Raymond J. Carroll (topic)
History
- 2026-11-02: add by m2/dev
NUTS statistical regions of Romania TM0WZD9KH7
| URI | m2://inv/TM0WZD9KH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NUTS statistical regions of Romania, NUTS statistical regions of Romania (definition). Also Wikidata Q111514
History
- 2026-11-02: add by m2/dev
RCA₀ TM10WB2XK9
| URI | m2://inv/TM10WB2XK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse mathematics#ND09, RCA₀ (unknown)
History
- 2026-11-02: add by m2/dev
Parallel coordinates TM17JKQ1AJ
| URI | m2://inv/TM17JKQ1AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel coordinates, Parallel coordinates (definition). Also Wikidata Q932996
History
- 2026-11-02: add by m2/dev
ergodicity of Brownian scaling TM18WQC4HY
| URI | m2://inv/TM18WQC4HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#G360, ergodicity of Brownian scaling (statement). In CBCCH5VTMQ/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.12
Well-posedness, DN map, and exterior energy estimate TM1B9Z2QE2
| URI | m2://inv/TM1B9Z2QE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#7CIS, Well-posedness, DN map, and exterior energy estimate (statement). In 5B4AX4SF88/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Generalizations TM1S4R2M04
| URI | m2://inv/TM1S4R2M04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological recursion#M4DK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
ReachTEL TM2P7JA7MS
| URI | m2://inv/TM2P7JA7MS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#QTCK, ReachTEL (unknown)
History
- 2026-11-02: add by m2/dev
Non-examples TM2PT2VZDP
| URI | m2://inv/TM2PT2VZDP |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral domain#115O, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Triangular prism TM2TEJ6BR3
| URI | m2://inv/TM2TEJ6BR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RH2R, Triangular prism (definition)
History
- 2026-11-02: add by m2/dev
Canadian Society for History and Philosophy of Mathematics TM314YJHBY
| URI | m2://inv/TM314YJHBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canadian Society for History and Philosophy of Mathematics, Canadian Society for History and Philosophy of Mathematics (definition). Also Wikidata Q5030581
History
- 2026-11-02: add by m2/dev
TM32GEZP27 TM32GEZP27
| URI | m2://inv/TM32GEZP27 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#LDDG (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example TM35YDQPV6
| URI | m2://inv/TM35YDQPV6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal convex hull#94X7, Example (example)
History
- 2026-11-02: add by m2/dev
The contributing orbit TM37WSVNYF
| URI | m2://inv/TM37WSVNYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#95NK, The contributing orbit (statement). In TPYRE2ARMD/e1, proposition 6.6
History
- 2026-10-29: add by m2/v0.4.10
Computability in Analysis and Physics TM3K2HPZGW
| URI | m2://inv/TM3K2HPZGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computability in Analysis and Physics, Computability in Analysis and Physics (definition). Also Wikidata Q96375371
History
- 2026-11-02: add by m2/dev
TM3TJ8RRW8 TM3TJ8RRW8
| URI | m2://inv/TM3TJ8RRW8 |
|---|---|
| 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 1303.4328#4WL8 (statement). In HCTYW6VH87/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Applications TM3YD21JRJ
| URI | m2://inv/TM3YD21JRJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 2#NKAB, Applications (example)
History
- 2026-11-02: add by m2/dev
D4 (root system) TM3YKQMWDP
| URI | m2://inv/TM3YKQMWDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root system#RW3E, D4 (root system) (unknown)
History
- 2026-11-02: add by m2/dev
Properties TM3ZKXCWMH
| URI | m2://inv/TM3ZKXCWMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed measure#N111, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties TM3ZQA4338
| URI | m2://inv/TM3ZQA4338 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson's transform#FWDT, Properties (statement)
History
- 2026-11-02: add by m2/dev
F* TM45CFGZCB
| URI | m2://inv/TM45CFGZCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F* (programming language), F* (definition). Also Wikidata Q5423569
History
- 2026-11-02: add by m2/dev
Spatial remainders TM4660P22A
| URI | m2://inv/TM4660P22A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#OZ9L, Spatial remainders (statement). In 4R1MMSAAVK/e1, corollary 8.1
History
- 2026-10-29: add by m2/v0.4.10
TM4BPV37JA TM4BPV37JA
| URI | m2://inv/TM4BPV37JA |
|---|---|
| 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.01225#CNTY (statement). In MFR807V4YG/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
TM4KVY9GJ0 TM4KVY9GJ0
| URI | m2://inv/TM4KVY9GJ0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.26962#0J0A (example). In XB93QX7DAA/e1, example 1.3
History
- 2026-10-27: add by m2/v0.3.5
Arnoldi queries of the core TM4M0G7BGH
| URI | m2://inv/TM4M0G7BGH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05498#PN80, Arnoldi queries of the core (definition). In TJT32RQ9GC/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
TM4RHNR6PV TM4RHNR6PV
| URI | m2://inv/TM4RHNR6PV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#J7SE (example). In CY1FE8W1ZW/e1, example 0.118
History
- 2026-10-27: add by m2/v0.4.0
Truncated great icosahedron TM52G8AVN8
| URI | m2://inv/TM52G8AVN8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3R6Q, Truncated great icosahedron (object)
History
- 2026-11-02: add by m2/dev
TM58R83E4G TM58R83E4G
| URI | m2://inv/TM58R83E4G |
|---|---|
| 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.07451#7QAT (statement). In P7KT88N75Q/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Modulus of Continuity of the Envelope TM5AN7EGTG
| URI | m2://inv/TM5AN7EGTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#MFF2, Modulus of Continuity of the Envelope (statement). In Z6WA2R0J50/e1, lemma D.2
History
- 2026-10-28: add by m2/v0.4.2
TM5B3CTDN3 TM5B3CTDN3
| URI | m2://inv/TM5B3CTDN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma:bndrytobndry (statement). In VNMV985MXX, lemma, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Gerstenhaber algebra TM5H606Z6S
| URI | m2://inv/TM5H606Z6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gerstenhaber algebra GJPPS5N213 |
Mentions
- wikidata: Wikidata Q5553164, Gerstenhaber algebra (unknown). Also nLab Gerstenhaber algebra
- wikipedia: Wikipedia Gerstenhaber algebra, Gerstenhaber algebra (definition). Also Wikidata Q5553164
History
- 2026-10-26: add by m2/dev
Writer invariant TM5HTGVXF5
| URI | m2://inv/TM5HTGVXF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Writer invariant, Writer invariant (definition). Also Wikidata Q3559516
History
- 2026-11-02: add by m2/dev
BEST theorem TM5HXSSMX6
| URI | m2://inv/TM5HXSSMX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527004, BEST theorem (statement). Also Wikidata Q3527004
- thousand_plus: thousand_plus Q3527004, BEST theorem (statement). Also Wikidata Q3527004, Wikipedia BEST theorem
- wikipedia: Wikipedia BEST theorem, BEST theorem (statement). Also Wikidata Q3527004
History
- 2026-10-26: add by m2/dev
Seung-Yeal Ha TM5JM0YVMH
| URI | m2://inv/TM5JM0YVMH |
|---|---|
| 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#OURF, Seung-Yeal Ha (unknown)
History
- 2026-11-02: add by m2/dev
Bound state TM5STYTHW2
| URI | m2://inv/TM5STYTHW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#F0WT, Bound state (definition)
History
- 2026-11-02: add by m2/dev
Schaum's Outlines TM5VHXR48D
| URI | m2://inv/TM5VHXR48D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schaum's Outlines, Schaum's Outlines (definition). Also Wikidata Q7430997
History
- 2026-11-02: add by m2/dev
Prismatic compound of antiprisms with rotational freedom TM62GH0J3Z
| URI | m2://inv/TM62GH0J3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prismatic compound of antiprisms with rotational freedom, Prismatic compound of antiprisms with rotational freedom (definition). Also Wikidata Q7245694
History
- 2026-11-02: add by m2/dev
TM62TWHDJ3 TM62TWHDJ3
| URI | m2://inv/TM62TWHDJ3 |
|---|---|
| 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 2504.02065#JJ3Z (statement). In 60CK7P5F36/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
TM631N7ZVD TM631N7ZVD
| URI | m2://inv/TM631N7ZVD |
|---|---|
| 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#QQVM (statement). In 5E9G06XJKC/e1, lemma F.8
History
- 2026-10-28: add by m2/v0.4.2
TM65Y0T90B TM65Y0T90B
| URI | m2://inv/TM65Y0T90B |
|---|---|
| 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.21976#ESYN (statement)
History
- 2026-11-02: add by m2/v0.6.17
TM68B4M789 TM68B4M789
| URI | m2://inv/TM68B4M789 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/operations.tex#ex-1 (example). In PKGMM3P5QY, ex, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
Tukia-type almost-isometry theorem TM68G4CN3B
| URI | m2://inv/TM68G4CN3B |
|---|---|
| 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.28014#7U73, Tukia-type almost-isometry theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
TM6AQTDQBH TM6AQTDQBH
| URI | m2://inv/TM6AQTDQBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22909#9SWI (statement)
History
- 2026-11-02: add by m2/v0.6.17
TM6E4G93YK TM6E4G93YK
| URI | m2://inv/TM6E4G93YK |
|---|---|
| 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.04874#9UOJ (statement). In X365951S4Q/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.12
graph isomorphism TM6EG3W21W
| URI | m2://inv/TM6EG3W21W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Graph isomorphism 00CT0PTH74 |
Mentions
- wikidata: Wikidata Q303100, graph isomorphism (unknown). Also MathWorld GraphIsomorphism
- wikipedia: Wikipedia Graph isomorphism, Graph isomorphism (definition). Also Wikidata Q303100
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Comparison of configurations that agree locally TM6G8SW3B0
| URI | m2://inv/TM6G8SW3B0 |
|---|---|
| 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.06372#11FB, Comparison of configurations that agree locally (statement). In G3E1P350Z6/e1, lemma D.7
History
- 2026-10-29: add by m2/v0.4.10
TM6JPK3RJP TM6JPK3RJP
| URI | m2://inv/TM6JPK3RJP |
|---|---|
| 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#GQPH (statement). In 67GE5M1GGD/e1, theorem 3.11
History
- 2026-10-30: add by m2/v0.4.12
Satisfaction relation TM6VE3FQHS
| URI | m2://inv/TM6VE3FQHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#67GG, Satisfaction relation (unknown)
History
- 2026-11-02: add by m2/dev
TM6WC2081B TM6WC2081B
| URI | m2://inv/TM6WC2081B |
|---|---|
| Kind | definition |
| 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#LP8T (definition). In 9EMCPF1F2T/e1, definition 18
History
- 2026-10-29: add by m2/v0.4.10
Robert Adamson TM6X3A2W5M
| URI | m2://inv/TM6X3A2W5M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Adamson (philosopher), Robert Adamson (topic). Also Wikidata Q3314970
History
- 2026-11-02: add by m2/dev
Aretha Teckentrup TM70P9PAGV
| URI | m2://inv/TM70P9PAGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aretha Teckentrup, Aretha Teckentrup (topic). Also Wikidata Q103362291
History
- 2026-11-02: add by m2/dev
TM7C4DANF1 TM7C4DANF1
| URI | m2://inv/TM7C4DANF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#25W1 (statement). In 1PR73ECTZB/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Terminology TM7DSK5H99
| URI | m2://inv/TM7DSK5H99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional network#H1X0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
TM7MWA37G4 TM7MWA37G4
| URI | m2://inv/TM7MWA37G4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#GWP3 (definition). In S26QVW5613/e1, definition 2.4.1
History
- 2026-10-30: add by m2/v0.4.12
Vesentini TM7TMXXEPK
| URI | m2://inv/TM7TMXXEPK |
|---|---|
| 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#DKD0, Vesentini (statement). In NJDN112PFS/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
linear operator TM80KNR05G
| URI | m2://inv/TM80KNR05G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.1/linear-operator, linear operator (concept). In E9HS8K3A52, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Dmitry Faddeev TM818J8NTA
| URI | m2://inv/TM818J8NTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitry Faddeev, Dmitry Faddeev (topic). Also Wikidata Q1232555
History
- 2026-11-02: add by m2/dev
Direct estimate for the Robin boundary trace TM85AVK1VM
| URI | m2://inv/TM85AVK1VM |
|---|---|
| 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.14323#DTUH, Direct estimate for the Robin boundary trace (statement). In VAWEP32BEX/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Effects of climate change on ocean gyres TM88B089XN
| URI | m2://inv/TM88B089XN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ocean gyre#Y5S3, Effects of climate change on ocean gyres (unknown)
History
- 2026-11-02: add by m2/dev
Definitions and the statement of the Jordan theorem TM8A59R03K
| URI | m2://inv/TM8A59R03K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan curve theorem#WG3E, Definitions and the statement of the Jordan theorem (definition)
History
- 2026-11-02: add by m2/dev
Centrality of evaluation loops TM8B6BKFVR
| URI | m2://inv/TM8B6BKFVR |
|---|---|
| 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 2609.29839#8ET4, Centrality of evaluation loops (statement)
History
- 2026-11-01: add by m2/v0.6.15
TM8G57S5FG TM8G57S5FG
| URI | m2://inv/TM8G57S5FG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-3 (proof). In N54F33XE07, proof, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Domain of bounded formulas TM8Q3YFN2N
| URI | m2://inv/TM8Q3YFN2N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.08233#KOVC, Domain of bounded formulas (definition). In 2TXXQ2575Y/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
TM8QA38Y43 TM8QA38Y43
| URI | m2://inv/TM8QA38Y43 |
|---|---|
| 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.12013#TTEC (statement). In 3V26T0265C/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Spectral theorem TM8QY4RQTJ
| URI | m2://inv/TM8QY4RQTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-valued measure#4IGZ, Spectral theorem (statement)
History
- 2026-11-02: add by m2/dev
Order-4 octahedral honeycomb TM8SPQ3XMY
| URI | m2://inv/TM8SPQ3XMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#30XY, Order-4 octahedral honeycomb (definition)
History
- 2026-11-02: add by m2/dev
TM9085J233 TM9085J233
| URI | m2://inv/TM9085J233 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00786#EJGZ (statement). In XKEE0DK6N3/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
TM91W4BXTZ TM91W4BXTZ
| URI | m2://inv/TM91W4BXTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#U1UI (statement). In HBZXCMYPME/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
TM92ECADS7 TM92ECADS7
| URI | m2://inv/TM92ECADS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#OGIU (statement). In TC5QA4AB4Z/e1, corollary 4.33
History
- 2026-10-30: add by m2/v0.4.12
TM98G9GNZY TM98G9GNZY
| URI | m2://inv/TM98G9GNZY |
|---|---|
| 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.01268#WNH9 (statement). In 80Q4X3WT8W/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Magma (algebra) TM9C4WQ99B
| URI | m2://inv/TM9C4WQ99B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#MZQZ, Magma (algebra) (definition)
History
- 2026-11-02: add by m2/dev
TM9D8D027B TM9D8D027B
| URI | m2://inv/TM9D8D027B |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.01436#R87P (proof). In FE59Q5BHKZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Combined linear congruential generator TM9FNRVDDN
| URI | m2://inv/TM9FNRVDDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combined linear congruential generator, Combined linear congruential generator (definition). Also Wikidata Q5150868
History
- 2026-11-02: add by m2/dev
TM9H9X63HK TM9H9X63HK
| URI | m2://inv/TM9H9X63HK |
|---|---|
| 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 2602.03058#0CFN (statement). In XQ0ZXH8KAC/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
zero-product property TM9J43X8Y8
| URI | m2://inv/TM9J43X8Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2248306, zero-product property (unknown). Also MathWorld ZeroProductProperty
- wikipedia: Wikipedia Zero-product property, Zero-product property (definition). Also Wikidata Q2248306
History
- 2026-10-26: add by m2/dev
irreducible representation TM9JQEW51P
| URI | m2://inv/TM9JQEW51P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Linear representations > irreducible representation, irreducible representation (unknown). Also Mathlib Representation.IsIrreducible
History
- 2026-10-26: add by m2/dev
Weak comparison principle on exterior domains TM9SX5YDZ3
| URI | m2://inv/TM9SX5YDZ3 |
|---|---|
| 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.02751#PZ1N, Weak comparison principle on exterior domains (statement). In MWGXPXF3BW/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
TMA5GMYJ5G TMA5GMYJ5G
| URI | m2://inv/TMA5GMYJ5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#J50B (statement). In 1NZSZ241WE/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Delegated credential TMA64ESKBB
| URI | m2://inv/TMA64ESKBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delegated credential, Delegated credential (definition). Also Wikidata Q97356398
History
- 2026-11-02: add by m2/dev
TMACC8NZRW TMACC8NZRW
| URI | m2://inv/TMACC8NZRW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/RussellsParadox.tex#problem-1 (exercise). In P1C114YBXG, problem, section I
History
- 2026-11-01: add by m2/v0.6.13
TMAJKDR95S TMAJKDR95S
| URI | m2://inv/TMAJKDR95S |
|---|---|
| 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 2310.11101#9JG5 (statement). In YBBKTP4E70/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.3.5
TMAPR0QEZ0 TMAPR0QEZ0
| URI | m2://inv/TMAPR0QEZ0 |
|---|---|
| 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.10968#JVKM (statement). In KJRV9ZW833/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.3
TMAV0ZMDHG TMAV0ZMDHG
| URI | m2://inv/TMAV0ZMDHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#XDYK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harish-Chandra TMAVVFKWNM
| URI | m2://inv/TMAVVFKWNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra, Harish-Chandra (topic). Also Wikidata Q1585395
History
- 2026-11-02: add by m2/dev
TMAYBDCY44 TMAYBDCY44
| URI | m2://inv/TMAYBDCY44 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:algebraic-ordinals (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
TMAYM4NTN8 TMAYM4NTN8
| URI | m2://inv/TMAYM4NTN8 |
|---|---|
| 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.22825#9U9S (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hilbert cube TMB2N901ZB
| URI | m2://inv/TMB2N901ZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#HXVE, Hilbert cube (definition)
History
- 2026-11-02: add by m2/dev
TMBBCQE28S TMBBCQE28S
| URI | m2://inv/TMBBCQE28S |
|---|---|
| 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#LA4Z (statement). In FCMMB2EVAP/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.4.2
Stretched Torus TMBCX9BVRF
| URI | m2://inv/TMBCX9BVRF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#2LPI, Stretched Torus (definition). In FPSGZ5S6YF/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
History certification TMBFNQNHN9
| URI | m2://inv/TMBFNQNHN9 |
|---|---|
| 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.14081#4O9G, History certification (statement). In DCCKKQ7Y21/e1, theorem IV.5
History
- 2026-10-28: add by m2/v0.4.2
Ordered Grassmann expansion TMBHK677BR
| URI | m2://inv/TMBHK677BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#WP6H, Ordered Grassmann expansion (statement). In HA9B7PD0YV/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
TMBK52Y75M TMBK52Y75M
| URI | m2://inv/TMBK52Y75M |
|---|---|
| Kind | definition |
| 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.14267#P7SJ (definition). In 9YTGFNA004/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Regular representation TMBMN2GJ1B
| URI | m2://inv/TMBMN2GJ1B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-6, Regular representation (example). In RZP28ERRZV, example, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
TMBQ6BHMD2 TMBQ6BHMD2
| URI | m2://inv/TMBQ6BHMD2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
Cesare Arzelà TMBVAD5QH1
| URI | m2://inv/TMBVAD5QH1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#SRSK, Cesare Arzelà (topic)
- wikipedia: Wikipedia List of Italian mathematicians#XGYZ, Cesare Arzelà (topic)
History
- 2026-11-02: add by m2/dev
TMBW32MMC8 TMBW32MMC8
| URI | m2://inv/TMBW32MMC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#HHU8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TMBXKBQW15 TMBXKBQW15
| URI | m2://inv/TMBXKBQW15 |
|---|---|
| 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.20145#H47F (statement)
History
- 2026-11-02: add by m2/v0.6.18
TMBZN1FY6E TMBZN1FY6E
| URI | m2://inv/TMBZN1FY6E |
|---|---|
| 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.22847#FC99 (statement)
History
- 2026-11-02: add by m2/v0.6.17
TMC0H7Q15V TMC0H7Q15V
| URI | m2://inv/TMC0H7Q15V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-56 (exercise). In E59CDZA4DP, exercise, section 11.4.3
History
- 2026-11-01: add by m2/v0.6.13
Characterization TMC6B4QQ97
| URI | m2://inv/TMC6B4QQ97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kumaraswamy distribution#BXLP, Characterization (statement)
History
- 2026-11-02: add by m2/dev
TMCEHTJ75Y TMCEHTJ75Y
| URI | m2://inv/TMCEHTJ75Y |
|---|---|
| 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 2603.29838#SSDW (statement). In KP0X1RKKKB/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.4.0
SnapPea TMCHZVYSW5
| URI | m2://inv/TMCHZVYSW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SnapPea, SnapPea (definition). Also Wikidata Q17081742
History
- 2026-11-02: add by m2/dev
ramphoid TMCJEKPSFT
| URI | m2://inv/TMCJEKPSFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#D3VZ, ramphoid (definition)
History
- 2026-11-02: add by m2/dev
TMD40XVQ70 TMD40XVQ70
| URI | m2://inv/TMD40XVQ70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#KS2U (statement)
History
- 2026-11-02: add by m2/v0.6.18
TMDA0QNVS3 TMDA0QNVS3
| URI | m2://inv/TMDA0QNVS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#UR9I (statement). In 1QSCT53ZED/e1, lemma 11.1
History
- 2026-10-27: add by m2/v0.4.0
TMDA8B5RA2 TMDA8B5RA2
| URI | m2://inv/TMDA8B5RA2 |
|---|---|
| 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 1011.5443#1WKX (statement). In VQ0K2GV62A/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
TMDEESN2CN TMDEESN2CN
| URI | m2://inv/TMDEESN2CN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Torque TMDJ1D080M
| URI | m2://inv/TMDJ1D080M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#L9SJ, Torque (definition)
History
- 2026-11-02: add by m2/dev
TMDNK5DE0M TMDNK5DE0M
| URI | m2://inv/TMDNK5DE0M |
|---|---|
| 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 0809.4587#XQQ5 (statement). In KQ8JPHDKKE/e1, theorem 9.5.1
History
- 2026-10-27: add by m2/v0.3.5
AVX2 TMDR3XQQMK
| URI | m2://inv/TMDR3XQQMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Vector Extensions#81MS, AVX2 (unknown)
History
- 2026-11-02: add by m2/dev
TME4P2378B TME4P2378B
| URI | m2://inv/TME4P2378B |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological constant problem#NFO4 (problem)
History
- 2026-11-02: add by m2/dev
TMEGHBY3MM TMEGHBY3MM
| URI | m2://inv/TMEGHBY3MM |
|---|---|
| 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.17883#LP8Q (statement). In 9WSJV2WY2S/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Definition of spherical measure TMF83KS302
| URI | m2://inv/TMF83KS302 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical measure#TFO3, Definition of spherical measure (definition)
History
- 2026-11-02: add by m2/dev
Rational dependence TMFA66S4EA
| URI | m2://inv/TMFA66S4EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational dependence, Rational dependence (definition). Also Wikidata Q7295759
History
- 2026-11-02: add by m2/dev
TMFB8HWPV7 TMFB8HWPV7
| URI | m2://inv/TMFB8HWPV7 |
|---|---|
| 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.25717#BS39 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TMFMGPPPBN TMFMGPPPBN
| URI | m2://inv/TMFMGPPPBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#XDQV (statement). In 5KR3MHYVV6/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
TMFWA3J1F2 TMFWA3J1F2
| URI | m2://inv/TMFWA3J1F2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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.25168#04GG (example)
History
- 2026-11-01: add by m2/v0.6.15
Low-order support TMFX5WH6ZE
| URI | m2://inv/TMFX5WH6ZE |
|---|---|
| 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.10557#HIS9, Low-order support (statement). In D2MXWDTHWS/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.10
Properties TMFYQMP9Y5
| URI | m2://inv/TMFYQMP9Y5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine bundle#4MWP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement TMG6R9RJHG
| URI | m2://inv/TMG6R9RJHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer theorems#OTL5, Statement (statement)
History
- 2026-11-02: add by m2/dev
TMGQF7K48Z TMGQF7K48Z
| URI | m2://inv/TMGQF7K48Z |
|---|---|
| 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 2606.02312#IUQK (statement). In 1SZV94R22Y/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Texas sharpshooter fallacy TMGRFJ54E4
| URI | m2://inv/TMGRFJ54E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#96K0, Texas sharpshooter fallacy (definition)
History
- 2026-11-02: add by m2/dev
TMGZCFWX4J TMGZCFWX4J
| URI | m2://inv/TMGZCFWX4J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danzer set#OUI7 (problem)
History
- 2026-11-02: add by m2/dev
indexical TMH0RSEE4R
| URI | m2://inv/TMH0RSEE4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VP28, indexical (definition)
History
- 2026-11-02: add by m2/dev
TMH334XEY1 TMH334XEY1
| URI | m2://inv/TMH334XEY1 |
|---|---|
| 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.20008#BBIB (statement). In 60SZ4NYPHF/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
TMH67CNGMG TMH67CNGMG
| URI | m2://inv/TMH67CNGMG |
|---|---|
| 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.20002#I3GA (definition)
History
- 2026-11-02: add by m2/v0.6.18
Construction TMH8V5V8AX
| URI | m2://inv/TMH8V5V8AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (algebraic geometry)#PV5N, Construction (definition)
History
- 2026-11-02: add by m2/dev
Applications TMHB95G11E
| URI | m2://inv/TMHB95G11E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rough set#105Z, Applications (example)
History
- 2026-11-02: add by m2/dev
TMHDDZ78V1 TMHDDZ78V1
| URI | m2://inv/TMHDDZ78V1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#TZ9Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
TMHDMJC654 TMHDMJC654
| URI | m2://inv/TMHDMJC654 |
|---|---|
| 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.20230#A5RS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lars Lyberg TMHEN2M5RT
| URI | m2://inv/TMHEN2M5RT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lars Lyberg, Lars Lyberg (topic). Also Wikidata Q102303853
History
- 2026-11-02: add by m2/dev
TMHHB324RH TMHHB324RH
| URI | m2://inv/TMHHB324RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#Z5Y0 (statement). In 6ASPPVJP5M/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
TMHWC0GFWQ TMHWC0GFWQ
| URI | m2://inv/TMHWC0GFWQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#KY6R (definition). In 2QF1YG9DD0/e1, definition 3.21
History
- 2026-10-30: add by m2/v0.4.12
Dmitry Dolgopyat TMHXFSH9A0
| URI | m2://inv/TMHXFSH9A0 |
|---|---|
| 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#HU0P, Dmitry Dolgopyat (topic)
History
- 2026-11-02: add by m2/dev
Product distribution TMJ089Q9Y4
| URI | m2://inv/TMJ089Q9Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NTAU, Product distribution (definition)
History
- 2026-11-02: add by m2/dev
Point estimation TMJ53X94FP
| URI | m2://inv/TMJ53X94FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R4QN, Point estimation (definition)
History
- 2026-11-02: add by m2/dev
Two simultaneous sharp thresholds TMJ7ATC3QK
| URI | m2://inv/TMJ7ATC3QK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27774#1EW4, Two simultaneous sharp thresholds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gretl TMJ7RZ1M8N
| URI | m2://inv/TMJ7RZ1M8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gretl, Gretl (definition). Also Wikidata Q292952
History
- 2026-11-02: add by m2/dev
Phlogiston theory TMJM24SWDD
| URI | m2://inv/TMJM24SWDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#RTLN, Phlogiston theory (unknown)
History
- 2026-11-02: add by m2/dev
Task-dependent boundary TMJPGFW77Y
| URI | m2://inv/TMJPGFW77Y |
|---|---|
| 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.33154#5YYV, Task-dependent boundary (statement). In N28DEYRBW7/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Semyonov-Tyan-Shansky, Pyotr TMK8EM39RR
| URI | m2://inv/TMK8EM39RR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#EDDH, Semyonov-Tyan-Shansky, Pyotr (unknown)
History
- 2026-11-02: add by m2/dev
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L167}{\Verb|VWPair.of|}, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L176}{\Verb|VWPair.of\_coprime| TMK8FAS4QT
| URI | m2://inv/TMK8FAS4QT |
|---|---|
| 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.16323#SWD1, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L167}{\Verb|VWPair.of|}, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L176}{\Verb|VWPair.of\_coprime| (statement). In E215DFNY09/e1, lemma Lemma
History
- 2026-10-28: add by m2/v0.4.2
Algorithm \(\SampleCode\ TMKKWF4NWZ
| URI | m2://inv/TMKKWF4NWZ |
|---|---|
| Kind | definition |
| 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.08664#AULR, Algorithm \(\SampleCode\ (definition). In 1YY0P4ZS0T/e1, definition 27
History
- 2026-10-29: add by m2/v0.4.10
Generalization TMKWB9J9K0
| URI | m2://inv/TMKWB9J9K0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incenter–excenter lemma#LTPQ, Generalization (statement)
History
- 2026-11-02: add by m2/dev
tree, unlabeled TMKXJXEKQK
| URI | m2://inv/TMKXJXEKQK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.7/tree-unlabeled, tree, unlabeled (concept). In QKM9DD2H56, index, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
Nonlinear system TMKY3JWCGM
| URI | m2://inv/TMKY3JWCGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear system, Nonlinear system (definition). Also Wikidata Q660848
History
- 2026-11-02: add by m2/dev
TMM0NBHZXV TMM0NBHZXV
| URI | m2://inv/TMM0NBHZXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24008#WVAA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sylvester's criterion TMM1XJKYS8
| URI | m2://inv/TMM1XJKYS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#C7FQ, Sylvester's criterion (statement)
History
- 2026-11-02: add by m2/dev
Related results TMM34D48BG
| URI | m2://inv/TMM34D48BG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinitz's theorem#O1FT, Related results (statement)
History
- 2026-11-02: add by m2/dev
zero TMM7HS9T7H
| URI | m2://inv/TMM7HS9T7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#D5KV, zero (definition)
History
- 2026-11-02: add by m2/dev
Euler's three-body problem TMM8HP741S
| URI | m2://inv/TMM8HP741S |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's three-body problem, Euler's three-body problem (problem). Also Wikidata Q4177149
History
- 2026-11-02: add by m2/dev
Finite-dimensional LAN and target-sample scaling TMMQ88RYXN
| URI | m2://inv/TMMQ88RYXN |
|---|---|
| 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.35986#R5A1, Finite-dimensional LAN and target-sample scaling (statement). In PBX6AMPVT2/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Bertrand's box paradox TMMVN7VCHV
| URI | m2://inv/TMMVN7VCHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IF05, Bertrand's box paradox (statement)
History
- 2026-11-02: add by m2/dev
TMMZPFV9MA TMMZPFV9MA
| URI | m2://inv/TMMZPFV9MA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-18 (proof). In N54F33XE07, proof, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Rayleigh scattering TMN7FHBQ9Q
| URI | m2://inv/TMN7FHBQ9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh scattering, Rayleigh scattering (definition). Also Wikidata Q193709
History
- 2026-11-02: add by m2/dev
Dimensional analysis TMNBMNX26T
| URI | m2://inv/TMNBMNX26T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#S5KX, Dimensional analysis (definition)
History
- 2026-11-02: add by m2/dev
Quasi-variance TMNEM0N9X6
| URI | m2://inv/TMNEM0N9X6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#I4E4, Quasi-variance (definition)
History
- 2026-11-02: add by m2/dev
Theorem TMNMSNEAEE
| URI | m2://inv/TMNMSNEAEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf#ZWFF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
TMNTDWS6TE TMNTDWS6TE
| URI | m2://inv/TMNTDWS6TE |
|---|---|
| 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 2105.08875#YP3S (statement). In QT8HPDAYPX/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
TMNWXP75H9 TMNWXP75H9
| URI | m2://inv/TMNWXP75H9 |
|---|---|
| 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 2512.08487#Y4I7 (statement). In 77TVQVYN0Z/e1, lemma 30
History
- 2026-10-27: add by m2/v0.3.6
TMP2MX4VQG TMP2MX4VQG
| URI | m2://inv/TMP2MX4VQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
Relation to other conjectures TMP3A0C7VX
| URI | m2://inv/TMP3A0C7VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard conjectures on algebraic cycles#SQFW, Relation to other conjectures (statement)
History
- 2026-11-02: add by m2/dev
TMP7DPBX7J TMP7DPBX7J
| URI | m2://inv/TMP7DPBX7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.38017#YDW4 (statement). In SYFKJC9X5M/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
TMPR5Z34Z0 TMPR5Z34Z0
| URI | m2://inv/TMPR5Z34Z0 |
|---|---|
| Kind | definition |
| 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#BKQJ (definition)
History
- 2026-11-02: add by m2/v0.6.17
TMPR9P19C7 TMPR9P19C7
| URI | m2://inv/TMPR9P19C7 |
|---|---|
| Kind | statement |
| 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 2609.25289#KLEU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Karin Baur TMPTGRA0F5
| URI | m2://inv/TMPTGRA0F5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karin Baur, Karin Baur (topic). Also Wikidata Q21264060
History
- 2026-11-02: add by m2/dev
TMQ29866GS TMQ29866GS
| URI | m2://inv/TMQ29866GS |
|---|---|
| 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 2412.12141#8GE3 (statement). In V980ZMH759/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
TMQ4QX3HNP TMQ4QX3HNP
| URI | m2://inv/TMQ4QX3HNP |
|---|---|
| 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.07451#LBUN (statement). In P7KT88N75Q/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
TMQ5TKGPF6 TMQ5TKGPF6
| URI | m2://inv/TMQ5TKGPF6 |
|---|---|
| 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#3UH5 (statement). In TZM08VJAQT/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
TMQCPEVWJ9 TMQCPEVWJ9
| URI | m2://inv/TMQCPEVWJ9 |
|---|---|
| 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 1810.06028#KXJV (definition). In ZPFHH6YJG3/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
A nontrivial canonical kernel of infinite rank TMQH6559P6
| URI | m2://inv/TMQH6559P6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20915#G61H, A nontrivial canonical kernel of infinite rank (example). In 5M1SXP75D9/e1, example 7.3
History
- 2026-10-27: add by m2/v0.4.2
Two Mile, Queensland TMQMG779S2
| URI | m2://inv/TMQMG779S2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YFNA, Two Mile, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms TMQR2CMCFD
| URI | m2://inv/TMQR2CMCFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour line#UGLB, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Behavior strategy TMQRTSGHRZ
| URI | m2://inv/TMQRTSGHRZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategy (game theory)#MKMI, Behavior strategy (unknown)
History
- 2026-11-02: add by m2/dev
Representation theorems TMQXBCVND3
| URI | m2://inv/TMQXBCVND3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial conjoint measurement#69AH, Representation theorems (statement)
History
- 2026-11-02: add by m2/dev
TMQYN8NAQK TMQYN8NAQK
| URI | m2://inv/TMQYN8NAQK |
|---|---|
| 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.29723#Y1PT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Colliget TMR579TPD5
| URI | m2://inv/TMR579TPD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#LE7I, Colliget (unknown)
History
- 2026-11-02: add by m2/dev
Crystalline cohomology TMR8KNH3X1
| URI | m2://inv/TMR8KNH3X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#ZWWT, Crystalline cohomology (definition)
History
- 2026-11-02: add by m2/dev
TMRPJEXM62 TMRPJEXM62
| URI | m2://inv/TMRPJEXM62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#IX20 (statement). In JWNYJVH8XG/e1, proposition 4.20
History
- 2026-10-29: add by m2/v0.4.10
Applications TMRT3T1GGS
| URI | m2://inv/TMRT3T1GGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visibility graph#UOT8, Applications (example)
History
- 2026-11-02: add by m2/dev
Stephen W. Lagakos TMRXR14R95
| URI | m2://inv/TMRXR14R95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GMDG, Stephen W. Lagakos (unknown)
History
- 2026-11-02: add by m2/dev
TMS0YGZVT8 TMS0YGZVT8
| URI | m2://inv/TMS0YGZVT8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
TMS4T0VPJS TMS4T0VPJS
| URI | m2://inv/TMS4T0VPJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#FG4S (statement). In GMRT5GHBZS/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
five lemma TMS92PP076
| URI | m2://inv/TMS92PP076 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Five lemma W6AVEAW2WR |
Mentions
- wikidata: Wikidata Q1479523, five lemma (statement). Also MathWorld FiveLemma, nLab five lemma, ProofWiki Five_Lemma
- wikipedia: Wikipedia Five lemma, Five lemma (statement). Also Wikidata Q1479523
History
- 2026-10-26: add by m2/dev
TMSEF2Q0EB TMSEF2Q0EB
| URI | m2://inv/TMSEF2Q0EB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20899#9NI6 (definition). In BSMDFADA39/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Bounds for the differentiated equation TMSNYJYTAN
| URI | m2://inv/TMSNYJYTAN |
|---|---|
| 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#SA0D, Bounds for the differentiated equation (statement). In RYWAX33Z51/e1, lemma 8.6
History
- 2026-10-31: add by m2/v0.5.6
Gossard perspector TMSW8GBYBY
| URI | m2://inv/TMSW8GBYBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#EUMH, Gossard perspector (definition)
History
- 2026-11-02: add by m2/dev
Accelerated failure time model TMT21XY44R
| URI | m2://inv/TMT21XY44R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accelerated failure time model, Accelerated failure time model (definition). Also Wikidata Q4672282
History
- 2026-11-02: add by m2/dev
TMT22XE08K TMT22XE08K
| URI | m2://inv/TMT22XE08K |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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 1705.04310#YE69 (problem). In MG51GG0QZN/e1, problem 3.18
History
- 2026-10-27: add by m2/v0.3.5
stochastic matrix TMT2EB310J
| URI | m2://inv/TMT2EB310J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Transition matrix 0F462493EA |
Mentions
- wikidata: Wikidata Q176583, stochastic matrix (unknown). Also EoM Stochastic_matrix, MathWorld StochasticMatrix
- wikipedia: Wikipedia Stochastic matrix, Stochastic matrix (definition). Also Wikidata Q176583
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
TMT3NJBRJF TMT3NJBRJF
| URI | m2://inv/TMT3NJBRJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#AHY1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TMT7X1HDHC TMT7X1HDHC
| URI | m2://inv/TMT7X1HDHC |
|---|---|
| Kind | definition |
| 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 2510.12502#3VYT (definition). In 3A4K47Y9F2/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Willis Lamb TMT8HHQKZ5
| URI | m2://inv/TMT8HHQKZ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AE2T, Willis Lamb (unknown)
History
- 2026-11-02: add by m2/dev
Corrected Theorem 10 TMT9310MW5
| URI | m2://inv/TMT9310MW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 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 1007.0842#FU7Q, Corrected Theorem 10 (statement). In SEBS9D5AC5/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Adrien Douady TMTD923TQJ
| URI | m2://inv/TMTD923TQJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CVUU, Adrien Douady (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JB0T, Adrien Douady (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YH01, Adrien Douady (topic)
History
- 2026-11-02: add by m2/dev
TMTF6Q9795 TMTF6Q9795
| URI | m2://inv/TMTF6Q9795 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22170#ECSD (statement). In 74MMMHHPW5/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.0
William Whiston TMTGB2EXJW
| URI | m2://inv/TMTGB2EXJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Whiston, William Whiston (topic). Also Wikidata Q452091
History
- 2026-11-02: add by m2/dev
TMTKYAPE45 TMTKYAPE45
| URI | m2://inv/TMTKYAPE45 |
|---|---|
| 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.33766#EV2T (statement). In VGKK4M68EK/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
555 (Number) TMV01QTR3M
| URI | m2://inv/TMV01QTR3M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#QOXC, 555 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Discrete two-point space TMV0MXVV40
| URI | m2://inv/TMV0MXVV40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#DRD7, Discrete two-point space (unknown)
History
- 2026-11-02: add by m2/dev
TMV0SXWSMN TMV0SXWSMN
| URI | m2://inv/TMV0SXWSMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#03KE (statement). In PREJREM4BB/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
Properties TMV1ZDB1S9
| URI | m2://inv/TMV1ZDB1S9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birman–Wenzl algebra#S2AJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
TMV391NZRF TMV391NZRF
| URI | m2://inv/TMV391NZRF |
|---|---|
| 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#2ITP (statement). In DCJ23ZYXGK/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
Klaus Matthes TMV3BAE5GV
| URI | m2://inv/TMV3BAE5GV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klaus Matthes, Klaus Matthes (topic). Also Wikidata Q99360
History
- 2026-11-02: add by m2/dev
A bounded-volatility realization TMV5P9CJ3N
| URI | m2://inv/TMV5P9CJ3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#FYSO, A bounded-volatility realization (statement). In 9YAE8FNQST/e1, theorem 15.1
History
- 2026-10-30: add by m2/v0.4.12
Formal statement TMV9W6Y3JK
| URI | m2://inv/TMV9W6Y3JK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's formula#CGAP, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
quantum optics TMVDK0K0G4
| URI | m2://inv/TMVDK0K0G4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V80 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q735602, quantum optics (topic). Also nLab quantum optics
History
- 2026-10-26: add by m2/dev
TMVDV9VPY9 TMVDV9VPY9
| URI | m2://inv/TMVDV9VPY9 |
|---|---|
| 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 2610.08885#XLCZ (statement). In B4RHB3CF12/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
TMVKQE91RC TMVKQE91RC
| URI | m2://inv/TMVKQE91RC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-largest.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
TMVTHKKRAX TMVTHKKRAX
| URI | m2://inv/TMVTHKKRAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
TMVZ6178E2 TMVZ6178E2
| URI | m2://inv/TMVZ6178E2 |
|---|---|
| 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.10796#XNJL (statement). In 9YDW0QJZ6K/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Tpmtool TMW2QZF97S
| URI | m2://inv/TMW2QZF97S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted Platform Module#8UJC, Tpmtool (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry TMW4NQ4YSZ
| URI | m2://inv/TMW4NQ4YSZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector spherical harmonics#U8T7, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
TMW9N2B347 TMW9N2B347
| URI | m2://inv/TMW9N2B347 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#0DBB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Auerbach's lemma TMWCDAGW1F
| URI | m2://inv/TMWCDAGW1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auerbach's lemma, Auerbach's lemma (statement). Also Wikidata Q1816904
History
- 2026-11-02: add by m2/dev
TMWHWJVET8 TMWHWJVET8
| URI | m2://inv/TMWHWJVET8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
Hardy–Ramanujan theorem TMWRVR970Y
| URI | m2://inv/TMWRVR970Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#A57V, Hardy–Ramanujan theorem (statement)
History
- 2026-11-02: add by m2/dev
Chernoff bound TMX23G5F27
| URI | m2://inv/TMX23G5F27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chernoff bound, Chernoff bound (definition). Also Wikidata Q1070305
History
- 2026-11-02: add by m2/dev
Barone-Adesi and Whaley TMX3F7C00W
| URI | m2://inv/TMX3F7C00W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black–Scholes model#V9Q6, Barone-Adesi and Whaley (unknown)
History
- 2026-11-02: add by m2/dev
TMXA09ASPF TMXA09ASPF
| URI | m2://inv/TMXA09ASPF |
|---|---|
| Kind | problem |
| 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.19249#XUS1 (problem). In 2X586J6KQ1/e1, problem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem on Lipschitzian Operators TMXDPBY4ZQ
| URI | m2://inv/TMXDPBY4ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nemytskii operator#3L18, Theorem on Lipschitzian Operators (statement)
History
- 2026-11-02: add by m2/dev
TMXG1AS4AN TMXG1AS4AN
| URI | m2://inv/TMXG1AS4AN |
|---|---|
| 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.13295#33YB (statement). In 8Q7QXTWD0S/e1, lemma 2.3
- arxiv: arXiv 2610.16505#AESA (statement). In P9V43TXCJ3/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Kim Yong-un TMXG6TFMZN
| URI | m2://inv/TMXG6TFMZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kim Yong-un, Kim Yong-un (topic). Also Wikidata Q11646918
History
- 2026-11-02: add by m2/dev
TMXRNZQ2AN TMXRNZQ2AN
| URI | m2://inv/TMXRNZQ2AN |
|---|---|
| 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.18101#GBBB (statement). In XXN6KKXPYF/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Map graph TMY9KTTCJA
| URI | m2://inv/TMY9KTTCJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map graph, Map graph (definition). Also Wikidata Q25305522
History
- 2026-11-02: add by m2/dev
TMY9RT5MSN TMY9RT5MSN
| URI | m2://inv/TMY9RT5MSN |
|---|---|
| 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.12857#M8AV (statement). In XJWQ6Y83F8/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
TMYBXMCEJN TMYBXMCEJN
| URI | m2://inv/TMYBXMCEJN |
|---|---|
| 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.19311#TVTE (statement). In 3MFD6RSV41/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
David Gross TMYH00AXC0
| URI | m2://inv/TMYH00AXC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#0EKW, David Gross (unknown)
History
- 2026-11-02: add by m2/dev
TMYJG5Y37M TMYJG5Y37M
| URI | m2://inv/TMYJG5Y37M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#MRB8 (definition). In CB68ATPEV9/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
TMYTDZPKEB TMYTDZPKEB
| URI | m2://inv/TMYTDZPKEB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#8MRC (definition). In 5KR3MHYVV6/e1, definition 3.13
History
- 2026-10-28: add by m2/v0.4.2
TMYTEVFXXK TMYTEVFXXK
| URI | m2://inv/TMYTEVFXXK |
|---|---|
| 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.31220#PH4E (statement). In JMWCGMNE84/e1, theorem 3.6
History
- 2026-10-31: add by m2/v0.5.6
TMYXVV82W0 TMYXVV82W0
| URI | m2://inv/TMYXVV82W0 |
|---|---|
| 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.30525#2DY6 (statement). In CHEZQEACQG/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Restoration function TMZ3KKKRT7
| URI | m2://inv/TMZ3KKKRT7 |
|---|---|
| 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.21454#YCZV, Restoration function (statement). In ZP2RJFZ3V2/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
TMZ7BNPKY9 TMZ7BNPKY9
| URI | m2://inv/TMZ7BNPKY9 |
|---|---|
| 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.11210#USIR (statement). In CRFDGFZHBF/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
Algorithm TMZHAG21V7
| URI | m2://inv/TMZHAG21V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glauber dynamics#IJZB, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Perturbation of Hamiltonians and jump operators TMZHRFQN4V
| URI | m2://inv/TMZHRFQN4V |
|---|---|
| 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.36016#C060, Perturbation of Hamiltonians and jump operators (statement). In NAM9ZMPHZ9/e1, corollary B.9
History
- 2026-10-30: add by m2/v0.4.12
TMZK4J1A9D TMZK4J1A9D
| URI | m2://inv/TMZK4J1A9D |
|---|---|
| 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.03835#I15V (statement). In KAYGQMQPGS/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.12
TMZKXWZHRD TMZKXWZHRD
| URI | m2://inv/TMZKXWZHRD |
|---|---|
| Kind | statement |
| 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#YUT1 (statement). In X765ZXXVC3/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
TMZZKEMRZ4 TMZZKEMRZ4
| URI | m2://inv/TMZZKEMRZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21339#IVBJ (statement)
History
- 2026-11-02: add by m2/v0.6.18