Tarasich, Yu.; Lvov, M.; Peschanenko, V.; Letychevskyi, O.; Тарасіч, Ю. Г.; Львов, М. С.; Песчаненко, В. С.; Летичевський, О. О.
(2017)
A brief review and the results of working with tools for the formulae simplifying are presented. The algorithm for constructing the canonical forms of linear semi-algebraic formulae over the enumerated and multiple types ...