Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry

за авторством M. S. Lvov
Опубліковано 2022

Static analysis of the physical dimensions in "physical” programs and its implementation in algebraic programming

за авторством M. S. Lvov
Опубліковано 2015

Analysis of linear definite iterative loops

за авторством M. C. Lvov
Опубліковано 2016

The replenishment algorithm in algebra of sets

за авторством M. S. Lvov, Yu. H. Tarasich
Опубліковано 2021

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
Опубліковано 2018