Inventory rows X3
The cards of the rows of the inventory whose ids start with X3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
X30921NVZF X30921NVZF
| URI | m2://inv/X30921NVZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#7MIJ (statement). In VMWV58VWKN/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Gram-Schmidt orthogonalisation X309KZPCHQ
| URI | m2://inv/X309KZPCHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > Gram-Schmidt orthogonalisation, Gram-Schmidt orthogonalisation (unknown). Also Mathlib InnerProductSpace.gramSchmidt_orthogonal
History
- 2026-10-26: add by m2/dev
Abhyankar–Moh theorem X30CZ2BJWM
| URI | m2://inv/X30CZ2BJWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4667501, Abhyankar–Moh theorem (statement). Also Wikidata Q4667501
- thousand_plus: thousand_plus Q4667501, Abhyankar–Moh theorem (statement). Also Wikidata Q4667501, Wikipedia Abhyankar–Moh theorem
- wikidata: Wikidata Q4667501, Abhyankar–Moh theorem (statement). Also EoM Abhyankar%E2%80%93Moh_theorem
- wikipedia: Wikipedia Abhyankar–Moh theorem, Abhyankar–Moh theorem (statement). Also Wikidata Q4667501
History
- 2026-10-26: add by m2/dev
Logical Analysis and History of Philosophy X30F9ZGF2E
| URI | m2://inv/X30F9ZGF2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical Analysis and History of Philosophy, Logical Analysis and History of Philosophy (definition). Also Wikidata Q6667477
History
- 2026-11-02: add by m2/dev
X30GKYQE9Y X30GKYQE9Y
| URI | m2://inv/X30GKYQE9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.07695#A9WA (statement). In 8Z47D12KSX/e1, theorem 4.16
History
- 2026-10-29: add by m2/v0.4.10
Pitman closeness criterion X30H0SQR65
| URI | m2://inv/X30H0SQR65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O1M7, Pitman closeness criterion (statement)
History
- 2026-11-02: add by m2/dev
differential entropy X30WCRC2GV
| URI | m2://inv/X30WCRC2GV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3055345, differential entropy (concept). Also MathWorld DifferentialEntropy
- wikipedia: Wikipedia Differential entropy, Differential entropy (definition). Also Wikidata Q3055345
History
- 2026-10-26: add by m2/dev
X30Y36ZMJ0 X30Y36ZMJ0
| URI | m2://inv/X30Y36ZMJ0 |
|---|---|
| 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.21475#4AZN (statement). In TTRSZVT4VX/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.2
Applications X3158W3EMJ
| URI | m2://inv/X3158W3EMJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's inequality#HPP8, Applications (example)
History
- 2026-11-02: add by m2/dev
X316SKQ6C7 X316SKQ6C7
| URI | m2://inv/X316SKQ6C7 |
|---|---|
| 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#WAQ7 (statement). In 3GF75S0XJ0/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.0
Basis theorem X31VZSEXCW
| URI | m2://inv/X31VZSEXCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4867580, Basis theorem (unknown). Also MathWorld BasisTheorem
History
- 2026-10-26: add by m2/dev
Theorem (Sternfeld, 1985) X3204ECN6F
| URI | m2://inv/X3204ECN6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Arnold representation theorem#H2SM, Theorem (Sternfeld, 1985) (statement)
History
- 2026-11-02: add by m2/dev
X321PYXS6J X321PYXS6J
| URI | m2://inv/X321PYXS6J |
|---|---|
| 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.10474#XTW5 (statement). In MB29RAAQMG/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
dual X326EVT0N1
| URI | m2://inv/X326EVT0N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#JV81, dual (definition)
History
- 2026-11-02: add by m2/dev
Nazarov--Sklyanin X329CYHFBQ
| URI | m2://inv/X329CYHFBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#R3F4, Nazarov--Sklyanin (statement). In P39MF3ZJC0/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Boughattas , Lemma 5 X32E8YP366
| URI | m2://inv/X32E8YP366 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1003.2117#6W5Y, Boughattas , Lemma 5 (statement). In H4D4RFNH2V/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Properties X32EKTEQV5
| URI | m2://inv/X32EKTEQV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function composition#QV67, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statistics of the learned parameters X32FENX4C7
| URI | m2://inv/X32FENX4C7 |
|---|---|
| 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.07637#W33H, Statistics of the learned parameters (statement). In ERR2F5FXC3/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Supersymmetry nonrenormalization theorems X32J0J5072
| URI | m2://inv/X32J0J5072 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W8EC, Supersymmetry nonrenormalization theorems (statement)
History
- 2026-11-02: add by m2/dev
X32NGHNHNG X32NGHNHNG
| URI | m2://inv/X32NGHNHNG |
|---|---|
| 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.21358#2C53 (statement). In XV70TXYS5A/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
Applications X32TDSTD63
| URI | m2://inv/X32TDSTD63 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operations research#PZEW, Applications (example)
History
- 2026-11-02: add by m2/dev
List of integrals of inverse trigonometric functions X32X2BVTRG
| URI | m2://inv/X32X2BVTRG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of inverse trigonometric functions, List of integrals of inverse trigonometric functions (topic). Also Wikidata Q1048748
History
- 2026-11-02: add by m2/dev
Abstract operator space X32Y6XNXSW
| URI | m2://inv/X32Y6XNXSW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04608#4SNS, Abstract operator space (definition). In ZYYMXYK7WJ/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
conjunction X331V7W1G2
| URI | m2://inv/X331V7W1G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6GXQ, conjunction (definition)
History
- 2026-11-02: add by m2/dev
Perfect Trifocal Tensor Estimation from Lines X3369MA0MK
| URI | m2://inv/X3369MA0MK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#I1DR, Perfect Trifocal Tensor Estimation from Lines (example)
History
- 2026-11-01: add by m2/v0.6.15
X33786K34D X33786K34D
| URI | m2://inv/X33786K34D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#47XY (statement). In 6M5WR7KB80/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
X33N4H9JYD X33N4H9JYD
| URI | m2://inv/X33N4H9JYD |
|---|---|
| Kind | definition |
| 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#934V (definition). In 9DQKY7KGE8/e1, definition C.4
History
- 2026-10-31: add by m2/v0.5.6
Kobayashi--Hitchin correspondence X33S19PE1V
| URI | m2://inv/X33S19PE1V |
|---|---|
| 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 2403.16814#01B6, Kobayashi--Hitchin correspondence (statement). In MN03Z3PRFT/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Nikolai N. Krasovskii X33TSSS0MT
| URI | m2://inv/X33TSSS0MT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1G4S, Nikolai N. Krasovskii (topic)
History
- 2026-11-02: add by m2/dev
X33VX9GF61 X33VX9GF61
| URI | m2://inv/X33VX9GF61 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17720#A1TK (unknown). In QPM0GQYNZ9/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
Isomorphism of dynamical systems X33YRQECHB
| URI | m2://inv/X33YRQECHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure-preserving dynamical system#UKKS, Isomorphism of dynamical systems (unknown)
History
- 2026-11-02: add by m2/dev
X33ZH2972V X33ZH2972V
| URI | m2://inv/X33ZH2972V |
|---|---|
| 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.16245#QEED (statement). In 60CQJN845D/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
X33ZV4ZX14 X33ZV4ZX14
| URI | m2://inv/X33ZV4ZX14 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-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 2609.31883#Q6ZH (example). In XBHQRTBH62/e1, example 6.5
History
- 2026-10-31: add by m2/v0.5.6
snub dodecahedron X3420SZHGE
| URI | m2://inv/X3420SZHGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q320405, snub dodecahedron (object). Also MathWorld SnubDodecahedron
- wikipedia: Wikipedia Snub dodecahedron, Snub dodecahedron (definition). Also Wikidata Q320405
History
- 2026-10-26: add by m2/dev
triangular matrix X3490CJYY5
| URI | m2://inv/X3490CJYY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 15B57 |
| Sources | 2 |
| Outcome | open |
| Node | Triangular matrix GTG8MJGDKC |
Mentions
- wikidata: Wikidata Q506265, triangular matrix (topic). Also MathWorld TriangularMatrix, nLab triangular matrix
- wikipedia: Wikipedia Triangular matrix, Triangular matrix (definition). Also Wikidata Q506265
History
- 2026-10-26: add by m2/dev
X34EGA6FEA X34EGA6FEA
| URI | m2://inv/X34EGA6FEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#H49W (statement). In QJ6AEW93RB/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Face of a simplex X34EY7F3Z8
| URI | m2://inv/X34EY7F3Z8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplex#NJAP, Face of a simplex (unknown)
History
- 2026-11-02: add by m2/dev
Grim Reaper paradox X34NS412CJ
| URI | m2://inv/X34NS412CJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grim Reaper paradox, Grim Reaper paradox (statement). Also Wikidata Q130366888
History
- 2026-11-02: add by m2/dev
opposite X34Q5YTM90
| URI | m2://inv/X34Q5YTM90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#05FD, opposite (definition)
History
- 2026-11-02: add by m2/dev
Congruence lattice problem X34W5XTDVY
| URI | m2://inv/X34W5XTDVY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem, Congruence lattice problem (problem). Also Wikidata Q5160997
History
- 2026-11-02: add by m2/dev
Fixed-order return with period mismatch X34WAERGEZ
| URI | m2://inv/X34WAERGEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#5G4E, Fixed-order return with period mismatch (statement). In 4HCK722M2G/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Alvaro Thomaz X3564TN0CD
| URI | m2://inv/X3564TN0CD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alvaro Thomaz, Alvaro Thomaz (topic). Also Wikidata Q448548
History
- 2026-11-02: add by m2/dev
X356D316VP X356D316VP
| URI | m2://inv/X356D316VP |
|---|---|
| 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.08028#CM3T (statement). In Z19XDA8QY9/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
Pierre Baldi X35E3CVK8Y
| URI | m2://inv/X35E3CVK8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GV2N, Pierre Baldi (unknown)
History
- 2026-11-02: add by m2/dev
X35E652BG9 X35E652BG9
| URI | m2://inv/X35E652BG9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
X35KK0Q5NZ X35KK0Q5NZ
| URI | m2://inv/X35KK0Q5NZ |
|---|---|
| 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.35213#DKJU (statement). In T5KCTZ3H08/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
X3618YP5DV X3618YP5DV
| URI | m2://inv/X3618YP5DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19982#I0CR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Demographics of Bulgaria X363YPCPR1
| URI | m2://inv/X363YPCPR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Bulgaria, Demographics of Bulgaria (definition). Also Wikidata Q1145659
History
- 2026-11-02: add by m2/dev
Konstantin Tikhomirov X368JTRXBB
| URI | m2://inv/X368JTRXBB |
|---|---|
| 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#UB0L, Konstantin Tikhomirov (unknown)
History
- 2026-11-02: add by m2/dev
X369EVTDR3 X369EVTDR3
| URI | m2://inv/X369EVTDR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#UQ2I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Icosahedral bipyramid X36ATPFX30
| URI | m2://inv/X36ATPFX30 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosahedral bipyramid, Icosahedral bipyramid (object). Also Wikidata Q115802241
History
- 2026-11-02: add by m2/dev
X36CV8XCNS X36CV8XCNS
| URI | m2://inv/X36CV8XCNS |
|---|---|
| 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.08334#JQHB (statement). In FQ3DS8B3H1/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
X36EPZCYAJ X36EPZCYAJ
| URI | m2://inv/X36EPZCYAJ |
|---|---|
| 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#FEMK (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Napier X36NCGR77K
| URI | m2://inv/X36NCGR77K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Napier, John Napier (topic). Also Wikidata Q159592
History
- 2026-11-02: add by m2/dev
X36XETX62Y X36XETX62Y
| URI | m2://inv/X36XETX62Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor:bochnerhartogsstrconvex (statement). In VNMV985MXX, cor, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Deduction theorem X36XPF18N8
| URI | m2://inv/X36XPF18N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MMNR, Deduction theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples X379N3136C
| URI | m2://inv/X379N3136C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden ratio base#9GUM, Examples (example)
History
- 2026-11-02: add by m2/dev
Hilbert–Mumford criterion X37EFH92VC
| URI | m2://inv/X37EFH92VC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Mumford criterion, Hilbert–Mumford criterion (statement). Also Wikidata Q16947915
History
- 2026-11-02: add by m2/dev
Journal of the Royal Statistical Society Series C: Applied Statistics X37GM07DC8
| URI | m2://inv/X37GM07DC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of the Royal Statistical Society#YTCQ, Journal of the Royal Statistical Society Series C: Applied Statistics (unknown)
History
- 2026-11-02: add by m2/dev
Adkisson--Ben-Neria X37M5VCWF9
| URI | m2://inv/X37M5VCWF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#MMZI, Adkisson--Ben-Neria (statement). In 90QTB4CC31/e1, theorem 3.38
History
- 2026-10-28: add by m2/v0.4.2
X37MBT5RGD X37MBT5RGD
| URI | m2://inv/X37MBT5RGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm-2 (statement). In N54F33XE07, thm, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
Consistency with a fixed coarse partition X383K49DVE
| URI | m2://inv/X383K49DVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#RY5H, Consistency with a fixed coarse partition (statement). In SV36P5P5Z3/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Properties X38KJTT7JZ
| URI | m2://inv/X38KJTT7JZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-spline#YVQ0, Properties (statement)
History
- 2026-11-02: add by m2/dev
X38NJG3C6A X38NJG3C6A
| URI | m2://inv/X38NJG3C6A |
|---|---|
| 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.40207#W94Z (statement). In JXTG8KP95P/e1, lemma 5.12
History
- 2026-10-30: add by m2/v0.4.12
Discrete Kakeya Theorem X38PFZAAHY
| URI | m2://inv/X38PFZAAHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40161#PGAX, Discrete Kakeya Theorem (statement). In P2ZW0PZMEH/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Second Griffiths inequality X38PJK9CZ7
| URI | m2://inv/X38PJK9CZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griffiths inequality#E3M1, Second Griffiths inequality (statement)
History
- 2026-11-02: add by m2/dev
X38QEP40AD X38QEP40AD
| URI | m2://inv/X38QEP40AD |
|---|---|
| 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 2609.33469#GMT9 (example). In TC5QA4AB4Z/e1, example 3.32
History
- 2026-10-30: add by m2/v0.4.12
X38RC6MZKD X38RC6MZKD
| URI | m2://inv/X38RC6MZKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#4RYL (statement). In F8RC6AENB0/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
X38YZ9BQJT X38YZ9BQJT
| URI | m2://inv/X38YZ9BQJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#S4RY (statement)
History
- 2026-11-01: add by m2/v0.6.15
X38ZYNR1GE X38ZYNR1GE
| URI | m2://inv/X38ZYNR1GE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#example-7 (example). In RZP28ERRZV, example, section 66.3
History
- 2026-11-01: add by m2/v0.6.13
Scale factor X3903ZD437
| URI | m2://inv/X3903ZD437 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scaling (geometry)#6GJE, Scale factor (unknown)
History
- 2026-11-02: add by m2/dev
Inverse function theorem X39330W6Z9
| URI | m2://inv/X39330W6Z9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NH4O, Inverse function theorem (statement)
History
- 2026-11-02: add by m2/dev
X398WXNA6H X398WXNA6H
| URI | m2://inv/X398WXNA6H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#H4PC (definition). In 9EMCPF1F2T/e1, definition 8
History
- 2026-10-29: add by m2/v0.4.10
Assumptions on Partial Area Weights X39F858JQV
| URI | m2://inv/X39F858JQV |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Alternative definitions X39P83TY3E
| URI | m2://inv/X39P83TY3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfaffian#O3LR, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
X39RPSYNF2 X39RPSYNF2
| URI | m2://inv/X39RPSYNF2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#XPBP (problem). In 6BVBMTYXNZ/e1, problem 2.11
History
- 2026-10-28: add by m2/v0.4.2
X39S7FQFQD X39S7FQFQD
| URI | m2://inv/X39S7FQFQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26410#47Y4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formula and calculation X39VTZTSGJ
| URI | m2://inv/X39VTZTSGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cronbach's alpha#O3QS, Formula and calculation (statement)
History
- 2026-11-02: add by m2/dev
X39WXFGXFE X39WXFGXFE
| URI | m2://inv/X39WXFGXFE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#QZFD (definition). In VNE8N0D2FB/e1, definition 1.11
History
- 2026-10-31: add by m2/v0.5.6
X3A2M848DH X3A2M848DH
| URI | m2://inv/X3A2M848DH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27049#IZIF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exponential Concentration of Hitting Times X3A2MZSRZT
| URI | m2://inv/X3A2MZSRZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24056#3I37, Exponential Concentration of Hitting Times (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mathematical expression of the principle X3A3X56P7V
| URI | m2://inv/X3A3X56P7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huygens–Fresnel principle#2SYF, Mathematical expression of the principle (statement)
History
- 2026-11-02: add by m2/dev
752 (number) X3A49D1NWV
| URI | m2://inv/X3A49D1NWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#W07Y, 752 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Minimality of the strict example X3A53EF4CV
| URI | m2://inv/X3A53EF4CV |
|---|---|
| Kind | conjecture |
| 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.39615#5OVN, Minimality of the strict example (conjecture). In RNXRAZYR3S/e1, conjecture 6.1
History
- 2026-10-30: add by m2/v0.4.12
anticommutativity X3A5KMDKF3
| URI | m2://inv/X3A5KMDKF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q639608, anticommutativity (unknown). Also MathWorld Anticommutative
- wikipedia: Wikipedia Anticommutative property, Anticommutative property (definition). Also Wikidata Q639608
History
- 2026-10-26: add by m2/dev
X3A5M8FJQS X3A5M8FJQS
| URI | m2://inv/X3A5M8FJQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-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.27192#DOD5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
mathematics, classical X3A91XHT7V
| URI | m2://inv/X3A91XHT7V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
X3AG908YB8 X3AG908YB8
| URI | m2://inv/X3AG908YB8 |
|---|---|
| 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.06899#UFY8 (statement). In 5Z2K9JGFSS/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Ice-sheet model X3ANW1RRQ7
| URI | m2://inv/X3ANW1RRQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ice-sheet model, Ice-sheet model (definition). Also Wikidata Q1319627
History
- 2026-11-02: add by m2/dev
Illustration of the central limit theorem X3AV16845D
| URI | m2://inv/X3AV16845D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VMGI, Illustration of the central limit theorem (statement)
- wikipedia: Wikipedia List of mathematical examples#2BF1, Illustration of the central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
Example X3AV8J16SP
| URI | m2://inv/X3AV8J16SP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy product#7HRT, Example (example)
History
- 2026-11-02: add by m2/dev
X3AVSXPHZ6 X3AVSXPHZ6
| URI | m2://inv/X3AVSXPHZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#UQ8R (statement)
History
- 2026-11-02: add by m2/v0.6.17
Explicit perturbation density X3AXQHQSM0
| URI | m2://inv/X3AXQHQSM0 |
|---|---|
| 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.11619#CZXC, Explicit perturbation density (statement). In HT2K76Y9WS/e1, lemma B.16
History
- 2026-10-28: add by m2/v0.4.3
Forward kinematic animation X3B63M7PPV
| URI | m2://inv/X3B63M7PPV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward kinematics#OV4E, Forward kinematic animation (unknown)
History
- 2026-11-02: add by m2/dev
Texas Medication Algorithm Project X3B8GCGZ87
| URI | m2://inv/X3B8GCGZ87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CB9R, Texas Medication Algorithm Project (unknown)
History
- 2026-11-02: add by m2/dev
Hypergeometric series X3BCPMCE3K
| URI | m2://inv/X3BCPMCE3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#OLLK, Hypergeometric series (definition)
History
- 2026-11-02: add by m2/dev
X3BDTXNCET X3BDTXNCET
| URI | m2://inv/X3BDTXNCET |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#0242 (conjecture). In QD0X3XJS6T/e1, conjecture 3.7
History
- 2026-10-27: add by m2/v0.3.5
X3BGQ2RJ9P X3BGQ2RJ9P
| URI | m2://inv/X3BGQ2RJ9P |
|---|---|
| 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.06546#EUK0 (statement). In G6DK297DQN/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
X3BNK25HBX X3BNK25HBX
| URI | m2://inv/X3BNK25HBX |
|---|---|
| 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.06340#K7FO (statement). In PKNZPECH82/e1, lemma 10.3
History
- 2026-10-29: add by m2/v0.4.10
X3BQCGAPH0 X3BQCGAPH0
| URI | m2://inv/X3BQCGAPH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#1AS2 (statement). In T1VFA7TXPA/e1, lemma 60
History
- 2026-10-27: add by m2/v0.3.5
X3C9WG89Z0 X3C9WG89Z0
| URI | m2://inv/X3C9WG89Z0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#O9AP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equilibrium measure X3CA145832
| URI | m2://inv/X3CA145832 |
|---|---|
| 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.21781#TM35, Equilibrium measure (statement). In FEQ72D1AX6/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.2
X3CCBR1B7N X3CCBR1B7N
| URI | m2://inv/X3CCBR1B7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9802134#DBA8 (definition). In 235B1J1ETB/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
X3CD14MN2N X3CD14MN2N
| URI | m2://inv/X3CD14MN2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#VYBU (statement). In TFAN2DR6FD/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
cuban prime X3CDMXZHDD
| URI | m2://inv/X3CDMXZHDD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1530564, cuban prime (unknown). Also MathWorld CubanPrime
- wikipedia: Wikipedia Cuban prime, Cuban prime (object). Also Wikidata Q1530564
History
- 2026-10-26: add by m2/dev
X3CME19DB4 X3CME19DB4
| URI | m2://inv/X3CME19DB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#OLN0 (statement). In CY1FE8W1ZW/e1, corollary 0.43
History
- 2026-10-27: add by m2/v0.4.0
Euclidean Jordan algebra X3CPSFN9GX
| URI | m2://inv/X3CPSFN9GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan algebra#AE9R, Euclidean Jordan algebra (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry X3CQRRC3TT
| URI | m2://inv/X3CQRRC3TT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated pentahexagonal tiling#9VQQ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
X3CSS2QS0M X3CSS2QS0M
| URI | m2://inv/X3CSS2QS0M |
|---|---|
| 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.07162#Q4C7 (statement). In MQEB9ZHQAT/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Loop-erased random walk X3CTE3R86C
| URI | m2://inv/X3CTE3R86C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop-erased random walk, Loop-erased random walk (definition). Also Wikidata Q6675770
History
- 2026-11-02: add by m2/dev
Location testing for Gaussian scale mixture distributions X3D7Z85V69
| URI | m2://inv/X3D7Z85V69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DZMW, Location testing for Gaussian scale mixture distributions (definition)
History
- 2026-11-02: add by m2/dev
Axel Sophus Guldberg X3DCBP1RDW
| URI | m2://inv/X3DCBP1RDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#2LHB, Axel Sophus Guldberg (topic)
History
- 2026-11-02: add by m2/dev
X3DCNQGBFG X3DCNQGBFG
| URI | m2://inv/X3DCNQGBFG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#161E (definition). In 6KR7Z5ETRY/e1, definition 2.29
History
- 2026-10-27: add by m2/v0.3.5
Projective frame X3DEJ9K2JY
| URI | m2://inv/X3DEJ9K2JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective frame, Projective frame (definition). Also Wikidata Q3427504
History
- 2026-11-02: add by m2/dev
X3DV9QXFEY X3DV9QXFEY
| URI | m2://inv/X3DV9QXFEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#FM04 (definition). In XYYEJN00D8/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Trajectory X3DWEPF8CW
| URI | m2://inv/X3DWEPF8CW |
|---|---|
| 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.15824#WCHU, Trajectory (definition). In GDZXR87FJV/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Rajesh Gopakumar X3DZ9RCMGJ
| URI | m2://inv/X3DZ9RCMGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#CHWR, Rajesh Gopakumar (unknown)
History
- 2026-11-02: add by m2/dev
Finite-activity coupling and observation mixing X3E4J3NH0Y
| URI | m2://inv/X3E4J3NH0Y |
|---|---|
| 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.19421#YIE5, Finite-activity coupling and observation mixing (statement). In 3S1VFGYWQE/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Cantor's theorem X3E7VHT8PD
| URI | m2://inv/X3E7VHT8PD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo set theory#M4EK, Cantor's theorem (statement)
History
- 2026-11-02: add by m2/dev
Robert V. Kohn X3E8ENZJNH
| URI | m2://inv/X3E8ENZJNH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0E40, Robert V. Kohn (topic)
History
- 2026-11-02: add by m2/dev
X3ECTFQVFE X3ECTFQVFE
| URI | m2://inv/X3ECTFQVFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#kappaunionkappasize (statement). In PKGMM3P5QY, prop, section 69.5
History
- 2026-11-01: add by m2/v0.6.13
X3EGCZWBD1 X3EGCZWBD1
| URI | m2://inv/X3EGCZWBD1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#37LO (example). In PF5JJ9DS8Q/e1, example 7.1.1
History
- 2026-10-28: add by m2/v0.4.2
Semi-Hilbert space X3EHA3WJYP
| URI | m2://inv/X3EHA3WJYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-Hilbert space, Semi-Hilbert space (definition). Also Wikidata Q7449274
History
- 2026-11-02: add by m2/dev
Acoustic wave equation X3EHFWSN59
| URI | m2://inv/X3EHFWSN59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acoustic wave equation, Acoustic wave equation (definition). Also Wikidata Q4674723
History
- 2026-11-02: add by m2/dev
X3EJNMGH9H X3EJNMGH9H
| URI | m2://inv/X3EJNMGH9H |
|---|---|
| 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.05459#43GV (statement). In VYW16D089Y/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
X3EMCD6VH3 X3EMCD6VH3
| URI | m2://inv/X3EMCD6VH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#ZGYZ (statement). In V7VCEA0VAA/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
X3ER0WTY0Z X3ER0WTY0Z
| URI | m2://inv/X3ER0WTY0Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 30.8
History
- 2026-11-01: add by m2/v0.6.13
Dyck graph X3EZFVNGYP
| URI | m2://inv/X3EZFVNGYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115480, Dyck graph (unknown). Also House of Graphs 1053, MathWorld DyckGraph
- wikipedia: Wikipedia Dyck graph, Dyck graph (definition). Also Wikidata Q3115480
History
- 2026-10-26: add by m2/dev
Examples X3F037EYGW
| URI | m2://inv/X3F037EYGW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance matrix#3P53, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples X3FE8Z82A1
| URI | m2://inv/X3FE8Z82A1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeb vector field#JHCG, Examples (example)
History
- 2026-11-02: add by m2/dev
Tamás Szamuely X3FEJAFFZV
| URI | m2://inv/X3FEJAFFZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15850081, Tamás Szamuely (unknown). Also nLab Tamás Szamuely
History
- 2026-10-26: add by m2/dev
X3FW10E6DA X3FW10E6DA
| URI | m2://inv/X3FW10E6DA |
|---|---|
| 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 2312.06473#OV11 (statement). In P1MYSYHSGX/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
X3FX6Q1CZQ X3FX6Q1CZQ
| URI | m2://inv/X3FX6Q1CZQ |
|---|---|
| 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 2212.05398#PK82 (statement). In WQKQ8438M7/e1, theorem 1.11
History
- 2026-10-27: add by m2/v0.3.5
Definition X3G29B7RB6
| URI | m2://inv/X3G29B7RB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical structure function#JD0N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vanessa Teague X3G498JN7V
| URI | m2://inv/X3G498JN7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VQTP, Vanessa Teague (unknown)
History
- 2026-11-02: add by m2/dev
Thales of Miletus X3G4KWEN33
| URI | m2://inv/X3G4KWEN33 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#KQLU, Thales of Miletus (topic)
History
- 2026-11-02: add by m2/dev
Model stacking X3G77WQA95
| URI | m2://inv/X3G77WQA95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble learning#6CHW, Model stacking (unknown)
History
- 2026-11-02: add by m2/dev
Havercosine X3GAW56NZS
| URI | m2://inv/X3GAW56NZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#TIZ0, Havercosine (definition)
History
- 2026-11-02: add by m2/dev
König's paradox X3GDHDHSZ9
| URI | m2://inv/X3GDHDHSZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LIM0, König's paradox (definition)
History
- 2026-11-02: add by m2/dev
513 (number) X3GG8X1A3J
| URI | m2://inv/X3GG8X1A3J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#FB20, 513 (number) (unknown)
History
- 2026-11-02: add by m2/dev
X3GGP9C24S X3GGP9C24S
| URI | m2://inv/X3GGP9C24S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#ex-1 (example). In PKGMM3P5QY, ex, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
Prouhet–Thue–Morse constant X3GN6C0Q8D
| URI | m2://inv/X3GN6C0Q8D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2994918, Prouhet–Thue–Morse constant (object). Also MathWorld Thue-MorseConstant, OEIS A014571
- wikipedia: Wikipedia Prouhet–Thue–Morse constant, Prouhet–Thue–Morse constant (object). Also Wikidata Q2994918
History
- 2026-10-26: add by m2/dev
Strähle construction X3GSD9H8EY
| URI | m2://inv/X3GSD9H8EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strähle construction, Strähle construction (definition). Also Wikidata Q7625984
History
- 2026-11-02: add by m2/dev
X3GXNVJ2B1 X3GXNVJ2B1
| URI | m2://inv/X3GXNVJ2B1 |
|---|---|
| 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 1512.06981#5Y2O (statement). In X923ZEY423/e1, theorem 2.0.13
History
- 2026-10-27: add by m2/v0.3.5
Clausen function X3GZ8YZ754
| URI | m2://inv/X3GZ8YZ754 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausen function, Clausen function (definition). Also Wikidata Q823290
History
- 2026-11-02: add by m2/dev
David Lee Hunter X3H2YY3PCE
| URI | m2://inv/X3H2YY3PCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Lee Hunter, David Lee Hunter (topic). Also Wikidata Q108494540
History
- 2026-11-02: add by m2/dev
Pólya's theorem for continuous tensors X3H7XA0KY3
| URI | m2://inv/X3H7XA0KY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#HUCV, Pólya's theorem for continuous tensors (statement). In SBZNH932ZV/e1, theorem 7.5
History
- 2026-10-30: add by m2/v0.4.12
Gödel's β function X3HBG420VM
| URI | m2://inv/X3HBG420VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's β function, Gödel's β function (definition). Also Wikidata Q5626454
History
- 2026-11-02: add by m2/dev
Rigid and loose spaces X3HKXW2JW6
| URI | m2://inv/X3HKXW2JW6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#8XZA, Rigid and loose spaces (example)
History
- 2026-11-01: add by m2/v0.6.15
X3HXAHC1BE X3HXAHC1BE
| URI | m2://inv/X3HXAHC1BE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20087#83BD (example). In ZRE2WQR5XA/e1, example III.8
History
- 2026-10-27: add by m2/v0.4.2
Kaiser–Meyer–Olkin criterion X3HZ85RHH6
| URI | m2://inv/X3HZ85RHH6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaiser–Meyer–Olkin test#GK3H, Kaiser–Meyer–Olkin criterion (statement)
History
- 2026-11-02: add by m2/dev
X3J004GKZ6 X3J004GKZ6
| URI | m2://inv/X3J004GKZ6 |
|---|---|
| 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.22218#I67I (statement). In 338GKREFVP/e1, lemma 24
History
- 2026-10-27: add by m2/v0.4.0
Geometric monodromy of the rank-two Kloosterman sheaf X3J530HGW6
| URI | m2://inv/X3J530HGW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#ERI2, Geometric monodromy of the rank-two Kloosterman sheaf (statement). In QPJ6FWG5HD/e1, proposition 1.4
History
- 2026-10-29: add by m2/v0.4.12
Sequential equilibrium X3JM5G9F54
| URI | m2://inv/X3JM5G9F54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential equilibrium, Sequential equilibrium (definition). Also Wikidata Q2897085
History
- 2026-11-02: add by m2/dev
tic-tac-toe X3JMTRJ7TV
| URI | m2://inv/X3JMTRJ7TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q210339, tic-tac-toe (unknown). Also MathWorld Tic-Tac-Toe
History
- 2026-10-26: add by m2/dev
W. W. Bartley III X3JN3X9M3S
| URI | m2://inv/X3JN3X9M3S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. W. Bartley III, W. W. Bartley III (topic). Also Wikidata Q2580994
History
- 2026-11-02: add by m2/dev
Infinite concentration and clusters of consecutive values X3JT60HSYY
| URI | m2://inv/X3JT60HSYY |
|---|---|
| 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.08424#WYZ8, Infinite concentration and clusters of consecutive values (statement). In BVD2HAAKD5/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Rectified 10-cubes X3K6JHH4B2
| URI | m2://inv/X3K6JHH4B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 10-cubes, Rectified 10-cubes (definition). Also Wikidata Q7303148
History
- 2026-11-02: add by m2/dev
X3KCF4NP1A X3KCF4NP1A
| URI | m2://inv/X3KCF4NP1A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.07697#9EGX (definition). In 57P5P33HS3/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
X3KHY377CX X3KHY377CX
| URI | m2://inv/X3KHY377CX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#XJRK (example). In S1F2QW24YW/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
Reduction and bounded codegrees X3KJ2CW2X3
| URI | m2://inv/X3KJ2CW2X3 |
|---|---|
| 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.33327#CZYU, Reduction and bounded codegrees (statement). In A5R31P82BK/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Definition X3KTVQ6QRZ
| URI | m2://inv/X3KTVQ6QRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DLOGTIME#1IVM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vadim Yefremovich X3M0JMBYFE
| URI | m2://inv/X3M0JMBYFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FQRU, Vadim Yefremovich (unknown)
History
- 2026-11-02: add by m2/dev
Learning a linear or orthogonal map X3M6F2JKMJ
| URI | m2://inv/X3M6F2JKMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#481X, Learning a linear or orthogonal map (statement). In 4W7ARR1DAR/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
X3M6QTS4S0 X3M6QTS4S0
| URI | m2://inv/X3M6QTS4S0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#proof-1 (proof). In P1C114YBXG, proof, section D
History
- 2026-11-01: add by m2/v0.6.13
X3M6W792B9 X3M6W792B9
| URI | m2://inv/X3M6W792B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.24307#9EWN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties X3M7NDGRNP
| URI | m2://inv/X3M7NDGRNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal (model checking)#EXGF, Properties (statement)
History
- 2026-11-02: add by m2/dev
X3MB68QNB0 X3MB68QNB0
| URI | m2://inv/X3MB68QNB0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#UVV7 (example). In PWXT7J9JX3/e1, example 7.4
History
- 2026-10-28: add by m2/v0.4.2
X3MEACFD1Y X3MEACFD1Y
| URI | m2://inv/X3MEACFD1Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proof-8 (proof). In RZP28ERRZV, proof, section 95.5
History
- 2026-11-01: add by m2/v0.6.13
X3MTQ6RSGZ X3MTQ6RSGZ
| URI | m2://inv/X3MTQ6RSGZ |
|---|---|
| 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.07608#9J09 (statement). In X8FQD4TEVG/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Anders Lindquist X3MTRTS82N
| URI | m2://inv/X3MTRTS82N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anders Lindquist, Anders Lindquist (topic). Also Wikidata Q4753861
History
- 2026-11-02: add by m2/dev
bounded below, sequence X3N2RGKBHZ
| URI | m2://inv/X3N2RGKBHZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1/bounded-below-sequence, bounded below, sequence (concept). In E59CDZA4DP, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Properties X3N8CEVPZX
| URI | m2://inv/X3N8CEVPZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#4Z91, Properties (statement)
History
- 2026-11-02: add by m2/dev
Leibniz–Clarke correspondence X3NBY6KD3F
| URI | m2://inv/X3NBY6KD3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#M7RZ, Leibniz–Clarke correspondence (unknown)
History
- 2026-11-02: add by m2/dev
General definition X3NCTEKJXM
| URI | m2://inv/X3NCTEKJXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse limit#2B0K, General definition (definition)
History
- 2026-11-02: add by m2/dev
X3NHP6CNPS X3NHP6CNPS
| URI | m2://inv/X3NHP6CNPS |
|---|---|
| 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.35691#G8P4 (statement). In G7R61RPWE2/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
David A. Freedman X3NJECPCQN
| URI | m2://inv/X3NJECPCQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R34E, David A. Freedman (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#CPAI, David A. Freedman (topic)
History
- 2026-11-02: add by m2/dev
Example X3NNDZZYQX
| URI | m2://inv/X3NNDZZYQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level-set method#83MZ, Example (example)
History
- 2026-11-02: add by m2/dev
X3NPS21ASD X3NPS21ASD
| URI | m2://inv/X3NPS21ASD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-8 (example). In RZP28ERRZV, example, section 100.2
History
- 2026-11-01: add by m2/v0.6.13
Art Gallery Theorems and Algorithms X3NQ8XQC96
| URI | m2://inv/X3NQ8XQC96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Art Gallery Theorems and Algorithms, Art Gallery Theorems and Algorithms (statement). Also Wikidata Q86762073
History
- 2026-11-02: add by m2/dev
adjacent vertices X3NW2JGXWE
| URI | m2://inv/X3NW2JGXWE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/adjacent-vertices, adjacent vertices (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Anti-razor X3NXP62Q7Y
| URI | m2://inv/X3NXP62Q7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Occam's razor#Q6JQ, Anti-razor (unknown)
History
- 2026-11-02: add by m2/dev
Draw distance X3NZP60KHF
| URI | m2://inv/X3NZP60KHF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#579V, Draw distance (unknown)
History
- 2026-11-02: add by m2/dev
Examples X3P104GMFX
| URI | m2://inv/X3P104GMFX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branch point#7SME, Examples (example)
History
- 2026-11-02: add by m2/dev
Lucia de Berk X3P23HPMNG
| URI | m2://inv/X3P23HPMNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WAFJ, Lucia de Berk (definition)
History
- 2026-11-02: add by m2/dev
Star-shaped polygon X3P64N38KX
| URI | m2://inv/X3P64N38KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star-shaped polygon, Star-shaped polygon (definition). Also Wikidata Q2122886
History
- 2026-11-02: add by m2/dev
Ludvig Oppermann X3PA3MK5RM
| URI | m2://inv/X3PA3MK5RM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludvig Oppermann, Ludvig Oppermann (topic). Also Wikidata Q6699118
History
- 2026-11-02: add by m2/dev
Beurling algebra X3PA76SX9N
| URI | m2://inv/X3PA76SX9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beurling algebra, Beurling algebra (definition). Also Wikidata Q2835928
History
- 2026-11-02: add by m2/dev
Henry Forder X3PE8GH7QE
| URI | m2://inv/X3PE8GH7QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Forder, Henry Forder (topic). Also Wikidata Q17489110
History
- 2026-11-02: add by m2/dev
Properties of shortest-path graph X3PEADAEBE
| URI | m2://inv/X3PEADAEBE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest-path graph#2IJN, Properties of shortest-path graph (statement)
History
- 2026-11-02: add by m2/dev
Definition X3PXXG9CZG
| URI | m2://inv/X3PXXG9CZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear span#UFUY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations X3Q2NV3DS5
| URI | m2://inv/X3Q2NV3DS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert class field#PBMX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
X3Q2TTVCMP X3Q2TTVCMP
| URI | m2://inv/X3Q2TTVCMP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#L66M (definition)
History
- 2026-11-01: add by m2/v0.6.15
Related results X3Q5GMR4AG
| URI | m2://inv/X3Q5GMR4AG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five points determine a conic#T1J1, Related results (statement)
History
- 2026-11-02: add by m2/dev
History of computer algebra X3Q8NXE2SJ
| URI | m2://inv/X3Q8NXE2SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer algebra#3G1F, History of computer algebra (unknown)
History
- 2026-11-02: add by m2/dev
A cap insures against an underestimated token price X3QAQQNTSB
| URI | m2://inv/X3QAQQNTSB |
|---|---|
| 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.11007#WCDC, A cap insures against an underestimated token price (statement). In MF0H78XZXC/e1, corollary A.9
History
- 2026-10-28: add by m2/v0.4.3
Exterior pairs X3QB42A3NW
| URI | m2://inv/X3QB42A3NW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#0VX4, Exterior pairs (definition). In KR7WXN4EWR/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
X3QC39EPJ1 X3QC39EPJ1
| URI | m2://inv/X3QC39EPJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#0D88 (statement). In XD0YT3XCW2/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
X3QFXPKQHJ X3QFXPKQHJ
| URI | m2://inv/X3QFXPKQHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#corollary-1 (statement). In P1C114YBXG, corollary, section D
History
- 2026-11-01: add by m2/v0.6.13
X3QJYXKDJE X3QJYXKDJE
| URI | m2://inv/X3QJYXKDJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#FOVA (statement). In VMWV58VWKN/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Microsoft R Open X3QTWNZYJ9
| URI | m2://inv/X3QTWNZYJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revolution Analytics#RAOE, Microsoft R Open (unknown)
History
- 2026-11-02: add by m2/dev
Properties X3QVX7J5SS
| URI | m2://inv/X3QVX7J5SS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order logic#N4BW, Properties (statement)
History
- 2026-11-02: add by m2/dev
X3QZAY344G X3QZAY344G
| URI | m2://inv/X3QZAY344G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#PHR1 (statement). In GXHKRV5BPY/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Dmitry Yegorov X3QZDGDV77
| URI | m2://inv/X3QZDGDV77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#DB8U, Dmitry Yegorov (unknown)
History
- 2026-11-02: add by m2/dev
X3QZMGA98E X3QZMGA98E
| URI | m2://inv/X3QZMGA98E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#V7BU (statement). In VNE8N0D2FB/e1, proposition 4.20
History
- 2026-10-31: add by m2/v0.5.6
transversal X3R28TRHG2
| URI | m2://inv/X3R28TRHG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#IGI4, transversal (definition)
History
- 2026-11-02: add by m2/dev
X3RKAE2PJX X3RKAE2PJX
| URI | m2://inv/X3RKAE2PJX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Superassertibility X3RKPSBCKF
| URI | m2://inv/X3RKPSBCKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crispin Wright#GHY8, Superassertibility (unknown)
History
- 2026-11-02: add by m2/dev
Cobordism theory X3RS06JBCA
| URI | m2://inv/X3RS06JBCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#XNWK, Cobordism theory (definition)
History
- 2026-11-02: add by m2/dev
Sum and Product Puzzle X3RYBVHCMA
| URI | m2://inv/X3RYBVHCMA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum and Product Puzzle, Sum and Product Puzzle (problem). Also Wikidata Q1878412
History
- 2026-11-02: add by m2/dev
Zarnowitz, Victor X3S1C21AG7
| URI | m2://inv/X3S1C21AG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AHQ2, Zarnowitz, Victor (unknown)
History
- 2026-11-02: add by m2/dev
X3S2WMC511 X3S2WMC511
| URI | m2://inv/X3S2WMC511 |
|---|---|
| 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.12329#8HOV (statement). In ZJQB9W60T6/e1, theorem 4.16
History
- 2026-10-28: add by m2/v0.4.2
X3S7BRDR40 X3S7BRDR40
| URI | m2://inv/X3S7BRDR40 |
|---|---|
| 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.16883#FN0P (statement). In TYS9N30M63/e1, lemma A.8
History
- 2026-10-28: add by m2/v0.4.2
factorization lemma X3S9CVAGFH
| URI | m2://inv/X3S9CVAGFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5428744, factorization lemma (statement). Also nLab factorization lemma
History
- 2026-10-26: add by m2/dev
Linear grammar X3SD8V3CE9
| URI | m2://inv/X3SD8V3CE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear grammar, Linear grammar (definition). Also Wikidata Q743686
History
- 2026-11-02: add by m2/dev
X3SFK3EBN4 X3SFK3EBN4
| URI | m2://inv/X3SFK3EBN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05672#BNNR (statement). In BQGX0XE2A6/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Classification of finite $2$-transitive groups X3SGHQNMJ1
| URI | m2://inv/X3SGHQNMJ1 |
|---|---|
| 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.15340#53DZ, Classification of finite $2$-transitive groups (statement). In 9NVKKW8HDH/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
Fermat's principle X3SRKC734B
| URI | m2://inv/X3SRKC734B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian optics#7WJC, Fermat's principle (statement)
History
- 2026-11-02: add by m2/dev
Chaitin-Kolmogorov randomness X3SWFR6C13
| URI | m2://inv/X3SWFR6C13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#0WN8, Chaitin-Kolmogorov randomness (unknown)
History
- 2026-11-02: add by m2/dev
Non-examples X3SZJGKNV8
| URI | m2://inv/X3SZJGKNV8 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable curve#ZZCO, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
X3T08A3YCQ X3T08A3YCQ
| URI | m2://inv/X3T08A3YCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#7SD1 (statement). In PG0B4PH9YH/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
Applications X3T2DBXCE3
| URI | m2://inv/X3T2DBXCE3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SigSpec#9R68, Applications (example)
History
- 2026-11-02: add by m2/dev
Nonabelian Hodge theorem X3TEZH06K2
| URI | m2://inv/X3TEZH06K2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonabelian Hodge correspondence#0YOV, Nonabelian Hodge theorem (statement)
History
- 2026-11-02: add by m2/dev
small hexagrammic hexecontahedron X3TGRF8P0Q
| URI | m2://inv/X3TGRF8P0Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543073, small hexagrammic hexecontahedron (unknown). Also MathWorld SmallHexagrammicHexecontahedron
- wikipedia: Wikipedia Small hexagrammic hexecontahedron, Small hexagrammic hexecontahedron (object). Also Wikidata Q7543073
History
- 2026-10-26: add by m2/dev
X3TKSEZEXH X3TKSEZEXH
| URI | m2://inv/X3TKSEZEXH |
|---|---|
| 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.30203#V1TY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example X3TVH2SQQM
| URI | m2://inv/X3TVH2SQQM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoshen–Kopelman algorithm#JMHK, Example (example)
History
- 2026-11-02: add by m2/dev
Peter B. Shalen X3V1J6DWBK
| URI | m2://inv/X3V1J6DWBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P63A, Peter B. Shalen (topic)
History
- 2026-11-02: add by m2/dev
X3V1PRM579 X3V1PRM579
| URI | m2://inv/X3V1PRM579 |
|---|---|
| Kind | example |
| 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#LZ8C (example). In T3W7SMWQ73/e1, example 35
History
- 2026-10-28: add by m2/v0.4.3
Examples X3V5DAFK2D
| URI | m2://inv/X3V5DAFK2D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity#LOE7, Examples (example)
History
- 2026-11-02: add by m2/dev
Gamma variate X3V5HD59AF
| URI | m2://inv/X3V5HD59AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O4RZ, Gamma variate (definition)
History
- 2026-11-02: add by m2/dev
AVX-128 X3V75FMXVE
| URI | m2://inv/X3V75FMXVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Vector Extensions#TVSG, AVX-128 (unknown)
History
- 2026-11-02: add by m2/dev
X3VBJNSNB8 X3VBJNSNB8
| URI | m2://inv/X3VBJNSNB8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34099#RCXE (definition). In 4X2SAM9HR2/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Examples X3VCC214E3
| URI | m2://inv/X3VCC214E3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky's theorem on quadratic forms#DQ0B, Examples (example)
History
- 2026-11-02: add by m2/dev
X3VCHDQ888 X3VCHDQ888
| URI | m2://inv/X3VCHDQ888 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#DDBX (statement). In X47RYAZF8P/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Sally Thurston X3VG99V9TB
| URI | m2://inv/X3VG99V9TB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MAMA, Sally Thurston (topic)
History
- 2026-11-02: add by m2/dev
987 (number) X3VPVC5H2K
| URI | m2://inv/X3VPVC5H2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#J9RN, 987 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Centralised Blockchain X3VSVHMMHA
| URI | m2://inv/X3VSVHMMHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#O6HI, Centralised Blockchain (unknown)
History
- 2026-11-02: add by m2/dev
X3VYNPSR4S X3VYNPSR4S
| URI | m2://inv/X3VYNPSR4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#JQNX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ben-Eliezer, Krivelevich, Sudakov X3VYSXRWQ1
| URI | m2://inv/X3VYSXRWQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.28552#CWWX, Ben-Eliezer, Krivelevich, Sudakov (statement)
History
- 2026-11-01: add by m2/v0.6.15
X3WEVVA7K7 X3WEVVA7K7
| URI | m2://inv/X3WEVVA7K7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#63AY (definition). In F3BKXXPR3K/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
X3WQ2FVP1G X3WQ2FVP1G
| URI | m2://inv/X3WQ2FVP1G |
|---|---|
| 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.34295#GBLV (statement). In A93R925Z24/e1, proposition 13.1
History
- 2026-10-30: add by m2/v0.4.12
X3WY4D75X8 X3WY4D75X8
| URI | m2://inv/X3WY4D75X8 |
|---|---|
| Kind | definition |
| 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#JL18 (definition). In ESDKTYDHC8/e1, definition 17
History
- 2026-10-29: add by m2/v0.4.12
Dietrich Tzwyvel X3X0SZQS9V
| URI | m2://inv/X3X0SZQS9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#4F74, Dietrich Tzwyvel (unknown)
History
- 2026-11-02: add by m2/dev
X3X262B8C1 X3X262B8C1
| URI | m2://inv/X3X262B8C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#UL5K (statement). In SCSTR1Q1BW/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
X3XABB6VYR X3XABB6VYR
| URI | m2://inv/X3XABB6VYR |
|---|---|
| Kind | example |
| 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.07671#0DG5 (example). In XHHBGCVG90/e1, example 2.3.1
History
- 2026-10-29: add by m2/v0.4.10
Douglas West X3XAV4E9V6
| URI | m2://inv/X3XAV4E9V6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas West (mathematician), Douglas West (topic). Also Wikidata Q5302097
History
- 2026-11-02: add by m2/dev
transport, in product types X3XGP6VFY1
| URI | m2://inv/X3XGP6VFY1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.6/transport-in-product-types, transport, in product types (concept). In N54F33XE07, index, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
The faces X3XMMQJH3Q
| URI | m2://inv/X3XMMQJH3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#1BZE, The faces (statement). In Y4TP36M0C7/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
X3XP3D32HK X3XP3D32HK
| URI | m2://inv/X3XP3D32HK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-68 (proof). In VNMV985MXX, proof, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
X3XW2FZ5ZN X3XW2FZ5ZN
| URI | m2://inv/X3XW2FZ5ZN |
|---|---|
| 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.19535#LLBP (statement). In MJXSE9QR4X/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Vsevolod Romanovsky X3XX5SRJ7P
| URI | m2://inv/X3XX5SRJ7P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q4DK, Vsevolod Romanovsky (topic)
History
- 2026-11-02: add by m2/dev
Hadamard three-circle theorem X3Y9SEZD47
| URI | m2://inv/X3Y9SEZD47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q729359, Hadamard three-circle theorem (statement). Also Wikidata Q729359
- thousand_plus: thousand_plus Q729359, Hadamard three-circle theorem (statement). Also Wikidata Q729359, Wikipedia Hadamard three-circle theorem
- wikipedia: Wikipedia Hadamard three-circle theorem, Hadamard three-circle theorem (statement). Also Wikidata Q729359
History
- 2026-10-26: add by m2/dev
David Eugene Smith X3YAF3M0GG
| URI | m2://inv/X3YAF3M0GG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KKN7, David Eugene Smith (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LLXJ, David Eugene Smith (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VTQI, David Eugene Smith (topic)
History
- 2026-11-02: add by m2/dev
X3YE0JEBJS X3YE0JEBJS
| URI | m2://inv/X3YE0JEBJS |
|---|---|
| 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.25896#U0A5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grothendieck's Galois theory X3YE6RAR9N
| URI | m2://inv/X3YE6RAR9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Grothendieck's Galois theory CX7BDQ47ZK |
Mentions
- wikidata: Wikidata Q5610719, Grothendieck's Galois theory (topic). Also nLab Grothendieck's Galois theory
- wikipedia: Wikipedia Grothendieck's Galois theory, Grothendieck's Galois theory (definition). Also Wikidata Q5610719
History
- 2026-10-26: add by m2/dev
X3YJ97HFSN X3YJ97HFSN
| URI | m2://inv/X3YJ97HFSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.14045#ZOUK (statement). In KZ71GXT2B0/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
X3YK0K3DRV X3YK0K3DRV
| URI | m2://inv/X3YK0K3DRV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#REP5 (definition). In X9WFC1D9ZS/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
Shugborough inscription X3YMXX7EGW
| URI | m2://inv/X3YMXX7EGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shugborough inscription, Shugborough inscription (definition). Also Wikidata Q7504674
History
- 2026-11-02: add by m2/dev
Felice Casorati X3YWK632BY
| URI | m2://inv/X3YWK632BY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felice Casorati (mathematician), Felice Casorati (topic). Also Wikidata Q225208
History
- 2026-11-02: add by m2/dev
Properties X3YY1J8YG4
| URI | m2://inv/X3YY1J8YG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated octahedron#BHX1, Properties (statement)
History
- 2026-11-02: add by m2/dev
X3YY6VK2Q8 X3YY6VK2Q8
| URI | m2://inv/X3YY6VK2Q8 |
|---|---|
| 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 2609.26262#WFDR (statement)
History
- 2026-11-01: add by m2/v0.6.15
X3YZM3JD08 X3YZM3JD08
| URI | m2://inv/X3YZM3JD08 |
|---|---|
| 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.28251#LTNH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Adjunction (field theory) X3YZX0XGHX
| URI | m2://inv/X3YZX0XGHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#8H7I, Adjunction (field theory) (definition)
- wikipedia: Wikipedia List of algebraic constructions#M6B4, Adjunction (field theory) (definition)
History
- 2026-11-02: add by m2/dev
X3Z16G4J7Y X3Z16G4J7Y
| URI | m2://inv/X3Z16G4J7Y |
|---|---|
| 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 2104.04145#H986 (statement). In 7TNHVC586V/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Pure prolongation X3Z3JYVE1P
| URI | m2://inv/X3Z3JYVE1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#DHZP, Pure prolongation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tennenbaum's Theorem X3ZD2GQ98T
| URI | m2://inv/X3ZD2GQ98T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/computable-models.tex#thm-1, Tennenbaum's Theorem (statement). In PKGMM3P5QY, thm, section 48.2
History
- 2026-11-01: add by m2/v0.6.13
Summation equation X3ZESFK036
| URI | m2://inv/X3ZESFK036 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation equation, Summation equation (definition). Also Wikidata Q7637218
History
- 2026-11-02: add by m2/dev
X3ZGJMRVCP X3ZGJMRVCP
| URI | m2://inv/X3ZGJMRVCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#43S7 (definition). In HTBRYNPHSJ/e1, definition 7.2
History
- 2026-10-29: add by m2/v0.4.12
X3ZQ20CN0V X3ZQ20CN0V
| URI | m2://inv/X3ZQ20CN0V |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Logic optimization X3ZS6BQ68E
| URI | m2://inv/X3ZS6BQ68E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic optimization, Logic optimization (definition). Also Wikidata Q6667469
History
- 2026-11-02: add by m2/dev
Existence II X3ZZQF19T6
| URI | m2://inv/X3ZZQF19T6 |
|---|---|
| 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.32561#GAEZ, Existence II (statement). In NBT0ZCHBB6/e1, theorem 5
History
- 2026-10-31: add by m2/v0.5.6