Книга представляет собой учебник по базовым методам вычислительной математики, подготовленный университетскими преподавателями из Германии. В отличие от других подобных изданий, все численные методы излагаются в варианте с автоматической верификацией точности получаемых результатов. Для каждого метода приводятся его математическое обоснование, описание алгоритма и полный текст соответствующей программы. Все программы записаны на специально разработанном для реализации подобных методов языке программирования PASCAL-XSC, полное руководство по которому предполагается опубликовать 3-м изданием в серии "Компьютерные математические вычисления".
В книгу вошли описания численных методов для решения следующих задач: вычисление полиномов, автоматическое дифференцирование функций одной и нескольких переменных, решение линейных и нелинейных уравнений и систем, глобальная оптимизация, вычисление арифметических выражений, нахождение нулей комплексных полиномов, линейное программирование.
Учебник ранее издавался на немецком и английском языках. Русское издание дополнено информацией о новейших достижениях в данной области.
Для преподавателей, аспирантов и студентов вузов, научных работников и инженеров.

Достоверные вычисления и их компьютерная реализация.
Предисловие

1 Введение

I Основные понятия
2 Особенности PASCAL-XSC
3 Математические основы

II Одномерные задачи
4 Вычисление полиномов
5 Автоматическое дифференцирование
6 Нелинейные уравнения с одним неизвестным
7 Глобальная оптимизация
8 Вычисление арифметических выражений
9 Нули комплексных полиномов

III Многомерные задачи
10 Системы линейных уравнений
11 Линейное программирование
12 Многомерное автоматическое дифференцирование
13 Системы нелинейных уравнений
14 Глобальная оптимизация

Приложение
Вспомогательные модули
Литература
Предметный указатель