Abstract
We propose an arithmetic of function intervals as a basis for convenient rigorous numerical computation. Function intervals can be used as mathematical objects in their own right or as enclosures of functions over the reals. We present two areas of application of function interval arithmetic and associated software that implements the arithmetic: (1) Validated ordinary differential equation solving using the AERN library and within the Acumen hybrid system modeling tool. (2) Numerical theorem proving using the PolyPaver prover.
This work was supported by EPSRC grant EP/C01037X/1, Altran Technologies SA, the US NSF CPS award 1136099 and Swedish KK-Foundation CERES Centre.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. Presented at SIBGRAPI 1993, Recife, PE, Brazil (October 1993)
Darulova, E., Kuncak, V.: Sound compilation of reals. SIGPLAN Not. 49(1), 235–248 (2014)
Duracz, J., Konečný, M.: Polynomial function intervals for floating-point software verification. Annals of Mathematics and Artificial Intelligence 70, 351–398 (2014)
Edalat, A., Pattinson, D.: A domain-theoretic account of Picard’s theorem. LMS Journal of Computation and Mathematics 10, 83–118 (2007)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains. Encycloedia of Mathematics and its Applications, vol. 93. Cambridge University Press (2003)
Kaucher, E.: Interval analysis in the extended interval space IR. Computing Suppl. 2, 33–49 (1980)
Konečný, M., Taha, W., Duracz, J., Duracz, A., Ames, A.: Enclosing the behavior of a hybrid system up to and beyond a Zeno point, pp. 120–125. IEEE (2013)
Makino, K., Berz, M.: New applications of Taylor model methods. In: Automatic Differentiation of Algorithms: From Simulation to Optimization, ch. 43, pp. 359–364. Springer (2002)
Makino, K., Berz, M.: Rigorous integration of flows and odes using taylor models. In: Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC 2009, pp. 79–84. ACM, New York (2009)
Müller, T.N., Moiske, B.: Solving initial value problems in polynomial time. In: Proc. 22 JAIIO - PANEL 1993, Part 2, pp. 283–293 (1993)
Müller, N.T.: The iRRAM: Exact arithmetic in C++. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, pp. 222–252. Springer, Heidelberg (2001)
Tucker, W.: A rigorous ODE solver and Smale’s 14th problem. In: Foundations of Computational Mathematics, pp. 53–117 (2002)
Warmus, M.: Calculus of approximations. Bull. Acad. Polon. Sci. Cl. III IV(5), 253–259 (1956)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Duracz, J., Farjudian, A., Konečný, M., Taha, W. (2014). Function Interval Arithmetic. In: Hong, H., Yap, C. (eds) Mathematical Software – ICMS 2014. ICMS 2014. Lecture Notes in Computer Science, vol 8592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_101
Download citation
DOI: https://doi.org/10.1007/978-3-662-44199-2_101
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44198-5
Online ISBN: 978-3-662-44199-2
eBook Packages: Computer ScienceComputer Science (R0)