1. Babichev, A., Kadyrova, O., Kashevarova, T., Leshchenko, A., Semenov, A.: Unicalc, a novel approach to solving systems of algebraic equations. Interval Comput. 2, 29–47 (1993)
2. Carreras, C., López, J.A., Nieto-Taladriz, O.: Bit-width selection for data-path implementations. In: Proceedings of the 12th International Symposium on System Synthesis, 1999, pp. 114–119. IEEE (1999)
3. Dimitrova, N., Hayes, N., Markov, S.: Motion 12: Inner Addition/Subtraction Over Intervals (2014).
http://grouper.ieee.org/groups/1788/email/pdfa3iJjAu21f.pdf
4. Domes, F.: JGloptLab—A Rigorous Global Optimization Software (2016).
http://www.mat.univie.ac.at/~dferi/publications.html
(in preparation)
5. Domes, F., Neumaier, A.: Constraint propagation on quadratic constraints. Constraints 15, 404–429 (2010).
http://www.mat.univie.ac.at/~dferi/research/Propag.pdf