Херсонський державний університет
Головна Наукометричні показники

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

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

Scopus

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

Google Scholar

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

ORCID

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

Web of Science

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

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 canonical forms of logical formulae over the data types and their using in programs verification + +
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 + +
Choosing the first educational programming language + +
Nonlinear invariants for linear loops and eigenpolynomials of linear operators + +
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 + +

Співавтори

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