Львов, М.С.; Песчаненко, В.С.; Летичевский, А.А.; Тарасич, Ю.Г.; Баев, А.С.
(Кибернетика и системный анализ, 2018)
Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ...