С.П. Шарый - Институт вычислительных технологий СО РАН

40 1. Введение[29] Neumaier A. Interval methods for systems of equations. – Cambridge: CambridgeUniversity Press, 1990.Дополнительная[30] Годунов С.К., Антонов А.Г., Кирилюк О.Г., Костин В.И. Гарантированнаяточность решения систем линейных уравнений в евклидовых пространствах.– Новосибирск: Наука, 1988 и 1992.[31] Кушнер Б.А. Лекции по конструктивному математическому анализу. –Москва: Наука, 1973.[32] Мартин-Лёф П. Очерки по конструктивной математике. – Москва: Наука,1975.[33] Математический Энциклопедический Словарь. – Москва: Большая РоссийскаяЭнциклопедия, 1995.[34] IEEE Std 754-1985. IEEE Standard for Binary Floating-Point Arithmetic. – NewYork: IEEE, 1985.