Опубликована статья "Алгоритмизация приближенных методов решения задачи унификации" Авторы: Изотов В. Н., Морозова Т. В. Аннотация: Рассмотрены алгоритмы приближенных методов решения одноуровневой многомерной задачи унификации. Приведено обоснование алгоритма отбора переменных, использующего приближённые алгоритмы. Доказана точность получаемых решений, найденных с помощью алгоритма отбора переменных. Исследована эффективность алгоритма.