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
Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling	2015-03-18	Paper
A method of proving the invariance of linear inequalities for linear loops	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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