УДК 681.3
Баева Н.В., Большакова Е.И.
ПРОБЛЕМЫ АВТОМАТИЗАЦИИ
КОНТРОЛЯ УЧЕБНО-НАУЧНЫХ ТЕКСТОВ
МГУ им. М.В.Ломоносова, факультет ВМК
Приводится краткий обзор программных систем проверки учебно-научных текстов, дается сравнительная характеристика их функциональных возможностей, намечаются пути дальнейшего развития подобных систем.
Ключевые слова: учебно-научные тексты, автоматический контроль текстов, редактирование текстов