1. Beckermann, B., Filip, S., Nakatsukasa, Y., Trefethen, L.N.: Rational minimax approximation via adaptive barycentric representations. SIAM J. Sci. Comput. 40(4), A2427–A2455 (2018)
2. Berz, M., et al.: The COSY INFINITY web page,.https://www.bmtdynamics.org/index_cosy.htm
3. Berz, M., Makino, K.: Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning. Int. J. Differ. Equ. 10(4), 105–136 (2005)
4. Berz, M., Makino, K.: Rigorous integration of flows and ODEs using Taylor models. Proceedings of the 2009 conference on symbolic numeric computation, 79–84 (2009). https://doi.org/10.1145/1577190.1577206
5. Bilotta, G.: Self-verified extension of affine arithmetic to arbitrary order. Le Matematiche 63(1), 15–30 (2008)