Author:
Tang Xuan,Ferguson Zachary,Schneider Teseo,Zorin Denis,Kamil Shoaib,Panozzo Daniele
Publisher
Springer International Publishing
Reference28 articles.
1. Abrams, S., et al.: Efficient and reliable methods for rounded-interval arithmetic. Comput.-Aid. Des. 30(8), 657–665 (1998). https://doi.org/10.1016/S0010-4485(97)00086-9, http://www.sciencedirect.com/science/article/pii/S0010448597000869
2. Benet, L., Sanders, D.: Juliaintervals.jl package - Rigorous numerics with interval arithmetic & applications (2015). https://github.com/JuliaIntervals/IntervalArithmetic.jl
3. Benhamou, F., Older, W.J.: Applying interval arithmetic to real, integer, and Boolean constraints. J. Logic Program. 32(1), 1–24 (1997). https://doi.org/10.1016/S0743-1066(96)00142-2, http://www.sciencedirect.com/science/article/pii/S0743106696001422
4. Brönnimann, H., Melquiond, G., Pion, S.: The design of the Boost interval arithmetic library. Theor.l Comput. Sci. 351(1), 111–118 (2006). https://doi.org/10.1016/j.tcs.2005.09.062, http://www.sciencedirect.com/science/article/pii/S0304397505006110, real Numbers and Computers
5. Chabert, G.: IBEX (2007). http://www.ibex-lib.org/