Inventory rows BM
The cards of the rows of the inventory whose ids start with BM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
BM01GN1D9Y BM01GN1D9Y
| URI | m2://inv/BM01GN1D9Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#HUKO (definition). In 37S7MNMZ2F/e1, definition 54
History
- 2026-10-27: add by m2/v0.3.5
BM04WCSSF3 BM04WCSSF3
| URI | m2://inv/BM04WCSSF3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#NB82 (example). In WJD9YPGGYH/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
BM0EAH0VG7 BM0EAH0VG7
| URI | m2://inv/BM0EAH0VG7 |
|---|---|
| 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.09084#29A5 (statement). In F5VT2K2QYX/e1, lemma 33
History
- 2026-10-29: add by m2/v0.4.10
BM0M7DS7ZE BM0M7DS7ZE
| URI | m2://inv/BM0M7DS7ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#X2XB (statement). In 9RBATD2Z1F/e1, proposition 3.18
History
- 2026-10-30: add by m2/v0.4.12
K-medians clustering BM0PWYSPQH
| URI | m2://inv/BM0PWYSPQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2VXD, K-medians clustering (definition)
History
- 2026-11-02: add by m2/dev
Hydrogen atom BM0RQQBG58
| URI | m2://inv/BM0RQQBG58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#2UVO, Hydrogen atom (definition)
History
- 2026-11-02: add by m2/dev
Element BM10VPEQFP
| URI | m2://inv/BM10VPEQFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Element (category theory), Element (definition). Also Wikidata Q5358816
History
- 2026-11-02: add by m2/dev
IMD2000 BM12HNGMG4
| URI | m2://inv/BM12HNGMG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deprivation index#LSH7, IMD2000 (unknown)
History
- 2026-11-02: add by m2/dev
Representation-graded power operations BM15MTK0J0
| URI | m2://inv/BM15MTK0J0 |
|---|---|
| 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.21675#576G, Representation-graded power operations (definition). In TB1294GY5X/e1, definition 1.19
History
- 2026-10-27: add by m2/v0.4.2
Kernel converse BM17KBX9KG
| URI | m2://inv/BM17KBX9KG |
|---|---|
| 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.40054#6XAH, Kernel converse (statement). In CA4C9PFM1E/e1, lemma 3.2.5
History
- 2026-10-30: add by m2/v0.4.12
Giovanni Frattini BM18H0WF6N
| URI | m2://inv/BM18H0WF6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#M38Y, Giovanni Frattini (topic)
- wikipedia: Wikipedia List of Italian mathematicians#TXKN, Giovanni Frattini (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OEAO, Giovanni Frattini (topic)
History
- 2026-11-02: add by m2/dev
Automorphism group of $\QQ(\sqrt2,\sqrt3)$ BM1DCX294X
| URI | m2://inv/BM1DCX294X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#example-6, Automorphism group of $\QQ(\sqrt2,\sqrt3)$ (example). In RZP28ERRZV, example, section 14.5
History
- 2026-11-01: add by m2/v0.6.13
Isoperimetry BM1H5WW020
| URI | m2://inv/BM1H5WW020 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#X1MP, Isoperimetry (statement)
- wikipedia: Wikipedia List of multivariable calculus topics#0P6L, Isoperimetry (statement)
History
- 2026-11-02: add by m2/dev
BM1SEENSP0 BM1SEENSP0
| URI | m2://inv/BM1SEENSP0 |
|---|---|
| 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.23634#0ZZF (statement)
History
- 2026-11-02: add by m2/v0.6.17
BM1XHHRPZX BM1XHHRPZX
| URI | m2://inv/BM1XHHRPZX |
|---|---|
| Kind | conjecture |
| 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 2603.16304#OVA7 (conjecture). In NEGP0YBA3C/e1, conjecture 5.3
History
- 2026-10-27: add by m2/v0.3.6
Examples BM1ZPYPT4V
| URI | m2://inv/BM1ZPYPT4V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semifield#DM9H, Examples (example)
History
- 2026-11-02: add by m2/dev
Distortion problem BM20SJW8TQ
| URI | m2://inv/BM20SJW8TQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distortion problem, Distortion problem (problem). Also Wikidata Q5283074
History
- 2026-11-02: add by m2/dev
Truncated hexagonal trapezohedron BM21Q2W7F2
| URI | m2://inv/BM21Q2W7F2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated hexagonal trapezohedron, Truncated hexagonal trapezohedron (definition). Also Wikidata Q5748771
History
- 2026-11-02: add by m2/dev
BM25VH9QA8 BM25VH9QA8
| URI | m2://inv/BM25VH9QA8 |
|---|---|
| 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.38975#XNVA (statement). In D2247CRPPE/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
Pythagorean theorem BM28S45KS3
| URI | m2://inv/BM28S45KS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#0UV0, Pythagorean theorem (definition)
History
- 2026-11-02: add by m2/dev
Dunn, Halbert L. BM2M6KBPP6
| URI | m2://inv/BM2M6KBPP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RB4G, Dunn, Halbert L. (topic)
History
- 2026-11-02: add by m2/dev
BM2PT470NA BM2PT470NA
| URI | m2://inv/BM2PT470NA |
|---|---|
| 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.10519#1CZZ (statement). In 83MMH8VF1X/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definition BM2QNHQ4M3
| URI | m2://inv/BM2QNHQ4M3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian symmetric space#F9UU, Definition (definition)
History
- 2026-11-02: add by m2/dev
BM2TRN2VBX BM2TRN2VBX
| URI | m2://inv/BM2TRN2VBX |
|---|---|
| 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#Y9UL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement BM2V7ZDM1T
| URI | m2://inv/BM2V7ZDM1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tube lemma#U188, Statement (statement)
History
- 2026-11-02: add by m2/dev
BM2ZHKH9CS BM2ZHKH9CS
| URI | m2://inv/BM2ZHKH9CS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-72 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
The eight-square identity BM34PFAH6Z
| URI | m2://inv/BM34PFAH6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Ferdinand Degen#XG55, The eight-square identity (statement)
History
- 2026-11-02: add by m2/dev
BM37NZ16EV BM37NZ16EV
| URI | m2://inv/BM37NZ16EV |
|---|---|
| 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.03555#7ZMS (statement). In 9JZJTRRVR1/e1, lemma 3.15
History
- 2026-10-29: add by m2/v0.4.12
Estimate of the nonlinear forcing term BM3JVC06T0
| URI | m2://inv/BM3JVC06T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#LTKC, Estimate of the nonlinear forcing term (statement). In QVFHS1C9BW/e1, lemma \thethrm
History
- 2026-10-29: add by m2/v0.4.10
Peter C. Fishburn BM4D0S7KRP
| URI | m2://inv/BM4D0S7KRP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter C. Fishburn, Peter C. Fishburn (topic). Also Wikidata Q3376572
History
- 2026-11-02: add by m2/dev
Directed lower barrier after $\tau_0$ BM4QMVG2HD
| URI | m2://inv/BM4QMVG2HD |
|---|---|
| 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.37164#I4RQ, Directed lower barrier after $\tau_0$ (statement). In B2PG75FSQJ/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
BM4SACK74Z BM4SACK74Z
| URI | m2://inv/BM4SACK74Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/isomorphism.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 46.2
History
- 2026-11-01: add by m2/v0.6.13
BM4SDPW5YA BM4SDPW5YA
| URI | m2://inv/BM4SDPW5YA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#JN95 (definition). In 7XM8WXVBWK/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
BM4XJ8RNX3 BM4XJ8RNX3
| URI | m2://inv/BM4XJ8RNX3 |
|---|---|
| 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.23341#6172 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bra–ket notation BM51HG26QZ
| URI | m2://inv/BM51HG26QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#HCMD, Bra–ket notation (definition)
History
- 2026-11-02: add by m2/dev
Gavin Brown BM59AMM1SY
| URI | m2://inv/BM59AMM1SY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#52I8, Gavin Brown (unknown)
History
- 2026-11-02: add by m2/dev
Separated discrete curvature BM5EQVJ02B
| URI | m2://inv/BM5EQVJ02B |
|---|---|
| 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#8A82, Separated discrete curvature (statement)
History
- 2026-11-01: add by m2/v0.6.15
Module (mathematics) BM5S06MP8Y
| URI | m2://inv/BM5S06MP8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#BRM2, Module (mathematics) (definition)
- wikipedia: Wikipedia List of commutative algebra topics#B5DB, Module (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
tube lemma BM5W4GX4DZ
| URI | m2://inv/BM5W4GX4DZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tube lemma W8XEZR3VKQ |
Mentions
- wikidata: Wikidata Q3830116, tube lemma (statement). Also nLab tube lemma
- wikipedia: Wikipedia Tube lemma, Tube lemma (statement). Also Wikidata Q3830116
History
- 2026-10-26: add by m2/dev
Properties BM5YDEW1XH
| URI | m2://inv/BM5YDEW1XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concatenated error correction code#IXIE, Properties (statement)
History
- 2026-11-02: add by m2/dev
BM69GHH0AR BM69GHH0AR
| URI | m2://inv/BM69GHH0AR |
|---|---|
| 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.35597#TAIK (statement). In K424GCJ50P/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
mathematical structure BM6EASPJZH
| URI | m2://inv/BM6EASPJZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q748349, mathematical structure (unknown). Also EoM Structure(2), nLab structure
- wikipedia: Wikipedia Mathematical structure, Mathematical structure (definition). Also Wikidata Q748349
History
- 2026-10-26: add by m2/dev
BM6JSSRWF1 BM6JSSRWF1
| URI | m2://inv/BM6JSSRWF1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#RK90 (example). In JJQPFXZQ3D/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
Implementations BM6RZZ96V5
| URI | m2://inv/BM6RZZ96V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's p − 1 algorithm#YJO7, Implementations (definition)
History
- 2026-11-02: add by m2/dev
AdS/QCD correspondence BM6T5MVDFG
| URI | m2://inv/BM6T5MVDFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4678098, AdS/QCD correspondence (unknown). Also nLab AdS-QCD correspondence
History
- 2026-10-26: add by m2/dev
BM6Z5VD8NS BM6Z5VD8NS
| URI | m2://inv/BM6Z5VD8NS |
|---|---|
| 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.09729#9TAU (statement). In 7CDD4HCYTV/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
BM76E0Q2WW BM76E0Q2WW
| URI | m2://inv/BM76E0Q2WW |
|---|---|
| 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#YSF1 (statement). In DHEJP3YATV/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.3
Auxiliary inequality 2 BM76ZN1FNJ
| URI | m2://inv/BM76ZN1FNJ |
|---|---|
| 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.30957#6U1T, Auxiliary inequality 2 (statement). In P5YB6R0RK3/e1, lemma D.8
History
- 2026-10-31: add by m2/v0.5.6
Loss network BM7AMP33B0
| URI | m2://inv/BM7AMP33B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loss network, Loss network (definition). Also Wikidata Q6683730
History
- 2026-11-02: add by m2/dev
Financial calculator BM7PGSM8MY
| URI | m2://inv/BM7PGSM8MY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Financial calculator, Financial calculator (definition). Also Wikidata Q5449694
History
- 2026-11-02: add by m2/dev
Erdős–Turán inequality BM7W50V2QT
| URI | m2://inv/BM7W50V2QT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Turán inequality, Erdős–Turán inequality (statement). Also Wikidata Q5385327
History
- 2026-11-02: add by m2/dev
BM7ZK5CHTZ BM7ZK5CHTZ
| URI | m2://inv/BM7ZK5CHTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#X6P6 (statement). In ESDKTYDHC8/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Multivariate Analysis BM88BMVG53
| URI | m2://inv/BM88BMVG53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate statistics#V5BQ, Multivariate Analysis (unknown)
History
- 2026-11-02: add by m2/dev
BM8XFBB612 BM8XFBB612
| URI | m2://inv/BM8XFBB612 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#1OVB (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Construction BM9742XGDE
| URI | m2://inv/BM9742XGDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3 21 polytope#QL8Y, Construction (definition)
History
- 2026-11-02: add by m2/dev
Truncated entropy identities BM9CQDGHZB
| URI | m2://inv/BM9CQDGHZB |
|---|---|
| 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.12387#MI7P, Truncated entropy identities (statement). In 3Z0PRE77SY/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Shapiro polynomials BM9E5AKE37
| URI | m2://inv/BM9E5AKE37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapiro polynomials, Shapiro polynomials (definition). Also Wikidata Q3395690
History
- 2026-11-02: add by m2/dev
Memory-jet tomography BM9H3KPSKD
| URI | m2://inv/BM9H3KPSKD |
|---|---|
| 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.13951#173D, Memory-jet tomography (statement). In BDV8G2CV16/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
Seasonal variation BM9W82PW45
| URI | m2://inv/BM9W82PW45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EC6G, Seasonal variation (definition)
History
- 2026-11-02: add by m2/dev
Small Dunkl matching algebras BM9ZFT5EWW
| URI | m2://inv/BM9ZFT5EWW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#W9XH, Small Dunkl matching algebras (example). In BBE69ZPVTF/e1, example 3.4
History
- 2026-10-30: add by m2/v0.4.12
Weil distribution BMA2Z3RB6P
| URI | m2://inv/BMA2Z3RB6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#OXT8, Weil distribution (unknown)
History
- 2026-11-02: add by m2/dev
Karl Hessenberg BMA7BEHEWD
| URI | m2://inv/BMA7BEHEWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#H73W, Karl Hessenberg (topic)
History
- 2026-11-02: add by m2/dev
Direct proof BMAQE08CHG
| URI | m2://inv/BMAQE08CHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#F83G, Direct proof (definition)
History
- 2026-11-02: add by m2/dev
Extensions BMAQZHQ6EA
| URI | m2://inv/BMAQZHQ6EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Arnold representation theorem#1NU4, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Ruth Manor BMARFJS6Z2
| URI | m2://inv/BMARFJS6Z2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#LI4I, Ruth Manor (unknown)
History
- 2026-11-02: add by m2/dev
rooted layers BMAY00GHM9
| URI | m2://inv/BMAY00GHM9 |
|---|---|
| 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.17135#TXV9, rooted layers (statement). In XX1J2REXY2/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
BMB0G1BT46 BMB0G1BT46
| URI | m2://inv/BMB0G1BT46 |
|---|---|
| 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 2609.24041#QBED (statement)
History
- 2026-11-02: add by m2/v0.6.17
Perfect rectangle BMB5GQHYF4
| URI | m2://inv/BMB5GQHYF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect rectangle, Perfect rectangle (definition). Also Wikidata Q130706092
History
- 2026-11-02: add by m2/dev
Two-sided certification BMBB9GM5CD
| URI | m2://inv/BMBB9GM5CD |
|---|---|
| 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.14012#RAT8, Two-sided certification (statement). In B8M5XAJASD/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
BMBBBPS0A2 BMBBBPS0A2
| URI | m2://inv/BMBBBPS0A2 |
|---|---|
| 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 2609.20798#O0QB (statement)
History
- 2026-11-02: add by m2/v0.6.18
BMBGCQ435C BMBGCQ435C
| URI | m2://inv/BMBGCQ435C |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#ISUR (conjecture). In MEF2VCAYXS/e1, conjecture 4.3
History
- 2026-10-30: add by m2/v0.4.12
BMBJJDAKKE BMBJJDAKKE
| URI | m2://inv/BMBJJDAKKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#8BB6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ramanujan machine BMBKKMQ9GS
| URI | m2://inv/BMBKKMQ9GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#FB6F, Ramanujan machine (definition)
History
- 2026-11-02: add by m2/dev
BMBN7WMJ06 BMBN7WMJ06
| URI | m2://inv/BMBN7WMJ06 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-245 (exercise). In VNMV985MXX, exercise, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
Theorem (Cauchy) BMBW5Y02JN
| URI | m2://inv/BMBW5Y02JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#A1Q2, Theorem (Cauchy) (statement)
History
- 2026-11-02: add by m2/dev
BMBYJZQCY6 BMBYJZQCY6
| URI | m2://inv/BMBYJZQCY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22297#DSBF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Tait–Kneser theorem BMBZ553MR7
| URI | m2://inv/BMBZ553MR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tait–Kneser theorem, Tait–Kneser theorem (statement). Also Wikidata Q85804930
History
- 2026-11-02: add by m2/dev
BMC4RSMH5C BMC4RSMH5C
| URI | m2://inv/BMC4RSMH5C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#ESQ8 (example)
History
- 2026-11-02: add by m2/v0.6.18
Symmetrically continuous function BMCBXCW9M1
| URI | m2://inv/BMCBXCW9M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetrically continuous function, Symmetrically continuous function (definition). Also Wikidata Q3894672
History
- 2026-11-02: add by m2/dev
List of fields of application of statistics BMCC34K0KT
| URI | m2://inv/BMCC34K0KT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics, List of fields of application of statistics (topic). Also Wikidata Q6619823
History
- 2026-11-02: add by m2/dev
Ray marching BMCKQGA1GP
| URI | m2://inv/BMCKQGA1GP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#BKD8, Ray marching (unknown)
History
- 2026-11-02: add by m2/dev
Definition BMCN6M2FDW
| URI | m2://inv/BMCN6M2FDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit root#8KWG, Definition (definition)
History
- 2026-11-02: add by m2/dev
BMCN84ZZWY BMCN84ZZWY
| URI | m2://inv/BMCN84ZZWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#H2JZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
BMD29CN7BM BMD29CN7BM
| URI | m2://inv/BMD29CN7BM |
|---|---|
| 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.05722#MXYK (statement). In NDKWV5J14V/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Definition BMD3FRPZGP
| URI | m2://inv/BMD3FRPZGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson polynomial#747W, Definition (definition)
History
- 2026-11-02: add by m2/dev
BMD5T2WZDE BMD5T2WZDE
| URI | m2://inv/BMD5T2WZDE |
|---|---|
| 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.27200#D26C (statement)
History
- 2026-11-01: add by m2/v0.6.15
exponentiation BMD9HBYV9V
| URI | m2://inv/BMD9HBYV9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33456, exponentiation (unknown). Also MathWorld Exponentiation, ProofWiki Category:Exponentiation_of_Cardinals
- wikipedia: Wikipedia Exponentiation, Exponentiation (definition). Also Wikidata Q33456
History
- 2026-10-26: add by m2/dev
Bipolar orientation BMD9NZ321Z
| URI | m2://inv/BMD9NZ321Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipolar orientation, Bipolar orientation (definition). Also Wikidata Q17005061
History
- 2026-11-02: add by m2/dev
BMDA1Q2Y3H BMDA1Q2Y3H
| URI | m2://inv/BMDA1Q2Y3H |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#proof-1 (proof). In RZP28ERRZV, proof, section 79.2
History
- 2026-11-01: add by m2/v0.6.13
Ergodic theorem BMDDE6HNXT
| URI | m2://inv/BMDDE6HNXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier amplitude sensitivity testing#3TKF, Ergodic theorem (statement)
History
- 2026-11-02: add by m2/dev
Measurable jump times BMDPRS6X1H
| URI | m2://inv/BMDPRS6X1H |
|---|---|
| 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#V23P, Measurable jump times (statement). In 8X6PXX2TRA/e1, lemma 11.3
History
- 2026-10-28: add by m2/v0.4.2
free module BMDT1S4WWA
| URI | m2://inv/BMDT1S4WWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Free module 02E1T12PP4 |
Mentions
- wikidata: Wikidata Q1292333, free module (unknown). Also EoM Free_module, MathWorld FreeModule, nLab free module
- wikipedia: Wikipedia Free module, Free module (definition). Also Wikidata Q1292333
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
BMDW0YDYZB BMDW0YDYZB
| URI | m2://inv/BMDW0YDYZB |
|---|---|
| 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#LVV0 (statement). In GX0K0ZM700/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
Hilda Geiringer BMDW93N0JV
| URI | m2://inv/BMDW93N0JV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilda Geiringer, Hilda Geiringer (topic). Also Wikidata Q168267
History
- 2026-11-02: add by m2/dev
BMDWD3Y1WC BMDWD3Y1WC
| URI | m2://inv/BMDWD3Y1WC |
|---|---|
| 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.10365#5R74 (statement). In PRVQPSBVHK/e1, corollary 15
History
- 2026-10-29: add by m2/v0.4.10
BME2MQ8CW3 BME2MQ8CW3
| URI | m2://inv/BME2MQ8CW3 |
|---|---|
| Kind | definition |
| 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.14783#WQXL (definition). In Y3X5XY2J65/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
BME3PDA7SF BME3PDA7SF
| URI | m2://inv/BME3PDA7SF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
BMEM0MVJPW BMEM0MVJPW
| URI | m2://inv/BMEM0MVJPW |
|---|---|
| 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.37265#V5EE (statement). In BKYAWEC5XH/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Batalin–Vilkovisky formalism BMEQAB9G4T
| URI | m2://inv/BMEQAB9G4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#I1L3, Batalin–Vilkovisky formalism (definition)
History
- 2026-11-02: add by m2/dev
Limited information maximum likelihood BMEVW1ZYK1
| URI | m2://inv/BMEVW1ZYK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous equations model#B3KH, Limited information maximum likelihood (unknown)
History
- 2026-11-02: add by m2/dev
Legendre--Fenchel conjugate BMF137WBH3
| URI | m2://inv/BMF137WBH3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#5EP9, Legendre--Fenchel conjugate (definition). In MM8P5CJR18/e1, definition C.2
History
- 2026-10-29: add by m2/v0.4.12
elliptic operator BMF5WGSNZ3
| URI | m2://inv/BMF5WGSNZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 35J25, 47F05 |
| Sources | 2 |
| Outcome | open |
| Node | Elliptic operator XY8GEQSWPR |
Mentions
- wikidata: Wikidata Q427625, elliptic operator (topic). Also ProofWiki Definition:Elliptic_Operator
- wikipedia: Wikipedia Elliptic operator, Elliptic operator (definition). Also Wikidata Q427625
History
- 2026-10-26: add by m2/dev
BMF8Y8601X BMF8Y8601X
| URI | m2://inv/BMF8Y8601X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#CCW9 (definition). In YVQKT91MYN/e1, definition 8
History
- 2026-10-28: add by m2/v0.4.2
Sankhyā: The Indian Journal of Statistics BMFACT9DJR
| URI | m2://inv/BMFACT9DJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#0S5T, Sankhyā: The Indian Journal of Statistics (definition)
History
- 2026-11-02: add by m2/dev
BMFD86FBWK BMFD86FBWK
| URI | m2://inv/BMFD86FBWK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02689#NIG1 (example). In 7BWXR38MNE/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.12
BMG1PNT53J BMG1PNT53J
| URI | m2://inv/BMG1PNT53J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#THIE (definition). In WWMHZKWZSM/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Texel (graphics) BMG60H9QGM
| URI | m2://inv/BMG60H9QGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#5MPN, Texel (graphics) (unknown)
History
- 2026-11-02: add by m2/dev
Shrinking and forward inclusion BMG6B9TPSJ
| URI | m2://inv/BMG6B9TPSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30103#B9SG, Shrinking and forward inclusion (statement)
History
- 2026-11-01: add by m2/v0.6.15
\bf Partitions with near-optimal modularity are close to the planted BMG6Y3890P
| URI | m2://inv/BMG6Y3890P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2605.10911#KHQC, \bf Partitions with near-optimal modularity are close to the planted (statement). In Y23VR7N90M/e1, proposition 19
History
- 2026-10-27: add by m2/v0.3.5
BMGD5BARZ8 BMGD5BARZ8
| URI | m2://inv/BMGD5BARZ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#09HV (definition). In D68KBZQ4Q6/e1, definition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Model 3 BMGDJ5V5HZ
| URI | m2://inv/BMGDJ5V5HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21991#1J7H, Model 3 (statement). In KRBDK9J44X/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.4.2
History of quantum electrodynamics BMGDT5CH21
| URI | m2://inv/BMGDT5CH21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum electrodynamics#IHD8, History of quantum electrodynamics (unknown)
History
- 2026-11-02: add by m2/dev
Embedding $\HModelExpected$ into $\RandomCSP$ BMGE6Y17DT
| URI | m2://inv/BMGE6Y17DT |
|---|---|
| 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 2610.07379#08L9, Embedding $\HModelExpected$ into $\RandomCSP$ (statement). In N0EVQ46HBR/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
Finite-error recovery from behavioral signatures BMGKH6M3J8
| URI | m2://inv/BMGKH6M3J8 |
|---|---|
| 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.20207#G1YJ, Finite-error recovery from behavioral signatures (statement)
History
- 2026-11-02: add by m2/v0.6.18
Measurable Radon--Nikodym density for kernels BMGRGDGK6F
| URI | m2://inv/BMGRGDGK6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#LTZC, Measurable Radon--Nikodym density for kernels (statement). In XFE35F9NEV/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Madhu Sudan BMGV3DM16H
| URI | m2://inv/BMGV3DM16H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#SO0M, Madhu Sudan (unknown)
History
- 2026-11-02: add by m2/dev
Human systems BMGX0JHF3E
| URI | m2://inv/BMGX0JHF3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#2R5O, Human systems (unknown)
History
- 2026-11-02: add by m2/dev
Octahemioctacron BMGX55WAG5
| URI | m2://inv/BMGX55WAG5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4153, Octahemioctacron (object)
History
- 2026-11-02: add by m2/dev
$t$-sweep BMH60R756P
| URI | m2://inv/BMH60R756P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.23106#7I8H, $t$-sweep (statement)
History
- 2026-11-02: add by m2/v0.6.17
nearring BMHMPPS46S
| URI | m2://inv/BMHMPPS46S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#HBIN, nearring (definition)
History
- 2026-11-02: add by m2/dev
Generalizations BMHMR33Z22
| URI | m2://inv/BMHMR33Z22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a circle#UU61, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
BMHMVBDWNW BMHMVBDWNW
| URI | m2://inv/BMHMVBDWNW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-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.06338#7LW9 (example). In F1CYVYK7YB/e1, example 5.2
History
- 2026-10-29: add by m2/v0.4.10
Forensic statistics BMHP06Y8CT
| URI | m2://inv/BMHP06Y8CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#PXHK, Forensic statistics (definition)
History
- 2026-11-02: add by m2/dev
Length stability in a separatrix tube BMHQ55NXF7
| URI | m2://inv/BMHQ55NXF7 |
|---|---|
| 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.01050#152S, Length stability in a separatrix tube (statement). In 48NN33SAH7/e1, lemma F.7
History
- 2026-10-29: add by m2/v0.4.12
Axioms BMHW5R4A4V
| URI | m2://inv/BMHW5R4A4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General set theory#EGJR, Axioms (statement)
History
- 2026-11-02: add by m2/dev
BMJ2BAWMY5 BMJ2BAWMY5
| URI | m2://inv/BMJ2BAWMY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#7QZX (statement). In P8KT6JV9N1/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Bilinear time–frequency distribution BMJ53NB6ES
| URI | m2://inv/BMJ53NB6ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear time–frequency distribution, Bilinear time–frequency distribution (definition). Also Wikidata Q4907767
History
- 2026-11-02: add by m2/dev
Applications BMJBXSM6G2
| URI | m2://inv/BMJBXSM6G2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knizhnik–Zamolodchikov equations#5N11, Applications (example)
History
- 2026-11-02: add by m2/dev
invariant subspace BMJM704BZX
| URI | m2://inv/BMJM704BZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 47A15 |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Invariant subspace 0ACX5QT8TE |
Mentions
- wikidata: Wikidata Q2706744, invariant subspace (topic)
- wikipedia: Wikipedia Invariant subspace, Invariant subspace (definition). Also Wikidata Q2706744
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
BMJSVPBXEW BMJSVPBXEW
| URI | m2://inv/BMJSVPBXEW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#PAIT (example). In 8Z47D12KSX/e1, example 9.4
History
- 2026-10-29: add by m2/v0.4.10
J. W. S. Cassels BMK182H4KE
| URI | m2://inv/BMK182H4KE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z9F8, J. W. S. Cassels (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D0RQ, J. W. S. Cassels (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RI6M, J. W. S. Cassels (topic)
History
- 2026-11-02: add by m2/dev
Disintegration theorem BMK5TWWBWW
| URI | m2://inv/BMK5TWWBWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#971G, Disintegration theorem (statement)
History
- 2026-11-02: add by m2/dev
Lagrangian foliation BMKCZ13BR1
| URI | m2://inv/BMKCZ13BR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian foliation, Lagrangian foliation (definition). Also Wikidata Q6288835
History
- 2026-11-02: add by m2/dev
Kan complex BMKDF7SBRE
| URI | m2://inv/BMKDF7SBRE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/kan-complex, Kan complex (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Multivariate convex order for radial distributions BMKJS0GWRW
| URI | m2://inv/BMKJS0GWRW |
|---|---|
| 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.07404#RC56, Multivariate convex order for radial distributions (statement). In VAJ9MBT3SJ/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Global entropy rearrangement BMKNRS937D
| URI | m2://inv/BMKNRS937D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#KFZN, Global entropy rearrangement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Decreasing rearrangement BMKVMFA7BB
| URI | m2://inv/BMKVMFA7BB |
|---|---|
| Kind | definition |
| 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.05056#M94U, Decreasing rearrangement (definition). In 4PF04DW3YP/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.12
Kernel Fisher discriminant analysis BMKZ0YW4T0
| URI | m2://inv/BMKZ0YW4T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WEIN, Kernel Fisher discriminant analysis (definition)
History
- 2026-11-02: add by m2/dev
BMM1FS5803 BMM1FS5803
| URI | m2://inv/BMM1FS5803 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#FHDF (statement). In 9H45HQE7AZ/e1, corollary 6.8
History
- 2026-10-27: add by m2/v0.3.5
Koml\'os selection BMM25V583E
| URI | m2://inv/BMM25V583E |
|---|---|
| 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.30895#XPUY, Koml\'os selection (statement). In B8D26BYA7T/e1, theorem 8
History
- 2026-10-31: add by m2/v0.5.6
BMM26SFPFM BMM26SFPFM
| URI | m2://inv/BMM26SFPFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#E71T (statement). In 4GRNWWH88J/e1, proposition 5.10
History
- 2026-10-28: add by m2/v0.4.2
Watchman route problem BMM44FV5Q7
| URI | m2://inv/BMM44FV5Q7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#TO8P, Watchman route problem (problem)
History
- 2026-11-02: add by m2/dev
Perth Amboy BMM90X9556
| URI | m2://inv/BMM90X9556 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#5N7Y, Perth Amboy (unknown)
History
- 2026-11-02: add by m2/dev
BMM97KBWQ2 BMM97KBWQ2
| URI | m2://inv/BMM97KBWQ2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:subtFromPathInd (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Isospectral BMMCTF70SW
| URI | m2://inv/BMMCTF70SW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isospectral, Isospectral (definition). Also Wikidata Q6086323
History
- 2026-11-02: add by m2/dev
Spherical design BMMD7JN5BT
| URI | m2://inv/BMMD7JN5BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GTLL, Spherical design (definition)
History
- 2026-11-02: add by m2/dev
Dirac–von Neumann axioms BMMGF5PHQD
| URI | m2://inv/BMMGF5PHQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac–von Neumann axioms, Dirac–von Neumann axioms (statement). Also Wikidata Q2325846
History
- 2026-11-02: add by m2/dev
Precision (statistics) BMMQBZ8GE5
| URI | m2://inv/BMMQBZ8GE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C4BV, Precision (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Examples BMMR4RGNF1
| URI | m2://inv/BMMR4RGNF1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essentially unique#3IAL, Examples (example)
History
- 2026-11-02: add by m2/dev
BMMYMAZHBP BMMYMAZHBP
| URI | m2://inv/BMMYMAZHBP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 47-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.15180#PFNB (problem). In AMRWRJDNKJ/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
BMN02QS0D3 BMN02QS0D3
| URI | m2://inv/BMN02QS0D3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:omit-contr2 (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
BMN05MYC4W BMN05MYC4W
| URI | m2://inv/BMN05MYC4W |
|---|---|
| Kind | example |
| 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.25983#VHPC (example)
History
- 2026-11-01: add by m2/v0.6.15
3-term Pl\"ucker incidence relation BMN48NDZG8
| URI | m2://inv/BMN48NDZG8 |
|---|---|
| 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 2610.03612#487S, 3-term Pl\"ucker incidence relation (statement). In REDG6QVHM3/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.12
BMN69QF0QF BMN69QF0QF
| URI | m2://inv/BMN69QF0QF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#MXCP (definition). In DGE917KQSQ/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.4.2
Max Mason BMNFT96QGT
| URI | m2://inv/BMNFT96QGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Mason, Max Mason (topic). Also Wikidata Q339393
History
- 2026-11-02: add by m2/dev
Applications BMNV4CBJGK
| URI | m2://inv/BMNV4CBJGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear mixed-effects model#Q01W, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties BMNW8CJQNC
| URI | m2://inv/BMNW8CJQNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus of smoothness#HUHP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Constrained optimization BMNZ13PW6J
| URI | m2://inv/BMNZ13PW6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constrained optimization, Constrained optimization (definition). Also Wikidata Q4477763
History
- 2026-11-02: add by m2/dev
Numerische Mathematik BMP66N11B9
| URI | m2://inv/BMP66N11B9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#6NE4, Numerische Mathematik (unknown)
History
- 2026-11-02: add by m2/dev
BMP7Y298WG BMP7Y298WG
| URI | m2://inv/BMP7Y298WG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-3 (example). In Y91XFCEVHQ, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Unbiased estimation of standard deviation BMP8VGEK51
| URI | m2://inv/BMP8VGEK51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unbiased estimation of standard deviation, Unbiased estimation of standard deviation (definition). Also Wikidata Q7882386
History
- 2026-11-02: add by m2/dev
Present Attribution BMPH1SG8DT
| URI | m2://inv/BMPH1SG8DT |
|---|---|
| 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 math/0003117#38OD, Present Attribution (statement). In WD2NCBV9F0/e1, lemma 20.6
History
- 2026-10-27: add by m2/v0.3.5
BMPNGJWSEK BMPNGJWSEK
| URI | m2://inv/BMPNGJWSEK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#NOHB (example). In SYZFEVFHC3/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
BMPT3R7D4E BMPT3R7D4E
| URI | m2://inv/BMPT3R7D4E |
|---|---|
| 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.39539#V5HN (statement). In GVR218P3ZR/e1, lemma 4.2.2
History
- 2026-10-30: add by m2/v0.4.12
Formal definition BMQ0AEF4H0
| URI | m2://inv/BMQ0AEF4H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bridgeland stability condition#BES1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Methods BMQ2CZNB88
| URI | m2://inv/BMQ2CZNB88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational statistics#O45K, Methods (definition)
History
- 2026-11-02: add by m2/dev
Finite-state machine BMQBHJFH6C
| URI | m2://inv/BMQBHJFH6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite-state machine, Finite-state machine (definition). Also Wikidata Q176452
History
- 2026-11-02: add by m2/dev
Eugene Isaacson BMQC3PGJAR
| URI | m2://inv/BMQC3PGJAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugene Isaacson, Eugene Isaacson (topic). Also Wikidata Q51801483
History
- 2026-11-02: add by m2/dev
Maximal information coefficient BMQJN24RTK
| URI | m2://inv/BMQJN24RTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WX23, Maximal information coefficient (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Joseph Fourier BMQR2EN79S
| URI | m2://inv/BMQR2EN79S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier, List of things named after Joseph Fourier (topic). Also Wikidata Q18012453
History
- 2026-11-02: add by m2/dev
BMQRV0XEBS BMQRV0XEBS
| URI | m2://inv/BMQRV0XEBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#T6KK (statement). In BDN507RN7J/e1, proposition 4.2.10
History
- 2026-10-30: add by m2/v0.4.12
Lopatto BMQVKT5KBR
| URI | m2://inv/BMQVKT5KBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#0X3L, Lopatto (statement). In P3RTT99C41/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
matrix equivalence BMQWSKWCAC
| URI | m2://inv/BMQWSKWCAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Equivalent matrices 0CMHSGTWXB |
Mentions
- wikidata: Wikidata Q256151, matrix equivalence (unknown). Also MathWorld EquivalentMatrix, nLab matrix equivalence
- wikipedia: Wikipedia Matrix equivalence, Matrix equivalence (definition). Also Wikidata Q256151
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Charles Napoleon Moore BMR4YJ9PAP
| URI | m2://inv/BMR4YJ9PAP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Napoleon Moore, Charles Napoleon Moore (topic). Also Wikidata Q5081209
History
- 2026-11-02: add by m2/dev
Properties BMREXKDG0Z
| URI | m2://inv/BMREXKDG0Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive identity#HTRJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
LCD factor BMRH8PRQF8
| URI | m2://inv/BMRH8PRQF8 |
|---|---|
| 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 2610.08664#LMBA, LCD factor (definition). In 1YY0P4ZS0T/e1, definition 8
History
- 2026-10-29: add by m2/v0.4.10
BMRJ39W8CB BMRJ39W8CB
| URI | m2://inv/BMRJ39W8CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#IOC6 (statement). In 76850E2X7T/e1, proposition 2.10
History
- 2026-10-28: add by m2/v0.4.3
BMRTGKANJ9 BMRTGKANJ9
| URI | m2://inv/BMRTGKANJ9 |
|---|---|
| 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 2610.21945#H1MA (statement). In 371P9QASSJ/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Jacques Hadamard BMRTN1VWRV
| URI | m2://inv/BMRTN1VWRV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9ESH, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of complex analysis topics#9255, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4A1V, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#568E, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#599W, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#64CW, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GOBD, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JDYQ, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V90Q, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y798, Jacques Hadamard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZA6A, Jacques Hadamard (topic)
History
- 2026-11-02: add by m2/dev
De generatione et corruptione BMS274M1Y8
| URI | m2://inv/BMS274M1Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#IXNG, De generatione et corruptione (unknown)
History
- 2026-11-02: add by m2/dev
Relativistic angular momentum BMS4PDFSN3
| URI | m2://inv/BMS4PDFSN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relativistic angular momentum, Relativistic angular momentum (definition). Also Wikidata Q17099729
History
- 2026-11-02: add by m2/dev
Tree transducer language BMS4VNM5Y8
| URI | m2://inv/BMS4VNM5Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#CXZ6, Tree transducer language (unknown)
History
- 2026-11-02: add by m2/dev
degree matrix BMS7QM8DC4
| URI | m2://inv/BMS7QM8DC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3085391, degree matrix (unknown). Also MathWorld DegreeMatrix
- wikipedia: Wikipedia Degree matrix, Degree matrix (definition). Also Wikidata Q3085391
History
- 2026-10-26: add by m2/dev
BMSA3CZCA8 BMSA3CZCA8
| URI | m2://inv/BMSA3CZCA8 |
|---|---|
| Kind | example |
| 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.12489#VMLY (example). In FDWFVD08SE/e1, example 2.7
History
- 2026-10-28: add by m2/v0.4.2
Examples BMSASVWZZM
| URI | m2://inv/BMSASVWZZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stabilizer code#NF77, Examples (example)
History
- 2026-11-02: add by m2/dev
BMSD83RVFS BMSD83RVFS
| URI | m2://inv/BMSD83RVFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16022#W8FT (statement). In QG9ATXTKJ6/e1, proposition 1.12
History
- 2026-10-27: add by m2/v0.3.5
BMSF1N7914 BMSF1N7914
| URI | m2://inv/BMSF1N7914 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#DEXX (definition). In TFAN2DR6FD/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.5
magic graph BMSS1FP7TG
| URI | m2://inv/BMSS1FP7TG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17125113, magic graph (unknown). Also MathWorld MagicGraph
- wikipedia: Wikipedia Magic graph, Magic graph (definition). Also Wikidata Q17125113
History
- 2026-10-26: add by m2/dev
Applications BMSSBZ3FQH
| URI | m2://inv/BMSSBZ3FQH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary logarithm#5GRU, Applications (example)
History
- 2026-11-02: add by m2/dev
BMSYAN0E2A BMSYAN0E2A
| URI | m2://inv/BMSYAN0E2A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#KAKT (definition). In HX63A1PH1W/e1, definition 3.85
History
- 2026-10-28: add by m2/v0.4.3
BMTCCXK0ZT BMTCCXK0ZT
| URI | m2://inv/BMTCCXK0ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24542#FJ62 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BMTDXA7JK8 BMTDXA7JK8
| URI | m2://inv/BMTDXA7JK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16821#8BGQ (statement). In EFSGMHG5BW/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
Konstantin Posse BMTP4CTB3H
| URI | m2://inv/BMTP4CTB3H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Konstantin Posse, Konstantin Posse (topic). Also Wikidata Q4374163
History
- 2026-11-02: add by m2/dev
firing squad synchronization problem BMTPAMEN0J
| URI | m2://inv/BMTPAMEN0J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4183853, firing squad synchronization problem (problem). Also MathWorld FiringSquadProblem
- wikipedia: Wikipedia Firing squad synchronization problem, Firing squad synchronization problem (problem). Also Wikidata Q4183853
History
- 2026-10-26: add by m2/dev
Embedding rate BMTVMD678D
| URI | m2://inv/BMTVMD678D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24994#ZX1Q, Embedding rate (definition)
History
- 2026-11-01: add by m2/v0.6.15
BMV0WPMW9S BMV0WPMW9S
| URI | m2://inv/BMV0WPMW9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#VLUD (statement). In M0SQY5EZN5/e1, lemma 5.3.1
History
- 2026-10-27: add by m2/v0.3.5
Israel Halperin BMV12TEC5E
| URI | m2://inv/BMV12TEC5E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AL2U, Israel Halperin (unknown)
History
- 2026-11-02: add by m2/dev
BMV4EDG5GB BMV4EDG5GB
| URI | m2://inv/BMV4EDG5GB |
|---|---|
| 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.01251#TIDH (statement). In CZ2247RGQ4/e1, theorem 3.1.4
History
- 2026-10-29: add by m2/v0.4.12
Naïve cynicism BMV4S0T88V
| URI | m2://inv/BMV4S0T88V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#BCYD, Naïve cynicism (unknown)
History
- 2026-11-02: add by m2/dev
Example BMV74EJTSG
| URI | m2://inv/BMV74EJTSG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia German tank problem#MKNS, Example (example)
History
- 2026-11-02: add by m2/dev
Vicumpriya Perera BMV8ZZ4RNE
| URI | m2://inv/BMV8ZZ4RNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vicumpriya Perera, Vicumpriya Perera (topic). Also Wikidata Q16734390
History
- 2026-11-02: add by m2/dev
Example BMVB3MDYSF
| URI | m2://inv/BMVB3MDYSF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trust region#NSTR, Example (example)
History
- 2026-11-02: add by m2/dev
The $\sqrt{|C|}$ sandwich is sharp BMVBDGE5VJ
| URI | m2://inv/BMVBDGE5VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21523#M468, The $\sqrt{|C|}$ sandwich is sharp (statement)
History
- 2026-11-02: add by m2/v0.6.18
BMVG8M2SP1 BMVG8M2SP1
| URI | m2://inv/BMVG8M2SP1 |
|---|---|
| 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 1002.0879#3B7M (definition). In M0SQY5EZN5/e1, definition 6.2.1
History
- 2026-10-27: add by m2/v0.3.5
BMW0P1F4ST BMW0P1F4ST
| URI | m2://inv/BMW0P1F4ST |
|---|---|
| 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 2411.16655#KJ0B (statement). In EJHAXRV685/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Rolling-horizon tilt BMW1G6PT8Y
| URI | m2://inv/BMW1G6PT8Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#GU3Q, Rolling-horizon tilt (definition)
History
- 2026-11-01: add by m2/v0.6.15
BMW7V0RN1Q BMW7V0RN1Q
| URI | m2://inv/BMW7V0RN1Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Escaping set#TXSV (problem)
History
- 2026-11-02: add by m2/dev
SIR model BMWBGFB3QT
| URI | m2://inv/BMWBGFB3QT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2206263, SIR model (unknown). Also MathWorld SIRModel
History
- 2026-10-26: add by m2/dev
Eventual injectivity on fixed-radius balls BMWD03D7DJ
| URI | m2://inv/BMWD03D7DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30103#1N92, Eventual injectivity on fixed-radius balls (statement)
History
- 2026-11-01: add by m2/v0.6.15
First Summation Relation BMWTW9A6RP
| URI | m2://inv/BMWTW9A6RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.08191#QF36, First Summation Relation (statement). In 8DATR785BJ/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
BMWV1VBN7C BMWV1VBN7C
| URI | m2://inv/BMWV1VBN7C |
|---|---|
| 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 2610.12120#SCPB (statement). In G9D4R1AXP8/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
BMWVWDMV1P BMWVWDMV1P
| URI | m2://inv/BMWVWDMV1P |
|---|---|
| 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.38228#8Q6Q (statement). In 9YAE8FNQST/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Covariance bound BMWVY6469Z
| URI | m2://inv/BMWVY6469Z |
|---|---|
| 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#VH58, Covariance bound (statement). In YXRKS451PK/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Result BMX1NCD5F6
| URI | m2://inv/BMX1NCD5F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Press–Schechter formalism#U7OW, Result (statement)
History
- 2026-11-02: add by m2/dev
BMX4Y5T2T9 BMX4Y5T2T9
| URI | m2://inv/BMX4Y5T2T9 |
|---|---|
| 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 2609.22011#W2X9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Surrogate bound at the tilt $s=\frac1\beta$ BMX7BV088B
| URI | m2://inv/BMX7BV088B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#SXLH, Surrogate bound at the tilt $s=\frac1\beta$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
BMXDZZF0FM BMXDZZF0FM
| URI | m2://inv/BMXDZZF0FM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#IADX (example). In ABS9M47F4K/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.6
Varifold BMXKV0SPNX
| URI | m2://inv/BMXKV0SPNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Varifold, Varifold (definition). Also Wikidata Q7915890
History
- 2026-11-02: add by m2/dev
Lima Puluh Kota BMXMHFBH9W
| URI | m2://inv/BMXMHFBH9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VLFW, Lima Puluh Kota (unknown)
History
- 2026-11-02: add by m2/dev
BMXQKHSTB9 BMXQKHSTB9
| URI | m2://inv/BMXQKHSTB9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#P6MY (example). In 9ZSNSJRJ5N/e1, example 52
History
- 2026-10-27: add by m2/v0.4.2
BMXQWRBXJV BMXQWRBXJV
| URI | m2://inv/BMXQWRBXJV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 50.13
History
- 2026-11-01: add by m2/v0.6.13
Definition BMXTPWXGVP
| URI | m2://inv/BMXTPWXGVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosmann lift#YKGM, Definition (definition)
History
- 2026-11-02: add by m2/dev
BMXVB5344K BMXVB5344K
| URI | m2://inv/BMXVB5344K |
|---|---|
| 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.17349#XLK8 (statement). In FCCV2ZABPM/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
∝ BMY4V5BP45
| URI | m2://inv/BMY4V5BP45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#73ZF, ∝ (definition)
History
- 2026-11-02: add by m2/dev
\code{odd\_of\_powerful\_triple BMY6QDWBEQ
| URI | m2://inv/BMY6QDWBEQ |
|---|---|
| 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.25011#WLYW, \code{odd\_of\_powerful\_triple (statement)
History
- 2026-11-01: add by m2/v0.6.15
Giorgio Bidone BMYBV8GG5M
| URI | m2://inv/BMYBV8GG5M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giorgio Bidone, Giorgio Bidone (topic). Also Wikidata Q3765296
History
- 2026-11-02: add by m2/dev
Olvi L. Mangasarian BMYE263MZ8
| URI | m2://inv/BMYE263MZ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olvi L. Mangasarian, Olvi L. Mangasarian (topic). Also Wikidata Q15837516
History
- 2026-11-02: add by m2/dev
BMYNNQQF3Y BMYNNQQF3Y
| URI | m2://inv/BMYNNQQF3Y |
|---|---|
| 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.29653#FOZM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Narayana number BMYT7YQJN7
| URI | m2://inv/BMYT7YQJN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6965520, Narayana number (unknown). Also MathWorld NarayanaNumber, OEIS A001263
- wikipedia: Wikipedia Narayana number, Narayana number (definition). Also Wikidata Q6965520
History
- 2026-10-26: add by m2/dev
Consistency BMYTK868B6
| URI | m2://inv/BMYTK868B6 |
|---|---|
| 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.21710#MSY7, Consistency (statement)
History
- 2026-11-02: add by m2/v0.6.18
HP 20b BMYV7DKE38
| URI | m2://inv/BMYV7DKE38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP 20b, HP 20b (definition). Also Wikidata Q5635547
History
- 2026-11-02: add by m2/dev
Totally transcendental extension BMYVVR5JN8
| URI | m2://inv/BMYVVR5JN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#LFVY, Totally transcendental extension (definition)
History
- 2026-11-02: add by m2/dev
BMYY3MZ16N BMYY3MZ16N
| URI | m2://inv/BMYY3MZ16N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#HXA0 (statement). In GK1V5GEHTK/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Fibered knot BMZ0CF2119
| URI | m2://inv/BMZ0CF2119 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#MG1P, Fibered knot (definition)
History
- 2026-11-02: add by m2/dev
BMZ4GTHCTM BMZ4GTHCTM
| URI | m2://inv/BMZ4GTHCTM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 69.3
History
- 2026-11-01: add by m2/v0.6.13
Mordechai Finzi BMZ4WF49EY
| URI | m2://inv/BMZ4WF49EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordechai Finzi, Mordechai Finzi (topic). Also Wikidata Q1703298
History
- 2026-11-02: add by m2/dev
BMZA1Y391W BMZA1Y391W
| URI | m2://inv/BMZA1Y391W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31781#VAWW (statement). In WTTVKKNPE6/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
Antiderivative BMZBS6JRVZ
| URI | m2://inv/BMZBS6JRVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiderivative, Antiderivative (definition). Also Wikidata Q114326
History
- 2026-11-02: add by m2/dev
Mixed second moments and profile comparison BMZFVB2XDB
| URI | m2://inv/BMZFVB2XDB |
|---|---|
| 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.19356#P6QM, Mixed second moments and profile comparison (statement). In 2B5QA28NCX/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
David R. Morrison BMZK686E4E
| URI | m2://inv/BMZK686E4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David R. Morrison (mathematician), David R. Morrison (topic). Also Wikidata Q15804812
History
- 2026-11-02: add by m2/dev
Polynomial solutions of P-recursive equations BMZVHMM4ZS
| URI | m2://inv/BMZVHMM4ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial solutions of P-recursive equations, Polynomial solutions of P-recursive equations (definition). Also Wikidata Q56291989
History
- 2026-11-02: add by m2/dev