ZBMaCT中的参考文献(87篇文章中引用)

显示结果1至20的87。
按年份排序(引文
  1. Bunngg,弗洛里安:求解Matlab/INTLAB(2020)中的ODE的泰勒模型工具箱
  2. 绍姆堡,Herman D.;Al Marzouk,Afnan;Erdelyi,Bela:基于算法差分的PICARD迭代稠密输出变阶积分器(2019)
  3. Sogokon,安得烈;杰克逊,Paul B.;约翰逊,Taylor T.:利用流管和连续不变量验证混合系统的安全性和持久性(2019)
  4. Baydin,Barak A.,Radul,Alexey Andreyevich,西斯金德,Jeffrey Mark:机器学习中的自动微分:一项调查(2018)
  5. 弗洛里安,泰勒模型的收缩包装(2018)
  6. Charpentier,伊莎贝尔;古施泰特,JeNe:TexTrutBuaster:用C(2018)模块实现特殊函数的高阶自动微分
  7. Evstigneev,N. M.;Ryabkov,O. I.:区间泰勒模型在常微分方程组中周期轨道存在性的计算证明中的适用性(2018)
  8. Marzouk,Afnan Al;Erdeli,Bela:碰撞(n)-体数值积分器及其在带电粒子动力学中的应用(2018)
  9. Mullier,奥利维尔;Chapoutot,亚历山大;Alexandre dit Sandretto,朱利安:具有自动微分的Runge-Kutta方法的局部截断误差的有效计算(2018)
  10. Villegas Pico,Hugo Nestor;阿利普兰提斯,Dionysios C.:具有常数、任意和Lipschitz连续输入的线性动态系统的可达性分析(2018)
  11. 吴;Jinglai;罗,甄;李,郝;张,农:一种新的结构正交级数展开混合不确定性优化方法(2017)
  12. Armellin,罗伯托;狄丽子阿,皮埃尔路易吉;萨内蒂,雷纳托:仅角初始轨道确定中的不确定性处理(2016)
  13. Charpentier,伊莎贝尔;兰波夫,KMLLVIV:高阶连续方法的灵敏度计算(2016)
  14. 佐丹奴,Paolo;吴,Enxin:费马回环中的微积分。i:积分(2016)
  15. 哈罗,勒克斯;卡纳德尔,马尔塔;菲格拉斯,Jordi Llu;Luque,亚历杭德罗;蒙德罗,Josep Maria:不变流形的参数化方法。从严格结果到有效计算(2016)
  16. Michal,塔哈,瓦利德;Bartha,Ferenc A.;Duracz,简;Duracz,Pig;Ames,γ:包围一个混合自动机达到和超过α点的行为(2016)
  17. 刘,庄庄;王,田树;李,俊峰:基于导数信息的不确定非线性系统的非介入式混合区间方法(2016)
  18. Miyaji,Tomoyuki;PrasyZyk,PaWe;Gameiro,Marcio;国分,Hiroshi;MISCHIKOW,康斯坦丁:用于多尺度面向集合计算的严格ODE积分器的研究(2016)
  19. Pe Rez GalavaN,卡洛斯;Bogle,I. David L.:确定化学工程中保证解的动态全局优化方法(2016)
  20. Emil I.,弗拉德,Adijac——Java类文件的自动区分(2016)