机译:自伴微分算子的经验证特征值边界的框架
Self-adjoint differential operator; Eigenvalue bounds; Non-conforming finite element method; Quantitative error estimation; Verified computation;
机译:自伴微分算子的经验证特征值边界的框架
机译:有界算子扰动的离散自伴算子特征值的计算
机译:一种用于检测自伴算子离散谱中极限间隙的极限特征值的策略
机译:用于自伴差分运算符的验证较低特征值的框架
机译:自伴四阶常微分算子的特征值渐近性
机译:自伴算子特征值的局部两侧界
机译:自伴算子特征值的局部两侧界