Inventory rows AZ
The cards of the rows of the inventory whose ids start with AZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
AZ00Q6WQAM AZ00Q6WQAM
| URI | m2://inv/AZ00Q6WQAM |
|---|---|
| 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.36181#DS0U (statement). In 1KSE33PVS6/e1, theorem 79
History
- 2026-10-30: add by m2/v0.4.12
The design of the conversion path decides viability AZ08BSQN4A
| URI | m2://inv/AZ08BSQN4A |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#TIG2, The design of the conversion path decides viability (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Geometric logic AZ08KJBXJM
| URI | m2://inv/AZ08KJBXJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric logic, Geometric logic (definition). Also Wikidata Q111940102
History
- 2026-11-02: add by m2/dev
Thue equation AZ0KB0TGF1
| URI | m2://inv/AZ0KB0TGF1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Thue equation 3Q6CFPQZDF |
Mentions
- mathlib_1000: mathlib_1000 Q2378270, Thue's theorem (statement). Also Wikidata Q2378270
- thousand_plus: thousand_plus Q2378270, Thue's theorem (statement). Also Wikidata Q2378270, Wikipedia Thue equation
- wikidata: Wikidata Q2378270, Thue equation (concept). Also MathWorld ThueEquation
- wikipedia: Wikipedia Thue equation, Thue equation (definition). Also Wikidata Q2378270
History
- 2026-10-26: add by m2/dev
Coxeter element AZ0NXXJFEG
| URI | m2://inv/AZ0NXXJFEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter element, Coxeter element (definition). Also Wikidata Q5179941
History
- 2026-11-02: add by m2/dev
Examples AZ0SSPDNHS
| URI | m2://inv/AZ0SSPDNHS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdirectly irreducible algebra#VTAZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Inverse Abel transform AZ0ZRE6DCY
| URI | m2://inv/AZ0ZRE6DCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel transform#G3UH, Inverse Abel transform (unknown)
History
- 2026-11-02: add by m2/dev
Infinite primitive spectrum AZ1070AMJG
| URI | m2://inv/AZ1070AMJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#2OQD, Infinite primitive spectrum (statement)
History
- 2026-11-01: add by m2/v0.6.15
``functoriality'' of functions in type theory AZ10Z6Z3JZ
| URI | m2://inv/AZ10Z6Z3JZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.2/functoriality-of-functions-in-type-theory, ``functoriality'' of functions in type theory (concept). In N54F33XE07, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
AZ118TFK55 AZ118TFK55
| URI | m2://inv/AZ118TFK55 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square#6UUG (problem)
History
- 2026-11-02: add by m2/dev
AZ12M2EEXS AZ12M2EEXS
| URI | m2://inv/AZ12M2EEXS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Uniform spectral estimate AZ1656B978
| URI | m2://inv/AZ1656B978 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#KX9M, Uniform spectral estimate (statement). In NKXTXH59P1/e1, lemma D.11
History
- 2026-10-29: add by m2/v0.4.10
AZ18TFDFFR AZ18TFDFFR
| URI | m2://inv/AZ18TFDFFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16431#N3VX (statement). In 7NX9HA8VPM/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
AZ1CYN237R AZ1CYN237R
| URI | m2://inv/AZ1CYN237R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26019#X22W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Point process operation AZ1DDN6G4B
| URI | m2://inv/AZ1DDN6G4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process operation, Point process operation (definition). Also Wikidata Q16155268
History
- 2026-11-02: add by m2/dev
Theorem AZ1JG3DQF6
| URI | m2://inv/AZ1JG3DQF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Junction tree algorithm#WKHY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
AZ1QWSMN7P AZ1QWSMN7P
| URI | m2://inv/AZ1QWSMN7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22344#XUXJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
AZ1VP0YNFK AZ1VP0YNFK
| URI | m2://inv/AZ1VP0YNFK |
|---|---|
| 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.17476#24DS (statement). In 6HXD74FA4S/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
Duffin–Schaeffer theorem AZ227XVZH3
| URI | m2://inv/AZ227XVZH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5312375, Duffin–Schaeffer theorem (conjecture). Also EoM Duffin-Schaeffer_conjecture
- wikipedia: Wikipedia Duffin–Schaeffer theorem, Duffin–Schaeffer theorem (statement). Also Wikidata Q5312375
History
- 2026-10-26: add by m2/dev
Symbolic computation AZ28SDTENK
| URI | m2://inv/AZ28SDTENK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TWMX, Symbolic computation (definition)
History
- 2026-11-02: add by m2/dev
Applications AZ2DX0R8CG
| URI | m2://inv/AZ2DX0R8CG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GEH statistic#WLGM, Applications (example)
History
- 2026-11-02: add by m2/dev
AZ2HTCYZ7D AZ2HTCYZ7D
| URI | m2://inv/AZ2HTCYZ7D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 60.1.1
History
- 2026-11-01: add by m2/v0.6.13
Richard Milton Martin AZ2P2CJYGZ
| URI | m2://inv/AZ2P2CJYGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#ASOJ, Richard Milton Martin (topic)
History
- 2026-11-02: add by m2/dev
Geodesists AZ2Q1VTVF7
| URI | m2://inv/AZ2Q1VTVF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesy#7CIQ, Geodesists (unknown)
History
- 2026-11-02: add by m2/dev
AZ2VS69J0H AZ2VS69J0H
| URI | m2://inv/AZ2VS69J0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2503.22636#VICT (definition). In 2X2A6MT0QD/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
cross section AZ304RCJY0
| URI | m2://inv/AZ304RCJY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q845080, cross section (unknown). Also MathWorld CrossSection, MathWorld Section
- wikipedia: Wikipedia Cross section (geometry), Cross section (definition). Also Wikidata Q845080
History
- 2026-10-26: add by m2/dev
Vector fields AZ35ZHSP9Q
| URI | m2://inv/AZ35ZHSP9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#QDG3, Vector fields (statement). In VDE5R8HBS1/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Borde–Guth–Vilenkin theorem AZ371J2DX0
| URI | m2://inv/AZ371J2DX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borde–Guth–Vilenkin theorem, Borde–Guth–Vilenkin theorem (statement). Also Wikidata Q85850287
History
- 2026-11-02: add by m2/dev
AZ37YSE66W AZ37YSE66W
| URI | m2://inv/AZ37YSE66W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37562#BNMK (statement). In PYY8DFK2JS/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
soundness of the criterion AZ38FJE3EM
| URI | m2://inv/AZ38FJE3EM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36279#278W, soundness of the criterion (statement). In HX1QA0MJYV/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
triakis tetrahedron AZ3DB0Q4DQ
| URI | m2://inv/AZ3DB0Q4DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1461951, triakis tetrahedron (object). Also MathWorld TriakisTetrahedron
- wikipedia: Wikipedia Triakis tetrahedron, Triakis tetrahedron (definition). Also Wikidata Q1461951
History
- 2026-10-26: add by m2/dev
AZ3EDE6HBY AZ3EDE6HBY
| URI | m2://inv/AZ3EDE6HBY |
|---|---|
| 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.08288#MBFQ (statement). In CHVWYJM7RM/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.10
Statement AZ3HWS2QXE
| URI | m2://inv/AZ3HWS2QXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chowla–Mordell theorem#ERFM, Statement (statement)
History
- 2026-11-02: add by m2/dev
Barred energy AZ3JY7HZ63
| URI | m2://inv/AZ3JY7HZ63 |
|---|---|
| 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#8VUL, Barred energy (statement)
History
- 2026-11-01: add by m2/v0.6.15
AZ3M3AJ3NG AZ3M3AJ3NG
| URI | m2://inv/AZ3M3AJ3NG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#317H (statement)
History
- 2026-11-02: add by m2/v0.6.18
Real boundary asymptotics AZ3PET5AZ8
| URI | m2://inv/AZ3PET5AZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#EKOR, Real boundary asymptotics (statement). In DHQWFJW02X/e1, proposition B.1
History
- 2026-10-29: add by m2/v0.4.12
Comext AZ3TRANSDM
| URI | m2://inv/AZ3TRANSDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comext, Comext (definition). Also Wikidata Q2985182
History
- 2026-11-02: add by m2/dev
Cancellation on $\mathfrak{M}(\Theta)$ AZ3V3A6YAY
| URI | m2://inv/AZ3V3A6YAY |
|---|---|
| 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 2601.15010#QC07, Cancellation on $\mathfrak{M}(\Theta)$ (statement). In K3WJ6ZN184/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
AZ3W3S098K AZ3W3S098K
| URI | m2://inv/AZ3W3S098K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#3ROG (statement). In VM9V8SXEA2/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
AZ3X8G10PV AZ3X8G10PV
| URI | m2://inv/AZ3X8G10PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05184#4Q3X (statement). In JK425E1F77/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
AZ3XP6PVN4 AZ3XP6PVN4
| URI | m2://inv/AZ3XP6PVN4 |
|---|---|
| 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.03222#SXHT (statement). In BB0JGNK4YF/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
M-estimator AZ3Z8FZ9AD
| URI | m2://inv/AZ3Z8FZ9AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EP0F, M-estimator (definition)
History
- 2026-11-02: add by m2/dev
Trakhtenbrot's theorem AZ4FKEM5R2
| URI | m2://inv/AZ4FKEM5R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#JLIV, Trakhtenbrot's theorem (statement)
History
- 2026-11-02: add by m2/dev
sink AZ4FKQH2HG
| URI | m2://inv/AZ4FKQH2HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7MTG, sink (definition)
History
- 2026-11-02: add by m2/dev
AZ4HVJ3ZJ1 AZ4HVJ3ZJ1
| URI | m2://inv/AZ4HVJ3ZJ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/entailment.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 54.1
History
- 2026-11-01: add by m2/v0.6.13
Zimmer program AZ4M8CYMH1
| URI | m2://inv/AZ4M8CYMH1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Zimmer#CB5D, Zimmer program (unknown)
History
- 2026-11-02: add by m2/dev
Weight (topology) AZ4NTPR7YG
| URI | m2://inv/AZ4NTPR7YG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base (topology)#LXUB, Weight (topology) (unknown)
History
- 2026-11-02: add by m2/dev
AZ4NTZWHBW AZ4NTZWHBW
| URI | m2://inv/AZ4NTZWHBW |
|---|---|
| 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.31604#RBKY (statement). In GSN5YTQS2K/e1, proposition 3.27
History
- 2026-10-31: add by m2/v0.5.6
AZ4PBZ8VAV AZ4PBZ8VAV
| URI | m2://inv/AZ4PBZ8VAV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
AZ4TM2P86Z AZ4TM2P86Z
| URI | m2://inv/AZ4TM2P86Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#example-3 (example). In RZP28ERRZV, example, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
AZ4ZYSJBBA AZ4ZYSJBBA
| URI | m2://inv/AZ4ZYSJBBA |
|---|---|
| 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 2103.12669#KGJ0 (statement). In ZA6XNBA90V/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
A generalization of Haga's theorems AZ54PZSJP1
| URI | m2://inv/AZ54PZSJP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of paper folding#Z52P, A generalization of Haga's theorems (statement)
History
- 2026-11-02: add by m2/dev
List of numerical analysis topics AZ5BPX4CS7
| URI | m2://inv/AZ5BPX4CS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#B6NX, List of numerical analysis topics (topic)
History
- 2026-11-02: add by m2/dev
$L^2$ identities with explicit constant AZ5E5BDJZN
| URI | m2://inv/AZ5E5BDJZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32387#RW4E, $L^2$ identities with explicit constant (statement). In 294BQKZEDQ/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
linear independence AZ5HVG89CT
| URI | m2://inv/AZ5HVG89CT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Linear independence 0CRMGPAH83 |
Mentions
- wikidata: Wikidata Q27670, linear independence (concept). Also EoM Linear_independence, MathWorld LinearlyIndependent
- wikipedia: Wikipedia Linear independence, Linear independence (definition). Also Wikidata Q27670
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
infinity AZ5QKYQHRP
| URI | m2://inv/AZ5QKYQHRP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205, infinity (concept). Also EoM Infinity, MathWorld Infinity
- wikipedia: Wikipedia Infinity, Infinity (definition). Also Wikidata Q205
History
- 2026-10-26: add by m2/dev
Solomon W. Golomb AZ5V3BAKWQ
| URI | m2://inv/AZ5V3BAKWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solomon W. Golomb, Solomon W. Golomb (topic). Also Wikidata Q1398547
History
- 2026-11-02: add by m2/dev
Examples AZ612PV724
| URI | m2://inv/AZ612PV724 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular map (graph theory)#LQIX, Examples (example)
History
- 2026-11-02: add by m2/dev
AZ61E3AEB9 AZ61E3AEB9
| URI | m2://inv/AZ61E3AEB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39981#WE9H (statement). In PMMV6YAEVR/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
AZ62H8AD83 AZ62H8AD83
| URI | m2://inv/AZ62H8AD83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.13621#M11K (statement). In DG0EZ1BPV5/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Mallet, Bernard AZ66MFT624
| URI | m2://inv/AZ66MFT624 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TXVQ, Mallet, Bernard (unknown)
History
- 2026-11-02: add by m2/dev
AZ67NH0SXA AZ67NH0SXA
| URI | m2://inv/AZ67NH0SXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36827#4ZJ0 (statement). In VSHAQTB2CA/e1, corollary 3.9
History
- 2026-10-30: add by m2/v0.4.12
Example AZ6CNYFZZG
| URI | m2://inv/AZ6CNYFZZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random sample consensus#68GS, Example (example)
History
- 2026-11-02: add by m2/dev
type, dependent function AZ6F4MXT2X
| URI | m2://inv/AZ6F4MXT2X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.9/type-dependent-function, type, dependent function (concept). In N54F33XE07, index, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
Analytically irreducible ring AZ6TCEAJD1
| URI | m2://inv/AZ6TCEAJD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytically irreducible ring, Analytically irreducible ring (definition). Also Wikidata Q17097730
History
- 2026-11-02: add by m2/dev
AZ718F5KCA AZ718F5KCA
| URI | m2://inv/AZ718F5KCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05423#OXM5 (definition). In 3ABGS3F1JG/e1, definition 7.1
History
- 2026-10-29: add by m2/v0.4.10
A uniform Gaussian projection bound AZ71CGHNE2
| URI | m2://inv/AZ71CGHNE2 |
|---|---|
| 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.12641#GYNC, A uniform Gaussian projection bound (statement). In X5BYGZZHPF/e1, lemma E.4
History
- 2026-10-28: add by m2/v0.4.2
AZ74BZKR23 AZ74BZKR23
| URI | m2://inv/AZ74BZKR23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#3MD8 (statement). In WSG1ZW956E/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
dot plot AZ77MFVMBZ
| URI | m2://inv/AZ77MFVMBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#S47G, dot plot (definition)
History
- 2026-11-02: add by m2/dev
Complex inverse Wishart distribution AZ7ASZJQYA
| URI | m2://inv/AZ7ASZJQYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex inverse Wishart distribution, Complex inverse Wishart distribution (definition). Also Wikidata Q85753698
History
- 2026-11-02: add by m2/dev
Nils Aall Barricelli AZ7B164PSV
| URI | m2://inv/AZ7B164PSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nils Aall Barricelli, Nils Aall Barricelli (topic). Also Wikidata Q3246968
History
- 2026-11-02: add by m2/dev
Terry Lyons AZ7GZW0RRB
| URI | m2://inv/AZ7GZW0RRB |
|---|---|
| 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#Z0LN, Terry Lyons (topic)
History
- 2026-11-02: add by m2/dev
Metric spaces of $\RR^n$ AZ7HZ9066M
| URI | m2://inv/AZ7HZ9066M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-4, Metric spaces of $\RR^n$ (example). In RZP28ERRZV, example, section 100.1
History
- 2026-11-01: add by m2/v0.6.13
AZ7P4159CN AZ7P4159CN
| URI | m2://inv/AZ7P4159CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31220#OLF5 (statement). In JMWCGMNE84/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
Ilya Gurevich AZ7PDG6XB0
| URI | m2://inv/AZ7PDG6XB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#8IKY, Ilya Gurevich (unknown)
History
- 2026-11-02: add by m2/dev
Eremenko's AZ7PSKDBX3
| URI | m2://inv/AZ7PSKDBX3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UM5V, Eremenko's (topic)
History
- 2026-11-02: add by m2/dev
AZ7QCSRFZR AZ7QCSRFZR
| URI | m2://inv/AZ7QCSRFZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30779#OME6 (statement). In 64V4DXGBKB/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
Lyapunov central limit theorem AZ7REZBFMY
| URI | m2://inv/AZ7REZBFMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20826049, Lyapunov central limit theorem (statement). Also MathWorld LyapunovCondition
History
- 2026-10-26: add by m2/dev
Rectangular lattice AZ7SHHN8Z0
| URI | m2://inv/AZ7SHHN8Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectangular lattice, Rectangular lattice (definition). Also Wikidata Q114414417
History
- 2026-11-02: add by m2/dev
AZ7ZJM8H9M AZ7ZJM8H9M
| URI | m2://inv/AZ7ZJM8H9M |
|---|---|
| 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.05514#Y37O (statement). In 9WDZRQPPSV/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
AZ871GYSWN AZ871GYSWN
| URI | m2://inv/AZ871GYSWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.20567#YI1N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bilunabirotunda AZ8K3XKB85
| URI | m2://inv/AZ8K3XKB85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5PK1, Bilunabirotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QBRV, Bilunabirotunda (definition)
History
- 2026-11-02: add by m2/dev
amicable triple AZ958Z194M
| URI | m2://inv/AZ958Z194M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57203134, amicable triple (unknown). Also MathWorld AmicableTriple
- wikipedia: Wikipedia Amicable triple, Amicable triple (definition). Also Wikidata Q57203134
History
- 2026-10-26: add by m2/dev
Kawarabayashi--Thorup--Yoneda AZ96CAQHXR
| URI | m2://inv/AZ96CAQHXR |
|---|---|
| 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.01071#FVQM, Kawarabayashi--Thorup--Yoneda (statement). In X1YF62ZFB6/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
continued fraction AZ9965QMW5
| URI | m2://inv/AZ9965QMW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11A55 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Simple continued fraction 0XB0J0P64D |
Mentions
- wikidata: Wikidata Q206816, continued fraction (topic). Also MathWorld ContinuedFraction
- wikipedia: Wikipedia Simple continued fraction, Simple continued fraction (definition). Also Wikidata Q206816
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
AZ9APBEY6K AZ9APBEY6K
| URI | m2://inv/AZ9APBEY6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#ER5G (statement). In SCC2N3WNYE/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
AZ9C4FE0JQ AZ9C4FE0JQ
| URI | m2://inv/AZ9C4FE0JQ |
|---|---|
| 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.02295#Y5J3 (statement). In PEBD9ZMA1W/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Multiplier (Fourier analysis) AZ9CEVZCYG
| URI | m2://inv/AZ9CEVZCYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#CA56, Multiplier (Fourier analysis) (definition)
History
- 2026-11-02: add by m2/dev
angular momentum AZ9N7F0HA4
| URI | m2://inv/AZ9N7F0HA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q161254, angular momentum (definition). Also nLab angular momentum, ProofWiki Definition:Angular_Momentum
- wikipedia: Wikipedia Angular momentum, Angular momentum (definition). Also Wikidata Q161254
History
- 2026-10-26: add by m2/dev
Bohuslav Balcar AZ9ZEH5ECZ
| URI | m2://inv/AZ9ZEH5ECZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohuslav Balcar, Bohuslav Balcar (topic). Also Wikidata Q4938260
History
- 2026-11-02: add by m2/dev
bounded function AZA0EQ4XZ2
| URI | m2://inv/AZA0EQ4XZ2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.3/bounded-function, bounded function (concept). In E59CDZA4DP, index, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Complex normal ratio distribution AZAPZTRNY7
| URI | m2://inv/AZAPZTRNY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio distribution#K9S1, Complex normal ratio distribution (unknown)
History
- 2026-11-02: add by m2/dev
Nine Mile, Queensland AZB1M2HPTX
| URI | m2://inv/AZB1M2HPTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RQEA, Nine Mile, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
AZB62VNKR3 AZB62VNKR3
| URI | m2://inv/AZB62VNKR3 |
|---|---|
| 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.07380#OKPF (statement). In XM2CDRKSGE/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Energy identity AZB6ET9VXK
| URI | m2://inv/AZB6ET9VXK |
|---|---|
| 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.29196#4ZSW, Energy identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
AZBCRC0RVZ AZBCRC0RVZ
| URI | m2://inv/AZBCRC0RVZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#F2KF (definition). In S26QVW5613/e1, definition 2.3.10
History
- 2026-10-30: add by m2/v0.4.12
András P Huhn AZBGSSE4RA
| URI | m2://inv/AZBGSSE4RA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1RB7, András P Huhn (topic)
History
- 2026-11-02: add by m2/dev
AZBJE8MVKP AZBJE8MVKP
| URI | m2://inv/AZBJE8MVKP |
|---|---|
| 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.15831#71A0 (statement). In CVESAPNMCQ/e1, corollary 5.11
History
- 2026-10-28: add by m2/v0.4.2
Uniform equivalence of direct and regular detectors AZBQPEC342
| URI | m2://inv/AZBQPEC342 |
|---|---|
| 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.20215#REHN, Uniform equivalence of direct and regular detectors (statement)
History
- 2026-11-02: add by m2/v0.6.18
AZBSA5JR5Y AZBSA5JR5Y
| URI | m2://inv/AZBSA5JR5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#MS6Q (statement). In 1QSCT53ZED/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.4.0
Examples AZC0FCEG8F
| URI | m2://inv/AZC0FCEG8F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally catenative sequence#GKDU, Examples (example)
History
- 2026-11-02: add by m2/dev
Cochran–Armitage test for trend AZC4H91DWX
| URI | m2://inv/AZC4H91DWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cochran–Armitage test for trend, Cochran–Armitage test for trend (definition). Also Wikidata Q5139457
History
- 2026-11-02: add by m2/dev
Internal wave AZC67RF2WG
| URI | m2://inv/AZC67RF2WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal wave, Internal wave (definition). Also Wikidata Q382774
History
- 2026-11-02: add by m2/dev
Conventions AZCCJ9A94P
| URI | m2://inv/AZCCJ9A94P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#EHMF, Conventions (definition)
History
- 2026-11-02: add by m2/dev
AZCCMK3RTT AZCCMK3RTT
| URI | m2://inv/AZCCMK3RTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24043#WC4Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
productive property AZCE4XR29X
| URI | m2://inv/AZCE4XR29X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132225801, productive property (unknown). Also MathWorld ProductiveProperty
History
- 2026-10-26: add by m2/dev
Advice generator AZCGJ3FBQ5
| URI | m2://inv/AZCGJ3FBQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#02WL, Advice generator (statement). In ZZER8ZBSCR/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
AZCQ25QJMB AZCQ25QJMB
| URI | m2://inv/AZCQ25QJMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#9QEB (statement). In 5E9G06XJKC/e1, lemma C.7
History
- 2026-10-28: add by m2/v0.4.2
\(Z\)-matrices and nonsingular \(M\)-matrices AZCS5YQ2QM
| URI | m2://inv/AZCS5YQ2QM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#ZJP9, \(Z\)-matrices and nonsingular \(M\)-matrices (definition)
History
- 2026-11-01: add by m2/v0.6.15
Arnold Zellner AZCW0RJS8K
| URI | m2://inv/AZCW0RJS8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#XEW8, Arnold Zellner (unknown)
History
- 2026-11-02: add by m2/dev
Weyl's lemma (Laplace equation) AZCX1J9CSK
| URI | m2://inv/AZCX1J9CSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#4IEX, Weyl's lemma (Laplace equation) (statement)
History
- 2026-11-02: add by m2/dev
AZCXJEWZ45 AZCXJEWZ45
| URI | m2://inv/AZCXJEWZ45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#QEC2 (statement). In Y43AAKZ7E6/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
AZCY1AWZJE AZCY1AWZJE
| URI | m2://inv/AZCY1AWZJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#UMQ6 (statement). In PA6JQDSKQT/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Applications of Mittag-Leffler function AZCZ3T82Z5
| URI | m2://inv/AZCZ3T82Z5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mittag-Leffler function#2Z3S, Applications of Mittag-Leffler function (example)
History
- 2026-11-02: add by m2/dev
AZD0E8P42T AZD0E8P42T
| URI | m2://inv/AZD0E8P42T |
|---|---|
| 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.06038#KMPY (statement). In 4TJGTZWJVK/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
AZD2DRQKW4 AZD2DRQKW4
| URI | m2://inv/AZD2DRQKW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#V07P (statement). In HMNKENER22/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Same-scale separated form AZD7QSZW25
| URI | m2://inv/AZD7QSZW25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#01S3, Same-scale separated form (statement). In 1QSV7EQE3T/e1, corollary S19
History
- 2026-10-28: add by m2/v0.4.2
Monotonicity of the residual AZD8JRP0D7
| URI | m2://inv/AZD8JRP0D7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#MX15, Monotonicity of the residual (statement). In DWKWF242Y0/e1, lemma 23
History
- 2026-10-30: add by m2/v0.4.12
Completing a periodic co-tile AZDN8QKMFY
| URI | m2://inv/AZDN8QKMFY |
|---|---|
| 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.00099#7OMH, Completing a periodic co-tile (statement). In NNBY2AEHP4/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
AZDTEWFY3Z AZDTEWFY3Z
| URI | m2://inv/AZDTEWFY3Z |
|---|---|
| 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#DWCI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stochastic equicontinuity AZDWNF1E29
| URI | m2://inv/AZDWNF1E29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20274#73UQ, Stochastic equicontinuity (statement)
History
- 2026-11-02: add by m2/v0.6.18
AZDYH6RP05 AZDYH6RP05
| URI | m2://inv/AZDYH6RP05 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.13105#RVSE (definition). In 5ACPY6CEDV/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.3.5
AZE37RNTD9 AZE37RNTD9
| URI | m2://inv/AZE37RNTD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/log.tex#cor:nonvanishing (statement). In RZP28ERRZV, corollary, section 40.5
History
- 2026-11-01: add by m2/v0.6.13
AZE3VBJZH5 AZE3VBJZH5
| URI | m2://inv/AZE3VBJZH5 |
|---|---|
| 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 2406.06762#GLMF (statement). In J99PFFJXPE/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.6
Acceleration AZE9V22W8Z
| URI | m2://inv/AZE9V22W8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceleration (differential geometry), Acceleration (definition). Also Wikidata Q25203193
History
- 2026-11-02: add by m2/dev
Wallis product AZE9WGM3AZ
| URI | m2://inv/AZE9WGM3AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Wallis product 0XCYA4YERS |
Mentions
- wikidata: Wikidata Q1501324, Wallis product (statement). Also MathWorld WallisFormula, ProofWiki Wallis's_Product
- wikipedia: Wikipedia Wallis product, Wallis product (definition). Also Wikidata Q1501324
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Joint bounds for the moving feedback AZECHXAX1J
| URI | m2://inv/AZECHXAX1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33154#LGND, Joint bounds for the moving feedback (statement). In N28DEYRBW7/e1, proposition H.2
History
- 2026-10-30: add by m2/v0.4.12
associativity, of functor composition, coherence of AZEF5NRGHZ
| URI | m2://inv/AZEF5NRGHZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.2/associativity-of-functor-composition-coherence-of, associativity, of functor composition, coherence of (concept). In N54F33XE07, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
AZEKNPC1PQ AZEKNPC1PQ
| URI | m2://inv/AZEKNPC1PQ |
|---|---|
| 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.14154#OOQ0 (statement). In 8X6PXX2TRA/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
AZEM1DQK60 AZEM1DQK60
| URI | m2://inv/AZEM1DQK60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#FUPZ (statement). In 3XBEGXNPXZ/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
AZETZF2A4K AZETZF2A4K
| URI | m2://inv/AZETZF2A4K |
|---|---|
| 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.20716#Q8JR (statement)
History
- 2026-11-02: add by m2/v0.6.18
AZEWGJHFJB AZEWGJHFJB
| URI | m2://inv/AZEWGJHFJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#GI25 (statement). In 1PN6NESQER/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
Formal definition AZF01JDNSS
| URI | m2://inv/AZF01JDNSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlocal operator#93AB, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
AZF0FK0DHE AZF0FK0DHE
| URI | m2://inv/AZF0FK0DHE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary perfect number#5H78 (problem)
History
- 2026-11-02: add by m2/dev
A dihedral mod $7$ system with no dihedral lifts AZF1E7AJRM
| URI | m2://inv/AZF1E7AJRM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#CILY, A dihedral mod $7$ system with no dihedral lifts (example). In F1BM3Q8125/e1, example 4.10
History
- 2026-10-29: add by m2/v0.4.10
Generalizations AZF63T18TA
| URI | m2://inv/AZF63T18TA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group representation#D56X, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
AZF6JVK3SC AZF6JVK3SC
| URI | m2://inv/AZF6JVK3SC |
|---|---|
| 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.05354#TQ2V (statement). In TZ5BMDXRQZ/e1, fact 5.6
History
- 2026-10-29: add by m2/v0.4.10
singular value decomposition AZFME82QC4
| URI | m2://inv/AZFME82QC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods > singular value decomposition, singular value decomposition (unknown)
History
- 2026-10-26: add by m2/dev
Synthese AZG7W2WJ4Q
| URI | m2://inv/AZG7W2WJ4Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#9PA2, Synthese (unknown)
History
- 2026-11-02: add by m2/dev
Gauss–Kronrod quadrature formula AZGC95NP08
| URI | m2://inv/AZGC95NP08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Kronrod quadrature formula, Gauss–Kronrod quadrature formula (statement). Also Wikidata Q5527852
History
- 2026-11-02: add by m2/dev
Functionally graded element AZGHV12GDN
| URI | m2://inv/AZGHV12GDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#JVA6, Functionally graded element (definition)
History
- 2026-11-02: add by m2/dev
AZGS34Y1GA AZGS34Y1GA
| URI | m2://inv/AZGS34Y1GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#LVRO (statement). In 6YY27KRJFN/e1, proposition 5.11
History
- 2026-10-30: add by m2/v0.4.12
AZGW08T0FN AZGW08T0FN
| URI | m2://inv/AZGW08T0FN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_number.ptx#ex_collatz (example). In QKM9DD2H56, example, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
AZGZ13TBDE AZGZ13TBDE
| URI | m2://inv/AZGZ13TBDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#4VAD (statement). In 5E9G06XJKC/e1, lemma D.27
History
- 2026-10-28: add by m2/v0.4.2
Hermann Schwarz AZH2KMPK0D
| URI | m2://inv/AZH2KMPK0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#K42M, Hermann Schwarz (topic)
- wikipedia: Wikipedia List of German mathematicians#8B7M, Hermann Schwarz (topic)
History
- 2026-11-02: add by m2/dev
Leon Lichtenstein AZH2VQV76G
| URI | m2://inv/AZH2VQV76G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leon Lichtenstein, Leon Lichtenstein (topic). Also Wikidata Q87550
History
- 2026-11-02: add by m2/dev
AZH372DXW7 AZH372DXW7
| URI | m2://inv/AZH372DXW7 |
|---|---|
| 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.25062#MZCE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Toby Berger AZH5TMAJ6A
| URI | m2://inv/AZH5TMAJ6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RD1M, Toby Berger (unknown)
History
- 2026-11-02: add by m2/dev
AZH604C7SE AZH604C7SE
| URI | m2://inv/AZH604C7SE |
|---|---|
| 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 2509.21121#P2HU (statement). In MTDABJF9AP/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
AZH7Y3FMWR AZH7Y3FMWR
| URI | m2://inv/AZH7Y3FMWR |
|---|---|
| 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 2108.09796#50MQ (statement). In NAA7WFQN20/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Divisibility sequence AZH8Q9C925
| URI | m2://inv/AZH8Q9C925 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility sequence, Divisibility sequence (object). Also Wikidata Q5284417
History
- 2026-11-02: add by m2/dev
binomial coefficient, identity involving AZHDK9KZZ8
| URI | m2://inv/AZHDK9KZZ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.4/binomial-coefficient-identity-involving, binomial coefficient, identity involving (concept). In QKM9DD2H56, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Yakov Sinai AZHSXR2SC9
| URI | m2://inv/AZHSXR2SC9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#5QQS, Yakov Sinai (topic)
History
- 2026-11-02: add by m2/dev
Automated Mathematician AZHWK0MSPR
| URI | m2://inv/AZHWK0MSPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#VDVF, Automated Mathematician (unknown)
History
- 2026-11-02: add by m2/dev
Applications AZJ0X2JKXR
| URI | m2://inv/AZJ0X2JKXR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized beta distribution#Q7RS, Applications (example)
History
- 2026-11-02: add by m2/dev
Athir al-Din al-Abhari AZJ3W5RWJN
| URI | m2://inv/AZJ3W5RWJN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Athir al-Din al-Abhari, Athir al-Din al-Abhari (topic). Also Wikidata Q643786
History
- 2026-11-02: add by m2/dev
Complete ring AZJ42RQ584
| URI | m2://inv/AZJ42RQ584 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological ring#HEEG, Complete ring (unknown)
History
- 2026-11-02: add by m2/dev
Global Sensitivity Analysis. The Primer AZJ6M6VCEM
| URI | m2://inv/AZJ6M6VCEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global Sensitivity Analysis. The Primer, Global Sensitivity Analysis. The Primer (definition). Also Wikidata Q134513436
History
- 2026-11-02: add by m2/dev
Writhe AZJ7N4VHH7
| URI | m2://inv/AZJ7N4VHH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#YL8Z, Writhe (definition)
- wikipedia: Wikipedia List of geometric topology topics#87X4, Writhe (definition)
History
- 2026-11-02: add by m2/dev
Schatten norm AZJ95WJT3M
| URI | m2://inv/AZJ95WJT3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schatten norm, Schatten norm (definition). Also Wikidata Q7430982
History
- 2026-11-02: add by m2/dev
pair AZJHPVAHYD
| URI | m2://inv/AZJHPVAHYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#YMEQ, pair (definition)
History
- 2026-11-02: add by m2/dev
Charles Brenner AZJRV7DBM4
| URI | m2://inv/AZJRV7DBM4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D33S, Charles Brenner (topic)
History
- 2026-11-02: add by m2/dev
Baryon acoustic oscillations AZJW19FF84
| URI | m2://inv/AZJW19FF84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baryon acoustic oscillations, Baryon acoustic oscillations (definition). Also Wikidata Q809676
History
- 2026-11-02: add by m2/dev
AZJXDRA71W AZJXDRA71W
| URI | m2://inv/AZJXDRA71W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#C3NA (statement)
History
- 2026-11-01: add by m2/v0.6.15
AZK2SR9T29 AZK2SR9T29
| URI | m2://inv/AZK2SR9T29 |
|---|---|
| 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.10927#6Q3B (statement). In DHEJP3YATV/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.3
AZK3AF7462 AZK3AF7462
| URI | m2://inv/AZK3AF7462 |
|---|---|
| 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.35467#DVP7 (statement). In FK89DQ9J4S/e1, proposition A.8
History
- 2026-10-30: add by m2/v0.4.12
Birch–Tate conjecture AZK5HZ404F
| URI | m2://inv/AZK5HZ404F |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UVM1, Birch–Tate conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Cayley–Hamilton theorem AZK6NQ0PWF
| URI | m2://inv/AZK6NQ0PWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan normal form#CSG1, Cayley–Hamilton theorem (statement)
History
- 2026-11-02: add by m2/dev
Joint geodesic convexity AZKARW1GQE
| URI | m2://inv/AZKARW1GQE |
|---|---|
| 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.03384#ZY3C, Joint geodesic convexity (statement). In J55JTTKG84/e1, proposition 4.21
History
- 2026-10-29: add by m2/v0.4.12
Compact uniform honeycomb AZKHSV3EFN
| URI | m2://inv/AZKHSV3EFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform honeycombs in hyperbolic space#47IU, Compact uniform honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Vertex (geometry) AZKJNK85NP
| URI | m2://inv/AZKJNK85NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#INVN, Vertex (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Lower bound for any success probability AZKPV8H6AM
| URI | m2://inv/AZKPV8H6AM |
|---|---|
| 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.12641#UITC, Lower bound for any success probability (statement). In X5BYGZZHPF/e1, theorem J.6
History
- 2026-10-28: add by m2/v0.4.2
Nodal line conjecture AZKQTFYED6
| URI | m2://inv/AZKQTFYED6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nodal line conjecture, Nodal line conjecture (statement). Also Wikidata Q139039529
History
- 2026-11-02: add by m2/dev
Randall Dougherty AZKWF61111
| URI | m2://inv/AZKWF61111 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randall Dougherty, Randall Dougherty (topic). Also Wikidata Q2386064
History
- 2026-11-02: add by m2/dev
Norman J. Pullman AZM1FPP91Q
| URI | m2://inv/AZM1FPP91Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7DC9, Norman J. Pullman (topic)
History
- 2026-11-02: add by m2/dev
Applications AZM45N52T0
| URI | m2://inv/AZM45N52T0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applied element method#IIAC, Applications (example)
History
- 2026-11-02: add by m2/dev
AZM7H9VZKM AZM7H9VZKM
| URI | m2://inv/AZM7H9VZKM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.00496#F57F (definition). In 5XJR7QGZXW/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
AZMAA6DY8R AZMAA6DY8R
| URI | m2://inv/AZMAA6DY8R |
|---|---|
| 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.20110#EHZ4 (statement). In 1SAMKN4477/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Formula AZMFQM777F
| URI | m2://inv/AZMFQM777F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volatility smile#7DIN, Formula (statement)
History
- 2026-11-02: add by m2/dev
One-step stochastic forward-backward-forward contraction AZMGY5MCQE
| URI | m2://inv/AZMGY5MCQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35631#L1AU, One-step stochastic forward-backward-forward contraction (statement). In 9NCX0S6MTP/e1, lemma D.1
History
- 2026-10-30: add by m2/v0.4.12
AZMHGGEYRQ AZMHGGEYRQ
| URI | m2://inv/AZMHGGEYRQ |
|---|---|
| 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 2505.04063#7RQ4 (statement). In TFH7T63DX9/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
AZMQJDXGN5 AZMQJDXGN5
| URI | m2://inv/AZMQJDXGN5 |
|---|---|
| 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 1008.4254#T9DJ (statement). In SXTX59QBVT/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
Physical principles AZMWMJXYR3
| URI | m2://inv/AZMWMJXYR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fagnano's problem#8021, Physical principles (statement)
History
- 2026-11-02: add by m2/dev
AZN71PV8Z5 AZN71PV8Z5
| URI | m2://inv/AZN71PV8Z5 |
|---|---|
| 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.06724#J24J (statement). In W5XG3PGVF1/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Cultural identity AZND80R3XP
| URI | m2://inv/AZND80R3XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennials#R4I4, Cultural identity (statement)
History
- 2026-11-02: add by m2/dev
AZNGTCZAXD AZNGTCZAXD
| URI | m2://inv/AZNGTCZAXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#1SFU (statement). In ZPT9XCCAPQ/e1, proposition 2.1.16
History
- 2026-10-31: add by m2/v0.5.6
same span and combinatorial inverse AZNMH980Q3
| URI | m2://inv/AZNMH980Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#L9IC, same span and combinatorial inverse (statement). In 6W9H24A378/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
William G. McCallum AZNMHHKBJ3
| URI | m2://inv/AZNMHHKBJ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William G. McCallum, William G. McCallum (topic). Also Wikidata Q16187197
History
- 2026-11-02: add by m2/dev
Approximate internal-marker correction AZNNP3PSGP
| URI | m2://inv/AZNNP3PSGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#06K3, Approximate internal-marker correction (statement). In N06J7GC05Q/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
Quasistatic process AZNQ8BFNHT
| URI | m2://inv/AZNQ8BFNHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasistatic process, Quasistatic process (definition). Also Wikidata Q900222
History
- 2026-11-02: add by m2/dev
Mayer's relation AZPCHX2BJ0
| URI | m2://inv/AZPCHX2BJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mayer's relation, Mayer's relation (definition). Also Wikidata Q6104964
History
- 2026-11-02: add by m2/dev
AZPEQXPGCH AZPEQXPGCH
| URI | m2://inv/AZPEQXPGCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#7VK2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
AZPPZTS1D3 AZPPZTS1D3
| URI | m2://inv/AZPPZTS1D3 |
|---|---|
| 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.31604#JUN0 (statement). In GSN5YTQS2K/e1, proposition 3.24
History
- 2026-10-31: add by m2/v0.5.6
Ogg's conjecture AZPQD5RPX8
| URI | m2://inv/AZPQD5RPX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion conjecture#MFEL, Ogg's conjecture (statement)
History
- 2026-11-02: add by m2/dev
AZPQQB9QTH AZPQQB9QTH
| URI | m2://inv/AZPQQB9QTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22161#K3FK (statement). In FVM35KPN8C/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
Hash calendar AZPSQQV0G9
| URI | m2://inv/AZPSQQV0G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash calendar, Hash calendar (definition). Also Wikidata Q5678847
History
- 2026-11-02: add by m2/dev
AZPW9MQYCS AZPW9MQYCS
| URI | m2://inv/AZPW9MQYCS |
|---|---|
| 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.14189#OWX9 (statement). In 39VAB08YDJ/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Second-order expansion AZPWD3D58R
| URI | m2://inv/AZPWD3D58R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24716#TMH6, Second-order expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
AZQ3HP7D23 AZQ3HP7D23
| URI | m2://inv/AZQ3HP7D23 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#prop-transpose-multiplication (statement). In 649HGZKE96, proposition, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
$L^1$-integrable AZQ4KN3T4P
| URI | m2://inv/AZQ4KN3T4P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/E.1/l-1-integrable, $L^1$-integrable (concept). In VNMV985MXX, index, section E.1
History
- 2026-11-01: add by m2/v0.6.13
Reliability test AZQ8PH44YF
| URI | m2://inv/AZQ8PH44YF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability engineering#TN4H, Reliability test (unknown)
History
- 2026-11-02: add by m2/dev
AZQAAV6PMT AZQAAV6PMT
| URI | m2://inv/AZQAAV6PMT |
|---|---|
| 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.06466#K0LQ (statement). In 6W451V3N75/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.10
AZQJNMM4PK AZQJNMM4PK
| URI | m2://inv/AZQJNMM4PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#CP70 (statement). In VN084GGZGK/e1, theorem 5.31
History
- 2026-10-28: add by m2/v0.4.3
Craps principle AZQQQFVXNA
| URI | m2://inv/AZQQQFVXNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D3YI, Craps principle (statement)
History
- 2026-11-02: add by m2/dev
Sewall Wright AZQSDRFTKM
| URI | m2://inv/AZQSDRFTKM |
|---|---|
| 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#7N91, Sewall Wright (topic)
History
- 2026-11-02: add by m2/dev
John Horvath AZQXDPRQWG
| URI | m2://inv/AZQXDPRQWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Horvath (mathematician), John Horvath (topic). Also Wikidata Q27994483
History
- 2026-11-02: add by m2/dev
Horn, Susan AZQZ66566H
| URI | m2://inv/AZQZ66566H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#EZLQ, Horn, Susan (unknown)
History
- 2026-11-02: add by m2/dev
AZR0WQCMGZ AZR0WQCMGZ
| URI | m2://inv/AZR0WQCMGZ |
|---|---|
| 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.17817#DLE8 (statement). In M8TSJ24RC2/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Example AZR4QKCJTQ
| URI | m2://inv/AZR4QKCJTQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tonelli–Shanks algorithm#TRTP, Example (example)
History
- 2026-11-02: add by m2/dev
Definition AZR858K3R7
| URI | m2://inv/AZR858K3R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinai–Ruelle–Bowen measure#9P7H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jean Gaston Darboux AZRD3JPW70
| URI | m2://inv/AZRD3JPW70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#QSL2, Jean Gaston Darboux (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#NB5Q, Jean Gaston Darboux (topic)
History
- 2026-11-02: add by m2/dev
Levinson's theorem AZRGDP9KNC
| URI | m2://inv/AZRGDP9KNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levinson's theorem, Levinson's theorem (statement). Also Wikidata Q25110385
History
- 2026-11-02: add by m2/dev
AZS0FP5WSD AZS0FP5WSD
| URI | m2://inv/AZS0FP5WSD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
AZS1SBR1BK AZS1SBR1BK
| URI | m2://inv/AZS1SBR1BK |
|---|---|
| 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.40023#PPP1 (statement). In JW9ARS9AQE/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
AZS6DVD3F4 AZS6DVD3F4
| URI | m2://inv/AZS6DVD3F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 51.7
History
- 2026-11-01: add by m2/v0.6.13
History of infinity AZSBJ31NXN
| URI | m2://inv/AZSBJ31NXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinity#1PPM, History of infinity (unknown)
History
- 2026-11-02: add by m2/dev
AZSSSKHW3P AZSSSKHW3P
| URI | m2://inv/AZSSSKHW3P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-1.xml#activity-4 (exercise). In 649HGZKE96, activity, section 6.1.3
History
- 2026-11-01: add by m2/v0.6.13
AZT82MGY4H AZT82MGY4H
| URI | m2://inv/AZT82MGY4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#7SMO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction AZTQE5MGTJ
| URI | m2://inv/AZTQE5MGTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schönhardt polyhedron#V0U6, Construction (definition)
History
- 2026-11-02: add by m2/dev
Example AZV4BR5WGX
| URI | m2://inv/AZV4BR5WGX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category theory#97QY, Example (example)
History
- 2026-11-02: add by m2/dev
AZV4VW3AP2 AZV4VW3AP2
| URI | m2://inv/AZV4VW3AP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#VYYJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
AZVD1JQEQ9 AZVD1JQEQ9
| URI | m2://inv/AZVD1JQEQ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#ques:hilbert_always_one (exercise). In RZP28ERRZV, exercise, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
AZVJ4G5SSP AZVJ4G5SSP
| URI | m2://inv/AZVJ4G5SSP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#Y36J (definition). In ZQ4M778EA7/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Properties AZVKCBNQ8E
| URI | m2://inv/AZVKCBNQ8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product topology#R0RP, Properties (statement)
History
- 2026-11-02: add by m2/dev
AZVQ9WN64R AZVQ9WN64R
| URI | m2://inv/AZVQ9WN64R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15877#7KIA (statement). In F3W750X9N6/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
AZVS6QE60R AZVS6QE60R
| URI | m2://inv/AZVS6QE60R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-33 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
AZVT1WDZVE AZVT1WDZVE
| URI | m2://inv/AZVT1WDZVE |
|---|---|
| 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 2609.38267#CQYS (definition). In 518V871EKW/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Age adjustment AZVY6B6YT2
| URI | m2://inv/AZVY6B6YT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4UF5, Age adjustment (definition)
History
- 2026-11-02: add by m2/dev
Bruck–Murdoch–Toyoda theorem AZW2ZHMPCB
| URI | m2://inv/AZW2ZHMPCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medial magma#PGCI, Bruck–Murdoch–Toyoda theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic set operations AZWD7M6GWG
| URI | m2://inv/AZWD7M6GWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set (mathematics)#3ITX, Basic set operations (unknown)
History
- 2026-11-02: add by m2/dev
Kite and dart tiling AZWH1Y7F22
| URI | m2://inv/AZWH1Y7F22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose tiling#3PD2, Kite and dart tiling (unknown)
History
- 2026-11-02: add by m2/dev
AZWMT7C0K5 AZWMT7C0K5
| URI | m2://inv/AZWMT7C0K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#JFFG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Operator norm of the residual AZWRPRN5YA
| URI | m2://inv/AZWRPRN5YA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#BGFR, Operator norm of the residual (statement). In YXRKS451PK/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
AZWT6G2ZYY AZWT6G2ZYY
| URI | m2://inv/AZWT6G2ZYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39642#BQXR (statement). In QR49BK9EF1/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Raphael David Levine AZWXB9HEF9
| URI | m2://inv/AZWXB9HEF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JHW9, Raphael David Levine (unknown)
History
- 2026-11-02: add by m2/dev
AZWXDRTBSJ AZWXDRTBSJ
| URI | m2://inv/AZWXDRTBSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#NO3E (statement). In QR8H4M1X4N/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
AZX4KZG2H2 AZX4KZG2H2
| URI | m2://inv/AZX4KZG2H2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-largest.tex#thm:cut-elim-G3c-largest (statement). In PKGMM3P5QY, thm, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
Uniform spectral transfer AZX82BSJ86
| URI | m2://inv/AZX82BSJ86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#G1GQ, Uniform spectral transfer (statement). In JY6RYSNXMJ/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Metric connection AZXKFQC6K5
| URI | m2://inv/AZXKFQC6K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric connection, Metric connection (definition). Also Wikidata Q788494
History
- 2026-11-02: add by m2/dev
AZXS7CQYAY AZXS7CQYAY
| URI | m2://inv/AZXS7CQYAY |
|---|---|
| Kind | problem |
| 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.10243#2V9Y (problem). In 6N7EAD1PYD/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.10
Gaussian distribution on a locally compact Abelian group AZXXCDE5VR
| URI | m2://inv/AZXXCDE5VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian distribution on a locally compact Abelian group, Gaussian distribution on a locally compact Abelian group (definition). Also Wikidata Q65197549
History
- 2026-11-02: add by m2/dev
AZY9Y23YG3 AZY9Y23YG3
| URI | m2://inv/AZY9Y23YG3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
AZYBF8W0TH AZYBF8W0TH
| URI | m2://inv/AZYBF8W0TH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#BEIT (example). In WNFW6GY38C/e1, example 6.3
History
- 2026-10-30: add by m2/v0.4.12
AZYHASYKNQ AZYHASYKNQ
| URI | m2://inv/AZYHASYKNQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#BRSA (definition). In J99CBQ3QYD/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
AZYJHC2BD6 AZYJHC2BD6
| URI | m2://inv/AZYJHC2BD6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#proof-3 (proof). In QKM9DD2H56, proof, section B.8
History
- 2026-11-01: add by m2/v0.6.13
John B. Little AZYPWPTMPN
| URI | m2://inv/AZYPWPTMPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John B. Little (mathematician), John B. Little (topic). Also Wikidata Q22670614
History
- 2026-11-02: add by m2/dev
AZYT3V7MTY AZYT3V7MTY
| URI | m2://inv/AZYT3V7MTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#EQSD (statement). In CC6S1HVK0T/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
AZYY75NP8E AZYY75NP8E
| URI | m2://inv/AZYY75NP8E |
|---|---|
| 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.00914#BYN7 (statement). In TQ9CKHBTWN/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Implementations AZZ4DE84DM
| URI | m2://inv/AZZ4DE84DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile regression averaging#AXOP, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Extensions AZZ9BYTKTM
| URI | m2://inv/AZZ9BYTKTM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunctive query#K2GO, Extensions (statement)
History
- 2026-11-02: add by m2/dev
AZZ9XSZC22 AZZ9XSZC22
| URI | m2://inv/AZZ9XSZC22 |
|---|---|
| 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.17957#R386 (statement). In T5ZBX4YPZB/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Hall–Higman theorem AZZFW2T9CE
| URI | m2://inv/AZZFW2T9CE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall–Higman theorem, Hall–Higman theorem (statement). Also Wikidata Q5643246
History
- 2026-11-02: add by m2/dev
Hermitian adjoint AZZJDQN9T2
| URI | m2://inv/AZZJDQN9T2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Adjoint of a linear map 0R9NMSM1ZP |
Mentions
- wikidata: Wikidata Q1509647, Hermitian adjoint (concept). Also nLab adjoint operator
- wikipedia: Wikipedia Hermitian adjoint, Hermitian adjoint (definition). Also Wikidata Q1509647
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
AZZV4GC6X2 AZZV4GC6X2
| URI | m2://inv/AZZV4GC6X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#W1UL (statement). In SD28S3K7BT/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12