Cybernetics And Systems Analysis
International Theoretical Science
Journal
Abstract. The results of tests of formula simplification tools are presented in the first part of the paper. In the second part, the algorithm for constructing canonical forms of linear semi-algebraic formulas is described. The main result of the study is the definition of the canonical form of linear semi-algebraic formula, which has the property of uniqueness and other useful properties. The algorithm of its construction is described.
Keywords: systems of linear inequalities, algebraic programming, software verification, canonical forms, linear semialgebraic formulas.
