Abstract
This presentation gives an overview of ball arithmetic as a tool for computing with real numbers in the context of computer algebra, and discusses recent development to the Arb library.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
van der Hoeven, J.: Ball arithmetic (2009). http://hal.archives-ouvertes.fr/hal-00432152/fr/
Johansson, F.: Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Trans. Comput. 66, 1281–1292 (2017). https://doi.org/10.1109/TC.2017.2690633
Mezzarobba, M.: Rigorous multiple-precision evaluation of D-finite functions in SageMath (2016). arxiv:1607.01967
Fieker, C., Hart, W., Hofmann, T., Johansson, F.: Nemo/Hecke: computer algebra and number theory packages for the Julia programming language. In: ISSAC 2017, pp. 57–164. ACM (2017). https://doi.org/10.1145/3087604.3087611
Johansson, F.: Numerical integration in arbitrary-precision ball arithmetic. In: Davenport, J.H., Kauers, M., Labahn, G., Urban, J. (eds.) ICMS 2018. LNCS, vol. 10931, pp. 255–263. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96418-8_30
Johansson, F.: Faster arbitrary-precision dot product and matrix multiplication. In: ARITH26 (2019, to appear). arxiv:1901.04289
Geulig, I., Krämer, W., Grimmer, M.: intpakX 1.2. http://www2.math.uni-wuppertal.de/org/WRST/software/intpakX/
Revol, N., Rouillier, F.: Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliab. Comput. 11(4), 275–290 (2005). https://doi.org/10.1007/s11155-005-6891-y
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Johansson, F. (2020). Ball Arithmetic as a Tool in Computer Algebra. In: Gerhard, J., Kotsireas, I. (eds) Maple in Mathematics Education and Research. MC 2019. Communications in Computer and Information Science, vol 1125. Springer, Cham. https://doi.org/10.1007/978-3-030-41258-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-030-41258-6_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-41257-9
Online ISBN: 978-3-030-41258-6
eBook Packages: Computer ScienceComputer Science (R0)