Inventory rows 3T
The cards of the rows of the inventory whose ids start with 3T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
3T00ZF9HTT 3T00ZF9HTT
| URI | m2://inv/3T00ZF9HTT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#example-5 (example). In RZP28ERRZV, example, section 91.3
History
- 2026-11-01: add by m2/v0.6.13
3T01P95ESY 3T01P95ESY
| URI | m2://inv/3T01P95ESY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#L0OB (statement). In PWXT7J9JX3/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Non-examples 3T06YNK09F
| URI | m2://inv/3T06YNK09F |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable set#DSZ8, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Exponential upper bound for spectral growth 3T09BF3EJS
| URI | m2://inv/3T09BF3EJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#0OI8, Exponential upper bound for spectral growth (statement). In MZ60NP20BH/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.0
3T0F5YRABR 3T0F5YRABR
| URI | m2://inv/3T0F5YRABR |
|---|---|
| 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 2012.14505#UHVV (statement). In 97VQ5TC7MD/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Principle 3T0GYSGRJW
| URI | m2://inv/3T0GYSGRJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crank–Nicolson method#Q3UZ, Principle (statement)
History
- 2026-11-02: add by m2/dev
Obversion 3T0M481KMY
| URI | m2://inv/3T0M481KMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Obversion, Obversion (definition). Also Wikidata Q3776150
History
- 2026-11-02: add by m2/dev
3T0Q40HV4V 3T0Q40HV4V
| URI | m2://inv/3T0Q40HV4V |
|---|---|
| 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.18847#3SCV (statement). In DZ12XTTJSM/e1, lemma 1.6
History
- 2026-10-28: add by m2/v0.4.2
Airy function 3T0RXEGHTR
| URI | m2://inv/3T0RXEGHTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#Q6A1, Airy function (definition)
History
- 2026-11-02: add by m2/dev
3T0X60T14S 3T0X60T14S
| URI | m2://inv/3T0X60T14S |
|---|---|
| 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 2211.14214#69NW (statement). In SY85Y9E45A/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
Strict positivity of $\underline{p}(\epsilon)$ 3T181VW0MQ
| URI | m2://inv/3T181VW0MQ |
|---|---|
| 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.31363#0M8S, Strict positivity of $\underline{p}(\epsilon)$ (statement). In XB8NYRD86J/e1, lemma D.6
History
- 2026-10-31: add by m2/v0.5.6
3T19F8YS89 3T19F8YS89
| URI | m2://inv/3T19F8YS89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#7CYE (statement). In M9VHCG48HB/e1, corollary 6.8
History
- 2026-10-27: add by m2/v0.3.5
Subindependence 3T19PTHNVZ
| URI | m2://inv/3T19PTHNVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subindependence, Subindependence (definition). Also Wikidata Q7631336
History
- 2026-11-02: add by m2/dev
Properties 3T1FT5SN8X
| URI | m2://inv/3T1FT5SN8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia External ray#HYBN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Type theory 3T1JQX8F2X
| URI | m2://inv/3T1JQX8F2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#QB04, Type theory (definition)
- wikipedia: Wikipedia List of mathematical logic topics#BGTS, Type theory (definition)
History
- 2026-11-02: add by m2/dev
Examples 3T1MHWMJXN
| URI | m2://inv/3T1MHWMJXN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence distribution#69K0, Examples (example)
History
- 2026-11-02: add by m2/dev
Central limit theorem 3T1RDCSASG
| URI | m2://inv/3T1RDCSASG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy distribution#Y1B9, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
3T1VB1EV2H 3T1VB1EV2H
| URI | m2://inv/3T1VB1EV2H |
|---|---|
| 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#NNK5 (statement). In QD0X3XJS6T/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
split graph 3T1VQEE0RS
| URI | m2://inv/3T1VQEE0RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3893853, split graph (unknown). Also MathWorld SplitGraph
- wikipedia: Wikipedia Split graph, Split graph (definition). Also Wikidata Q3893853
History
- 2026-10-26: add by m2/dev
3T1WJZ9RER 3T1WJZ9RER
| URI | m2://inv/3T1WJZ9RER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#TT36 (statement)
History
- 2026-11-02: add by m2/v0.6.17
3T2C2ZJ008 3T2C2ZJ008
| URI | m2://inv/3T2C2ZJ008 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#definition-6 (definition). In RZP28ERRZV, definition, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
General population approximation 3T2WFT06F4
| URI | m2://inv/3T2WFT06F4 |
|---|---|
| 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.32026#P6JH, General population approximation (statement). In KM6PX54YFZ/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Optimality of KF 3T2X5V9GPB
| URI | m2://inv/3T2X5V9GPB |
|---|---|
| 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.22338#3EUA, Optimality of KF (statement)
History
- 2026-11-02: add by m2/v0.6.17
3T2Z32XA56 3T2Z32XA56
| URI | m2://inv/3T2Z32XA56 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30575#CNXO (definition). In 6WFFY0QM27/e1, definition 1.4
History
- 2026-10-31: add by m2/v0.5.6
Helm graph 3T31M4A096
| URI | m2://inv/3T31M4A096 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphs#LZTA, Helm graph (unknown)
History
- 2026-11-02: add by m2/dev
Takeshi Saito 3T31Z2F6YQ
| URI | m2://inv/3T31Z2F6YQ |
|---|---|
| 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#W7EH, Takeshi Saito (topic)
History
- 2026-11-02: add by m2/dev
Pseudorandom number generator 3T33B5AA7G
| URI | m2://inv/3T33B5AA7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#K6Q0, Pseudorandom number generator (definition)
History
- 2026-11-02: add by m2/dev
Alexei Kitaev 3T3GWT1HQN
| URI | m2://inv/3T3GWT1HQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2643958, Alexei Kitaev (unknown). Also nLab Alexei Kitaev
History
- 2026-10-26: add by m2/dev
Stable MLLT for $w$ 3T3JYMRQYJ
| URI | m2://inv/3T3JYMRQYJ |
|---|---|
| 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.15720#PM75, Stable MLLT for $w$ (statement). In VNN52G3BRE/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 3T3MKC57G1
| URI | m2://inv/3T3MKC57G1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deniable encryption#1B1E, Examples (example)
History
- 2026-11-02: add by m2/dev
3T3S0T1PK8 3T3S0T1PK8
| URI | m2://inv/3T3S0T1PK8 |
|---|---|
| Kind | example |
| 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.13505#9O0M (example). In 6Z1DDCYCQ8/e1, example Example
History
- 2026-10-28: add by m2/v0.4.2
3T3T4H2WTJ 3T3T4H2WTJ
| URI | m2://inv/3T3T4H2WTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#5N3Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Illusory correlation 3T3WCWGH5E
| URI | m2://inv/3T3WCWGH5E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#PKCN, Illusory correlation (unknown)
History
- 2026-11-02: add by m2/dev
Pascal's triangle 3T40AAWB0P
| URI | m2://inv/3T40AAWB0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YTI9, Pascal's triangle (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#6HIG, Pascal's triangle (definition)
History
- 2026-11-02: add by m2/dev
Compound of five cubohemioctahedra 3T42FD7S5T
| URI | m2://inv/3T42FD7S5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five cubohemioctahedra, Compound of five cubohemioctahedra (definition). Also Wikidata Q5156852
History
- 2026-11-02: add by m2/dev
Richard Riordan 3T42GFMVJX
| URI | m2://inv/3T42GFMVJX |
|---|---|
| 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#AZZG, Richard Riordan (unknown)
History
- 2026-11-02: add by m2/dev
3T44KX97DX 3T44KX97DX
| URI | m2://inv/3T44KX97DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27931#VDU6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3T45KSE7DP 3T45KSE7DP
| URI | m2://inv/3T45KSE7DP |
|---|---|
| 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.29949#PPW4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3T45WYW5GX 3T45WYW5GX
| URI | m2://inv/3T45WYW5GX |
|---|---|
| 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 2204.01121#QKG6 (statement). In 1HP57QXBGF/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Case D 3T473ZD70B
| URI | m2://inv/3T473ZD70B |
|---|---|
| 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.27136#UG6Z, Case D (statement)
History
- 2026-11-01: add by m2/v0.6.15
3T4GMZCEB4 3T4GMZCEB4
| URI | m2://inv/3T4GMZCEB4 |
|---|---|
| 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#9GVJ (problem). In VD4JP4HVBX/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
3T4KC9144P 3T4KC9144P
| URI | m2://inv/3T4KC9144P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Rudolf Kochendörffer 3T4P71V3KJ
| URI | m2://inv/3T4P71V3KJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Kochendörffer, Rudolf Kochendörffer (topic). Also Wikidata Q2173193
History
- 2026-11-02: add by m2/dev
3T4PJCMGC0 3T4PJCMGC0
| URI | m2://inv/3T4PJCMGC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19309#7L2P (statement). In XKENQH35DW/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
3T4TC0C3QW 3T4TC0C3QW
| URI | m2://inv/3T4TC0C3QW |
|---|---|
| Kind | problem |
| 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#BQBP (problem). In X765ZXXVC3/e1, problem 4.32
History
- 2026-10-29: add by m2/v0.4.12
3T4TJ9RAMC 3T4TJ9RAMC
| URI | m2://inv/3T4TJ9RAMC |
|---|---|
| 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.33578#WJBW (statement). In 3XTDDKY6YE/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
Spherical design 3T4WGGFCKT
| URI | m2://inv/3T4WGGFCKT |
|---|---|
| Kind | definition |
| 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 2609.31689#S5F4, Spherical design (definition). In Z7M2JSF6HA/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Theorem 5 3T5C04PB38
| URI | m2://inv/3T5C04PB38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation code#NG64, Theorem 5 (statement)
History
- 2026-11-02: add by m2/dev
Karl Egil Aubert 3T5JHV50C4
| URI | m2://inv/3T5JHV50C4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Egil Aubert, Karl Egil Aubert (topic). Also Wikidata Q6371738
History
- 2026-11-02: add by m2/dev
3T5NMW8HRA 3T5NMW8HRA
| URI | m2://inv/3T5NMW8HRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38735#LSDL (statement). In XZ71J0DQSE/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Variants 3T5VWZB49Q
| URI | m2://inv/3T5VWZB49Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pearson correlation coefficient#ZW7B, Variants (statement)
History
- 2026-11-02: add by m2/dev
Donald A. Martin 3T60RB0RE4
| URI | m2://inv/3T60RB0RE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald A. Martin, Donald A. Martin (topic). Also Wikidata Q176776
History
- 2026-11-02: add by m2/dev
3T625KVGM5 3T625KVGM5
| URI | m2://inv/3T625KVGM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#C8W4 (statement). In CC6S1HVK0T/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Pathwidth 3T66GAQR4M
| URI | m2://inv/3T66GAQR4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JZMO, Pathwidth (definition)
History
- 2026-11-02: add by m2/dev
Lemniscate 3T69QS9T0Q
| URI | m2://inv/3T69QS9T0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemniscate, Lemniscate (definition). Also Wikidata Q10545374
History
- 2026-11-02: add by m2/dev
Vop\v{e}nka--H\'ajek 3T6F93T6ES
| URI | m2://inv/3T6F93T6ES |
|---|---|
| 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.29641#V9V8, Vop\v{e}nka--H\'ajek (statement)
History
- 2026-11-01: add by m2/v0.6.15
normed division algebra 3T6JK372NX
| URI | m2://inv/3T6JK372NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2038861, normed division algebra (unknown). Also nLab normed division algebra
History
- 2026-10-26: add by m2/dev
3T6QDDTTH4 3T6QDDTTH4
| URI | m2://inv/3T6QDDTTH4 |
|---|---|
| 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 2509.16898#S5ZB (statement). In FXBFTRHBAH/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
3T70E03V85 3T70E03V85
| URI | m2://inv/3T70E03V85 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#NUGH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Complementarity theory 3T722KCY3X
| URI | m2://inv/3T722KCY3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ERJN, Complementarity theory (definition)
History
- 2026-11-02: add by m2/dev
Alternative definitions 3T760RER4R
| URI | m2://inv/3T760RER4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biholomorphism#81XE, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Littlewood's law 3T7Q1D4HVW
| URI | m2://inv/3T7Q1D4HVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J3P2, Littlewood's law (statement)
History
- 2026-11-02: add by m2/dev
3T7YVGGF7F 3T7YVGGF7F
| URI | m2://inv/3T7YVGGF7F |
|---|---|
| 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 2407.04161#Q00N (definition). In JBZJ7NPQ4G/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Zero Order Reactions 3T80QPW6RV
| URI | m2://inv/3T80QPW6RV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#23KX, Zero Order Reactions (unknown)
History
- 2026-11-02: add by m2/dev
3T828RNNNV 3T828RNNNV
| URI | m2://inv/3T828RNNNV |
|---|---|
| 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 2211.14214#XAC1 (statement). In SY85Y9E45A/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
stroke 3T83D15JYS
| URI | m2://inv/3T83D15JYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#OIYS, stroke (definition)
History
- 2026-11-02: add by m2/dev
Admissible flux 3T87069CJ0
| URI | m2://inv/3T87069CJ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12088#5JJB, Admissible flux (definition). In 5A39XSJ04W/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.3
3T87S49V3Z 3T87S49V3Z
| URI | m2://inv/3T87S49V3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20190#40NV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Peter Teichner 3T8BXDYQZA
| URI | m2://inv/3T8BXDYQZA |
|---|---|
| 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#812E, Peter Teichner (topic)
History
- 2026-11-02: add by m2/dev
Stencil (numerical analysis) 3T8DZPG3DG
| URI | m2://inv/3T8DZPG3DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#UWE6, Stencil (numerical analysis) (definition)
History
- 2026-11-02: add by m2/dev
3T8H5B9GH5 3T8H5B9GH5
| URI | m2://inv/3T8H5B9GH5 |
|---|---|
| Kind | example |
| 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.33162#B3YJ (example). In RPC7VG3KHQ/e1, example 8.4
History
- 2026-10-30: add by m2/v0.4.12
Cauchy–Rassias stability 3T8MYWX25W
| URI | m2://inv/3T8MYWX25W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Rassias stability, Cauchy–Rassias stability (definition). Also Wikidata Q5054347
History
- 2026-11-02: add by m2/dev
Heisenberg group 3T8YEK9DX9
| URI | m2://inv/3T8YEK9DX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#IEB3, Heisenberg group (definition)
History
- 2026-11-02: add by m2/dev
Lagrangian mechanics 3T8ZNKHY1G
| URI | m2://inv/3T8ZNKHY1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#LTK8, Lagrangian mechanics (definition)
- wikipedia: Wikipedia List of variational topics#RG0L, Lagrangian mechanics (definition)
History
- 2026-11-02: add by m2/dev
Characterizations 3T938EQZ8F
| URI | m2://inv/3T938EQZ8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected relation#I8MV, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Feldman-Propp 3T99MA9HQ0
| URI | m2://inv/3T99MA9HQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.04089#3WX4, Feldman-Propp (statement). In T126FDFXT5/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Reciprocal/harmonic-mean common-factor phase diagram 3T9BV2JHHH
| URI | m2://inv/3T9BV2JHHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#5QXX, Reciprocal/harmonic-mean common-factor phase diagram (statement)
History
- 2026-11-01: add by m2/v0.6.15
Infinity Laplacian 3T9P1656JV
| URI | m2://inv/3T9P1656JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinity Laplacian, Infinity Laplacian (definition). Also Wikidata Q6030026
History
- 2026-11-02: add by m2/dev
3T9ZNER37M 3T9ZNER37M
| URI | m2://inv/3T9ZNER37M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#WJC1 (definition). In XV70TXYS5A/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.4.2
Onorato Candiota 3TA0VWY8P7
| URI | m2://inv/3TA0VWY8P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onorato Candiota, Onorato Candiota (topic). Also Wikidata Q58011267
History
- 2026-11-02: add by m2/dev
Dominic Joyce 3TA1KJRDCW
| URI | m2://inv/3TA1KJRDCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RZ9N, Dominic Joyce (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M0L6, Dominic Joyce (topic)
History
- 2026-11-02: add by m2/dev
Ronald Solomon 3TA1YCK8VW
| URI | m2://inv/3TA1YCK8VW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T0QS, Ronald Solomon (topic)
History
- 2026-11-02: add by m2/dev
Stability with respect to driving processes 3TACBJ0WE0
| URI | m2://inv/3TACBJ0WE0 |
|---|---|
| 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#6P4N, Stability with respect to driving processes (statement). In 9SV2RAEPXM/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.6
similarity 3TAE0WGZZ3
| URI | m2://inv/3TAE0WGZZ3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.3.4/similarity, similarity (concept). In 649HGZKE96, index, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Definition 3TAMR69716
| URI | m2://inv/3TAMR69716 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor map#69RZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ordinal data 3TANWRB0SX
| URI | m2://inv/3TANWRB0SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal data, Ordinal data (definition). Also Wikidata Q7100785
History
- 2026-11-02: add by m2/dev
alternate segment theorem 3TAP8CN336
| URI | m2://inv/3TAP8CN336 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11067849, alternate segment theorem (statement). Also ProofWiki Tangent-Chord_Theorem
History
- 2026-10-26: add by m2/dev
Cheng's diameter rigidity theorem 3TATMXZ5AM
| URI | m2://inv/3TATMXZ5AM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myers's theorem#A7LK, Cheng's diameter rigidity theorem (statement)
History
- 2026-11-02: add by m2/dev
harmonic mean 3TB6MFTAAS
| URI | m2://inv/3TB6MFTAAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188347, harmonic mean (unknown). Also MathWorld HarmonicMean
- wikipedia: Wikipedia Harmonic mean, Harmonic mean (definition). Also Wikidata Q188347
History
- 2026-10-26: add by m2/dev
Examples 3TB72KXSYV
| URI | m2://inv/3TB72KXSYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistant set#HGC8, Examples (example)
History
- 2026-11-02: add by m2/dev
3TBGYAGQHR 3TBGYAGQHR
| URI | m2://inv/3TBGYAGQHR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-25 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
3TBGYP21AE 3TBGYP21AE
| URI | m2://inv/3TBGYP21AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#7X8S (statement). In 9YTGFNA004/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
3TBK8WK4SD 3TBK8WK4SD
| URI | m2://inv/3TBK8WK4SD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#8XLA (definition). In WYXQDSQR9B/e1, definition 3.9
History
- 2026-10-31: add by m2/v0.5.6
Neville Thurlbeck 3TBN8Z14KS
| URI | m2://inv/3TBN8Z14KS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#UVMV, Neville Thurlbeck (unknown)
History
- 2026-11-02: add by m2/dev
3TBSX0SH58 3TBSX0SH58
| URI | m2://inv/3TBSX0SH58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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.16267#OX46 (statement). In 65GKPZ15VH/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.2
Karl Dorrell 3TBW1HAJA1
| URI | m2://inv/3TBW1HAJA1 |
|---|---|
| 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#ZJRK, Karl Dorrell (unknown)
History
- 2026-11-02: add by m2/dev
3TBW9F9X6J 3TBW9F9X6J
| URI | m2://inv/3TBW9F9X6J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#864V (example). In CY1FE8W1ZW/e1, example 0.284
History
- 2026-10-27: add by m2/v0.4.0
Theory of relativity 3TBWXATDF9
| URI | m2://inv/3TBWXATDF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#KGR9, Theory of relativity (definition)
History
- 2026-11-02: add by m2/dev
3TC4AXP8Y1 3TC4AXP8Y1
| URI | m2://inv/3TC4AXP8Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#CPQS (statement). In 2G5K2GZTX7/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
3TCAH6X478 3TCAH6X478
| URI | m2://inv/3TCAH6X478 |
|---|---|
| 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.02506#7M7N (statement). In 3JKRBZWJ33/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Igor Girsanov 3TCE3WJM9D
| URI | m2://inv/3TCE3WJM9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#8L16, Igor Girsanov (topic)
History
- 2026-11-02: add by m2/dev
3TCVRBEWA5 3TCVRBEWA5
| URI | m2://inv/3TCVRBEWA5 |
|---|---|
| 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.24845#C76F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Math for America 3TCXKVM5V4
| URI | m2://inv/3TCXKVM5V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math for America, Math for America (definition). Also Wikidata Q6786774
History
- 2026-11-02: add by m2/dev
Definitions 3TD3EY8G17
| URI | m2://inv/3TD3EY8G17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent space#T1CS, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Algorithm 3TD7FQAZJJ
| URI | m2://inv/3TD7FQAZJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great Internet Mersenne Prime Search#9W73, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Variants 3TDGEVACY2
| URI | m2://inv/3TDGEVACY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of apportionment#4N2P, Variants (statement)
History
- 2026-11-02: add by m2/dev
3TDKA4Y38B 3TDKA4Y38B
| URI | m2://inv/3TDKA4Y38B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#KAVZ (statement). In 8SXY7Y68HV/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
3TDKVFX2WQ 3TDKVFX2WQ
| URI | m2://inv/3TDKVFX2WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#2H7G (statement)
History
- 2026-11-01: add by m2/v0.6.15
3TDMCBK1SM 3TDMCBK1SM
| URI | m2://inv/3TDMCBK1SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#T923 (statement). In TT9BA4VMTW/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
3TDPFBR22G 3TDPFBR22G
| URI | m2://inv/3TDPFBR22G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.06081#4HDP (statement). In 7Z3KQRFEVG/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
The dictionary 3TDQTNJ1KR
| URI | m2://inv/3TDQTNJ1KR |
|---|---|
| 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.18154#82CA, The dictionary (statement). In 4W7ARR1DAR/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Numerical linear algebra 3TDX0D7DE5
| URI | m2://inv/3TDX0D7DE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical linear algebra, Numerical linear algebra (topic). Also Wikidata Q2004891
History
- 2026-11-02: add by m2/dev
Random-restart hill climbing 3TDZ9A4Q1A
| URI | m2://inv/3TDZ9A4Q1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#RJHQ, Random-restart hill climbing (definition)
History
- 2026-11-02: add by m2/dev
Local martingale 3TDZXQ8500
| URI | m2://inv/3TDZXQ8500 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QKEF, Local martingale (definition)
History
- 2026-11-02: add by m2/dev
Generic property 3TE2TK6NDZ
| URI | m2://inv/3TE2TK6NDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic property, Generic property (definition). Also Wikidata Q5532678
History
- 2026-11-02: add by m2/dev
3TEAAQEYDV 3TEAAQEYDV
| URI | m2://inv/3TEAAQEYDV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-37 (proof). In N54F33XE07, proof, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
1 22 polytope 3TEEJDTS6A
| URI | m2://inv/3TEEJDTS6A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 22 polytope, 1 22 polytope (object). Also Wikidata Q4595914
History
- 2026-11-02: add by m2/dev
Rational root theorem 3TEM9BE25B
| URI | m2://inv/3TEM9BE25B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#FMX5, Rational root theorem (statement)
History
- 2026-11-02: add by m2/dev
Invariance principle 3TEP395ZYS
| URI | m2://inv/3TEP395ZYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of Boolean functions#WCJV, Invariance principle (statement)
History
- 2026-11-02: add by m2/dev
3TEPAHTYKF 3TEPAHTYKF
| URI | m2://inv/3TEPAHTYKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36068#JKQ5 (statement). In CKNAB8QY5B/e1, proposition 15
History
- 2026-10-30: add by m2/v0.4.12
3TF0WZSK5T 3TF0WZSK5T
| URI | m2://inv/3TF0WZSK5T |
|---|---|
| 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#U3F5 (definition). In WD2NCBV9F0/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Example 3TF5SVVBDK
| URI | m2://inv/3TF5SVVBDK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable-order Markov model#MPNH, Example (example)
History
- 2026-11-02: add by m2/dev
3TFFA6ZEXH 3TFFA6ZEXH
| URI | m2://inv/3TFFA6ZEXH |
|---|---|
| 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 2605.17484#YWC8 (statement). In 5E9GMPKEEP/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
3TFMDX5KPD 3TFMDX5KPD
| URI | m2://inv/3TFMDX5KPD |
|---|---|
| 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.18464#CV6P (statement). In VSTFM3ME25/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
3TFN3S4D0S 3TFN3S4D0S
| URI | m2://inv/3TFN3S4D0S |
|---|---|
| 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.06556#VX5D (statement). In KW8C7VE9XR/e1, corollary 6
History
- 2026-10-29: add by m2/v0.4.10
Examples 3TFNV4B82G
| URI | m2://inv/3TFNV4B82G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf of algebras#AM5M, Examples (example)
History
- 2026-11-02: add by m2/dev
Walter A. Shewhart 3TG36SKWKD
| URI | m2://inv/3TG36SKWKD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#YXHN, Walter A. Shewhart (topic)
History
- 2026-11-02: add by m2/dev
Argyros--Motakis 3TG3AEAGKF
| URI | m2://inv/3TG3AEAGKF |
|---|---|
| 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.38396#Z4JO, Argyros--Motakis (statement). In FGNNVKQR1Z/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
elementary mathematics 3TG3PRRF1N
| URI | m2://inv/3TG3PRRF1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3284266, elementary mathematics (unknown). Also nLab elementary mathematics
- wikipedia: Wikipedia Elementary mathematics, Elementary mathematics (definition). Also Wikidata Q3284266
History
- 2026-10-26: add by m2/dev
3TGFW4H4DJ 3TGFW4H4DJ
| URI | m2://inv/3TGFW4H4DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/proof-examples.tex#defn:depth (definition). In PKGMM3P5QY, defn, section 61.10
History
- 2026-11-01: add by m2/v0.6.13
Specht's theorem 3TGHNNJ4TG
| URI | m2://inv/3TGHNNJ4TG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0Q9N, Specht's theorem (statement)
History
- 2026-11-02: add by m2/dev
Brane 3TGJYP0XJR
| URI | m2://inv/3TGJYP0XJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brane, Brane (definition). Also Wikidata Q385601
History
- 2026-11-02: add by m2/dev
3TGR6YJXJP 3TGR6YJXJP
| URI | m2://inv/3TGR6YJXJP |
|---|---|
| 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.09042#HO7D (statement). In 7CS3N5K9FJ/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
3TGRFCJZS6 3TGRFCJZS6
| URI | m2://inv/3TGRFCJZS6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 3TGVYW65T5
| URI | m2://inv/3TGVYW65T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian manifold#LF4D, Properties (statement)
History
- 2026-11-02: add by m2/dev
Implementations 3TH2GBHVKA
| URI | m2://inv/3TH2GBHVKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized method of moments#PH53, Implementations (definition)
History
- 2026-11-02: add by m2/dev
3TH84QWXRF 3TH84QWXRF
| URI | m2://inv/3TH84QWXRF |
|---|---|
| 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 2510.09873#ITIW (statement). In KNB3ZCNC9Q/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
3TH8K3VCH5 3TH8K3VCH5
| URI | m2://inv/3TH8K3VCH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14377#4XY8 (statement). In WEZPNET90D/e1, proposition 7.8
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 3THCD01KE6
| URI | m2://inv/3THCD01KE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexible polyhedron#DUDW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3THP28M470 3THP28M470
| URI | m2://inv/3THP28M470 |
|---|---|
| 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.21322#D495 (statement). In CNDA8DBEGD/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
3THVQ5YC21 3THVQ5YC21
| URI | m2://inv/3THVQ5YC21 |
|---|---|
| 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.28350#Y8OC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taylor coefficients and critical exponents 3THWTPKEAD
| URI | m2://inv/3THWTPKEAD |
|---|---|
| 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.25915#1BNB, Taylor coefficients and critical exponents (statement)
History
- 2026-11-01: add by m2/v0.6.15
Soliton--extrinsic reconstruction 3TJ09QABN8
| URI | m2://inv/3TJ09QABN8 |
|---|---|
| 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.00077#29R9, Soliton--extrinsic reconstruction (statement). In C04B15GH1T/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
saturated 3TJ5386RF6
| URI | m2://inv/3TJ5386RF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#DB32, saturated (definition)
History
- 2026-11-02: add by m2/dev
log sine integral 3TJ9NVP7FT
| URI | m2://inv/3TJ9NVP7FT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134326403, log sine integral (unknown). Also MathWorld LogSineIntegral
History
- 2026-10-26: add by m2/dev
Generalizations 3TJG83PS3C
| URI | m2://inv/3TJG83PS3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#0OAM, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Laura Fredrickson 3TJKXW3Y1B
| URI | m2://inv/3TJKXW3Y1B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96000437, Laura Fredrickson (unknown). Also nLab Laura Fredrickson
History
- 2026-10-26: add by m2/dev
3TJPSWXZB6 3TJPSWXZB6
| URI | m2://inv/3TJPSWXZB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#VVG3 (statement). In AKB3CNDA0F/e1, lemma 3.38
History
- 2026-10-29: add by m2/v0.4.12
Lulu Kang 3TJRPA2EW1
| URI | m2://inv/3TJRPA2EW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#XOU5, Lulu Kang (unknown)
History
- 2026-11-02: add by m2/dev
basis 3TJSMY34EN
| URI | m2://inv/3TJSMY34EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#2H2G, basis (statement). In 6W9H24A378/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Partition of the sum of squares 3TK52PSY25
| URI | m2://inv/3TK52PSY25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#97X7, Partition of the sum of squares (definition)
History
- 2026-11-02: add by m2/dev
Goodman and Kruskal's lambda 3TK98N9TSC
| URI | m2://inv/3TK98N9TSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodman and Kruskal's lambda, Goodman and Kruskal's lambda (definition). Also Wikidata Q5583481
History
- 2026-11-02: add by m2/dev
3TK9WQCP90 3TK9WQCP90
| URI | m2://inv/3TK9WQCP90 |
|---|---|
| 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#LF19 (definition). In QG9ATXTKJ6/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
3TKE8M45JN 3TKE8M45JN
| URI | m2://inv/3TKE8M45JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20740#WUVQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
3TKNXN0R2R 3TKNXN0R2R
| URI | m2://inv/3TKNXN0R2R |
|---|---|
| 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 2508.18436#BJQG (statement). In 6W19Z58188/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.6
upper dimension of realised parameters 3TKTBF6DE5
| URI | m2://inv/3TKTBF6DE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#SO67, upper dimension of realised parameters (statement). In CBCCH5VTMQ/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
Rikitaro Fujisawa 3TKV8DD8F1
| URI | m2://inv/3TKV8DD8F1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rikitaro Fujisawa, Rikitaro Fujisawa (topic). Also Wikidata Q21015011
History
- 2026-11-02: add by m2/dev
3TM28W9HJ1 3TM28W9HJ1
| URI | m2://inv/3TM28W9HJ1 |
|---|---|
| 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 2609.30760#0R2B (definition). In MMVNRRE7N0/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Multiple point 3TM4AKZCSE
| URI | m2://inv/3TM4AKZCSE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular point of a curve#CHIE, Multiple point (unknown)
History
- 2026-11-02: add by m2/dev
Real-root gate 3TN1G0TDKA
| URI | m2://inv/3TN1G0TDKA |
|---|---|
| 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.11793#V3WZ, Real-root gate (statement). In GGCY8Z053Z/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
3TN47DQFZS 3TN47DQFZS
| URI | m2://inv/3TN47DQFZS |
|---|---|
| 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.03358#G26B (statement). In KCXEY7HJ8V/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
3TNAW6AS1X 3TNAW6AS1X
| URI | m2://inv/3TNAW6AS1X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Recall bias 3TNB7Q38NC
| URI | m2://inv/3TNB7Q38NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T439, Recall bias (definition)
History
- 2026-11-02: add by m2/dev
3TNBHYJTK3 3TNBHYJTK3
| URI | m2://inv/3TNBHYJTK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#SKDQ (definition). In A59MZ9H284/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Progressive meshes 3TND38KK00
| URI | m2://inv/3TND38KK00 |
|---|---|
| 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#7DFO, Progressive meshes (unknown)
History
- 2026-11-02: add by m2/dev
central moment 3TNHY7K9VS
| URI | m2://inv/3TNHY7K9VS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#ZM8H, central moment (definition)
History
- 2026-11-02: add by m2/dev
Candido's identity 3TNKW0EK6E
| URI | m2://inv/3TNKW0EK6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giacomo Candido#BQJG, Candido's identity (statement)
History
- 2026-11-02: add by m2/dev
Raman Parimala 3TNQZJC754
| URI | m2://inv/3TNQZJC754 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#XFKI, Raman Parimala (topic)
History
- 2026-11-02: add by m2/dev
La Niña 3TNTRHWG64
| URI | m2://inv/3TNTRHWG64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia El Niño–Southern Oscillation#LK7N, La Niña (unknown)
History
- 2026-11-02: add by m2/dev
Example 3TNTSJHN5M
| URI | m2://inv/3TNTSJHN5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Lagrange equation#WYW3, Example (example)
History
- 2026-11-02: add by m2/dev
BCJR algorithm 3TNV5RB8C2
| URI | m2://inv/3TNV5RB8C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#V5RN, BCJR algorithm (definition)
History
- 2026-11-02: add by m2/dev
Romanov's theorem 3TNWNS4WCS
| URI | m2://inv/3TNWNS4WCS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanov's theorem, Romanov's theorem (statement). Also Wikidata Q96402496
History
- 2026-11-02: add by m2/dev
The associated cluster algebras 3TNZZCDVET
| URI | m2://inv/3TNZZCDVET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#ETGY, The associated cluster algebras (definition). In 6G1KBA0SXV/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Predictable conditional coefficients 3TP0XNX2CE
| URI | m2://inv/3TP0XNX2CE |
|---|---|
| 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.28985#H66X, Predictable conditional coefficients (statement)
History
- 2026-11-01: add by m2/v0.6.15
Slutsky equation 3TP6X77YB9
| URI | m2://inv/3TP6X77YB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slutsky equation, Slutsky equation (definition). Also Wikidata Q431721
History
- 2026-11-02: add by m2/dev
Inherent zero 3TP7N1SXXN
| URI | m2://inv/3TP7N1SXXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UNGG, Inherent zero (definition)
History
- 2026-11-02: add by m2/dev
3TPF3RMHRV 3TPF3RMHRV
| URI | m2://inv/3TPF3RMHRV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise:restrictionlimitexercise (exercise). In E59CDZA4DP, exercise, section 2.1.5
History
- 2026-11-01: add by m2/v0.6.13
Perron method 3TPPRSG6EG
| URI | m2://inv/3TPPRSG6EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron method, Perron method (definition). Also Wikidata Q7169664
History
- 2026-11-02: add by m2/dev
Product bound 3TQ22YAE35
| URI | m2://inv/3TQ22YAE35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#RX3T, Product bound (statement). In FTPW1SZ8D3/e1, lemma A.11
History
- 2026-10-30: add by m2/v0.4.12
3TQ28F7ZAF 3TQ28F7ZAF
| URI | m2://inv/3TQ28F7ZAF |
|---|---|
| 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 2208.07401#RXR4 (statement). In GJD7HKCE56/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.3.6
normal operator 3TQD4SG7V4
| URI | m2://inv/3TQD4SG7V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Normal operator 0C8BR8XRTR |
Mentions
- wikidata: Wikidata Q854946, normal operator (unknown). Also nLab normal operator
- wikipedia: Wikipedia Normal operator, Normal operator (definition). Also Wikidata Q854946
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3TQMQC956Z 3TQMQC956Z
| URI | m2://inv/3TQMQC956Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:contr-hprop (statement). In N54F33XE07, lem, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Suggestive question 3TQNCKSZY2
| URI | m2://inv/3TQNCKSZY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suggestive question, Suggestive question (definition). Also Wikidata Q2363748
History
- 2026-11-02: add by m2/dev
Vector coloring 3TQQJ6DF30
| URI | m2://inv/3TQQJ6DF30 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01071#VCE2, Vector coloring (definition). In X1YF62ZFB6/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Ilijas Farah 3TR796AB65
| URI | m2://inv/3TR796AB65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ilijas Farah, Ilijas Farah (topic). Also Wikidata Q47269785
History
- 2026-11-02: add by m2/dev
Endpoint Costate Structure 3TRE2BVBCR
| URI | m2://inv/3TRE2BVBCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02537#WSHE, Endpoint Costate Structure (statement). In C9D410HMJ3/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
György Hajós 3TRPSRH75T
| URI | m2://inv/3TRPSRH75T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AAES, György Hajós (unknown)
History
- 2026-11-02: add by m2/dev
Davis--Kahan, $\sin\Theta$ 3TRQTMSZ4N
| URI | m2://inv/3TRQTMSZ4N |
|---|---|
| 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.06541#AFL5, Davis--Kahan, $\sin\Theta$ (statement). In R604B78EVK/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.10
3TRXZQXHJB 3TRXZQXHJB
| URI | m2://inv/3TRXZQXHJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#Y01R (statement). In QM1T8JDK4A/e1, proposition 2.12
History
- 2026-10-30: add by m2/v0.4.12
Letter frequency 3TRZ4SDDWF
| URI | m2://inv/3TRZ4SDDWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Letter frequency, Letter frequency (definition). Also Wikidata Q520562
History
- 2026-11-02: add by m2/dev
3TS2053ZMR 3TS2053ZMR
| URI | m2://inv/3TS2053ZMR |
|---|---|
| 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.11377#3TWT (statement). In YCV4YA6FC2/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
3TS503P14F 3TS503P14F
| URI | m2://inv/3TS503P14F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23472#720U (example)
History
- 2026-11-02: add by m2/v0.6.17
3TS6AAYKYW 3TS6AAYKYW
| URI | m2://inv/3TS6AAYKYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.05986#RFY1 (statement). In N5ZM8MXJXH/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.10
Input--output behavior 3TS92PBR1T
| URI | m2://inv/3TS92PBR1T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25431#V55C, Input--output behavior (definition)
History
- 2026-11-01: add by m2/v0.6.15
3TS93DP64P 3TS93DP64P
| URI | m2://inv/3TS93DP64P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.20998#EH2T (definition)
History
- 2026-11-02: add by m2/v0.6.18
3TS9N9VFPX 3TS9N9VFPX
| URI | m2://inv/3TS9N9VFPX |
|---|---|
| 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.39293#834L (statement). In S26QVW5613/e1, proposition 2.2.2
History
- 2026-10-30: add by m2/v0.4.12
Dimension-dependent local limit theorem 3TSFS73RMX
| URI | m2://inv/3TSFS73RMX |
|---|---|
| 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.21937#YJLX, Dimension-dependent local limit theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
3TSKZ6W0V5 3TSKZ6W0V5
| URI | m2://inv/3TSKZ6W0V5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-11 (proof). In E59CDZA4DP, proof, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
conjugate element 3TSNMFKBVQ
| URI | m2://inv/3TSNMFKBVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91466827, conjugate element (unknown). Also MathWorld ConjugateElement
History
- 2026-10-26: add by m2/dev
Alfven velocity 3TT537CYMT
| URI | m2://inv/3TT537CYMT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfvén wave#Y40A, Alfven velocity (unknown)
History
- 2026-11-02: add by m2/dev
CEP subgroup 3TTGKMXMDQ
| URI | m2://inv/3TTGKMXMDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CEP subgroup, CEP subgroup (definition). Also Wikidata Q5010334
History
- 2026-11-02: add by m2/dev
3TTSW037ZD 3TTSW037ZD
| URI | m2://inv/3TTSW037ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#6Z7U (statement). In NAMCCRM50R/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Applications 3TTY268HJX
| URI | m2://inv/3TTY268HJX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic map#OZN7, Applications (example)
History
- 2026-11-02: add by m2/dev
3TV2DRZB0B 3TV2DRZB0B
| URI | m2://inv/3TV2DRZB0B |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#03TL (conjecture). In ZZ2P08DVQW/e1, conjecture 10.12
History
- 2026-10-27: add by m2/v0.3.5
function, continuous 3TV5A4VAYE
| URI | m2://inv/3TV5A4VAYE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.5.1/function-continuous, function, continuous (concept). In E59CDZA4DP, index, section 4.5.1
History
- 2026-11-01: add by m2/v0.6.13
3TVCFZMPHY 3TVCFZMPHY
| URI | m2://inv/3TVCFZMPHY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#RX0B (definition). In 9TR5E527P5/e1, definition 1.5
History
- 2026-10-29: add by m2/v0.4.10
3TVEV7S3RP 3TVEV7S3RP
| URI | m2://inv/3TVEV7S3RP |
|---|---|
| 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.17608#T77E (statement). In VAGWC38NSF/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
KK thesis 3TVKN42KP3
| URI | m2://inv/3TVKN42KP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KK thesis, KK thesis (definition). Also Wikidata Q6332335
History
- 2026-11-02: add by m2/dev
3TVVSP5ERW 3TVVSP5ERW
| URI | m2://inv/3TVVSP5ERW |
|---|---|
| Kind | definition |
| 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#0ELT (definition). In 6HJQXZS0A6/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Legendre–Fenchel transformation 3TW087KRZJ
| URI | m2://inv/3TW087KRZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#HF9Y, Legendre–Fenchel transformation (definition)
History
- 2026-11-02: add by m2/dev
Donsker--Varadhan variational formula 3TW0H544R2
| URI | m2://inv/3TW0H544R2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.21103#AHGM, Donsker--Varadhan variational formula (statement). In VZCZEDCG8J/e1, lemma C.2
History
- 2026-10-27: add by m2/v0.4.2
3TW3FZF58M 3TW3FZF58M
| URI | m2://inv/3TW3FZF58M |
|---|---|
| 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#96VW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction 3TW59PK083
| URI | m2://inv/3TW59PK083 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombic dodecahedron#1C31, Construction (definition)
History
- 2026-11-02: add by m2/dev
The common power relation 3TW5Y7T7AE
| URI | m2://inv/3TW5Y7T7AE |
|---|---|
| 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.30301#Z16K, The common power relation (statement). In 7NS75J7HAM/e1, proposition 3.5
History
- 2026-10-31: add by m2/v0.5.6
Mathematics Teacher 3TWEPWJ8F5
| URI | m2://inv/3TWEPWJ8F5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Council of Teachers of Mathematics#9EUJ, Mathematics Teacher (unknown)
History
- 2026-11-02: add by m2/dev
Mark Braverman 3TX0VHA9KS
| URI | m2://inv/3TX0VHA9KS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Braverman (mathematician), Mark Braverman (topic). Also Wikidata Q25929363
History
- 2026-11-02: add by m2/dev
3TXEGRWRRW 3TXEGRWRRW
| URI | m2://inv/3TXEGRWRRW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#17QT (definition)
History
- 2026-11-02: add by m2/v0.6.18
History of proof theory 3TXFB9447X
| URI | m2://inv/3TXFB9447X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof theory#68K7, History of proof theory (unknown)
History
- 2026-11-02: add by m2/dev
L'Hôpital's rule 3TXH4MQ25X
| URI | m2://inv/3TXH4MQ25X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | L'Hôpital's rule 0JWT4PPQ7B |
Mentions
- wikidata: Wikidata Q190557, L'Hôpital's rule (statement). Also EoM L'Hospital_rule, MathWorld LHospitalsRule
- wikipedia: Wikipedia L'Hôpital's rule, L'Hôpital's rule (definition). Also Wikidata Q190557
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Fred Galvin 3TXHD1DK1A
| URI | m2://inv/3TXHD1DK1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G20K, Fred Galvin (topic)
History
- 2026-11-02: add by m2/dev
Coiflet 3TXQDVEJ9S
| URI | m2://inv/3TXQDVEJ9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coiflet, Coiflet (definition). Also Wikidata Q3487000
History
- 2026-11-02: add by m2/dev
Ground atom 3TXT6JEFVB
| URI | m2://inv/3TXT6JEFVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ground expression#M8A7, Ground atom (unknown)
History
- 2026-11-02: add by m2/dev
3TXTVHZPK7 3TXTVHZPK7
| URI | m2://inv/3TXTVHZPK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#MT0L (statement). In HHF08X70P6/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 3TXVJ1VCD7
| URI | m2://inv/3TXVJ1VCD7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension (simplicial set)#IHWK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Local bracket stabilizer 3TXWQV5C5Z
| URI | m2://inv/3TXWQV5C5Z |
|---|---|
| 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.20994#ACB8, Local bracket stabilizer (statement). In E90KYMVZMR/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
Kanamori–McAloon theorem 3TXWRD82DZ
| URI | m2://inv/3TXWRD82DZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6360586, Kanamori–McAloon theorem (statement). Also Wikidata Q6360586
- thousand_plus: thousand_plus Q6360586, Kanamori–McAloon theorem (statement). Also Wikidata Q6360586, Wikipedia Kanamori–McAloon theorem
- wikipedia: Wikipedia Kanamori–McAloon theorem, Kanamori–McAloon theorem (statement). Also Wikidata Q6360586
History
- 2026-10-26: add by m2/dev
3TXZQHB4K5 3TXZQHB4K5
| URI | m2://inv/3TXZQHB4K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/tarskiscott.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 71.5
History
- 2026-11-01: add by m2/v0.6.13
3TYAWZX2NS 3TYAWZX2NS
| URI | m2://inv/3TYAWZX2NS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#G0T0 (problem). In KAYGQMQPGS/e1, problem 6.2
History
- 2026-10-29: add by m2/v0.4.12
3TYBY0GE52 3TYBY0GE52
| URI | m2://inv/3TYBY0GE52 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#proof-5 (proof). In RZP28ERRZV, proof, section 78.3
History
- 2026-11-01: add by m2/v0.6.13
Weak-to-strong Maxwell--Ohm compactness 3TYDBKRR04
| URI | m2://inv/3TYDBKRR04 |
|---|---|
| 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.24960#VPXV, Weak-to-strong Maxwell--Ohm compactness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parameterized complexity 3TYJY36302
| URI | m2://inv/3TYJY36302 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameterized complexity, Parameterized complexity (topic). Also Wikidata Q1570441
History
- 2026-11-02: add by m2/dev
3TYQ0VBMAK 3TYQ0VBMAK
| URI | m2://inv/3TYQ0VBMAK |
|---|---|
| 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/9602216#TFWH (definition). In SD43497T8C/e1, definition 1.32
History
- 2026-10-27: add by m2/v0.3.5
Compactly generated space 3TYQ156FWH
| URI | m2://inv/3TYQ156FWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#FZYC, Compactly generated space (definition)
History
- 2026-11-02: add by m2/dev
Magic compression algorithm 3TYTHJS3PH
| URI | m2://inv/3TYTHJS3PH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression#EDNR, Magic compression algorithm (unknown)
History
- 2026-11-02: add by m2/dev
3TYTVXWSE7 3TYTVXWSE7
| URI | m2://inv/3TYTVXWSE7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.09442#EBW5 (definition). In DNT32YYDM4/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
3TYXWG19BW 3TYXWG19BW
| URI | m2://inv/3TYXWG19BW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13980#MBQ0 (statement). In 6DNZE6RT72/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 3TZ9W3K853
| URI | m2://inv/3TZ9W3K853 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative homology#P0JP, Examples (example)
History
- 2026-11-02: add by m2/dev
Fractional moments for convex mixtures 3TZCB4S4E8
| URI | m2://inv/3TZCB4S4E8 |
|---|---|
| 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#II6E, Fractional moments for convex mixtures (statement). In NKXTXH59P1/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
incomplete beta function 3TZHC3QVZC
| URI | m2://inv/3TZHC3QVZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13199212, incomplete beta function (unknown). Also MathWorld IncompleteBetaFunction
History
- 2026-10-26: add by m2/dev
3TZMM3406D 3TZMM3406D
| URI | m2://inv/3TZMM3406D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#ex-1 (example). In PKGMM3P5QY, ex, section 86.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 3TZNMPSZMJ
| URI | m2://inv/3TZNMPSZMJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringed topos#V5Y8, Examples (example)
History
- 2026-11-02: add by m2/dev
List of logic symbols 3TZNS3DD8Z
| URI | m2://inv/3TZNS3DD8Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic symbols, List of logic symbols (topic). Also Wikidata Q3235413
History
- 2026-11-02: add by m2/dev
3TZZ34E0RB 3TZZ34E0RB
| URI | m2://inv/3TZZ34E0RB |
|---|---|
| Kind | conjecture |
| 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.10469#F6TA (conjecture). In Q39BEKW6D9/e1, conjecture 4.1
History
- 2026-10-29: add by m2/v0.4.10