Author:
Ceberio Martine,Kosheleva Olga,Kreinovich Vladik
Publisher
Springer International Publishing
Reference7 articles.
1. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
2. Hinman, P.: Fundamentals of Mathematical Logic. A. K. Peters, Natick, Massachusetts (2005)
3. Jaulin, L., Kiefer, M., Didrit, O., Walter, E.: Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control, and Robotics. Springer, London (2001)
4. Mayer, G.: Interval Analysis and Automatic Result Verification. de Gruyter, Berlin (2017)
5. Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)