Abstract
Computations on a computer with a floating point arithmetic are always approximate. Conversely, computations with the rational arithmetic (in CAS, for example) are always absolutely exact and reproducible both on other computers and (theoretically) by hand. Consequently, these computations can be demonstrative in a sense that a proof obtained with their help is no different from a traditional one (computer assisted proof). However, usually such computations are impossible in a sufficiently complicated problem due to restricted resources of memory and time. We propose a mechanism of rounding off rational numbers in computations with rational arithmetic, which solves this problem, i.e., computations can still be demonstrative but do not require unbounded resources. We give some examples of implementation of standard numerical algorithms with this arithmetic. The results have applications to analytical number theory.
Publisher
Keldysh Institute of Applied Mathematics
Subject
General Materials Science
Reference19 articles.
1. Borwein J., Bailey D., Gigensohn R. Experimentation in Mathematics: computational paths to discovery. A K Peters, Natick. (2004).
2. Арнольд В.И. Экспериментальная математика. ФАЗИС. Москва. (2005).
3. Hammer R., et.al. Numerical Toolbox for Verified Computing I. Springer. (1993).
4. Appel K., Haken W. Solution of the Four Color Map Problem // Scientific American, V. 237, N 4. P. 108-121. (1977).
5. Варин В.П. Преобразование последовательностей в доказательствах иррациональности некоторых фундаментальных констант // Ж. вычисл. матем. и матем. физ. Т.62. N 10. С. 1587-1614. (2022).