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.     

The Replenishment Algorithm in Algebras of Sets

Cybernetics and Systems Analysis - The algorithm described can be called the replenishment algorithm by analogy with the Buchberger and Knuth–Bendix algorithms. Specific implementations of...     

Modern Methods and Software Systems of Molecular Modeling and Application of Behavior Algebra

Cybernetics and Systems Analysis - The main methods of molecular modeling and specialized software for the development and analysis of molecular models are considered. In particular, the article...