Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании... von Львов, М.С.

Volltext

Метод доказательства инвариантности линейных неравенств для линейных циклов von Львов, М.С.

Volltext

Алгебраический подход к задаче решения систем линейных неравенств von Львов, М.С.

Volltext

Полиномиальные инварианты линейных циклов von Львов, М.С.

Volltext

Об одном подходе к верификации алгебраических вычислений von Львов, М.С.

Volltext

Концепция информационной поддержки учебного процесса и ее реализация в педагогических программных средах... von Львов, М.С.

Volltext

Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії... von Львов, М.С.

Volltext

Интеллектуальные свойства систем компьютерной математики учебного назначения и методы их реализации... von Львов, М.С.

Volltext

Тригонометрические вычисления в системах компьютерной математики учебного назначения von Львов, М.С.

Volltext

Концепция, архитектура и функциональность гибкой распределенной программной среды учебного назначения для средней школы. Рабочее место методиста... von Львов, М.С.

Volltext

Распределенные программные среды учебного назначения. Подсистема управления учебным процессом von Львов, М.С.

Volltext

Реализация вычислений в алгебрах числовых множеств в математических системах учебного назначения... von Львов, М.С.

Volltext

Математические тесты в системах компьютерной математики учебного назначения von Львов, М.С.

Volltext

Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов von Львов, М.С., Крекнин, В.А.

Volltext

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием... von Львов, М.С., Песчаненко, В.С.

Volltext

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул von Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.

Volltext