Вперше розроблено та реалізовано механізм організації управління обчилювальним процесом систем комп'ютерної алгебри (СКА) на базі виділення існуючих, режимних, розпізнавальних і перетворювальних засобів мови комп'ютерної алгебри (КА). Створено й апробовано новий тип даних СКА - багаторівневу ієрархічну структуру з метою оптимізації обчислень і перетворень. Вперше обгрунтовано доцільність застосування нових ефективних функцій та операторів мови КА, пов'язаних з багаторівневою ієрархічною структурою. Запропоновано систему базових розпізнавальних функціональних і структурних властивостей інформаційних об'єктів, що підвищує рівень автоматизації розв'язання задач. Розроблено систему режимних процедур, які задають модифікації виконання перетворювальних засобів. Досліджено ефективні методи й алгоритми для обчислень в алгебрах цілих, раціональних і десяткових чисел довільної довжини. Створено алгоритми реалізації мовних засобів, які забезпечують автоматичний режим рішення задач КА, визначено їх ефективність. Запропоновано та реалізовано універсальний апарат застосування формул з об'єктами більшої узагальненості.

  Скачати повний текст