1. O. Aberth, Precise Numerical Analysis Using
C++ (Academic Press, New York, 1998).
2. M. Afravi, V. Kreinovich, and T. Dumrongpokaphan, “Metric spaces under
interval uncertainty: towards an adequate definition,” In: G. Sidorov and O.
Herrera-Alcántara (Eds.), Advances in Computational
Intelligence: Proceedings of the 15th Mexican International Conference on Artificial Intelligence
MICAI’2016, Cancun, Mexico, October 25–29, 2016, Part $$I
$$, Springer
Lecture Notes in Artificial Intelligence, 10061 (Cham,
Switzerland, 2017).
3. M. J. Beeson, Foundations of constructive
mathematics (Springer-Verlag, New York, 1985).
4. E. Bishop, Foundations of Constructive
Analysis (McGraw-Hill, New York, 1967).
5. E. Bishop and D. S. Bridges, Constructive
Analysis (Springer, New York, 1985).