机译:数值计算的三维Navier-Stokes方程的后验正则性
机译:非线性方程的经过验证的数值计算
机译:经过验证的非线性方程式数值计算
机译:使用发展算子对半线性抛物方程解的经过验证的计算
机译:大型线性时不变系统模型简化中产生的矩阵方程的数值解。
机译:视觉对象的不变识别:一些新兴的计算原理
机译:三维Navier-stokes方程的后验正则性 来自Numerical Computations
机译:一类非线性发展方程的解析和数值方面。 4.数值,修正的Korteweg-de Vries方程