• ВХОД

    •  

    Полное описание

    Варин, Виктор Петрович. Рациональная арифметика с округлением / В. П. Варин. - Москва : ИПМ им. М. В. Келдыша РАН, 2023. - 25 с. : ил. - (Препринт / Институт прикладной математики имени М. В. Келдыша Российской академии наук (Москва), ISSN 2071-2898 ; 71 за 2023 г.). - Библиогр.: с. 23-25 (19 назв.). - 59 экз. - DOI 10.20948/prepr-2023-71. - Текст (визуальный) : непосредственный.
    На обложке: Российская академия наук - 300 лет.
    Содержание:
    Введение (о доказательных вычислениях) . - С. 3
    Цепная дробь K(x, n) как функция своих аргументов. - С. 6
    Функции K(x, n) и численные методы. - С. 10
    Вычисления с цепными дробями. - С. 14
    ГРНТИ УДК
    27.41.23519.6(04)

    Рубрики:
    Приближенные вычисления

    Кл.слова (ненормированные): ДОКАЗАТЕЛЬНЫЕ ВЫЧИСЛЕНИЯ -- КОМПЬЮТЕРЫ -- ПЛАВАЮЩАЯ АРИФМЕТИКА -- ПОДХОДЯЩИЕ ДРОБИ -- ПРИБЛИЖЕННЫЕ ВЫЧИСЛЕНИЯ -- СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ
    Аннотация: Вычисления на компьютере в плавающей арифметике всегда являются приближенными. Напротив, вычисления в рациональной арифметике (например, в компьютерной алгебре) всегда абсолютно точны и воспроизводимы как на других компьютерах, так и (теоретически) вручную. Поэтому такие вычисления могут быть доказательными в том смысле, что доказательство, полученное с их помощью, ничем не отличается от традиционного. Однако обычно такие вычисления в достаточно сложной задаче невозможны ввиду ограниченности ресурсов памяти и времени. Мы предлагаем механизм округления рациональных чисел при расчетах в рациональной арифметике, который решает эту проблему.
    Доп. точки доступа:
    Институт прикладной математики имени М. В. Келдыша (Москва)

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/71 за 2023 г.)

    Шифр в сводном ЭК: 4f501bc62a3306a9df13dc76af8b3314



    Заказ фрагмента документа ₽