On the use of the infinity computer architecture to set up a dynamic precision floating-point arithmetic

DOI10.1007/S00500-020-05220-ZzbMATH Open1491.65179arXiv2002.10220OpenAlexW3047437894WikidataQ114229192 ScholiaQ114229192MaRDI QIDQ2156894FDOQ2156894

Felice Iavernaro, Pierluigi Amodio, Luigi Brugnano, Francesca Mazzia

Publication date: 21 July 2022

Published in: Soft Computing (Search for Journal in Brave)

Abstract: We devise a variable precision floating-point arithmetic by exploiting the framework provided by the Infinity Computer. This is a computational platform implementing the Infinity Arithmetic system, a positional numeral system which can handle both infinite and infinitesimal quantities symbolized by the positive and negative finite powers of the radix grossone. The computational features offered by the Infinity Computer allows us to dynamically change the accuracy of representation and floating-point operations during the flow of a computation. When suitably implemented, this possibility turns out to be particularly advantageous when solving ill-conditioned problems. In fact, compared with a standard multi-precision arithmetic, here the accuracy is improved only when needed, thus not affecting that much the overall computational effort. An illustrative example about the solution of a nonlinear equation is also presented.

Full work available at URL: https://arxiv.org/abs/2002.10220

zbMATH Keywords

conditioninginfinity computerdynamic precision floating-point arithmetic

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04)

Cites Work

• Title not available (Why is that?)
• Numerical computations and mathematical modelling with infinite and infinitesimal numbers
• Metamathematical investigations on the theory of grossone
• A classification of one-dimensional cellular automata using infinite computations
• Fifty Years of Stiffness
• A new applied approach for executing computations with infinite and infinitesimal quantities
• The use of grossone in mathematical programming and operations research
• Interpretation of percolation in terms of infinity computations
• On strong homogeneity of two global optimization algorithms based on statistical models of multimodal objective functions
• Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
• Higher order numerical differentiation on the infinity computer
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• Usage of infinitesimals in the Menger's sponge model of porosity
• Numerical algorithms for high-performance computational science
• Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
• Accelerating the Solution of Linear Systems by Iterative Refinement in Three Precisions
• A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic
• Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer
• On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
• Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite
• Numerical infinitesimals in a variable metric method for convex nonsmooth optimization
• A Simulink-Based Infinity Computer Simulator and Some Applications
• A Dynamic Precision Floating-Point Arithmetic Based on the Infinity Computer Framework

Cited In (2)

• Novel first and second order numerical differentiation techniques and their application to nonlinear analysis of Kirchhoff-Love shells
• To the special issue dedicated to the 3rd international conference ``Numerical computations: theory and algorithms -- NUMTA 2019 June 15--21, 2019, Isola Capo Rizzuto, Italy

This page was built for publication: On the use of the infinity computer architecture to set up a dynamic precision floating-point arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2156894)