Michael Lvov

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 9

Top Topics

Mathematical Models

Complex Data Types

Procedural Knowledge

Clifford Algebra

Top Venues

ICTERI Workshops

Publications

Michael Lvov, Hennadiy Kravtsov, Ludmila Shishko, Olha Hniedkova
Three-subject didactic model for teaching algorithmization and programming online. CTE (2023)
Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovsky
Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes. ICTERI Workshops (2019)
Michael Lvov
Computations in Extensions of Multisorted Algebras. ICTERI Workshops (2019)
Michael Lvov, Denys Melnyk
Software Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment. PhD@ICTERI (2018)
Michael Lvov, Irina Chernenko, Ludmila Shishko, Evgen Kozlovsky
Mathematical Models of Supporting the Solution of the Algebra Tasks in Systems of Computer Mathematics for Educational Purposes. ICTERI Workshops (2018)
Michael Lvov, Hanna Shmarova
Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes. ICTERI (2017)
Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. ICTERI (2017)
Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovskiy
Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge. ICTERI (2016)
Michael Lvov, Yulia Tarasich
The Static Analysis of Linear Loops. ICTERI (2015)
Vladyslav Kruglyk, Michael Lvov
Choosing the First Educational Programming Language. ICTERI (2012)