web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000926962
Cybernetics and Systems Analysis   А - 2019 /  Issue (2018, Т. 54, № 6)
Львов М. С., Песчаненко В. С., Летичевский А. А., Тарасич Ю. Г., Баев А. С.
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ЛПФ, обладающей свойством единственности и другими полезными свойствами, а также описание алгоритма ее построения.
 https://doi.org/10.1007/s10559-018-0102-4
 Scopus
Бібліографічний опис:
Львов М. С., Песчаненко В. С., Летичевский А. А., Тарасич Ю. Г., Баев А. С. Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул. Кибернетика и системный анализ. 2018. Т. 54, № 6. С. 159-169. doi: https://doi.org/10.1007/s10559-018-0102-4 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000926962 |
 Cybernetics and Systems Analysis / Issue (2018, 54 (6))
Lvov M.,
Peschanenko V.,
Letychevskyi O.,
Tarasich Y.,
Baiev A.
Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas The results of testing formula simplification tools are presented in the first part of this paper. In the second part, an 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 a linear semi-algebraic formula that has the property of uniqueness and other useful properties. An algorithm for constructing such a formula is described. © 2018, Springer Science+Business Media, LLC, part of Springer Nature. Keywords: algebraic programming, canonical form, linear semialgebraic formula, software verification, system of linear inequalities, Verification, Algebraic formulas, Canonical form, linear semialgebraic formula, Software verification, System of linear inequalities, Useful properties, Algebra
Cite:
Lvov M.,
Peschanenko V.,
Letychevskyi O.,
Tarasich Y.,
Baiev A.
(2018). Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas. Cybernetics and Systems Analysis, 54 (6), 159-169. doi: https://doi.org/10.1007/s10559-018-0102-4 http://jnas.nbuv.gov.ua/article/UJRN-0000926962 [In Russian]. |
PDF