КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ
Международний научно-теоретический
журнал
Аннотация. Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения .
Ключевые слова: системы линейных неравенств, алгебраическое программирование, верификация программного обеспечения, канонические формы, линейные полуалгебраические формулы .
Львов Михаил Сергеевич,
доктор физ.-мат. наук, профессор, заведующий кафедрой Херсонского государственного университета, 
lvov@ksu.ks.ua
Песчаненко Владимир Сергеевич,
доктор физ.-мат. наук, доцент, профессор кафедры Херсонского государственного университета, vladim@ksu.ks.ua
Летичевский Александр Александрович,
доктор физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова
НАН Украины, Киев, lit@iss.org.ua
Тарасич Юлия Геннадиевна,
аспирантка Херсонского государственного университета, yutarasich@ksu.ks.ua, yutarasich@gmail.com
Баев Андрей Святославович,
студент Херсонского государственного университета, andreybayev95@gmail.com
