|
Zapiski Nauchnykh Seminarov LOMI, 1971, Volume 20, Pages 97–103
(Mi znsl2400)
|
|
|
|
A sufficient condition for the recursive convergence of a monotone sequence
Yu. V. Matiyasevich
Abstract:
It is shown that a bounded monotone recursive sequence of recursive real numbers is recursively convergent provided its members satisfy a recurrent equation of some (rather general) form.
Citation:
Yu. V. Matiyasevich, “A sufficient condition for the recursive convergence of a monotone sequence”, Studies in constructive mathematics and mathematical logic. Part IV, Zap. Nauchn. Sem. LOMI, 20, "Nauka", Leningrad. Otdel., Leningrad, 1971, 97–103
Linking options:
https://www.mathnet.ru/eng/znsl2400 https://www.mathnet.ru/eng/znsl/v20/p97
|
Statistics & downloads: |
Abstract page: | 729 | Full-text PDF : | 236 |
|