Author:
Thirioux Xavier,Maffart Alexis
Publisher
Springer International Publishing
Reference9 articles.
1. Pearlmutter, B.A., Siskind, J.: Lazy multivariate higher-order forward-mode AD. In: POPL 2007, January 2007
2. Sandretto, J.A.D., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliable Comput. 22(1), 79–103 (2016)
3. Geuvers, H., Niqui, M., Spitters, B., Wiedijk, F.: Constructive analysis, types and exact real numbers. Math. Struct. Comput. Sci. 17(1), 3–36 (2007).
https://doi.org/10.1017/S0960129506005834
4. Karczmarczuk, J.: Functional differentiation of computer programs. High. Order Symbolic Comput. 14(1), 35–57 (2001).
https://doi.org/10.1023/A:1011501232197
5. Makino, K., Berz, M.: Rigorous integration of flows and ODEs using Tylor models. In: Symbolic Numeric Computation, SNC 2009, Kyoto, 03–05 August 2009, pp. 79–84 (2009).
https://doi.org/10.1145/1577190.1577206