Inventory rows TC
The cards of the rows of the inventory whose ids start with TC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
TC058KG5Q2 TC058KG5Q2
| URI | m2://inv/TC058KG5Q2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Bourgain TC0BG52EB6
| URI | m2://inv/TC0BG52EB6 |
|---|---|
| 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.01656#S0R8, Bourgain (statement). In AHGQZ89DY0/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
All Brandt index sets TC0GWG2NQY
| URI | m2://inv/TC0GWG2NQY |
|---|---|
| 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.12014#LV6F, All Brandt index sets (statement). In DR7BK4CQ0V/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.3
Theorem 1 TC0H2MVVG3
| URI | m2://inv/TC0H2MVVG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inversive congruential pseudorandom numbers#HID6, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Exactness of the framework TC0H8QF8RG
| URI | m2://inv/TC0H8QF8RG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#D1LG, Exactness of the framework (statement). In TP61DYMBMK/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Definition TC0QGF88D6
| URI | m2://inv/TC0QGF88D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B, C, K, W system#7WCL, Definition (definition)
History
- 2026-11-02: add by m2/dev
cut, Dedekind TC0YE6YXCD
| URI | m2://inv/TC0YE6YXCD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/cut-dedekind, cut, Dedekind (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
TC13NVEZYW TC13NVEZYW
| URI | m2://inv/TC13NVEZYW |
|---|---|
| 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.39700#W2A5 (statement). In E7W2HDNEKJ/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
TC1AC728SN TC1AC728SN
| URI | m2://inv/TC1AC728SN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.00676#LT54 (statement). In 5351H04TJY/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.4.0
Definition TC1B8CPQ90
| URI | m2://inv/TC1B8CPQ90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bailey pair#I9HG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Localized measure estimate TC1H7JQVNQ
| URI | m2://inv/TC1H7JQVNQ |
|---|---|
| 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 2401.14638#0RQL, Localized measure estimate (statement). In 2XC2MZFWPP/e1, corollary 3.10
History
- 2026-10-27: add by m2/v0.3.5
Conditional comparison and a quadratic gap TC1HEH9HQD
| URI | m2://inv/TC1HEH9HQD |
|---|---|
| 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.06490#TPP4, Conditional comparison and a quadratic gap (statement). In NKXTXH59P1/e1, lemma E.10
History
- 2026-10-29: add by m2/v0.4.10
TC1P5XQKD4 TC1P5XQKD4
| URI | m2://inv/TC1P5XQKD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#WVHQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties TC1WPJZPZE
| URI | m2://inv/TC1WPJZPZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic index#3TXY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples TC2088T1CN
| URI | m2://inv/TC2088T1CN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering number#1TAJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition TC26R1ZGGK
| URI | m2://inv/TC26R1ZGGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie derivative#5O75, Definition (definition)
History
- 2026-11-02: add by m2/dev
Estimation TC290ADRS3
| URI | m2://inv/TC290ADRS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation, Estimation (definition). Also Wikidata Q791801
History
- 2026-11-02: add by m2/dev
TC2DBGEEC6 TC2DBGEEC6
| URI | m2://inv/TC2DBGEEC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#19Z4 (statement). In SBN06J39DG/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
TC2M817Y50 TC2M817Y50
| URI | m2://inv/TC2M817Y50 |
|---|---|
| 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.29903#S83V (statement)
History
- 2026-11-01: add by m2/v0.6.15
TC2YWTAF23 TC2YWTAF23
| URI | m2://inv/TC2YWTAF23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#V4G9 (statement). In 3KTZ6Z615H/e1, proposition 4.15
History
- 2026-10-30: add by m2/v0.4.12
Countably additive measures never detect instability TC2ZJMEZQS
| URI | m2://inv/TC2ZJMEZQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#BB0F, Countably additive measures never detect instability (statement). In P55JSAYR3T/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
TC2ZQ5FN2H TC2ZQ5FN2H
| URI | m2://inv/TC2ZQ5FN2H |
|---|---|
| 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.24578#R949 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TC32WQW830 TC32WQW830
| URI | m2://inv/TC32WQW830 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#definition-4 (definition). In RZP28ERRZV, definition, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
TC33MF383A TC33MF383A
| URI | m2://inv/TC33MF383A |
|---|---|
| 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.25133#7LD9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
propagator TC38HVC9AY
| URI | m2://inv/TC38HVC9AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q302518, propagator (unknown). Also nLab quantum propagator
- wikipedia: Wikipedia Propagator, Propagator (definition). Also Wikidata Q302518
History
- 2026-10-26: add by m2/dev
TC3AWMMQ8J TC3AWMMQ8J
| URI | m2://inv/TC3AWMMQ8J |
|---|---|
| Kind | problem |
| 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.13833#XMDD (problem). In VD4JP4HVBX/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
TC3G568H6C TC3G568H6C
| URI | m2://inv/TC3G568H6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#A66T (statement). In WK2YHYEDZ9/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
The $6$-wheel parametrization TC3H0EQR4B
| URI | m2://inv/TC3H0EQR4B |
|---|---|
| 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.22305#WF21, The $6$-wheel parametrization (statement). In P6FTXTV09Q/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
TC3HCYACSZ TC3HCYACSZ
| URI | m2://inv/TC3HCYACSZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#I4HJ (definition). In X765ZXXVC3/e1, definition 5.13
History
- 2026-10-29: add by m2/v0.4.12
TC3NTAYRK9 TC3NTAYRK9
| URI | m2://inv/TC3NTAYRK9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things.tex#ex-1 (example). In PKGMM3P5QY, ex, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
Seymour Lubetzky TC3W47V1CY
| URI | m2://inv/TC3W47V1CY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#BDS2, Seymour Lubetzky (unknown)
History
- 2026-11-02: add by m2/dev
Compound of five icosahedra TC3X5C0BJP
| URI | m2://inv/TC3X5C0BJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#B8W6, Compound of five icosahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9EBU, Compound of five icosahedra (definition)
History
- 2026-11-02: add by m2/dev
TC3XF1PPW1 TC3XF1PPW1
| URI | m2://inv/TC3XF1PPW1 |
|---|---|
| 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#KMXU (definition). In 3A4K47Y9F2/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.4.0
TC407MXK07 TC407MXK07
| URI | m2://inv/TC407MXK07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#3MI3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TC40AQ39V6 TC40AQ39V6
| URI | m2://inv/TC40AQ39V6 |
|---|---|
| Kind | example |
| 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.14435#YA8X (example). In Y9FSN5BVNQ/e1, example 10
History
- 2026-10-28: add by m2/v0.4.2
List of algorithms TC40K2K92T
| URI | m2://inv/TC40K2K92T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms, List of algorithms (topic). Also Wikidata Q1514868
History
- 2026-11-02: add by m2/dev
Elementary structure and base identities TC4ETAP1PF
| URI | m2://inv/TC4ETAP1PF |
|---|---|
| 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.27641#WN95, Elementary structure and base identities (statement)
History
- 2026-11-01: add by m2/v0.6.15
TC4MAZMTST TC4MAZMTST
| URI | m2://inv/TC4MAZMTST |
|---|---|
| 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 2403.15043#YO17 (statement). In QDE21RT0T2/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
Formal statement TC4SDA6GD4
| URI | m2://inv/TC4SDA6GD4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heawood conjecture#9UV1, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Non-examples TC4SERT4P4
| URI | m2://inv/TC4SERT4P4 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic group#GVWH, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
TC4T7PA0VE TC4T7PA0VE
| URI | m2://inv/TC4T7PA0VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11700#OG8L (statement). In RW9AZQ1YZ2/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
Quasi-derivative TC4V7A0N2B
| URI | m2://inv/TC4V7A0N2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-derivative, Quasi-derivative (definition). Also Wikidata Q7269446
History
- 2026-11-02: add by m2/dev
André Lichnerowicz TC4VS7KSF4
| URI | m2://inv/TC4VS7KSF4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q520942, André Lichnerowicz (unknown). Also nLab André Lichnerowicz
- wikipedia: Wikipedia André Lichnerowicz, André Lichnerowicz (topic). Also Wikidata Q520942
History
- 2026-10-26: add by m2/dev
Markovian discrimination TC4XDP04DC
| URI | m2://inv/TC4XDP04DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markovian discrimination, Markovian discrimination (definition). Also Wikidata Q1900905
History
- 2026-11-02: add by m2/dev
Derived refinement comparison TC4Y11WCBV
| URI | m2://inv/TC4Y11WCBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#V4YE, Derived refinement comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Leggett–Garg inequality TC4Y5RVDJE
| URI | m2://inv/TC4Y5RVDJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leggett–Garg inequality, Leggett–Garg inequality (statement). Also Wikidata Q6518038
History
- 2026-11-02: add by m2/dev
determination of the day of the week TC5239CPT1
| URI | m2://inv/TC5239CPT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#WGEU, determination of the day of the week (definition)
History
- 2026-11-02: add by m2/dev
Non-standard analysis TC5BCF9X3E
| URI | m2://inv/TC5BCF9X3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#B6NS, Non-standard analysis (definition)
History
- 2026-11-02: add by m2/dev
L-function TC5P1VCQXR
| URI | m2://inv/TC5P1VCQXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#J6HQ, L-function (definition)
History
- 2026-11-02: add by m2/dev
TC5QP1GYJC TC5QP1GYJC
| URI | m2://inv/TC5QP1GYJC |
|---|---|
| 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.19845#OY42 (statement). In A8Y7B1MD91/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Asymptotic cone TC5SZ7140G
| URI | m2://inv/TC5SZ7140G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultralimit#5JP3, Asymptotic cone (unknown)
History
- 2026-11-02: add by m2/dev
PDE and potential forms TC672XYCCA
| URI | m2://inv/TC672XYCCA |
|---|---|
| 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.10188#0PG3, PDE and potential forms (statement). In S608Z3ZBP6/e1, proposition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Example TC69CPNJPJ
| URI | m2://inv/TC69CPNJPJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-finite measure#ZMVY, Example (example)
History
- 2026-11-02: add by m2/dev
TC6H6P928W TC6H6P928W
| URI | m2://inv/TC6H6P928W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#5QGB (statement). In ZRJ2DZT6P1/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
TC6QZMXVBX TC6QZMXVBX
| URI | m2://inv/TC6QZMXVBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#KI96 (statement). In GWNT8HEZG1/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.6
TC6W0YWJ9W TC6W0YWJ9W
| URI | m2://inv/TC6W0YWJ9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#EW3F (statement). In RY2X22P6XW/e1, corollary 26
History
- 2026-10-27: add by m2/v0.3.5
Lesnoy TC6WMCF0Y7
| URI | m2://inv/TC6WMCF0Y7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#I0K7, Lesnoy (unknown)
History
- 2026-11-02: add by m2/dev
Vergilius of Salzburg TC70ZM64YH
| URI | m2://inv/TC70ZM64YH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#FBON, Vergilius of Salzburg (unknown)
History
- 2026-11-02: add by m2/dev
Use TC72TAEX79
| URI | m2://inv/TC72TAEX79 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward secrecy#IZ34, Use (example)
History
- 2026-11-02: add by m2/dev
TC76K1VT2E TC76K1VT2E
| URI | m2://inv/TC76K1VT2E |
|---|---|
| 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.24363#DT1Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compound of four hexagonal prisms TC79TN1W4R
| URI | m2://inv/TC79TN1W4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of four hexagonal prisms, Compound of four hexagonal prisms (definition). Also Wikidata Q5156868
History
- 2026-11-02: add by m2/dev
Fast sweeping method TC7ADQ3KRC
| URI | m2://inv/TC7ADQ3KRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast sweeping method, Fast sweeping method (definition). Also Wikidata Q28403990
History
- 2026-11-02: add by m2/dev
homogeneous function TC7EGYHY9H
| URI | m2://inv/TC7EGYHY9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- thousand_plus: thousand_plus Q1132952, Euler's theorem on homogeneous functions (statement). Also Wikidata Q1132952, Wikipedia Euler's theorem on homogeneous functions
- wikidata: Wikidata Q1132952, homogeneous function (unknown). Also EoM Homogeneous_function, MathWorld HomogeneousFunction, nLab homogeneous function
- wikipedia: Wikipedia Homogeneous function, Homogeneous function (definition). Also Wikidata Q1132952
History
- 2026-10-26: add by m2/dev
Four Lakes, Washington TC7H1DHR5C
| URI | m2://inv/TC7H1DHR5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1JY8, Four Lakes, Washington (unknown)
History
- 2026-11-02: add by m2/dev
TC7NAFKC30 TC7NAFKC30
| URI | m2://inv/TC7NAFKC30 |
|---|---|
| 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 2504.14383#PKE2 (statement). In QD0X3XJS6T/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.3.5
TC7QTCH648 TC7QTCH648
| URI | m2://inv/TC7QTCH648 |
|---|---|
| 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.27641#M0VW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Petersen–Morley theorem TC7R1TCM9Z
| URI | m2://inv/TC7R1TCM9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petersen–Morley theorem, Petersen–Morley theorem (statement). Also Wikidata Q21755500
History
- 2026-11-02: add by m2/dev
TC813F4841 TC813F4841
| URI | m2://inv/TC813F4841 |
|---|---|
| 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.36411#GE7U (statement). In 9QG5CND2RQ/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
High TC830GV7ZZ
| URI | m2://inv/TC830GV7ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia High (computability), High (definition). Also Wikidata Q5754843
History
- 2026-11-02: add by m2/dev
Pareto Analysis TC83P07916
| URI | m2://inv/TC83P07916 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto principle#C2BX, Pareto Analysis (unknown)
History
- 2026-11-02: add by m2/dev
Likelihood estimation under MAR TC860GCMST
| URI | m2://inv/TC860GCMST |
|---|---|
| Kind | example |
| 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.23617#MZ1J, Likelihood estimation under MAR (example)
History
- 2026-11-02: add by m2/v0.6.17
TC87JNKBA8 TC87JNKBA8
| URI | m2://inv/TC87JNKBA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#FQA8 (statement). In SCSTR1Q1BW/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
Robert Langlands TC8H77FKJK
| URI | m2://inv/TC8H77FKJK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UW7F, Robert Langlands (topic)
History
- 2026-11-02: add by m2/dev
TC8KZE4A7F TC8KZE4A7F
| URI | m2://inv/TC8KZE4A7F |
|---|---|
| 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.33383#I6GG (statement). In 8AHWRHTP5G/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
finite type invariant TC8V96F94D
| URI | m2://inv/TC8V96F94D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Finite type invariant TWH3WVKFF1 |
Mentions
- wikidata: Wikidata Q1443624, finite type invariant (unknown). Also MathWorld VassilievInvariant
- wikipedia: Wikipedia Finite type invariant, Finite type invariant (definition). Also Wikidata Q1443624
History
- 2026-10-26: add by m2/dev
TC8WYT5RZV TC8WYT5RZV
| URI | m2://inv/TC8WYT5RZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2505.05539#Q9OA (statement). In 8SVVEVGMNE/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
TC8XCV5ETJ TC8XCV5ETJ
| URI | m2://inv/TC8XCV5ETJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#V132 (statement). In 6YY27KRJFN/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
Properties TC8XV5TKWN
| URI | m2://inv/TC8XV5TKWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immanant#37RM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Snedecor Award TC90RDV567
| URI | m2://inv/TC90RDV567 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snedecor Award, Snedecor Award (definition). Also Wikidata Q23038257
History
- 2026-11-02: add by m2/dev
Examples TC913B2AM4
| URI | m2://inv/TC913B2AM4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studentization#27XN, Examples (example)
History
- 2026-11-02: add by m2/dev
TC92KY4QWE TC92KY4QWE
| URI | m2://inv/TC92KY4QWE |
|---|---|
| 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.20588#S4PL (statement)
History
- 2026-11-02: add by m2/v0.6.18
$\kappa$-Morse subsets TC94HMH261
| URI | m2://inv/TC94HMH261 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#BU5M, $\kappa$-Morse subsets (definition)
History
- 2026-11-01: add by m2/v0.6.15
TC9DC43D57 TC9DC43D57
| URI | m2://inv/TC9DC43D57 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Hann function TC9DK8YRGV
| URI | m2://inv/TC9DK8YRGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hann function, Hann function (definition). Also Wikidata Q17020717
History
- 2026-11-02: add by m2/dev
TC9KBC5S69 TC9KBC5S69
| URI | m2://inv/TC9KBC5S69 |
|---|---|
| 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.24043#CUZC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Differential Nullstellensatz TC9M3YBHEJ
| URI | m2://inv/TC9M3YBHEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentially closed field#J61G, Differential Nullstellensatz (unknown)
History
- 2026-11-02: add by m2/dev
Japanese theorem for concyclic quadrilaterals TCA49RWF85
| URI | m2://inv/TCA49RWF85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TT85, Japanese theorem for concyclic quadrilaterals (statement)
History
- 2026-11-02: add by m2/dev
TCABME6P5X TCABME6P5X
| URI | m2://inv/TCABME6P5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
Heat trace and normalization TCABP42FC4
| URI | m2://inv/TCABP42FC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#IL1Q, Heat trace and normalization (statement). In HF7YNMW39N/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.4.0
TCAD8ZM0KZ TCAD8ZM0KZ
| URI | m2://inv/TCAD8ZM0KZ |
|---|---|
| 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.29022#CERQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stability with respect to coefficients TCAGDK6XY8
| URI | m2://inv/TCAGDK6XY8 |
|---|---|
| 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 2303.10636#CYMG, Stability with respect to coefficients (statement). In 9SV2RAEPXM/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.6
TCAH8BZ9Q8 TCAH8BZ9Q8
| URI | m2://inv/TCAH8BZ9Q8 |
|---|---|
| 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.20588#FS4A (statement)
History
- 2026-11-02: add by m2/v0.6.18
Grace Chisholm Young TCAJZ7T21T
| URI | m2://inv/TCAJZ7T21T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace Chisholm Young, Grace Chisholm Young (topic). Also Wikidata Q452074
History
- 2026-11-02: add by m2/dev
TCARF23TYP TCARF23TYP
| URI | m2://inv/TCARF23TYP |
|---|---|
| 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.22855#15F7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Discontinuous group TCAVHT6H4E
| URI | m2://inv/TCAVHT6H4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuous group, Discontinuous group (definition). Also Wikidata Q85757104
History
- 2026-11-02: add by m2/dev
TCAVKRCB54 TCAVKRCB54
| URI | m2://inv/TCAVKRCB54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#98X7 (statement). In A8C1M9BSWH/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
Sahlqvist correspondence theorem TCAXQF9J60
| URI | m2://inv/TCAXQF9J60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RD0N, Sahlqvist correspondence theorem (statement)
History
- 2026-11-02: add by m2/dev
Neuman–Sándor mean TCAZY9W7PS
| URI | m2://inv/TCAZY9W7PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neuman–Sándor mean, Neuman–Sándor mean (definition). Also Wikidata Q48969791
History
- 2026-11-02: add by m2/dev
Theorem TCB4E22DHK
| URI | m2://inv/TCB4E22DHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine sphere#4D8Y, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Multiplicative distance TCB7XA8M4H
| URI | m2://inv/TCB7XA8M4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative distance, Multiplicative distance (definition). Also Wikidata Q6934995
History
- 2026-11-02: add by m2/dev
MRP modelling TCB8AWQSTM
| URI | m2://inv/TCB8AWQSTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#FNYR, MRP modelling (definition)
History
- 2026-11-02: add by m2/dev
Arthur Rosenthal TCBK24MF94
| URI | m2://inv/TCBK24MF94 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NT55, Arthur Rosenthal (topic)
History
- 2026-11-02: add by m2/dev
Properties TCBKJPKQGW
| URI | m2://inv/TCBKJPKQGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GF(2)#7A5X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Notation TCBM7K6B5K
| URI | m2://inv/TCBM7K6B5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product numerical range#GQDP, Notation (definition)
History
- 2026-11-02: add by m2/dev
Coefficient lower bound TCBNNBTA7H
| URI | m2://inv/TCBNNBTA7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#DPMQ, Coefficient lower bound (statement). In N06J7GC05Q/e1, proposition E.2
History
- 2026-10-30: add by m2/v0.4.12
TCBVX352KX TCBVX352KX
| URI | m2://inv/TCBVX352KX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
Effaceable functor TCBWHH3P1V
| URI | m2://inv/TCBWHH3P1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effaceable functor, Effaceable functor (definition). Also Wikidata Q16930747
History
- 2026-11-02: add by m2/dev
Lasting color control TCBZKX69FK
| URI | m2://inv/TCBZKX69FK |
|---|---|
| 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 math/0003117#I0US, Lasting color control (statement). In WD2NCBV9F0/e1, lemma 21.4
History
- 2026-10-27: add by m2/v0.3.5
Samuel Dunn TCC0T0W40N
| URI | m2://inv/TCC0T0W40N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Dunn (mathematician), Samuel Dunn (topic). Also Wikidata Q7411285
History
- 2026-11-02: add by m2/dev
TCCAB3MBZH TCCAB3MBZH
| URI | m2://inv/TCCAB3MBZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#7LA4 (statement). In S1KHNS8XQM/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
TCCAJDJF95 TCCAJDJF95
| URI | m2://inv/TCCAJDJF95 |
|---|---|
| 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.37337#0183 (statement). In 813JGZV08G/e1, lemma D.1
History
- 2026-10-30: add by m2/v0.4.12
Elephants' graveyard TCCAPX8HCT
| URI | m2://inv/TCCAPX8HCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#7D0P, Elephants' graveyard (unknown)
History
- 2026-11-02: add by m2/dev
TCCKRJ8CFQ TCCKRJ8CFQ
| URI | m2://inv/TCCKRJ8CFQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#2AN8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Special cases TCCQTSF5AB
| URI | m2://inv/TCCQTSF5AB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege's theorem#CGV7, Special cases (statement)
History
- 2026-11-02: add by m2/dev
TCCWXZ4WFF TCCWXZ4WFF
| URI | m2://inv/TCCWXZ4WFF |
|---|---|
| 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.03477#R9CS (statement). In GXN3D4G4HE/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.12
One event covers every longer window and every local input TCCYB0JG5M
| URI | m2://inv/TCCYB0JG5M |
|---|---|
| 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.16351#H8E0, One event covers every longer window and every local input (statement). In 1QSV7EQE3T/e1, corollary S92
History
- 2026-10-28: add by m2/v0.4.2
Micajah Burnett TCD420X4B8
| URI | m2://inv/TCD420X4B8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Micajah Burnett, Micajah Burnett (topic). Also Wikidata Q24206011
History
- 2026-11-02: add by m2/dev
Averaged-environment formula TCDT49PYN4
| URI | m2://inv/TCDT49PYN4 |
|---|---|
| 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.25084#3UWM, Averaged-environment formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diehard tests TCDTYZCJXA
| URI | m2://inv/TCDTYZCJXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diehard tests, Diehard tests (definition). Also Wikidata Q4456486
History
- 2026-11-02: add by m2/dev
TCDVC0YASR TCDVC0YASR
| URI | m2://inv/TCDVC0YASR |
|---|---|
| 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 2512.07340#Y7K6 (statement). In WXE3PVAZBT/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
TCDZ49KSR4 TCDZ49KSR4
| URI | m2://inv/TCDZ49KSR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#2TT0 (statement). In ETRT1R1CQ8/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.0
Projective planes TCDZ90TS8P
| URI | m2://inv/TCDZ90TS8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#NTTS, Projective planes (statement). In XDTM624YPE/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.4.2
Spectra (mathematical association) TCE8KVVHGG
| URI | m2://inv/TCE8KVVHGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#D3ZE, Spectra (mathematical association) (topic)
History
- 2026-11-02: add by m2/dev
Rate equation TCED4PF2GQ
| URI | m2://inv/TCED4PF2GQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#SMIS, Rate equation (definition)
History
- 2026-11-02: add by m2/dev
TCEMJDDN46 TCEMJDDN46
| URI | m2://inv/TCEMJDDN46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#T6SY (statement). In FHE30V0M03/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Stoilow Factorization Theorem TCEQYHQ59R
| URI | m2://inv/TCEQYHQ59R |
|---|---|
| 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.36377#CB9E, Stoilow Factorization Theorem (statement). In M98F6VRPZ2/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
TCEVP6NE9A TCEVP6NE9A
| URI | m2://inv/TCEVP6NE9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37778#1S5H (statement). In V399QB419P/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
TCEZTCRV0Q TCEZTCRV0Q
| URI | m2://inv/TCEZTCRV0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00869#E21Z (statement). In 63JMKC4GZE/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Van Schooten's theorem TCF0506C4Q
| URI | m2://inv/TCF0506C4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15844093, Van Schooten's theorem (statement). Also Wikidata Q15844093
- thousand_plus: thousand_plus Q15844093, Van Schooten's theorem (statement). Also Wikidata Q15844093, Wikipedia Van Schooten's theorem
- wikipedia: Wikipedia Van Schooten's theorem, Van Schooten's theorem (statement). Also Wikidata Q15844093
History
- 2026-10-26: add by m2/dev
TCF3DZEQGH TCF3DZEQGH
| URI | m2://inv/TCF3DZEQGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34013#H8JK (statement). In 3TA3P3CWSJ/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
TCF927SF19 TCF927SF19
| URI | m2://inv/TCF927SF19 |
|---|---|
| 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 2303.14022#DQXN (statement). In NSYR6W27FP/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
Definition TCFCV6PBHX
| URI | m2://inv/TCFCV6PBHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jabotinsky matrix#37CL, Definition (definition)
History
- 2026-11-02: add by m2/dev
TCFD92V6JY TCFD92V6JY
| URI | m2://inv/TCFD92V6JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.2839#VIY3 (statement). In 2P34N0GWS1/e1, lemma 2.3.2
History
- 2026-10-27: add by m2/v0.3.5
Physica A: Statistical mechanics and its applications TCFQEKHYGS
| URI | m2://inv/TCFQEKHYGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#IU4E, Physica A: Statistical mechanics and its applications (unknown)
History
- 2026-11-02: add by m2/dev
Weierstrass sigma function TCFXV5QBK7
| URI | m2://inv/TCFXV5QBK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q31179157, Weierstrass sigma function (unknown). Also EoM Weierstrass_sigma-function, MathWorld WeierstrassSigmaFunction
History
- 2026-10-26: add by m2/dev
Examples TCG188DRYP
| URI | m2://inv/TCG188DRYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of a Lie algebra#4GA7, Examples (example)
History
- 2026-11-02: add by m2/dev
completeness of R TCG5DBBS9K
| URI | m2://inv/TCG5DBBS9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > completeness of R, completeness of R (unknown). Also Mathlib Real.instCompleteSpace
History
- 2026-10-26: add by m2/dev
Notation TCG9EWK9FF
| URI | m2://inv/TCG9EWK9FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple zeta function#FUPZ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Transverse relation TCGG2H3P2S
| URI | m2://inv/TCGG2H3P2S |
|---|---|
| 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.20643#B5CB, Transverse relation (statement)
History
- 2026-11-02: add by m2/v0.6.18
$\chi^2$ control by Hellinger TCGKAJHKEK
| URI | m2://inv/TCGKAJHKEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07190#D6LE, $\chi^2$ control by Hellinger (statement). In ZWS6Q4467X/e1, lemma D.3
History
- 2026-10-29: add by m2/v0.4.10
Definition TCGNMA5FY0
| URI | m2://inv/TCGNMA5FY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#5NDY, Definition (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
chuck-a-luck TCGNT9ZS75
| URI | m2://inv/TCGNT9ZS75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q474467, chuck-a-luck (unknown). Also MathWorld Chuck-a-Luck
History
- 2026-10-26: add by m2/dev
TCGPZX594H TCGPZX594H
| URI | m2://inv/TCGPZX594H |
|---|---|
| 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.02484#4EOL (statement). In D1V0MQZTFQ/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.12
Stationary subspace analysis TCGQBJHE70
| URI | m2://inv/TCGQBJHE70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GZQK, Stationary subspace analysis (definition)
History
- 2026-11-02: add by m2/dev
TCGSYM2ZFK TCGSYM2ZFK
| URI | m2://inv/TCGSYM2ZFK |
|---|---|
| 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.20656#31S6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Possible world TCGTH9YW7H
| URI | m2://inv/TCGTH9YW7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Possible world, Possible world (definition). Also Wikidata Q1088088
History
- 2026-11-02: add by m2/dev
Four Bridges, Ohio TCGTW27JH6
| URI | m2://inv/TCGTW27JH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5X7R, Four Bridges, Ohio (unknown)
History
- 2026-11-02: add by m2/dev
order, weakly linear TCGVXC7SWW
| URI | m2://inv/TCGVXC7SWW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/order-weakly-linear, order, weakly linear (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
TCGW71YX3K TCGW71YX3K
| URI | m2://inv/TCGW71YX3K |
|---|---|
| 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.20510#5W0V (statement). In 24KCRT4VT2/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
Boundary path TCGWK9Y0WW
| URI | m2://inv/TCGWK9Y0WW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#KRIP, Boundary path (definition). In WD2NCBV9F0/e1, definition 15.15
History
- 2026-10-27: add by m2/v0.3.5
Statement of the lemma TCGZ1VCH5F
| URI | m2://inv/TCGZ1VCH5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindelöf's lemma#TO66, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
TCH0CQHKWY TCH0CQHKWY
| URI | m2://inv/TCH0CQHKWY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-10 (proof). In N54F33XE07, proof, section 7.1.6
History
- 2026-11-01: add by m2/v0.6.13
Binary TCH1KKN8XK
| URI | m2://inv/TCH1KKN8XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#Z56X, Binary (definition)
History
- 2026-11-02: add by m2/dev
TCH5JX57RK TCH5JX57RK
| URI | m2://inv/TCH5JX57RK |
|---|---|
| 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 math/9802134#F6M2 (definition). In 235B1J1ETB/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Fishburn–Shepp inequality TCH7QEHRX2
| URI | m2://inv/TCH7QEHRX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U3HH, Fishburn–Shepp inequality (statement)
History
- 2026-11-02: add by m2/dev
Definition TCHF33QPQG
| URI | m2://inv/TCHF33QPQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman decomposition#N0W0, Definition (definition)
History
- 2026-11-02: add by m2/dev
575 (number) TCHHJP3K6B
| URI | m2://inv/TCHHJP3K6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#MYF1, 575 (number) (unknown)
History
- 2026-11-02: add by m2/dev
TCHNM7S1QM TCHNM7S1QM
| URI | m2://inv/TCHNM7S1QM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Predictive analytics TCJBX2PHP7
| URI | m2://inv/TCJBX2PHP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive analytics, Predictive analytics (definition). Also Wikidata Q1053367
History
- 2026-11-02: add by m2/dev
Corollary 2 TCJD1R8SAP
| URI | m2://inv/TCJD1R8SAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#AYHR, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
Log-Cauchy distribution TCJGBT6632
| URI | m2://inv/TCJGBT6632 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-Cauchy distribution, Log-Cauchy distribution (definition). Also Wikidata Q3258527
History
- 2026-11-02: add by m2/dev
Polyhedron vertex TCJJ551SF0
| URI | m2://inv/TCJJ551SF0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex (geometry)#YUIL, Polyhedron vertex (unknown)
History
- 2026-11-02: add by m2/dev
Clip coordinates TCJJ8NF9ZX
| URI | m2://inv/TCJJ8NF9ZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#NQXP, Clip coordinates (unknown)
History
- 2026-11-02: add by m2/dev
infinitesimal TCJJRCX0P3
| URI | m2://inv/TCJJRCX0P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JFO2, infinitesimal (definition)
History
- 2026-11-02: add by m2/dev
Sigma-martingale TCJRXK1YZN
| URI | m2://inv/TCJRXK1YZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigma-martingale, Sigma-martingale (definition). Also Wikidata Q7512220
History
- 2026-11-02: add by m2/dev
TCJSNQVXVM TCJSNQVXVM
| URI | m2://inv/TCJSNQVXVM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-3 (example). In E9HS8K3A52, example, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Mixtures of exponential service distributions TCJTSFR128
| URI | m2://inv/TCJTSFR128 |
|---|---|
| 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.25084#2UTK, Mixtures of exponential service distributions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Category O TCJWYRWZXP
| URI | m2://inv/TCJWYRWZXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category O, Category O (definition). Also Wikidata Q5051842
History
- 2026-11-02: add by m2/dev
Regression diagnostic TCJYP4TASS
| URI | m2://inv/TCJYP4TASS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6WXS, Regression diagnostic (definition)
History
- 2026-11-02: add by m2/dev
Tamal Dey TCK2TXQ4R0
| URI | m2://inv/TCK2TXQ4R0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamal Dey, Tamal Dey (topic). Also Wikidata Q59660341
History
- 2026-11-02: add by m2/dev
Little Picard theorem TCK7XPXDV1
| URI | m2://inv/TCK7XPXDV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular lambda function#79F9, Little Picard theorem (statement)
History
- 2026-11-02: add by m2/dev
International Linear Algebra Society TCK8V3T0SE
| URI | m2://inv/TCK8V3T0SE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#FFJR, International Linear Algebra Society (definition)
History
- 2026-11-02: add by m2/dev
Fisher Space Pen TCKAVV4836
| URI | m2://inv/TCKAVV4836 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#PKOF, Fisher Space Pen (unknown)
History
- 2026-11-02: add by m2/dev
TCKDQS4QVD TCKDQS4QVD
| URI | m2://inv/TCKDQS4QVD |
|---|---|
| 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.25094#95MM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Marek Kuczma TCKXDWC5MZ
| URI | m2://inv/TCKXDWC5MZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TC8M, Marek Kuczma (topic)
History
- 2026-11-02: add by m2/dev
Implementations TCM3A6Y7VY
| URI | m2://inv/TCM3A6Y7VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TLS-SRP#DOER, Implementations (definition)
History
- 2026-11-02: add by m2/dev
hyperosculating point TCM3VNC3AR
| URI | m2://inv/TCM3VNC3AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#0ESP, hyperosculating point (definition)
History
- 2026-11-02: add by m2/dev
TCMC34WH1M TCMC34WH1M
| URI | m2://inv/TCMC34WH1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#definition-2 (definition). In RZP28ERRZV, definition, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
TCMG4MP34J TCMG4MP34J
| URI | m2://inv/TCMG4MP34J |
|---|---|
| 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.39700#WPPE (statement). In E7W2HDNEKJ/e1, corollary 7.23
History
- 2026-10-30: add by m2/v0.4.12
Nagell correlation for the squarefree modulus TCMK9W2GD7
| URI | m2://inv/TCMK9W2GD7 |
|---|---|
| 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.22305#TYLU, Nagell correlation for the squarefree modulus (statement). In P6FTXTV09Q/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
electric charge density TCMKSGM4TY
| URI | m2://inv/TCMKSGM4TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q69425629, electric charge density (definition). Also ProofWiki Definition:Electric_Charge_Density
History
- 2026-10-26: add by m2/dev
Noam Elkies TCMMBS19CG
| URI | m2://inv/TCMMBS19CG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noam Elkies, Noam Elkies (topic). Also Wikidata Q1059246
History
- 2026-11-02: add by m2/dev
Marjorie Lee Browne TCMNG8WKZD
| URI | m2://inv/TCMNG8WKZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marjorie Lee Browne, Marjorie Lee Browne (topic). Also Wikidata Q3293955
History
- 2026-11-02: add by m2/dev
The two-ends reduction TCMNMSG2S9
| URI | m2://inv/TCMNMSG2S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#INAK, The two-ends reduction (statement). In 585QYGX4X6/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
TCMP3C31XC TCMP3C31XC
| URI | m2://inv/TCMP3C31XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#3HW1 (statement). In KH1H3TSWPS/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
Pierre François Verhulst TCMPMV7CJX
| URI | m2://inv/TCMPMV7CJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q425539, Pierre François Verhulst (unknown). Also ProofWiki Mathematician:Pierre_François_Verhulst
- wikipedia: Wikipedia Pierre François Verhulst, Pierre François Verhulst (topic). Also Wikidata Q425539
History
- 2026-10-26: add by m2/dev
TCMTNGXK67 TCMTNGXK67
| URI | m2://inv/TCMTNGXK67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.35102#FI1V (statement). In XK6H7F2F13/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Vertex (computer graphics) TCMXZXZB4B
| URI | m2://inv/TCMXZXZB4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#1M4F, Vertex (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
Thompson uniqueness theorem TCN867CQSQ
| URI | m2://inv/TCN867CQSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IBUA, Thompson uniqueness theorem (statement)
History
- 2026-11-02: add by m2/dev
Sincere favorite criterion TCN8R1CWWD
| URI | m2://inv/TCN8R1CWWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sincere favorite criterion, Sincere favorite criterion (statement). Also Wikidata Q125894538
History
- 2026-11-02: add by m2/dev
TCNAG7J4MG TCNAG7J4MG
| URI | m2://inv/TCNAG7J4MG |
|---|---|
| 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.00247#N127 (statement). In ZAM4S2XS9F/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Fallacy of many questions TCNGCAW710
| URI | m2://inv/TCNGCAW710 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#ENJ7, Fallacy of many questions (definition)
History
- 2026-11-02: add by m2/dev
TCNGS03R1H TCNGS03R1H
| URI | m2://inv/TCNGS03R1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#A52D (statement)
History
- 2026-11-01: add by m2/v0.6.15
TCNJ92EH3V TCNJ92EH3V
| URI | m2://inv/TCNJ92EH3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:ffeso (statement). In N54F33XE07, lem, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Hypothesis $R(\theta)$ TCNME3KC54
| URI | m2://inv/TCNME3KC54 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28200#QEOG, Hypothesis $R(\theta)$ (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
TCNTQ4TWB0 TCNTQ4TWB0
| URI | m2://inv/TCNTQ4TWB0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#2OYK (example). In XD0YT3XCW2/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
TCNV6DY9GS TCNV6DY9GS
| URI | m2://inv/TCNV6DY9GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.10058#PTJ3 (statement). In YQKKA47GS9/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Commutation matrix TCNV9ZQ2GP
| URI | m2://inv/TCNV9ZQ2GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutation matrix, Commutation matrix (definition). Also Wikidata Q5155088
History
- 2026-11-02: add by m2/dev
kilojoule TCNW4FFHKB
| URI | m2://inv/TCNW4FFHKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4989854, kilojoule (definition). Also ProofWiki Definition:SI/Energy/Kilojoule
History
- 2026-10-26: add by m2/dev
Anyonic Lie algebra TCNX57ZCA7
| URI | m2://inv/TCNX57ZCA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anyonic Lie algebra, Anyonic Lie algebra (definition). Also Wikidata Q4778281
History
- 2026-11-02: add by m2/dev
TCNY4PNNB2 TCNY4PNNB2
| URI | m2://inv/TCNY4PNNB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#49IU (statement). In 42XHT97E64/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
TCP4XW09WN TCP4XW09WN
| URI | m2://inv/TCP4XW09WN |
|---|---|
| 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.26701#QATZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
TCP60V613Y TCP60V613Y
| URI | m2://inv/TCP60V613Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.30200#XLWP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Type of hidden choice TCPE3JX0VT
| URI | m2://inv/TCPE3JX0VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#PXE4, Type of hidden choice (statement). In 718SP8YERQ/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
TCPE72Y847 TCPE72Y847
| URI | m2://inv/TCPE72Y847 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.02769#9HG1 (definition). In JH7VQ2EC16/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Voinov TCPJCG15M8
| URI | m2://inv/TCPJCG15M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35123#YVWC, Voinov (statement). In 6106R88BNE/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Adjoint transmission conditions TCPMRFE6HS
| URI | m2://inv/TCPMRFE6HS |
|---|---|
| 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.22384#LRRN, Adjoint transmission conditions (statement)
History
- 2026-11-02: add by m2/v0.6.17
TCPTQB03S8 TCPTQB03S8
| URI | m2://inv/TCPTQB03S8 |
|---|---|
| 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.26089#BC89 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TCPVF43NZV TCPVF43NZV
| URI | m2://inv/TCPVF43NZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-combperm.ptx#example-1 (example). In Y91XFCEVHQ, example, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
One sampling law for all integrands TCPXTJVCSR
| URI | m2://inv/TCPXTJVCSR |
|---|---|
| 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#LZ06, One sampling law for all integrands (statement). In 9YAE8FNQST/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Tarski's exponential function problem TCPY23HZ8V
| URI | m2://inv/TCPY23HZ8V |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#68BV, Tarski's exponential function problem (conjecture)
History
- 2026-11-02: add by m2/dev
Écalle , Hakim TCQ2244WAE
| URI | m2://inv/TCQ2244WAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01520#B6IA, Écalle , Hakim (statement). In GTZYR8QA3G/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
TCQ2XTNBCB TCQ2XTNBCB
| URI | m2://inv/TCQ2XTNBCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#XTY0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jurkat–Richert theorem TCQ58WVWK5
| URI | m2://inv/TCQ58WVWK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17098075, Jurkat–Richert theorem (statement). Also Wikidata Q17098075
- thousand_plus: thousand_plus Q17098075, Jurkat–Richert theorem (statement). Also Wikidata Q17098075, Wikipedia Jurkat–Richert theorem
- wikipedia: Wikipedia Jurkat–Richert theorem, Jurkat–Richert theorem (statement). Also Wikidata Q17098075
History
- 2026-10-26: add by m2/dev
Bayes' theorem TCQE6WSC5H
| URI | m2://inv/TCQE6WSC5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TNW3, Bayes' theorem (definition)
History
- 2026-11-02: add by m2/dev
TCQF2SJCZM TCQF2SJCZM
| URI | m2://inv/TCQF2SJCZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13180#2Q2E (statement). In 7TSVFYEGD8/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Stochastic convergence TCQHTD3MX8
| URI | m2://inv/TCQHTD3MX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QSV6, Stochastic convergence (definition)
History
- 2026-11-02: add by m2/dev
Use TCQYQRF8BF
| URI | m2://inv/TCQYQRF8BF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Location estimation in sensor networks#LCM7, Use (example)
History
- 2026-11-02: add by m2/dev
Helmut Ulm TCR2N5MEF7
| URI | m2://inv/TCR2N5MEF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3C4X, Helmut Ulm (topic)
History
- 2026-11-02: add by m2/dev
1:1.2190103 TCR36AGDWE
| URI | m2://inv/TCR36AGDWE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30302710, 1:1.2190103 (object). Also OEIS A230582
History
- 2026-10-26: add by m2/dev
Code TCRB95R388
| URI | m2://inv/TCRB95R388 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code (set theory), Code (definition). Also Wikidata Q5139990
History
- 2026-11-02: add by m2/dev
TCRE951H2J TCRE951H2J
| URI | m2://inv/TCRE951H2J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#ex:free-monoid (exercise). In N54F33XE07, ex, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
TCRFES1AX3 TCRFES1AX3
| URI | m2://inv/TCRFES1AX3 |
|---|---|
| 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 math/9201244#WSSM (definition). In 7D3HCN21MK/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Cartan relations TCRJG19Y6Y
| URI | m2://inv/TCRJG19Y6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#FUIC, Cartan relations (statement). In 1KRZ5ACTKE/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.12
Universal halting problem TCRK4MD36P
| URI | m2://inv/TCRK4MD36P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halting problem#NKNO, Universal halting problem (unknown)
History
- 2026-11-02: add by m2/dev
William Threlfall TCRM6ZQA86
| URI | m2://inv/TCRM6ZQA86 |
|---|---|
| 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#DP77, William Threlfall (topic)
- wikipedia: Wikipedia List of German mathematicians#FVXK, William Threlfall (topic)
History
- 2026-11-02: add by m2/dev
Sheldon Glashow TCRQNKF2V2
| URI | m2://inv/TCRQNKF2V2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F7CY, Sheldon Glashow (unknown)
History
- 2026-11-02: add by m2/dev
TCS6J6P1P0 TCS6J6P1P0
| URI | m2://inv/TCS6J6P1P0 |
|---|---|
| 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 2401.14162#2K16 (definition). In JC1XF1JE6J/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
TCSCD6CBW4 TCSCD6CBW4
| URI | m2://inv/TCSCD6CBW4 |
|---|---|
| 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.06810#INMG (statement). In 1NY2SA03XF/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Minimum-norm interpolant TCSH8FTZG7
| URI | m2://inv/TCSH8FTZG7 |
|---|---|
| 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.39855#5IWI, Minimum-norm interpolant (statement). In E1KFX0NW51/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
TCSPFBGT2E TCSPFBGT2E
| URI | m2://inv/TCSPFBGT2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#GXYX (statement)
History
- 2026-11-01: add by m2/v0.6.15
TCT4YCANER TCT4YCANER
| URI | m2://inv/TCT4YCANER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
TCT88S04BZ TCT88S04BZ
| URI | m2://inv/TCT88S04BZ |
|---|---|
| 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.36423#XEYZ (statement). In Q5Z178SAHP/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Generalizations TCTCMRZ1NJ
| URI | m2://inv/TCTCMRZ1NJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple Lie algebra#KD6J, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Tangential triangle TCTDVKPQBS
| URI | m2://inv/TCTDVKPQBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#IH5E, Tangential triangle (unknown)
History
- 2026-11-02: add by m2/dev
Generative model TCTF9TDN5P
| URI | m2://inv/TCTF9TDN5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generative model, Generative model (definition). Also Wikidata Q5532625
History
- 2026-11-02: add by m2/dev
TCTHR9KHK0 TCTHR9KHK0
| URI | m2://inv/TCTHR9KHK0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Maximally independent stars TCTR611E0N
| URI | m2://inv/TCTR611E0N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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.35102#TP88, Maximally independent stars (example). In XK6H7F2F13/e1, example 6.3
History
- 2026-10-30: add by m2/v0.4.12
TCV0AD2JTW TCV0AD2JTW
| URI | m2://inv/TCV0AD2JTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#KCHG (statement)
History
- 2026-11-02: add by m2/v0.6.18
TCV0NH8PG5 TCV0NH8PG5
| URI | m2://inv/TCV0NH8PG5 |
|---|---|
| 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.13229#BUC3 (statement). In 4WN20N5Z57/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
TCVC1BXNPJ TCVC1BXNPJ
| URI | m2://inv/TCVC1BXNPJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#JS33 (definition)
History
- 2026-11-01: add by m2/v0.6.15
TCVDTP2C4R TCVDTP2C4R
| URI | m2://inv/TCVDTP2C4R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#GCX1 (definition). In ZR53K3E0FR/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.6
Law TCVJP55VB9
| URI | m2://inv/TCVJP55VB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formalism (philosophy)#3CW8, Law (statement)
History
- 2026-11-02: add by m2/dev
TCVQ507S5P TCVQ507S5P
| URI | m2://inv/TCVQ507S5P |
|---|---|
| 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 2102.12931#MJSL (statement). In PQHTR84RAJ/e1, theorem 5.14
History
- 2026-10-27: add by m2/v0.4.0
TCVTBMEGMF TCVTBMEGMF
| URI | m2://inv/TCVTBMEGMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#I6YG (statement). In NSP90G5XCQ/e1, corollary 2.26
History
- 2026-10-29: add by m2/v0.4.12
TCVYGQKJGR TCVYGQKJGR
| URI | m2://inv/TCVYGQKJGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#definition-4 (definition). In RZP28ERRZV, definition, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
functorial homology TCW345EN05
| URI | m2://inv/TCW345EN05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Homological algebra > functorial homology, functorial homology (unknown). Also Mathlib HomologicalComplex.homology
History
- 2026-10-26: add by m2/dev
Peter Landweber TCW7YS9G4Z
| URI | m2://inv/TCW7YS9G4Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2DCD, Peter Landweber (topic)
History
- 2026-11-02: add by m2/dev
Quantitative transfer criterion TCW8J6PRN3
| URI | m2://inv/TCW8J6PRN3 |
|---|---|
| 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.26984#2ML1, Quantitative transfer criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
TCW9RETMDV TCW9RETMDV
| URI | m2://inv/TCW9RETMDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#KMOI (statement). In 9604WYX0BW/e1, theorem 4.13
History
- 2026-10-28: add by m2/v0.4.3
Properties TCWC1V5E21
| URI | m2://inv/TCWC1V5E21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic surface#27UM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications TCWG9TBMBA
| URI | m2://inv/TCWG9TBMBA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov switching multifractal#ZM0D, Applications (example)
History
- 2026-11-02: add by m2/dev
Linear equation over a ring TCWHTGHMEX
| URI | m2://inv/TCWHTGHMEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear equation over a ring, Linear equation over a ring (definition). Also Wikidata Q17050904
History
- 2026-11-02: add by m2/dev
infinite group TCWPBZWJN5
| URI | m2://inv/TCWPBZWJN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q374268, infinite group (definition). Also MathWorld InfiniteGroup, ProofWiki Definition:Infinite_Group
- wikipedia: Wikipedia Infinite group, Infinite group (definition). Also Wikidata Q374268
History
- 2026-10-26: add by m2/dev
TCWPWYNBCB TCWPWYNBCB
| URI | m2://inv/TCWPWYNBCB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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 2610.19791#FLK5 (definition). In AVDB4KJ6XB/e1, definition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Tiger Tree TCWR1GBR1C
| URI | m2://inv/TCWR1GBR1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle tree#CZF7, Tiger Tree (unknown)
History
- 2026-11-02: add by m2/dev
Basic properties TCWREVWCEP
| URI | m2://inv/TCWREVWCEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew lattice#VM99, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
TCWSZ0T8N6 TCWSZ0T8N6
| URI | m2://inv/TCWSZ0T8N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#FOVK (statement). In 6HJQXZS0A6/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.12
An allocated comparison witness gives one bundle embedding TCWXE8K8T1
| URI | m2://inv/TCWXE8K8T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11143#31XQ, An allocated comparison witness gives one bundle embedding (statement). In 9CS15SV662/e1, proposition 13.1
History
- 2026-10-28: add by m2/v0.4.3
List of computability and complexity topics TCWYNYQW4C
| URI | m2://inv/TCWYNYQW4C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics, List of computability and complexity topics (topic). Also Wikidata Q6613099
History
- 2026-11-02: add by m2/dev
Andrews--Petsche TCWZTYS6HR
| URI | m2://inv/TCWZTYS6HR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-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.24701#JBM4, Andrews--Petsche (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Irish Statistical Association TCX2S9MCR0
| URI | m2://inv/TCX2S9MCR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#ZZE3, Irish Statistical Association (definition)
History
- 2026-11-02: add by m2/dev
TCX38H62CT TCX38H62CT
| URI | m2://inv/TCX38H62CT |
|---|---|
| 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.35340#ZJEX (statement). In WCY07D1CJG/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
TCX5PXZPAC TCX5PXZPAC
| URI | m2://inv/TCX5PXZPAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#S6BR (statement). In 7QXAZXGNPQ/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
TCXERASKS2 TCXERASKS2
| URI | m2://inv/TCXERASKS2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01858#UHLI (definition). In NXSV14WJKJ/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Implicit surface TCXKSGD6RX
| URI | m2://inv/TCXKSGD6RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#JFZ0, Implicit surface (definition)
History
- 2026-11-02: add by m2/dev
Examples TCXRD8QAXP
| URI | m2://inv/TCXRD8QAXP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided Hopf algebra#9C8Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Ploticus TCXT6CAYZ1
| URI | m2://inv/TCXT6CAYZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#U1NR, Ploticus (unknown)
History
- 2026-11-02: add by m2/dev
TCYDWJK40Z TCYDWJK40Z
| URI | m2://inv/TCYDWJK40Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#JX2W (statement). In GGVQ3B9KJ6/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Cantellated tesseractic honeycomb TCYE87SJKH
| URI | m2://inv/TCYE87SJKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated tesseractic honeycomb, Cantellated tesseractic honeycomb (definition). Also Wikidata Q17007134
History
- 2026-11-02: add by m2/dev
Properties TCYJKN3SBZ
| URI | m2://inv/TCYJKN3SBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-test of equality of variances#1KU3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Polynomial long division TCYPMJ597G
| URI | m2://inv/TCYPMJ597G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial long division, Polynomial long division (definition). Also Wikidata Q1068675
History
- 2026-11-02: add by m2/dev
TCYTMBZJPP TCYTMBZJPP
| URI | m2://inv/TCYTMBZJPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01596#1HRE (statement). In 40VTEP7WH8/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
TCYWJCSJJB TCYWJCSJJB
| URI | m2://inv/TCYWJCSJJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#101K (statement). In WAXS6FS388/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
TCYY6T3A46 TCYY6T3A46
| URI | m2://inv/TCYY6T3A46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#U81N (statement). In TNV6XTEWEG/e1, fact 2.3
History
- 2026-10-31: add by m2/v0.5.6
uniform convergence norm (sup-norm) TCYZK4H861
| URI | m2://inv/TCYZK4H861 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > uniform convergence norm (sup-norm), uniform convergence norm (sup-norm) (unknown). Also Mathlib EMetric.tendstoUniformlyOn_iff
History
- 2026-10-26: add by m2/dev
Time uniform discretization bound for constant reference TCZ4F2HDWK
| URI | m2://inv/TCZ4F2HDWK |
|---|---|
| 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.09522#JMYE, Time uniform discretization bound for constant reference (statement). In KKR9167FPT/e1, theorem 19
History
- 2026-10-29: add by m2/v0.4.10
Bapat–Beg theorem TCZ5MSX0W5
| URI | m2://inv/TCZ5MSX0W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DZXB, Bapat–Beg theorem (statement)
History
- 2026-11-02: add by m2/dev
Lebesgue-Type Bounds on the Two Constants TCZ6A053V2
| URI | m2://inv/TCZ6A053V2 |
|---|---|
| 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#ID3Q, Lebesgue-Type Bounds on the Two Constants (statement). In Z6WA2R0J50/e1, proposition 2.19
History
- 2026-10-28: add by m2/v0.4.2
TCZFR2M9CM TCZFR2M9CM
| URI | m2://inv/TCZFR2M9CM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2411.16022#UB9J (definition). In QG9ATXTKJ6/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
Maxwell relations TCZMZYE5DM
| URI | m2://inv/TCZMZYE5DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#YMQ3, Maxwell relations (definition)
History
- 2026-11-02: add by m2/dev
Lê Vũ Anh TCZRC3RDHC
| URI | m2://inv/TCZRC3RDHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lê Vũ Anh, Lê Vũ Anh (topic). Also Wikidata Q108293163
History
- 2026-11-02: add by m2/dev
Polynomial fixed-accuracy channel normalization TCZYAEEP70
| URI | m2://inv/TCZYAEEP70 |
|---|---|
| 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.33021#XMUK, Polynomial fixed-accuracy channel normalization (statement). In GG96DW33Q9/e1, proposition F.4
History
- 2026-10-31: add by m2/v0.5.6