Interval arithmetic
Interval arithmetic is a computer arithmetic for (mathematical) intervals[1][2][3].
Definition
eeditFor real intervals (interval o real numbers), interval arithmetic is defined as follows:[1][2][3]
- Addition:
- Subtraction:
- Multiplication:
- Division:
- where
Details
eeditApplications
eeditInterval arithmetic is mainly usit i the field o validatit numerics[4]. It is also usit i other technical areas[5].
Implementations
eeditSyne the birth o interval arithmetic, many experts have made interval arithmetic programs. The most famous works are INTLAB (made wi MATLAB)[6], arb[7], JuliaIntervals[8][9], an kv[10].
Community
eeditThare are several international conferences aboot interval arithmetic. Ane o the most largest meetin is the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics[11][12][13]. Thare are also SWIM SWIM (Small Workshop on Interval Methods), PPAM (International Conference on Parallel Processing and Applied Mathematics), an REC (International Workshop on Reliable Engineering Computing).
References
eedit- ↑ a b Mayer, G. (2017). Interval analysis: and automatic result verification. Walter de Gruyter GmbH & Co KG.
- ↑ a b Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to Interval Analysis. Society for Industrial and Applied Mathematics.
- ↑ a b Alefeld, G., & Mayer, G. (2000). Interval analysis: theory and applications. Journal of Computational and Applied Mathematics, 121(1-2), 421-464.
- ↑ Tucker, W. (2011). Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press.
- ↑ Jaulin, L. Kieffer, M., Didrit, O. Walter, E. (2001). Applied Interval Analysis. Berlin: Springer.
- ↑ S.M. Rump: INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77-104. Kluwer Academic Publishers, Dordrecht, 1999.
- ↑ Johansson, F. (2017). Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Transactions on Computers, 66(8), 1281-1292.
- ↑ Sanders, D. P., Benet, L., & Kryukov, N. (2016). The julia package ValidatedNumerics. jl and its application to the rigorous characterization of open billiard models. SCAN 2016, 124.
- ↑ ValidatedNumerics.jl: a new framework in Julia, David P. Sanders and Luis Benet, SCAN 2018.
- ↑ Overview of kv – a C++ library for verified numerical computation, Masahide Kashiwagi, SCAN 2018.
- ↑ Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers. Editors: Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker. Published by Springer.
- ↑ 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN'2008), Proceedings of a meeting held 29 September - 3 October 2008, El Paso, Texas, USA. Special volume devoted to materials presented at SCAN 2012. Published by the Institute of Computational Technologies
- ↑ 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), Proceedings of a meeting held 26-29 September 2006, Duisburg, Germany. Published by the Institute of Electrical and Electronics Engineers
External links
eedit- Interval arithmetic (Wolfram Mathworld)
- Interval Methods from Arnold Neumaier Archived 2020-12-02 at the Wayback Machine
Workshops
eedit- SWIM (Summer Workshop on Interval Methods)
- International Conference on Parallel Processing and Applied Mathematics
Libraries
eedit- INTLAB, Institute for Reliable Computing Archived 2020-01-30 at the Wayback Machine
- Ball arithmetic by Joris van der Hoeven
- kv - a C++ Library for Verified Numerical Computation
- Arb - a C library for arbitrary-precision ball arithmetic
- Interval and related software Archived 2020-05-13 at the Wayback Machine