Ключевое слово: «доказательство алгоритма»

Изотов В. Н., Морозова Т. В. Алгоритмизация приближенных методов решения задачи унификации // Научно-методический электронный журнал «Концепт». – 2015. – № 10 (октябрь). – С. 21–25. – URL: http://e-koncept.ru/2015/15339.htm.
Полный текст статьи Читать онлайн Статья в РИНЦ
Рассмотрены алгоритмы приближенных методов решения одноуровневой многомерной задачи унификации. Приведено обоснование алгоритма отбора переменных, использующего приближённые алгоритмы. Доказана точность получаемых решений, найденных с помощью алгоритма отбора переменных. Исследована эффективность алгоритма.