Створено теоретичні й прикладні основи інтелектуалізації розв'язування складних наукових та прикладних задач. Проведено аналіз сучасних проблем застосування числово-аналітичних методів, визначено клас "складних задач комп'ютерної алгебри". Встановлено можливість розв'язання даної проблеми шляхом інтелектуалізації програмного забезпечення (ПЗ) мовами на аналітичній основі. Запропоновано теоретико-множинну модель задачі та доведено існування такої мови. Обгрунтовано та розроблено основні структури даних, базисні процедури вхідних мов системи комп'ютерної алгебри (СКА) нового покоління для інтелектуалізації ПЗ складних задач. Одержані результати використано в процесі створення нової мови сім'ї АНАЛІТИК - АНАЛІТИК 2 000 і апробовано на реальних прикладних задачах, складних за своїми характеристиками: розроблено їх аналітичні моделі, методи розв'язування, алгоритми та ПЗ, систематизовано стилі програмування.

  Завантажити