Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas - M. S. Lvov; V. S. Peschanenko; A. A. Letichevskij; Ju. G. Tarasich; A. S. Baev (Cybernetics and Systems Analysis, 2018)