zbMATH中的参考文献(参考文献94篇)

显示第1到第20个结果,共94个。
按年份排序(引用)
  1. Asaithambi,Asai:使用算法微分法求解三级薄膜流(2020)
  2. Bünger,Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱(2020)
  3. 霍尔,扎克;Singla,Puneet:不确定Lambert问题和可达集问题概率解的高阶灵敏度矩阵法(2020)
  4. 韦斯科普夫,A。;阿梅林,罗伯托;Berz,M.:使用基于微分代数的规范形式方法在地球纬向问题中的有界运动设计(2020)
  5. 阿比亚拉通。;哎呀,A。;Erdelyi,B.:笛卡尔基自适应快速多极子方法,由算法微分实现(2019)
  6. 普朗奇,托马斯;Jung,Paul M.:粒子加速器模拟的辛算法和自洽算法(2019)
  7. 朔姆堡,赫尔曼D。;阿夫南阿尔马尔祖克;Erdelyi,Bela:基于Picard迭代的密集输出变阶积分器(2019)
  8. 索戈孔,安德鲁;杰克逊,保罗B。;Johnson,Taylor T.:使用流管和连续不变量验证混合系统的安全性和持久性(2019)
  9. 瓦雷托夫,埃雷米;伯兹,马丁;Makino,Kyoko:规范中静电偏转器转移图计算的验证(2019年)
  10. 拜登,在ılım guneş;珠穆特,巴拉克A。;拉杜尔,亚历克赛·安德烈耶维奇;Siskind,Jeffrey Mark:机器学习中的自动差异化:调查(2018)
  11. Bünger,Florian:重新审视Taylor模型的收缩包装(2018)
  12. 夏彭蒂埃,伊莎贝尔;Gustedt,Jens:\texttarbogast:具有模块化C的特殊功能的高阶自动微分(2018)
  13. 新墨西哥州埃夫斯蒂涅夫。;Ryabkov,O.I.:区间泰勒模型对常微分方程组中周期轨迹存在性的计算证明的适用性(2018)
  14. 马尔祖克,阿夫南;Erdelyi,Bela:碰撞(N)-体数值积分器及其在带电粒子动力学中的应用(2018)
  15. 穆利埃,奥利弗;查普特,亚历山大德;Alexandre dit Sandretto,Julien:带自动微分的Runge-Kutta方法局部截断误差的验证计算(2018)
  16. Pérez Palau,但以理;戈麦斯,杰拉德;Masdemont,Josep J.:使用多项式代数进行流传播的新细分算法(2018)
  17. 维莱加斯皮科,雨果内斯特;Aliprantis,Dionysios C.:具有恒定、任意和Lipschitz连续输入的线性动态系统的可达性分析(2018)
  18. 吴静来;罗震;李浩;张农:基于正交级数展开的结构混合不确定性优化方法(2017)
  19. 阿梅林,罗伯托;迪莉西亚,皮耶鲁吉;Zanetti,Renato:处理仅角度初始轨道确定的不确定性(2016年)
  20. 夏彭蒂埃,伊莎贝尔;Lampoh,Komlanvi:高阶连续法中的灵敏度计算(2016)