Kherson State University

Остання ревізія:

Головна Наукометричні показники

Загальна інформація

ПІБ: Львов Михайло Сергійович
Установа: Kherson State University
Факультет: Факультет фізики, математики та інформатики
Кафедра: Кафедра інформатики, програмної інженерії та економічної кібернетики

Scopus

ID: 35772818200
Індекс Хірша: 3
Документи: 19
Цитування: 36

Google Scholar

ID: pveyjOkAAAAJ
Індекс Хірша: 12
Цитування: 655

ORCID

0000-0002-0876-9928

Web of Science

Дані відсутні

Статті

Заголовок Scopus Google Scholar Web of Science
The canonical forms of logical formulae over the data types and their using in programs verification + +
Mathematical models of supporting the solution of the algebra tasks in systems of computer mathematics for educational purposes + +
Generation of test tasks in systems of computer mathematics for educational purposes + +
The concepts of software development for OOP and BAP self-learning courses + +
Analysis of Linear Definite Iterative Loops + +
Systems of computer mathematics for educational purposes as the means of reception of procedural knowledge + +
Software–hardware systems: The structure of polynomial invariants of linear loops + +
The static analysis of linear loops + +
A method of proving the invariance of linear inequalities for linear loops + +
Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling + +
Nonlinear invariants for linear loops and eigenpolynomials of linear operators + +
Choosing the first educational programming language + +
Polynomial invariants for linear loops + +
Algebraic approach to the problem of solving systems of linear inequalities + +
Tools for solving problems in the scope of algebraic programming + +
Discovery of invariant equalities in programs over data fields + +
Invariant inequalities in programs interpreted over an ordered field + +
Calculation of invariants of programs interpreted over an integrality domain + +
Commutative closure of regular semigroups of languages + +

Співавтори

Дані відсутні