A Dynamic Precision Floating-Point Arithmetic Based on the Infinity Computer Framework

  • Pierluigi Amodio
  • Luigi Brugnano
  • Felice IavernaroEmail author
  • Francesca Mazzia
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11974)


We introduce a dynamic precision floating-point arithmetic based on the Infinity Computer. This latter is a computational platform which can handle both infinite and infinitesimal quantities epitomized by the positive and negative finite powers of the symbol Open image in new window, which acts as a radix in a corresponding positional numeral system. The idea is to use the positional numeral system from the Infinity Computer to devise a variable precision representation of finite floating-point numbers and to execute arithmetical operations between them using the Infinity Computer Arithmetics. Here, numerals with negative finite powers of Open image in new window will act as infinitesimal-like quantities whose aim is to dynamically improve the accuracy of representation only when needed during the execution of a computation. An application to the iterative refinement technique to solve linear systems is also presented.


Infinity Computer Floating-point arithmetic Conditioning Iterative refinement 


  1. 1.
    Amodio, P., Iavernaro, F., Mazzia, F., Mukhametzhanov, M.S., Sergeyev, Y.D.: A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic. Math. Comput. Simul. 141, 24–39 (2016)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Bailey, D.H., Borwein, J.M.: High-precision arithmetic in mathematical physics. Mathematics 3(2), 337–367 (2015)CrossRefGoogle Scholar
  3. 3.
    Brugnano, L., Mazzia, F., Trigiante, D.: Fifty years of stiffness. In: Simos, T. (ed.) Recent Advances in Computational and Applied Mathematics, pp. 1–21. Springer, Dordrecht (2011). Scholar
  4. 4.
    De Cosmis, S., Leone, R.D.: The use of grossone in mathematical programming and operations research. Appl. Math. Comput. 218(16), 8029–8038 (2012)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Gaudioso, M., Giallombardo, G., Mukhametzhanov, M.S.: Numerical infinitesimals in a variable metric method for convex nonsmooth optimization. Appl. Math. Comput. 318, 312–320 (2018)zbMATHGoogle Scholar
  6. 6.
    Iavernaro, F., Mazzia, F., Mukhametzhanov, M.S., Sergeyev, Y.D.: Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer. Appl. Numer. Math. (2019). Scholar
  7. 7.
    Iavernaro, F., Mazzia, F., Trigiante, D.: Stability and conditioning in numerical analysis. J. Numer. Anal. Ind. Appl. Math. 1(1), 91–112 (2006)MathSciNetzbMATHGoogle Scholar
  8. 8.
    Moler, C.B.: Iterative refinement in floating point. J. ACM (JACM) 14(2), 316–321 (1967)CrossRefGoogle Scholar
  9. 9.
    Sergeyev, Y.D.: Solving ordinary differential equations by working with infinitesimals numerically on the infinity computer. Appl. Math. Comput. 219(22), 10668–10681 (2013)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Sergeyev, Y.D., Mukhametzhanov, M.S., Mazzia, F., Iavernaro, F., Amodio, P.: Numerical methods for solving initial value problems on the infinity computer. Int. J. Unconvent. Comput. 12(1), 3–23 (2016)Google Scholar
  11. 11.
    Sergeyev, Y.D.: A new applied approach for executing computations with infinite and infinitesimal quantities. Informatica 19(4), 567–596 (2008)MathSciNetzbMATHGoogle Scholar
  12. 12.
    Sergeyev, Y.D.: Higher order numerical differentiation on the infinity computer. Optim. Lett. 5(4), 575–585 (2011)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Sergeyev, Y.D., Kvasov, D., Mukhametzhanov, M.S.: On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales. Commun. Nonlinear Sci. Numer. Simul. 59, 319–330 (2018)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Sergeyev, Y.D.: Numerical computations and mathematical modelling with infinite and infinitesimal numbers. J. Appl. Math. Comput. 29(1–2), 177–195 (2009)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Sergeyev, Y.D.: Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems. EMS Surv. Math. Sci. 4(2), 219–320 (2017)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Sergeyev, Y.D.: Computer system for storing infinite, infinitesimal, and finite quantities and executing arithmetical operations with them. USA patent 7,860,914 (2010)Google Scholar
  17. 17.
    Žilinskas, A.: On strong homogeneity of two global optimization algorithms based on statistical models of multimodal objective functions. Appl. Math. Comput. 218(16), 8131–8136 (2012)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Dipartimento di MatematicaUniversità di BariBariItaly
  2. 2.Dipartimento di Matematica e Informatica “U. Dini”Università di FirenzeFirenzeItaly
  3. 3.Dipartimento di InformaticaUniversità di BariBariItaly

Personalised recommendations