Inventory rows D4
The cards of the rows of the inventory whose ids start with D4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Gilbert–Varshamov bound D404TZ4N8X
| URI | m2://inv/D404TZ4N8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#BS10, Gilbert–Varshamov bound (definition)
History
- 2026-11-02: add by m2/dev
D404VMPNQ2 D404VMPNQ2
| URI | m2://inv/D404VMPNQ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13753#OEGC (definition). In AHM0PBKZZN/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Delta measure D40AS2PP1Y
| URI | m2://inv/D40AS2PP1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac delta function#L97X, Delta measure (unknown)
History
- 2026-11-02: add by m2/dev
Emil Hilb D40F1ZTW8H
| URI | m2://inv/D40F1ZTW8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DUW6, Emil Hilb (topic)
History
- 2026-11-02: add by m2/dev
D40GCJVJV8 D40GCJVJV8
| URI | m2://inv/D40GCJVJV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25151#WCOR (statement)
History
- 2026-11-01: add by m2/v0.6.15
algebraic cycle D40GNYAHAG
| URI | m2://inv/D40GNYAHAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic cycle 9VFWPZEVGN |
Mentions
- wikidata: Wikidata Q4723996, algebraic cycle (unknown). Also EoM Algebraic_cycle, nLab algebraic cycle
- wikipedia: Wikipedia Algebraic cycle, Algebraic cycle (definition). Also Wikidata Q4723996
History
- 2026-10-26: add by m2/dev
D40VN2J0ZP D40VN2J0ZP
| URI | m2://inv/D40VN2J0ZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
D40XP78HK9 D40XP78HK9
| URI | m2://inv/D40XP78HK9 |
|---|---|
| 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.39347#ZPSV (statement). In KBBA2FKDBH/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
Robin Hartshorne D411Y5S7D9
| URI | m2://inv/D411Y5S7D9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#SMM1, Robin Hartshorne (topic)
History
- 2026-11-02: add by m2/dev
Marginal consistency D4186K3XNB
| URI | m2://inv/D4186K3XNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06873#IJE4, Marginal consistency (statement). In R8NHQ41GMX/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
D41C62TFRH D41C62TFRH
| URI | m2://inv/D41C62TFRH |
|---|---|
| Kind | definition |
| 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.04382#4QNP (definition). In 7VW8XD28G1/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Evelyn Silvia D41CAK4V6Y
| URI | m2://inv/D41CAK4V6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evelyn Silvia, Evelyn Silvia (topic). Also Wikidata Q48939078
History
- 2026-11-02: add by m2/dev
Wiener measure D41HTFH3BF
| URI | m2://inv/D41HTFH3BF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124251629, Wiener measure (unknown). Also EoM Wiener measure, MathWorld WienerMeasure, nLab Wiener measure
History
- 2026-10-26: add by m2/dev
D41KTS8MD1 D41KTS8MD1
| URI | m2://inv/D41KTS8MD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#8NZK (statement). In EAABRG99V8/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.4.0
ISO/IEC 19790 D41XNHPFAQ
| URI | m2://inv/D41XNHPFAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISO/IEC 19790, ISO/IEC 19790 (definition). Also Wikidata Q122792139
History
- 2026-11-02: add by m2/dev
D425ZS43XV D425ZS43XV
| URI | m2://inv/D425ZS43XV |
|---|---|
| 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#F2H6 (statement). In R604B78EVK/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Generalizations D42665QQMR
| URI | m2://inv/D42665QQMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure subgroup#TZNX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Ontological maximalism D429XVWT60
| URI | m2://inv/D429XVWT60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ontological maximalism, Ontological maximalism (definition). Also Wikidata Q2611745
History
- 2026-11-02: add by m2/dev
D42EVWM076 D42EVWM076
| URI | m2://inv/D42EVWM076 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#K2BJ (statement). In TNV6XTEWEG/e1, fact 4.3
History
- 2026-10-31: add by m2/v0.5.6
Disjointness graph D42K8H3ZSJ
| URI | m2://inv/D42K8H3ZSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph#X5H2, Disjointness graph (unknown)
History
- 2026-11-02: add by m2/dev
D42N9QJ6DV D42N9QJ6DV
| URI | m2://inv/D42N9QJ6DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#JVZY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affine focal set D42VKJFCC8
| URI | m2://inv/D42VKJFCC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine focal set, Affine focal set (definition). Also Wikidata Q4688940
History
- 2026-11-02: add by m2/dev
Almost Every Forest Problem is Limit Solvable By A Uniform Algorithm D42W9V4YM6
| URI | m2://inv/D42W9V4YM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.31352#NG6I, Almost Every Forest Problem is Limit Solvable By A Uniform Algorithm (statement). In SQZGKRDVBX/e1, theorem 4.3
History
- 2026-10-31: add by m2/v0.5.6
D4300RCF8D D4300RCF8D
| URI | m2://inv/D4300RCF8D |
|---|---|
| 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.17717#COV9 (statement). In YXRKS451PK/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
regularization by convolution D430NQDB1K
| URI | m2://inv/D430NQDB1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > regularization by convolution, regularization by convolution (unknown). Also Mathlib HasCompactSupport.contDiff_convolution_left
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > regularization by convolution, regularization by convolution (unknown). Also Mathlib HasCompactSupport.contDiff_convolution_left
History
- 2026-10-26: add by m2/dev
Barbalat's lemma and stability of time-varying systems D431EK9MDC
| URI | m2://inv/D431EK9MDC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov stability#UP6R, Barbalat's lemma and stability of time-varying systems (statement)
History
- 2026-11-02: add by m2/dev
D43203DFSV D43203DFSV
| URI | m2://inv/D43203DFSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#3OP2 (statement). In ESDKTYDHC8/e1, corollary 24
History
- 2026-10-29: add by m2/v0.4.12
science D436081TFM
| URI | m2://inv/D436081TFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q336, science (definition). Also nLab science, ProofWiki Definition:Science
History
- 2026-10-26: add by m2/dev
D43BR8EDTT D43BR8EDTT
| URI | m2://inv/D43BR8EDTT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#XVOI (definition)
History
- 2026-11-02: add by m2/v0.6.17
Properties D43G4B5J2S
| URI | m2://inv/D43G4B5J2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of modules#KTZW, Properties (statement)
History
- 2026-11-02: add by m2/dev
tree D43MJFDMZ7
| URI | m2://inv/D43MJFDMZ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/tree, tree (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Constructions D43R0YA3P2
| URI | m2://inv/D43R0YA3P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 (mathematics)#TJ0G, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Empirical occupation measure convergence in MMD from a non-stationary initial measure D43V93PGSW
| URI | m2://inv/D43V93PGSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13916#WX5A, Empirical occupation measure convergence in MMD from a non-stationary initial measure (statement). In JS2JSD0507/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Hannan–Quinn information criterion D43ZRFMYMD
| URI | m2://inv/D43ZRFMYMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hannan–Quinn information criterion, Hannan–Quinn information criterion (statement). Also Wikidata Q5649021
History
- 2026-11-02: add by m2/dev
holomorphic stability under uniform convergence D4413YK98N
| URI | m2://inv/D4413YK98N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > holomorphic stability under uniform convergence, holomorphic stability under uniform convergence (unknown). Also Mathlib TendstoLocallyUniformlyOn.differentiableOn
History
- 2026-10-26: add by m2/dev
monic polynomial D443QFJQ5K
| URI | m2://inv/D443QFJQ5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Monic polynomial 0BDX4MBKT4 |
Mentions
- wikidata: Wikidata Q3099696, monic polynomial (definition). Also MathWorld MonicPolynomial, nLab monic polynomial, ProofWiki Definition:Monic_Polynomial
- wikipedia: Wikipedia Monic polynomial, Monic polynomial (definition). Also Wikidata Q3099696
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
D447QCWPWG D447QCWPWG
| URI | m2://inv/D447QCWPWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33957#ZYML (statement). In KG6V5AN3PK/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
D448J5BSR8 D448J5BSR8
| URI | m2://inv/D448J5BSR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#SP81 (statement). In 7CK21JGM5A/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.2
D44BCS00JS D44BCS00JS
| URI | m2://inv/D44BCS00JS |
|---|---|
| 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.30779#PYIC (statement). In 64V4DXGBKB/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Hirsch conjecture D44C65Z7WY
| URI | m2://inv/D44C65Z7WY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirsch conjecture, Hirsch conjecture (statement). Also Wikidata Q2993326
History
- 2026-11-02: add by m2/dev
D44GN0Q95X D44GN0Q95X
| URI | m2://inv/D44GN0Q95X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#GZBP (statement). In YA7H9PY3R1/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Homotopy D44SWJ5X55
| URI | m2://inv/D44SWJ5X55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.09912#B93I, Homotopy (statement). In 65TJENWK7X/e1, lemma 69
History
- 2026-10-29: add by m2/v0.4.10
Sharp rank-two extremum D44XHXFMM2
| URI | m2://inv/D44XHXFMM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#YUCH, Sharp rank-two extremum (statement). In XDTM624YPE/e1, theorem 10.2
History
- 2026-10-27: add by m2/v0.4.2
D453WJJR1B D453WJJR1B
| URI | m2://inv/D453WJJR1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#UY6K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Giordano Vitale D45CMHVZS9
| URI | m2://inv/D45CMHVZS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#G868, Giordano Vitale (unknown)
History
- 2026-11-02: add by m2/dev
D45G11Y6Z3 D45G11Y6Z3
| URI | m2://inv/D45G11Y6Z3 |
|---|---|
| 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.29227#7CL8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
D45KSVWY5P D45KSVWY5P
| URI | m2://inv/D45KSVWY5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#YII6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
D45TA1XH6H D45TA1XH6H
| URI | m2://inv/D45TA1XH6H |
|---|---|
| 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.08935#1FBP (definition). In G02N9D40B9/e1, definition 7.3.5
History
- 2026-10-29: add by m2/v0.4.10
D45XVMK89F D45XVMK89F
| URI | m2://inv/D45XVMK89F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#BWK9 (statement). In AGJE43FTF8/e1, theorem II
History
- 2026-10-27: add by m2/v0.4.2
D45ZKCCACC D45ZKCCACC
| URI | m2://inv/D45ZKCCACC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#BX10 (statement). In 68AE571S4P/e1, corollary 2.23
History
- 2026-10-29: add by m2/v0.4.10
Atomic theory D461CTWMQ7
| URI | m2://inv/D461CTWMQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#Q96M, Atomic theory (unknown)
History
- 2026-11-02: add by m2/dev
Definition D4662NKRHN
| URI | m2://inv/D4662NKRHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary class#BZ0R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Growing ink-spots D469FQ93KW
| URI | m2://inv/D469FQ93KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14638#QCHD, Growing ink-spots (statement). In 2XC2MZFWPP/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.3.5
D46A7YVSQ1 D46A7YVSQ1
| URI | m2://inv/D46A7YVSQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#1YBG (statement)
History
- 2026-11-01: add by m2/v0.6.15
D46SRWMK5A D46SRWMK5A
| URI | m2://inv/D46SRWMK5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#L9WA (statement). In 7QXAZXGNPQ/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.12
The method D46TX72NBB
| URI | m2://inv/D46TX72NBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating-direction implicit method#0KXC, The method (definition)
History
- 2026-11-02: add by m2/dev
D46ZYM9DTJ D46ZYM9DTJ
| URI | m2://inv/D46ZYM9DTJ |
|---|---|
| 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.26308#Z9V4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties D4707J3H5K
| URI | m2://inv/D4707J3H5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langford pairing#2N3E, Properties (statement)
History
- 2026-11-02: add by m2/dev
D4757GHRR5 D4757GHRR5
| URI | m2://inv/D4757GHRR5 |
|---|---|
| Kind | example |
| 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#1513 (example). In QM1T8JDK4A/e1, example 6.19
History
- 2026-10-30: add by m2/v0.4.12
Jeffrey Lagarias D47JYSRDCP
| URI | m2://inv/D47JYSRDCP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1686462, Jeffrey Lagarias (unknown). Also nLab Jeffrey Lagarias
- wikipedia: Wikipedia Jeffrey Lagarias, Jeffrey Lagarias (topic). Also Wikidata Q1686462
History
- 2026-10-26: add by m2/dev
Vertex D47KHTGSDG
| URI | m2://inv/D47KHTGSDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3Y8E, Vertex (definition)
History
- 2026-11-02: add by m2/dev
Emissivity D47MRVN2WE
| URI | m2://inv/D47MRVN2WE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emissivity, Emissivity (definition). Also Wikidata Q899670
History
- 2026-11-02: add by m2/dev
Scott core theorem D47SK1KSXR
| URI | m2://inv/D47SK1KSXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#O1AL, Scott core theorem (statement)
History
- 2026-11-02: add by m2/dev
D47X8BDSK2 D47X8BDSK2
| URI | m2://inv/D47X8BDSK2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
D47ZZZXFCN D47ZZZXFCN
| URI | m2://inv/D47ZZZXFCN |
|---|---|
| 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.03437#WW0U (statement). In EDTV1EDV7M/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Leibniz formula for determinants D483MNKXST
| URI | m2://inv/D483MNKXST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#WIC0, Leibniz formula for determinants (statement)
History
- 2026-11-02: add by m2/dev
Peirce's law D48456BFEX
| URI | m2://inv/D48456BFEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2387196, Peirce's law (statement). Also nLab Peirce's law, ProofWiki Peirce's_Law
- wikipedia: Wikipedia Peirce's law, Peirce's law (statement). Also Wikidata Q2387196
History
- 2026-10-26: add by m2/dev
D486Y93NDH D486Y93NDH
| URI | m2://inv/D486Y93NDH |
|---|---|
| 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.28046#SLIL (statement)
History
- 2026-11-01: add by m2/v0.6.15
D48H0JMA9A D48H0JMA9A
| URI | m2://inv/D48H0JMA9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19845#F9LO (definition). In A8Y7B1MD91/e1, definition C.2
History
- 2026-10-28: add by m2/v0.4.2
D48M56VVRB D48M56VVRB
| URI | m2://inv/D48M56VVRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.06455#G38Q (statement). In N6GB5J5BAY/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
D48VE695T9 D48VE695T9
| URI | m2://inv/D48VE695T9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#9K73 (definition). In 6B2PCEGCYZ/e1, definition 6.5
History
- 2026-10-31: add by m2/v0.5.6
D48VKV8KR1 D48VKV8KR1
| URI | m2://inv/D48VKV8KR1 |
|---|---|
| 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#CG4Q (statement). In 6W19Z58188/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.6
D48XSZPF23 D48XSZPF23
| URI | m2://inv/D48XSZPF23 |
|---|---|
| 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.20153#TK5C (statement). In EYB107TM4Q/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
square root of 8 D48YQ2QDTJ
| URI | m2://inv/D48YQ2QDTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140378115, square root of 8 (object). Also OEIS A010466
- wikipedia: Wikipedia Square root of 8, Square root of 8 (definition). Also Wikidata Q140378115
History
- 2026-10-26: add by m2/dev
D492K7W8NM D492K7W8NM
| URI | m2://inv/D492K7W8NM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-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.37606#67MJ (example). In WNFW6GY38C/e1, example 5.4
History
- 2026-10-30: add by m2/v0.4.12
D495BGNJ24 D495BGNJ24
| URI | m2://inv/D495BGNJ24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/language-epistemic-logic.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Generalization D49A4MS1ZQ
| URI | m2://inv/D49A4MS1ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy process#PK7H, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Scalar projection D49HQR6EQF
| URI | m2://inv/D49HQR6EQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar projection, Scalar projection (definition). Also Wikidata Q3889625
History
- 2026-11-02: add by m2/dev
Minimal bad profile D49ZF0XWD2
| URI | m2://inv/D49ZF0XWD2 |
|---|---|
| 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.40252#RKHH, Minimal bad profile (statement). In 7MVPNFPRKB/e1, lemma 10.12
History
- 2026-10-30: add by m2/v0.4.12
Generalized dichotomy projection D4A1PNCZP7
| URI | m2://inv/D4A1PNCZP7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#A6V0, Generalized dichotomy projection (definition). In YVK8EFSYNJ/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Theorem D4AA3865NT
| URI | m2://inv/D4AA3865NT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#D52S, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties D4AA6ERNJZ
| URI | m2://inv/D4AA6ERNJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal polytope#BL2T, Properties (statement)
History
- 2026-11-02: add by m2/dev
D4AC69Z9Y8 D4AC69Z9Y8
| URI | m2://inv/D4AC69Z9Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#AYTL (statement). In CGA36VE1C5/e1, fact 3.12.1
History
- 2026-10-27: add by m2/v0.3.6
Global recovery of one parameter D4AFHP47B1
| URI | m2://inv/D4AFHP47B1 |
|---|---|
| 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 2112.14455#T2XQ, Global recovery of one parameter (statement). In VDE5R8HBS1/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Definition D4APJMHJJ5
| URI | m2://inv/D4APJMHJJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix factorization (algebra)#4ZA2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Computational psychometrics D4AT6QWE6Y
| URI | m2://inv/D4AT6QWE6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational psychometrics, Computational psychometrics (definition). Also Wikidata Q60790365
History
- 2026-11-02: add by m2/dev
Hypergeometric differential equations D4ATVAEZJK
| URI | m2://inv/D4ATVAEZJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric function#AID0, Hypergeometric differential equations (unknown)
History
- 2026-11-02: add by m2/dev
D4B3N05NHW D4B3N05NHW
| URI | m2://inv/D4B3N05NHW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Variants D4BDF9JTNE
| URI | m2://inv/D4BDF9JTNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow-based generative model#F306, Variants (statement)
History
- 2026-11-02: add by m2/dev
Strong slice genus bound D4BG6EYCQA
| URI | m2://inv/D4BG6EYCQA |
|---|---|
| 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.10206#PF9S, Strong slice genus bound (statement). In 8TRCP1482Q/e1, corollary B.18
History
- 2026-10-29: add by m2/v0.4.10
D4BGSEQGV5 D4BGSEQGV5
| URI | m2://inv/D4BGSEQGV5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#example-5 (example). In RZP28ERRZV, example, section 96.4
History
- 2026-11-01: add by m2/v0.6.13
Ludvig Faddeev D4BMCBNDA9
| URI | m2://inv/D4BMCBNDA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BMSQ, Ludvig Faddeev (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UDWR, Ludvig Faddeev (topic)
History
- 2026-11-02: add by m2/dev
Rank abundance curve D4BPPWX9NY
| URI | m2://inv/D4BPPWX9NY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank abundance curve, Rank abundance curve (definition). Also Wikidata Q11749892
History
- 2026-11-02: add by m2/dev
D4BTD32X0M D4BTD32X0M
| URI | m2://inv/D4BTD32X0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33383#C1FW (statement). In 8AHWRHTP5G/e1, lemma 25
History
- 2026-10-30: add by m2/v0.4.12
D4C7VZ80PG D4C7VZ80PG
| URI | m2://inv/D4C7VZ80PG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.13
History
- 2026-11-01: add by m2/v0.6.13
Examples D4C9E6KJ7R
| URI | m2://inv/D4C9E6KJ7R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#G26I, Examples (example)
History
- 2026-11-02: add by m2/dev
Example D4CB7PHNX8
| URI | m2://inv/D4CB7PHNX8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rees factor semigroup#B56N, Example (example)
History
- 2026-11-02: add by m2/dev
Nested cross-validation D4CPFCFRDT
| URI | m2://inv/D4CPFCFRDT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-validation (statistics)#NVQC, Nested cross-validation (unknown)
History
- 2026-11-02: add by m2/dev
D4CV0PC5FY D4CV0PC5FY
| URI | m2://inv/D4CV0PC5FY |
|---|---|
| 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.04252#0XE3 (statement). In ZF0Z61VQ96/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Rankine vortex D4CX413SG4
| URI | m2://inv/D4CX413SG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rankine vortex, Rankine vortex (definition). Also Wikidata Q7293284
History
- 2026-11-02: add by m2/dev
The two local boundary values D4CZDDG3HX
| URI | m2://inv/D4CZDDG3HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#OQGV, The two local boundary values (statement). In 1KRZ5ACTKE/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
D4D2SPQG4P D4D2SPQG4P
| URI | m2://inv/D4D2SPQG4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#2WBQ (statement). In 2WZQC0TKVK/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
D4D6VZA286 D4D6VZA286
| URI | m2://inv/D4D6VZA286 |
|---|---|
| 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.07442#ZMFQ (statement). In 6SDC2Z8Y8M/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
homomorphism, semigroup D4D8NNZX04
| URI | m2://inv/D4D8NNZX04 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.14.2/homomorphism-semigroup, homomorphism, semigroup (concept). In N54F33XE07, index, section 1.14.2
History
- 2026-11-01: add by m2/v0.6.13
Wasserstein $p$-distance D4DHNZ3JS2
| URI | m2://inv/D4DHNZ3JS2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#6QKV, Wasserstein $p$-distance (definition). In PGAZ70WGMG/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
D4DR5EAVSP D4DR5EAVSP
| URI | m2://inv/D4DR5EAVSP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#YX65 (problem). In 1KSE33PVS6/e1, problem 90
History
- 2026-10-30: add by m2/v0.4.12
Thermodynamic operation D4DTRHAZJM
| URI | m2://inv/D4DTRHAZJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic operation, Thermodynamic operation (definition). Also Wikidata Q17153148
History
- 2026-11-02: add by m2/dev
Ofer Gabber D4DYT5VE9S
| URI | m2://inv/D4DYT5VE9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FWK9, Ofer Gabber (unknown)
History
- 2026-11-02: add by m2/dev
Definition D4DZVF4SQK
| URI | m2://inv/D4DZVF4SQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R-algebroid#CW8Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
D4E4X9FK9V D4E4X9FK9V
| URI | m2://inv/D4E4X9FK9V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20060#BXRK (example)
History
- 2026-11-02: add by m2/v0.6.18
Proof sketch D4E88YW43D
| URI | m2://inv/D4E88YW43D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/cauchy.tex#proof-2, Proof sketch (proof). In PKGMM3P5QY, proof, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
Unclipped subtractive-dither reference D4EJFTKY2K
| URI | m2://inv/D4EJFTKY2K |
|---|---|
| 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.31641#C3BF, Unclipped subtractive-dither reference (statement). In XC2HE3KXPM/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Example 1 D4EJVE6T5Z
| URI | m2://inv/D4EJVE6T5Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic progression#6XGG, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Finite determination D4ETABM0E8
| URI | m2://inv/D4ETABM0E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07341#70E9, Finite determination (statement). In 6KFS1X0MZR/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
D4EWJRSAN5 D4EWJRSAN5
| URI | m2://inv/D4EWJRSAN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16157#5FBM (statement). In GV251MW5RP/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Chronogram (genetics) D4EXNGPYTE
| URI | m2://inv/D4EXNGPYTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phylogenetic tree#9Q1I, Chronogram (genetics) (unknown)
History
- 2026-11-02: add by m2/dev
homotopy, hypothesis D4F265CYJP
| URI | m2://inv/D4F265CYJP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/homotopy-hypothesis, homotopy, hypothesis (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Cauchy momentum equation D4F368N3D5
| URI | m2://inv/D4F368N3D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#7DQC, Cauchy momentum equation (definition)
History
- 2026-11-02: add by m2/dev
Equivalent definitions D4F8BCQ209
| URI | m2://inv/D4F8BCQ209 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant-recursive sequence#EHZV, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
D4FCAW0S71 D4FCAW0S71
| URI | m2://inv/D4FCAW0S71 |
|---|---|
| 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 2608.24606#DZZ1 (statement). In VFV3FFB7Q7/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Brooke Shipley D4FG761QQR
| URI | m2://inv/D4FG761QQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18719230 (unknown). Also nLab Brooke Shipley
- wikipedia: Wikipedia Brooke Shipley, Brooke Shipley (topic). Also Wikidata Q18719230
History
- 2026-10-26: add by m2/dev
Hausdorff space D4FKCK28GS
| URI | m2://inv/D4FKCK28GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hausdorff space 0S1FJ8VEX9 |
Mentions
- wikidata: Wikidata Q326908, Hausdorff space (definition). Also MathWorld T2-Space, nLab Hausdorff space, ProofWiki Definition:Hausdorff_Space
- wikipedia: Wikipedia Hausdorff space, Hausdorff space (definition). Also Wikidata Q326908
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Change of bound variable, $\aconvone$ D4FT92WPDD
| URI | m2://inv/D4FT92WPDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#defn-1, Change of bound variable, $\aconvone$ (definition). In PKGMM3P5QY, defn, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
D4FWG37ZNC D4FWG37ZNC
| URI | m2://inv/D4FWG37ZNC |
|---|---|
| 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.15316#3OMD (statement). In 3K84E4150C/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
D4FXS3G1M6 D4FXS3G1M6
| URI | m2://inv/D4FXS3G1M6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-3 (statement). In E9HS8K3A52, theorem, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Examples D4G5V2MFCK
| URI | m2://inv/D4G5V2MFCK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector measure#WKB0, Examples (example)
History
- 2026-11-02: add by m2/dev
FMA instruction set D4GAEETN7N
| URI | m2://inv/D4GAEETN7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FMA instruction set, FMA instruction set (definition). Also Wikidata Q1389239
History
- 2026-11-02: add by m2/dev
7-cubic honeycomb D4GGKVDW5F
| URI | m2://inv/D4GGKVDW5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7-cubic honeycomb, 7-cubic honeycomb (definition). Also Wikidata Q4642887
History
- 2026-11-02: add by m2/dev
Definition D4GHTTHC66
| URI | m2://inv/D4GHTTHC66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring#GTLG, Definition (definition)
History
- 2026-11-02: add by m2/dev
D4GHZV8SDK D4GHZV8SDK
| URI | m2://inv/D4GHZV8SDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#H52I (statement)
History
- 2026-11-01: add by m2/v0.6.15
D4GJB149SM D4GJB149SM
| URI | m2://inv/D4GJB149SM |
|---|---|
| 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 2310.10361#FDOI (statement). In 65ED1ZXG98/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
Gio Wiederhold D4GQR0J0XS
| URI | m2://inv/D4GQR0J0XS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YP6F, Gio Wiederhold (unknown)
History
- 2026-11-02: add by m2/dev
Leonid Kantorovich D4GS8DZ0AR
| URI | m2://inv/D4GS8DZ0AR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#JVZE, Leonid Kantorovich (topic)
History
- 2026-11-02: add by m2/dev
$C^k$-uniform tangency D4GWXYB185
| URI | m2://inv/D4GWXYB185 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#DNUV, $C^k$-uniform tangency (definition). In YVK8EFSYNJ/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Periodic travelling wave D4GYAV628P
| URI | m2://inv/D4GYAV628P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic travelling wave, Periodic travelling wave (object). Also Wikidata Q7168650
History
- 2026-11-02: add by m2/dev
D4H0T2JBYV D4H0T2JBYV
| URI | m2://inv/D4H0T2JBYV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imbalance conjecture#8WMY (problem)
History
- 2026-11-02: add by m2/dev
the initial segment to the tail D4H4NQNBSG
| URI | m2://inv/D4H4NQNBSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#0CJF, the initial segment to the tail (statement)
History
- 2026-11-01: add by m2/v0.6.15
D4HA7V5N8X D4HA7V5N8X
| URI | m2://inv/D4HA7V5N8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#63C8 (statement). In KTQS6YPA4E/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
Boundary branch point D4HFK6DBX3
| URI | m2://inv/D4HFK6DBX3 |
|---|---|
| Kind | example |
| 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.09596#TQ6F, Boundary branch point (example). In HXFA55BREZ/e1, example 1.17
History
- 2026-10-29: add by m2/v0.4.10
D4HGM60JZF D4HGM60JZF
| URI | m2://inv/D4HGM60JZF |
|---|---|
| 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.29304#3ELT (statement)
History
- 2026-11-01: add by m2/v0.6.15
D4HHS52FRJ D4HHS52FRJ
| URI | m2://inv/D4HHS52FRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:domainofconvergence (statement). In VNMV985MXX, prop, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Boris Lohzkin D4HKP1QAXA
| URI | m2://inv/D4HKP1QAXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#BSCX, Boris Lohzkin (unknown)
History
- 2026-11-02: add by m2/dev
D4J7HVQEMJ D4J7HVQEMJ
| URI | m2://inv/D4J7HVQEMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RC-sim-eqv-le (statement). In N54F33XE07, thm, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
History of linear programming D4JA8QCF9K
| URI | m2://inv/D4JA8QCF9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming#FJ8G, History of linear programming (unknown)
History
- 2026-11-02: add by m2/dev
Functor represented by a scheme D4JE07KFAY
| URI | m2://inv/D4JE07KFAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor represented by a scheme, Functor represented by a scheme (definition). Also Wikidata Q85762285
History
- 2026-11-02: add by m2/dev
D4JEXJ787Y D4JEXJ787Y
| URI | m2://inv/D4JEXJ787Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2610.09544#2H0Z (statement). In DYBM6Q2K6R/e1, proposition B.5
History
- 2026-10-29: add by m2/v0.4.10
D4JHM503V4 D4JHM503V4
| URI | m2://inv/D4JHM503V4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-3 (proof). In E59CDZA4DP, proof, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
D4JQ07G34K D4JQ07G34K
| URI | m2://inv/D4JQ07G34K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#9E0O (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
Ottolini and Tripathi D4JQM3E8R5
| URI | m2://inv/D4JQM3E8R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17479#T7E4, Ottolini and Tripathi (statement). In 4FWAY748N7/e1, theorem 1.10
History
- 2026-10-28: add by m2/v0.4.2
Paradox D4JSMZSX44
| URI | m2://inv/D4JSMZSX44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grelling–Nelson paradox#HAG7, Paradox (statement)
History
- 2026-11-02: add by m2/dev
Chain rule for Kolmogorov complexity D4JT9YZP4P
| URI | m2://inv/D4JT9YZP4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VUII, Chain rule for Kolmogorov complexity (definition)
History
- 2026-11-02: add by m2/dev
Implicit derivatives D4JXRJ1WMP
| URI | m2://inv/D4JXRJ1WMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1311643, Implicit derivatives (unknown). Also MathWorld ImplicitDifferentiation
History
- 2026-10-26: add by m2/dev
Eberhard Hopf D4JZWHY30M
| URI | m2://inv/D4JZWHY30M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eberhard Hopf, Eberhard Hopf (topic). Also Wikidata Q86070
History
- 2026-11-02: add by m2/dev
TOPCAT (software) D4K16DDXDG
| URI | m2://inv/D4K16DDXDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#EFDZ, TOPCAT (software) (unknown)
History
- 2026-11-02: add by m2/dev
Alternative Definition D4K3N5017S
| URI | m2://inv/D4K3N5017S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PLS (complexity)#8R7Q, Alternative Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition D4K5TM88MC
| URI | m2://inv/D4K5TM88MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simons cone#9IEE, Definition (definition)
History
- 2026-11-02: add by m2/dev
D4K63A5198 D4K63A5198
| URI | m2://inv/D4K63A5198 |
|---|---|
| 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 2406.07116#TCLQ (definition). In 5B030CB2RK/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.6
D4K7DG0RHF D4K7DG0RHF
| URI | m2://inv/D4K7DG0RHF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#GUK9 (example). In VJTRH1S4JA/e1, example 3.8
History
- 2026-10-28: add by m2/v0.4.2
D4KBNR7BA0 D4KBNR7BA0
| URI | m2://inv/D4KBNR7BA0 |
|---|---|
| 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.08198#FOJG (statement). In 50K0H8HRED/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Trace theorem D4KFXRAZ06
| URI | m2://inv/D4KFXRAZ06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace operator#K3V6, Trace theorem (statement)
History
- 2026-11-02: add by m2/dev
World line D4KR2WGAWZ
| URI | m2://inv/D4KR2WGAWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia World line, World line (definition). Also Wikidata Q856292
History
- 2026-11-02: add by m2/dev
D4KRGJ659D D4KRGJ659D
| URI | m2://inv/D4KRGJ659D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#6DPW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local independence D4KS2EAN6V
| URI | m2://inv/D4KS2EAN6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ELMW, Local independence (definition)
History
- 2026-11-02: add by m2/dev
D4MBK006C9 D4MBK006C9
| URI | m2://inv/D4MBK006C9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2507.20176#1KP8 (definition). In CX4WDA2KAR/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Definitions D4MCWF220Z
| URI | m2://inv/D4MCWF220Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior (topology)#LFLU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
type theory, informal D4MHW5HNP5
| URI | m2://inv/D4MHW5HNP5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u6/type-theory-informal, type theory, informal (concept). In N54F33XE07, index, section u1.u6
History
- 2026-11-01: add by m2/v0.6.13
Dyadic rational D4MJCED5JX
| URI | m2://inv/D4MJCED5JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadic rational, Dyadic rational (definition). Also Wikidata Q2281400
History
- 2026-11-02: add by m2/dev
closure operator D4MK63WNTM
| URI | m2://inv/D4MK63WNTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Closure operator 2HJGRABSPZ |
Mentions
- wikidata: Wikidata Q10564851, closure operator (unknown). Also nLab closure operator
- wikipedia: Wikipedia Closure operator, Closure operator (definition). Also Wikidata Q10564851
History
- 2026-10-26: add by m2/dev
D4MX0VVHJM D4MX0VVHJM
| URI | m2://inv/D4MX0VVHJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2502.14306#SLG8 (statement). In ZNBQD5WH1M/e1, corollary 5.16
History
- 2026-10-27: add by m2/v0.3.5
Theorem D4N0VS0FWZ
| URI | m2://inv/D4N0VS0FWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke–Platek set theory#JJQY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications D4N0Y979A6
| URI | m2://inv/D4N0Y979A6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kobayashi–Hitchin correspondence#21R6, Applications (example)
History
- 2026-11-02: add by m2/dev
Zermelo set theory D4N3K1731S
| URI | m2://inv/D4N3K1731S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#8C6V, Zermelo set theory (definition)
History
- 2026-11-02: add by m2/dev
Direct power theorems D4N5MRB2JM
| URI | m2://inv/D4N5MRB2JM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta function#QPZG, Direct power theorems (statement)
History
- 2026-11-02: add by m2/dev
D4NA92N8PS D4NA92N8PS
| URI | m2://inv/D4NA92N8PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#4O4X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pidgin D4NDD61T0E
| URI | m2://inv/D4NDD61T0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pidgin (software), Pidgin (definition). Also Wikidata Q71380
History
- 2026-11-02: add by m2/dev
Reliability-Constrained Boundary Solution D4NG0096VR
| URI | m2://inv/D4NG0096VR |
|---|---|
| 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.25589#P439, Reliability-Constrained Boundary Solution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Economic system D4NJSYK9JZ
| URI | m2://inv/D4NJSYK9JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#ND0C, Economic system (unknown)
History
- 2026-11-02: add by m2/dev
Properties D4NM38C1PF
| URI | m2://inv/D4NM38C1PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Student's t-distribution#PYUY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Concentration and an empirical upper confidence cost D4NP8VTGCS
| URI | m2://inv/D4NP8VTGCS |
|---|---|
| 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.10393#QRVX, Concentration and an empirical upper confidence cost (statement). In ZGS97E3PB7/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
D4NPDMDPWA D4NPDMDPWA
| URI | m2://inv/D4NPDMDPWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2610.16094#7NWT (statement). In RHBS9QDHC3/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Corollary D4P1GGRJSD
| URI | m2://inv/D4P1GGRJSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#QWTT, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Édouard Le Roy D4P1P0AYCX
| URI | m2://inv/D4P1P0AYCX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Édouard Le Roy, Édouard Le Roy (topic). Also Wikidata Q274358
History
- 2026-11-02: add by m2/dev
Computation D4P1QVBGMV
| URI | m2://inv/D4P1QVBGMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodogram#7WJK, Computation (definition)
History
- 2026-11-02: add by m2/dev
Total coloring conjecture D4P34AW95M
| URI | m2://inv/D4P34AW95M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#A0E1, Total coloring conjecture (definition)
History
- 2026-11-02: add by m2/dev
D4P6N7AB3R D4P6N7AB3R
| URI | m2://inv/D4P6N7AB3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.30033#Q60Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
D4PDDGQJGW D4PDDGQJGW
| URI | m2://inv/D4PDDGQJGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21476#ICPT (statement). In 4SG2B3FD7A/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
Applications D4PPZWFQHC
| URI | m2://inv/D4PPZWFQHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cholesky decomposition#VAB6, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples D4PS7PARAR
| URI | m2://inv/D4PS7PARAR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yetter–Drinfeld category#KAUW, Examples (example)
History
- 2026-11-02: add by m2/dev
biregular D4QRMPS3Y9
| URI | m2://inv/D4QRMPS3Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#EWJA, biregular (definition)
History
- 2026-11-02: add by m2/dev
Gale–Ryser theorem D4QSS87E2Z
| URI | m2://inv/D4QSS87E2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17015268, Gale–Ryser theorem (statement). Also MathWorld Gale-RyserTheorem
- wikipedia: Wikipedia Gale–Ryser theorem, Gale–Ryser theorem (statement). Also Wikidata Q17015268
History
- 2026-10-26: add by m2/dev
D4QY8Q9W2W D4QY8Q9W2W
| URI | m2://inv/D4QY8Q9W2W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-2 (exercise). In E9HS8K3A52, exercise, section 6.8.4
History
- 2026-11-01: add by m2/v0.6.13
Terminology D4QZB6V72P
| URI | m2://inv/D4QZB6V72P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Message authentication code#SWRQ, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Properties D4R4S99AFQ
| URI | m2://inv/D4R4S99AFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbola#GQUK, Properties (statement)
History
- 2026-11-02: add by m2/dev
D4R9E9452J D4R9E9452J
| URI | m2://inv/D4R9E9452J |
|---|---|
| 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.37208#PKQ8 (statement). In 7MCBCP4T0B/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Monotonicity D4RBP1A3C9
| URI | m2://inv/D4RBP1A3C9 |
|---|---|
| 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 2602.19452#H7IP, Monotonicity (statement). In 3GF75S0XJ0/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
D4RMJ7VRNQ D4RMJ7VRNQ
| URI | m2://inv/D4RMJ7VRNQ |
|---|---|
| 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 2308.05715#40XO (statement). In FC0SB9JFWH/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
D4RNHSAVZJ D4RNHSAVZJ
| URI | m2://inv/D4RNHSAVZJ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36411#9K3E (conjecture). In 9QG5CND2RQ/e1, conjecture
History
- 2026-10-30: add by m2/v0.4.12
List of things named after David Hilbert D4RQZ3FRVB
| URI | m2://inv/D4RQZ3FRVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#TVXI, List of things named after David Hilbert (unknown)
History
- 2026-11-02: add by m2/dev
Folded threshold theorems and the uniform ensemble D4RYJXMBHT
| URI | m2://inv/D4RYJXMBHT |
|---|---|
| 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.40252#W1WO, Folded threshold theorems and the uniform ensemble (statement). In 7MVPNFPRKB/e1, corollary 9.13
History
- 2026-10-30: add by m2/v0.4.12
Panagiota Daskalopoulos D4S1KRMZXC
| URI | m2://inv/D4S1KRMZXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2F2O, Panagiota Daskalopoulos (unknown)
History
- 2026-11-02: add by m2/dev
Mathematics in Nazi Germany D4S2GS9PAQ
| URI | m2://inv/D4S2GS9PAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics in Nazi Germany, Mathematics in Nazi Germany (definition). Also Wikidata Q60741303
History
- 2026-11-02: add by m2/dev
Differential graded module D4S2Y4KJFN
| URI | m2://inv/D4S2Y4KJFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential graded module, Differential graded module (definition). Also Wikidata Q85756866
History
- 2026-11-02: add by m2/dev
D4S9EQMWGD D4S9EQMWGD
| URI | m2://inv/D4S9EQMWGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#KVSN (statement). In ZZQT0GFMT2/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
D4SF5V65PX D4SF5V65PX
| URI | m2://inv/D4SF5V65PX |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#IZEC (unknown). In QNBFHFZ3H0/e1, unknown 17
History
- 2026-10-28: add by m2/v0.4.2
D4SFZN84ND D4SFZN84ND
| URI | m2://inv/D4SFZN84ND |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#A5RY (example). In HX63A1PH1W/e1, example 4.4
History
- 2026-10-28: add by m2/v0.4.3
D4SGM3S12V D4SGM3S12V
| URI | m2://inv/D4SGM3S12V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01818#6C6X (statement). In DA31J9XJ4J/e1, theorem B.1
History
- 2026-10-29: add by m2/v0.4.12
coherence D4SJP4NKK7
| URI | m2://inv/D4SJP4NKK7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.2/coherence, coherence (concept). In N54F33XE07, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
D4SK35R9HM D4SK35R9HM
| URI | m2://inv/D4SK35R9HM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#79U1 (example). In PQHTR84RAJ/e1, example 6.8
History
- 2026-10-27: add by m2/v0.4.0
Transport identities D4SKHXARBT
| URI | m2://inv/D4SKHXARBT |
|---|---|
| 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.13789#TL36, Transport identities (statement). In 803XY7QQZ4/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Statement D4TB4VM6WQ
| URI | m2://inv/D4TB4VM6WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ddbar lemma#GFVZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
D4TDFK00DN D4TDFK00DN
| URI | m2://inv/D4TDFK00DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20961#XOUT (statement)
History
- 2026-11-02: add by m2/v0.6.18
D4TE93S4P6 D4TE93S4P6
| URI | m2://inv/D4TE93S4P6 |
|---|---|
| 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.11395#ETKC (statement). In T3W7SMWQ73/e1, proposition 39
History
- 2026-10-28: add by m2/v0.4.3
D4TGRM969E D4TGRM969E
| URI | m2://inv/D4TGRM969E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14859#C5U5 (statement). In 8TPP7WC7K3/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Hilbert's sixteenth problem D4THXZECB4
| URI | m2://inv/D4THXZECB4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DBQA, Hilbert's sixteenth problem (conjecture)
History
- 2026-11-02: add by m2/dev
Hörmander's theorem D4TJNMNHJV
| URI | m2://inv/D4TJNMNHJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillatory integral operator#GUZL, Hörmander's theorem (statement)
History
- 2026-11-02: add by m2/dev
real closed field D4TPXZZKYE
| URI | m2://inv/D4TPXZZKYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Real closed field DDY3Q3PJ6W |
Mentions
- mathlib_1000: mathlib_1000 Q2068227, Artin–Schreier theorem (statement). Also Wikidata Q2068227
- thousand_plus: thousand_plus Q2068227, Artin–Schreier theorem (statement). Also Wikidata Q2068227, Wikipedia Artin–Schreier theorem
- wikidata: Wikidata Q2068227, real closed field (unknown). Also nLab real closed field
- wikipedia: Wikipedia Real closed field, Real closed field (topic). Also Wikidata Q2068227
History
- 2026-10-26: add by m2/dev
initial, $\sigma$-frame D4TVW88HSX
| URI | m2://inv/D4TVW88HSX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/initial-sigma-frame, initial, $\sigma$-frame (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
D4TWTE4JWV D4TWTE4JWV
| URI | m2://inv/D4TWTE4JWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01656#6F19 (statement). In AHGQZ89DY0/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Von Neumann regular ring D4V3J14YYZ
| URI | m2://inv/D4V3J14YYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#LFUE, Von Neumann regular ring (definition)
History
- 2026-11-02: add by m2/dev
Terminal point D4V3Y463JK
| URI | m2://inv/D4V3Y463JK |
|---|---|
| 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.30877#RXVJ, Terminal point (statement). In QKNE21ABF3/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
D4V6PYT86H D4V6PYT86H
| URI | m2://inv/D4V6PYT86H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm-3 (statement). In N54F33XE07, thm, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
D4VDDCQ09Q D4VDDCQ09Q
| URI | m2://inv/D4VDDCQ09Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:RD-interval-arithmetic (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Hypothesis testing D4VE8RBG47
| URI | m2://inv/D4VE8RBG47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-way analysis of variance#RIVY, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
D4VFCR9197 D4VFCR9197
| URI | m2://inv/D4VFCR9197 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#6WYG (statement). In 9DQKY7KGE8/e1, proposition 7.3
History
- 2026-10-31: add by m2/v0.5.6
D4VP9VXNFT D4VP9VXNFT
| URI | m2://inv/D4VP9VXNFT |
|---|---|
| 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 2604.10080#QZHR (definition). In KM2FWKP93A/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Euler–Jacobi pseudoprime D4VPD8HHTA
| URI | m2://inv/D4VPD8HHTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#5EJX, Euler–Jacobi pseudoprime (definition)
History
- 2026-11-02: add by m2/dev
D4VQE8E1ZM D4VQE8E1ZM
| URI | m2://inv/D4VQE8E1ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#XFB3 (statement). In 2ZRQP063HP/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
disjoint D4VTR264BR
| URI | m2://inv/D4VTR264BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#BBF9, disjoint (definition)
History
- 2026-11-02: add by m2/dev
First-order logic D4W4XNYB45
| URI | m2://inv/D4W4XNYB45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#SIU5, First-order logic (definition)
History
- 2026-11-02: add by m2/dev
D4WB6VPTHD D4WB6VPTHD
| URI | m2://inv/D4WB6VPTHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#5TUJ (statement). In C8JAGP8VCQ/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Skolem's method D4WBZ8AX4Y
| URI | m2://inv/D4WBZ8AX4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#UG07, Skolem's method (definition)
History
- 2026-11-02: add by m2/dev
Patricia Shontz D4WEEZM50J
| URI | m2://inv/D4WEEZM50J |
|---|---|
| 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#OUK4, Patricia Shontz (unknown)
History
- 2026-11-02: add by m2/dev
Dilworth's theorem, dual of D4WFN1W6TT
| URI | m2://inv/D4WFN1W6TT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.3/dilworth-s-theorem-dual-of, Dilworth's theorem, dual of (concept). In QKM9DD2H56, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
History propositions D4WJD3RZXF
| URI | m2://inv/D4WJD3RZXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HPO formalism#F851, History propositions (statement)
History
- 2026-11-02: add by m2/dev
Pairs S33--S36 D4WMZX9PDQ
| URI | m2://inv/D4WMZX9PDQ |
|---|---|
| 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.08865#U5UD, Pairs S33--S36 (statement). In SJ5JKGH94M/e1, theorem 22
History
- 2026-10-29: add by m2/v0.4.10
History of Bayesian probability D4WRQTN83F
| URI | m2://inv/D4WRQTN83F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian probability#GK2G, History of Bayesian probability (unknown)
History
- 2026-11-02: add by m2/dev
Johansen test D4WX12E8TF
| URI | m2://inv/D4WX12E8TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5P2R, Johansen test (definition)
History
- 2026-11-02: add by m2/dev
Dimension-uniform primary extraction D4WYS60TJK
| URI | m2://inv/D4WYS60TJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#AQQU, Dimension-uniform primary extraction (statement). In 8PTDFHV8SQ/e1, theorem 18.1
History
- 2026-10-28: add by m2/v0.4.3
Definitions D4X6P7FTP8
| URI | m2://inv/D4X6P7FTP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#O806, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties D4XAEFPYXC
| URI | m2://inv/D4XAEFPYXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acute and obtuse triangles#5G0R, Properties (statement)
History
- 2026-11-02: add by m2/dev
D4XB0DKDKM D4XB0DKDKM
| URI | m2://inv/D4XB0DKDKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36089#PBZQ (statement). In AK4F10SNC0/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Expensive Desk Calculator D4XB3871QG
| URI | m2://inv/D4XB3871QG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#MDYL, Expensive Desk Calculator (unknown)
History
- 2026-11-02: add by m2/dev
D4XGCGBDQX D4XGCGBDQX
| URI | m2://inv/D4XGCGBDQX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 42.5
History
- 2026-11-01: add by m2/v0.6.13
ADE model D4XHM742JQ
| URI | m2://inv/D4XHM742JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADE model, ADE model (definition). Also Wikidata Q4651106
History
- 2026-11-02: add by m2/dev
D4XSBGDNT4 D4XSBGDNT4
| URI | m2://inv/D4XSBGDNT4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#0GJ8 (example). In F1BM3Q8125/e1, example 1.7
History
- 2026-10-29: add by m2/v0.4.10
D4Y8FQDEW7 D4Y8FQDEW7
| URI | m2://inv/D4Y8FQDEW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#X24P (statement). In ZAM4S2XS9F/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
D4Y909Q4JV D4Y909Q4JV
| URI | m2://inv/D4Y909Q4JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#ZBU6 (statement). In 6WJ0R9YEBR/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Weak extractability D4YA71JN90
| URI | m2://inv/D4YA71JN90 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26258#HSTT, Weak extractability (definition)
History
- 2026-11-01: add by m2/v0.6.15
Special cases D4YAXS023Z
| URI | m2://inv/D4YAXS023Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chan–Karolyi–Longstaff–Sanders process#8FI1, Special cases (statement)
History
- 2026-11-02: add by m2/dev
D4YC1GQ10Q D4YC1GQ10Q
| URI | m2://inv/D4YC1GQ10Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-10 (proof). In PKGMM3P5QY, proof, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
D4YWCP3HX9 D4YWCP3HX9
| URI | m2://inv/D4YWCP3HX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17204#ZS0T (statement). In 5CZ2BNV4MT/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Pitt's inequality D4ZBMMD8B3
| URI | m2://inv/D4ZBMMD8B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#XAE0, Pitt's inequality (statement). In Y27BAB2BB4/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Václav E. Beneš D4ZH6NGGE4
| URI | m2://inv/D4ZH6NGGE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Václav E. Beneš, Václav E. Beneš (topic). Also Wikidata Q4083776
History
- 2026-11-02: add by m2/dev
William Jaco D4ZR5FQK1E
| URI | m2://inv/D4ZR5FQK1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Jaco, William Jaco (topic). Also Wikidata Q5308032
History
- 2026-11-02: add by m2/dev
Definition 1 D4ZRE41JQ8
| URI | m2://inv/D4ZRE41JQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#V3Z8, Definition 1 (definition)
History
- 2026-11-02: add by m2/dev