...
机译:加速精确保证自动方程周期解的数值计算:定期溶液的计算与初级阶段的应用
早稲田大学理工学術院応用数理学科;
自励型時間遅延ダフィング方程式; 精度保証付き数値計算; 周期解の存在証明; ガレルキン近似とのタイトな誤差評価;
机译:加速精确保证自动方程周期解的数值计算:定期溶液的计算与初级阶段的应用
机译:时间延迟定期解的精度延迟Duffing方程保证数值计算
机译:时间延迟定期解的精度延迟Duffing方程保证数值计算
机译:基于C ++的偏微分方程解的计算机辅助存在证明方法的精度保证数值库的构建
机译:非线性方程解的具有保证精度的数值计算研究
机译:保证精度的马尔可夫决策过程中阈值概率的数值计算(保证精度的数值方法及相关主题)