The following pages link to M. S. Lvov (Q289807):
Displayed 13 items.
- Analysis of linear definite iterative loops (Q289808) (← links)
- Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366) (← links)
- The structure of polynomial invariants of linear loops (Q891730) (← links)
- Algebraic approach to the problem of solving systems of linear inequalities (Q1957004) (← links)
- The replenishment algorithm in algebras of sets (Q2058702) (← links)
- Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry (Q2103834) (← links)
- Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling (Q2263246) (← links)
- A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)
- Polynomial invariants for linear loops (Q2452765) (← links)
- (Q3687686) (← links)
- Invariant inequalities in programs interpreted over an ordered field (Q3777432) (← links)
- (Q4729341) (← links)
- (Q5686241) (← links)