Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry von M. S. Lvov

Volltext

Static analysis of the physical dimensions in "physical” programs and its implementation in algebraic programming von M. S. Lvov

Volltext

Analysis of linear definite iterative loops von M. C. Lvov

Volltext

The replenishment algorithm in algebra of sets von M. S. Lvov, Yu. H. Tarasich

Volltext

Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas von M. S. Lvov, V. S. Peschanenko, A. A. Letichevskij, Ju. G. Tarasich, A. S. Baev

Volltext