Michael S. Lvov

According to our database, Michael S. Lvov authored at least 13 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes.

Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovsky

Proceedings of the 15th International Conference on ICT in Education, 2019

System for Testing Physics Knowledge.

Michail Lvov, Sergiy Kuzmenkov, Hennadiy Kravtsov

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

About One Approach to Building Systems for Testing Physical Knowledge.

Michail Lvov, Sergiy Kuzmenkov, Hennadiy Kravtsov

Proceedings of the 15th International Conference on ICT in Education, 2019

Computations in Extensions of Multisorted Algebras.

Michael Lvov

Proceedings of the 15th International Conference on ICT in Education, 2019

Simulation technologies of virtual reality usage in the training of future ship navigators.

Michael S. Lvov, Halyna V. Popova

Proceedings of the 2nd International Workshop on Augmented Reality in Education, 2019

2018

Software Module Representing a Geometry Tasks in Mathematical Systems of Educational Appointment.

Michael Lvov, Denys Melnyk

Proceedings of the PhD Symposium at 14th International Conference on ICT in Education, 2018

Mathematical Models of Supporting the Solution of the Algebra Tasks in Systems of Computer Mathematics for Educational Purposes.

Michael Lvov, Irina Chernenko, Ludmila Shishko, Evgen Kozlovsky

Proceedings of the 14th International Conference on ICT in Education, 2018

2017

The Concepts of Software Development for OOP and BAP Self-Learning Courses.

Alena Zhmurko, Vladyslav Kruglyk, Michail Lvov

Proceedings of the 13th International Conference on ICT in Education, 2017

Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes.

Michael Lvov, Hanna Shmarova

Proceedings of the 13th International Conference on ICT in Education, 2017

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification.

Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich

Proceedings of the 13th International Conference on ICT in Education, 2017

2016

Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge.

Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovskiy

Proceedings of the 12th International Conference on ICT in Education, 2016

2015

The Static Analysis of Linear Loops.

Michael Lvov, Yulia Tarasich

Proceedings of the 11th International Conference on ICT in Education, 2015

2012

Choosing the First Educational Programming Language.

Vladyslav Kruglyk, Michael Lvov

Proceedings of the 8th International Conference on ICT in Education, 2012