Author:
Contreras Angel F. Garcia,Ceberio Martine
Publisher
Springer Nature Switzerland
Reference17 articles.
1. Berz, M., Makino, K.: Verified integration of odes and flows using differential algebraic methods on high-order taylor models. Reliable Comput. 4, 361–369 (1998)
2. Butcher, J.C.: Numerical Methods for Ordinary Differential Equations. Wiley, Hoboken (2016)
3. Chabert, G.: Ibex - an interval-based explorer. Online slides (2007). https://agora.bourges.univ-orleans.fr/ramdani/gtmea/legacy/www2.lirmm.fr/ensemble/IMG/pdf/slides_chabert.pdf
4. Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173(11), 1079–1100 (2009)
5. Collavizza, H., Delobel, F., Rueher, M.: Comparing partial consistencies. Reliable Comput. 5(3), 213–228 (1999)