запропоновано виділити два основних класи, одним з яких є системи комп'ютерної
алгебри. Запропоновано уточнення відомих тлумачень системи комп'ютерної алгебри.
Вперше сформульовано критерії оцінки та вибору середовища СКМ для створення
ПЗНП та навчальних тренажерів з автоматизованим відтворенням покрокового ходу
розв'язання типових задач математики.