1. Hofschuster, W., Krämer, W.: C-XSC 2.0 - A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds) NUMERICAL SOFTWARE WITH RESULT VERIFICATION, LNCS, vol. 2991, pp. 15–35. Springer, Berlin, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24738-8_2
2. Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Krämer, W.: FILIB++, a Fast Interval Library Supporting Containment Computations. ACM TOMS 32(2), 299–324 (2006). http://www.xsc/de
3. Heimlich, O.: Interval arithmetic in GNU Octave. In: SWIM 2016, 9th Summer Workshop on Interval Methods. ENS de Lyon, France (2016)
4. Sanders, D.P., Benet, L., Ferranti, L., et al.: ValidatedNumerics.jl. https://github.com/JuliaIntervals/ValidatedNumerics.jl
5. Mascarenhas, W.F.: Moore: Interval arithmetic in modern C++ (2016) arXiv preprint arXiv:1611.09567