Inventory rows 51
The cards of the rows of the inventory whose ids start with 51. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
5106HSJQNC 5106HSJQNC
| URI | m2://inv/5106HSJQNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#68T5 (statement). In YA7H9PY3R1/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Noncompact Danskin theorem 510MD4EZ24
| URI | m2://inv/510MD4EZ24 |
|---|---|
| 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.29147#S9EC, Noncompact Danskin theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
510NHK4G58 510NHK4G58
| URI | m2://inv/510NHK4G58 |
|---|---|
| Kind | example |
| 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.01802#ITPO (example). In XGPZ0G9E1Q/e1, example 3.9
History
- 2026-10-29: add by m2/v0.4.12
Vflo 510R266KGK
| URI | m2://inv/510R266KGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vflo, Vflo (definition). Also Wikidata Q17030347
History
- 2026-11-02: add by m2/dev
Theorem 510Y7STVTB
| URI | m2://inv/510Y7STVTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourth problem#74ON, Theorem (statement)
History
- 2026-11-02: add by m2/dev
510YM70MFN 510YM70MFN
| URI | m2://inv/510YM70MFN |
|---|---|
| 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.25823#U00P (statement)
History
- 2026-11-01: add by m2/v0.6.15
51120NBKN8 51120NBKN8
| URI | m2://inv/51120NBKN8 |
|---|---|
| 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.07451#7OKS (statement). In P7KT88N75Q/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
5115MVBCPV 5115MVBCPV
| URI | m2://inv/5115MVBCPV |
|---|---|
| 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.14692#1DYE (statement). In NE5EH5FXRV/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
511FR3M5JX 511FR3M5JX
| URI | m2://inv/511FR3M5JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1011.4141#Y7QN (statement). In YQ4JYF18NH/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
511GH85S4D 511GH85S4D
| URI | m2://inv/511GH85S4D |
|---|---|
| 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.21692#WPFI (statement). In CT4N0JGDP4/e1, lemma C.1
History
- 2026-10-27: add by m2/v0.4.2
rational functions 511HX9G92G
| URI | m2://inv/511HX9G92G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > rational functions, rational functions (unknown). Also Mathlib RatFunc.eval
History
- 2026-10-26: add by m2/dev
Projection formula 511PAH7EJQ
| URI | m2://inv/511PAH7EJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#8FSG, Projection formula (statement)
History
- 2026-11-02: add by m2/dev
Clebsch–Gordan coefficients 511XBWJPYC
| URI | m2://inv/511XBWJPYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#GD3C, Clebsch–Gordan coefficients (definition)
History
- 2026-11-02: add by m2/dev
Glossary of areas of mathematics 511Y5WJERB
| URI | m2://inv/511Y5WJERB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics, Glossary of areas of mathematics (topic). Also Wikidata Q5571725
History
- 2026-11-02: add by m2/dev
First-order inference following nonrejection 512757B40Z
| URI | m2://inv/512757B40Z |
|---|---|
| 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.23339#Y4H1, First-order inference following nonrejection (statement)
History
- 2026-11-02: add by m2/v0.6.17
5128C69XS9 5128C69XS9
| URI | m2://inv/5128C69XS9 |
|---|---|
| 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.09129#RK2L (statement). In Z1RZSF68XZ/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
5129AYB8ZS 5129AYB8ZS
| URI | m2://inv/5129AYB8ZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-8 (example). In Y91XFCEVHQ, example, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Symmetry 512A9KF6W5
| URI | m2://inv/512A9KF6W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic-octahedral honeycomb#8DME, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Uses of angle trisection 512C09QFF0
| URI | m2://inv/512C09QFF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle trisection#B7XC, Uses of angle trisection (example)
History
- 2026-11-02: add by m2/dev
512CNK4CEQ 512CNK4CEQ
| URI | m2://inv/512CNK4CEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#GPGX (statement). In NQFYT2M6YZ/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.12
global maximum 512SX2Z94B
| URI | m2://inv/512SX2Z94B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#0Z24, global maximum (definition)
History
- 2026-11-02: add by m2/dev
512XDAYFNS 512XDAYFNS
| URI | m2://inv/512XDAYFNS |
|---|---|
| Kind | exercise |
| 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#prob-2 (exercise). In PKGMM3P5QY, prob, section 51.7
History
- 2026-11-01: add by m2/v0.6.13
D'Alembert's formula 512YVXXFNA
| URI | m2://inv/512YVXXFNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D'Alembert's formula, D'Alembert's formula (statement). Also Wikidata Q2388753
History
- 2026-11-02: add by m2/dev
Law of rare events 5131QMY2WK
| URI | m2://inv/5131QMY2WK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson distribution#8BDY, Law of rare events (statement)
History
- 2026-11-02: add by m2/dev
513D419DC2 513D419DC2
| URI | m2://inv/513D419DC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15043#W0BQ (statement). In QDE21RT0T2/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
513FQ77W6M 513FQ77W6M
| URI | m2://inv/513FQ77W6M |
|---|---|
| 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#Y32S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence of the RFF hedging problem 513GEVDV2F
| URI | m2://inv/513GEVDV2F |
|---|---|
| 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.34474#79SF, Convergence of the RFF hedging problem (statement). In R8417G6ABM/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
513GP8VVC0 513GP8VVC0
| URI | m2://inv/513GP8VVC0 |
|---|---|
| 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.36613#KQIL (statement). In GX0K0ZM700/e1, lemma 2.13
History
- 2026-10-30: add by m2/v0.4.12
Vitali 513K550PB1
| URI | m2://inv/513K550PB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#cor-1, Vitali (statement). In PKGMM3P5QY, cor, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
Suresh Venapally 513NZW7CG4
| URI | m2://inv/513NZW7CG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#2RKL, Suresh Venapally (topic)
History
- 2026-11-02: add by m2/dev
Blum–Micali algorithm 5142QJ436K
| URI | m2://inv/5142QJ436K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of random number generators#W3FB, Blum–Micali algorithm (definition)
History
- 2026-11-02: add by m2/dev
Jane Cronin Scanlon 5145Y7CZ45
| URI | m2://inv/5145Y7CZ45 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jane Cronin Scanlon, Jane Cronin Scanlon (topic). Also Wikidata Q1682585
History
- 2026-11-02: add by m2/dev
map, proper 5147X9V4DD
| URI | m2://inv/5147X9V4DD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.4/map-proper, map, proper (concept). In VNMV985MXX, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
List of things named after Erich Hecke 514EXRRG51
| URI | m2://inv/514EXRRG51 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#26XX, List of things named after Erich Hecke (topic)
History
- 2026-11-02: add by m2/dev
514PXHFT0K 514PXHFT0K
| URI | m2://inv/514PXHFT0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#GWJC (statement). In JW8HH6EPG2/e1, proposition 3.15
History
- 2026-10-29: add by m2/v0.4.10
Classifying space for O 514VQCE62H
| URI | m2://inv/514VQCE62H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space for O(n)#ORCG, Classifying space for O (unknown)
History
- 2026-11-02: add by m2/dev
514Y2TW2VZ 514Y2TW2VZ
| URI | m2://inv/514Y2TW2VZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#NWWY (unknown). In QNBFHFZ3H0/e1, unknown 6
History
- 2026-10-28: add by m2/v0.4.2
Delta-convergence 514YG2P09D
| URI | m2://inv/514YG2P09D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta-convergence, Delta-convergence (definition). Also Wikidata Q25304752
History
- 2026-11-02: add by m2/dev
Counting functions 5151E4PSKX
| URI | m2://inv/5151E4PSKX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-counting-functions-all, Counting functions (example). In Y91XFCEVHQ, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Pearl, Raymond 515AMBB756
| URI | m2://inv/515AMBB756 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3RCV, Pearl, Raymond (topic)
History
- 2026-11-02: add by m2/dev
field 515B2B6RAS
| URI | m2://inv/515B2B6RAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#PUOS, field (definition)
History
- 2026-11-02: add by m2/dev
Brazilian Mathematical Society 515CK5AMQW
| URI | m2://inv/515CK5AMQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#KJM8, Brazilian Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
EGARCH 515D4NWDYY
| URI | m2://inv/515D4NWDYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive conditional heteroskedasticity#WHBA, EGARCH (unknown)
History
- 2026-11-02: add by m2/dev
515E4EQ30N 515E4EQ30N
| URI | m2://inv/515E4EQ30N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04069#VKVA (statement). In ZA7WXGZYWC/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.12
Fechner color 515HPDZ2F1
| URI | m2://inv/515HPDZ2F1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5439875, Fechner color (unknown). Also MathWorld BenhamsWheel
History
- 2026-10-26: add by m2/dev
515NH3FTGQ 515NH3FTGQ
| URI | m2://inv/515NH3FTGQ |
|---|---|
| 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.32439#I8G1 (statement). In GD8D1YH7K4/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
Azumaya 515QETJBAT
| URI | m2://inv/515QETJBAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#WNXW, Azumaya (definition)
History
- 2026-11-02: add by m2/dev
Leibniz formula for π 515YRCMJ2H
| URI | m2://inv/515YRCMJ2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Leibniz formula for pi 037FD5NBRT |
Mentions
- wikidata: Wikidata Q97226587, Leibniz formula for π (unknown). Also MathWorld GregorySeries
- wikipedia: Wikipedia Leibniz formula for π, Leibniz formula for π (statement). Also Wikidata Q97226587
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Goss zeta function 515ZX6ZJ98
| URI | m2://inv/515ZX6ZJ98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#ZY6Q, Goss zeta function (definition)
History
- 2026-11-02: add by m2/dev
Riemannian manifold 5167SFZ33R
| URI | m2://inv/5167SFZ33R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Riemannian manifold 7CBT4SM83Y |
Mentions
- wikidata: Wikidata Q632814, Riemannian manifold (concept). Also EoM Riemannian_manifold, MathWorld RiemannianManifold, nLab Riemannian manifold, ProofWiki Definition:Riemannian_Manifold
- wikipedia: Wikipedia Riemannian manifold, Riemannian manifold (definition). Also Wikidata Q632814
History
- 2026-10-26: add by m2/dev
5168ZG47E7 5168ZG47E7
| URI | m2://inv/5168ZG47E7 |
|---|---|
| Kind | problem |
| 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#Z1TP (problem). In ZPT9XCCAPQ/e1, problem 1.3.11
History
- 2026-10-31: add by m2/v0.5.6
Nader Masmoudi 516AHK0JHM
| URI | m2://inv/516AHK0JHM |
|---|---|
| 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#3RSL, Nader Masmoudi (topic)
History
- 2026-11-02: add by m2/dev
Algorithm 516AM0XJ8S
| URI | m2://inv/516AM0XJ8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusion wavelets#JTXT, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
516C7NBJ1G 516C7NBJ1G
| URI | m2://inv/516C7NBJ1G |
|---|---|
| Kind | statement |
| 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 2407.02022#3R2I (statement). In RZDNWV9E29/e1, corollary A.5
History
- 2026-10-27: add by m2/v0.3.6
Mordecai Yoffe 516CWMSV10
| URI | m2://inv/516CWMSV10 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TYZG, Mordecai Yoffe (unknown)
History
- 2026-11-02: add by m2/dev
516H0Q5K20 516H0Q5K20
| URI | m2://inv/516H0Q5K20 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#XYGA (definition). In 9H45HQE7AZ/e1, definition 2.20
History
- 2026-10-27: add by m2/v0.3.5
Convergence of SGDM with Dynamic Batching 516HZMZV51
| URI | m2://inv/516HZMZV51 |
|---|---|
| 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.02355#SOO1, Convergence of SGDM with Dynamic Batching (statement). In 1AXXV9ZT11/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Fourier inversion theorem 516MKGPCVE
| URI | m2://inv/516MKGPCVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QDIC, Fourier inversion theorem (statement)
History
- 2026-11-02: add by m2/dev
Cylindrical map projection 516P5HG2P8
| URI | m2://inv/516P5HG2P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map projection#CG9C, Cylindrical map projection (unknown)
History
- 2026-11-02: add by m2/dev
516R7KFD5V 516R7KFD5V
| URI | m2://inv/516R7KFD5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#definition-1 (definition). In RZP28ERRZV, definition, section 89.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 516TJKRPYK
| URI | m2://inv/516TJKRPYK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central triangle#247B, Examples (example)
History
- 2026-11-02: add by m2/dev
516ZEF8XYN 516ZEF8XYN
| URI | m2://inv/516ZEF8XYN |
|---|---|
| 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.26366#NFLX (statement)
History
- 2026-11-01: add by m2/v0.6.15
McLaughlin group 5173YFR6D7
| URI | m2://inv/5173YFR6D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#DHM0, McLaughlin group (definition)
History
- 2026-11-02: add by m2/dev
51742D9B93 51742D9B93
| URI | m2://inv/51742D9B93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#6ZKO (statement)
History
- 2026-11-02: add by m2/v0.6.17
5175PPFFCT 5175PPFFCT
| URI | m2://inv/5175PPFFCT |
|---|---|
| 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.11047#QI57 (statement). In MNQAZ70XTH/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
517B4P4DPW 517B4P4DPW
| URI | m2://inv/517B4P4DPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19416#K9BO (statement). In TJVWQ0ZSGY/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
517K9YVK3M 517K9YVK3M
| URI | m2://inv/517K9YVK3M |
|---|---|
| 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.30544#ZM7G (statement). In CB35ZBBBPT/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
Main Lemma, Part 1 5181FPGR6B
| URI | m2://inv/5181FPGR6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#BPXN, Main Lemma, Part 1 (statement). In Q5Z178SAHP/e1, lemma 4.12
History
- 2026-10-30: add by m2/v0.4.12
5188MTC7PE 5188MTC7PE
| URI | m2://inv/5188MTC7PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#E88Q (statement). In 3PSAWXCCJ8/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
One-dimensional free spectral comparison 518E76BXJB
| URI | m2://inv/518E76BXJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#EVPR, One-dimensional free spectral comparison (statement). In MZ60NP20BH/e1, proposition 5.16
History
- 2026-10-27: add by m2/v0.4.0
518GAWHC5C 518GAWHC5C
| URI | m2://inv/518GAWHC5C |
|---|---|
| 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 2509.21444#HN8B (statement). In CTVPA2FQT1/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Catherine de Parthenay 518H1Z4FD2
| URI | m2://inv/518H1Z4FD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine de Parthenay, Catherine de Parthenay (topic). Also Wikidata Q2942125
History
- 2026-11-02: add by m2/dev
Global full phase flow 5197WEERQJ
| URI | m2://inv/5197WEERQJ |
|---|---|
| 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.09356#25F9, Global full phase flow (statement). In 3VVGPXWH6R/e1, proposition C.22
History
- 2026-10-29: add by m2/v0.4.10
Millennium Mathematics Project 519FDPZM81
| URI | m2://inv/519FDPZM81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennium Mathematics Project, Millennium Mathematics Project (definition). Also Wikidata Q6858898
History
- 2026-11-02: add by m2/dev
Lexing Ying 519G2RQET5
| URI | m2://inv/519G2RQET5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexing Ying, Lexing Ying (topic). Also Wikidata Q15855293
History
- 2026-11-02: add by m2/dev
Examples 519JAGX2ZH
| URI | m2://inv/519JAGX2ZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjacency matrix#V81P, Examples (example)
History
- 2026-11-02: add by m2/dev
Konane 519QGVQ78A
| URI | m2://inv/519QGVQ78A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#7RKN, Konane (unknown)
History
- 2026-11-02: add by m2/dev
51AQX7NRJ0 51AQX7NRJ0
| URI | m2://inv/51AQX7NRJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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 2302.05529#5XVU (statement). In 9VPMHV0M4R/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
Cousin's lemma 51ATJR0MFR
| URI | m2://inv/51ATJR0MFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4HWC, Cousin's lemma (statement)
History
- 2026-11-02: add by m2/dev
51AXNTA4TJ 51AXNTA4TJ
| URI | m2://inv/51AXNTA4TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#CO6R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cathryn S. Dippo 51AYMXC53T
| URI | m2://inv/51AYMXC53T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cathryn S. Dippo, Cathryn S. Dippo (topic). Also Wikidata Q60678075
History
- 2026-11-02: add by m2/dev
Intention-to-treat analysis 51AZ0VFHQ9
| URI | m2://inv/51AZ0VFHQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intention-to-treat analysis, Intention-to-treat analysis (definition). Also Wikidata Q382695
History
- 2026-11-02: add by m2/dev
51AZPT5Q5G 51AZPT5Q5G
| URI | m2://inv/51AZPT5Q5G |
|---|---|
| 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.38194#H5SH (statement). In M9BZSET9ZV/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
51B4TKKVFK 51B4TKKVFK
| URI | m2://inv/51B4TKKVFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#6TFR (statement). In WZWGAG2FSN/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
51B9PQSG2B 51B9PQSG2B
| URI | m2://inv/51B9PQSG2B |
|---|---|
| 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 1804.06366#UK8P (statement). In 89XYDVXG38/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
General formula 51BB08707G
| URI | m2://inv/51BB08707G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#J3BX, General formula (statement)
History
- 2026-11-02: add by m2/dev
51BDZ2GANV 51BDZ2GANV
| URI | m2://inv/51BDZ2GANV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.07243#ED3L (statement). In 9RH8C8RYW3/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Notation 51BGJBAFE0
| URI | m2://inv/51BGJBAFE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#BZP1, Notation (definition)
History
- 2026-11-02: add by m2/dev
51BPBTVWXB 51BPBTVWXB
| URI | m2://inv/51BPBTVWXB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#0F85 (definition). In B9EX6K51RD/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
51BQGSD7EH 51BQGSD7EH
| URI | m2://inv/51BQGSD7EH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#LE8G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paradoxical set 51BY1DEYB2
| URI | m2://inv/51BY1DEYB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxical set, Paradoxical set (definition). Also Wikidata Q7134470
History
- 2026-11-02: add by m2/dev
51BYNAMJGG 51BYNAMJGG
| URI | m2://inv/51BYNAMJGG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#4DFZ (example)
History
- 2026-11-02: add by m2/v0.6.17
The theorem 51BYZK6MEK
| URI | m2://inv/51BYZK6MEK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hobby–Rice theorem#OJTA, The theorem (statement)
History
- 2026-11-02: add by m2/dev
51C5KW8VPX 51C5KW8VPX
| URI | m2://inv/51C5KW8VPX |
|---|---|
| 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.05232#PYFC (statement). In DA3VN96YX2/e1, corollary 2.13
History
- 2026-10-29: add by m2/v0.4.10
Wall's theorem on diffeomorphisms 51C9P0QP8J
| URI | m2://inv/51C9P0QP8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wall theorems#5HG6, Wall's theorem on diffeomorphisms (statement)
History
- 2026-11-02: add by m2/dev
Construction 51CFAHH17Q
| URI | m2://inv/51CFAHH17Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercycle (geometry)#6VTO, Construction (definition)
History
- 2026-11-02: add by m2/dev
Example 51CJW889BV
| URI | m2://inv/51CJW889BV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implied volatility#09T1, Example (example)
History
- 2026-11-02: add by m2/dev
Hilbert's basis theorem 51CM28VW8T
| URI | m2://inv/51CM28VW8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4J7K, Hilbert's basis theorem (statement)
History
- 2026-11-02: add by m2/dev
Exact Pareto margins rule out a pure-axis second-order measure 51CN1R0BWA
| URI | m2://inv/51CN1R0BWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#2WE8, Exact Pareto margins rule out a pure-axis second-order measure (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lovász–Woodall conjecture 51CPA5ZV68
| URI | m2://inv/51CPA5ZV68 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovász–Woodall conjecture, Lovász–Woodall conjecture (conjecture). Also Wikidata Q119039741
History
- 2026-11-02: add by m2/dev
integer sequence prime 51CQ24HF9T
| URI | m2://inv/51CQ24HF9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6042604, integer sequence prime (unknown). Also MathWorld IntegerSequencePrimes
History
- 2026-10-26: add by m2/dev
Properties 51D4N4P0ZW
| URI | m2://inv/51D4N4P0ZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic quadrilateral#BELK, Properties (statement)
History
- 2026-11-02: add by m2/dev
51DBVWP8FA 51DBVWP8FA
| URI | m2://inv/51DBVWP8FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#5DDF (statement). In DC01XRB5YE/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.3
51DNXXVN6P 51DNXXVN6P
| URI | m2://inv/51DNXXVN6P |
|---|---|
| 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.25823#271V (statement)
History
- 2026-11-01: add by m2/v0.6.15
group of units 51DXJNWCB9
| URI | m2://inv/51DXJNWCB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91602659, group of units (unknown). Also EoM Multiplicative_group, nLab group of units
History
- 2026-10-26: add by m2/dev
51EDVKM1C0 51EDVKM1C0
| URI | m2://inv/51EDVKM1C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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 2603.07541#KVF9 (statement). In X3RFXWN6FW/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.3.6
Birman–Wenzl algebra 51EH92NBQF
| URI | m2://inv/51EH92NBQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#FLA2, Birman–Wenzl algebra (definition)
History
- 2026-11-02: add by m2/dev
Modified discrete cosine transform 51EP2Z5SNJ
| URI | m2://inv/51EP2Z5SNJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#GUOC, Modified discrete cosine transform (unknown)
History
- 2026-11-02: add by m2/dev
M.P.Chaudhary 51EQV9JF70
| URI | m2://inv/51EQV9JF70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#0E8K, M.P.Chaudhary (unknown)
History
- 2026-11-02: add by m2/dev
free variable 51ET0NJ3G1
| URI | m2://inv/51ET0NJ3G1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2532538, free variable (unknown). Also EoM Free_variable, MathWorld FreeVariable
History
- 2026-10-26: add by m2/dev
Sociotechnical systems theory 51F4EME5Z3
| URI | m2://inv/51F4EME5Z3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#GVUY, Sociotechnical systems theory (unknown)
History
- 2026-11-02: add by m2/dev
51F9Y9JV8R 51F9Y9JV8R
| URI | m2://inv/51F9Y9JV8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
51FA7EDM11 51FA7EDM11
| URI | m2://inv/51FA7EDM11 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.31
History
- 2026-11-01: add by m2/v0.6.13
51FHPYEYJW 51FHPYEYJW
| URI | m2://inv/51FHPYEYJW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27192#47DH (definition)
History
- 2026-11-01: add by m2/v0.6.15
51FJ7JAQ3M 51FJ7JAQ3M
| URI | m2://inv/51FJ7JAQ3M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#0I5A (definition). In VD4JP4HVBX/e1, definition 10.1
History
- 2026-10-28: add by m2/v0.4.2
Cauchy–Schwarz inequality 51FWEMJFCZ
| URI | m2://inv/51FWEMJFCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex random variable#02TC, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
Weighted interval estimate 51G7BCQPWD
| URI | m2://inv/51G7BCQPWD |
|---|---|
| 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.06557#LU1D, Weighted interval estimate (statement). In VV5CH6Y31D/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
51GCYXVQW7 51GCYXVQW7
| URI | m2://inv/51GCYXVQW7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Relationship with Lagrange's four-square theorem 51GF1SVW1N
| URI | m2://inv/51GF1SVW1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waring's problem#ATFZ, Relationship with Lagrange's four-square theorem (statement)
History
- 2026-11-02: add by m2/dev
Geoffrey Heyworth, 1st Baron Heyworth 51GHQAFZZE
| URI | m2://inv/51GHQAFZZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey Heyworth, 1st Baron Heyworth, Geoffrey Heyworth, 1st Baron Heyworth (topic). Also Wikidata Q5534665
History
- 2026-11-02: add by m2/dev
Propositions, properties, and relationships 51GPTHNARJ
| URI | m2://inv/51GPTHNARJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege–Church ontology#FAT5, Propositions, properties, and relationships (statement)
History
- 2026-11-02: add by m2/dev
51GS0F840R 51GS0F840R
| URI | m2://inv/51GS0F840R |
|---|---|
| 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.15700#RFTE (statement). In S95MSZ7MDR/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
51GVJPSGB5 51GVJPSGB5
| URI | m2://inv/51GVJPSGB5 |
|---|---|
| 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 2209.01576#MB1V (statement). In EF0X4TKTR4/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.5
51GWWTGTAP 51GWWTGTAP
| URI | m2://inv/51GWWTGTAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08885#0XSY (statement). In B4RHB3CF12/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.10
51H6QD9R06 51H6QD9R06
| URI | m2://inv/51H6QD9R06 |
|---|---|
| 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.37274#9OFW (statement). In FBBTEAY45P/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
Definitions 51H8KN5P70
| URI | m2://inv/51H8KN5P70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#GZ7M, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Maithili Sharan 51HAQPWNES
| URI | m2://inv/51HAQPWNES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maithili Sharan, Maithili Sharan (topic). Also Wikidata Q16866691
History
- 2026-11-02: add by m2/dev
The strong Lagrange principle 51HCH4VWZD
| URI | m2://inv/51HCH4VWZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (optimization)#52AF, The strong Lagrange principle (statement)
History
- 2026-11-02: add by m2/dev
Yair Minsky 51HEBZJ3VG
| URI | m2://inv/51HEBZJ3VG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yair Minsky, Yair Minsky (topic). Also Wikidata Q15427264
History
- 2026-11-02: add by m2/dev
Euler's identity 51HF2R9AGA
| URI | m2://inv/51HF2R9AGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euler's identity 09285XX7AE |
Mentions
- wikidata: Wikidata Q204819, Euler's identity (statement). Also MathWorld EulerIdentity
- wikipedia: Wikipedia Euler's identity, Euler's identity (statement). Also Wikidata Q204819
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
51HFX95X5E 51HFX95X5E
| URI | m2://inv/51HFX95X5E |
|---|---|
| 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.14450#520R (statement). In ZHTGQT07PE/e1, lemma 4.17
History
- 2026-10-28: add by m2/v0.4.2
Properties 51HJ8ZRTVF
| URI | m2://inv/51HJ8ZRTVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-Hermitian matrix#BNOZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
51HJB124NP 51HJB124NP
| URI | m2://inv/51HJB124NP |
|---|---|
| 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 2212.00617#6VDO (statement). In K7505G10SS/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Affine Dyck insertion 51HJWAGERX
| URI | m2://inv/51HJWAGERX |
|---|---|
| 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.21403#67TY, Affine Dyck insertion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Craig A. Hill 51HP14N9E6
| URI | m2://inv/51HP14N9E6 |
|---|---|
| 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#RN1O, Craig A. Hill (topic)
History
- 2026-11-02: add by m2/dev
Karp Prize 51HRX4JYS5
| URI | m2://inv/51HRX4JYS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association for Symbolic Logic#P7PG, Karp Prize (unknown)
History
- 2026-11-02: add by m2/dev
Clausius–Duhem inequality 51HT0GW1ZF
| URI | m2://inv/51HT0GW1ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausius–Duhem inequality, Clausius–Duhem inequality (statement). Also Wikidata Q5129547
History
- 2026-11-02: add by m2/dev
51J9DXFJMQ 51J9DXFJMQ
| URI | m2://inv/51J9DXFJMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24051#8394 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nikolai Lobachevsky 51J9S3TM40
| URI | m2://inv/51J9S3TM40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#2X6O, Nikolai Lobachevsky (topic)
History
- 2026-11-02: add by m2/dev
Multitaper 51JE2JCM00
| URI | m2://inv/51JE2JCM00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multitaper, Multitaper (definition). Also Wikidata Q3327726
History
- 2026-11-02: add by m2/dev
Rim-compact 51JP3AFE9C
| URI | m2://inv/51JP3AFE9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#UUUN, Rim-compact (definition)
History
- 2026-11-02: add by m2/dev
Definition 51JW3EVSQ1
| URI | m2://inv/51JW3EVSQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic translation#AOV5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Weibull moments 51JZBQ3DZJ
| URI | m2://inv/51JZBQ3DZJ |
|---|---|
| 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.05829#IKQR, Weibull moments (statement). In ZH9NNSEKMD/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.10
Examples 51K8P8CXX1
| URI | m2://inv/51K8P8CXX1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overcategory#ZZEC, Examples (example)
History
- 2026-11-02: add by m2/dev
pentagrammic antiprism 51KDWS2YWM
| URI | m2://inv/51KDWS2YWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2717576, pentagrammic antiprism (unknown). Also MathWorld PentagrammicAntiprism
- wikipedia: Wikipedia Pentagrammic antiprism, Pentagrammic antiprism (definition). Also Wikidata Q2717576
History
- 2026-10-26: add by m2/dev
sheaf cohomology 51KY7ZSHF1
| URI | m2://inv/51KY7ZSHF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 55N30 |
| Sources | 2 |
| Outcome | open |
| Node | Sheaf cohomology PQ6Q143ARJ |
Mentions
- wikidata: Wikidata Q1493952, sheaf cohomology (topic). Also nLab sheaf cohomology, ProofWiki Definition:Sheaf_Cohomology
- wikipedia: Wikipedia Sheaf cohomology, Sheaf cohomology (definition). Also Wikidata Q1493952
History
- 2026-10-26: add by m2/dev
51M1V8SM3Z 51M1V8SM3Z
| URI | m2://inv/51M1V8SM3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#ZCS9 (statement). In 1A01NFHBGA/e1, lemma 2.26
History
- 2026-10-28: add by m2/v0.4.3
Applications 51MBSGP3EJ
| URI | m2://inv/51MBSGP3EJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cusp (singularity)#WC7Y, Applications (example)
History
- 2026-11-02: add by m2/dev
Ordinary repetition 51MD3CHDHT
| URI | m2://inv/51MD3CHDHT |
|---|---|
| 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.13556#T06G, Ordinary repetition (statement). In 5ZB8N3YY72/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.2
51MFW2WEYY 51MFW2WEYY
| URI | m2://inv/51MFW2WEYY |
|---|---|
| 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 2510.12502#5CSX (statement). In 3A4K47Y9F2/e1, lemma 2.55
History
- 2026-10-27: add by m2/v0.4.0
51MSR0TQP9 51MSR0TQP9
| URI | m2://inv/51MSR0TQP9 |
|---|---|
| Kind | statement |
| 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 2609.35605#RMYG (statement). In X1KWTAA3M2/e1, proposition 1.7
History
- 2026-10-27: add by m2/v0.3.5
51N8QSRDA8 51N8QSRDA8
| URI | m2://inv/51N8QSRDA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:No-codes (statement). In N54F33XE07, thm, section B.6
History
- 2026-11-01: add by m2/v0.6.13
surface area 51NAH9YSQF
| URI | m2://inv/51NAH9YSQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#7ZL9, surface area (definition)
History
- 2026-11-02: add by m2/dev
WRONG Proof of False Theorem 51NTATNDNZ
| URI | m2://inv/51NTATNDNZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#proof-3, WRONG Proof of False Theorem (proof). In RZP28ERRZV, proof, section 61.2
History
- 2026-11-01: add by m2/v0.6.13
homotopy group of a sphere 51NVXRZ57A
| URI | m2://inv/51NVXRZ57A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homotopy groups of spheres YD6VAXXSBM |
Mentions
- wikidata: Wikidata Q3118090, homotopy group of a sphere (unknown). Also EoM Spheres,_homotopy_groups_of_the, nLab homotopy groups of spheres
- wikipedia: Wikipedia Homotopy groups of spheres, Homotopy groups of spheres (definition). Also Wikidata Q3118090
History
- 2026-10-26: add by m2/dev
Uniform Cartan-sector fidelity 51P8EME290
| URI | m2://inv/51P8EME290 |
|---|---|
| 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.35986#O2XA, Uniform Cartan-sector fidelity (statement). In PBX6AMPVT2/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
51P9JRQ3TV 51P9JRQ3TV
| URI | m2://inv/51P9JRQ3TV |
|---|---|
| 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.25543#V9VE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Grothendieck 51PA0J05RP
| URI | m2://inv/51PA0J05RP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77141, Alexander Grothendieck (unknown). Also nLab Alexander Grothendieck, ProofWiki Mathematician:Alexander_Grothendieck
- wikipedia: Wikipedia Alexander Grothendieck, Alexander Grothendieck (topic). Also Wikidata Q77141
History
- 2026-10-26: add by m2/dev
series 51PBEBJMC5
| URI | m2://inv/51PBEBJMC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#WCTP, series (definition)
History
- 2026-11-02: add by m2/dev
join, of types 51PHEQ450Q
| URI | m2://inv/51PHEQ450Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.3/join-of-types, join, of types (concept). In N54F33XE07, index, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
51PNQQ09E8 51PNQQ09E8
| URI | m2://inv/51PNQQ09E8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#9N4J (definition)
History
- 2026-11-02: add by m2/v0.6.17
51PQ3S1BKY 51PQ3S1BKY
| URI | m2://inv/51PQ3S1BKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
51Q5SZNC4G 51Q5SZNC4G
| URI | m2://inv/51Q5SZNC4G |
|---|---|
| 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 2207.07461#JGVB (statement). In GAG532VMPF/e1, lemma 7.2.8
History
- 2026-10-27: add by m2/v0.3.5
Tesseractic honeycomb honeycomb 51Q6BDKPRF
| URI | m2://inv/51Q6BDKPRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#K6A9, Tesseractic honeycomb honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
51QBHB7KQX 51QBHB7KQX
| URI | m2://inv/51QBHB7KQX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#8S6I (definition). In 5KR3MHYVV6/e1, definition 6.11
History
- 2026-10-28: add by m2/v0.4.2
51QEDR2RAP 51QEDR2RAP
| URI | m2://inv/51QEDR2RAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#28GB (statement). In 3THDT8WNF7/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
51QHCD9WD8 51QHCD9WD8
| URI | m2://inv/51QHCD9WD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#FN92 (statement). In ZQ2YZ4P6P5/e1, proposition 5.4
History
- 2026-10-31: add by m2/v0.5.6
Graph C*-algebra 51QJWN1QEH
| URI | m2://inv/51QJWN1QEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph C*-algebra, Graph C*-algebra (definition). Also Wikidata Q25303886
History
- 2026-11-02: add by m2/dev
Theorem 51QQDSWBKH
| URI | m2://inv/51QQDSWBKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative interior#BL82, Theorem (statement)
History
- 2026-11-02: add by m2/dev
51QTJC7CF3 51QTJC7CF3
| URI | m2://inv/51QTJC7CF3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#Y8S8 (definition). In QX77AN49J0/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.4.2
51R2E3D7AE 51R2E3D7AE
| URI | m2://inv/51R2E3D7AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#29HL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stability after finitely many terms 51R8J8VH07
| URI | m2://inv/51R8J8VH07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#AKDK, Stability after finitely many terms (statement)
History
- 2026-11-01: add by m2/v0.6.15
51R8WZR075 51R8WZR075
| URI | m2://inv/51R8WZR075 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33573#5ZLD (statement). In ZT1Q1XDQ1W/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
51RGMP53TK 51RGMP53TK
| URI | m2://inv/51RGMP53TK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#A6T3 (definition). In 46370P3Y9S/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.2
51RN34ESZH 51RN34ESZH
| URI | m2://inv/51RN34ESZH |
|---|---|
| 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 2310.14879#J1EX (statement). In 3VZ55B2N0D/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.0
James Nwoye Adichie 51RTB83AJQ
| URI | m2://inv/51RTB83AJQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Nwoye Adichie, James Nwoye Adichie (topic). Also Wikidata Q102189200
History
- 2026-11-02: add by m2/dev
Heinz Hopf 51RXT3N5AB
| URI | m2://inv/51RXT3N5AB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#89TD, Heinz Hopf (topic)
History
- 2026-11-02: add by m2/dev
Erd\H{o}s, Ginzburg and Ziv 51RY4AH5ZD
| URI | m2://inv/51RY4AH5ZD |
|---|---|
| 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.27788#44TZ, Erd\H{o}s, Ginzburg and Ziv (statement)
History
- 2026-11-01: add by m2/v0.6.15
51RYW3K67F 51RYW3K67F
| URI | m2://inv/51RYW3K67F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
51SDN00CJS 51SDN00CJS
| URI | m2://inv/51SDN00CJS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#YREO (definition). In F3BKXXPR3K/e1, definition 4.18
History
- 2026-10-27: add by m2/v0.4.2
Kan replacement does not add all descent objects 51SGHVDK31
| URI | m2://inv/51SGHVDK31 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-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.28220#ZV1Q, Kan replacement does not add all descent objects (example)
History
- 2026-11-01: add by m2/v0.6.15
51SH7XQMZ4 51SH7XQMZ4
| URI | m2://inv/51SH7XQMZ4 |
|---|---|
| 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.08935#0D0T (statement). In G02N9D40B9/e1, lemma 3.4.6
History
- 2026-10-29: add by m2/v0.4.10
51SR5CYC19 51SR5CYC19
| URI | m2://inv/51SR5CYC19 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-206 (exercise). In VNMV985MXX, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Ordinary fibers over valued fields 51SWE5T4M3
| URI | m2://inv/51SWE5T4M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#TMST, Ordinary fibers over valued fields (statement). In 328KGRNN0W/e1, lemma 8.3
History
- 2026-10-30: add by m2/v0.4.12
51T4MZ5PGK 51T4MZ5PGK
| URI | m2://inv/51T4MZ5PGK |
|---|---|
| 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.28597#DXZ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Misra & Gries edge-coloring algorithm 51TEPKSBA0
| URI | m2://inv/51TEPKSBA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misra & Gries edge-coloring algorithm, Misra & Gries edge-coloring algorithm (definition). Also Wikidata Q18808226
History
- 2026-11-02: add by m2/dev
Mediterranean Mathematics Competition 51TN59M625
| URI | m2://inv/51TN59M625 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#IGCE, Mediterranean Mathematics Competition (definition)
History
- 2026-11-02: add by m2/dev
51TRCSQYAP 51TRCSQYAP
| URI | m2://inv/51TRCSQYAP |
|---|---|
| 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#7XC3 (statement). In 294BQKZEDQ/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
Euler rule 51VANAE50Y
| URI | m2://inv/51VANAE50Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amicable numbers#6JF5, Euler rule (unknown)
History
- 2026-11-02: add by m2/dev
Properties 51VDZPN5VN
| URI | m2://inv/51VDZPN5VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise convergence#D7QE, Properties (statement)
History
- 2026-11-02: add by m2/dev
List of publications in mathematics 51VVKQER49
| URI | m2://inv/51VVKQER49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics, List of publications in mathematics (topic). Also Wikidata Q6623911
History
- 2026-11-02: add by m2/dev
Super tensor product 51W3FF8QDB
| URI | m2://inv/51W3FF8QDB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superalgebra#BQDJ, Super tensor product (unknown)
History
- 2026-11-02: add by m2/dev
I. R. Shafarevich 51WA87CT5Z
| URI | m2://inv/51WA87CT5Z |
|---|---|
| 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#R8CY, I. R. Shafarevich (topic)
History
- 2026-11-02: add by m2/dev
51WFJQZX93 51WFJQZX93
| URI | m2://inv/51WFJQZX93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#ECM2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
51WHVJ838Z 51WHVJ838Z
| URI | m2://inv/51WHVJ838Z |
|---|---|
| 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 2410.02139#1H14 (statement). In TJ1NTK3KJW/e1, corollary 28
History
- 2026-10-27: add by m2/v0.3.5
The plumbing theorem 51WJ14WDGX
| URI | m2://inv/51WJ14WDGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plumbing (mathematics)#8GMC, The plumbing theorem (statement)
History
- 2026-11-02: add by m2/dev
51WJBKSR5C 51WJBKSR5C
| URI | m2://inv/51WJBKSR5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39675#4PL9 (statement). In VM16G3PPH3/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
Statement of the theorem 51WW5NR163
| URI | m2://inv/51WW5NR163 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babuška–Lax–Milgram theorem#A08W, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Construction 51XHBS4T3J
| URI | m2://inv/51XHBS4T3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young symmetrizer#JZLK, Construction (definition)
History
- 2026-11-02: add by m2/dev
Definition 51XK4YE1SH
| URI | m2://inv/51XK4YE1SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental vector field#SDBQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Guido Ascoli 51XMF8G3MK
| URI | m2://inv/51XMF8G3MK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guido Ascoli, Guido Ascoli (topic). Also Wikidata Q3779167
History
- 2026-11-02: add by m2/dev
51XTA72GBV 51XTA72GBV
| URI | m2://inv/51XTA72GBV |
|---|---|
| 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 1011.5443#JT9I (statement). In VQ0K2GV62A/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
determinant 51Y1DM37S9
| URI | m2://inv/51Y1DM37S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#840N, determinant (definition)
History
- 2026-11-02: add by m2/dev
Paul Stäckel 51Y4M5BJ2T
| URI | m2://inv/51Y4M5BJ2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Stäckel, Paul Stäckel (topic). Also Wikidata Q72972
History
- 2026-11-02: add by m2/dev
51Y4XCA8TW 51Y4XCA8TW
| URI | m2://inv/51Y4XCA8TW |
|---|---|
| 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.23685#QVVH (statement)
History
- 2026-11-02: add by m2/v0.6.17
51YD38F4EZ 51YD38F4EZ
| URI | m2://inv/51YD38F4EZ |
|---|---|
| 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#5GDU (statement). In W5XG3PGVF1/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Evidence-based medicine 51YE610AS0
| URI | m2://inv/51YE610AS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidence-based medicine, Evidence-based medicine (definition). Also Wikidata Q691640
History
- 2026-11-02: add by m2/dev
51YJS83GP8 51YJS83GP8
| URI | m2://inv/51YJS83GP8 |
|---|---|
| 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 2403.01959#6G0S (statement). In 5YMNGJRC6Y/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
51YP269FFS 51YP269FFS
| URI | m2://inv/51YP269FFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#T002 (statement). In W9A0Z2NBMA/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.12
Proofs of trigonometric identities 51YYBEVN50
| URI | m2://inv/51YYBEVN50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of trigonometric identities, Proofs of trigonometric identities (definition). Also Wikidata Q7250037
History
- 2026-11-02: add by m2/dev
Relative smoothness (see 51Z7NQHQDS
| URI | m2://inv/51Z7NQHQDS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.23841#H2YV, Relative smoothness (see (definition). In 67FPT1PG7R/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
STEAM education 51Z9DYZKE7
| URI | m2://inv/51Z9DYZKE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia STEAM education, STEAM education (definition). Also Wikidata Q7394713
History
- 2026-11-02: add by m2/dev
Basic properties 51ZM6WGRPM
| URI | m2://inv/51ZM6WGRPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential Galois theory#3VK4, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
51ZRMZ4418 51ZRMZ4418
| URI | m2://inv/51ZRMZ4418 |
|---|---|
| Kind | problem |
| 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 2608.24190#5LQ0 (problem). In DW7FVA587C/e1, problem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Examples 51ZVDYVJB4
| URI | m2://inv/51ZVDYVJB4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramér–Rao bound#1J9Q, Examples (example)
History
- 2026-11-02: add by m2/dev
Permutation box 51ZXS0P766
| URI | m2://inv/51ZXS0P766 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation box, Permutation box (definition). Also Wikidata Q672628
History
- 2026-11-02: add by m2/dev