Интервальные арифметики.
Интервальные векторы и матрицы.
Интервальное оценивание областей значений функций.
Постановки интервальных задач.
Множества решений интервальных систем уравнений.
Решение интервальной линейной задачи о допусках.
Внешнее оценивание объединенного множества решений.
Доказательное решение уравнений и систем уравнений.
Внешнее оценивание обобщенных множеств решений.
Оптимальное внешнее оценивание множеств решений.
Внутреннее оценивание множеств решений.
Численое нахождение формальных решений.