...
机译:一维OHTA-Kawasaki模型中的计算机辅助证明杂循环连接
Jagiellonian Univ Inst Comp Sci &
Computat Math Ul S Lojasiewicza 6 PL-30348 Krakow Poland;
George Mason Univ Dept Math Sci Fairfax VA 22030 USA;
diblock copolymer model; dissipative partial differential equation; attractor structure; heteroclinic connection; multistability; computer-assisted proof;
机译:一维OHTA-Kawasaki模型中的计算机辅助证明杂循环连接
机译:一维Ginzburg-Landau方程的非平凡解的共存:计算机辅助证明
机译:4D Rossler系统中超混沌和混沌之间的共存和动态联系:计算机辅助证明
机译:在弹簧-质量模型中使用近似的异端连接重新构造智能结构
机译:在使用数学计算工具的情况下了解功能,证明和数学建模:中学数学教师及其策略和联系。
机译:使用异斜面连接重新配置智能表面
机译:计算机辅助证明了异宿连接 一维Ohta-Kawasaki模型
机译:天体力学中周期轨道与共振过渡的异宿连接