Описание тега fixed-point-iteration
Вопросы об итерации с фиксированной точкой, метод вычисления фиксированных точек функций. Для комбинаторов, используемых для кодирования рекурсии, используйте вместо этого [комбинаторы фиксированной точки]. Для арифметики с фиксированной точкой используйте вместо этого [fixed-point]. Для механизма фиксированной точки Z3 используйте вместо этого [z3-fixedpoint].
Неподвижной точкой функции f(x) является такое значение c, что f(c) = c. На словах функция берет свои фиксированные точки на себя. Неподвижные точки могут быть вычислены с помощью итеративного алгоритма. Различные задачи численного анализа могут быть выражены в терминах получения фиксированных точек, одним из примеров является метод Ньютона для получения корней уравнения (см. Тег newtons-method).