Validated bounds on embedding constants for Sobolev space Banach algebras
DOI10.1002/mma.5294zbMath1414.46027OpenAlexW2898114151WikidataQ129011826 ScholiaQ129011826MaRDI QIDQ4614536
Publication date: 31 January 2019
Published in: Mathematical Methods in the Applied Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/mma.5294
Sobolev spaceBanach algebrainterval arithmeticembedding theoremscomputer-assisted proofembedding constant
Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Boundary value problems for nonlinear higher-order PDEs (35G30) Interval and finite arithmetic (65G30) Banach algebras of differentiable or analytic functions, (H^p)-spaces (46J15) Algorithms with automatic result verification (65G20)
Related Items (3)
This page was built for publication: Validated bounds on embedding constants for Sobolev space Banach algebras