Advertisement

Algorithms and real numbers

  • N. M. Nagorny
Invited Lecturers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Шанин Н.А. Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Матем. инст. им. В.А.Стеклова АН СССР, 67 (1962), 15–294.PubMedGoogle Scholar
  2. 2.
    Кушнер Б.А. Лекции по конструктивному математическому анализу. Физматгиз, Москва, 1973.Google Scholar
  3. 3.
    Марков А.А. О нормальных алгорифмах, вычисляющих булевы функции. Доклады АН СССР, 157 No. 2 (1964), 262–264.Google Scholar
  4. 4.
    Цейтин Г.С. Теоремы о среднем значении в конструктивном анализе. Труды Матем. инст. им. В.А.Стеклова АН СССР, 67 (1962), 362–384.Google Scholar
  5. 5.
    Нагорный Н.М. Об алгорифмах для решения некоторых оптимизационных задач. Материалы к конфер. по опыту и персп. применения матем. методов и электр. вычисл. машин в планировании. Новосибирск, 1962, 3–5.Google Scholar
  6. 6.
    Кушнер Б.А. Некоторые массовые проблемы, связанные с интегрированием конструктивных функций. Труды Матем. инст. им. В.А.Стеклова АН СССР, 113 (1970), 39–72.Google Scholar
  7. 7.
    Нагорный Н.М. О минимальном алфавите алгорифмов над данным алфавитом. Труды Матем. инст. им. В.А.Стеклова АН СССР, 52 (1958), 66–74.Google Scholar
  8. 8.
    Канович М.И., Кушнер Б.А. Об оценке сложности некоторых массовых проблем анализа. Зап. научн. семинаров Ленингр. отд. Матем. инст. им. В.А.Стеклова АН СССР, 16 (1969), 81–90.Google Scholar
  9. 9.
    Канович М.И. Сложность предела шпекеровых последовательностей. Доклады АН СССР, 214 No. 5 (1974), 1020–1023.Google Scholar
  10. 10.
    Кушнер Б.А. Сложно-вычислимые действительные числа. Zeitschr. f. math. Logik und Grundlagen d. Math., 19 (1973), 447–452.Google Scholar
  11. 11.
    Bishop E. Foundations of constructive analysis. New York, 1967.Google Scholar
  12. 12.
    Martin-Löf P. Notes on constructive mathematics. Almqvist & Wiskell, Stockholm, 1970.Google Scholar
  13. 13.
    Kreisel G. Analysis of the Cantor — Bendixon theorem by means of analytic hierarchy. Bull. Acad. Polon. Sci., 7 (1959), 621–626.Google Scholar
  14. 14.
    Specker E. Nicht konstruktiv beweisbare Sätze der Analysis. Journ. Symbolic Logic, 14 No 3 (1949), 145–158.Google Scholar
  15. 15.
    Blum M.A. A machine-independent theory of the complexity of recursive functions. Journ. Ass. Comp. Mach., 14 No 2 (1967), 322–336.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • N. M. Nagorny
    • 1
  1. 1.Computing CenterAcademy of Sciences of the USSRMoscowUSSR

Personalised recommendations