Author:
Contreras Angel Fernando Garcia,Ceberio Martine
Publisher
Springer International Publishing
Reference14 articles.
1. Berz, M., Makino, K.: Verified integration of odes and flows using differential algebraic methods on high-order Taylor models. Reliable Comput. 4(4), 361–369 (1998)
2. Chabert, G.: Ibex, an interval-based explorer (2007)
3. Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173(11), 1079–1100 (2009)
4. dit Sandretto, J.A., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliable Comput. 22(1), 79–103 (2016)
5. Lecture Notes in Computer Science;E Goubault,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献