...
机译:研究代数和逻辑算法以解决代数生物学中的Hopf分支问题
Departamento de Matemáticas Estadística y Computación Facultad de Ciencias Universidad de Cantabria E-39071 Santander Spain;
Institut für Informatik II Universität Bonn Römerstr. 164 D-53117 Bonn Germany;
Institut für Informatik II Universität Bonn Römerstr. 164 D-53117 Bonn Germany;
Department of Mathematics Faculty of Sciences Semlalia Cadi Ayyad University P.O. Box 2390 Marrakech Morocco;
37G10; 92C45; 03C10; Hopf bifurcations; oscillations; dynamical systems; quantifier elimination over the reals; logical inconsistency checking;
机译:研究代数和逻辑算法以解决代数生物学中的Hopf分支问题
机译:确定三自由度系统中哈密顿Hopf分支的代数方法
机译:幂等和可解李代数的代数算法的下界
机译:研究解决代数生物学中Hopf分叉问题的通用方法
机译:滑动轴承的定性行为(霍夫分叉,POINCARE地图,计算机代数)
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:研究通用方法解决代数生物学中的Hopf分岔问题
机译:用manpack-manifold算法求解代数显式DaEs