Херсонський державний університет

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

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

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

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

Scopus

ID: 35772818200
Індекс Хірша: 4
Документи: 21
Цитування: 41

Google Scholar

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

ORCID

0000-0002-0876-9928

Web of Science

ID: M-2937-2018

Semantic Scholar

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

Статті

Заголовок Scopus Google Scholar Web of Science Semantic Scholar
Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas + +
Software module representing a geometry tasks in mathematical systems of educational appointment + +
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 + +
The canonical forms of logical formulae over the data types and their using in programs verification + +
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 + +
Total: 20 20 0 0

Співавтори

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