M. S. Lvov

Available identifiers

zbMath Open lvov.m-sMaRDI QIDQ289807

List of research outcomes

Publication	Date of Publication	Type
Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry	2022-12-09	Paper
The replenishment algorithm in algebras of sets	2021-12-09	Paper
Analysis of linear definite iterative loops	2016-05-31	Paper
The structure of polynomial invariants of linear loops	2015-11-17	Paper
A method of proving the invariance of linear inequalities for linear loops	2015-03-18	Paper
Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling	2015-03-18	Paper
Nonlinear invariants for linear loops and eigenpolynomials of linear operators	2014-10-27	Paper
Polynomial invariants for linear loops	2014-06-05	Paper
Algebraic approach to the problem of solving systems of linear inequalities	2010-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4729341	1988-01-01	Paper
Invariant inequalities in programs interpreted over an ordered field	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3687686	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5686241	1973-01-01	Paper

Research outcomes over time

This page was built for person: M. S. Lvov