机译:非线性热对流问题分叉解的计算机辅助证明
机译:解决热对流问题的一些计算机辅助证明
机译:非线性振动中对称突破分叉现象的计算机辅助证明
机译:在非线性支持的梁中行驶波:计算机辅助存在和多重证明
机译:非线性现象的计算机辅助研究和可视化:二维不变流形,整体分叉和整体吸引子的鲁棒性。
机译:卡森流体在具有化学反应热辐射生热/吸收和对流边界条件的多孔介质中的非线性拉伸板上非定常MHD混合对流滑移
机译:关于Rayleigh-Benard问题解的分叉结构的一些计算机辅助证明(流体和气体动力学中的数学分析)