Abstract
For systems of equations and/or inequalities under interval uncertainty, interval computations usually provide us with a box whose all points satisfy this system. Reverse mathematics means finding necessary and sufficient conditions, i.e., in this case, describing the set of all the points that satisfy the given system. In this paper, we show that while we cannot always exactly describe this set, it is possible to have a general algorithm that, given \(\varepsilon >0\), provides an \(\varepsilon \)-approximation to the desired solution set.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
Hinman, P.: Fundamentals of Mathematical Logic. A. K. Peters, Natick, Massachusetts (2005)
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)
Mayer, G.: Interval Analysis and Automatic Result Verification. de Gruyter, Berlin (2017)
Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)
Stillwell, J.: Reverse Mathematics: Proofs from the Inside Out. Princeton University Press, Princeton, New Jersey (2018)
Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)
Acknowledgements
This work was supported in part by the US National Science Foundation grant HRD-1242122.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Ceberio, M., Kosheleva, O., Kreinovich, V. (2020). Reverse Mathematics Is Computable for Interval Computations. In: Ceberio, M., Kreinovich, V. (eds) Decision Making under Constraints. Studies in Systems, Decision and Control, vol 276. Springer, Cham. https://doi.org/10.1007/978-3-030-40814-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-40814-5_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-40813-8
Online ISBN: 978-3-030-40814-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)